In the branch of mathematics called functional analysis, a complemented subspace of a topological vector space is a vector subspace for which there exists some other vector subspace of called its (topological) complement in , such that is the direct sum in the category of topological vector spaces. Formally, topological direct sums strengthen the algebraic direct sum by requiring certain maps be continuous; the result preserves 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. (en)
Em análise funcional, um subespaço fechado de um espaço vetorial normado é dito complementado em se existe um subespaço fechado tal que . Uma motivação para o estudo de espaços complementados é o seguinte resultado: se é espaço de Banach e é complementado em , com complemento , então é homeomorfo a com a topologia produto. (pt)
Em análise funcional, um subespaço fechado de um espaço vetorial normado é dito complementado em se existe um subespaço fechado tal que . Uma motivação para o estudo de espaços complementados é o seguinte resultado: se é espaço de Banach e é complementado em , com complemento , então é homeomorfo a com a topologia produto. (pt)
In the branch of mathematics called functional analysis, a complemented subspace of a topological vector space is a vector subspace for which there exists some other vector subspace of called its (topological) complement in , such that is the direct sum in the category of topological vector spaces. Formally, topological direct sums strengthen the algebraic direct sum by requiring certain maps be continuous; the result preserves many nice properties from the operation of direct sum in finite-dimensional vector spaces. (en)