◎正当な理由による書き込みの削除について:      生島英之とみられる方へ:

数学の原理を発見した


動画、画像抽出 || この掲示板へ 類似スレ 掲示板一覧 人気スレ 動画人気順

このスレへの固定リンク: http://5chb.net/r/math/1749452582/
ヒント:5chスレのurlに http://xxxx.5chb.net/xxxx のようにbを入れるだけでここでスレ保存、閲覧できます。

1132人目の素数さん
2025/06/09(月) 16:03:02.27ID:1rvvZppX
以下、nは自然数の値を取るとする。

(1) P: ∀n, p(n)は、Pが正しいなら、n=1, 2, ...の場合を試しても永久に証明できない
(2) P: ∃n, p(n)は、Pが正しいなら、有限回で証明が終わる

数学の証明で非自明なものは、大別すればこの2パターンしかない。
(1)を証明するには、無限回の証明を有限回で行う道具が必要になる。たとえば、数学的帰納法など。
(2)を証明するには、問題から一部の情報を取り出す必要がある。たとえば、剰余をとるなど。
2132人目の素数さん
2025/06/09(月) 16:20:52.19ID:eNAFN9sl
(1)
たとえば、1 + 2 + ... + n = n (n + 1)/2 を証明したいとする。
n = 1, 2, ... の場合をすべて確かめても証明できないが、数学的帰納法を使うと、有限のステップで無限個のケースを証明できる。
極限に関する定理や、コンパクト性などの有限性に帰着させるもの、普遍性を用いるものなどはこのパターン。

(2)
たとえば、a^2 - 3b^2 = 2を満たす整数の組(a, b)が存在しないことを示したいとする。
これも、(a, b)の組を全部試すわけにはいかない。しかし、両辺を3で割ったあまりを考えれば解ける。
このほか、二つの対象が同型でないことを示すのに不変量を比較したり、別の対象への射を考えてみるなども、このパターン。
3132人目の素数さん
2025/06/09(月) 16:25:58.71ID:BG1OKxio
数学の証明で「気付き」や「テクニック」が必要なのは、この2パターンしかない。
あとの部分は、定義や仮定を自明に変形しているだけ。
4132人目の素数さん
2025/06/09(月) 16:32:09.82ID:kXRlqM7x
ど素人か
5132人目の素数さん
2025/06/09(月) 17:24:04.22ID:qBe5NCNE
ためしに、ヒルベルトの基底定理を見てみる。
以下の補題を使う。

Lemma1:
ネーター環R上の有限生成加群はネーター加群

これの証明には以下の補題を使う。

Lemma2:
R加群の列

0 → M' → M → M'' → 0

が完全とすると、Mがネーター加群⇔M', M''がネーター加群。
これは簡単に示せる。

Lemma1の証明:
M = Σ_{i=1}^n R mi とする。nに関する機能法で示す。
n = 1のときは、M ~ R/ann(m1)なのでネーター。
n-1まで正しいと仮定する。
N = Σ_{i=1}^{n-1} R miとおくと、完全列

0 → N → M → M/N → 0

を得る。Nと、M/N ~ Rmn/N∩Rmnは仮定よりネーターなので、Lemma1よりMもネーター。□
6132人目の素数さん
2025/06/09(月) 17:27:52.68ID:qBe5NCNE
Theorem:
Rがネーター環⇒R[X]はネーター環

証明:
I⊂R[X]をイデアルとする。IがR[X]上有限生成であることを示す。
J⊂Rを、Iの多項式の最高次の係数になる元全体とする。JはRのイデアルになる。
Rはネーター環なので、Jはa1, ..., an∈Rで生成される。各i = 1, 2, ..., nに対して、aiを最高次の係数に持つIの元が存在するので、それをfi∈Iとおく。また、d = max{deg(fi)}とする。
f = bX^m + (低次の項)∈Iを任意の多項式とする。もし、m > dなら、b = Σri ai (ri∈R)の形だから、f - Σrifi X^(m-d)の次数はdより小さくなり、しかもIに入る。
つまり、R加群として

I = (R + RX + ... + RX^(d-1))∩I + ΣR[X] fi 。

(R + RX + ... + RX^(d-1))はネーター環R上有限生成なので、Lemma1よりネーター加群。よって、そのR部分化群(R + RX + ... + RX^(d-1))∩IもR上有限生成。その生成元とf1, ..., fnを合わせると、IのR[X]上の生成元になる。□
7132人目の素数さん
2025/06/09(月) 17:28:04.10ID:kXRlqM7x
岡の定理は
8132人目の素数さん
2025/06/09(月) 17:36:03.42ID:4zUAdjzJ
ヒルベルトの基底定理の非自明な箇所は

(1) Lemma1
(2) RのイデアルJの構成
(3) Iをd次未満の部分と、fiで生成される部分の分ける部分

あたりだろう
(1)はパターン1, (2), (3)はパターン2だと思う
9132人目の素数さん
2025/06/09(月) 17:42:22.44ID:AQZHlnBK
試験問題なんかで出た場合は、たいていパターン2のほうが難しい
パターン1は使える道具が限られているから、それで解けるなら数撃てば当たる
10132人目の素数さん
2025/06/09(月) 17:59:54.52ID:zpqzNYH0
これなどは典型的なパターン2だと言える。


問題:
Gを群とする。Gの指数有限の部分群は指数有限の正規部分群を持つことを示せ。


回答:
H⊂Gを指数有限の部分群とする。
GのHによる剰余類の集合

G/H = {H = g1H, g2H, ..., gnH}

へのGの作用を

(g, giH) = ggiH

で定めると、n次対称群Snへの群準同型

φ: G → Sn

が得られる。
KerφはGの正規部分群で、準同型定理より、G/Kerφ~Imφ⊂SnなのでKerφは正規部分群。
g∈Kerφなら、gg1H = gH = Hなので、g∈H。よって、Kerφ⊂H。
11132人目の素数さん
2025/06/09(月) 21:59:48.09ID:nbNzdC9z
ああああ
死ねえええええええええええ!!!
12死狂幻調教大師S.A.D.@月と六ベンツ
2025/06/09(月) 22:11:12.09ID:QMzp+CZ6
死ぬ瞬間 キュブラーロス 死ぬ回数 ソフィーダンテ。
13132人目の素数さん
2025/06/09(月) 22:13:42.62ID:iAMIrvzJ
>>3
数学の量化子は∀と∃だけですって話では
14132人目の素数さん
2025/06/09(月) 22:44:59.02ID:dJdpB+iF
>>13
違う
たとえば中間値の定理は、∃だがパターン1
連続体濃度だから
15132人目の素数さん
2025/06/09(月) 22:49:23.67ID:DSuothyw
だけじゃないけどな
16132人目の素数さん
2025/06/09(月) 23:01:44.99ID:qfFxbK2c
>>14
ネタ半分に見てたけど
このレスで、こいつちゃんと考えてると分かった
旧帝修士くらいの実力はあると見た
17132人目の素数さん
2025/06/09(月) 23:33:40.68ID:kXRlqM7x
馬鹿
18132人目の素数さん
2025/06/10(火) 00:20:55.34ID:QnvT4UmL
憐れだ
19132人目の素数さん
2025/06/10(火) 00:29:39.14ID:hRIVmbfA
Sylowの定理の証明を読んだが、これも群論一般で使える道具が、群作用くらいしかないから、まあべつに空でも思いつけるな

lud20250626024200
このスレへの固定リンク: http://5chb.net/r/math/1749452582/
ヒント:5chスレのurlに http://xxxx.5chb.net/xxxx のようにbを入れるだけでここでスレ保存、閲覧できます。

TOPへ TOPへ  

このエントリをはてなブックマークに追加現在登録者数177 ブックマークへ


全掲示板一覧 この掲示板へ 人気スレ | Youtube 動画 >50 >100 >200 >300 >500 >1000枚 新着画像

 ↓「数学の原理を発見した 」を見た人も見ています:
【超伝導】東大など、超伝導体において磁場や磁性を必要としない新しい原理の整流特性を発見 [すらいむ★]
数学の矛盾を発見した!
非ユークリッド幾何学の発見←これ
【人体】やはり、脳と宇宙の構造は似ている......最新研究 同様のネットワーク力学の原理によって形成されている可能性 ★2 [ごまカンパチ★]
やばい発見した
ロリコン板発見した
コロナの原因を発見しました
女子の法則発見したったwww
熟睡する方法発見したからおしえる
【発見】今日目撃した野鳥を報告するスレ! 31
アフィリエイト新しい飯の種を発見した模様
クラスター発見した後って何してるの?
ぷゆゆ氏のおでこには眉毛という髪が発見されました。
NASA、月に墜落したインドの「ビグ○ム」を発見
個人的に発見した定理や公式を発表していこう
【秘宝】 とんでもない格好をしたOLが発見される
2003年の公式表彰にとんでもないミスを発見した
数直線上の数を表す体系として、実数より密度が濃いものを発見しました。
【朗報】高海千歌さん、無くした優勝旗を無事発見
ワイ、購入したラップトップの欠陥を発見する
最強のインスタントラーメンの作り方を発見した
【悲報】プリキュアに変装したロリコン発見される
社長「岡くんを発見!!思わず写真を撮ってしまいました」
子供心を理解してるハイセンスの塊みたいな自販機発見したんだが
【国産】レア車発見したら報告スレ 68台目【輸入】
発達障害ばかりのスレ発見したったwwwwwweeewwwwweeew
飯窪のブログで初期くどぅーみたいな女の子発見したんだが
(ヽ´ん`)「!」(マカフィーが東京五輪にセキュリティの脆弱性を発見しました。)
【北海道東方沖】転覆した船見つかる 乗組員の発見急ぐ
二世信者「家庭では『安倍さんは統一教会の原理を知っている、「神」と教わりました」 神は死んだ
適当に3行書けばモー娘。の新曲みたいな歌詞になると発見した!
昔のお前らのスレ発見したけど今と何も変わってないまるで成長してない
【LIVE】尼崎市緊急会見 15時半から 紛失したUSB発見 [ギズモ★]
【朗報】俺氏、大量のJK画像を残して稼働停止したサイトの画像フォルダを発見する
スポクラ可愛い女性発見 話したい part4©3ch.net
俺ガチで大発見したから学会とかで発表できる人これ論文にまとめてくれないか?
富良野のスキー場で遭難した韓国人、山岳救助隊らにより生きたまま発見される
【生物】絶滅したはずのゾウガメが30頭発見される ガラパゴス諸島
【研究】500年前に失われた青色「フォリウム」を再現したら未知の新物質を発見
“世紀の財宝”大発見3▽実在した!伝説の古代都市・謎の黄金人間・日本の黄金古墳★1
【埼玉】用水路で男性の白骨化した頭部発見…水の流れあり、柵に引っ掛かった状態
[AHO931] 昆虫の殻に半重力の作用を発見 利用した反重力装置で空中飛行に成功(画像あり)
【熊本】「愛犬を助けて」SOS、捜索したら孤立住民17人発見 [爆笑ゴリラ★]
アルビノ5歳女児、武装集団に拉致され殺害 母「遺体を発見したが首から上が無かった」
「もう生きていけない」閉店したばかりのセブンイレブンのオーナーが遺体で発見される。
【速報】ニコ生でLIVE配信しながら富士山を登山中に滑落した男性か 遺体を発見 静岡県警 ★3
【事件】八王子の施設から外出したまま行方不明となっていた少年と見られる遺体を発見 高尾山近辺
アインシュタインが主張した証拠を韓国人科学者が発見 ついにノーベル賞? 量子力学は間違ってた
【研究】床ずれで壊死した皮膚に「シモンコライト」を塗ったら2週間後にほぼ完治/山形大学が発見 ★2
【国土】「竹島は日本領」示す図面を発見。米政府が1953、54年に作製した航空図2点★2 [記憶たどり。★]
私が発見した定理
(・ω・)俺が日々の数学的発見を書くスレ
IUT理論(宇宙際タイヒミュラー理論)=バカ発見器
微分って極限の議論しなければ純粋に代数的なのになんで発見されなかったの?
【驚異】期待値がゼロのギャンブルで無限に稼ぐ方法が発見される
受験かなり余裕できてるし大学の勉強したい
中学数学を100とした場合の高校数学の難易度
算数→数学のどの段階で挫折しましたか?
ZEN大学の設置届を却下したら、岸田政権支持するわ
Fラン大学の数学科に迷い込んでしまいました…泣
学校の宿題で数学の自由研究が出ました 今中3なのですが何かいいものがないか知りたいです
数学の辞め時
数学の本 第69巻
大学数学の位相
数学の質問です
数学の統一理論

人気検索: Child porn 2016 チア 35 譁?ュ励さ繝ゥ 蟇晏叙繧峨l 4k繧ュ繝」繝ウ繧ョ繝」繝ォ ロリあうロリ 繧ェ繝ェ繧キ繝シ 小学生 Marsha babko 女子小学生 preteen little girls nude すじコラ
19:02:15 up 101 days, 20:01, 0 users, load average: 14.51, 13.50, 13.39

in 0.010555982589722 sec @0.010555982589722@0b7 on 072808