大学数学の集合と位相の分野では、異なる種類の区間間に全単射（双射）が存在することを示す問題があります。特に、開区間(0,1)と半開区間[0,1)は位相的には「同じ大きさ（濃度）」であることが知られていますが、具体的な全単射を構成する方法を理解することは、集合論や位相の基礎理解に役立ちます。
基本アイデア：数列による端点の処理
開区間と半開区間の間で全単射を作る際に最も重要なのは、端点0や1をどう扱うかです。端点0を含む[0,1)に対応させるために、数列を使って「端点を割り当てる」手法が有効です。
具体的には、(0,1)内に列a_nを構成し、0や1の近くにa_0,a_1,…を割り当てることで、全単射f:(0,1)→[0,1)を定義します。
具体的な全単射 f:(0,1)→[0,1) の例
1つの例として、(0,1)を二分割して端点に近い点を順番に[0,1)の各点に割り当てる方法があります。
例えば、以下のように定義します。
f(x)=0 ならば x=1/2^1、
f(x)=1/2 ならば x=1/2^2、
f(x)=1/4 ならば x=1/2^3 …
残りの点は f(x)=x/2 + 1/4 のように線形写像で埋めることで、全単射を作ることができます。重要なのは、端点に対応する数列 a_n を用意して、残りの点を補間することです。
逆向き：全単射 [0,1)→(0,1)
逆方向の場合も同様に、端点0を除く数列に対応する点を(0,1)内に割り当て、残りを線形写像で補完します。例えば、a_n=1-1/2^n として、0に近い値を端点に対応させ、残りはf(x)=(x+1)/2のようにスケーリングします。
数列を使った端点の抹消のイメージ
この方法の核心は、端点0や1を直接写像に含めるのではなく、数列を使って「無限に近づく点」に割り当てることで、開区間と半開区間の全単射を構成する点です。
この手法を使えば、直接 f:(0,1)→[0,1) を具体的に与えることが可能で、対称律に頼らずに全単射の存在を示せます。
まとめ
・(0,1)と[0,1)は位相的には同じ濃度を持つ。
・具体的な全単射を作るには、端点に対応する数列を用意し、残りを線形写像などで埋める。
・逆方向も同様の手法で全単射を構成できる。
・数列を使うことで、端点の捏造・抹消を行い、開区間と半開区間の間の全単射を具体的に与えられる。
コメント