Approximation property

Short description: Mathematical concept

The construction of a Banach space without the approximation property earned Per Enflo a live goose in 1972, which had been promised by Stanisław Mazur (left) in 1936.[1]

In mathematics, specifically functional analysis, a Banach space is said to have the approximation property (AP), if every compact operator is a limit of finite-rank operators. The converse is always true.

Every Hilbert space has this property. There are, however, Banach spaces which do not; Per Enflo published the first counterexample in a 1973 article. However, much work in this area was done by Grothendieck (1955).

Later many other counterexamples were found. The space of bounded operators on [math]\displaystyle{ \ell^2 }[/math] does not have the approximation property.[2] The spaces [math]\displaystyle{ \ell^p }[/math] for [math]\displaystyle{ p\neq 2 }[/math] and [math]\displaystyle{ c_0 }[/math] (see Sequence space) have closed subspaces that do not have the approximation property.

## Contents

* 1 Definition
* 2 Related definitions
* 3 Examples
* 4 References
* 5 Bibliography

## Definition

A locally convex topological vector space X is said to have the approximation property, if the identity map can be approximated, uniformly on precompact sets, by continuous linear maps of finite rank.[3]

For a locally convex space X, the following are equivalent:[3]

1. X has the approximation property;
2. the closure of [math]\displaystyle{ X^{\prime} \otimes X }[/math] in [math]\displaystyle{ \operatorname{L}_p(X, X) }[/math] contains the identity map [math]\displaystyle{ \operatorname{Id} : X \to X }[/math];
3. [math]\displaystyle{ X^{\prime} \otimes X }[/math] is dense in [math]\displaystyle{ \operatorname{L}_p(X, X) }[/math];
4. for every locally convex space Y, [math]\displaystyle{ X^{\prime} \otimes Y }[/math] is dense in [math]\displaystyle{ \operatorname{L}_p(X, Y) }[/math];
5. for every locally convex space Y, [math]\displaystyle{ Y^{\prime} \otimes X }[/math] is dense in [math]\displaystyle{ \operatorname{L}_p(Y, X) }[/math];

where [math]\displaystyle{ \operatorname{L}_p(X, Y) }[/math] denotes the space of continuous linear operators from X to Y endowed with the topology of uniform convergence on pre-compact subsets of X.

If X is a Banach space this requirement becomes that for every compact set [math]\displaystyle{ K\subset X }[/math] and every [math]\displaystyle{ \varepsilon\gt 0 }[/math], there is an operator [math]\displaystyle{ T\colon X\to X }[/math] of finite rank so that [math]\displaystyle{ \|Tx-x\|\leq\varepsilon }[/math], for every [math]\displaystyle{ x \in K }[/math].

## Related definitions

Some other flavours of the AP are studied:

Let [math]\displaystyle{ X }[/math] be a Banach space and let [math]\displaystyle{ 1\leq\lambda\lt \infty }[/math]. We say that X has the [math]\displaystyle{ \lambda }[/math]-approximation property ([math]\displaystyle{ \lambda }[/math]-AP), if, for every compact set [math]\displaystyle{ K\subset X }[/math] and every [math]\displaystyle{ \varepsilon\gt 0 }[/math], there is an operator [math]\displaystyle{ T\colon X \to X }[/math] of finite rank so that [math]\displaystyle{ \|Tx - x\|\leq\varepsilon }[/math], for every [math]\displaystyle{ x \in K }[/math], and [math]\displaystyle{ \|T\|\leq\lambda }[/math].

A Banach space is said to have bounded approximation property (BAP), if it has the [math]\displaystyle{ \lambda }[/math]-AP for some [math]\displaystyle{ \lambda }[/math].

A Banach space is said to have metric approximation property (MAP), if it is 1-AP.

A Banach space is said to have compact approximation property (CAP), if in the definition of AP an operator of finite rank is replaced with a compact operator.

## Examples

* Every subspace of an arbitrary product of Hilbert spaces possesses the approximation property.[3] In particular,
* every Hilbert space has the approximation property.
* every projective limit of Hilbert spaces, as well as any subspace of such a projective limit, possesses the approximation property.[3]
* every nuclear space possesses the approximation property.
* Every separable Frechet space that contains a Schauder basis possesses the approximation property.[3]
* Every space with a Schauder basis has the AP (we can use the projections associated to the base as the [math]\displaystyle{ T }[/math]'s in the definition), thus many spaces with the AP can be found. For example, the [math]\displaystyle{ \ell^p }[/math] spaces, or the symmetric Tsirelson space.

## References

1. ↑ Megginson, Robert E. An Introduction to Banach Space Theory p. 336
2. ↑ Szankowski, A.: B(H) does not have the approximation property. Acta Math. 147, 89-108(1981).
3. ↑ 3.0 3.1 3.2 3.3 3.4 Schaefer & Wolff 1999, p. 108-115.

## Bibliography

* Bartle, R. G. (1977). "MR0402468 (53 #6288) (Review of Per Enflo's "A counterexample to the approximation problem in Banach spaces" Acta Mathematica 130 (1973), 309–317)". Mathematical Reviews.
* Enflo, P.: A counterexample to the approximation property in Banach spaces. Acta Math. 130, 309–317(1973).
* Grothendieck, A.: Produits tensoriels topologiques et espaces nucleaires. Memo. Amer. Math. Soc. 16 (1955).
* Halmos, Paul R. (1978). "Schauder bases". American Mathematical Monthly 85 (4): 256–257. doi:10.2307/2321165.
* Paul R. Halmos, "Has progress in mathematics slowed down?" Amer. Math. Monthly 97 (1990), no. 7, 561—588. MR1066321
* William B. Johnson "Complementably universal separable Banach spaces" in Robert G. Bartle (ed.), 1980 Studies in functional analysis, Mathematical Association of America.
* Kwapień, S. "On Enflo's example of a Banach space without the approximation property". Séminaire Goulaouic–Schwartz 1972—1973: Équations aux dérivées partielles et analyse fonctionnelle, Exp. No. 8, 9 pp. Centre de Math., École Polytech., Paris, 1973. MR407569
* Lindenstrauss, J.; Tzafriri, L.: Classical Banach Spaces I, Sequence spaces, 1977.
* Nedevski, P.; Trojanski, S. (1973). "P. Enflo solved in the negative Banach's problem on the existence of a basis for every separable Banach space". Fiz.-Mat. Spis. Bulgar. Akad. Nauk. 16 (49): 134–138.
* Pietsch, Albrecht (2007). History of Banach spaces and linear operators. Boston, MA: Birkhäuser Boston, Inc.. pp. xxiv+855 pp.. ISBN 978-0-8176-4367-6. https://books.google.com/books?id=MMorKHumdZAC&pg=PA203&dq=Pietsch.
* Karen Saxe, Beginning Functional Analysis, Undergraduate Texts in Mathematics, 2002 Springer-Verlag, New York.
* Schaefer, Helmut H.; Wolff, M.P. (1999). Topological Vector Spaces. GTM. 3. New York: Springer-Verlag. ISBN 9780387987262.
* Singer, Ivan. Bases in Banach spaces. II. Editura Academiei Republicii Socialiste România, Bucharest; Springer-Verlag, Berlin-New York, 1981. viii+880 pp. ISBN:3-540-10394-5. MR610799

* v
* t
* e

Functional analysis (topics)

Topological vector spaces|

* Asplund
* Banach (list)
* Banach lattice
* Barrelled
* Bornological
* Brauner
* F-space
* Fréchet (tame)
* Hilbert (Inner product space
* Polarization identity)
* LF-space
* Locally convex (Seminorms/Minkowski functionals)
* Mackey
* Montel
* Nuclear
* Normed (norm)
* Quasinormed
* Reflexive
* Riesz
* Smith
* Stereotype
* Strictly convex
* Webbed
* Topological tensor product (of Hilbert spaces)

Topologies of function spaces|

* Dual
* Dual space (Dual norm)
* Operator
* Ultraweak
* Weak (polar
* operator)
* Mackey
* Strong (polar
* operator)
* Ultrastrong
* Uniform convergence

Linear operators|

* Adjoint
* Bilinear (form
* operator
* sesquilinear)
* (Un)Bounded
* Closed
* Compact (on Hilbert spaces)
* (Dis)Continuous
* Densely defined
* Fredholm
* Hilbert–Schmidt
* Functionals (positive)
* Normal
* Nuclear
* Self-adjoint
* Strictly singular
* Trace class
* Transpose
* Unitary

Operator theory|

* Banach algebras
* C*-algebras
* Spectrum (C*-algebra
* radius)
* Spectral theory (of ODEs
* Spectral theorem)
* Polar decomposition
* Singular value decomposition

Theorems|

* Banach–Alaoglu
* Banach–Mazur
* Banach–Saks
* Banach–Schauder (open mapping)
* Banach–Steinhaus (Uniform boundedness)
* Bessel's inequality
* Cauchy–Schwarz inequality
* Closed graph
* Closed range
* Eberlein–Šmulian
* Freudenthal spectral
* Gelfand–Mazur
* Gelfand–Naimark
* Goldstine
* Hahn–Banach (hyperplane separation)
* Kakutani fixed-point
* Krein–Milman
* Lomonosov's invariant subspace
* Mackey–Arens
* Mazur's lemma
* M. Riesz extension
* Riesz representation
* Parseval's identity
* Schauder fixed-point

Analysis|

* Abstract Wiener space
* Bochner space
* Differentiation in Fréchet spaces
* Derivatives (Fréchet
* Gateaux
* functional
* holomorphic)
* Integrals (Bochner
* Dunford
* Gelfand–Pettis
* regulated
* Paley–Wiener
* weak)
* Functional calculus (Borel
* continuous
* holomorphic)
* Inverse function theorem (Nash–Moser theorem)
* Measures (Lebesgue
* Projection-valued
* Vector)
* Weakly measurable function

Types of sets|

* Absolutely convex
* Absorbing
* Balanced
* Bounded
* Convex
* Convex cone (subset)
* Linear cone (subset)
* Radial
* Star-shaped
* Symmetric
* Zonotope

Subsets / set operations|

* Algebraic interior (core)
* Bounding points
* Convex hull
* Extreme point
* Interior
* Minkowski addition
* Polar

0.00

(0 votes)

Original source: https://en.wikipedia.org/wiki/Approximation property. Read more

|

Retrieved from "https://handwiki.org/wiki/index.php?title=Approximation_property&oldid=3361176"
*[v]: View this template
*[t]: Discuss this template
*[e]: Edit this template