Skip to main content
2 of 4
added top-level tag; http://meta.mathoverflow.net/questions/1457/why-are-mo-tags-formatted-as-they-are
Martin Sleziak
  • 4.7k
  • 4
  • 35
  • 40

Definition of an Orlicz modular space

In Nowak (1989), a modular $\rho$ on a vector lattice is defined by the following properties

(N1) $\rho(x)=0\implies x=0$;

(N2) $\lvert x\rvert \le \lvert y\rvert\implies \rho(\lvert x\rvert) \le \rho(\lvert y\rvert)$;

(N3) $\rho(x\vee y )\le \rho(x)+\rho(y)$;

(N4) $\rho(\lambda x)\to 0$ if $\lambda \to 0$

This supposedly implies $$ \rho(\alpha x+\beta y)\le \rho( x)+\rho(y) \text{ for all } \alpha,\beta\ge0,\alpha+\beta=1,$$ which features in the definition of modular in Musielak and Orlicz (1959).

I don't see how this follows. NB: convexity is not assumed.

user113782