A functional
(where
is a vector lattice on a given set
) is a nonlinear expectation if it satisfies:[2][3][4]
- Monotonicity: if
such that
then ![{\displaystyle \mathbb {E} [X]\geq \mathbb {E} [Y]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/32046b32194de7d6c2a9754f6b0f31dda98f6f22)
- Preserving of constants: if
then ![{\displaystyle \mathbb {E} [c]=c}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e359dc8c74435729a7e7e5e685f9293a91191339)
The complete consideration of the given set, the linear space for the functions given that set, and the nonlinear expectation value is called the nonlinear expectation space.
Often other properties are also desirable, for instance convexity, subadditivity, positive homogeneity, and translative of constants.[2] For a nonlinear expectation to be further classified as a sublinear expectation, the following two conditions must also be met:
- Subadditivity: for
then ![{\displaystyle \mathbb {E} [X]+\mathbb {E} [Y]\geq \mathbb {E} [X+Y]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b727db696830feec6947131bd1de2c814515fd0d)
- Positive homogeneity: for
then ![{\displaystyle \mathbb {E} [\lambda X]=\lambda \mathbb {E} [X]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2cc35c4e85f14e9379a007e87b7d83c131ca0239)
For a nonlinear expectation to instead be classified as a superlinear expectation, the subadditivity condition above is instead replaced by the condition:[5]
- Superadditivity: for
then ![{\displaystyle \mathbb {E} [X]+\mathbb {E} [Y]\leq \mathbb {E} [X+Y]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/630f60cf387cb26c7e1058c3146999823fce6d56)