大学数学の出題スレat MATH大学数学の出題スレ - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト72:１３２人目の素数さん 26/03/21 23:59:14.70 NDb/+dyg.net あと順序を維持した写像は x≦y ⇒ f(x)≦f(y) x<y ⇒ f(x)<f(y) のどっち？ 73:１３２人目の素数さん 26/03/22 00:17:25.06 /3zjer9T.net >>71 最小の非可算順序数 >>72 上の方 74:１３２人目の素数さん 26/03/22 00:45:00.13 uQLqEZFW.net ω1 の部分集合 W を { x | f(y) < f(x) ( ∀y < x ) } と定める。f の W への制限を g とする。まず im f = im g をしめす。そうでないとして f(x) ∉ im g をみたす最小の x をとる。明らかに x∉W だから y<x で f(y) = f(x) をみたすものがとれる。ここで x の最小性から z∈W を f(y) = g(w) ととれる。よって f(x)∈ im g となって矛盾する。 W が ω1 に上界をもたないとすると W は非可算順序数である。よって g:W → ℝ は非可算順序数から ℝ への順序を保つ単射をあたえる。 しかしこのとき x∈W に対して開区間 (g(x),g(x+1)) に属する有理数 q(x) を選択させるとき W から ℚ への単射が構成されて矛盾する。よって W は ω1 に上界 x を持ち任意の x≦y に対して f(x) = f(y) となる。 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch