| dbp:mathStatement
|
- If are linear functionals on , then the following are equivalent:
# can be written as a linear combination of ; that is, there exist scalars such that ;
#;
#there exists a real number such that for all and all (en)
- If is a sublinear function, and is a linear functional on a linear subspace which is dominated by on , then there exists a linear extension of to the whole space that is dominated by , i.e., there exists a linear functional such that
for all and
for all (en)
- An -module is projective if and only if there exists a subset and linear forms such that, for every only finitely many are nonzero, and (en)
|
