Type and cotype of a Banach space
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 [math]\displaystyle{ (e_k)_{k=1}^{n} }[/math] in Hilbert spaces
- [math]\displaystyle{ \left\|\sum_{k=1}^n e_k \right\|^2 = \sum_{k=1}^n \left\|e_k\right\|^2. }[/math]
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
- [math]\displaystyle{ (X,\|\cdot\|) }[/math] be a Banach space,
- [math]\displaystyle{ (\varepsilon_i) }[/math] be a sequence of independent Rademacher random variables, i.e. [math]\displaystyle{ P(\varepsilon_i=-1)=P(\varepsilon_i=1)=1/2 }[/math] and [math]\displaystyle{ \mathbb{E}[\varepsilon_i\varepsilon_m]=0 }[/math] for [math]\displaystyle{ i\neq m }[/math] and [math]\displaystyle{ \operatorname{Var}[\varepsilon_i]=1 }[/math].
Type
[math]\displaystyle{ X }[/math] is of type [math]\displaystyle{ p }[/math] for [math]\displaystyle{ p\in [1,2] }[/math] if there exist a finite constant [math]\displaystyle{ C \geq 1 }[/math] such that
- [math]\displaystyle{ \mathbb{E}_{\varepsilon}\left[\left\|\sum\limits_{i=1}^n \varepsilon_i x_i \right\|^p\right]\leq C^p\left(\sum\limits_{i=1}^n \|x_i\|^p\right) }[/math]
for all finite sequences [math]\displaystyle{ (x_i)_{i=1}^n \in X^{n} }[/math]. The sharpest constant [math]\displaystyle{ C }[/math] is called type [math]\displaystyle{ p }[/math] constant and denoted as [math]\displaystyle{ T_p(X) }[/math].
Cotype
[math]\displaystyle{ X }[/math] is of cotype [math]\displaystyle{ q }[/math] for [math]\displaystyle{ q\in [2,\infty] }[/math] if there exist a finite constant [math]\displaystyle{ C \geq 1 }[/math] such that
- [math]\displaystyle{ \mathbb{E}_{\varepsilon}\left[\left\|\sum\limits_{i=1}^n \varepsilon_i x_i\right\|^q \right]\geq \frac{1}{C^q}\left(\sum\limits_{i=1}^n \|x_i\|^q\right), \quad\text{if}\; 2\leq q \lt \infty }[/math]
respectively
- [math]\displaystyle{ \mathbb{E}_{\varepsilon}\left[\left\|\sum\limits_{i=1}^n \varepsilon_i x_i\right\| \right]\geq \frac{1}{C}\sup\|x_i\|, \quad\text{if}\; q=\infty }[/math]
for all finite sequences [math]\displaystyle{ (x_i)_{i=1}^n \in X^{n} }[/math]. The sharpest constant [math]\displaystyle{ C }[/math] is called cotype [math]\displaystyle{ q }[/math] constant and denoted as [math]\displaystyle{ C_q(X) }[/math].[1]
Remarks
By taking the [math]\displaystyle{ p }[/math]-th resp. [math]\displaystyle{ q }[/math]-th root one gets the equation for the Bochner [math]\displaystyle{ L^p }[/math] norm.
Properties
- Every Banach space is of type [math]\displaystyle{ 1 }[/math] (follows from the triangle inequality).
- A Banach space is of type [math]\displaystyle{ 2 }[/math] and cotype [math]\displaystyle{ 2 }[/math] if and only if the space is also isomorphic to a Hilbert space.
If a Banach space:
- is of type [math]\displaystyle{ p }[/math] then it is also type [math]\displaystyle{ p'\in [1,p] }[/math].
- is of cotype [math]\displaystyle{ q }[/math] then it is also of cotype [math]\displaystyle{ q'\in [q,\infty] }[/math].
- is of type [math]\displaystyle{ p }[/math] for [math]\displaystyle{ 1\lt p\leq 2 }[/math], then its dual space [math]\displaystyle{ X^* }[/math] is of cotype [math]\displaystyle{ p^* }[/math] with [math]\displaystyle{ p^* :=(1-1/p)^{-1} }[/math] (conjugate index). Further it holds that [math]\displaystyle{ C_{p^*}(X^*)\leq T_p(X) }[/math][1]
Examples
- The [math]\displaystyle{ L^p }[/math] spaces for [math]\displaystyle{ p\in [1,2] }[/math] are of type [math]\displaystyle{ p }[/math] and cotype [math]\displaystyle{ 2 }[/math], this means [math]\displaystyle{ L^1 }[/math] is of type [math]\displaystyle{ 1 }[/math], [math]\displaystyle{ L^2 }[/math] is of type [math]\displaystyle{ 2 }[/math] and so on.
- The [math]\displaystyle{ L^p }[/math] spaces for [math]\displaystyle{ p\in [2,\infty) }[/math] are of type [math]\displaystyle{ 2 }[/math] and cotype [math]\displaystyle{ p }[/math].
- The space [math]\displaystyle{ L^{\infty} }[/math] is of type [math]\displaystyle{ 1 }[/math] and cotype [math]\displaystyle{ \infty }[/math].[2]
Literature
- Li, Daniel; Queffélec, Hervé (2017). Introduction to Banach Spaces: Analysis and Probability. Cambridge Studies in Advanced Mathematics. Cambridge University Press. pp. 159-209. doi:10.1017/CBO9781316675762.009.
- Joseph Diestel (1984). Sequences and Series in Banach Spaces. Springer New York.
- Laurent Schwartz (2006). Geometry and Probability in Banach Spaces. Springer Berlin Heidelberg. ISBN 978-3-540-10691-3.
- Ledoux, Michel; Talagrand, Michel (1991). Probability in Banach Spaces. Ergebnisse der Mathematik und ihrer Grenzgebiete. 23. Berlin, Heidelberg: Springer. doi:10.1007/978-3-642-20212-4_11.
References
- ↑ 1.0 1.1 Li, Daniel; Queffélec, Hervé (2017). Introduction to Banach Spaces: Analysis and Probability. Cambridge Studies in Advanced Mathematics. Cambridge University Press. pp. 159-209. doi:10.1017/CBO9781316675762.009.
- ↑ Ledoux, Michel; Talagrand, Michel (1991). Probability in Banach Spaces. Ergebnisse der Mathematik und ihrer Grenzgebiete. 23. Berlin, Heidelberg: Springer. doi:10.1007/978-3-642-20212-4_11.
![]() | Original source: https://en.wikipedia.org/wiki/Type and cotype of a Banach space.
Read more |