Type and cotype of a Banach space explained

In functional analysis, the type and cotype of a Banach space are a classification of Banach spaces through probability theory and a measure, how far a Banach space from a Hilbert space is.

The starting point is the Pythagorean identity for orthogonal vectors

(e _{k)} ^{n} ^{k =1} in Hilbert spaces\left\|\sum ^{n} _{k =1} e _{k} \right\| ^{2} = \sum ^{n} _{k =1} \left\|e ^{2 .} _{k\right\|} This identity no longer holds in general Banach spaces, however one can introduce a notion of orthogonality probabilistically with the help of Rademacher random variables, for this reason one also speaks of Rademacher type and Rademacher cotype.

The notion of type and cotype was introduced by French mathematician Jean-Pierre Kahane.

Definition

Let

(X,\| ⋅ \|) be a Banach space,(\varepsilon _{i)} be a sequence of independent Rademacher random variables, i.e. P(\varepsilon _{i=-1)=P(\varepsilon} _{i=1)=1/2} and E [\varepsilon _{i\varepsilon} _{m]=0} for i ≠ m and \operatorname{Var}[\varepsilon _{i]=1} .

Type

X is of type p for p\in [ 1 , 2 ] if there exist a finite constant C \geq 1 such thatE _{\varepsilon} \left[\left\|\sum\limits ^{n} _{i =1} \varepsilon _{i} x _{i} \right\| ^{p\right]\leq} C ^{n} _{i =1} \|x ^{p\right)} _{i\|} for all finite sequences (x _{i)} ^{n} ^{i =1} \in X ^{n} . The sharpest constant C is called type p constant and denoted as T _{p(X)} .

Cotype

X is of cotype q for q\in [ 2 , inf ty] if there exist a finite constant C \geq 1 such thatE _{\varepsilon} \left[\left\|\sum\limits ^{n} _{i =1} \varepsilon _{i} x ^{q} _{i\right\|} \right]\geq (1)/(C ^{q}) \left(\sum\limits ^{n} _{i =1} \|x ^{q\right),} _{i\|} if 2 \leq q < inf ty respectivelyE _{\varepsilon} \left[\left\|\sum\limits ^{n} _{i =1} \varepsilon _{i} x _{i\right\|} \right]\geq (1)/(C) \sup\|x _{i\|,} if q =inf ty for all finite sequences (x _{i)} ^{n} ^{i =1} \in X ^{n} . The sharpest constant C is called cotype q constant and denoted as C _{q(X)} .^[1]

Remarks

By taking the

p -th resp. q -th root one gets the equation for the Bochner L ^{p} norm.

Properties

• Every Banach space is of type

1 (follows from the triangle inequality).

• A Banach space is of type

2 and cotype 2 if and only if the space is also isomorphic to a Hilbert space.If a Banach space:

• is of type

p then it is also type p'\in [ 1 ,p] .

• is of cotype

q then it is also of cotype q'\in [q, inf ty] .

• is of type

p for 1 <p\leq 2 , then its dual space X ^{*} is of cotype p ^{*} with p ^{*} : = ( 1-1 /p) ^{-1} (conjugate index). Further it holds that C _{p ^{*}} (X ^{*)\leq} T _{p(X)}

Examples

• The

L ^{p} spaces for p\in [ 1 , 2 ] are of type p and cotype 2 , this means L ^{1} is of type 1 , L ^{2} is of type 2 and so on.

• The

L ^{p} spaces for p\in [ 2 , inf ty) are of type 2 and cotype p .

• The space

L ^{infty} is of type 1 and cotype inf ty .^[2]

Literature

• Book: Daniel. Li. Hervé. Queffélec . 2017 . Introduction to Banach Spaces: Analysis and Probability . Cambridge Studies in Advanced Mathematics . 159–209 . Cambridge University Press . 10.1017/CBO9781316675762.009.
• Book: Joseph Diestel . Sequences and Series in Banach Spaces . Springer New York . 1984.
• Book: Laurent Schwartz . Geometry and Probability in Banach Spaces . Springer Berlin Heidelberg . 2006 . 978-3-540-10691-3.
• Book: Michel. Ledoux. Michel . Talagrand . 1991 . Probability in Banach Spaces . Ergebnisse der Mathematik und ihrer Grenzgebiete. 23 . Springer . Berlin, Heidelberg . 10.1007/978-3-642-20212-4_11.

References

1. Book: Daniel. Li. Hervé. Queffélec . 2017 . Introduction to Banach Spaces: Analysis and Probability . Cambridge Studies in Advanced Mathematics . 159–209 . Cambridge University Press . 10.1017/CBO9781316675762.009.
2. Book: Michel. Ledoux. Michel . Talagrand . 1991 . Probability in Banach Spaces . Ergebnisse der Mathematik und ihrer Grenzgebiete. 23 . Springer . Berlin, Heidelberg . 10.1007/978-3-642-20212-4_11.