次のステップは昨日書いたような性質を持つ の有限次元部分空間 の存在証明。さて は の部分空間であったが、 を与えると、 は次の(1)(2)の性質を持つ閉部分空間 を持つ： (1) に対して を満たす。 (2) この命題も証明するのにとても長い準備が必要だが、ま…