接下來證明Hahn-Banach延拓定理的過程中所用到的技巧也被稱為超限歸納法,它是由Zorn引理所保證的(當然,你也可以不承認選擇公理,那麼以下延拓定理至少對任意的有限維數的實線性空間是成立的)...