[過去ログ]
ガロア第一論文と乗数イデアル他関連資料スレ12 (1002レス)
ガロア第一論文と乗数イデアル他関連資料スレ12 http://rio2016.5ch.net/test/read.cgi/math/1735693028/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
リロード規制
です。10分ほどで解除するので、
他のブラウザ
へ避難してください。
477: 132人目の素数さん [] 2025/01/20(月) 16:19:40.22 ID:lMN8bpqd >>474 なんか阪大工学部卒の数学凡人が偉そうな口叩いてるけど何も理解してないんだろ? >もう一つが、ツォルンの補題を使うスジです 君、ツォルンの補題って言葉しか知らんのだろ ステートメントは・・・略す(大爆笑) それじゃ数学は一生分からんわ! >Jech ”That we can do by induction, using a choice function f for the family S of all nonempty subsets of A.”は >下記のen.wikipedia の Well-ordering theoremの証明では、省かれているよ 省けると思ってる? どうやって? 論理が分からんサルは「ウィキにそう書いてあるから正しい」とかいうのかい? そもそも並べる前から集合族A-{aξ:ξ<α}だけ取り出せるわけないだろ 脳味噌真空の白●か? http://rio2016.5ch.net/test/read.cgi/math/1735693028/477
482: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/01/20(月) 17:17:17.44 ID:7RKCNKc8 >>477-478 >Let the set we are trying to well-order be A, and let f be a choice function for the family of non-empty subsets of A. >(訳)整序しようとする集合をAとし、fをAの空でない部分集合の族に対する選択関数とする。 そこ、下記の Axiom of choiceの Statement そのままでしょ?w (^^ >>475より aα= f(A∖{aξ∣ξ<α}) ここに 選択関数f 集合族 A∖{aξ∣ξ<α} (添え字 α) 選択された要素 aα (添え字 α) 補足 選択関数f が扱うのは 上記限りです それ以外の集合族は、関係ないですよ (^^ (参考) https://en.wikipedia.org/wiki/Axiom_of_choice Axiom of choice Statement A choice function (also called selector or selection) is a function f, defined on a collection X of nonempty sets, such that for every set A in X, f(A) is an element of A. With this concept, the axiom can be stated: Axiom — For any set X of nonempty sets, there exists a choice function f that is defined on X and maps each set of X to an element of that set. http://rio2016.5ch.net/test/read.cgi/math/1735693028/482
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.029s