1
大学数学基礎解説
文献あり

ドーナッツと開写像定理

254
0

概要

昔に開写像定理に想いを馳せて書いたメモが埋もれていたので、せっかくなので記事にしてみたい。
しょうもない例を交えつつ、写像の像についてどの空間の位相で考えているかもぼんやり考えてみたい。

本文

関数解析の定理に開写像定理という有名な定理がある。

開写像定理

X, Yを Banach 空間とし、T:XY上への有界線型写像とする。
この時、開集合MXに対してT(M)Yも開集合である。

証明には Baire のカテゴリー定理を要するし、正直あんまりスッキリ頭に入る内容でもないので割愛することにして・・・上へのという条件について考えてみたい。

簡単なケースとしてX=Y=R3としてT:R3R3を考えてみたい。舞台として線型空間での線型写像を扱っているので、ちょっと代数学チックな表現をするなら「Tは線型空間準同型写像である」とも言える。つまり線型空間としての構造を維持する。
このことを頭に入れつつT:(x1,x2,x3)(x1,x2,0)という連続な射影を考えてみる。これは開写像定理の前提条件である「上への」を満たさない。この時何が起こるのだろうか?

例えば、B={|x|<1;xR3} という R3の開球を考えると、このTによる像T(B){x12+x22<1;(x1,x2)R2}である。これは明らかにR3の開集合ではない。というのもこれはR3の中の “平べったい” 集合なので、xT(B)を中心とするいかなる小球もT(B)に含まれないからである。

この考察をもとに、先ほど頭に入れたことに戻る。つまり、線型空間の構造を維持する写像Tが上への写像でない場合、写像先の空間Yの中でT(X)はいずれかの方向に “潰れている” みたいなイメージになると思う。(無限次元のケースだとこの表現はあまりに雑であるが・・・)
潰れているならYの中の小開球が入るスペースがなくなるので、Xのいかなる集合のTによる像も開集合ではなくなる。
・・・というのが「上への」という条件が重要である直感的な理由かな?と思っている。

余談

この記事を書きながらお夜食にドーナッツをいただきたかったので、タイトルのドーナッツをお題に一言書いて終える。

隣の部屋に表面がないドーナッツが置いてあるというファンタジーを考えて、障子越しに投影されたドーナッツの影を見るということを考える。この時、どの角度から見ても障子の上に境界のない開集合としてドーナッツは美味しそうにふっくらと投影されている。何故なら、隣の部屋というR3空間が、障子というR2空間の上にうつっているからである。X=R3, Y=R2にしてしまえば、T:(x1,x2,x3)(x1,x2)は今度こそ開写像になるのである。(先程はY=R3としていたので、ぺちゃんこに潰れた悲しいドーナッツになってしまったのである!)

参考文献

[1]
M. Reed and B. Simon, Functional Analysis, Methods of Modern Mathematical Physics, Academic Press, 1981, p.82
投稿日:2022512
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

derwind
derwind
13
2684
数学を専攻してたはずのに気がついたら道を踏み外しちゃったよ的なー。プログラムでの検証等々は https://zenn.dev/derwind でうにょうにょ。

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. 概要
  2. 本文
  3. 余談
  4. 参考文献