[過去ログ]
ガロア第一論文と乗数イデアル他関連資料スレ13 (1002レス)
ガロア第一論文と乗数イデアル他関連資料スレ13 http://rio2016.5ch.net/test/read.cgi/math/1738367013/
上
下
前
次
1-
新
通常表示
512バイト分割
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
259: 132人目の素数さん [sage] 2025/02/06(木) 09:55:25.12 ID:jBYaMD3j 「特化した証明」という概念がないおっちゃんの問題点。 おっちゃんは、γが有理数であることを「証明した」と言うのだが もし、同じ論理で上記のγ(0,2),γ(1,2)が「共に有理数」 であることが「証明」されれば、それはその「証明」が 誤りであることを明確に示している。 つまり、おっちゃんの「腐った証明」に付き合うことなく 誤りであることが分かるというわけ。 http://rio2016.5ch.net/test/read.cgi/math/1738367013/259
260: 132人目の素数さん [sage] 2025/02/06(木) 10:02:29.70 ID:jBYaMD3j 訂正>>258 >γ(0,2)-γ(1,2)=log(2) 正しくは γ(0,2)-γ(1,2)=-log(2) または γ(1,2)-γ(0,2)=log(2) http://rio2016.5ch.net/test/read.cgi/math/1738367013/260
261: 132人目の素数さん [sage] 2025/02/06(木) 10:11:50.48 ID:jBYaMD3j >>258の記号で >γ(0,2) と書いたところは、γ(2,2)とした方がよい。 オイラー・レーマーの定数。 http://rio2016.5ch.net/test/read.cgi/math/1738367013/261
262: 132人目の素数さん [] 2025/02/06(木) 10:15:10.17 ID:uN5yLsSS >>257 やっぱ、単純に勘違いしてるな 同じ値に収束するのだから、同じ連分数展開を持つだろ 違う連分数展開を持つとか勝手に妄想するな http://rio2016.5ch.net/test/read.cgi/math/1738367013/262
263: 132人目の素数さん [] 2025/02/06(木) 10:16:32.21 ID:uN5yLsSS 1もそうだが乙も初歩レベルで勝手な思い込みして間違う 論理的思考が出来てない証拠 それじゃ大学1年で落ちこぼれる http://rio2016.5ch.net/test/read.cgi/math/1738367013/263
264: 132人目の素数さん [] 2025/02/06(木) 10:20:10.70 ID:pw4F6oIy なまじ高校で数学の出来がいいと 自分勝手な推量でいけると自惚れて 論理に基づく推論を全く勉強せず その結果、数学の教科書を全く読めなくなり 基本となる定理の証明も理解できずに 自分勝手に誤解して落ちこぼれる 大学にはそういう学生が沢山いる 工学部はそんな連中の吹き溜まり 「おれは理系だから数学は得意」とかいってても 初歩レベルで間違ったこというのはザラ いちいち訂正したら角が立つからいわないけどね http://rio2016.5ch.net/test/read.cgi/math/1738367013/264
265: 132人目の素数さん [sage] 2025/02/06(木) 10:25:30.66 ID:YqLfsVRy >>262 >違う連分数展開を持つ 背理法でγが無限展開された正則連分数と仮定すると 矛盾が得られてγが有限展開された正則連分数であるから γは有理数ということをいっている訳であって、 そんなこといっていない http://rio2016.5ch.net/test/read.cgi/math/1738367013/265
266: 132人目の素数さん [] 2025/02/06(木) 10:26:26.50 ID:rSvjqgTy >「特化した証明」という概念がないおっちゃんの問題点。 たぶんそれ以前の問題 大学1年レベルの実数論が全然わかってなさそう そして当人がそのことを全然自覚してなさそう 自分は賢い!といいはる人は 実際には馬鹿だと認めるのを怖がってるが そういう人に限って・・・残念ながら馬鹿である まあ、馬鹿はそこら中にいるので別に恥ずかしくないのだが・・・ http://rio2016.5ch.net/test/read.cgi/math/1738367013/266
267: 132人目の素数さん [] 2025/02/06(木) 10:27:35.99 ID:rSvjqgTy >>265 > 背理法でγが無限展開された正則連分数と仮定すると矛盾が得られて 全く矛盾が得られないんだが・・・ http://rio2016.5ch.net/test/read.cgi/math/1738367013/267
268: 132人目の素数さん [sage] 2025/02/06(木) 10:40:47.00 ID:YqLfsVRy >>267 紙に書いて確認する前にレスしない方がいい log(n+a) を定義する a>-n なる実数aは 任意の正の整数nに対して a>−n を満たすから、 aが取り得る値の範囲は a>−1 になる http://rio2016.5ch.net/test/read.cgi/math/1738367013/268
269: 132人目の素数さん [] 2025/02/06(木) 10:54:11.05 ID:aQgPt+EW >>268 で? そこから矛盾は全く出ないけど 君こそ論理に基づいて証明する前に書き込みしない方がいい http://rio2016.5ch.net/test/read.cgi/math/1738367013/269
270: 132人目の素数さん [] 2025/02/06(木) 10:59:15.57 ID:aQgPt+EW 1と乙が唯一違うのは 1はもっともらしい(けど実は間違ってる)ことを書くが 乙はうそくさい(かつやっぱり間違ってる)ことを書く点 http://rio2016.5ch.net/test/read.cgi/math/1738367013/270
271: 132人目の素数さん [sage] 2025/02/06(木) 11:04:49.56 ID:YqLfsVRy >>269 長い証明だからここに書かないだけ http://rio2016.5ch.net/test/read.cgi/math/1738367013/271
272: 132人目の素数さん [] 2025/02/06(木) 11:31:12.44 ID:SWnYLHJh >>271 じゃ最初から書くなよw 余白ならいくらでもあるぞw http://rio2016.5ch.net/test/read.cgi/math/1738367013/272
273: 132人目の素数さん [] 2025/02/06(木) 11:34:49.50 ID:jALT4s+C >>271 そうやって自分を甘やかしてると 馬鹿から永遠に抜け出せないよ http://rio2016.5ch.net/test/read.cgi/math/1738367013/273
274: 132人目の素数さん [] 2025/02/06(木) 11:37:34.54 ID:jALT4s+C 証明のアイデアが誤解に基づく場合 どういいつくろっても 正しくなりようがない http://rio2016.5ch.net/test/read.cgi/math/1738367013/274
275: 132人目の素数さん [sage] 2025/02/06(木) 11:52:34.64 ID:YqLfsVRy >>272 余白は大事だな >>273 >>274 バカで結構ですが 昔からバカと何とかは紙一重っていうからな http://rio2016.5ch.net/test/read.cgi/math/1738367013/275
276: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/02/06(木) 11:58:40.59 ID:kjKecCBk おサルさん>>7-10の 本音・正体丸見えだね おサルさん、数学科の1〜2年 で詰んで オチコボレさん 不遇な人生で、慰めのために、5ch天下の落書き 便所板で 必死に自分より下をさがしているんだね ルサンチマン 丸出しw (^^ ja.wikipedia.org/wiki/%E3%83%AB%E3%82%B5%E3%83%B3%E3%83%81%E3%83%9E%E3%83%B3 http://rio2016.5ch.net/test/read.cgi/math/1738367013/276
277: 132人目の素数さん [] 2025/02/06(木) 12:04:36.63 ID:SWnYLHJh >>276 >>205の回答まだですか? http://rio2016.5ch.net/test/read.cgi/math/1738367013/277
278: 132人目の素数さん [] 2025/02/06(木) 12:11:35.65 ID:SWnYLHJh 矛盾が得られると言いながらその証明は書かないおっちゃん 好きな順番に整列できると言いながら実数の整列順序は書かないおサルさん 似た者同士で草 http://rio2016.5ch.net/test/read.cgi/math/1738367013/278
279: 132人目の素数さん [] 2025/02/06(木) 13:49:47.77 ID:T3sAtJlJ 1 国立大とかいいながら所詮工学部卒 乙 理科大応用数学科卒とかいいながら数学全然分かってない 某私大数学科卒(実質情報科学屋?)の某と三つ巴の泥仕合 http://rio2016.5ch.net/test/read.cgi/math/1738367013/279
280: 132人目の素数さん [] 2025/02/06(木) 13:51:41.01 ID:T3sAtJlJ 1は 「任意の正方行列には逆行列がある 余因子行列を行列式で割ればいい」(ドヤァ) と吠えた瞬間自爆 公式暗記馬鹿って哀れだな http://rio2016.5ch.net/test/read.cgi/math/1738367013/280
281: 132人目の素数さん [sage] 2025/02/06(木) 16:03:55.89 ID:jBYaMD3j >>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-ω) γ(0,3)+ω^2γ(1,3)+ωγ(2,3)=-log(1-ω^2) γ(0,3)+γ(1,3)+γ(2,3)=γ が成立する。これは離散フーリエ変換であることに気づくだろう。 http://rio2016.5ch.net/test/read.cgi/math/1738367013/281
282: 132人目の素数さん [sage] 2025/02/06(木) 16:05:04.15 ID:jBYaMD3j 従って、逆離散フーリエ変換から γ(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より https://ja.wikipedia.org/wiki/%E3%83%99%E3%82%A4%E3%82%AB%E3%83%BC%E3%81%AE%E5%AE%9A%E7%90%86 -log(1-ω)-log(1-ω^2), -ω^2log(1-ω)-ωlog(1-ω^2), -ωlog(1-ω)-ω^2log(1-ω^2) はいずれも超越数であることが分かるので γ(0,3), γ(1,3),γ(2,3)の中で、代数的数は高々1個しかない (少なくとも2個は超越数である)ことが言える。 http://rio2016.5ch.net/test/read.cgi/math/1738367013/282
283: 132人目の素数さん [sage] 2025/02/06(木) 16:06:38.80 ID:jBYaMD3j 以上の議論において、真に強力なのはベーカーの定理である。 その証明には精密な数論的議論を要する。 未解決問題であるγについての知見を得ることは そのさらに向こう側にある事象であると言える。 http://rio2016.5ch.net/test/read.cgi/math/1738367013/283
284: とおりすがり [] 2025/02/06(木) 16:10:14.34 ID:DRS6TfJA >1は「任意の正方行列には逆行列がある 余因子行列を行列式で割ればいい」 なるほど コピペ張りまくりは 小学生の割り算から落ちこぼれたんだね。 N大事件のもみ消し私物化爺さんに すがりつきながら http://rio2016.5ch.net/test/read.cgi/math/1738367013/284
285: 132人目の素数さん [sage] 2025/02/06(木) 16:38:21.67 ID:jBYaMD3j >>282の訂正 事由がおかしかった。正しくは ベーカーの定理の系1より 代数的数a,bに対してalog(1-ω)+blog(1-ω^2)≠0ならば alog(1-ω)+blog(1-ω^2)は超越数であることが分かるので http://rio2016.5ch.net/test/read.cgi/math/1738367013/285
286: 132人目の素数さん [sage] 2025/02/06(木) 17:05:16.87 ID:YqLfsVRy >>281-283 >>285 オイラーの定数γの正則連分数にこだわり過ぎたのがよくないのだろうが、 それじゃ計算が煩雑になって余りやる気が起きなかったけどγの無理性の証明を試みてみようか そうすれば、オイラーの定数γは代数的無理数ではないから、 周期Pと実数体の共通部分 P∩R 上で実解析を使って考えれば γは周期に属さない超越数であることはいえる 大体、事象って何だよw http://rio2016.5ch.net/test/read.cgi/math/1738367013/286
287: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/02/06(木) 17:06:42.35 ID:kjKecCBk >>247 (引用開始) > 有限連分数展開される実数になる なぜγが有限連分数展開されると妄想するのかわからん >>258-260 γ(0,2)とγ(1,2)のうち、少なくとも一つは無理数(超越数)である。 なぜか? γ(0,2)-γ(1,2)=log(2) が無理数(超越数)だから γ(0,2)とγ(1,2)の両方が有理数(代数的数)であることはありえない。 ちなみに、γ(0,2)+γ(1,2)=γである。 訂正>>258 >γ(0,2)-γ(1,2)=log(2) 正しくは γ(0,2)-γ(1,2)=-log(2) または γ(1,2)-γ(0,2)=log(2) >>258の記号で >γ(0,2) と書いたところは、γ(2,2)とした方がよい。 オイラー・レーマーの定数。 (引用終り) おサルさん、さー、 君のカキコって、気持ちは分かるけど なにか 数学的に 厳密な主張になっているのかい??ww ;p) 1)まず、オイラー定数γは、有理数かどうか不明だから もし、有理数ならば、『有限連分数展開される』は成り立つよ? 何を言いたいの? 2)次に、”オイラー・レーマーの定数”は、面白いが下記だな γ + x (x∈R) が 何か 無理数であることが証明されたとして 確かに、γ と x の どちらかが、無理数で 両方有理数はない しかし、x が 無理数ならば γの有理性は 否定できないよ■ (参考)(海賊版なのでURL略) ENCYCLOPEDIA OF MATHEMATICS AND ITS APPLICATIONS Mathematical Constants STEVEN R. FINCH First published 2003 1.5 Euler–MascheroniConstant,γ 28 1.5.1 SeriesandProducts 30 1.5.2 Integrals 31 1.5.3 GeneralizedEulerConstants 32 P32 Briggs[105] and Lehmer[106] studied the analog of γ corresponding to the arithmetic progression a,a+b,a+2b,a+3b,...: γa,b= lim n→∞ 0<k≤n k≡amodb 1 k−1 b ln(n) . (文字化けあるが直さないので原文ご参照) For example, γ0,b=(γ−ln(b))/b, Σ a=0〜b−1 γa,b =γ,and γ1,3=1/3γ+ √3/18π+1/6 ln(3), γ1,4=1/4γ+1/8π+1/4 ln(2). [105] W. E. Briggs, The irrationality of γ or of sets of similar constants, Norske Vid. Selsk. Forh. (Trondheim) 34 (1961) 25–28; MR 25 #3011. https://www.utgjiu.ro/math/sma/ Surveys in Mathematics and its Applications is a free electronic journal. It is open to all mathematical fields (including Statistics and mathematical applications to Computer Science, Economics, Physics or Engineering). https://www.utgjiu.ro/math/sma/v16/p16_15.pdf Surveys in Mathematics and its Applications ISSN 1842-6298 (electronic), Volume 16 (2021), 259– 274 ON AGENERALIZATION OF EULER’S CONSTANT Stephen Kaczkowski P260 Anotherprominentgeneralizationofγwhichcanberelatedtoγ(a)istheEulerLehmerconstants[17]givenby γ(a,q)= lim n→∞ n ? 0<k≤n k≡amodq [1 k− ln(n) q ] , (1.4) where aandq are integers satisfying0<a≤q. http://rio2016.5ch.net/test/read.cgi/math/1738367013/287
288: 132人目の素数さん [sage] 2025/02/06(木) 17:16:59.80 ID:jBYaMD3j >>286 懲りないおっちゃん。 何で世界中の天才をもってしても解けない未解決問題が 貴方に解けると思うんだ? 数学の勉強の動機がおかしいんだわ。 数年間まったく進歩がないのはそういうこと。 http://rio2016.5ch.net/test/read.cgi/math/1738367013/288
289: 132人目の素数さん [sage] 2025/02/06(木) 17:21:15.23 ID:YqLfsVRy >>288 こういうことは各個人の考え方の問題に過ぎない http://rio2016.5ch.net/test/read.cgi/math/1738367013/289
290: 132人目の素数さん [sage] 2025/02/06(木) 17:23:02.89 ID:jBYaMD3j 「小さな発見」でも、大きな喜びがある。 それが数学。「どんな小さなことでも分かることは嬉しい」 と永田雅宜も言ってますね。 そして、その喜びを感じてこなかったのが 「コピペバカ」である1と、「未解決問題を解く」 という「万馬券」でしかドーパミンが出なくなった おっちゃん。 http://rio2016.5ch.net/test/read.cgi/math/1738367013/290
291: 132人目の素数さん [sage] 2025/02/06(木) 17:31:15.79 ID:YqLfsVRy >>290 私は代数ではなくどちらかというと解析の方に興味がある 概して、解析でする議論は解析数論の議論より遥かに複雑で、 解析の議論をすることは解析数論の議論をするときに役立つ http://rio2016.5ch.net/test/read.cgi/math/1738367013/291
292: 132人目の素数さん [] 2025/02/06(木) 17:44:31.62 ID:SWnYLHJh >>287 >なにか 数学的に 厳密な主張になっているのかい??ww ;p) 「好きな順番に整列できる」が数学的に厳密な主張になっていると? じゃあ実数の整列順序を提示して http://rio2016.5ch.net/test/read.cgi/math/1738367013/292
293: 132人目の素数さん [sage] 2025/02/06(木) 17:50:34.12 ID:jBYaMD3j >>291 要するに、解析数論の本を読んでも理解できないから 「一般論」である解析学の本から始めてるだけでしょ。 解析数論は、「なんでこんなこと考えるんだ?」 という動機が分かりにくいからね。 sieve method(篩法)とか、circle method(円周法) とかね。多分、分かったらめちゃくちゃ面白いはず。 分からないというのは、悲しいねぇw http://rio2016.5ch.net/test/read.cgi/math/1738367013/293
294: 132人目の素数さん [sage] 2025/02/06(木) 17:59:26.45 ID:YqLfsVRy >>293 同じ解析数論っていっても、素数と合成数の振る舞いを表す ランダムウォークの奇跡の確率論による解析の結果とか他にも色々あるよ http://rio2016.5ch.net/test/read.cgi/math/1738367013/294
295: 132人目の素数さん [] 2025/02/06(木) 18:06:17.75 ID:aNn7qWpe >>291 落ちこぼれの思い込みは大体嘘 http://rio2016.5ch.net/test/read.cgi/math/1738367013/295
296: 132人目の素数さん [] 2025/02/06(木) 18:06:18.61 ID:aNn7qWpe >>291 落ちこぼれの思い込みは大体嘘 http://rio2016.5ch.net/test/read.cgi/math/1738367013/296
297: 132人目の素数さん [] 2025/02/06(木) 18:07:07.52 ID:aNn7qWpe >>294 落ちこぼれが天才ぶるな 馬鹿 http://rio2016.5ch.net/test/read.cgi/math/1738367013/297
298: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/02/06(木) 18:10:24.37 ID:kjKecCBk >>277 >>205の回答まだですか? うん? >>205 (引用開始) 好きな順番で整列できるなら、実数全体の集合上の整列順序をあなたの好きなように作って示して下さい。 できるできる詐欺でないなら。 (引用終り) これか? 1)いま、簡単に実数Rのプラス側のみを考える 半開区間を、[0,1), [1,2), [2,3), ・・、[n,n+1),[n+1,n+2),・・・ を設ける。[n,n+1)内を、整列可能定理で整列させる そして 区間 [0,1), [1,2), [2,3), ・・、[n,n+1),[n+1,n+2),・・・ を無限シャッフルし、並び替える 例えば [3,4), [2,3), [5,6),・・・など もし、各区間の実数並びが 他の区間と同じ(類似?)であっても その順列組み合わせは lim n→∞ n! 通りになる 2)いま、0<ε<1 なる実数を取る。有理数とは限らないとする 上記同様に [0,ε), [ε,2ε), [2ε,3ε), ・・、[nε,(n+1(ε),[(n+1)ε,(n+2)ε),・・・ のように、区間分割できる 1)と同様にシャッフルする。εによる区間分割の集合は可算濃度だが、ε自身は連続濃度 3)また、各区間の実数の整列は、整列可能定理で整列させるが その先頭部分は、各人が好きにしてよい 例えば、[2,3)で 先頭をe (対数の底)にするとか 例えば、[3,4)で 先頭をπ(円周率)にするとか <まとめ> ・公理なので、その公理や 他の数学の命題に抵触しない限り 人の意思が入っていいのです! (そうでなければ、人が自由に数学を展開できないでしょ? そんなの常識だろ?) ・ただ、今の人類の数学で、人の意思と知恵が、実数を 任意に整列できるレベルに達していないならば その部分については、整列可能定理の整列の存在だけで我慢するしかない!■ そういうことでしょ? (^^ http://rio2016.5ch.net/test/read.cgi/math/1738367013/298
299: 132人目の素数さん [sage] 2025/02/06(木) 18:10:56.50 ID:YqLfsVRy >>295>>296 >>294は素数の分布と合成数の分布の関係を表すランダムウォークの確率論的結果 http://rio2016.5ch.net/test/read.cgi/math/1738367013/299
300: 132人目の素数さん [] 2025/02/06(木) 18:25:14.06 ID:aNn7qWpe >>298-299 大学1年の数学で落ちこぼれた馬鹿サル2匹はサル山に帰れよ http://rio2016.5ch.net/test/read.cgi/math/1738367013/300
301: 132人目の素数さん [sage] 2025/02/06(木) 18:28:49.73 ID:YqLfsVRy >>300 既に知られていることを書いたに過ぎない http://rio2016.5ch.net/test/read.cgi/math/1738367013/301
302: 132人目の素数さん [] 2025/02/06(木) 18:59:42.50 ID:DRS6TfJA 既に知られていること ↓ 「任意の正方行列には逆行列がある」の1は コピペバカ http://rio2016.5ch.net/test/read.cgi/math/1738367013/302
303: 132人目の素数さん [] 2025/02/06(木) 19:04:39.50 ID:SWnYLHJh >>298 >各区間の実数の整列は、整列可能定理で整列させる え??? 整列定理使うの? じゃ好きな順番で整列できないじゃん あなたは馬鹿なんですか? >各区間の・・・その先頭部分は、各人が好きにしてよい じゃ好きにしてみて 口でよいと言うんじゃなく実際にやってみてよ ちなみに区間は無限個あるので先頭も無限個だけど好きにできるのね? もしそうなら区間を考える意味とは? Rから直接好きな順に選べばいいじゃん ここまで酷いとは 大学一年4月で落ちこぼれた訳だわ http://rio2016.5ch.net/test/read.cgi/math/1738367013/303
304: 132人目の素数さん [] 2025/02/06(木) 19:25:18.98 ID:SWnYLHJh >>298 つーか好きな順番に整列できるなら、通常の大小関係の小さい順に並べればいいじゃん。 しかしこれは整列順序ではない。実際部分集合(0,1]には通常の大小関係の最小値は存在しない。仮に最小値mが存在するとすると0<m/2<mで矛盾なので。 反例が存在するからあなたの持論「好きな順番に整列できる」が間違いであることが証明されますた。残念! http://rio2016.5ch.net/test/read.cgi/math/1738367013/304
305: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/02/06(木) 20:29:26.67 ID:6JYRwlF9 <公開処刑 続く> (『 ZF上で実数は どこまで定義可能なのか?』に向けて と (あほ二人の”アナグマの姿焼き") に向けてww ;p) rio2016.5ch.net/test/read.cgi/math/1736907570/”] >>302-303 (引用開始) >各区間の実数の整列は、整列可能定理で整列させる え??? 整列定理使うの? じゃ好きな順番で整列できないじゃん あなたは馬鹿なんですか? >各区間の・・・その先頭部分は、各人が好きにしてよい じゃ好きにしてみて 口でよいと言うんじゃなく実際にやってみてよ ちなみに区間は無限個あるので先頭も無限個だけど好きにできるのね? もしそうなら区間を考える意味とは? Rから直接好きな順に選べばいいじゃん (引用終り) ふっふ、ほっほ おサルさんたち>>7-10 そもそも、「数学の公理とは?」が理解できていない! 数学の公理とは?:人(=人類)が、数学の理論を展開するためのルールです。 数学の公理がなぜ必要?:カントールの展開した素朴(ナイーブ)な集合論は、矛盾にぶち当たった。矛盾にぶち当たるのを回避するためには、簡素なルール(即ち公理)が必要だってこと 良い公理とは?:良い公理とは、簡潔であること。その中で分かり易いこと。いままでの数学理論(ZFCの誕生当時なら20世紀初頭の数学理論、いま2025年なら今の数学理論)が、自由自在に展開できることだね 数学の公理は変えて良いか?:当然変えて良い。ZFC公理系以外にも、提案されている公理系が沢山ある。また、公理を追加してよい。ZFCGとか。但し、ZFC公理系が基礎論屋さんに重宝されるのは、強制法との相性が良いということがあるらしい by 渕野先生の受売り ja.wikipedia.org/wiki/%E5%BC%B7%E5%88%B6%E6%B3%95 (引用開始) つーか好きな順番に整列できるなら、通常の大小関係の小さい順に並べればいいじゃん。 しかしこれは整列順序ではない。実際部分集合(0,1]には通常の大小関係の最小値は存在しない。仮に最小値mが存在するとすると0<m/2<mで矛盾なので。 反例が存在するからあなたの持論「好きな順番に整列できる」が間違いであることが証明されますた。残念! (引用終り) ふっふ、ほっほ おサルさん、全然反論になってないんですが・・・www ;p) http://rio2016.5ch.net/test/read.cgi/math/1738367013/305
306: 132人目の素数さん [] 2025/02/06(木) 20:37:58.48 ID:SWnYLHJh >>305 >おサルさん、全然反論になってないんですが・・・www ;p) 実数全体の集合上の通常の大小関係は整列順序ではありませんよ? これはあなたの持論「好きな順番で整列できる」の反例です。 これが分からないようじゃ大学一年4月に落ちこぼれるのも無理無いですね。 http://rio2016.5ch.net/test/read.cgi/math/1738367013/306
307: 132人目の素数さん [] 2025/02/06(木) 20:42:58.89 ID:SWnYLHJh >>305 >そもそも、「数学の公理とは?」が理解できていない! まったくトンチンカン。 整列定理の主張は「任意の空でない集合上に整列順序が存在する」です。 「好きな順番で整列できる」なんて言ってません。あなたの独善妄想です。 http://rio2016.5ch.net/test/read.cgi/math/1738367013/307
308: 132人目の素数さん [] 2025/02/06(木) 20:44:28.62 ID:SWnYLHJh >>305 >>各区間の・・・その先頭部分は、各人が好きにしてよい >じゃ好きにしてみて 口でよいと言うんじゃなく実際にやってみてよ はスルーですか? 間違いを認めますか? http://rio2016.5ch.net/test/read.cgi/math/1738367013/308
309: 132人目の素数さん [] 2025/02/06(木) 20:45:36.95 ID:SWnYLHJh >>305 自分の間違いは認めず >そもそも、「数学の公理とは?」が理解できていない! と、言いがかりですか。 あなたはチンピラヤクザですか? http://rio2016.5ch.net/test/read.cgi/math/1738367013/309
310: 132人目の素数さん [] 2025/02/06(木) 20:48:50.10 ID:SWnYLHJh >>305 >数学の公理とは?:人(=人類)が、数学の理論を展開するためのルールです。 違います。公理とは証明無しで真と認める命題です。 高校数学からやり直した方が良いのでは? http://rio2016.5ch.net/test/read.cgi/math/1738367013/310
311: 132人目の素数さん [] 2025/02/06(木) 21:00:02.55 ID:SWnYLHJh >>305 おサルさんの持論「好きな順番で整列できる」が間違ってることは明白なのに頑なに認めようとせず猿知恵の言い訳に終始する。 だからサルと言われる。 人間扱いされたいなら間違いを認めることから始めては? http://rio2016.5ch.net/test/read.cgi/math/1738367013/311
312: 132人目の素数さん [] 2025/02/06(木) 21:42:51.98 ID:DRS6TfJA 既に知られていること ↓ 「任意の正方行列には逆行列がある」の1は コピペバカ http://rio2016.5ch.net/test/read.cgi/math/1738367013/312
313: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/02/06(木) 22:09:21.36 ID:6JYRwlF9 >>312 <公開処刑 続く> (『 ZF上で実数は どこまで定義可能なのか?』に向けて と (あほ二人の”アナグマの姿焼き") に向けてww ;p) rio2016.5ch.net/test/read.cgi/math/1736907570/”] >「任意の正方行列には逆行列がある」の1は あほサルが、まだいうかw >>7-10 いま、英語圏では Invertible matrix だ(下記) 「Invertible matrix は、逆行列を持つ」 語感から言えば、同義反復だが 分かり易い ;p) 仏語も”Matrice inversible”だ(下記) 独語が、”Reguläre Matrix” 多分、和語は 戦前の独語の影響で、正則行列が専門用語だが、世界の趨勢に遅れているかもね ;p) (参考) en.wikipedia.org/wiki/Invertible_matrix Invertible matrix In linear algebra, an invertible matrix is a square matrix which has an inverse. 仏語 fr.wikipedia.org/wiki/Matrice_inversible Matrice inversible En mathématiques et plus particulièrement en algèbre linéaire, une matrice inversible (ou régulière ou encore non singulière) est une matrice carrée A pour laquelle il existe une matrice B de même taille n avec laquelle les produits AB et BA sont égaux à la matrice identité. 独語 de.wikipedia.org/wiki/Regul%C3%A4re_Matrix Reguläre Matrix Eine reguläre, invertierbare oder nichtsinguläre Matrix ist in der Mathematik eine quadratische Matrix, die eine Inverse besitzt. Reguläre Matrizen können auf mehrere äquivalente Weisen charakterisiert werden. http://rio2016.5ch.net/test/read.cgi/math/1738367013/313
314: 132人目の素数さん [] 2025/02/06(木) 22:31:50.15 ID:DRS6TfJA 既に知られていること ↓ 「任意の正方行列には逆行列がある」の 1=通称setaはコピペバカ http://rio2016.5ch.net/test/read.cgi/math/1738367013/314
315: 132人目の素数さん [] 2025/02/06(木) 22:42:51.49 ID:DRS6TfJA >語感から w http://rio2016.5ch.net/test/read.cgi/math/1738367013/315
316: 132人目の素数さん [] 2025/02/06(木) 22:52:03.20 ID:SWnYLHJh >>298 >3)また、各区間・・・の先頭部分は、各人が好きにしてよい > 例えば、[2,3)で 先頭をe (対数の底)にするとか > 例えば、[3,4)で 先頭をπ(円周率)にするとか 実は選択公理無しで各区間[n,n+1)の元を選ぶことはできる。例えばn、n+π/6など。すなわち構成可能な選択関数は存在する。 しかし任意の選択関数を構成できるという主張は間違い。 http://rio2016.5ch.net/test/read.cgi/math/1738367013/316
317: 132人目の素数さん [] 2025/02/06(木) 23:06:55.95 ID:SWnYLHJh >>313 各国wikipediaを持ち出したところで君の持論 「任意の正方行列には逆行列がある」 はひとつも正当化されないんだが、頭だいじょうぶかい? http://rio2016.5ch.net/test/read.cgi/math/1738367013/317
318: 132人目の素数さん [] 2025/02/07(金) 05:03:00.34 ID:lSTbv6lI 正方行列と正則行列の違いが判らん奴に 大学数学が判るわけない 極限の存在とコーシー列の定義の違いが判らん奴に 大学数学が判るわけない http://rio2016.5ch.net/test/read.cgi/math/1738367013/318
319: 132人目の素数さん [] 2025/02/07(金) 05:40:22.54 ID:lSTbv6lI 極限 ∀ε>0.∃n0∈N s.t. ∀n∈N [n>=n0 ⇒|an− α|<ε] コーシー列 ∀ε>0.∃n0∈N s.t. ∀n,m∈N[n,m>=n0⇒|an−am|<ε] 有理コーシー列は有理数の極限を持つとは限らないが 実コーシー列は実数の極限を必ず持つ これが実数の連続性(完備性)な 大学1年前期でこれわかんないやつは大学やめたほうがいい http://rio2016.5ch.net/test/read.cgi/math/1738367013/319
320: 132人目の素数さん [] 2025/02/07(金) 06:55:25.60 ID:QK9K1Eig そういうことを問題にする理由がわからない http://rio2016.5ch.net/test/read.cgi/math/1738367013/320
321: 132人目の素数さん [] 2025/02/07(金) 07:41:29.31 ID:9wplQwBx >>320 もちろんわかってる人にはただの常識 しかしわかってない人がこれをハナクソ扱いすると次から次へと間違う 名誉教授ならいくらでも実例を目にしている筈だが 馬鹿は教育しても無駄と放置したのか? それは教授失格だな http://rio2016.5ch.net/test/read.cgi/math/1738367013/321
322: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/02/07(金) 07:47:16.21 ID:G94wYDfA >>313-320 >そういうことを問題にする理由がわからない ID:QK9K1Eig は、御大か 朝の巡回ご苦労さまです 思いますに 彼は、小学校で遠山先生の数学入門 (多分上下とも。下記 試し読みあり) を読んで、微積まで分ったと、舞い上がって で、おそらく東大を目指したと思うのですが 私大のW大数学科へ入った そこで、遠山先生の数学入門と全く違う 大学数学科の冷や水を 浴びせられた 結局、学部1〜2年で、詰んでしまった その憂さ晴らしをしたいというのが、本当のところでしょうね ルサンチマンでもある >「Invertible matrix は、逆行列を持つ」 語感から言えば、同義反復だが 分かり易い ;p) 「落馬とは、馬から落ちること」 「馬から落ちることを、落馬という」 みたいなね。”Reguläre Matrix”とした 当時の数学者の考えは分ります が、線形代数が大衆化して、かつ、抽象化していった結果 「落馬とは、馬から落ちること」と教えた方が、手っ取り早いってことでしょうね 米仏の考えはw ;p) (参考) https://www.iwanami.co.jp/book/b267429.html 数学入門 (上) 試し読み http://www.iwanami.co.jp/moreinfo/tachiyomi/4160040.pdf 著者 遠山 啓 著 通し番号 青版 G-4 ジャンル 書籍 > 岩波新書 > 自然科学 日本十進分類 > 自然科学 > 数学 刊行日 1959/11/17 http://rio2016.5ch.net/test/read.cgi/math/1738367013/322
323: 132人目の素数さん [] 2025/02/07(金) 07:55:07.31 ID:wo6EbCKN >>322 > 思いますに それ↓は◆yH25M02vWFhP、君だろ 「彼は、●学校で、微積まで分ったと、舞い上がって で、京大数学科を目指したがさすがに無理で し・か・た・な・く、阪大工学部●●工学科へ入った そこで、高校までの計算術としての数学と全く違う 大学数学の冷や水を 浴びせられた 結局、学部1〜2年で、詰んでしまった その憂さ晴らしをしたいというのが、本当のところでしょう ルサンチマンでもある」 http://rio2016.5ch.net/test/read.cgi/math/1738367013/323
324: 132人目の素数さん [] 2025/02/07(金) 08:10:55.40 ID:hnk55qE8 >>322 >”Reguläre Matrix”とした 当時の数学者の考えは分りますが、 >線形代数が大衆化して、かつ、抽象化していった結果 >「落馬とは、馬から落ちること」と教えた方が、 >手っ取り早いってことでしょうね 米仏の考えはw なにわけわかんないこといってんだこいつw 正方行列が逆行列をもつか否か判定する条件は 明確に記載かつ確認可能だが 知らんのか? 暗記●●が真っ先に覚え、かつそれで終わってしまうのは 「行列式が0でない」 (これに飛びつくのは多変数微積分のヤコビアンに関係するから) だと思うが、なぜこの条件で逆行列が存在するのかは ●●には分からんだろう 実際には「行列の行ベクトルが線形独立であること」が●●にもわかる理由であり、 (上記の条件を確認するための具体的方法として消去法がある) これと「行列式が0でない」が同値であるのは、行列式の多重線形性&交代性から分かること この理屈が分かんない(&分かる気ない)奴は 数学が分かんない(&分かる気ない)ってことだから 数学に興味もっても無駄 碁でも打ってろw http://rio2016.5ch.net/test/read.cgi/math/1738367013/324
325: 132人目の素数さん [] 2025/02/07(金) 08:39:33.51 ID:QK9K1Eig >なぜこの条件で逆行列が存在するのかは >●●には分からんだろう このこだわりがわからない http://rio2016.5ch.net/test/read.cgi/math/1738367013/325
326: 132人目の素数さん [] 2025/02/07(金) 09:01:56.37 ID:hhR3PJQl >>325 名誉教授 数学がわからない? http://rio2016.5ch.net/test/read.cgi/math/1738367013/326
327: 132人目の素数さん [] 2025/02/07(金) 09:07:34.14 ID:QK9K1Eig 名誉教授でなくてもわからないのが数学 http://rio2016.5ch.net/test/read.cgi/math/1738367013/327
328: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/02/07(金) 10:43:50.72 ID:2sO/8ukw >>313 補足 >「Invertible matrix は、逆行列を持つ」 語感から言えば、同義反復だが 分かり易い ;p) これ 分かり易いが、すぐ ”逆行列を持たない行列とは?”が問題になる それは、下記の通り零因子行列である (簡単に言えば、その行列式が0になる行列だ) 数学科修士卒を、標榜しながら これ(零因子)が分からないアホが、騒いでいた (^^ その顛末は、テンプレの>>8にまとめておいたw ;p) (参考) https://www.met-sp.jp/proof-that-a-nonregular-matrix-is-a-zero-or-a-zero-factor/ 数理経済学的特別計画 数学 2023年11月24日 非正則な正方行列が零行列または零因子であることの証明 この記事では、非正則な正方行列が零行列または零因子であることを証明します。まず、いくつかの基本的な定義を整理し、その後で証明に進みます。 目次 非正則な正方行列が零行列または零因子であることの証明 証明 具体例 あわせて読みたい記事 http://izumi-math.jp/K_Oguri/insi/insi.htm 北 数 教 第42回 数学教育実践研究会 −教育現場のおける基礎研究− 行列における零因子の構造 平成14年8月3日(土) 北海道石狩南高等学校 数学科教諭 小栗 是徳 https://ja.wikipedia.org/wiki/%E9%9B%B6%E5%9B%A0%E5%AD%90 環の零因子(れいいんし、英: zero divisor)とは、環の乗法において、 ”零以外の元と掛けたのに零となるような積が、少なくとも一つ存在する” ような元のことである。 これは環の乗法における因子の特別な場合である。 http://rio2016.5ch.net/test/read.cgi/math/1738367013/328
329: 132人目の素数さん [] 2025/02/07(金) 11:42:52.31 ID:Q/S64BiQ >>322 >思いますに 妄想語られても http://rio2016.5ch.net/test/read.cgi/math/1738367013/329
330: 132人目の素数さん [] 2025/02/07(金) 11:54:46.15 ID:QK9K1Eig わからない http://rio2016.5ch.net/test/read.cgi/math/1738367013/330
331: 132人目の素数さん [] 2025/02/07(金) 11:59:30.72 ID:Q/S64BiQ 死ねば? http://rio2016.5ch.net/test/read.cgi/math/1738367013/331
332: 132人目の素数さん [] 2025/02/07(金) 12:06:53.85 ID:QK9K1Eig それが一番わからない http://rio2016.5ch.net/test/read.cgi/math/1738367013/332
333: 132人目の素数さん [] 2025/02/07(金) 12:49:56.33 ID:Q/S64BiQ 目障りだから消えて http://rio2016.5ch.net/test/read.cgi/math/1738367013/333
334: 132人目の素数さん [] 2025/02/07(金) 12:59:26.37 ID:qLWxTmGf 零因子しか分からん高卒馬鹿 碁でも打ってな http://rio2016.5ch.net/test/read.cgi/math/1738367013/334
335: 132人目の素数さん [] 2025/02/07(金) 13:19:02.75 ID:Q/S64BiQ >>328 君の持論「任意の正方行列には逆行列がある」には零因子行列という反例が存在するんだから間違いじゃん なんで間違いを認めないの? http://rio2016.5ch.net/test/read.cgi/math/1738367013/335
336: 132人目の素数さん [] 2025/02/07(金) 14:31:18.26 ID:TEWmU4mL >>335 >なんで間違いを認めないの? 誰にもマウントできなくなるからじゃね? 他人にマウントすることだけが唯一の生きがいの関西エテ公だから http://rio2016.5ch.net/test/read.cgi/math/1738367013/336
337: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/02/07(金) 15:47:44.72 ID:2sO/8ukw >>335-336 話は逆だろ? あほサル>>7-10のヤクザ因縁だろ?w ;p) 例えばテンプレ>>10がその典型で 列 {}∈{{}}∈{{{}}}∈{{{{}}}}∈・・・で Thomas Jechの 証明 >>47のように 順序数の付番をして 順序数との対と考えて ({},0)<({{}},1)<({{{}}},2)<({{{{}}}},3)<・・・ この順序は、順序数でつけられた順序 0 < 1 < 2 < 3 < ・・・ であると考える (>>47のThomas Jechの 証明の通りです ) だから、({},0) < ({{{}}},2) で、順序は 0 < 2 により従うとして問題なし! (^^ ところが、あほサルのヤクザは 『{{}}∈{{{}}} は真だが、{}∈{{{}}} は偽』>>9 などと、てめえの低能の脳内妄想全開の ヤクザ因縁w ;p) 完全にアホの”パープリン”(下記) 笑えます (^^ (参考) https://ja.wikipedia.org/wiki/%E6%9D%B1%E5%A4%A7%E4%B8%80%E7%9B%B4%E7%B7%9A 東大一直線 パープリン 「パーなのでまるで脳がプリン」を意味する。 http://rio2016.5ch.net/test/read.cgi/math/1738367013/337
338: 132人目の素数さん [] 2025/02/07(金) 16:19:36.72 ID:Q/S64BiQ >>337 >話は逆だろ? 間違いは間違い。逆もクソも無い。 >{}∈{{}}∈{{{}}}∈{{{{}}}}∈・・・ これは正しい。 しかし∈は順序関係ではない。なぜなら{}∈{{{}}}は偽であり推移律を満たさないから。 {}<{{}}<{{{}}}<{{{{}}}}<・・・ という順序関係<の定義は問題無い。なぜなら{}<{{{}}}は真であり推移律を満たすから。 以上から分かる通り∈を順序関係<と見做すのは間違い。 なんでこんな自明なことが分からないの? 脳みそ腐ってる? http://rio2016.5ch.net/test/read.cgi/math/1738367013/338
339: 132人目の素数さん [] 2025/02/07(金) 16:24:50.63 ID:Q/S64BiQ >>337 {}∈{{{}}}は偽である Y/N 答えられる? http://rio2016.5ch.net/test/read.cgi/math/1738367013/339
メモ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 663 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.017s