バナッハ空間の数学では、連続の方法(method of continuity)は、他の関係している作用素を変換して有界線型作用素を導く充分条件をもたらす。

定式化編集

B をバナッハ空間、V をノルム付きベクトル空間とし、  を B から V への有界線型作用素のノルム英語版(norm)をもつ連続な族とする。ある定数 C が存在し、すべての   とすべての   に対し、

 

が成り立つとすると、  が全射であることと、  が全射であることとは同値である。

応用編集

連続の方法は、楕円型偏微分方程式の適切な正規解の存在を証明するために、アプリオリ評価英語版(a priori estimate)と一緒に使う。

証明編集

  が全射であれば、  が同様に全射であることを示す。

区間 [0,1] を分割し、  であることを仮定し、さらに、  は V が B に同型であることを意味するので、V はバナッハ空間である。仮定は、  が閉空間であることを意味する。   が固有な部分であると仮定する。ハーン-バナッハの定理により、  であり、  であるような点   が存在する。ここである   に対し   とし、仮定より   であり   であるので、

 

となる。これは、  であるので矛盾が起きる。

関連項目編集

参考文献編集

  • Gilbarg, D.; Trudinger, Neil (1983), Elliptic Partial Differential Equations of Second Order, New York: Springer, ISBN 3-540-41160-7