Complemented subspaces of normed vector spaces #
p of a topological module
R is called complemented if there exists
a continuous linear projection
f : E →ₗ[R] p,
∀ x : p, f x = x. We prove that for
a closed subspace of a normed space this condition is equivalent to existence of a closed
q such that
p ⊓ q = ⊥,
p ⊔ q = ⊤. We also prove that a subspace of finite codimension
is always a complemented subspace.
complemented subspace, normed vector space
f : E →L[R] F and
g : E →L[R] G are two surjective linear maps and
their kernels are complement of each other, then
x ↦ (f x, g x) defines
a linear equivalence
E ≃L[R] F × G.
q is a closed complement of a closed subspace
p × q is continuously
Projection to a closed submodule along a closed complement.