A closed vector subspace of a Banach space is complemented if a bounded linear operator satisfies and . Equivalently, is the topological direct sum of and a closed subspace: a projection gives , and the coordinate projection of such a decomposition is bounded.
For a Banach space satisfying , a complemented subspace is absorbed by : write , expand the countable sum, and absorb one additional copy of into the countably many summands. Hence . If is complemented in and contains a complemented copy of , write with complemented in ; the preceding argument gives . The decompositions are Banach space isomorphisms, not merely algebraic decompositions.

Articles by others on the same topic (1)

In functional analysis and related fields of mathematics, a **complemented subspace** is a type of subspace of a vector space that has a certain structure with respect to the entire space. More specifically, consider a vector space \( V \) and a subspace \( W \subseteq V \).