数学ナビゲーター掲示板 [One Thread Res View / 岩波講座基礎数学集合の補題6.1についての質問 / Page: 0]

数学ナビゲーター掲示板

■52576 / 親記事)

　岩波講座基礎数学集合の補題6.1についての質問

□投稿者/ 数学教えてマン一般人(1回)-(2024/07/17(Wed) 15:21:31)

岩波講座基礎数学集合p117の補題6.1の証明について理解できない部分があります．補題とその証明は次のような流れになっています．

補題6.1
$2$\alpha$ を順序数， $2$s\subset\alpha$ とし， $2$s$ を整列集合と考える．ここで $2$\beta=\text{ord}\;s$ とすれば $2$\beta\subset\alpha$ .

証明
$2$f:s\rightarrow\beta$ を $2$s$ から $2$\beta$ の上への順序同型写像とする． $2$s=\phi$ のときは明らかなので， $2$s\neq\phi$ の場合を考える． $2$s$ の元 $2$x$ ， $2$\beta$ の元 $2$f(x)$ はともに順序数と考えられるから， $2$f(x)\subset x$ もしくは $2$x\subset f(x)$ が成り立つ．もし $2$f(x)\subset x$ が任意の $2$x\in s$ について成り立つなら， $2$f[s]\subset s$ であるから $2$\beta=f[s]\subset s\subset \alpha$ より成立．いま $2$c=\lbrace x\in s|x \subsetneq f(x) \rbrace$ とし矛盾を導く． $2$x_0=\min c$ とおくと， $2$x\subsetneq x_0$ なる $2$s$ の元 $2$x$ に対しては $2$f(x)\subset x\subsetneq x_0$ ， $2$x_0\subset x$ なる $2$s$ の元 $2$x$ に対しては $2$f$ が順序を保つから $2$x_0\subsetneq f(x_0)\subset f(x)$ となり， $2$x_0 \notin f[s]$ となる．一方 $2$x_0\in f(x_0)$ ， $2$f(x_0)\in\beta$ なので $2$x_0\in\beta$ となり矛盾．

ここでわからないのは $2$x_0\notin f[s]$ となることです。 $2$f[s]= \bigcup_{x \in s} f(x)$ なので、 $2$x_0\subsetneq f(x_0)\subset f(x)$ から、 $2$x_0\in f[s]$ だと思ったのですが、私のどの段階で誤解が生じているのでしょうか？

なおプレビューが正常にできていないと思いますが，「a [\subsetneq] b」は「aはbの真部分集合」を意味します．

教えていただけると幸いです。

よろしくお願いします。

引用返信/返信 [メール受信/OFF] 削除キー/

■52577 / ResNo.1)

　Re[1]: 岩波講座基礎数学集合の補題6.1についての質問

▲▼■

□投稿者/ 数学教えてマン一般人(2回)-(2024/07/17(Wed) 16:03:35)

解決しました

引用返信/返信 [メール受信/OFF] 削除キー/

このスレッドをツリーで一括表示

スレッド内ページ移動 / << 0 >>

このスレッドに書きこむ

入力内容にタグは利用できません。

数式の記述方法
TeX入力ができます。 \[ TeX形式数式 \]　あるいは，$ TeX形式数式 $　で数式を記述します。
　TeX形式数式には半角英数字のみです。詳しくは、ここを見てください。
Titleは質問の内容がわかりやすいように書いてください。
他人を中傷する記事は管理者の判断で予告無く削除されます。
半角カナは使用しないでください。文字化けの原因になります。
名前、Title、コメントは必須記入項目です。記入漏れはエラーになります。
入力内容の一部は、次回投稿時の手間を省くためブラウザに記録されます。
削除キーを覚えておくと、自分の記事の編集・削除ができます。
URLは自動的にリンクされます。
引用返信するときは不要な引用部分を削除してください。
記事中に No*** のように書くとその記事にリンクされます(No は半角英字/*** は半角数字)。
- No123 → 記事No123の記事リンクになります(指定表示)。
- No123,130,134 → 記事No123/130/134 の記事リンクになります(複数表示)。
- No123-130 → 記事No123～130 の記事リンクになります(連続表示)。

Name	/
E-Mail	/
└> 関連するレス記事をメールで受信しますか? / アドレス
Title	/
URL	/
Comment/ 通常モード->　図表モード-> (適当に改行して下さい/半角10000文字以内)
File	/ アップ可能拡張子=> /.gif/.jpg/.jpeg/.png/.txt/.lzh/.zip/.mid/.svg 1) 太字の拡張子は画像として認識されます。 2) 画像は初期状態で縮小サイズ250×250ピクセル以下で表示されます。 3) 同名ファイルがある、またはファイル名が不適切な場合、　　ファイル名が自動変更されます。 4) アップ可能ファイルサイズは1回200KB(1KB=1024Bytes)までです。 5) ファイルアップ時はプレビューは利用できません。 6) スレッド内の合計ファイルサイズ:[0/500KB] 残り:[500KB]
Icon	/ (画像を選択/サンプル一覧)
削除キー	/ (半角8文字以内)
解決済み! BOX/ 解決したらチェックしてください!
プレビュー/

- Child Tree -
Edit By 数学ナビゲーター