Let $\rho:[0,+\infty)^{\mathbb{N}}\to[0,+\infty] $ satisfy the following properties:


* $\rho(\lambda u)=\lambda\rho( u)$, for every $u\in [0,+\infty)^{\mathbb{N}}$ and $\lambda\ge 0$;
* $\rho(u+v)\le \rho( u)+\rho( v)$, for every $u,v\in [0,+\infty)^{\mathbb{N}}$.


Define $\|\cdot\|:\mathbb{R}^{\mathbb{N}} \to[0,+\infty] $ by $\left\|\{u\_n\}\_{n\in\mathbb{N}}\right\|=\rho(\{|u\_n|\}\_{n\in\mathbb{N}})$.



> 
> Assume that we know that $E=\{u\in \mathbb{R}^{\mathbb{N}}, \|u\|<+\infty\}$ is a linear space and $\|\cdot\|$ is a norm on $E$. Does it follow that $\rho$ is monotone?
> 
> 
> 


By monotonicity I mean that $\rho(\{u\_n\}\_{n\in\mathbb{N}})\le \rho(\{v\_n\}\_{n\in\mathbb{N}})$, once $0\le u\_n\le v\_n$, for all $n$, and $\rho(\{u\_n\}\_{n\in\mathbb{N}}), \rho(\{v\_n\}\_{n\in\mathbb{N}})<+\infty$.


**Remark 1.** It is not hard to show monotonicity, if we consider complex sequences instead of real.


**Remark 2.** It is very possible that $\rho(\{v\_n\}\_{n\in\mathbb{N}})<+\infty$, $\rho(\{u\_n\}\_{n\in\mathbb{N}})=+\infty$, and $0\le u\_n\le v\_n$, for all $n$.


**Remark 3** I can show 


$E$ is a Banach space $\Rightarrow$ $\rho$ is monotone $\Rightarrow$ $E$ is a normed space $\Rightarrow$ $\rho$ is "finitely" monotone.


By the latter i mean, that $\rho(\{u\_n\}\_{n\in\mathbb{N}})\le \rho(\{v\_n\}\_{n\in\mathbb{N}})$, once $0\le u\_n\le v\_n$, for all $n$, and the set$\{\frac{u\_n}{v\_n}, n\in \mathbb{N}\}$ is finite.



Does the norm on a sequence space have to be monotone?
For $f\in\mathbb R^{\mathbb N}$ define $\|f\|$ to be the infimum of the reals $B$ such that the graph of $f$ is contained in a finite union of lines of the form $Y=mX+c$ with $|m|,|c|\leq B.$ The infimum is $\infty$ if no such $B$ exists. The indicator function of $[1,\infty)$ has norm $1$ because any line except $Y=1$ has a finite intersection with its graph. But it is bounded by $x\mapsto \tfrac 12(x+1)$ which has norm $\tfrac12.$


