[過去ﾛｸﾞ]
純粋・応用数学・数学隣接分野（含むガロア理論）11 (1002ﾚｽ)
純粋・応用数学・数学隣接分野（含むガロア理論）11 http://rio2016.5ch.net/test/read.cgi/math/1659249925/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
529: １３２人目の素数さん [] 2022/12/09(金) 21:09:01.73 ID:T+YnZBA1 w^3+x^3+y^3=z^3 Use ζ(2) to check whether the formula w^3+x^3+y^3=z^3 holds for all integers. It becomes 2×3ζ(3) with ± from the integer. 6×ζ(3)⇔ζ(2)=π^2/6⇔ζ(3)⇔π^2 Therefore, since it converges, an integer is spewed out from the divergence of ζ(3)! So integers exist. So we found 42 with computer power! http://rio2016.5ch.net/test/read.cgi/math/1659249925/529
530: １３２人目の素数さん [] 2022/12/09(金) 21:40:03.61 ID:T+YnZBA1 There exists a natural number z that satisfies z^2 when the π^2 form of Fermat's Last Theorem is a multiple of 6. http://rio2016.5ch.net/test/read.cgi/math/1659249925/530
531: １３２人目の素数さん [] 2022/12/10(土) 04:28:31.84 ID:sxpPJ6rb 昔の数学者はユークリッドの第五公準（平行線公理）は それまでの４つの公準にくらべて複雑な述べられ方をしていたこともあり、 実は平行線の公理は定理であって最初の４つの公理から証明が導ける のではないかと思って、様々な考察と誤った証明を作り出しては誤りが判明する という歴史を積み重ねてきた。いくらやってもうまく証明することに成功した 者がいないという歴史の積み重ねであった。 もしすると、現代の数学の証明ができていない命題も、実は 今の公理の中からでは正しいという証明も、正しくないという証明も 導けないのかもしれない。たとえば、まだ知られていないなんらかの 公理が見つかっておらずに、それなしでは証明ができないのかもしれない。 はたしてリーマン予想などにはそういう可能性は少しでもあるのだろうか？？ http://rio2016.5ch.net/test/read.cgi/math/1659249925/531
532: １３２人目の素数さん [] 2022/12/10(土) 05:56:16.14 ID:YlCNGCVp >>531 選択公理と強制法ぐらいは挙げないと。 http://rio2016.5ch.net/test/read.cgi/math/1659249925/532
533: １３２人目の素数さん [] 2022/12/10(土) 07:38:32.91 ID:meH3MbbN >>531 >現代の数学の証明ができていない命題も、実は今の公理の中からでは >正しいという証明も、正しくないという証明も導けないのかもしれない。 決定不能命題、ってことですね >たとえば、まだ知られていないなんらかの公理が見つかっておらず、 >それなしでは証明ができないのかもしれない。 また、その公理を否定する命題を公理とすることで 予想の否定が証明できるかもしれない http://rio2016.5ch.net/test/read.cgi/math/1659249925/533
534: １３２人目の素数さん [] 2022/12/10(土) 07:41:49.83 ID:meH3MbbN >>532 選択公理がZFにおける決定不能命題であることが 強制法(forcing)によって証明された ってことですよね リーマン予想が数論における決定不能命題であると 強制法によって示せるかどうかは知りませんな http://rio2016.5ch.net/test/read.cgi/math/1659249925/534
535: １３２人目の素数さん [] 2022/12/10(土) 07:56:13.63 ID:meH3MbbN ところで、このスレッドの名前を12から 「数学とその適用」に変更することを提案します http://rio2016.5ch.net/test/read.cgi/math/1659249925/535
536: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2022/12/10(土) 07:58:21.11 ID:898jbfXT >>520 どうも スレ主です ご指摘ありがとう 確かに、皆さんにご指摘の通りで、「代数的に独立」という用語が、全く不適切でした よって >>450の書き直し下記 >>431 戻る (引用開始) １）>>391 「では、>>372の方程式の最小分解体にζ_5が含まれるか否か分かりますかね？ 一般的な話として、可解な5次方程式でもいいですが。 つまり、5乗根を取る操作をガロア拡大（クンマー拡大） にするなら、ζ_5は必然的に含まれますが 最小分解体（方程式が一次式の積に分解する最小の体） には含まれるか否か？って質問です。」 (引用終り) １）いま、簡単にQ係数の既約5次方程式で重根を持たず、べき根で解けるものを取ったとする 根α1,α2,α3,α4,α5 が、代数的に独立とする ２）下記 最小分解体の定義より、最小分解体は、Qに根α1,α2,α3,α4,α5を添加して Q(α1,α2,α3,α4,α5)と書ける ３）いま、ζ_5が、Q(α1,α2,α3,α4,α5)に含まれないならば（そしてそれが普通だが） ζ_5 not∈Q(α1,α2,α3,α4,α5) だよね ４）繰り返すが、{α1,α2,α3,α4,α5}たちが全て実根ならば、ζ_5 not∈Q(α1,α2,α3,α4,α5) だし 仮に、{α1,α2,α3,α4,α5}に虚数根が含まれても、ζ_5がそれら虚数根を含む最小分解体に含まれないならば ζ_5 not∈Q(α1,α2,α3,α4,α5) であり、そのような場合こそ普通だろ ５）なので、果たして彼は、 この問い「>>372の方程式の最小分解体にζ_5が含まれるか否か分かりますかね？」 で何を問いたかったのか？ 意味が分からない 以上 http://rio2016.5ch.net/test/read.cgi/math/1659249925/536
537: １３２人目の素数さん [] 2022/12/10(土) 07:59:54.67 ID:meH3MbbN 純粋数学と応用数学があるのではなくて、数学というものがあって、 それを諸問題の解決へ適用する事例がある、という認識です http://rio2016.5ch.net/test/read.cgi/math/1659249925/537
538: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2022/12/10(土) 08:00:18.44 ID:898jbfXT >>536 タイポ訂正 根α1,α2,α3,α4,α5 が、代数的に独立とする ↓ 根α1,α2,α3,α4,α5 とする http://rio2016.5ch.net/test/read.cgi/math/1659249925/538
539: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2022/12/10(土) 08:01:06.76 ID:898jbfXT >>535 自分でスレ立てな http://rio2016.5ch.net/test/read.cgi/math/1659249925/539
540: １３２人目の素数さん [] 2022/12/10(土) 08:12:21.33 ID:meH3MbbN >>536 現代数学の系譜 雑談 ◆yH25M02vWFhP さん おはようございます ＞Q係数の既約5次方程式で重根を持たず、べき根で解けるものを取ったとする ＞根α1,α2,α3,α4,α5 が、代数的に独立とする 「Q係数の既約5次方程式で重根を持たず、べき根で解けるもの」から 「根α1,α2,α3,α4,α5 が、代数的に独立」がいえますか？ もし、独立と云えないなら ＞最小分解体の定義より、最小分解体は、 ＞Qに根α1,α2,α3,α4,α5を添加してQ(α1,α2,α3,α4,α5)と書ける について 「最小分解体は、（根α1,α2,α3,α4,α5 が、代数的に独立であるから） Qに５根α1,α2,α3,α4,α5全てを添加した Q(α1,α2,α3,α4,α5)としか書けない」 とはいえませんが 端的にいえば、根1個を追加したQ(α1)という形で書けませんか？ http://rio2016.5ch.net/test/read.cgi/math/1659249925/540
541: １３２人目の素数さん [] 2022/12/10(土) 08:13:52.64 ID:meH3MbbN >>539 スレッドを立てられないこともあり、提案させていただきました http://rio2016.5ch.net/test/read.cgi/math/1659249925/541
542: １３２人目の素数さん [] 2022/12/10(土) 08:24:37.53 ID:meH3MbbN >>536 ＞ζ_5が、最小拡大体に含まれないならば ＞ζ_5 not∈最小拡大体 だよね ええ、トートロジーですから ＞（そしてそれが普通だが） ええ、トートロジーですから http://rio2016.5ch.net/test/read.cgi/math/1659249925/542
543: １３２人目の素数さん [] 2022/12/10(土) 08:28:28.20 ID:meH3MbbN >>536 ＞{α1,α2,α3,α4,α5}たちが全て実根ならば、 ＞ζ_5 not∈最小拡大体 だし ええ、Qは全て実数だし、根が全て実数なら それをQに追加した体の要素も全て実数です 一方、ζ_5は実数ではありませんから ガロア理論以前のこととして、 高校生でも分かるかと思います http://rio2016.5ch.net/test/read.cgi/math/1659249925/543
544: １３２人目の素数さん [sage] 2022/12/10(土) 08:33:14.30 ID:meH3MbbN >>536 ＞{α1,α2,α3,α4,α5}に虚数根が含まれても、 ＞ζ_5がそれら虚数根を含む最小分解体に含まれないならば ＞ζ_5 not∈最小分解体 であり ええ、トートロジーですから ＞そのような場合こそ普通だろ ええ、トートロジーですから ところで、Q上の5次方程式f(x)のガロア群が位数5の巡回群の場合 ・根は全て実根である ・最小分解体はQに根の1つαを追加したQ（α）である がいえることは御存知でしたか？ http://rio2016.5ch.net/test/read.cgi/math/1659249925/544
545: １３２人目の素数さん [] 2022/12/10(土) 08:42:47.19 ID:meH3MbbN >>536 １）~４）のうち ・１）、２）については 「Q係数の既約5次方程式で重根を持たず、べき根で解けるもの」と 「根α1,α2,α3,α4,α5 が、代数的に独立」が 両立することの証明がない ・３）および４）の後半は 「・・・に含まれないなら、not∈」 というトートロジーであり自明 ・４）の前半は、実数の部分集合が、 実数でない数を要素として持つことはない というもので、論理学におけるトートロジーではないが自明 ということで、残念ですが、誤りもしくは無内容、といわざるを得ませんでした http://rio2016.5ch.net/test/read.cgi/math/1659249925/545
546: １３２人目の素数さん [] 2022/12/10(土) 08:48:49.89 ID:d7i+9yuD 🍎algebra Infinite addition of normal natural numbers ±1±2±3±4±5±6±･･････±∞≒±1/12⇔ 0=0, 0=0/0, 0=±∞/0, 0=±0/±∞, 0=±∞/±∞ ±1/12=±0,±∞±1/2,±1,±2,±3,±4±,5,±6,±7,±8,±9,±10,±11,±12 when -1/12⇔=0=⇔π^2/6 -1≈=π^2=e^πi ±1≈0=decimal e^πi +1≒0⇔ →↑↓→e^πi±1←↑↓← http://rio2016.5ch.net/test/read.cgi/math/1659249925/546
547: １３２人目の素数さん [] 2022/12/10(土) 09:06:15.83 ID:meH3MbbN >>372 「x^5 + 6 x^4 - 12 x^3 - 32 x^2 + 16 x + 32=0 はQ上可解な既約5次方程式」 >>392 「372の方程式の最小分解体にζ_5が含まれるか否か分かりますかね？」 >>545 ＞何を問いたかったのか？ 意味が分からない そもそも、371の質問とそれに対する381の回答の中身が分かってますか？ >>371 ＞可解な既約5次方程式の代数解法には必ず5乗根が必要なことを示せ。 >>381 ＞方程式の群の可解列で、最後{e}の一つ前が、位数5の巡回群になる。 ＞これに対応するのが、5乗根の添加で 例えば x^5=aで ＞ここから、1の5乗根が出る 392は回答381への追加質問として書かれてます もっと分かりやすく質問しますが Q1. ５乗根の添加ということで、あるaの５乗根を添加するとして aはQの元？それともQではないある体の元？ 後者だとした場合、いかなる体の元？ Q2 「５乗根の添加」によってつくられた解を添加した、元の方程式の最小分解体の中に、 ５乗根そのものは要素として含まれる？ http://rio2016.5ch.net/test/read.cgi/math/1659249925/547
548: １３２人目の素数さん [sage] 2022/12/10(土) 09:06:19.73 ID:dZ9h00o/ >>536 >１）いま、簡単にQ係数の既約5次方程式で重根を持たず、べき根で解けるものを取ったとする > 根α1,α2,α3,α4,α5 が、代数的に独立とする 「代数的に独立」の意味が分かってないね。 代数的関係があれば代数的に独立ではない。 特に代数的数同士は代数的に独立ではない。 超越数とか不定元なら、代数的に独立になる。 だから多分、「根たちが不定元だ」と言いたいのだろう。 しかしその場合、基礎体はQに方程式の係数（つまり根たちの基本対称式） を添加しなければならない。 そしてその場合、根たちは基礎体から代数的に導けるので 代数的に独立ではない。 代数方程式の根について論じてるのに、「代数的に独立」 という「魔法の言葉」で「証明」しようというのがバカだってこと。 正にトンデモ並の証明理解ｗ http://rio2016.5ch.net/test/read.cgi/math/1659249925/548
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 454 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.013s