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

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

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

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

252: １３２人目の素数さん [] 2023/04/20(木) 08:01:35.38 ID:VVAxiP2M

>>250
>実数全体の集合に整列順序構造が存在することからして
>想像を絶すること

ええ、それは下記の”（選択公理に同値な）整列可能定理”（英 Well-ordering theorem）というやつですね
もっと想像が難しいのが、複素数全体を整列順序で並べることが可能だということ
これは、教えられないと、なかなか浮かびません

https://ja.wikipedia.org/wiki/%E6%95%B4%E5%88%97%E9%9B%86%E5%90%88
整列集合

導入
集合に整列順序が与えられれば、そこでは集合の全ての元に対する命題の超限帰納法を用いた証明を考えることができる。

自然数全体の成す集合 N が通常の大小関係 "<" に関して整列集合となるという事実は、一般に整列原理と呼ばれる。

（選択公理に同値な）整列可能定理は、任意の集合が整列順序付け可能であることを主張するものである。整列可能定理はまたツォルンの補題とも同値である。

https://en.wikipedia.org/wiki/Well-ordering_theorem
Well-ordering theorem
"Zermelo's theorem" redirects here. For Zermelo's theorem in game theory, see Zermelo's theorem (game theory).
Not to be confused with Well-ordering principle.

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 (often called AC, see also Axiom of choice § Equivalents).[1][2]

http://rio2016.5ch.net/test/read.cgi/math/1680684665/252

698: １３２人目の素数さん [] 2023/05/03(水) 11:53:30.38 ID:zednMTIW

>>東海道本線の特急「つばめ」「はと」
>>1960年6月より「つばめ」の車両を151系電車に置き換えて
>>2往復（1往復は神戸駅発着）に増発され、
>>同時にスピードアップして東京駅 - 大阪駅間所要6時間30分となった。

もしかすると「つばめ」ではなく「はと」の方だったかもしれない。
いずれにせよ、それはAkizuki-Nakanoが日本学士院紀要に載る前だから
1954年のことで、蒸気機関車の時代のこと。
名古屋で機関車を取り換えたのかもしれない。
Akizuki, Yasuo; Nakano, Shigeo
Note on Kodaira-Spencer's proof of Lefschetz theorems.
Proc. Japan Acad. 30 (1954), 266–272.
M(D) denotes the faisceau of meromorphic
n-forms on an algebraic variety
X which are (locally) multiples of the divisor D. Here n=dim X.
Kodaira obtained sufficient conditions on M(D) in order that
H^1(X,M(D))=0. This paper obtains similar conditions
(not identical with those of Kodaira), showing that
H^{p,q}(X,M{D})=0 if p+q>n
when there exists a form of type (1–1) dual to D
whose coefficients form a positive definite Hermitian matrix.
The method depends on a new property of harmonic integrals
on a complex line bundle. Several known results in the related
field of algebraic geometry are quickly deduced from this result,
e.g. Lefschetz's theorem when D is a generic section of
X, and also the theorem that a complex line bundle over an algebraic variety
is equivalent to a divisor class.
Reviewed by W. V. D. Hodge

http://rio2016.5ch.net/test/read.cgi/math/1680684665/698

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

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

ぬこの手ぬこTOP 0.042s