はじめに
このレジュメはYoutubeにて公開した動画
イプシロンデルタ論法と位相空間の連続写像
の内容をまとめたものです。レジュメ単体で読むよりも動画と合わせてご覧になることをお勧めします。なお、動画も本文章も位相空間や連続写像の定義について丁寧に説明するものではないことをご注意ください。
話の目標は二つの連続性の定義、つまり論法を用いた関数の連続性の定義と位相空間を用いた連続性の定義の関係を調べることです。位相空間や連続写像という概念については定義を確認する程度なので、これらについてご存知ない方は別の教科書などをお読みください。本文を読む上で必要になる集合の包含、冪集合、逆像という集合に関する基本的な言葉については
冪集合と逆像
にまとめたので、必要に応じて参照してください。
連続性と位相空間の定義
まず論法を用いた関数の連続性の定義を復習する。
関数の連続性
がで連続であるとは、任意のに対してあるが存在して、ならばが成立すること。
次に位相空間の定義と連続写像の定義を確認しよう。
位相空間
集合とその冪集合の部分集合の組が位相空間であるとは、
正の整数に対してならば
任意の集合とで添え字付けられたの要素の族[^1]に対して
位相空間の間の連続写像
位相空間の間の連続写像とは、写像であって、任意のに対してのによる逆像であるものをいう。
集合に対して、位相空間の定め方は一通りとは限らないことに注意しよう。
実数の位相
上は一般の位相空間について述べたが、今回はを実数全体のなす集合とする。この集合に対してを適切に定めることで、位相空間における連続写像の定義が論法による関数の連続性と結びつくことを確かめるのがこの文章の目標である。
実数の位相
の冪集合の部分集合を次のように定める。であることは任意のに対してあるが存在して、であること。
ここで、という記号は開区間を表すもので、より大きくより小さい実数のなす集合のこと、つまり
である。
より一般に、開区間は で定まるもの。
上の定義4で定めたとの組が位相空間の定義2を満たすかどうかは証明が必要である。その前に上の定義4に慣れるため、開区間がに属することを確かめよう。
開区間を考える。
これがに属することをいうために、任意のに対してあるが存在して、であることをいう。とする。 このときである。とするととなる。
このが定義において存在を示すべきである。
さて、が位相空間の条件を満たすことを確かめる。
であることは、いかなるに対してもなのでよい。であることは、に対する条件が空集合の要素に対する全称なので真。
とする。
これに対してを示す。とする。
このとき、全てのに対しである。であることから、あるが存在してである。とする。
全てのに対してであるから
$$\begin{eqnarray}
(x-\epsilon,x+\epsilon)\subset(x-\epsilon_i,x+\epsilon_i)\subset U_i\end{eqnarray}$$となる。
よって、共通部分の定義からとなる。
以上より、このがに対して存在を示すべきものである。
の要素の族をとる。
これに対してを示す。とする。
このとき、あるが存在してとなる。であるから、あるが存在してとなる。
和集合の定義からなので、上と合わせて $$\begin{eqnarray}
(x-\epsilon,x+\epsilon)\subset\bigcup_{\lambda\in\Lambda}U_\lambda\end{eqnarray}$$となる。
よって、このがに対して存在を示すべきものである。
定義の同値性
さて、上で紹介した連続性の二つの定義が等価であることをいおう。実際には上で述べた関数の連続性の定義1は点における連続性なので、このままでは同値にならない。の全体での連続性を以下のように定義する。
関数の連続性
が連続であるとは、任意のに対して、以下が成立すること。
任意のに対してあるが存在して、ならばが成立すること。
位相空間の連続写像の定義をある点における連続性で定義することも可能だが、今回はこちらでやることにする。
位相空間の連続写像の定義2を改めて述べる。
位相空間の間の連続写像
位相空間の間の連続写像とは、写像であって、任意のに対してであるものをいう。
この二つの定義5,6の同値性を示すため、まずは関数の連続性の定義5を集合の言葉を用いて書き換えよう。そのために、絶対値を用いた記述を開区間を用いて書き直す。まず、とは同値であることを説明する。は絶対値を外すと となり、この各辺にを足すと
となる。よって、これは
と同値。
同様にはと同値である。さらに、これを逆像を用いて書くと
と同値でもある。
以上のことから、に対する条件である は次のように書ける。
さらにこのについての条件は集合の包含関係 と同値である。したがって、論法を用いた関数の連続性の定義5を集合の言葉を使って書き直すと次のようになる。
関数の連続性
が連続であるとは、任意のに対して、以下が成立すること。
任意のに対してあるが存在して、 が成立する。
この書き換えでは、位相空間の言葉は使っておらず、単に集合の記号を用いて論法による連続性を書き換えただけなことを再度注意しておく。
さて、この書き換えた定義7が位相空間を用いた定義6と同値なことを確かめよう。まずはが位相空間の間の連続写像であるとき、関数の連続性を満たすことを確かめる。
を取る。 を取る。
位相空間の定義より である。が位相空間の間の連続写像なので、上の開区間のによる逆像は
を満たす。なので、逆像の定義から
である。でありなので、の定義からあるが存在して、である。 このをとすれば示すべき条件が満たされる。
逆に、が定義7の意味で連続関数であるとき、定義6の意味で位相空間の間の連続写像を定めることを示そう。
をとる。 これに対してを示す。の定義から、任意のに対してあるが存在してとなることを言えばよい。を取る。 逆像の定義からである。であるから、このに対してあるが存在して
である。が連続なので、このとに対してが存在して、が成り立つ。であるから、逆像の性質より
である。 上の包含を二つ合わせて となる。
このをとすればよい。
改めて振り返ると、の定義は天下りに与えられたがこれこそが論法による連続性の定義と連続写像の概念が同値になるようなの位相であるということができる。
実際にはは開区間全体を含む最小の位相であるという言い方もできる。を開区間全体で定まる集合とする。ただし端点はも許すことにする。つまり、であることはが存在してとかけることで定める。このを用いてを考えると、これは位相空間の定義を満たさない。例えばだがである。そこで、定義を満たすようにに上のような集合を追加していく。そのようにしてできたの部分集合で定義を満たしかつ最小なものがである。