[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ13 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
259(1): 02/06(木)09:55 ID:jBYaMD3j(5/14) AAS
「特化した証明」という概念がないおっちゃんの問題点。
おっちゃんは、γが有理数であることを「証明した」と言うのだが
もし、同じ論理で上記のγ(0,2),γ(1,2)が「共に有理数」
であることが「証明」されれば、それはその「証明」が
誤りであることを明確に示している。
つまり、おっちゃんの「腐った証明」に付き合うことなく
誤りであることが分かるというわけ。
260(1): 02/06(木)10:02 ID:jBYaMD3j(6/14) AAS
訂正>>258
>γ(0,2)-γ(1,2)=log(2)
正しくは
γ(0,2)-γ(1,2)=-log(2) または
γ(1,2)-γ(0,2)=log(2)
261: 02/06(木)10:11 ID:jBYaMD3j(7/14) AAS
>>258の記号で
>γ(0,2) と書いたところは、γ(2,2)とした方がよい。
オイラー・レーマーの定数。
262(1): 02/06(木)10:15 ID:uN5yLsSS(2/3) AAS
>>257
やっぱ、単純に勘違いしてるな
同じ値に収束するのだから、同じ連分数展開を持つだろ
違う連分数展開を持つとか勝手に妄想するな
263: 02/06(木)10:16 ID:uN5yLsSS(3/3) AAS
１もそうだが乙も初歩レベルで勝手な思い込みして間違う
論理的思考が出来てない証拠
それじゃ大学１年で落ちこぼれる
264: 02/06(木)10:20 ID:pw4F6oIy(1) AAS
なまじ高校で数学の出来がいいと
自分勝手な推量でいけると自惚れて
論理に基づく推論を全く勉強せず
その結果、数学の教科書を全く読めなくなり
基本となる定理の証明も理解できずに
自分勝手に誤解して落ちこぼれる
大学にはそういう学生が沢山いる
省4
265(1): 02/06(木)10:25 ID:YqLfsVRy(22/31) AAS
>>262
>違う連分数展開を持つ
背理法でγが無限展開された正則連分数と仮定すると
矛盾が得られてγが有限展開された正則連分数であるから
γは有理数ということをいっている訳であって、
そんなこといっていない
266: 02/06(木)10:26 ID:rSvjqgTy(1/2) AAS
＞「特化した証明」という概念がないおっちゃんの問題点。
たぶんそれ以前の問題
大学１年レベルの実数論が全然わかってなさそう
そして当人がそのことを全然自覚してなさそう
自分は賢い！といいはる人は
実際には馬鹿だと認めるのを怖がってるが
そういう人に限って・・・残念ながら馬鹿である
省1
267(1): 02/06(木)10:27 ID:rSvjqgTy(2/2) AAS
>>265
> 背理法でγが無限展開された正則連分数と仮定すると矛盾が得られて
全く矛盾が得られないんだが・・・
268(1): 02/06(木)10:40 ID:YqLfsVRy(23/31) AAS
>>267
紙に書いて確認する前にレスしない方がいい
log(n＋a) を定義する a＞-n なる実数aは
任意の正の整数nに対して a＞−n を満たすから、
aが取り得る値の範囲は a＞−1 になる
269(1): 02/06(木)10:54 ID:aQgPt+EW(1/2) AAS
>>268
で？ そこから矛盾は全く出ないけど
君こそ論理に基づいて証明する前に書き込みしない方がいい
270: 02/06(木)10:59 ID:aQgPt+EW(2/2) AAS
１と乙が唯一違うのは
１はもっともらしい（けど実は間違ってる）ことを書くが
乙はうそくさい（かつやっぱり間違ってる）ことを書く点
271(2): 02/06(木)11:04 ID:YqLfsVRy(24/31) AAS
>>269
長い証明だからここに書かないだけ
272(1): 02/06(木)11:31 ID:SWnYLHJh(1/14) AAS
>>271
じゃ最初から書くなよｗ
余白ならいくらでもあるぞｗ
273(1): 02/06(木)11:34 ID:jALT4s+C(7/8) AAS
>>271
そうやって自分を甘やかしてると
馬鹿から永遠に抜け出せないよ
274(1): 02/06(木)11:37 ID:jALT4s+C(8/8) AAS
証明のアイデアが誤解に基づく場合
どういいつくろっても
正しくなりようがない
275: 02/06(木)11:52 ID:YqLfsVRy(25/31) AAS
>>272
余白は大事だな
>>273
>>274
バカで結構ですが
昔からバカと何とかは紙一重っていうからな
276(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/06(木)11:58 ID:kjKecCBk(1/3) AAS
おサルさん>>7-10の 本音・正体丸見えだね
おサルさん、数学科の１〜２年 で詰んで オチコボレさん
不遇な人生で、慰めのために、５ｃｈ天下の落書き 便所板で
必死に自分より下をさがしているんだね
ルサンチマン 丸出しｗ （＾＾
ja.wikipedia.org/wiki/%E3%83%AB%E3%82%B5%E3%83%B3%E3%83%81%E3%83%9E%E3%83%B3
277(1): 02/06(木)12:04 ID:SWnYLHJh(2/14) AAS
>>276
>>205の回答まだですか？
278: 02/06(木)12:11 ID:SWnYLHJh(3/14) AAS
矛盾が得られると言いながらその証明は書かないおっちゃん
好きな順番に整列できると言いながら実数の整列順序は書かないおサルさん
似た者同士で草
279: 02/06(木)13:49 ID:T3sAtJlJ(1/2) AAS
１ 国立大とかいいながら所詮工学部卒
乙 理科大応用数学科卒とかいいながら数学全然分かってない
某私大数学科卒（実質情報科学屋？）の某と三つ巴の泥仕合
280: 02/06(木)13:51 ID:T3sAtJlJ(2/2) AAS
１は
「任意の正方行列には逆行列がある 余因子行列を行列式で割ればいい」（ドヤァ）
と吠えた瞬間自爆
公式暗記馬鹿って哀れだな
281(1): 02/06(木)16:03 ID:jBYaMD3j(8/14) AAS
>>258の議論（mod 2バージョン）は、mod nバージョンに一般化できる。
mod 3の場合を書いてみよう。
γ(0,3):=lim_{n→+∞}(1/3＋1/6+…+1/(3n)-log(3n)/3)
γ(1,3):=lim_{n→+∞}(1+1/4+…+1/(3n+1)-log(3n+1)/3)
γ(2,3):=lim_{n→+∞}(1/2＋1/5+…+1/(3n+2)-log(3n+2)/3)
とおく。ω=exp(2πi/3)のとき
γ(0,3)+ωγ(1,3)+ω^2γ(2,3)=-log(1-ω)
省3
282(3): 02/06(木)16:05 ID:jBYaMD3j(9/14) AAS
従って、逆離散フーリエ変換から
γ(0,3)=1/3(γ-log(1-ω)-log(1-ω^2))
γ(1,3)=1/3(γ-ω^2log(1-ω)-ωlog(1-ω^2))
γ(2,3)=1/3(γ-ωlog(1-ω)-ω^2log(1-ω^2))
が得られる。ベーカーの定理の系1より
外部ﾘﾝｸ:ja.wikipedia.org
-log(1-ω)-log(1-ω^2), -ω^2log(1-ω)-ωlog(1-ω^2), -ωlog(1-ω)-ω^2log(1-ω^2)
省3
283(3): 02/06(木)16:06 ID:jBYaMD3j(10/14) AAS
以上の議論において、真に強力なのはベーカーの定理である。
その証明には精密な数論的議論を要する。
未解決問題であるγについての知見を得ることは
そのさらに向こう側にある事象であると言える。
284: とおりすがり 02/06(木)16:10 ID:DRS6TfJA(1/5) AAS
>1は「任意の正方行列には逆行列がある
余因子行列を行列式で割ればいい」
なるほど コピペ張りまくりは
小学生の割り算から落ちこぼれたんだね。
N大事件のもみ消し私物化爺さんに
すがりつきながら
285(2): 02/06(木)16:38 ID:jBYaMD3j(11/14) AAS
>>282の訂正 事由がおかしかった。正しくは
ベーカーの定理の系1より
代数的数a,bに対してalog(1-ω)+blog(1-ω^2)≠0ならば
alog(1-ω)+blog(1-ω^2)は超越数であることが分かるので
286(1): 02/06(木)17:05 ID:YqLfsVRy(26/31) AAS
>>281-283
>>285
オイラーの定数γの正則連分数にこだわり過ぎたのがよくないのだろうが、
それじゃ計算が煩雑になって余りやる気が起きなかったけどγの無理性の証明を試みてみようか
そうすれば、オイラーの定数γは代数的無理数ではないから、
周期Pと実数体の共通部分 P∩R 上で実解析を使って考えれば
γは周期に属さない超越数であることはいえる
省1
287(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/06(木)17:06 ID:kjKecCBk(2/3) AAS
>>247
(引用開始)
> 有限連分数展開される実数になる
なぜγが有限連分数展開されると妄想するのかわからん
>>258-260
γ(0,2)とγ(1,2)のうち、少なくとも一つは無理数（超越数）である。
なぜか？
省45
288(1): 02/06(木)17:16 ID:jBYaMD3j(12/14) AAS
>>286
懲りないおっちゃん。
何で世界中の天才をもってしても解けない未解決問題が
貴方に解けると思うんだ？
数学の勉強の動機がおかしいんだわ。
数年間まったく進歩がないのはそういうこと。
289: 02/06(木)17:21 ID:YqLfsVRy(27/31) AAS
>>288
こういうことは各個人の考え方の問題に過ぎない
290(1): 02/06(木)17:23 ID:jBYaMD3j(13/14) AAS
「小さな発見」でも、大きな喜びがある。
それが数学。「どんな小さなことでも分かることは嬉しい」
と永田雅宜も言ってますね。
そして、その喜びを感じてこなかったのが
「コピペバカ」である1と、「未解決問題を解く」
という「万馬券」でしかドーパミンが出なくなった
おっちゃん。
291(3): 02/06(木)17:31 ID:YqLfsVRy(28/31) AAS
>>290
私は代数ではなくどちらかというと解析の方に興味がある
概して、解析でする議論は解析数論の議論より遥かに複雑で、
解析の議論をすることは解析数論の議論をするときに役立つ
292: 02/06(木)17:44 ID:SWnYLHJh(4/14) AAS
>>287
>なにか 数学的に 厳密な主張になっているのかい？？ｗｗ ；ｐ）
「好きな順番に整列できる」が数学的に厳密な主張になっていると？
じゃあ実数の整列順序を提示して
293(1): 02/06(木)17:50 ID:jBYaMD3j(14/14) AAS
>>291
要するに、解析数論の本を読んでも理解できないから
「一般論」である解析学の本から始めてるだけでしょ。
解析数論は、「なんでこんなこと考えるんだ？」
という動機が分かりにくいからね。
sieve method（篩法）とか、circle method（円周法）
とかね。多分、分かったらめちゃくちゃ面白いはず。
省1
294(2): 02/06(木)17:59 ID:YqLfsVRy(29/31) AAS
>>293
同じ解析数論っていっても、素数と合成数の振る舞いを表す
ランダムウォークの奇跡の確率論による解析の結果とか他にも色々あるよ
295(1): 02/06(木)18:06 ID:aNn7qWpe(8/11) AAS
>>291 落ちこぼれの思い込みは大体嘘
296(1): 02/06(木)18:06 ID:aNn7qWpe(9/11) AAS
>>291 落ちこぼれの思い込みは大体嘘
297: 02/06(木)18:07 ID:aNn7qWpe(10/11) AAS
>>294 落ちこぼれが天才ぶるな 馬鹿
298(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/06(木)18:10 ID:kjKecCBk(3/3) AAS
>>277
>>205の回答まだですか？
うん？ >>205
(引用開始)
好きな順番で整列できるなら、実数全体の集合上の整列順序をあなたの好きなように作って示して下さい。
できるできる詐欺でないなら。
(引用終り)
省25
299(1): 02/06(木)18:10 ID:YqLfsVRy(30/31) AAS
>>295>>296
>>294は素数の分布と合成数の分布の関係を表すランダムウォークの確率論的結果
300(1): 02/06(木)18:25 ID:aNn7qWpe(11/11) AAS
>>298-299
大学１年の数学で落ちこぼれた馬鹿サル２匹はサル山に帰れよ
301: 02/06(木)18:28 ID:YqLfsVRy(31/31) AAS
>>300
既に知られていることを書いたに過ぎない
302(1): 02/06(木)18:59 ID:DRS6TfJA(2/5) AAS
既に知られていること
↓
「任意の正方行列には逆行列がある」の1は
コピペバカ
303(1): 02/06(木)19:04 ID:SWnYLHJh(5/14) AAS
>>298
>各区間の実数の整列は、整列可能定理で整列させる
え？？？ 整列定理使うの？ じゃ好きな順番で整列できないじゃん あなたは馬鹿なんですか？
>各区間の・・・その先頭部分は、各人が好きにしてよい
じゃ好きにしてみて 口でよいと言うんじゃなく実際にやってみてよ
ちなみに区間は無限個あるので先頭も無限個だけど好きにできるのね？ もしそうなら区間を考える意味とは？ Rから直接好きな順に選べばいいじゃん
ここまで酷いとは 大学一年4月で落ちこぼれた訳だわ
304: 02/06(木)19:25 ID:SWnYLHJh(6/14) AAS
>>298
つーか好きな順番に整列できるなら、通常の大小関係の小さい順に並べればいいじゃん。
しかしこれは整列順序ではない。実際部分集合(0,1]には通常の大小関係の最小値は存在しない。仮に最小値mが存在するとすると0<m/2<mで矛盾なので。
反例が存在するからあなたの持論「好きな順番に整列できる」が間違いであることが証明されますた。残念！
305(6): 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/06(木)20:29 ID:6JYRwlF9(1/2) AAS
＜公開処刑 続く＞
（『 ZF上で実数は どこまで定義可能なのか？』に向けて と
(あほ二人の”アナグマの姿焼き") に向けてｗｗ ；ｐ） rio2016.5ch.net/test/read.cgi/math/1736907570/”]
>>302-303
(引用開始)
>各区間の実数の整列は、整列可能定理で整列させる
え？？？ 整列定理使うの？ じゃ好きな順番で整列できないじゃん あなたは馬鹿なんですか？
省18
306: 02/06(木)20:37 ID:SWnYLHJh(7/14) AAS
>>305
>おサルさん、全然反論になってないんですが・・・ｗｗｗ ；ｐ）
実数全体の集合上の通常の大小関係は整列順序ではありませんよ？ これはあなたの持論「好きな順番で整列できる」の反例です。
これが分からないようじゃ大学一年4月に落ちこぼれるのも無理無いですね。
307: 02/06(木)20:42 ID:SWnYLHJh(8/14) AAS
>>305
>そもそも、「数学の公理とは？」が理解できていない！
まったくトンチンカン。
整列定理の主張は「任意の空でない集合上に整列順序が存在する」です。
「好きな順番で整列できる」なんて言ってません。あなたの独善妄想です。
308: 02/06(木)20:44 ID:SWnYLHJh(9/14) AAS
>>305
>>各区間の・・・その先頭部分は、各人が好きにしてよい
>じゃ好きにしてみて 口でよいと言うんじゃなく実際にやってみてよ
はスルーですか？ 間違いを認めますか？
309: 02/06(木)20:45 ID:SWnYLHJh(10/14) AAS
>>305
自分の間違いは認めず
>そもそも、「数学の公理とは？」が理解できていない！
と、言いがかりですか。 あなたはチンピラヤクザですか？
310: 02/06(木)20:48 ID:SWnYLHJh(11/14) AAS
>>305
>数学の公理とは？：人（＝人類）が、数学の理論を展開するためのルールです。
違います。公理とは証明無しで真と認める命題です。
高校数学からやり直した方が良いのでは？
311: 02/06(木)21:00 ID:SWnYLHJh(12/14) AAS
>>305
おサルさんの持論「好きな順番で整列できる」が間違ってることは明白なのに頑なに認めようとせず猿知恵の言い訳に終始する。
だからサルと言われる。
人間扱いされたいなら間違いを認めることから始めては？
312(1): 02/06(木)21:42 ID:DRS6TfJA(3/5) AAS
既に知られていること
↓
「任意の正方行列には逆行列がある」の1は
コピペバカ
313(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/06(木)22:09 ID:6JYRwlF9(2/2) AAS
>>312
＜公開処刑 続く＞
（『 ZF上で実数は どこまで定義可能なのか？』に向けて と
(あほ二人の”アナグマの姿焼き") に向けてｗｗ ；ｐ） rio2016.5ch.net/test/read.cgi/math/1736907570/”]
>「任意の正方行列には逆行列がある」の1は
あほサルが、まだいうかｗ >>7-10
いま、英語圏では Invertible matrix だ（下記）
省16
314: 02/06(木)22:31 ID:DRS6TfJA(4/5) AAS
既に知られていること
↓
「任意の正方行列には逆行列がある」の
1=通称setaはコピペバカ
315: 02/06(木)22:42 ID:DRS6TfJA(5/5) AAS
>語感から
w
316: 02/06(木)22:52 ID:SWnYLHJh(13/14) AAS
>>298
>３）また、各区間・・・の先頭部分は、各人が好きにしてよい
> 例えば、[2,3)で 先頭をe (対数の底)にするとか
> 例えば、[3,4)で 先頭をπ(円周率)にするとか
実は選択公理無しで各区間[n,n+1)の元を選ぶことはできる。例えばn、n+π/6など。すなわち構成可能な選択関数は存在する。
しかし任意の選択関数を構成できるという主張は間違い。
317: 02/06(木)23:06 ID:SWnYLHJh(14/14) AAS
>>313
各国wikipediaを持ち出したところで君の持論
「任意の正方行列には逆行列がある」
はひとつも正当化されないんだが、頭だいじょうぶかい？
318(1): 02/07(金)05:03 ID:lSTbv6lI(1/7) AAS
正方行列と正則行列の違いが判らん奴に
大学数学が判るわけない
極限の存在とコーシー列の定義の違いが判らん奴に
大学数学が判るわけない
319: 02/07(金)05:40 ID:lSTbv6lI(2/7) AAS
極限 ∀ε>0.∃n0∈N s.t. ∀n∈N [n>=n0 ⇒|an− α|<ε]
コーシー列 ∀ε>0.∃n0∈N s.t. ∀n,m∈N[n,m>=n0⇒|an−am|<ε]
有理コーシー列は有理数の極限を持つとは限らないが
実コーシー列は実数の極限を必ず持つ
これが実数の連続性（完備性）な
大学１年前期でこれわかんないやつは大学やめたほうがいい
320(1): 02/07(金)06:55 ID:QK9K1Eig(1/5) AAS
そういうことを問題にする理由がわからない
321: 02/07(金)07:41 ID:9wplQwBx(1) AAS
>>320
もちろんわかってる人にはただの常識
しかしわかってない人がこれをハナクソ扱いすると次から次へと間違う
名誉教授ならいくらでも実例を目にしている筈だが
馬鹿は教育しても無駄と放置したのか？
それは教授失格だな
322(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/07(金)07:47 ID:G94wYDfA(1) AAS
>>313-320
>そういうことを問題にする理由がわからない
ID:QK9K1Eig は、御大か
朝の巡回ご苦労さまです
思いますに
彼は、小学校で遠山先生の数学入門 （多分上下とも。下記 試し読みあり）
を読んで、微積まで分ったと、舞い上がって
省23
323: 02/07(金)07:55 ID:wo6EbCKN(1) AAS
>>322
> 思いますに
それ↓は◆yH25M02vWFhP、君だろ
「彼は、●学校で、微積まで分ったと、舞い上がって
で、京大数学科を目指したがさすがに無理で
し・か・た・な・く、阪大工学部●●工学科へ入った
そこで、高校までの計算術としての数学と全く違う
省4
324: 02/07(金)08:10 ID:hnk55qE8(1) AAS
>>322
>”Reguläre Matrix”とした 当時の数学者の考えは分りますが、
>線形代数が大衆化して、かつ、抽象化していった結果
>「落馬とは、馬から落ちること」と教えた方が、
>手っ取り早いってことでしょうね 米仏の考えはｗ
なにわけわかんないこといってんだこいつｗ
正方行列が逆行列をもつか否か判定する条件は
省13
325(1): 02/07(金)08:39 ID:QK9K1Eig(2/5) AAS
>なぜこの条件で逆行列が存在するのかは
>●●には分からんだろう
このこだわりがわからない
326: 02/07(金)09:01 ID:hhR3PJQl(1) AAS
>>325
名誉教授 数学がわからない？
327: 02/07(金)09:07 ID:QK9K1Eig(3/5) AAS
名誉教授でなくてもわからないのが数学
328(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/07(金)10:43 ID:2sO/8ukw(1/6) AAS
>>313 補足
>「Invertible matrix は、逆行列を持つ」 語感から言えば、同義反復だが 分かり易い ；ｐ）
これ 分かり易いが、すぐ ”逆行列を持たない行列とは？”が問題になる
それは、下記の通り零因子行列である （簡単に言えば、その行列式が0になる行列だ）
数学科修士卒を、標榜しながら これ（零因子）が分からないアホが、騒いでいた （＾＾
その顛末は、テンプレの>>8にまとめておいたｗ ；ｐ）
(参考)
省23
329: 02/07(金)11:42 ID:Q/S64BiQ(1/13) AAS
>>322
>思いますに
妄想語られても
330: 02/07(金)11:54 ID:QK9K1Eig(4/5) AAS
わからない
331: 02/07(金)11:59 ID:Q/S64BiQ(2/13) AAS
死ねば？
332: 02/07(金)12:06 ID:QK9K1Eig(5/5) AAS
それが一番わからない
333: 02/07(金)12:49 ID:Q/S64BiQ(3/13) AAS
目障りだから消えて
334: 02/07(金)12:59 ID:qLWxTmGf(1) AAS
零因子しか分からん高卒馬鹿
碁でも打ってな
335(2): 02/07(金)13:19 ID:Q/S64BiQ(4/13) AAS
>>328
君の持論「任意の正方行列には逆行列がある」には零因子行列という反例が存在するんだから間違いじゃん
なんで間違いを認めないの？
336(1): 02/07(金)14:31 ID:TEWmU4mL(1) AAS
>>335
>なんで間違いを認めないの？
誰にもマウントできなくなるからじゃね？
他人にマウントすることだけが唯一の生きがいの関西エテ公だから
337(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 02/07(金)15:47 ID:2sO/8ukw(2/6) AAS
>>335-336
話は逆だろ？
あほサル>>7-10のヤクザ因縁だろ？ｗ ；ｐ）
例えばテンプレ>>10がその典型で
列 {}∈{{}}∈{{{}}}∈{{{{}}}}∈・・・で
Thomas Jechの 証明 >>47のように
順序数の付番をして 順序数との対と考えて
省15
338: 02/07(金)16:19 ID:Q/S64BiQ(5/13) AAS
>>337
>話は逆だろ？
間違いは間違い。逆もクソも無い。
>{}∈{{}}∈{{{}}}∈{{{{}}}}∈・・・
これは正しい。
しかし∈は順序関係ではない。なぜなら{}∈{{{}}}は偽であり推移律を満たさないから。
{}<{{}}<{{{}}}<{{{{}}}}<・・・
省3
339(2): 02/07(金)16:24 ID:Q/S64BiQ(6/13) AAS
>>337
{}∈{{{}}}は偽である Y/N
答えられる？
上下前次1-新書関写板覧索設栞歴
あと 663 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.035s