面白い問題おしえて～な 31問目

面白い問題おしえて～ ..

512:１３２人目の素数さん
20/02/21 16:10:15.80 mdcv3RW3.net
色々整ったので >>399の答えが2であることを示します。
ちなみにR^2からR^nに変えても同様で、答えが2であることも言えます。
R^2は可算な開基を持つので、R^2の開集合の個数は連続体濃度。
よって、R^2の閉集合全体からなる集合の濃度も同じく連続体濃度である
ゆえに、定数でない連続写像 f:[0,1]→R^2 の像全体からなる集合Pは、
Pの各元が閉集合であるため、同じく連続体濃度を持つ。
これより、連続体濃度を持つ最小の基数をΩとおくと、PからΩへの全単射ωが存在。
超限帰納法により、R^2の点列 {a_p}_(p∈P), {b_p}_(p∈P) であって、
任意のp∈Pについて a_p≠b_p かつ
a_p, b_p ∈ p＼∪_(p'∈P, ω(p')<ω(p)){a_p',b_p'}
を満たすものが存在。
（任意のp∈Pについてpは連続体濃度を持つことと、
p'∈P であって ω(p')<ω(p) を満たすものの個数は連続体濃度未満であることに注意。）
B={b_p:p∈P} とおけば、任意のp∈Pについて
b_p∈p∩B, a_p∈p∩(R＼B)
を満たすので、これを用いて関数 f:R^2→{1,2} を
f(X)=1 (X∈Bの時), 2 (それ以外)
と定めれば良い。

次ページ

続きを表示

1を表示