[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ13 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
234: 02/06(木)08:38 ID:Mg9AvqPP(2/5) AAS
>>232
> オイラーの定数γが有理数であることから1つの定理が得られる可能性がある
「１つの（ウソ）定理」を導きたいために
「オイラーの定数γが有理数」というウソをでっちあげたい●違い
それが乙
235: 02/06(木)08:40 ID:YqLfsVRy(12/31) AAS
>>233
長く精密な解析に基づいた結果を書いただけ
236(1): 02/06(木)08:44 ID:Mg9AvqPP(3/5) AAS
誤 長く精密な解析に基づいた結果を書いただけ
正 長く粗雑な思考をこねくり回した結果を書いただけ
乙の思考が精密だった試しはない
大学１年の微分積分学で不可をもらう劣等生レベル
不等式に関する推論も正しくできない
実数の連続性とかコーシー列とか
おそらく全然理解してないだろう
237(1): 02/06(木)08:45 ID:YqLfsVRy(13/31) AAS
そもそも、γが無理数であるなら、普通に背理法で
任意に a＞-1 なる実数を取ると得られるオイラーの定数γに関する極限
γ＝lim_{n→+∞}(1＋…＋1/n−log(n＋a))
について、γに収束する実数列 {a_n} の第n項 a_n を
a_n＝1＋…＋1/n−log(n＋a)
としたとき、aの取り方によって実数列 {a_n} は
γに収束する単調減少列かγに収束する単調増加列
省2
238(1): 02/06(木)08:47 ID:YqLfsVRy(14/31) AAS
>>236
打ち間違いはあるけど、十分精密な解析だよ
239(1): 02/06(木)08:48 ID:Mg9AvqPP(4/5) AAS
どうせ、
「γの連分数展開が無限につづくわけがない」
という思い込みによる誤りだろう
「無限につづくとすると矛盾する」
という判断が初歩レベルの誤解の可能性大
１同様乙も 大学１年レベルの数学が理解できてない
１は正方行列が正則行列だとぬかして大恥かいた
省1
240: 02/06(木)08:49 ID:Mg9AvqPP(5/5) AAS
>>238
> 十分精密な解析だよ
乙の自己評価はウソだらけなので誰も信用しない
だいたい正常な人は自ら精密とか発言しない
241(1): 02/06(木)08:53 ID:YqLfsVRy(15/31) AAS
>>239
>「無限につづくとすると矛盾する」
>という判断が初歩レベルの誤解の可能性大
そういう無限に続く筈の極限が有限時間で停止するのが或る種の病的な現象なのだろう
242(1): 02/06(木)08:55 ID:uN5yLsSS(1/3) AAS
>>241
> 無限に続く筈の極限が有限時間で停止する
この発言が意味不明
「有限時間」とは何か
唐突に時間という言葉を持ち出すのが
いかなる意味でも病的
243(1): 02/06(木)08:57 ID:jALT4s+C(1/8) AAS
もし
lim_{n→+∞}(1＋…＋1/n)＝∞
lim_{n→+∞}log(n)＝∞
なのに
lim_{n→+∞}(1＋…＋1/n−log(n))＝γ
なのが病的というなら
そもそもその感覚が稚拙
244(1): 02/06(木)09:00 ID:YqLfsVRy(16/31) AAS
>>242
無限に続く極限が有限連分数展開される実数になるという現象が病的なのだろう
245: 02/06(木)09:02 ID:jALT4s+C(2/8) AAS
乙は任意のa>-1について
γ＝lim_{n→+∞}(1＋…＋1/n−log(n＋a))
となるのが病的というが、
そもそも
lim_{n→+∞}(log(n+a)ｰlog(n))
＝lim_{n→+∞}(log((n+a)/n))
＝lim_{n→+∞}(log(1+a/n))
省5
246(1): 02/06(木)09:02 ID:YqLfsVRy(17/31) AAS
>>243
γの極限表示の方法は非可算無限通りある
247(2): 02/06(木)09:03 ID:jALT4s+C(3/8) AAS
>>244
> 有限連分数展開される実数になる
なぜγが有限連分数展開されると妄想するのかわからん
248: 02/06(木)09:05 ID:jALT4s+C(4/8) AAS
>>246
> γの極限表示の方法は非可算無限通りある
でも同じ実数値だから何の問題もない
249: 02/06(木)09:06 ID:TvbkU+uU(1) AAS
何についての話なのかが分からない
250: 02/06(木)09:07 ID:jALT4s+C(5/8) AAS
乙が何を勘違いしたかわかったよ
任意のa>-1について
γ＝lim_{n→+∞}(1＋…＋1/n−log(n＋a))
となるから、無限連分数展開が一意化されない
と「誤解」したんだな
🌳違いの疑いは晴れたが、そのかわり正真正銘の🐎🦌と証明された
251: 02/06(木)09:08 ID:YqLfsVRy(18/31) AAS
>>247
単なる妄想ではない
実数直線R上至る所で連続だが微分不可能な関数の存在性とかあるだろう
そういう病的な現象と同じ
252(1): 02/06(木)09:09 ID:jALT4s+C(6/8) AAS
１「正方行列なら正則行列」
乙「違う数列は違う極限をもつ」
んなわけなかろうが🐎🦌ｗ
253(1): 02/06(木)09:13 ID:YqLfsVRy(19/31) AAS
>>252
>違う数列は違う極限をもつ
そんなこといっていない
254(1): 02/06(木)09:20 ID:ms+h3RwS(1) AAS
>>253
ではどんなことをいってる？
255(1): 02/06(木)09:23 ID:YqLfsVRy(20/31) AAS
>>254
一回書いたが分からないようなので、
悪いが相手するのが面倒臭くなって来た
256(1): 02/06(木)09:29 ID:QnD62ATK(1) AAS
>>255 どこに書いたか番号示してくれる？
257(1): 02/06(木)09:34 ID:YqLfsVRy(21/31) AAS
>>256
>>214と>>237を組合せて読めば要旨は分かるようになっている
258(4): 02/06(木)09:54 ID:jBYaMD3j(4/14) AAS
γ(0,2):=lim_{n→+∞}(1/2+1/4+…+1/(2n)-log(2n)/2)
γ(1,2):=lim_{n→+∞}(1＋1/3+…+1/(2n+1)-log(2n+1)/2)
とおくと、γ(0,2)とγ(1,2)のうち、少なくとも一つは無理数（超越数）である。
なぜか？
γ(0,2)-γ(1,2)=log(2) が無理数（超越数）だから
γ(0,2)とγ(1,2)の両方が有理数（代数的数）であることはありえない。
ちなみに、γ(0,2)+γ(1,2)=γである。
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はコピペバカ
上下前次1-新書関写板覧索設栞歴
あと 688 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.030s