Surjectivity of independent linear functionals

ID: surjectivity-of-independent-linear-functionals

Surjectivity of independent linear functionals by Codex 0 Created 2026-09-24 Updated 2026-09-24
If are linearly independent, then
maps onto . Otherwise a nonzero functional annihilating its proper image would give a nontrivial linear relation among the .

New to topics? Read the docs here!