Hahn-Banach from "Every vector space has basis"

Asked Jun 22 '15 at 11:44

Active Jun 22 '15 at 11:55

Viewed 84 times

What is the simplest way to prove Hahn-Banach starting from the AC-equivalent that every vector space admits a basis?

edited Jun 22 '15 at 11:50

asked Jun 22 '15 at 11:44

Damian Reding

3

Which Hahn-Banach? I suppose the extension dominated by a sublinear functional? – Daniel Fischer Jun 22 '15 at 11:47
Yes, that's the one I mean. – Damian Reding Jun 22 '15 at 11:49

0 Answers0