ガロア第一論文と乗数イデアル他関連資料スレ16

[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ16 (1002ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

74: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/04/22(火) 07:39:36.38 ID:6xExXHND

>>73
>モストフスキ崩壊補題なんて使わなくても直接示せるけどね

それはそうだが、”牛刀を用いて鶏を割く”だね。大定理の系として＊ 。 一般に 集合の良い順序を ∈による推移的なM に落とせる
つまり、公理的集合論では ∈による順序が重要だってことだ
(下記の Mostowski-Kollaps 独語 ご参照)
(＊：大学入試問題を 大学学部の大定理で 一発で解くみたいな。本当は、学部の大定理をつまみ食いして 入試問題を作っているらしい)

>ツェルメロの順序数で、順序の性質を満たす二項関係Ｒ
>を定義してみせなくちゃ話にならない

先にも述べたが、ある集合Aから 任意の順で元を取り出して 並べて それを 整楚な全順序とすることができる by 整列可能定理
整列可能定理の正体は、選択公理の化身です。つまり、公理だ。これが、二項関係Ｒの定義についての答えです。整列可能定理を使えばできるよと

(参考)
https://de.wikipedia.org/wiki/Mostowski-Kollaps
Mostowski-Kollaps
Der Mostowski-Kollaps (auch: Mostowski’scher Isomorphiesatz) ist ein Satz aus der Mengenlehre, der zuerst 1949 von dem polnischen Mathematiker Andrzej Mostowski formuliert wurde. Er ist vor allem bei der Konstruktion von Modellen ein wichtiges Hilfsmittel.
(google和訳を手直し)
https://upload.wikimedia.org/wikipedia/de/c/cb/Kollaps.PNG
奇数から自然数への崩壊
例
・ C{1,3,5,・・・}奇数の集合
　≪=＜ 通常の順序とする
　≪は、整楚で外延的とする。以下の写像が適用できる
　π(C)＝ω　そしてπ(2n+1)＝n 。したがって、すべての奇数は最小の自由自然数にマッピングされます。だから崩壊という名前がついたのです。
・<は 良い順序Cで π(C)を順序タイプ(C,<)として、 つまり、一意に決定された順序数(C,<)と順序同型です。したがって、モストフスキー崩壊は順序数定義の一般化として見ることができます
(原文独語)
Ist < eine Wohlordnung auf C, dann ist π(C) der Ordnungstyp von (C,<), also die eindeutig bestimmte Ordinalzahl, die zu
(C,<) ordnungsisomorph ist. Der Mostowski-Kollaps kann also als Verallgemeinerung der Ordinalzahldefinition angesehen werden.
(参考 google英訳)
Is < a good order on C , then π(C)the order type of (C,<), i.e. the uniquely determined ordinal number that (C,<)is order isomorphic. The Mostowski collapse can therefore be viewed as a generalization of the definition of ordinal numbers .

https://en.wikipedia.org/wiki/Well-ordering_theorem
Well-ordering theorem 整列可能定理
In mathematics, the well-ordering theorem, also known as Zermelo's theorem, states that every set can be well-ordered. A set X is well-ordered by a strict total order if every non-empty subset of X has a least element under the ordering. The well-ordering theorem together with Zorn's lemma are the most important mathematical statements that are equivalent to the axiom of choice .

http://rio2016.5ch.net/test/read.cgi/math/1744899342/74

82: １３２人目の素数さん [] 2025/04/22(火) 09:47:55.81 ID:kLLE5N21

>>75
(引用開始)
>>ツェルメロの順序数で、順序の性質を満たす二項関係Ｒを定義してみせなくちゃ話にならない
> ある集合Aから 任意の順で元を取り出して 並べて それを 整礎な全順序とすることができる by 整列可能定理
> 整列可能定理の正体は、選択公理の化身です。つまり、公理だ。
> これが、二項関係Ｒの定義についての答えです。
> 整列可能定理を使えばできるよと
あ、このコ、全然わかってなーい
あのね、ツェルメロの順序数では元は並べられてるよ
でも二項関係∈は順序の性質の一つである推移性を満たさない
(引用終り)

ふっふ、ほっほ >>74の”Well-ordering theorem 整列可能定理”及びその関連を、百回音読してねｗ
　>>72より
{}∈{{}}∈{{{}}}∈{{{{}}}}∈・・・
　　↓
{} R {{}} R {{{}}} R {{{{}}}} R ・・・
かように、∈→R と 記号を一般の順序記号Rに置換すれば
Rについての 推移性 は、矛盾なく定義できる by 整列可能定理
そんなことは、デフォルトだから 省略して 略記しただけさ（常識の無い人には分からないだろうなｗ）

顔を洗って出直せ！ｗｗｗ ；ｐ）

(参考)
https://en.wikipedia.org/wiki/Well-ordering_theorem
Well-ordering theorem 整列可能定理
In mathematics, the well-ordering theorem, also known as Zermelo's theorem, states that every set can be well-ordered. A set X is well-ordered by a strict total order if every non-empty subset of X has a least element under the ordering. The well-ordering theorem together with Zorn's lemma are the most important mathematical statements that are equivalent to the axiom of choice .

https://en.wikipedia.org/wiki/Well-order
Well-order
In mathematics, a well-order (or well-ordering or well-order relation) on a set S is a total ordering on S with the property that every non-empty subset of S has a least element in this ordering.
The set S together with the ordering is then called a well-ordered set (or woset).[1]
In some academic articles and textbooks these terms are instead written as wellorder, wellordered, and wellordering or well order, well ordered, and well ordering.

https://ja.wikipedia.org/wiki/%E6%95%B4%E5%88%97%E9%9B%86%E5%90%88
整列集合
（整列順序から転送）
整列集合（せいれつしゅうごう、英: wellordered set）、または整列順序付けられた集合（せいれつじゅんじょづけられたしゅうごう）とは、数学における概念の1つで、整列順序を備えた集合のことをいう。ここで、集合 S 上の整列順序関係 (wellorder) とは、S 上の全順序関係 "≤" であって、S の空でない任意の部分集合が必ず ≤ に関する最小元をもつものをいう。あるいは同じことだが、整列順序とは整礎な全順序関係のことである。整列集合 (S, ≤) を慣例に従ってしばしば単純に S で表す。

http://rio2016.5ch.net/test/read.cgi/math/1744899342/82

上下前次1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.034s