現代数学の系譜　カントル　超限集合論

[過去ﾛｸﾞ] 現代数学の系譜　カントル　超限集合論 (1002ﾚｽ)
上下前次 1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞

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

612: 現代数学の系譜 雑談 ◆e.a0E5TtKE  [] 2019/12/06(金) 07:56:31.62 ID:eTcHIROk

参考
https://en.wikipedia.org/wiki/Axiom_of_infinity
Axiom of infinity
(抜粋)
It was first published by Ernst Zermelo as part of his set theory in 1908.[1]

References
[1] Zermelo: Untersuchungen uber die Grundlagen der Mengenlehre, 1907, in: Mathematische Annalen 65 (1908), 261-281; Axiom des Unendlichen p. 266f.

https://glossar.hs-augsburg.de/Zermelo,_E._(1908):_Untersuchungen_%C3%BCber_die_Grundlagen_der_Mengenlehre
Datenschutz Uber GlossarWiki Lizenzbestimmungen
(抜粋)
Zermelo, E. (1908): Untersuchungen uber die Grundlagen der Mengenlehre
Zermelo (1908b): Ernst Zermelo; Untersuchungen uber die Grundlagen der Mengenlehre; in: Mathematische Annalen; Band: 65; Nummer: 2; Seite(n): 261?281;
https://gdz.sub.uni-goettingen.de/dms/load/img/?PPN=PPN235181684_0065
（このサイトからPDFが落とせる）
Untersuchungen uber die Grundlagen der Mengenlehre. I. Von E. ZERMELO in Gottingen. P261

を眺めているが、すぐには正直読めない
集合論の記号もちょっと違うんだ
無限公理がどこに書いてあるのか、それすら分からない

PDFをOCRして、表題だけGoogle翻訳すると
Untersuchungen uber die Grundlagen der Mengenlehre. I.
Von
E. ZERMELO in Gottingen.
　↓
Studies on the basics of set theory. I.
From
E. ZERMELO in Gottingen.

OCRは、ある程度読んでくれているのかな？（＾＾；
少しずつ、Google翻訳に喰わせるか

http://rio2016.5ch.net/test/read.cgi/math/1570237031/612

617: 現代数学の系譜 雑談 ◆e.a0E5TtKE  [] 2019/12/07(土) 08:42:52.69 ID:H2e5WMAT

>>614
無理するな（＾＾

（>>612より）
https://gdz.sub.uni-goettingen.de/dms/load/img/?PPN=PPN235181684_0065
（このサイトからPDFが落とせる）
Untersuchungen uber die Grundlagen der Mengenlehre. I. Von E. ZERMELO in Gottingen. P261
(抜粋英訳)
P263
Axiom I. If every element of a set M is simultaneously an element of N and vice versa, that is, if M = E N and N = E M at the same time, then M = N is always M or shorter: every set is determined by its elements.

P266
But in order to secure the existence of "infinite" sets, we still need the following axiom, which derives from its essential content by Mr. R. Dedekind.
Axiom VII. The domain contains at least a set Z which contains the null set as an element and is such that each of its elements a is another element of the form {a}, or which with each of its elements a is also the corresponding set {a } as an element.
(Axiom of the infinite.)
14 VII. *) If Z is an arbitrary set of the properties required in VII, then for each of its subsets Z1 it is definite whether it possesses the same property. For if a is any element of Z1 ', it is definite whether {a} ∈ Z1,
and all the elements a of Z1 thus constituted form the elements of a subset Z1' for which it is definite whether Z1 '= Z1 or Not. Thus, all subsets Z1 of the considered property form the elements of a subset T = E UZ,
and the average corresponding to them (# 9) Z0 = DT is an amount of the same nature.
つづく

http://rio2016.5ch.net/test/read.cgi/math/1570237031/617

618: 現代数学の系譜 雑談 ◆e.a0E5TtKE  [] 2019/12/07(土) 08:43:56.92 ID:H2e5WMAT

>>617
つづき

For once 0 is a common element of all elements Z1 of T, and on the other hand, if a is a common element of all these Z1, then also {a} is common to all and therefore also an element of Z0.
If Z 'is any other quantity of the nature required in the axiom, then in the same way as Z0 it corresponds to Z for a smallest subset Z0' of the property under consideration.
Now, however, the average [Z0, Z0 '], which is a common subset of Z and Z', must have the same properties as Z and Z and, as a subset of Z, the constituent Z0 and, as a subset of Z ', the constituent Z0 ' contain.
After I it follows that [Z0, Z0 '] = Z0 = Z0', and that Z0 is therefore the common component of all possible quantities, such as Z, although these do not need to form the elements of a set.
The set Z0 contains the elements 0, {0}, {{0}}, and so on, and may be called a "series of numbers" because their elements can represent the location of the numerals.
It is the simplest example of a "countless infinite" set (Nos. 36).

注：36節(Nos. 36 P280)で、ZERMELOは無限（"unendliche"）について論じている。

つづく

http://rio2016.5ch.net/test/read.cgi/math/1570237031/618

619: 現代数学の系譜 雑談 ◆e.a0E5TtKE  [] 2019/12/07(土) 08:44:56.93 ID:H2e5WMAT

>>618
つづき

(ドイツ語原文)
P263
Axiom I. Ist jedes Element einer Menge M gleichzeitig Element von N und umgekehrt, ist also gleichzeitig M =E N und N =E M, so ist immer M = N. Oder kurzer: jede Menge ist durch ihre Elemente bestimmt.

P266
Um aber die Existenz "unendlicher" Mengen zu sichern, bedurfen wir noch des folgenden, seinem wesentlichen Inhalte von Herrn R. Dedekind**) herruhrenden Axiomes.
Axiom VII. Der Bereich enthalt mindestens eine Menge Z, welche die Nullmenge als Element enthalt und so beschaffen ist, das jedem ihrer Elemente a ein weiteres Element der Form {a} entspricht, oder welche mit jedem ihrer Elemente a auch die entsprechende Menge {a} als Element enthalt.
(Axiom des Unendlichen.)
14 VII. *) Ist Z eine beliebige Menge von der in VII geforderten Beschaffenheit, so ist fur jede ihrer Untermengen Z1 definit, ob sie die gleiche Eigenschaft besitzt. Denn ist a irgend ein Element von Z1' so ist definit, ob auch {a} ε Z1 ist,
und alle so beschaffenen Elemente a von Z1 bilden die Elemente einer Untermenge Z1', fur welche definit ist, ob Z1' = Z1 ist oder nicht. Somit bilden alle Untermengen Z1 von der betrachteten Eigenschaft die Elemente einer Untermenge T =E UZ,
und der ihnen entsprechende Durchschnitt (Nr. 9) Z0 = DT ist eine Menge von der gleichen Beschaffenheit.

つづく

http://rio2016.5ch.net/test/read.cgi/math/1570237031/619

620: 現代数学の系譜 雑談 ◆e.a0E5TtKE  [] 2019/12/07(土) 08:45:21.77 ID:H2e5WMAT

>>619
つづき

Denn einmal ist 0 gemeinsames Element aller Elemente Z1 von T, und andererseits, wenn a gemeinsames Element aller dieser Z1 ist, so ist auch {a} allen gemeinsam und somit gleichfalls Element von Z0.
Ist nun Z' irgend eine andere Menge von der im Axiom gefordertenN Beschaffenheit, so entspricht ihr in gen au derselben Weise wie Z0 dem Z eine kleinste Untermenge Z0' von der betrachteten Eigenschaft.
Nun mus aber auch der Durchschnitt [Z0, Z0'] , welcher eine gemeinsame Untermenge von Z und Z' ist, die gleiche Beschaffenheit wie Z und Z haben und als Untermenge von Z den Bestandteil Z0, sowie als Untermenge von Z' den Bestandteil Z0' enthalten.
Nach I folgt also, das [Z0, Z0'] = Z0 = Z0' sein mus, und das somit Z0 der gemeinsame Bestandteil aller moglichen wie Z beschaff (men Mengen ist, obwohl diese nicht die Elemente einer Menge zu bilden brauchen.
Die Menge Z0 enthalt die Elemente 0, {0}, { {0} } usw. und moge als "Zahlenreihe" bezeichnet werden, weil ihre Elemente die Stelle der Zahlzeichen vertreten konnen.
Sie bildet das einfachste Beispiel einer "abzahl bar unendlichen" Menge (N r. 36).
(引用終り)
以上

http://rio2016.5ch.net/test/read.cgi/math/1570237031/620

623: １３２人目の素数さん [] 2019/12/07(土) 09:25:15.54 ID:uZFmzNJe

つまりツェルメロのいう集合は
{0,{0},{{0}},…}
ってこと

◆e.a0E5TtKEへ贈る言葉

::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::。:::::::::::::::::::::::::::::::::::::::::::::
:::::::::::::::::::::::::::::::::。::::::...... ...　　 --─-　　:::::::::::::::::::: ..::::: . ..::::::::
:::::::::::::::::...... ....:::::::゜::::::::::..　　 （___ ）（___ ）　::::。:::::::::::::::::　゜.::::::::::::
:. .:::::。:::........　.　.::::::::::::::::: _　i/ ＝　＝ヽi　:::::::::::::。::::::::::: . . . ..::::
:::: :::::::::.....:☆彡::::　　　／/[||　 　 」　　||]　 ::::::::::゜:::::::::: ...:: :::::
　:::::::::::::::::: . . . ..: ::::　/　ﾍ　| |　 ____,ヽ | |　:::::::::::.... .... ..　.::::::::::::::
::::::...゜　.　.:::::::::　　／ヽ ﾉ　 　 ヽ＿＿/　　.......　.　.::::::::::::........ ..::::
:.... .... ..　.　　　　 く　 /　　　 　三三三∠⌒＞:.... .... ..　.:.... .... ..
:.... .... ..:.... .... ..... .... ..　.:.... .... ..　..... .... ..　..... ............. ..　.　........　......
:.... . ∧∧　 　∧∧　　∧∧　 　∧∧　.... .... ..　.:.... .... ..... .... ..　.
... ..:（　　 ）ゝ （　　 ）ゝ（　　 ）ゝ（　　 ）ゝ無茶しやがって… ..........
....　 i⌒　/ 　 i⌒　/ 　i⌒　/ 　 i⌒　/　..　..... ................... ..　.　...
.. 　 三　 | 　 三　 | 　 三　 | 　 三　|　　... ............. ...........　.　.....
...　 ∪ ∪ 　 ∪ ∪ 　 ∪ ∪ 　∪ ∪　............. ............. ..　........　...
　　三三　　三三　　三三　　　三三
　三三　　三三　　三三　　　三三

http://rio2016.5ch.net/test/read.cgi/math/1570237031/623

627: 現代数学の系譜 雑談 ◆e.a0E5TtKE  [] 2019/12/07(土) 14:51:04.02 ID:H2e5WMAT

>>626

つづき

https://en.wikipedia.org/wiki/L%C3%B6wenheim%E2%80%93Skolem_theorem
Lowenheim?Skolem theorem
(抜粋)
The proof of the upward part of the theorem also shows that a theory with arbitrarily large finite models must have an infinite model; sometimes this is considered to be part of the theorem.

Many consequences of the Lowenheim?Skolem theorem seemed counterintuitive to logicians in the early 20th century, as the distinction between first-order and non-first-order properties was not yet understood.
One such consequence is the existence of uncountable models of true arithmetic, which satisfy every first-order induction axiom but have non-inductive subsets.

Another consequence that was considered particularly troubling is the existence of a countable model of set theory, which nevertheless must satisfy the sentence saying the real numbers are uncountable.
This counterintuitive situation came to be known as Skolem's paradox; it shows that the notion of countability is not absolute.

http://rio2016.5ch.net/test/read.cgi/math/1570237031/627

636: 現代数学の系譜 雑談 ◆e.a0E5TtKE  [] 2019/12/07(土) 15:37:50.36 ID:H2e5WMAT

>>622
おサル＝ID:uZFmzNJe は、恥かきだなｗ（＾＾；
正則性公理のそこでつまずいているのかｗ

（参考）
Inter-universal geometry と ABC予想 42
https://rio2016.5ch.net/test/read.cgi/math/1572150086/
701 名前：１３２人目の素数さん[] 投稿日：2019/12/07(土) 09:59:15.64 ID:uZFmzNJe [3/3]
>>697
＞正則性公理には反してませんよ、ZFCに反してませんよと強調したかった
しかし∈-loopsは、正則性公理とは矛盾しますけどね
「集合のいかなる∈列も有限長で終わる」
というのが正則性公理ですから
（それゆえ「基礎の公理」とも呼ばれる）

https://ja.wikipedia.org/wiki/%E6%95%B4%E7%A4%8E%E9%96%A2%E4%BF%82
整礎関係
(抜粋)
数学において、二項関係が整礎（せいそ、英: well-founded）であるとは、真の無限降下列をもたないことである。

定義
集合あるいはクラス X 上の二項関係 R が整礎であるとは、X の空でない任意の部分集合 S が R に関する極小元を持つことをいう[1]。

X が集合であるとき、従属選択公理（英語版）（これは選択公理よりも真に弱く可算選択公理よりも真に強い）を仮定すれば、同値な定義として、関係が整礎であることを可算無限降下列が存在しないこととして定められる[3]。

集合 x が整礎的集合 (well-founded set) であることは、∈ が x の推移閉包上で整礎関係となることと同値である。ZF における公理のひとつである正則性の公理は、全ての集合が整礎であることを要請するものである。

関係 R が X 上で逆整礎 (converse well-founded) または上方整礎 (upwards well-founded) であるとは、R の逆関係 R?1 が X 上の整礎関係であるときにいう。このとき R は昇鎖条件を満たすという。

例
全順序でない整礎関係の例。
・自然数の順序対全体の集合 N × N 上の、(n1, n2) < (m1, m2) ⇔ n1 < m1 かつ n2 < m2 となる順序。

整礎でない関係の例。
・負整数全体 {?1, ?2, ?3, …} の通常の順序。任意の非有界部分集合が最小元を持たない。
・有理数全体（または実数全体）の標準的な順序（大小関係）。たとえば、正の有理数（または正の実数）全体は最小元を持たない。
(引用終り)

http://rio2016.5ch.net/test/read.cgi/math/1570237031/636

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

あと 343 ﾚｽあります
ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.018s