Measure, Integration & Real Analysis · Problem 6D.12

L^p Spaces — Sheldon Axler

Mathematics — Measure Theory · extend-linearly-independent-to-basis

Problem

Prove that every linearly independent family in a vector space can be extended to a basis of the vector space.