[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ13 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
945(6): 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 02/15(土)09:35 ID:XknlDm4+(2/10)
>>932
(引用開始)
>>26
（引用開始）
(3(Zornの補題) ⇒ 1(選択公理))
{X_λ}_{λ∈Λ}を非空集合の族とする．
A := { g:Σ→∪_{λ∈Λ} X_λ | Σ⊂Λ, 任意のλ∈Σに対してg(λ)∈Xλ }
としてAに ⊂ で順序を入れる．B⊂Aを部分全順序集合とするとき ∪g∈B g ∈ A は B の上界である．
即ち A はZornの補題の仮定を満たす．故に極大元 f∈A を持つ．
もし dom(f)≠Λ であれば f が極大であることに反するので dom(f)=Λ となる．故に f は選択関数である．
（引用終了）
選択関数はAの元なんだから、Aがwell-definedなら選択関数の存在は自明だけどその証明が無いのでは？
(引用終り)
それ >>26 https://alg-d.com/math/ac/wo_z.html が、元のリンクだね？ alg-d 壱大整域さんに質問しなよ、喜んでくれるだろう
それとは別に、他の証明と照らし合わせるのが良い、というか 常用のスジだ
下記 ”Zorn's lemma implies the axiom of choice”の証明で
集合族で 和集合”its union U:=⋃X”が一つのスジだ
それで、下記 関数 f:X→U を導入する。これが、最後 選択関数になるんだろう
Zorn's lemma に乗せるために、順序 ”It is partially ordered by extension; i.e.,”を導入する
で、この順序で ”The function g is in P and f<g, a contradiction to the maximality of f.”として 結局 fが極大で
即ち fが 選択関数だと
繰り返すが、上記 alg-d 壱大整域さん と 下記 en.wikipedia を見比べてみな
(参考)
https://en.wikipedia.org/wiki/Zorn%27s_lemma
Zorn's lemma
Zorn's lemma implies the axiom of choice
A proof that Zorn's lemma implies the axiom of choice illustrates a typical application of Zorn's lemma.[17]
Given a set X of nonempty sets and its union
U:=⋃X
(which exists by the axiom of union), we want to show there is a function
f:X→U such that
f(S)∈S for each
S∈X. For that end, consider the set
P={f:X′→U∣X′⊂X,f(S)∈S}.
It is partially ordered by extension; i.e.,
f≤g if and only if
f is the restriction of g. If
fi:Xi→U
is a chain in P, then we can define the function f on the union
X′=∪iXi by setting
f(x)=fi(x) when
x∈Xi. This is well-defined since if i<j, then
fi is the restriction of fj . The function
f is also an element of P and is a common extension of all fi's. Thus, we have shown that each chain in
P has an upper bound in P. Hence, by Zorn's lemma, there is a maximal element
f in P that is defined on some X′⊂X. We want to show
X′=X. Suppose otherwise; then there is a set
S∈X−X′. As S is nonempty, it contains an element s. We can then extend
f to a function g by setting g|X′=f and g(S)=s. (Note this step does not need the axiom of choice.) The function g is in P and f<g, a contradiction to the maximality of f. ◻
946: 雑談 ◇yH25M02vWFhP ＝現代数学のオチコボレ [] 02/15(土)09:43 ID:36YscTpw(10/27)
ツェルメロによる選択公理は例えば集合論における濃度の比較可能性を保証する
しかし、そうしたところでカントルが提起し連続体の濃度の決定問題が
解決できるかといえばできない
コーエンはこのことを強制法で示した
集合論が壮大なマッチポンプだったのではないか？
という疑問に関しては正面から否定できないかもしれないが
少なくとも意図的なものではないし、結果論として
そういうことはしばしば起きるのだから
あとからイチャモンつけるのは🏇🦌ってもんだ
947: 雑談 ◇yH25M02vWFhP ＝現代数学のオチコボレ [] 02/15(土)09:48 ID:36YscTpw(11/27)
>>945
選択公理と整列定理の関係についていえば、Zornの補題を介さないほうが判りやすい
整列定理から選択公理を導くのは簡単である、整列順序における最小元をとればいいだけだから
選択公理から整列定理を導くのも、空でない部分集合の全体から要素を取り出す選択関数を使えばいいので簡単
両者とツォルンの補題の関係はもうちょっと面倒くさい
そもそも神戸のセタ君は、ツォルンの補題が何言ってるのか分かってないだろ？
948: 雑談 ◇yH25M02vWFhP ＝現代数学のオチコボレ [] 02/15(土)09:50 ID:36YscTpw(12/27)
> 他の証明と照らし合わせるのが良い、というか 常用のスジだ
でもどの証明も何言ってるのかわからんので、結局何一つわからん
というのが神戸のセタ君のお定まりのスジ
違うかい？ 図星だろ？
949: 雑談 ◇yH25M02vWFhP ＝現代数学のオチコボレ [] 02/15(土)09:55 ID:36YscTpw(13/27)
神戸のセタ君は、高校までは、数学はよくできたみたいだが
それは、高校までの数学はろくに理屈もなくて
とにかく、計算方法だけ丸暗記すれば試験問題が解けるからである
どうだ？ 図星だろ？
しかし、大学に入って、数学の講義を受けたらチンプンカンプンだった
それは、大学の数学が理屈ばかりで、方法とか直接示すことはしないから
どうだ？ 図星だろ？
日本語を雑に使っていて正確な文章が書けず読めず
大体こんなもんという感じで主張し、例外の存在は気にしない
正方行列はだいたい逆行列がある 例外はあるが稀だから無視していい
そういう精神の持ち主は、数学に興味もっても無駄である
正しく理解しようがないんだから
950: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 02/15(土)09:56 ID:XknlDm4+(3/10)
>>945 補足
>A proof that Zorn's lemma implies the axiom of choice illustrates a typical application of Zorn's lemma.[17]
えーと、最後の [17]を見ると下記だ
Notes
17 Halmos 1960, § 16. Exercise.
References
Halmos, Paul (1960). Naive Set Theory. Princeton, New Jersey: D. Van Nostrand Company.
https://en.wikipedia.org/wiki/Naive_Set_Theory_(book)
Naive Set Theory (book)
うーんと、海賊版を探すと
Naive set theory.
Halmos, Paul R. (Paul Richard), 1916-2006.
Princeton, N.J., Van Nostrand, [1960]
があった (下記 文字化けと乱丁ご容赦)
Sec. 16 ZORN'S LEMMA p65
Exercise.
Zorn's lemma is equivalent to the axiom of choice.
[Hint
for the proof: given a set X, consider functions /such that dom/C
(P(X), ran/dX, and f(A)eA for all A in dom/; order these functions
by extension, use Zorn's lemma to find a maximal one among them, and
prove that if/ismaximal, then dom/= <P(X)
—
{0}.] Consider each
of the following statements and prove that they too are equivalent to
the axiom of choice.
(i)
Every partially ordered set has a maximal
chain (i.e., a chain that
is
not
a
proper subset of any other chain).
(ii)
Every chain in
a
partially ordered set
is
included in some maximal chain.
(iii) Every partially ordered set in which each chain has
a
least upper
bound has a maximal element.
(引用終り)
か
解答はないかな？・・・ ないね・・ ；ｐ）
951: 雑談 ◇yH25M02vWFhP ＝現代数学のオチコボレ [] 02/15(土)10:03 ID:36YscTpw(14/27)
工学屋は代数方程式の解の数値が欲しいだけだから
ガロア理論なんて興味もつだけ無駄である
代数方程式がべき根だけで解けるかどうか判別する必要なんてない
べき根で解けようが解けまいが複素数解は存在するのだから
解析的方法でゴリゴリ解いたほうが早いし実際そうしている
ガウスは円分方程式のベキ根解を求めるためにラグランジュの分解式を使った
これ自体は理屈が判らん🏇🦌でも実際に実行可能であるし、
工学的実用性は皆無だが数学的な美しさはMAX
実際に計算してみると「巡回拡大バンザーイ」といいたくなる
ヴィトゲンシュタインはこんなのは学童の喜びだと馬鹿にするだろうが
最初はこんなもんなんだから気にするほうが馬鹿というものだ
こんな最初の一歩すら踏み出せない神戸のセタ君を見ていると
つくづく憐みを禁じ得ない
952(1): 雑談 ◇yH25M02vWFhP ＝現代数学のオチコボレ [] 02/15(土)10:07 ID:36YscTpw(15/27)
神戸のセタ君は
とにかく検索し
とにかくコピペすることで
「おれはわかってる！わかってる！！わかってる！！！」
と絶叫したいようだが、全然わかってないことは
他の人にバレバレである
自分の言葉で言い換えられない時点で明らかである
セタ君はとにかく日本語が不自由だから
自分の言葉で語るととたんに粗雑化してしまう
しかし、だからといって、それをやめてしまったら
数学なんか一生わかりようがないのである
自分の言葉で語ることこそが大事なのである
さんざん痛い目にあってそれで学習することが大事
痛い目にあうのがいやだからやりたくない
とかいうチキンな精神なら
最初から数学に興味もたないのが一番
しかしあきらめられないというなら
チキンな精神を捨てるしかない
さぁ、どっちを選ぶ？ 神戸のセタ君
953: 雑談 ◇yH25M02vWFhP ＝現代数学のオチコボレ [] 02/15(土)10:08 ID:36YscTpw(16/27)
神戸のセタ君はとにかくコピペを止めて
全部自分の言葉で語ることを実践していただきたい
954: １３２人目の素数さん [] 02/15(土)10:15 ID:36YscTpw(17/27)
ところで
「集合論で決定不能な問題を、圏論で決定できるかもしれない」
とかいう動機で圏論に興味持つのは・・・
💩
955: １３２人目の素数さん [] 02/15(土)10:18 ID:tNB6oeTf(3/13)
>>945
>見比べてみな
君は見比べもせず何も疑問に思わず>>26でコピペしたと？ 何のために？ 自分が何も考えられない馬鹿であることを全世界に示すためかい？
956: 雑談 ◇yH25M02vWFhP ＝現代数学のオチコボレ [] 02/15(土)10:21 ID:36YscTpw(18/27)
神戸のセタ君は、何かというと
「社会人はカンニングＯＫ！」
とわめく癖があるが、
彼の勤めてる会社のコンプライアンスはどうなってるんだろうか
実に不安であるｗ
957: 雑談 ◇yH25M02vWFhP ＝現代数学のオチコボレ [] 02/15(土)10:24 ID:36YscTpw(19/27)
神戸のセタ君は、何かというと
小難し気な定理を持ち出したがるが
なぜその定理が成立するかは
全く興味がないらしい
（例：ケイリー・ハミルトンの定理）
その昔、TVで放送してた「伊東家の食卓」の精神なんだろう
「なるものはなる！」
数学科でこれいうと確実に落第するけど
958: 雑談 ◇yH25M02vWFhP ＝現代数学のオチコボレ [] 02/15(土)10:31 ID:36YscTpw(20/27)
行列の正則性とかランクとかを
行列環とか固有多項式とかで説明するのは
やりすぎというか循環論法になりかねない
こういうことを全く気にしないのは
論理のわからぬ素人
959(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 02/15(土)10:58 ID:XknlDm4+(4/10)
>>945 補足
あのさ >>932 って おサルの言っていること、ショボクね？
弥勒菩薩氏から、おっさん基礎論自慢するから ”基礎論婆”とか呼ばれて
じゃあ、おっさんどれだけ 基礎論 詳しいんだ？ と思ったら、このサマか
笑えるます ｗｗｗ ；ｐ）
960: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 02/15(土)10:59 ID:XknlDm4+(5/10)
>>959 タイポ訂正
じゃあ、おっさんどれだけ 基礎論 詳しいんだ？ と思ったら、このサマか
笑えるます ｗｗｗ ；ｐ）
↓
じゃあ、おっさんどれだけ 基礎論 詳しいんだ？ と思ったら、このザマか
笑えます ｗｗｗ ；ｐ）
961: １３２人目の素数さん [] 02/15(土)11:29 ID:tNB6oeTf(4/13)
>>959
Aがwell-definedであることを証明してごらん。できるなら。
ここは数学板なので数学的根拠の無い感想文は無意味。君は園児かい？
962: １３２人目の素数さん [] 02/15(土)11:32 ID:tNB6oeTf(5/13)
>>959
>ショボクね？
存在例化すら理解できない君がなぜしょぼいと判断できるの？
963: 雑談 ◇yH25M02vWFhP ＝現代数学のオチコボレ [] 02/15(土)11:48 ID:36YscTpw(21/27)
神戸のセタは、数学板で一番ショボいのは
万年高卒レベルの自分ってことが判らない
乙とか高木某より賢いと思ってるのを見ると、ああ、おかしい
全然変わらないどころかむしろ彼らより全然馬鹿だろｗ
964: １３２人目の素数さん [] 02/15(土)11:52 ID:tNB6oeTf(6/13)
>>941
> もしそうならば、存在例化とは 新しい定数記号cを導入できること
> ”must be a new term”であること
> 「証明の結論部にも現れてはならない」”it also must not occur in the conclusion of the proof”
> ってこと
>3）ならば、”存在例化により選択関数f∈A'が存在する”という上記陳述が
> ナンセンスだと思うぜ
それがナンセンス。
fという名前を使わずに「選択公理は真」と結論すればよいだけだから。
上下前次1-新書関写板覧索設栞歴
あと 38 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.024s