[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ13 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
721(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 02/11(火)19:45 ID:zr+dFWV7(12/15)
>>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
略
つづく
722(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 02/11(火)19:45 ID:zr+dFWV7(13/15)
つづき
https://en.wikipedia.org/wiki/Proofthat%CF%80isirrational
Proof that π is irrational
In the 1760s, Johann Heinrich Lambert was the first to prove that the number π is irrational, meaning it cannot be expressed as a fraction
a/b, where
a and b are both integers. In the 19th century, Charles Hermite found a proof that requires no prerequisite knowledge beyond basic calculus. Three simplifications of Hermite's proof are due to Mary Cartwright, Ivan Niven, and Nicolas Bourbaki. Another proof, which is a simplification of Lambert's proof, is due to Miklós Laczkovich. Many of these are proofs by contradiction.
In 1882, Ferdinand von Lindemann proved that
π is not just irrational, but transcendental as well.[1]
Lambert's proof
略
Hermite's proof
略
Cartwright's proof
略
Niven's proof
略
Bourbaki's proof
略
Laczkovich's proof
略
以上
723: １３２人目の素数さん [] 02/11(火)19:48 ID:MW1+hP7T(56/61)
>>721-722 数学のスの字もわからん馬鹿素人は口をはさむなｗ
肝心なことは全部略のくせにｗｗｗ
724(3): １３２人目の素数さん [] 02/11(火)19:50 ID:MW1+hP7T(57/61)
https://manabitimes.jp/math/2697
ご苦労様という感じ
ワクワク感はゼロ
725: １３２人目の素数さん [] 02/11(火)19:58 ID:MW1+hP7T(58/61)
◆yH25M02vWFhPは
グロタンディクをひきあいにだして
ブルバキは一周遅れというが
そういう自分は二周遅れ
だったりするのがおかしい
プログラミングについても同じ
ｃは一周遅れとかいうが
そういう自分はFORTRANとかしか知らん感じ
それ二周遅れだろ
726: １３２人目の素数さん [] 02/11(火)20:00 ID:MW1+hP7T(59/61)
まあ、ＦＯＲＴＲＡＮはまだマシかもしれん
ＣＯＢＯＬとかかなり悲惨らしいから
727(1): １３２人目の素数さん [] 02/11(火)20:07 ID:MW1+hP7T(60/61)
中学高校の「算数」はつまるところ
複素数の乗算と指数関数（底が実数か絶対値１の複素数か）
に尽きる
いわゆる三角関数は、絶対値１の複素数を底とする指数関数の実部と虚部に過ぎない
728: １３２人目の素数さん [] 02/11(火)21:04 ID:SQ07GpKQ(8/12)
>特殊な数の特殊な性質に対する特殊な論法というのが面白みを感じない理由かもしれん
eという特殊な数の無理性を示す論法が
非常に初等的であるのに対し
πの無理性の証明は非常に技巧的に感じられるのは
誰でも同じだと思う。
ところがハーディー・ライトの本では
これらが同じアイディアに基づくものだと
言い切っている。
「嘘だろう」と思いながら
証明をとことん読みなおした結果
その考えが正しいことを認めざるを得なかった。
729: １３２人目の素数さん [] 02/11(火)21:18 ID:MW1+hP7T(61/61)
だから何？
いい加減黙れよクソ爺
730: １３２人目の素数さん [] 02/11(火)21:24 ID:SQ07GpKQ(9/12)
>クソ爺は直接面白さを示さずもったいぶった物言いするから嫌
できるだけ実体験に基づいて
直接的な言い方をしたつもりだったが
731: １３２人目の素数さん [sage] 02/11(火)22:05 ID:gdFxETz7(1)
>>727
オイラーの公式と交流の電気数学だけでなく
複利計算もやっておいてほしい。
732(2): １３２人目の素数さん [] 02/11(火)22:05 ID:SQ07GpKQ(10/12)
>>724
こういう書き方をされたら
「ご苦労様」と言われてしまうのは無理もない。
π²の無理性の証明が誰によるかの記述も怪しい。
ハーディー・ライトの本ではもっとすっきりした
書き方をしている。
733: １３２人目の素数さん [] 02/11(火)22:13 ID:SQ07GpKQ(11/12)
>>724
こんなものをよく読んだね
734(7): 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 02/11(火)23:09 ID:zr+dFWV7(14/15)
>>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列とが 平等に扱えないならば、上記の通りです
735(2): １３２人目の素数さん [] 02/11(火)23:23 ID:SQ07GpKQ(12/12)
それはさておき
もっと楽しめる数学を探そう
736(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 02/11(火)23:27 ID:zr+dFWV7(15/15)
>>724
> https://manabitimes.jp/math/2697
ご苦労さまです
それ >>722 https://en.wikipedia.org/wiki/Proof_that_%CF%80_is_irrational
Proof that π is irrational
にあるよ Niven, Ivan (1947)だね
Niven's proof
This proof uses the characterization of
π as the smallest positive zero of the sine function.[9]
Suppose that
π is rational, i.e.
π=a/b
for some integers
a and b
which may be taken without loss of generality to both be positive. Given any positive integer
n, we define the polynomial function:
f(x)=x^{n}(a-bx)^{n}/{n!}
and, for each
x∈R let
F(x)=f(x)-f''(x)+f^4(x)+・・・ +(-1)^nf^2n(x).
Claim 1:
F(0)+F(π)} is an integer.
以下略す
References
9. Niven, Ivan (1947), "A simple proof that π is irrational" (PDF), Bulletin of the American Mathematical Society, vol. 53, no. 6, p. 509, doi:10.1090/s0002-9904-1947-08821-2
737(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 02/12(水)00:03 ID:rx78Rip+(1/2)
>>734 タイポ訂正
その解明として、数列を形式的冪級数τ(X)と考えるて
↓
その解明として、数列を形式的冪級数τ(X)と考えて
>>628 戻る
>0のところは尖っていて正解。これは尖点と呼ばれる大事な点。
>>653より
https://www.nara-wu.ac.jp/omi/oka_symposium/11/shiga.pdf
Oka Symposium講演
超幾何的K3 modular函数
志賀弘典（千葉大学理学研究科）
Dec. 16, 2012奈良女子大学、revised. Jan.18,2013
ここの P116 Fig1.1 とその関連説明が 詳しい
さらに P120から 基本領域の説明がある
”2つの円弧三角形F1,F2に二分して考える”とあるのは、無限遠点を考えているからでしょうね
次のページで”i∞”を明記してあるね
>>622 で
https://ja.wikipedia.org/wiki/%E3%83%A2%E3%82%B8%E3%83%A5%E3%83%A9%E3%83%BC%E7%BE%A4
モジュラー群
で
『基本領域を構成する方法は多数あるが、すべてに共通なことは、領域
略す
は、垂直線 Re(z) = 1/2 と Re(z) = −1/2 と円 |z| = 1 により囲まれていることであり、双曲三角形である。』
ここも、ご注目ですね
738(1): １３２人目の素数さん [] 02/12(水)01:14 ID:gaOrjQxS(1/14)
>>734
>1列の場合に矛盾ありです
君、馬鹿なの？
出題列を複数列に並べる戦略なんだから、そもそも「1列の場合」が無い
739: １３２人目の素数さん [] 02/12(水)01:27 ID:gaOrjQxS(2/14)
>>734
>いま 100列で考えて、99列から ある大きな有限の数 D を決める
ある大きな有限の数ではなく、99列の決定番号の最大値な。
君、字が読めないの？
>1列が未開で残る。そうすると、上記と同じ状態になります
ならない。
なぜなら100列のうち単独最大決定番号の列はたかだか1列だから。
そのため、いずれか１列をランダム選択したとき、単独最大決定番号の列を選ぶ確率は1/100以下。そのときだけ負けるから勝つ確率は99/100以上。
740: １３２人目の素数さん [] 02/12(水)01:27 ID:gaOrjQxS(3/14)
>箱入り無数目は、未開の1列と 開けてしまった99列が平等だと仮定している
そんな仮定はしていない。君、幻覚でも見えるの？
>そう仮定すれば、ロジックに穴がないかも知れないが
そんな仮定はしていないがロジックに穴は無い。
>未開の1列と 開けてしまった99列とが 平等に扱えないならば、上記の通りです
ぜんぜんダメ。ゼロ点。
上下前次1-新書関写板覧索設栞歴
あと 262 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.023s