Complemented subspace

In the branch of mathematics called functional analysis, a complemented subspace of a topological vector space X, is a vector subspace M for which there exists some other vector subspace N of X, called its (topological) complement in X, such that X is the direct sum M⊕N in the category of topological vector spaces. Formally, topological direct sums strengthen the algebraic direct sum by requiring certain maps be continuous; the result retains many nice properties from the operation of direct sum in finite-dimensional vector spaces.

Every finite-dimensional subspace of a Banach space is complemented, but other subspaces may not. In general, classifying all complemented subspaces is a difficult problem, which has been solved only for some well-known Banach spaces.

The concept of a complemented subspace is analogous to, but distinct from, that of a set complement. The set-theoretic complement of a vector subspace is never a complementary subspace.

## Contents

* 1 Preliminaries: definitions and notation
* 1.1 Algebraic direct sum
* 2 Motivation
* 3 Definition
* 3.1 Equivalent characterizations
* 4 Examples
* 5 Sufficient conditions
* 5.1 Finite dimension
* 5.2 Finite codimension
* 5.3 Hilbert spaces
* 5.4 Fréchet spaces
* 6 Properties; examples of uncomplemented subspaces
* 7 Applications
* 7.1 The Method of Decomposition
* 8 In classical Banach spaces
* 9 Indecomposable Banach spaces
* 10 See also
* 11 Proofs
* 12 References
* 13 Bibliography

## Preliminaries: definitions and notation

If X is a vector space and M and N are vector subspaces of X then there is a well-defined addition map S:M×N->X(m,n)↦m+n The map S is a morphism in the category of vector spaces — that is to say, linear.

### Algebraic direct sum

Main articles: Direct sum and Direct sum of modules

The vector space X is said to be the algebraic direct sum (or direct sum in the category of vector spaces) M⊕N when any of the following equivalent conditions are satisfied:

1. The addition map S:M×N->X is a vector space isomorphism.[1][2]
2. The addition map is bijective.
3. M∩N={0} and M+N=X; in this case N is called an algebraic complement or supplement to M in X and the two subspaces are said to be complementary or supplementary.[2][3]

When these conditions hold, the inverse S−1:X->M×N is well-defined and can be written in terms of coordinates asS−1=(PM,PN). The first coordinate PM:X->M is called the canonical projection of X onto M; likewise the second coordinate is the canonical projection onto N.[4]

Equivalently, PM(x) and PN(x) are the unique vectors in M and N, respectively, that satisfy x=PM(x)+PN(x). As maps, PM+PN=IdX,ker⁡PM=N, and ker⁡PN=M where IdX denotes the identity map on X.[2]

## Motivation

See also: Coproduct, Direct sum § Direct sum in categories, and Direct sum of topological groups

Suppose that the vector space X is the algebraic direct sum of M⊕N. In the category of vector spaces, finite products and coproducts coincide: algebraically, M⊕N and M×N are indistinguishable. Given a problem involving elements of X, one can break the elements down into their components in M and N, because the projection maps defined above act as inverses to the natural inclusion of M and N into X. Then one can solve the problem in the vector subspaces and recombine to form an element of X.

In the category of topological vector spaces, that algebraic decomposition becomes less useful. The definition of a topological vector space requires the addition map S to be continuous; its inverse S−1:X->M×N may not be.[1] The categorical definition of a direct sum, however, requires PM and PN to be morphisms — that is, continuous linear maps.

The space X is the topological direct sum of M and N if (and only if) any of the following equivalent conditions hold:

1. The addition map S:M×N->X is a TVS-isomorphism (that is, a surjective linear homeomorphism).[1]
2. X is the algebraic direct sum of M and N and also any of the following equivalent conditions:

1. The inverse of the addition map S−1:X->M×N is continuous.
2. Both canonical projections PM:X->M and PN:X->N are continuous.
3. At least one of the canonical projections PM and PN is continuous.
4. The canonical quotient map p:N->X/M;p(n)=n+M is an isomorphism of topological vector spaces (i.e. a linear homeomorphism).[2]

3. X is the direct sum of M and N in the category of topological vector spaces.
4. The map S is bijective and open.
5. When considered as additive topological groups, X is the topological direct sum of the subgroups M and N.

The topological direct sum is also written X=M⊕N; whether the sum is in the topological or algebraic sense is usually clarified through context.

## Definition

Every topological direct sum is an algebraic direct sum X=M⊕N; the converse is not guaranteed. Even if both M and N are closed in X, S−1 may still fail to be continuous. N is a (topological) complement or supplement to M if it avoids that pathology — that is, if, topologically, X=M⊕N. (Then M is likewise complementary to N.)[1] Condition 2(d) above implies that any topological complement of M is isomorphic, as a topological vector space, to the quotient vector space X/M.

M is called complemented if it has a topological complement N (and uncomplemented if not). The choice of N can matter quite strongly: every complemented vector subspace M has algebraic complements that do not complement M topologically.

Because a linear map between two normed (or Banach) spaces is bounded if and only if it is continuous, the definition in the categories of normed (resp. Banach) spaces is the same as in topological vector spaces.

### Equivalent characterizations

The vector subspace M is complemented in X if and only if any of the following holds:[1]

* There exists a continuous linear map PM:X->X with image PM(X)=M such that P∘P=P. That is, PM is a continuous linear projection onto M. (In that case, algebraically X=M⊕ker⁡P, and it is the continuity of PM that implies that this is a complement.)
* For every TVS Y, the restriction map R:L(X;Y)->L(M;Y);R(u)=u|M is surjective.[5]

If in addition X is Banach, then an equivalent condition is

* M is closed in X, there exists another closed subspace N⊆X, and S is an isomorphism from the abstract direct sum M⊕N to X.

## Examples

* If Y is a measure space and X⊆Y has positive measure, then Lp(X) is complemented in Lp(Y).
* c0, the space of sequences converging to 0, is complemented in c, the space of convergent sequences.
* By Lebesgue decomposition, L1([0,1]) is complemented in rca([0,1])≅C([0,1])*.

## Sufficient conditions

For any two topological vector spaces X and Y, the subspaces X×{0} and {0}×Y are topological complements in X×Y.

Every algebraic complement of {0}‾, the closure of 0, is also a topological complement. This is because {0}‾ has the indiscrete topology, and so the algebraic projection is continuous.[6]

If X=M⊕N and A:X->Y is surjective, then Y=AM⊕AN.[2]

### Finite dimension

Suppose X is Hausdorff and locally convex and Y a free topological vector subspace: for some set I, we have Y≅𝕂I (as a t.v.s.). Then Y is a closed and complemented vector subspace of X.[proof 1] In particular, any finite-dimensional subspace of X is complemented.[7]

In arbitrary topological vector spaces, a finite-dimensional vector subspace Y is topologically complemented if and only if for every non-zero y∈Y, there exists a continuous linear functional on X that separates y from 0.[1] For an example in which this fails, see § Fréchet spaces.

### Finite codimension

Not all finite-codimensional vector subspaces of a TVS are closed, but those that are, do have complements.[7][8]

### Hilbert spaces

In a Hilbert space, the orthogonal complement M⊥ of any closed vector subspace M is always a topological complement of M. This property characterizes Hilbert spaces within the class of Banach spaces: every infinite dimensional, non-Hilbert Banach space contains a closed uncomplemented subspace, a deep theorem of Joram Lindenstrauss and Lior Tzafriri.[9][3]

### Fréchet spaces

Let X be a Fréchet space over the field 𝕂. Then the following are equivalent:[10]

1. X is not normable (that is, any continuous norm does not generate the topology)
2. X contains a vector subspace TVS-isomorphic to 𝕂ℕ.
3. X contains a complemented vector subspace TVS-isomorphic to 𝕂ℕ.

## Properties; examples of uncomplemented subspaces

A complemented (vector) subspace of a Hausdorff space X is necessarily a closed subset of X, as is its complement.[1][proof 2]

From the existence of Hamel bases, every infinite-dimensional Banach space contains unclosed linear subspaces.[proof 3] Since any complemented subspace is closed, none of those subspaces is complemented.

Likewise, if X is a complete TVS and X/M is not complete, then M has no topological complement in X.[11]

## Applications

If A:X->Y is a continuous linear surjection, then the following conditions are equivalent:

1. The kernel of A has a topological complement.
2. There exists a "right inverse": a continuous linear map B:Y->X such that AB=IdY, where IdY:Y->Y is the identity map.[5]

(Note: This claim is an erroneous exercise given by Trèves. Let X and Y both be ℝ where X is endowed with the usual topology, but Y is endowed with the trivial topology. The identity map X->Y is then a continuous, linear bijection but its inverse is not continuous, since X has a finer topology than Y. The kernel {0} has X as a topological complement, but we have just shown that no continuous right inverse can exist. If A:X->Y is also open (and thus a TVS homomorphism) then the claimed result holds.)

### The Method of Decomposition

Topological vector spaces admit the following Cantor-Schröder-Bernstein–type theorem:

Let X and Y be TVSs such that X=X⊕X and Y=Y⊕Y. Suppose that Y contains a complemented copy of X and X contains a complemented copy of Y. Then X is TVS-isomorphic to Y.

The "self-splitting" assumptions that X=X⊕X and Y=Y⊕Y cannot be removed: Tim Gowers showed in 1996 that there exist non-isomorphic Banach spaces X and Y, each complemented in the other.[12]

## In classical Banach spaces

Understanding the complemented subspaces of an arbitrary Banach space X up to isomorphism is a classical problem that has motivated much work in basis theory, particularly the development of absolutely summing operators. The problem remains open for a variety of important Banach spaces, most notably the space L1[0,1].[13]

For some Banach spaces the question is closed. Most famously, if 1≤p≤∞ then the only complemented infinite-dimensional subspaces of ℓp are isomorphic to ℓp, and the same goes for c0. Such spaces are called prime (when their only infinite-dimensional complemented subspaces are isomorphic to the original). These are not the only prime spaces, however.[13]

The spaces Lp[0,1] are not prime whenever p∈(1,2)∪(2,∞); in fact, they admit uncountably many non-isomorphic complemented subspaces.[13]

The spaces L2[0,1] and L∞[0,1] are isomorphic to ℓ2 and ℓ∞, respectively, so they are indeed prime.[13]

The space L1[0,1] is not prime, because it contains a complemented copy of ℓ1. No other complemented subspaces of L1[0,1] are currently known.[13]

## Indecomposable Banach spaces

An infinite-dimensional Banach space is called indecomposable whenever its only complemented subspaces are either finite-dimensional or -codimensional. Because a finite-codimensional subspace of a Banach space X is always isomorphic to X, indecomposable Banach spaces are prime.

The most well-known example of indecomposable spaces are in fact hereditarily indecomposable, which means every infinite-dimensional subspace is also indecomposable.[14]

## See also

* Direct sum - Algebraic structure formed from a collection of algebraic structures
* Direct sum of modules - Operation in abstract algebra
* Direct sum of topological groups

## Proofs

1. ↑ Y is closed because 𝕂I is complete and X is Hausdorff.

Let f=(fi)i∈I:Y->𝕂I be a TVS-isomorphism; each fi:Y->𝕂 is a continuous linear functional. By the Hahn–Banach theorem, we may extend each fi to a continuous linear functional Fi:X->𝕂 on X. The joint map F:X->𝕂I is a continuous linear surjection whose restriction to Y is f. The composition P=f−1∘F:X->Y is then a continuous continuous projection onto Y.

Q.E.D.

2. ↑ In a Hausdorff space, {0} is closed. A complemented space is the kernel of the (continuous) projection onto its complement. Thus it is the preimage of {0} under a continuous map, and so closed.

Q.E.D.

3. ↑ Any sequence {ej}j=0∞∈Xω defines a summation map T:l1->X;T({xj}j)=∑jxjej. But if {ej}j are (algebraically) linearly independent and {xj}j has full support, then T(x)∈span⁡{ej}j‾∖span⁡{ej}j.

Q.E.D.

## References

1. ↑ 1.0 1.1 1.2 1.3 1.4 1.5 1.6 Grothendieck 1973, pp. 34–36.
2. ↑ 2.0 2.1 2.2 2.3 2.4 Fabian, Marián J.; Habala, Petr; Hájek, Petr; Montesinos Santalucía, Vicente; Zizler, Václav (2011). Banach Space Theory: The Basis for Linear and Nonlinear Analysis. New York: Springer. pp. 179–181. doi:10.1007/978-1-4419-7515-7. ISBN 978-1-4419-7515-7. https://link.springer.com/content/pdf/10.1007/978-1-4419-7515-7.pdf.
3. ↑ 3.0 3.1 Brezis, Haim (2011). Functional Analysis, Sobolev Spaces, and Partial Differential Equations. Universitext. New York: Springer. pp. 38–39. ISBN 978-0-387-70913-0.
4. ↑ Schaefer & Wolff 1999, pp. 19–24.
5. ↑ 5.0 5.1 Trèves 2006, p. 36.
6. ↑ Wilansky 2013, p. 63.
7. ↑ 7.0 7.1 Rudin 1991, p. 106.
8. ↑ Serre, Jean-Pierre (1955). "Un théoreme de dualité". Commentarii Mathematici Helvetici 29 (1): 9–26. doi:10.1007/BF02564268.
9. ↑ Lindenstrauss, J., & Tzafriri, L. (1971). On the complemented subspaces problem. Israel Journal of Mathematics, 9, 263-269.
10. ↑ Jarchow 1981, pp. 129–130.
11. ↑ Schaefer & Wolff 1999, pp. 190–202.
12. ↑ Narici & Beckenstein 2011, pp. 100–101.
13. ↑ 13.0 13.1 13.2 13.3 13.4 Albiac, Fernando; Kalton, Nigel J. (2006). Topics in Banach Space Theory. GTM 233 (2nd ed.). Switzerland: Springer (published 2016). pp. 29–232. doi:10.1007/978-3-319-31557-7. ISBN 978-3-319-31557-7. https://link.springer.com/book/10.1007/978-3-319-31557-7.
14. ↑ Argyros, Spiros; Tolias, Andreas (2004) (in en). Methods in the Theory of Hereditarily Indecomposable Banach Spaces. American Mathematical Soc.. ISBN 978-0-8218-3521-0. https://books.google.com/books?id=I93UCQAAQBAJ&dq=indecomposable+banach+space&pg=PR5.

## Bibliography

* Bachman, George; Narici, Lawrence (2000). Functional Analysis (Second ed.). Mineola, New York: Dover Publications. ISBN 978-0486402512. OCLC 829157984.
* Grothendieck, Alexander (January 1, 1973). Topological Vector Spaces. New York: Gordon and Breach Science Publishers. ISBN 978-0-677-30020-7. OCLC 886098. https://archive.org/details/topologicalvecto0000grot.
* Jarchow, Hans (1981). Locally convex spaces. Stuttgart: B.G. Teubner. ISBN 978-3-519-02224-4. OCLC 8210342.
* Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834.
* Rudin, Walter (January 1, 1991). Functional Analysis. International Series in Pure and Applied Mathematics. 8 (Second ed.). New York, NY: McGraw-Hill Science/Engineering/Math. ISBN 978-0-07-054236-5. OCLC 21163277. https://archive.org/details/functionalanalys00rudi.
* Schaefer, Helmut H.; Wolff, Manfred P. (1999). Topological Vector Spaces. GTM. 8 (Second ed.). New York, NY: Springer New York Imprint Springer. ISBN 978-1-4612-7155-0. OCLC 840278135.
* Trèves, François (August 6, 2006). Topological Vector Spaces, Distributions and Kernels. Mineola, N.Y.: Dover Publications. ISBN 978-0-486-45352-1. OCLC 853623322.
* Wilansky, Albert (2013). Modern Methods in Topological Vector Spaces. Mineola, New York: Dover Publications, Inc. ISBN 978-0-486-49353-4. OCLC 849801114.

* v
* t
* e

Topological vector spaces (TVSs)

Basic concepts|

* Banach space
* Continuous linear operator
* Functionals
* Hilbert space
* Linear operators
* Locally convex space
* Homomorphism
* Topological vector space
* Vector space

Main results|

* Closed graph theorem
* F. Riesz's theorem
* Hahn–Banach (hyperplane separation
* Vector-Valued Hahn-Banach)
* Open mapping (Banach–Schauder) (Bounded inverse)
* Uniform boundedness (Banach–Steinhaus)

Maps|

* Almost open
* Bilinear (form
* operator) and Sesquilinear forms
* Closed
* Compact operator
* Continuous and Discontinuous Linear maps
* Densely defined
* Homomorphism
* Functionals
* Norm
* Operator
* Seminorm
* Sublinear
* Transpose

Types of sets|

* Absolutely convex/disk
* Absorbing/Radial
* Affine
* Balanced/Circled
* Banach disks
* Bounding points
* Bounded
* Complemented subspace
* Convex
* Convex cone (subset)
* Linear cone (subset)
* Extreme point
* Pre-compact/Totally bounded
* Radial
* Radially convex/Star-shaped
* Symmetric

Set operations|

* Affine hull
* (Relative) Algebraic interior (core)
* Convex hull
* Linear span
* Minkowski addition
* Polar
* (Quasi) Relative interior

Types of TVSs|

* Asplund
* B-complete/Ptak
* Banach
* (Countably) Barrelled
* (Ultra-) Bornological
* Brauner
* Complete
* (DF)-space
* Distinguished
* F-space
* Fréchet (tame Fréchet)
* Grothendieck
* Hilbert
* Infrabarreled
* Interpolation space
* LB-space
* LF-space
* Locally convex space
* Mackey
* (Pseudo)Metrizable
* Montel
* Quasibarrelled
* Quasi-complete
* Quasinormed
* (Polynomially
* Semi-) Reflexive
* Riesz
* Schwartz
* Semi-complete
* Smith
* Stereotype
* (B
* Strictly
* Uniformly convex
* (Quasi-) Ultrabarrelled
* Uniformly smooth
* Webbed
* With the Approximation property

* 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/Complemented subspace. Read more

|

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