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

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

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

669: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/02/11(火) 15:59:50.34 ID:zr+dFWV7

つづき
Raussen and Skau: 貴方がブルバキを勉強したと聞いて非常に驚きます。ブルバキは通常その年齢で難しいと考えられています。貴方の正式な学校教育について少し話してもらえますか?　貴方にとって面白かったのか、または退屈だったのですか?

ドリーニュ: 私には優れた一人の初等学校教師がいた。高校よりも初等学校で多くのことを学んだと思う。すなわち、読み方、書き方、算術、更にずっと多くのこと。この教師が数学においてどのように実験したかを私は憶えている。その実験は私に証明、面、長さについて考えさせた。問題は半球面を同じ半径の円板面を比較することだった
略す

Raussen and Skau: たった16歳で貴方はJacques Titsの講義に行きました。校外旅行に参加したので、一週間出席出来なかった話がありますが･･･?

ドリーニュ: 本当だ。私はこの話をずっと後に言われた。Titsが講義に来た時、彼は訊いた。すなわち、ドリーニュはどこにいるの?　私が校外旅行にいることを説明されて、講義は次週に延期された。

Raussen and Skau: 貴方を輝ける学生として既に認めていたのに違いありません。Jacques Titsもアーベル賞受賞者です。彼は5年前にJohn Griggs Thompson(群論において偉大なる発見に対して)と共に受賞しました。貴方にとって彼は影響力のある教師でしたか?

ドリーニュ: はい。特に初期において。教える際に、最も重要なことは何をしないかとういうことがある。例えば、Titsは群の中心が不変部分群だと教えなければならなかった。彼は証明を始め、そして止めて、本質的に言った。すなわち、"不変部分群は、すべて内部自己同型を保つ部分群である。中心の定義は出来ている。従ってデータの全対称を保つ。よって、不変であることは明らかだ"。
私にとって、これは意表を突いた事実だった。つまり、対称性の考えのパワーだ。Titsが証明を一歩一歩進める必要がなく、かわりに対称性が結果を明らかにしているとただ言えたことは私に多大なる影響を残している。私は対称性を重視し、私の論文のほぼすべてにおいて、対称性ベースの議論がある
略す

https://abelprize.no/abel-prize-laureates/2013
https://abelprize.no/sites/default/files/2021-05/Biography%20Japanese%20Abel%20prize%202013%20Pierre%20Deligne.pdf
Pierre Deligne
ドリーニュは12歳ぐらいの頃、兄の大学の数学書を読み始め、説明を求めた。彼の数学への関心を知り、高校の数学教師、J. ナイスは数巻のニコラ・ブルバキ（フランスの数学を刷新した、ペンネームの影武者）の『数学原論』を貸した。普通は14歳の少年に与えることなど夢にも思わぬような読み物であるが、ドリーニュにとって、これは人生を変える経験となった。その時から、彼は決して後戻りすることはなかった

https://ja.wikipedia.org/wiki/%E3%83%94%E3%82%A8%E3%83%BC%E3%83%AB%E3%83%BB%E3%83%AB%E3%83%8D%E3%83%BB%E3%83%89%E3%83%AA%E3%83%BC%E3%83%8B%E3%83%A5
Pierre Deligne
経歴
ドリーニュは、ブリュッセル自由大学に入るころは既に大学の数学をすべて終えていた。高等師範学校で数学を学び、23歳でIHÉSの客員教授、26歳でIHÉS教授、34歳のときフィールズ賞を受賞
以上

http://rio2016.5ch.net/test/read.cgi/math/1738367013/669

689: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/02/11(火) 17:52:19.59 ID:zr+dFWV7

>>680 タイポ訂正

別に、ブルバキ読みたい人は呼んだら良い。だけど、新しい本を併読すべきだよ ；ｐ）
　↓
別に、ブルバキ読みたい人は読んだら良い。だけど、新しい本を併読すべきだよ ；ｐ）

>>681
(引用開始)
>>676
> πの無理性の証明をしてみれば
> 数学で何が必要かが少しだけわかる
　そういう考え方は気持ち悪い
(引用終り)

>>676 ID:xoFIjB4w
πの無理性の証明をしてみれば
数学で何が必要かが
少しだけわかる
(引用終り)

ID:xoFIjB4w は、御大ね
午後の巡回ご苦労さまです

意味分りますよ

実は、>>609 en.wikipedia.org/wiki/E_(mathematical_constant) で
”Complex numbers
The special case with x = π is Euler's identity:
e^iπ+1=0,
which is considered to be an exemplar of mathematical beauty as it shows a profound connection between the most fundamental numbers in mathematics. In addition, it is directly used in a proof that π is transcendental, which implies the impossibility of squaring the circle.[47][48] "
（さらに、これはπが超越数であることの証明に直接使用され、円を二乗することが不可能であることを意味します。[ 47 ] [ 48 ]）
47  Milla, Lorenz (2020). "The Transcendence of π and the Squaring of the Circle". arXiv:2003.14035 [math.HO].
48  Hines, Robert. "e is transcendental" (PDF). University of Colorado. Archived (PDF) from the original on 2021-06-23.

とありましたからね　（＾＾
さすが、複素関数論の大家ですね

http://rio2016.5ch.net/test/read.cgi/math/1738367013/689

721: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/02/11(火) 19:45:31.93 ID:zr+dFWV7

>>680 追加

https://en.wikipedia.org/wiki/Pi
Pi
The number π (/paɪ/ ⓘ; spelled out as "pi") is a mathematical constant, approximately equal to 3.14159, that is the ratio of a circle's circumference to its diameter.

Irrationality and normality
π is an irrational number, meaning that it cannot be written as the ratio of two integers. Fractions such as ⁠
22/7⁠ and ⁠355/113
⁠ are commonly used to approximate π, but no common fraction (ratio of whole numbers) can be its exact value.[21] Because π is irrational, it has an infinite number of digits in its decimal representation, and does not settle into an infinitely repeating pattern of digits. There are several proofs that π is irrational; they generally require calculus and rely on the reductio ad absurdum technique.

（Proof that π is transcendental から下記へ）
https://en.wikipedia.org/wiki/Lindemann%E2%80%93Weierstrasstheorem
Lindemann–Weierstrass theorem — if α1, ..., αn are algebraic numbers that are linearly independent over the rational numbers
Q, then eα1, ..., eαn are algebraically independent over Q.

Transcendence of e and π
See also: e (mathematical constant) and Pi
The transcendence of e and π are direct corollaries of this theorem.
To prove that π is transcendental, we prove that it is not algebraic. If π were algebraic, πi would be algebraic as well, and then by the Lindemann–Weierstrass theorem eπi = −1 (see Euler's identity) would be transcendental, a contradiction. Therefore π is not algebraic, which means that it is transcendental.
A slight variant on the same proof will show that if α is a non-zero algebraic number then sin(α), cos(α), tan(α) and their hyperbolic counterparts are also transcendental.

Lindemann–Weierstrass theorem
Lindemann–Weierstrass Theorem (Baker's reformulation). — If a1, ..., an are algebraic numbers, and α1, ..., αn are distinct algebraic numbers, then[10]
a1e^α1+a2e^α2+・・・ +ane^αn =0
has only the trivial solution
ai=0 for all i=1,・・・ ,n.
Proof
略

つづく

http://rio2016.5ch.net/test/read.cgi/math/1738367013/721

734: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/02/11(火) 23:09:47.96 ID:zr+dFWV7

>>699
>箱入り無数目のロジックに穴がないことも
>納得した。

おお恐れながら
箱入り無数目のロジックに穴がないとしても rio2016.5ch.net/test/read.cgi/math/1736907570/
1列の場合に矛盾ありです

つまり １列の出題
s = (s1，s2，s3 ，・・,sn-1,sn,sn+1,・・) ∈R^N を考える
いま しっぽ同値類の代表
s' = (s'1，s'2，s'3 ，・・,s'n-1,sn,sn+1,・・) ∈R^N であったとして
この場合、sn-1≠s'n-1 として、n以降は一致していて
決定番号d=n です

いま、回答者のAさんが、ある大きな有限の数 D をとって
d < D  と出来れば , D 以降の箱 sD,sD+1,sD+2,・・の箱を開けて
出題のしっぽから 同値類を特定して、その代表列
s' = (s'1，s'2，s'3 ，・・,s'n-1,sn,sn+1,・・) があって
sD-1の未開の箱の数は、定義より d ≦ D-1 が成り立っているので
代表のD-1の数が、未開の箱の数 sD-1 と一定している と宣言すれば、Aさんは勝てる

そして、もし 常に ある大きな数 D をとって
d < D  と出来るならば、回答者のAさんは、100％必勝です
だが、これは変です

その解明として、数列を形式的冪級数τ(X)と考えるて
τ(x) = s1+s2x+s3x^2・・+sn-1x^n-2+snx^n-1+sn+1x^n+・・ として
上記同様に考えると、代表
τ'(x) = s'1+s'2x+s'3x^2・・+s'n-1x^n-2+snx^n-1+sn+1x^n+・・ として
差を取ると 決定番号d=n より上の係数は消えて
τ(x) -τ'(x) =s1-s'1+(s2-s'2)x+(s3-s'3)x^2・・+(sn-1-s'n-1)x^n-2 ：＝f(x) （多項式）
と 係数 (sn-1-s'n-1) より小さい部分が残り n-2次多項式に なる

しっぽ同値類とは、形式的冪級数環R[[x]]/R[x] (R[x]は多項式環) という商集合で
しっぽ同値類の代表とは、f(x)∈R[x]、τ(x) ＝τ'(x)+f(x) ∈R[[x]] です
多項式環R[x]は、任意の自然数より大きい次元の部分空間を持つ無限次元線形空間 （>>419 都築より）
ですから、いま あえて未定義の ランダム*)という言葉を使うと ランダムに選ぶ R[x]の元は（前記の意味で）無限次ですので
”回答者のAさんが、ある大きな有限の数 D をとって d < D  と出来る”が不成立です（τ(x) が わかって意図すれば可能です）

（ *)”ランダム”を、選択公理に お任せ と考えても良いでしょう）

追伸
いま 100列で考えて、99列から ある大きな有限の数 D を決める
1列が未開で残る。そうすると、上記と同じ状態になります
箱入り無数目は、未開の1列と 開けてしまった99列が平等だと仮定している
そう仮定すれば、ロジックに穴がないかも知れないが
未開の1列と 開けてしまった99列とが 平等に扱えないならば、上記の通りです

http://rio2016.5ch.net/test/read.cgi/math/1738367013/734

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

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

ぬこの手ぬこTOP 0.018s