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

[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ13 (1002ﾚｽ)
上下前次 1-新

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

593: 02/10(月)17:49 ID:6fwmQoR3(68/75) AAS
数学の成果は２種類ある

１．直観的にそう思われてるが、やっぱりそうだと追認するのが困難な成果
２．直観的にそう思われてるが、実は全然そうじゃなかったと示す結果

そもそも直観することが難しいものは、どうであろうが大して面白みがない
そういう意味では数学にも寿命はあるだろう
人の直観が働く範囲は所詮有限であるから

594: 02/10(月)17:50 ID:6fwmQoR3(69/75) AAS
木は際限なく大きくならない
人は際限なく生きながらえることははない

数学もまた同じ

595: 02/10(月)17:53 ID:mmxYF8sw(9/11) AAS
>やっぱりそうだと追認するのが困難な成果
代数多様体の特異点解消など
>実は全然そうじゃなかったと示す結果
バナッハ・タルスキーの逆理など

596: 02/10(月)17:58 ID:6fwmQoR3(70/75) AAS
バナッハ・タルスキーの逆理はハウスドルフの逆理に基づいているが
階数２以上の自由群の初等的性質を用いてる点でヒルベルトの無限ホテルの延長線上にある
面白いけど実は難しくないので、多分これではフィールズ賞は取れない

597: 02/10(月)18:03 ID:6fwmQoR3(71/75) AAS
正直、下の図の赤線で囲われた範囲と青線で囲われた範囲が合同だとわかればいい
そりゃ１個のものを２個でも３個でも好きに増やせるのは自明である

外部ﾘﾝｸ[svg]:ja.wikipedia.org

598(1): 02/10(月)19:18 ID:mmxYF8sw(10/11) AAS
ここは面白い↓

選択公理よりも真に弱いハーン–バナッハの定理からバナッハ＝タルスキーのパラドックスを導くことができる。

599: 02/10(月)19:20 ID:KhO7fgYD(1/6) AAS
p進数は？

600: 02/10(月)19:26 ID:6fwmQoR3(72/75) AAS
>>598
双曲平面なら選択公理もハーン・バナッハもいらない
直接、分割が構成できるから　しかし実に面白い
要するに選択公理もハーン・バナッハもパラドックスの本質ではない

601(1): 02/10(月)19:32 ID:KhO7fgYD(2/6) AAS
実は、双曲平面でのバナッハ・タルスキーのパラドックスには
「ガウスの描いた不思議な図」が大いに関係するのだが
ガウス好きの元教授がこの話題に食いつかないのは、内容を
理解してないからなのではないかという気もするｗ

602: 02/10(月)19:32 ID:mmxYF8sw(11/11) AAS
ここから先は難しい↓

有理数係数の二次形式では、常に局所大域原理が成り立つ。この事実はミンコフスキーが証明し、代数体に拡張した結果をハッセが証明したため、合わせてハッセ–ミンコフスキーの定理と呼ばれる。

603(1): 02/10(月)19:38 ID:KhO7fgYD(3/6) AAS
Q_pからRへの1対1連続な写像が構成できて
そのRの中での像は、カントール集合っぽい
集合になるらしい...

604(1): 02/10(月)19:41 ID:6fwmQoR3(73/75) AAS
>>601
モジュラー群が重要な役割を果たしますね

605: 02/10(月)19:43 ID:6fwmQoR3(74/75) AAS
>>603
Qpもカントール集合も完全不連結ですからね

606(1): 02/10(月)19:49 ID:KhO7fgYD(4/6) AAS
>>604
ガウスの遺稿の中にいたずらがきみたいな図があって、当時それを見た
数学者が「なんだこりゃ？」と思ったが、それからさらに数十年経って
基本領域の図であると分かったという話。これは『近世数学史談』
に書いてありますね。
ところが、その基本領域は今日言うPSL(2,Z)ではなく、その部分群の図で
その部分群こそは自由群F_2と同型。
ただ、わたしはその図を見たことがない。「部分群の基本領域だ」
という話は、浪川幸彦氏が書いていたと思う。

607(1): 02/10(月)20:05 ID:KhO7fgYD(5/6) AAS
基本領域の形自体が、自由群であることを示している。
自由群というのは、ケーリー図を書いた場合、サイクルのない
「木」になっていて、生成元による表示の一意性が成立するが
基本領域の形にもそれがあらわれている。
これはまぁ、面白い事実だと思う。
ただ、ガウス本人が描いた絵が見れないのが無念。

608(1): 02/10(月)20:07 ID:KhO7fgYD(6/6) AAS
検索屋さんは探してきてくれｗ

609(3): 現代数学の系譜雑談 ◆yH25M02vWFhP 02/10(月)20:14 ID:fq1QO0q/(2/6) AAS
>>551-553
おっちゃん、ご苦労さまです
下記 e (mathematical constant) 、皆さんの参考に貼ります；ｐ）

(参考)
ja.wikipedia.org/wiki/%E3%83%8D%E3%82%A4%E3%83%94%E3%82%A2%E6%95%B0
ネイピア数（ネイピアすう、英: Napier's constant）は、数学定数の一つであり、自然対数の底である。ネーピア数、ネピア数とも表記する。記号として通常は e が用いられる。

en.wikipedia.org/wiki/E_(mathematical_constant)
e (mathematical constant)
Properties
Number theory
省11

610(1): 現代数学の系譜雑談 ◆yH25M02vWFhP 02/10(月)20:15 ID:fq1QO0q/(3/6) AAS
つづき

これまで未解決の問題は、e と π という数が代数的に独立であるかどうかという問題です。これは、リンデマン・ワイエルシュトラスの定理の現在証明されていない一般化であるシャヌエルの予想によって解決されるだろう。[41][42]

eは正規分布していると考えられており、これはeを任意の基数で表した場合、その基数で可能な数字が均一に分布している（与えられた長さの任意のシーケンスで等しい確率で発生する）ことを意味する。[43]

代数幾何学において、周期とは代数領域上の代数関数の積分として表現できる数です。定数πは周期であるが、eは周期ではないと推測される。[44]

en.wikipedia.org/wiki/Proof_that_e_is_irrational
Proof that e is irrational
The number e was introduced by Jacob Bernoulli in 1683. More than half a century later, Euler, who had been a student of Jacob's younger brother Johann, proved that e is irrational; that is, that it cannot be expressed as the quotient of two integers.
Euler's proof
Euler wrote the first proof of the fact that e is irrational in 1737 (but the text was only published seven years later).[1][2][3] He computed the representation of e as a simple continued fraction, which is
e=[2;1,2,1,1,4,1,1,6,1,1,8,1,1,・・・ ,2n,1,1,・・・ ].
省9

611: 現代数学の系譜雑談 ◆yH25M02vWFhP 02/10(月)20:20 ID:fq1QO0q/(4/6) AAS
>>609-610 補足

なんか、googleのAI訳があやしいな
ご愛敬ですねｗ（＾＾

It is conjectured that e is normal, meaning that when e is expressed in any base the possible digits in that base are uniformly distributed (occur with equal probability in any sequence of given length).[43]
　　↓↑
eは正規分布していると考えられており、これはeを任意の基数で表した場合、その基数で可能な数字が均一に分布している（与えられた長さの任意のシーケンスで等しい確率で発生する）ことを意味する。[43]

612(1): 現代数学の系譜雑談 ◆yH25M02vWFhP 02/10(月)21:05 ID:fq1QO0q/(5/6) AAS
>>606-608
おっちゃん、ご苦労さまです

下記ですな
が、はっきりした図そのものが出てこない
下記の Gauss and the Arithmetic-Geometric Mean David A. Cox 2016
P20/22 がそうかな？

Gauss 全集と付き合わせたいところだが、いまはここまで
ついでにヒットした資料貼っておく
（なお下記武部尚志先生 ”作った資料を←こちらの「資料公開」の項に置いてみました”というが、リンクが無い！ｗ；ｐ）

(参考)
省21

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

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

ぬこの手ぬこTOP 1.102s*