I am just wondering, how to prove the Hahn-Banach theorem constructively for a *finite dimensional* normed vector space.


Thanks in advance for any helpful answers.



How to prove the Hahn-Banach constructively
Same way as for the infinite dimensional case, except you avoid Zorn's lemma by counting dimensions.


