# Counterintuitive consequences of the Hahn-Banach theorem

The axiom of choice has many counterintuitive consequences like the Banach-Tarski paradox. The Hahn-Banach theorem is a consequence of the axiom of choice, but it is weaker.

I would like to know some counterintuitive consequences of the Hahn-Banach theorem. Can the Banach-Tarski paradox be derived from the Hahn-Banach theorem?

• Asaf Karagila answers affirmatively here: math.stackexchange.com/a/156216/43208 I found this through a quick Google search. – Todd Trimble Nov 5 '14 at 16:27
• This question appears to be off-topic because it is about consequences of the axiom of choice and the OP did not search the standard reference. – Willie Wong Nov 5 '14 at 16:30
• Also see here: matwbn.icm.edu.pl/ksiazki/fm/fm138/fm13813.pdf – Todd Trimble Nov 5 '14 at 16:31
• Let me elaborate a bit on my vote to close above. Every time you have a question about whether two weak forms of axiom of choice imply each other, the very first thing you do is to search the consequences of AoC project. Using the string search you find that Banach-Tarski is form 309, and Hahn-Banach is form 52. Then you type into the first text box the two numbers "52, 309", hit enter, and you get a nice little mutual implication box. – Willie Wong Nov 5 '14 at 16:32
• No, I think it's a fine question; my only objection is that it's so easy to find the answer. But, not everybody knows what Willie Wong asserts is "standard", and he provides information well worth knowing. Let it stand. – Todd Trimble Nov 5 '14 at 16:33