[過去ログ] ガロア第一論文と乗数イデアル他関連資料スレ12 (1002レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
477
(1): 01/20(月)16:19 ID:lMN8bpqd(8/12) AAS
>>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の証明では、省かれているよ
 省けると思ってる? どうやって?
 論理が分からんサルは「ウィキにそう書いてあるから正しい」とかいうのかい?
省2
482
(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 01/20(月)17:17 ID:7RKCNKc8(6/6) AAS
>>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ξ∣ξ<α} (添え字 α)
省11
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 2.055s*