>>876,878,886
出典ありがとうございます。
よくごぞんじですねー！

>>877
ありがとうございます。
つまり、そのバナッハ空間の性質を使うと、
フォルスターの言うようにB.11を使わなくても
29.13の証明は完成するわけですね？
えーと、でもここに出てくるC^0,Z^1らは
フレシェット空間であって、バナッハ空間では
ないんですよ。あれ？

もしかして、この定理の
証明のシュワルツ適用部分を修正するのではなくて、
もう、定理のH^1自体がバナッハ空間になってしまい、
モンテルの定理から有限次元性が言えてしまうのですか！？
では、29.12も必要ないと。