Hahn-Banach extension theorem (1929)

Hahn 1927 / Banach 1929: bounded linear functional on subspace extends to full space without increasing norm; foundation of dual-space theory + convex analysis.