[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ13 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
720: 02/11(火)19:45 ID:MW1+hP7T(55/61) AAS
クソ爺は直接面白さを示さずもったいぶった物言いするから嫌
721(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/11(火)19:45 ID:zr+dFWV7(12/15) AAS
>>680 追加
外部ﾘﾝｸ:en.wikipedia.org
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 から下記へ）
外部ﾘﾝｸ:en.wikipedia.org
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) AAS
つづき
外部ﾘﾝｸ:en.wikipedia.org
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) AAS
>>721-722 数学のスの字もわからん馬鹿素人は口をはさむなｗ
肝心なことは全部略のくせにｗｗｗ
724(3): 02/11(火)19:50 ID:MW1+hP7T(57/61) AAS
外部ﾘﾝｸ:manabitimes.jp
ご苦労様という感じ
ワクワク感はゼロ
725: 02/11(火)19:58 ID:MW1+hP7T(58/61) AAS
◆yH25M02vWFhPは
グロタンディクをひきあいにだして
ブルバキは一周遅れというが
そういう自分は二周遅れ
だったりするのがおかしい
プログラミングについても同じ
ｃは一周遅れとかいうが
そういう自分はFORTRANとかしか知らん感じ
それ二周遅れだろ
726: 02/11(火)20:00 ID:MW1+hP7T(59/61) AAS
まあ、ＦＯＲＴＲＡＮはまだマシかもしれん
ＣＯＢＯＬとかかなり悲惨らしいから
727(1): 02/11(火)20:07 ID:MW1+hP7T(60/61) AAS
中学高校の「算数」はつまるところ
複素数の乗算と指数関数（底が実数か絶対値１の複素数か）
に尽きる
いわゆる三角関数は、絶対値１の複素数を底とする指数関数の実部と虚部に過ぎない
728: 02/11(火)21:04 ID:SQ07GpKQ(8/12) AAS
>特殊な数の特殊な性質に対する特殊な論法というのが面白みを感じない理由かもしれん
eという特殊な数の無理性を示す論法が
非常に初等的であるのに対し
πの無理性の証明は非常に技巧的に感じられるのは
誰でも同じだと思う。
ところがハーディー・ライトの本では
これらが同じアイディアに基づくものだと
言い切っている。
「嘘だろう」と思いながら
証明をとことん読みなおした結果
その考えが正しいことを認めざるを得なかった。
729: 02/11(火)21:18 ID:MW1+hP7T(61/61) AAS
だから何？
いい加減黙れよクソ爺
730: 02/11(火)21:24 ID:SQ07GpKQ(9/12) AAS
>クソ爺は直接面白さを示さずもったいぶった物言いするから嫌
できるだけ実体験に基づいて
直接的な言い方をしたつもりだったが
731: 02/11(火)22:05 ID:gdFxETz7(1) AAS
>>727
オイラーの公式と交流の電気数学だけでなく
複利計算もやっておいてほしい。
732(2): 02/11(火)22:05 ID:SQ07GpKQ(10/12) AAS
>>724
こういう書き方をされたら
「ご苦労様」と言われてしまうのは無理もない。
π²の無理性の証明が誰によるかの記述も怪しい。
ハーディー・ライトの本ではもっとすっきりした
書き方をしている。
733: 02/11(火)22:13 ID:SQ07GpKQ(11/12) AAS
>>724
こんなものをよく読んだね
734(7): 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/11(火)23:09 ID:zr+dFWV7(14/15) AAS
>>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) AAS
それはさておき
もっと楽しめる数学を探そう
736(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/11(火)23:27 ID:zr+dFWV7(15/15) AAS
>>724
> 外部ﾘﾝｸ:manabitimes.jp
ご苦労さまです
それ >>722 外部ﾘﾝｸ:en.wikipedia.org
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) AAS
>>734 タイポ訂正
その解明として、数列を形式的冪級数τ(X)と考えるて
↓
その解明として、数列を形式的冪級数τ(X)と考えて
>>628 戻る
>0のところは尖っていて正解。これは尖点と呼ばれる大事な点。
>>653より
外部ﾘﾝｸ[pdf]:www.nara-wu.ac.jp
Oka Symposium講演
超幾何的K3 modular函数
志賀弘典（千葉大学理学研究科）
Dec. 16, 2012奈良女子大学、revised. Jan.18,2013
ここの P116 Fig1.1 とその関連説明が 詳しい
さらに P120から 基本領域の説明がある
”2つの円弧三角形F1,F2に二分して考える”とあるのは、無限遠点を考えているからでしょうね
次のページで”i∞”を明記してあるね
>>622 で
外部ﾘﾝｸ:ja.wikipedia.org
モジュラー群
で
『基本領域を構成する方法は多数あるが、すべてに共通なことは、領域
略す
は、垂直線 Re(z) = 1/2 と Re(z) = −1/2 と円 |z| = 1 により囲まれていることであり、双曲三角形である。』
ここも、ご注目ですね
738(1): 02/12(水)01:14 ID:gaOrjQxS(1/14) AAS
>>734
>1列の場合に矛盾ありです
君、馬鹿なの？
出題列を複数列に並べる戦略なんだから、そもそも「1列の場合」が無い
739: 02/12(水)01:27 ID:gaOrjQxS(2/14) AAS
>>734
>いま 100列で考えて、99列から ある大きな有限の数 D を決める
ある大きな有限の数ではなく、99列の決定番号の最大値な。
君、字が読めないの？
>1列が未開で残る。そうすると、上記と同じ状態になります
ならない。
なぜなら100列のうち単独最大決定番号の列はたかだか1列だから。
そのため、いずれか１列をランダム選択したとき、単独最大決定番号の列を選ぶ確率は1/100以下。そのときだけ負けるから勝つ確率は99/100以上。
740: 02/12(水)01:27 ID:gaOrjQxS(3/14) AAS
>箱入り無数目は、未開の1列と 開けてしまった99列が平等だと仮定している
そんな仮定はしていない。君、幻覚でも見えるの？
>そう仮定すれば、ロジックに穴がないかも知れないが
そんな仮定はしていないがロジックに穴は無い。
>未開の1列と 開けてしまった99列とが 平等に扱えないならば、上記の通りです
ぜんぜんダメ。ゼロ点。
741: 02/12(水)01:31 ID:gaOrjQxS(4/14) AAS
>>735
それ（>>734）はさておかず間違いだと言ってやれよ
己に媚び売る者の間違いは見て見ぬふり？ あんたそれでも学者？
742: 02/12(水)01:33 ID:gaOrjQxS(5/14) AAS
>>737
形式的べき級数を持ち出すこと自体ナンセンスだから誤記訂正不要
743: 02/12(水)01:58 ID:gaOrjQxS(6/14) AAS
>>734
>箱入り無数目は、未開の1列と 開けてしまった99列が平等だと仮定している
決定番号が異なる場合
「P(d1>d2)=1/2」なる仮定をしているというのは大きな誤解。
こんな仮定無しにランダムの定義から
「d1,d2のいずれかをランダム選択した方をa1、他方をa2と書いたとき、P(a1>a2)=1/2」
が言える。これが箱入り無数目の確率。
人の話を聞けないおサルさんは10年経っても理解できない。ヒトになれない哀れな畜生。
744: 02/12(水)02:09 ID:gaOrjQxS(7/14) AAS
おサルさんによると
{・・{{{}}}・・}_ωとは
ある場合は{{}}
ある場合は{{{}}}
ある場合は{{{{}}}}
・・・
とのこと
哀れな素人によると
0.999・・・とは
ある場合は0.9
ある場合は0.99
ある場合は0.999
・・・
とのこと
思考がまったく同じで草
745(1): 02/12(水)02:13 ID:gaOrjQxS(8/14) AAS
ちなみに哀れな素人は例の本の改訂増補版を出している
性懲りの無さもまったく同じｗ
746: 02/12(水)04:20 ID:GYn8T4oZ(1/8) AAS
>>735
数学は多様
何を楽しいと感じるかも人それぞれ
自分だけの趣味を他人に強制するな
クソ爺
747: 02/12(水)04:26 ID:GYn8T4oZ(2/8) AAS
>>734
> 箱入り無数目のロジックに穴がないとしても
> rio2016.5ch.net/test/read.cgi/math/1736907570/
> 1列の場合に矛盾ありです
>>738
> 出題列を複数列に並べる戦略なんだから、
> そもそも「1列の場合」が無い
その通り
1列では 選んだ列以外の列がないから答えが知りようがない
n>=2以上の場合、確率は1-1/nだが、
n=1とした場合、形式的には1-1/1=0となる
そして、もし当たらないというなら、まったく矛盾ない
矛盾するというなら、0より大きな確率であたるということ
当たるの？◆yH25M02vWFhP 君
748: 02/12(水)04:27 ID:GYn8T4oZ(3/8) AAS
>>732
クソ爺のいいかたはいつもそう
自分が面白さを直接示すことなく
みんな他人に丸投げしてもったいぶる
それじゃ学生はみんな嫌がる
こいつ学生に嫌われてたんだろうな
749: 02/12(水)04:29 ID:GYn8T4oZ(4/8) AAS
>>736
何がどう面白いのか理解もせずに丸コピペしてドヤ顔する馬鹿
おまえ数学無理だからあきらめて、碁でも打ってろよ
上下前次1-新書関写板覧索設栞歴
あと 253 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.027s