YouTubeチャンネル「
数の落とし子
」の動画の補足です。
背景
私は工学系出身ですが趣味として大学数学を勉強中で、「数の落とし子」チャンネルの距離空間と位相空間の動画を視聴しています。その中の
距離空間⑦
では定理5として連続写像の同値表現として開集合を使った同値表現を学びました(Mathlogで番号を変える方法がわかりませんでした)。
は側の開集合全体の集合の意味です。同値なものの否定を取っても同値ですから、以下のことがわかります。
3行目は「側の開集合でによる逆像が境界点を含むようなものが存在する」という意味です。
具体例
以下のような階段関数を考えると、開区間の逆像が開区間でないことがわかります。
このとき下側の●で表されるのが、の境界点です。
予想
ここで私は「そのような境界点はが不連続となる点と一致するのではないか?」と考え、次のように予想しました。
右辺は「側の開集合でによる逆像が点を境界点として含むものが存在する」という意味です。
なお
距離空間⑥
でが点で連続であることの他の同値表現を学びましたので、これを使います。
は側の点の近傍の意味です。
準備
証明に入る前に、予想の左辺と右辺を内点の言葉を使った同値表現に書き換えておきましょう。まず左辺は定理2と近傍の定義を使って、次のように書き換えます。
が で連続ではない
任意のに対しとは限らない
s.t.
s.t. かつ
ここではの内点集合です。同様に予想の右辺も開集合の定義、逆像の定義、境界点の性質をそれぞれの項に使って書き換えます。
第3項の変形は、に境界点は内点ではないことを、にある集合に含まれる点がその集合の内点ではないならば境界点であることを利用しました。
証明
最初の予想を内点の言葉を使って書き換えると、証明がかなり簡単になりました。
まずを示す。あるが存在して、 かつ かつ を満たすと仮定すると、仮定より なので 、すなわちが示された。
次にを示す。あるが存在して、 かつ を満たすと仮定する。ここでとおくと、まずとは明らか。次に なので が成り立ち、更になのでが成り立つ。まとめると s.t. かつ かつ となるが、これはをに読み替えれば結論そのものである。以上よりが示された。
まとめ
がで連続でないことと、側の開集合で逆像がを境界点として含むものが存在することが同値であることを証明しました。
両辺の否定を取れば、がで連続であることと、側の開集合で逆像がを境界点として含むものが存在しないことが同値であることがわかります。
つまりが逆像に含まれないか、逆像の内点として含まれるかのどちらかということですね。
初めてMathlogの記事を書きましたが、これは大変ですね! 間違いなどありましたらコメントお願いします。