純粋・応用数学(含むガロア理論)5
■ このスレッドは過去ログ倉庫に格納されています
メモ
「4 数学書は「終わり」から書かれている」は、含蓄あるな
「3 理解は遅れてやって来る」もかな。数学書で、分からないところで止まっちゃいけないことが多い。後ろを読んで「ああ、これを言いたかったのか」と分かるときも多いよね
https://diamond.jp/articles/-/251919
9割の人が知らない「本を読んでもすぐ忘れてしまう」を解決するスゴ技
読書猿の「独学」なんでも相談
2020.11.3 4:30
(抜粋)
インターネットの「知の巨人」、読書猿さん。その圧倒的な知識、教養、ユニークな語り口はネットで評判となり、多くのファンを獲得。新刊の『独学大全──絶対に「学ぶこと」をあきらめたくない人のための55の技法』には東京大学教授の柳川範之氏が「著者の知識が圧倒的」、独立研究者の山口周氏も「この本、とても面白いです」と推薦文を寄せるなど、早くも話題になっています。
この連載では、本書の内容を元にしながら「勉強が続かない」「やる気が出ない」「目標の立て方がわからない」「受験に受かりたい」「英語を学び直したい」……などなど、「具体的な悩み」に著者が回答します。今日から役立ち、一生使える方法を紹介していきます。(イラスト:塩川いづみ)
数学独学の骨法
●1 数学にネイティブスピーカーはいない
●2 想像力を止め、手を動かす
●3 理解は遅れてやって来る
●4 数学書は「終わり」から書かれている
●5 証明の読み書き(リテラシー)を身に付ける
ある独学者の記録 数学
(引用終り)
以上 >>293
フェルマー
こんなんあります(^^;
https://language-and-engineering.hatenablog.jp/entry/20140720/FermatsLastTheoremPDFNotes
主に言語とシステム開発に関して
フェルマー予想と「谷山・志村予想」の証明の原論文と,最終定理の概要を理解するためのPDF 2014/07/20
数論 数学 講義ノート リンク集 予想や未解決の難問
講義ノートの目次へ
フェルマー予想の証明PDFと,その概要を理解するための数論幾何の資料。
フェルマー予想とは?(フェルマー・ワイルズの定理)
フェルマー予想の証明に関係した資料 >>293
>ファルティングスのモーデル予想の証明
http://www.math.titech.ac.jp/~taguchi/nihongo/notes130731.pdf
アーベル多様体と数論1 田口雄一郎
これは2013年7月28日(日)の九州大学公開講座「現代数学入門」のための講義資料
2.5.モーデル予想(ファルティングスの定理[3],1983年).
https://www.jstage.jst.go.jp/article/sugaku1947/54/2/54_2_113/_pdf/-char/ja
論説
アラケロフ幾何から見たディオファントス幾何
森脇淳*) (2002年2月6日提出) *)2001年10月4日九州大学における総合講演者
5課題・展望
5.2
abc予想など同等の予想がいろいろあるが,ここでは,曲線上の有理点の高さという観点から,高さ不等式の予想をあげたい.
https://ja.wikipedia.org/wiki/%E3%83%95%E3%82%A1%E3%83%AB%E3%83%86%E3%82%A3%E3%83%B3%E3%82%B0%E3%82%B9%E3%81%AE%E5%AE%9A%E7%90%86
ファルティングスの定理
モーデル予想(Mordellconjecture)は、Mordell(1922)で提出された予想で、有理数体Q上に定義された1よりも大きな種数を持つ曲線は、有限個の有理点しか持たないであろうという予想である
背景
CをQ上の種数gの非特異代数曲線とすると、Cの有理点の集合は次のように決定することができる。
・g=0の場合:全く点が存在しないか、もしくは無限個:Cは円錐の断面(英語版)である。
・g=1の場合:全く点が存在しないか、もしくはCが楕円曲線で、有理点が有限生成アーベル群である。(モーデル定理(Mordell'sTheorem)は、後日、モーデル・ヴェイユの定理(Mordell?Weiltheorem)へ一般化された。さらにメイザーの捩れ定理[1]は捩れ部分群の構造を制限している。)
・g>1の場合:モーデル予想、現在はファルティングスの定理である。Cは有限個の有理点しか持たない。
証明
ファルティングスの元々の証明は、テイト予想の既知の場合へ帰着させることと、ネロンモデルの理論を含む代数幾何学の多くのツールを使う方法であった。ディオファントス近似を基礎とする全く異なる証明は、ポール・ヴォイタ(英語版)(PaulVojta)により得られている。さらにヴォイタの証明の初等的な証明はエンリコ・ボンビエリ(EnricoBombieri)が与えた。 >>295
>分からないところで止まっちゃいけないことが多い。
そうですか…
まあ、そうだとは思って最初の方はなんとかやっていましたが、本全体を100 としたときの進捗 60% くらいの今は「証明は読者への課題とする」問題の解けない奴という在庫が過剰になりすぎてお腹いっぱいでもう先に進めなくなってしまいました、抽象度が高くなると、こういう状態では辛いです
https://matsuri.5ch.net/test/read.cgi/piano/1603200086/572 >>300
>>分からないところで止まっちゃいけない
>そもそも何がどう分かってないか
>立ち止まって考える必要は
>つねにあるんじゃないかな?
そりゃそうだよ
基本は、自分のレベルに合わせてやることだよな
ガウス氏やショルツエ氏レベルの天才なら、
「立ち止まって考える」ことで、自力解決できるかもね
しかし、平均的な(天才じゃない)レベルなら
大概は、先に進んで
「ああ、あの定義の意味って、こういうことか!」ということが多いのでは?(^^ 瀬田君に、知っておくと役立つと思われる興味深い雑学にまつわるチョットした楽しい問題を出そう。
入試のような問題ではなく、リラックスして考えてみるといい。
ドラえもんの身長と胸囲は 129.3p である。
ドラえもんの顔は球状の形をしている。
ドラえもんの胴体を上から見るとほぼ円の形をしていると仮定する。 (wikipedia の「ドラえもん (キャラクター)」を参照)
このとき、ドラえもんの胴周りの高さを直接求めよ。
または、そのときの、ドラえもんの胴周りの高さの近似値を、小数点以下第一桁まで求めよ。
但し、必要であれば、自由にサイトの検索をしてもよいとする。 おっちゃんです。
>>303
>>302はおっちゃんが出した問題だよ。
既にドラえもんの形は終わっている。 >>303
>>304の訂正:ドラえもんの形は → ドラえもんの形の分析は >>303
日本では 1:√2 の比が昔から建造物やノートなどに使われていて、古来から経験的に 1:√2 が理想の取れた比とされている。
白銀比には2種類あって、1:√2 の比率を大和比という。
ドラえもんは何十年もテレビでアニメが放送されていて、マンガの巻数も何巻にも及ぶ。
ドラえもんの姿を見て思うに、ドラえもんの胴体を上から見るとほぼ円の形をしているようにするには、
ドラえもんの頭部の縦の長さ:ドラえもんの鈴を含めた胴体以下の縦の長さ=√2:1 と設定して考えるのが相応しいと思われる。
ドラえもんの身長を x(cm) とすると、x=129.3 だから、ドラえもんの頭部の縦の長さを y(cm) とすると、
y=x×√2/(√2+1)=129.3√2(√2−1)
である。同様に、ドラえもんの鈴を含めた胴体以下の縦の長さを z(cm) とすると、
z=x×1/(√2+1)=129.3(√2−1) (cm)
である。ドラえもんの座高を a(cm)、ドラえもんの太股部分以下の足の長さを b(cm) とする。
wikipedia の「ドラえもん (キャラクター)」を参照すると、a=100.0 だから、b=x−a=129.3−100.0=29.3 である。
ドラえもんの形状から、ドラえもんを正面から見るとき、どう見ても、ドラえもんの胴体の部分にくびれはないと見られる。 >>303
(>>306の続き)
仮に、ドラえもんが座高計に座って座高を測るとき、ドラえもんの座高 a=100.0 (cm) にドラえもんの太股の直径以下の長さ c(cm) が含まれると仮定する。
このとき、ドラえもんの足の形状から、ドラえもんが座高計に座って座高を測るとき、ドラえもんの座高 a(cm) には、
ドラえもんの太股の直径の長さは含まれず、ドラえもんの太股の半径の長さ c(cm) が含まれると見られる。
また、ドラえもんの胴体を上から見るとほぼ円の形である。
ドラえもんを上から見るとドラえもんの足の周りの形はほぼ円の形である。
ドラえもんは2足で歩き、ドラえもんの胸囲は 129.3 (p) だから、c=129.3÷2π÷2=129.3/(4π) である。
ドラえもんの鈴を含めた胴体以上の縦の高さ h(cm) にドラえもんのお尻の部分の高さ d(cm) は含まれない。
ドラえもんが座高計に座って座高を測るとき、ドラえもんの太股の半径の長さはドラえもんのお尻の部分の高さに等しく、c=d が成り立つ。
故に、ドラえもんの鈴を含めた胴体以上の縦の高さ h(cm) は
h=z−b−d=129.3(√2−1)−29.3−129.3/(4π)=129.3( √2−1/(4π) )−158.6 (cm)
と推察される。ドラえもんの鈴を含めた胴体以上の縦の高さ h (cm) いわゆるドラえもんの胴周りの高さ h(cm) は大体14cmらしい。
しかし、ドラえもんの太股部分以下の足の長さ b(cm) は b=29.3(cm) だから、錯覚が生じていて奇妙な長さになって誤った計測をしたことになる。
故に、ドラえもんの足の形状から、ドラえもんが座高計に座って座高を測るとき、
ドラえもんの座高 a=100.0 (cm) にドラえもんの太股の直径以下の長さ c(cm) は余り含まれないと見られる。 >>303
(>>307の続き)
そこで、ドラえもんが座高計に座って座高を測るとき、ドラえもんの座高 a=100.0 (cm) に
ドラえもんの太股の直径以下の長さ c'(cm) が少し含まれるとする。
ドラえもんの頭部の縦の長さ y(cm) は y=129.3√2(√2−1) (cm)、
ドラえもんの鈴を含めた胴体以下の縦の長さ z(cm) は z=129.3(√2−1) (cm)、
ドラえもんの座高 a(cm) は a=100.0 (cm) だから、
ドラえもんの鈴を含めた胴体以上の縦の高さ h'=a−y−z−c' (cm) の計測値の近似値は
h'≒a−y−z=100.0−129.3√2(√2−1)−129.3(√2−1)
=129.3√2+100.0−129.3×2=129.3√2+100.0−258.6
=129.3√2−158.6 (cm)
であって、h'+c=a−y−z から h'<a−y−z=129.3√2−158.6 が成り立つと推察される。
a−y−z=129.3√2−158.6≒24.2 (cm) だから、
ドラえもんの鈴を含めた胴体以上の縦の高さの計測値 h'(cm) の近似値
いわゆるドラえもんの胴周りの高さ h'(cm) の近似値は、h'≒24.2 (cm) より少し低い近似値になる。
しかし、ドラえもんの太股部分以下の足の長さ b(cm) は b=29.3(cm) だから、
ドラえもんの形状上、バランスが悪くなって、錯覚が生じて奇妙な長さになり誤った計測をした可能性がある。
故に、ドラえもんの足の形状から、ドラえもんが座高計に座って座高を測るとき、
ドラえもんの座高 a=100.0 (cm) にドラえもんの太股の直径以下の長さ c(cm) は
殆ど含まれないと考えても奇妙な計測をした可能性がある。
そんな訳で、ドラえもんの鈴を含めた胴体以上の縦の高さの正しい計測値はまだ分からない。 >>303
(>>308の続き)
ところで、ドラえもんの鈴を含めた胴体以下の縦の長さ z(cm) は z=129.3(√2−1) (cm)、
ドラえもんの太股部分以下の足の長さ b(cm) は b=29.3 (cm) であることに注意して、
単純に考えて胴体の高さ h'' (cm) を計測すると、
h''=z−b=129.3(√2−1)−29.3=129.3√2−158.6 (cm)
であって、h'' (cm) の近似値は h''≒24.2 (cm) である。この h'' の計測値の近似値は h' の計測値の近似値より少し大きい。
だから、不思議なことに、ドラえもんの太股部分以下の足の長さ b(cm) は b=29.3 (cm) ではあるが、
ドラえもんの胴周りの高さが正しくなるように採択すべき、
ドラえもんの胴周りの高さの計測値は h''=129.3√2−158.6≒24.2 (cm) になると見られる。 >>303
ドラえもんって何でこれで体が丸くて足が短く見えるんだろうかね。
ドラえもんの形の解析はあれで合っているのかな。 現代数学へ相談があるんだけど
僕のさ軍事機密のすれの
全てのab+a+bの取らない値に1足すと素数に成るって理論は合ってるけど
エラストテネスの篩と差はないのかな。
あれは思い出なんだけど。
もし使い勝手がよくて本当に軍事機密で回されてたらやだなとおもって。 もし本当なら違法だし軍人潰そうかなと思ってる。金で解決出来る話じゃねえ。体売れやアメリカ軍人全員でAV男優やれ。オスプレイしろ。男どうしでな。どうおとしまえつけるんやわれ共。 ベトナムから防具買うじゃんね。
いいと思う。かなりいいやつでしょ。
付け心地のいい装備でしょ。
日本の自衛隊の心があたたまる。
菅ちゃんよくやった。まず一仕事終わり。 明治天皇の孫の孫であることだけが自慢のT.T
「同意ない性交は犯罪に」と提言の学術会議に苦言
https://www.daily.co.jp/gossip/2020/11/09/0013852784.shtml
こいつ絶対、方々で「同意ない性交」やらかしまくってるな
ドスケベらしいから >>311
>全てのab+a+bの取らない値に1足すと素数に成る
そりゃ素数はab+a+b+1=(a+1)(b+1)という形に分解されないでしょ
素数の定義から直ちにわかる実に浅い知見 軍が大好きな奴って絶対殺人鬼&強姦魔だよな
合法的殺人と強姦がしたくて軍人になる鬼畜 日本に朝鮮人や中国人が入ってくるなというやつはバカだよな
だって日本人の祖先の多くが半島や大陸から入ってきたことは
DNA解析の結果から明らかなことで否定しようもないんだから
Y染色体ハプログループ
O1b2 朝鮮人
O2 中国人
ついでにいうと
D1a2a アイヌ
上記のどれでもない「日本人」なんていないんだよ 日本語は半島人の言語だよ
O1b2a1a1 が日本列島に多くて
O1b2a1a2 が朝鮮半島に多いが
一万年前は同一の祖先
ま、この程度の荒い分類になると
ラテンもケルトもゲルマンも同一
になっちゃうけどな
それはそれでいいんじゃね?
中国語だって南方方言とかいってるじゃん
違いの大きさは大差ない >>317
>>全てのab+a+bの取らない値に1足すと素数に成る
>そりゃ素数はab+a+b+1=(a+1)(b+1)という形に分解されないでしょ
>素数の定義から直ちにわかる実に浅い知見
1.素数分布ってのがあってさ(下記)
2.ある自然数n ? 2 に対して、「連続する n ? 1 個の自然数 n! + 2, …, n! + n はそれぞれ、より小さい 2, …, n で割り切れるので、どれも素数でない」
3.「また、比較的小さな数では、114 から 126 まで13個連続で合成数である[14]」
4.ab+a+b+1=(a+1)(b+1)だから、ab+a+b=(a+1)(b+1)-1 で、例えば、126=2x63 として a=2 b=63 として、ab+a+b=125。
5.125は、合成数で素数ではない。よって、ab+a+b=125に、1足しても126で素数に成らない
(参考)
https://ja.wikipedia.org/wiki/%E7%B4%A0%E6%95%B0
素数
分布
ある自然数までにどのくらいの素数があるのかという問題は、基本的だが非常に難しい問題である。素数のない、いくらでも長い区間が存在する。例えば、n ? 2 に対して、連続する n ? 1 個の自然数 n! + 2, …, n! + n はそれぞれ、より小さい 2, …, n で割り切れるので、どれも素数でない。また、比較的小さな数では、114 から 126 まで13個連続で合成数である[14]。
これに関して、次の素数定理は有名である。この定理は1896年に、アダマールとド・ラ・ヴァレ・プサンによって独立に証明された。 >>322
125がab+a+bであらわせれるなら+1しても素数じゃないと言いたいのです(Death)。
注目して欲しいのは(みてみてみては)ab+a+bであらわせれない値に+1すると素数なんです。
この事は高木貞治の初等整数論講義のオイラーのp-1の考察を補います。 >>322
317、正しく理解してる?
>例えば、126=2x63 として a=2 b=63 として、ab+a+b=125。
a=2 b=63 としたら、ab+a+b=126+2+63=191ですが?
126=(a+1)(b+1)=2*63 としたいなら、a=1,b=62ですが
(ちなみに126=2*3^2*7なので、ほかにも分解の仕方はある)
>125は、合成数で素数ではない。
>よって、ab+a+b=125に、1足しても126で素数に成らない
もしかして「合成数に1足しても合成数」とかいってる?
そもそも素数pについてp-1は、p=3を除いて
2を素因数とする合成数ですから
素数じゃないですよ
ちなみに191は・・・素数でしたぁ! >>323
ええ、あなたのいう通りです
125
=62+1+62 (a=1,b=62)
=82+2+41 (a=2,b=41)
=100+5+20 (a=5,b=20)
=102+6+17 (a=6,b=17)
=104+8+13 (a=8,b=13)
317では浅い知見と言ってますが
ロクに文章をよまず、頓珍漢なこと書いたあげく
肝心の計算もまったくせずに嘘八百を書いたうえに
インチキな推論を臆面もなく口にするお人よりは
はるかにマシだといっていいでしょう >>324
17*13
(10+7)(10+3)=100+70+30+21
めちゃくちゃ。
つな、何の意味もない。
近所のスイス研究所でビーコンつくった玉置さんに教えて貰った計算方法。
ちなみに、今日の朝お母さんにこの自分の軍事機密の素数の式が何の意味もない式だと悟ったと伝えたところです(Death)。 >>326
てんきゅーてんきゅーてんきゅーごめんなさいありがとう。これであなたも代格者。 代格者はgantzの黒い玉の中に裸で入っている人の事。 >>323
現代数学さん高木貞治の初等整数論講義の42頁(ページ)です。(第二版) こういう荒らしには
つまり朝鮮人は三世紀までの大陸侵攻日本人の混血であり日本の大陸血脈は伝来したと言うより持ち帰ったとするが妥当。
つまり今日で言う在日朝鮮血脈は江戸幕府の大政奉還後(もしくは出島開港時?)の伝来である。
対馬など物理的遮蔽が無かった辺域も混血が在った。
と書いて返せば良い。 night guitar party (parity) theoryっての完成に向けてる。 >>334-335
誰もしとらんじゃろ。寧ろ、純粋な意味から蔑称へと変遷した呼び方をしとる御前の方が、しとる。 >>330
へー
あんまり整数論自身って、興味がわかないけどぉ〜(^^;
キーワード:ab+a+b 素数 整数
で検索したら、下記の07 千葉大入試問題がヒットしたので貼る
(式が”a^b+1 ”だけど、上付き文字でabと区別できなかったのかも)
因みに、ガウスは「整数は数学の女王である」と言ったそうです
なお、ガウスは、数学王と呼ばれました(^^
(参考)
http://kamelink.com/
数学入試問題
大学入試の数学問題を楽しもう
http://kamelink.com/public/2007/1.7-07%E5%8D%83%E8%91%89%E5%A4%A7%E3%83%BB%E5%BE%8C%E7%90%86(%E6%95%B0%E5%AD%A6%E3%83%BB%E6%83%85%E5%A0%B1%E6%95%B0%E7%90%86)6.pdf
ab - 1 が素数ならばkamelink.com ? public
PDF
a, b は 2 以上の整数とする.
このとき,次の問いに答えよ.
(1) a^b - 1 が素数ならば,a = 2 であり,b は素数であることを証明せよ.
(2) a^b + 1 が素数ならば,b = 2^c (c は整数) と表せることを証明せよ.
(07 千葉大 後 理 (数学・情報数理) 6).
https://blog.goo.ne.jp/skrhigh/e/943b2eecb1270a533c79afcca93c17d6
難関大学・数学の発想のしかた(さくら教育研究所)(SKREDU)
整数は数学の女王である
2020-10-28 | 日記
(抜粋)
ドイツの有名な数学者ガウスは「整数は数学の女王である」と言ったそうです。
ある人たちは、ガウスの言葉について「女王は美しいが使われることはない」という意味であると申しております。確かに幾何学、解析学などが科学の進歩に結びついているのに対し、代数学に属する整数論は実用性とはやや離れている学問のような気がします。
https://oshiete.goo.ne.jp/qa/3142790.html
何故,整数論は数学の女王なのでしょうか? goo
質問者:matsui888質問日時:2007/07/05
(抜粋)
No.7
回答者: string 回答日時:2007/07/06 23:55
既出ですが、たんにガウスがそう言ったからであって、あまり一般的な認識ではないと思います。
ガウスよりも能力の高かったニュートンは整数論なんて一切興味がありませんでした。
リーマンは整数論の論文はたった数ページの論文を1つしか書いていません。リーマンの一番の関心は熱、光、磁気、電気、重力の間の相互作用を統一的に把握することでした。 > へー
> あんまり整数論自身って、興味がわかないけどぉ〜(^^;
今度はIUTの足掛かり・整数論を冒涜し始めた(つまりIUTも冒涜しとる事に成る)ぞ… >>339
しかたないよ 数学が理解できないんだから興味わかないでしょ
P.S.
BABYMETAL 紅白出るらしいね
https://news.yahoo.co.jp/articles/c461435f222b33ea98cc5aa6edfcc8f2165294de
ま、今年は海外ツアーも国内ツアーもなくて暇だったからな
たまには、TVの視聴者にサービスするのも悪くないだろう >>323-324
> 125がab+a+bであらわせれるなら+1しても素数じゃないと言いたいのです(Death)。
>注目して欲しいのは(みてみてみては)ab+a+bであらわせれない値に+1すると素数なんです。
なるほど、ようやく分かったよ
3日ほどかかった。(3日以外は他のことをやっていたが)
ガウス、アーベル、ガロア、高木クラスなら秒殺、瞬殺だろうけどね
(なお、高木先生の本に、何が書かれているか知らないが)
1.命題:0<=a<=b なる 整数a,bと、素数p>=2 に対し、x:=ab+a+b として、x+1=pならば、a=0、b=p-1である
2.証明:
1)x:=ab+a+b=(a+1)(b+1)-1である
2)A=a+1、B=b+1 とする。さて、今の場合 B>=A>=1としても一般性を失わない
3)ここで、x=AB-1 であるから、x+1=AB=pの場合を考える
4)pは素数だから、A=1、B=pでなければならない ∵A=1でなければ、素数pが二つの因数を持ち矛盾
5)よって、a=0、b=p-1 であるから、x=ab+a+b=p-1である
6)つまりは、これは 整数a,b、0<=a<=bで、最初の文章で表現されたことの代数的説明ができたことになる
QED
補足
1)”x+1=AB=p”から、A=1つまりa=0は必然
2)よってa=0だから、このとき x:=ab+a+bは、実質x:= bで、b=p-1だから、「+1すると素数なんです」となるが成立する
3)x=ab+a+b → x=AB-1 が
平凡ながら、ちょっとした小技
つまり、最初の式は文字の項が3つ対し、
後者の式は文字の項が1つにすっきり纏められて、
素数pとABの素因子の関係が見易くなっていることがポイントだね
簡単な、大学入試問題クラスだろうかね(^^; >>342
わからん。勝手にせつめいされた。
もぴろん。わからん。 >>342 訂正
2)A=a+1、B=b+1 とする。さて、今の場合 B>=A>=1としても一般性を失わない
↓
2)A=a+1、B=b+1 とする。さて、今の場合 B>=A>=1である ∵0<=a<=bより
だな(^^; n∈Nに対して、n=(a+1)(b+1)となる正整数の組{a,b}が存在する
⇔nは合成数
だよね。これは
nは素数⇔n=(a+1)(b+1)となる正整数の組{a,b}は存在しない
とも言える。
(a+1)(b+1)=ab+a+b+1と展開して
nは素数⇔n-1=ab+a+bとなる正整数の組{a,b}が存在しない
と言い換えただけ。まったく自明な命題。 問1
xが正整数のときx^2+x+1の素因数は必ず3か6n+1型の素数であることを示せ。
問2
問1の事実を使って、ユークリッドの証明に倣って、6n+1型の素数は無限に存在することを示せ。 >何故,整数論は数学の女王なのでしょうか?
一例を挙げれば、p進数体という、非直観的だが極めて重要な数学的構造を発見したのは、整数論的研究による。
加藤和也
「物理も研究している数学者のマニンは、宇宙が
実数体とp進数体のまざったような世界であると
考えているのである。実際、RとすべてのQ_pを
対等に扱うのは現代の数論で標準的な姿勢に
なっており、宇宙のこともそう考えるのが自然である。」
参考
p-進量子力学
https://ja.wikipedia.org/wiki/P-%E9%80%B2%E9%87%8F%E5%AD%90%E5%8A%9B%E5%AD%A6 訂正>>346
>これは
>nは素数⇔n=(a+1)(b+1)となる正整数の組{a,b}は存在しない
>とも言える。
これはn≧2のとき
nは素数⇔n=(a+1)(b+1)となる正整数の組{a,b}は存在しない
とも言える。 もぴろんあほっていってくれたからだいたいまたそれこちとらあほといわれても気にしない。
spacexでおめがせいじんにあいにいく。 >>342 補足
1)x:=ab+a+b
↓↑
2)x+1=ab+a+b+1=(a+1)(b+1)
↓↑
3)x+1=AB |A=(a+1),B=(b+1)
これ、現代数学の常套手段でもあります
つまり、
・1)の世界で ab+a+b を眺めていても、なかなか正体が見えない
・そこで、3)の世界へ移す。二数の積ABとして捉えると、正体がすっきり見える
・さらに、”a,b 正整数”の世界から、数の範囲を広げて、0(ゼロ)を入れる
(ゼロは古代インドで考えられたそうだ。古代ギリシャ、ユークリッドは知らなかった?)
・そして、0(ゼロ)を含めた非負整数に拡張することで、a=0が使え、そしてA=1が使えて、”ab+a+b”の正体がすっきり見える
これ、現代数学の常套手段でもあります
1)〜3)の世界を行ったり来たり
(参考)
https://ja.wikipedia.org/wiki/0
文字 0 によって表されるものは、何もないことに対応する基数(自然数[注 1])であり、1 の直前の序数(順序数)であって、最小の非負整数である。
歴史
0 の起源
アルキメデスは「ある数とある数を足せば、結果は元の数より大きくなる」という「アルキメデスの公理」を定立したが、足しても増えない性質を持つゼロは、この公理上、数ではないことになる[注 3]。古代ギリシア人は「ο」を単に小数点のような位取りを表す補助記号として使い、数のうちに含めなかった。ギリシア数字にはゼロを示す文字がなく、ギリシャの数体系を継承したローマ数字にもゼロにあたる数字がない。
古代西洋で 0 の概念が受容されなかったのは、その宇宙観によるところが大きかった。アリストテレスは「自然は真空を嫌う」と宣言し、空間は必ず何らかの物質が充満しているとして真空、つまり「無」の存在を認めなかった。またアリストテレスは、宇宙を地球を中心にする球である天球と定義し、有限なものと考えた。この哲学からは「無」と「無限」は認められなかった[11]。 >>351 追加
数の範囲の拡張も
現代数学の常套手段
数に限らず
関数概念の拡張とか
微分の拡張とか
測度概念の拡張とかね
”拡張”がキーワードですね
現代数学の >>351
>1)x:=ab+a+b
> ↓↑
>2)x+1=ab+a+b+1
> ↓↑
>3)x+1=AB |A=(a+1),B=(b+1)
>これ、現代数学の常套手段でもあります
羊頭狗肉 いちから株式会社はなんや。楽して稼いでなおかつわれから金とるんかい。
なかみがやくざとかわらんな。 われは日本数学会事務局に縁切られたうえ一度も金もらっとらんわ。しかもあと1年すれば障害年金全部生活費に貸すし。
ついでに荷揚げ屋は18から20歳の間で二年間月給7万円から27万円だった。
現在26歳の男の子で童貞まもってきたわ。何回か危うかったが。
ちな現在働いてる。
精神病院4回入院してる。三ヶ月間くらい。
ええなあ、上級国民は法も味方にできても。 内出血して顔太ったわ。
そしたら精神病院の職員の日比野さんにゆうすけくんふとったから表情が明るく(かわいくよくでる)ようになってよくなったねって。
思い出ハラスメント。メモハラっていったら。ああメモリーハラスメントかって言われたけど。
顔が太ったのはいいしいけめんじゃないのも別に気にしないが
内出血でふとったのがどうすんだよ。
まあ、その程度のじゃなんともないと思うが。
てかいちからはなんや。やりたいんか。われと。あぁ!?。
金がほしいんかい。
はよ答ええんかいわれ。 いちから株式会社へ。
てめぇら馬鹿のらいばぁさんたちのその実況で、それによる性教育での影響に於いて性に関するいけない発言や行動に手を出した視聴者の男の子や女の子がいることわかっとるんかい。
われはこれを怒っとるんや
視聴者関係無しに不愉快なんじゃ。
法律も守らずに実況しやがって。
そちらの逃げ道はゆうちゅぅぶによるばんか。
逃げ道があってええなあ。
われもばんで許してもらいたいわ。 >>358
ちなみに観てない。
ライブ中継を。ここ三ヶ月かそこら。
youtube自体、あまり好意的に思わない。
SNSは一切やってない。数で表すと零。 >いちから株式会社
「間違ってる!」
「何が?」
「自然数は0から始まる」
「そこ?!」 自然数は0抜きとされたり0込みとされたりを文脈から推測する必要があり、その必要が無い様に屡々
正整数(つまり0抜き自然数)と非負整数(つまり0込み自然数)と言って混乱や面倒を避ける事が有る。 >>360
ああ。
代理に答えてくれたな。ありがとう。
あの子達なら言いそう。
馬鹿の知ったかぶりは昔からモバゲーの日記の時代から嫌われてる。
あと特にニュース速報(嫌儲)でも。
毎日レオパレスの床のあかを10円玉でこすってダニ退治してたからね僕。そのときの格好品が床のあかをこするのに加えてニュース速報(嫌儲)で毎日喧嘩すること。だった。 キレるたびに情報が漏れてるところからアルバイトできない場所が増えていく。まあ、いいが。
そんな労働の自由や場所の与えてもらう権利を損ねていくのなら。
こちらとらにも手はあるが。
つまり軍事機密のブログ作るぞ。
言っとくが本は一切読んでない高木貞治の本の話は冗談だ。
世の中金や身を労る家を買って法的に自分の所有物として持っていることが全てじゃねえ。
隔離室に入れられたら仲間を友達を信じて寝て過ごしてればいい。待ってればお母さんお父さんぺっと姉妹兄弟家族を助けてくれる。 なんでやくざが愛知県春日井市のLivinの跡地に目をつけとんや。わかっとんのかぼけぇ。
爆弾しこんだり銃殺したら許さんぞくそ弘道会。
てめーらがかかわったら反対勢力が手を出すんや。
手を引いてやくざ解体しろや。邪魔じゃ。戦場(洗浄)に事の善悪なし。ただ斬る(着る)あるのみある。沖田総司より。 >>363
>言っとくが本は一切読んでない高木貞治の本の話は冗談だ。
ああ(>>323)、
そうなんか(>>330)? (^^;
ご苦労さん
だが、それに悪のりした御仁がいた
>>324と>>326の ID:BuA8Fzkj だ
したり顔で、なんかワケワカの解説w(^^ >>351
(引用開始)
これ、現代数学の常套手段でもあります
つまり、
・1)の世界で ab+a+b を眺めていても、なかなか正体が見えない
・そこで、3)の世界へ移す。二数の積ABとして捉えると、正体がすっきり見える
1)〜3)の世界を行ったり来たり
(引用終り)
(補足)
1例を挙げれば、フーリエ変換(下記)
微分方程式を代数方程式に変換することができて、代数方程式を解いて、その解を逆フーリエ変換して、もとの微分方程式の解を得ることができる
古典ガロア理論が、もう一つの例
代数方程式の根のありようを、体の拡大とその自己同型群の世界に移す。そこでは、ベキ根解法は、巡回群を意味するので、一般の5次の代数方程式がベキ根で解けるか否かが見えてくるのです
https://ja.wikipedia.org/wiki/%E3%83%95%E3%83%BC%E3%83%AA%E3%82%A8%E5%A4%89%E6%8F%9B
フーリエ変換
応用
微分方程式の解析学
フーリエ変換および近い関係にあるラプラス変換は微分方程式の解法において広く用いられる。
f(x) を可微分函数で、そのフーリエ変換を ^f(ξ) とすると、導函数のフーリエ変換が 2πiξ^f(ξ) で与えられるという意味でフーリエ変換と微分作用素は両立する。
このことを用いて微分方程式を代数方程式に変換することができる。
https://ja.wikipedia.org/wiki/%E3%82%AC%E3%83%AD%E3%82%A2%E7%90%86%E8%AB%96
ガロア理論(ガロアりろん、Galois theory)は、代数方程式や体の構造を "ガロア群" と呼ばれる群を用いて記述する理論。1830年代のエヴァリスト・ガロアによる代数方程式の冪根による可解性などの研究が由来。ガロアは当時、まだ確立されていなかった群や体の考えを方程式の研究に用いていた。
ガロア理論によれば、“ガロア拡大”と呼ばれる体の代数拡大について、拡大の自己同型群の閉部分群と、拡大の中間体との対応関係を記述することができる。 >>347の問題は解けましたか?
任意の素数は、2, 3, 6n+1型, 6n+5型のいずれかになりますが
問1はxが整数のときx^2+x+1の素因数は、2, 6n+5型には
なりえないことを主張しています。
問2の解答。
6n+1型素数に上界Xがあるとして矛盾を導く。
ΠをX以下のすべての素数の積とする。
すなわち、Π=Π_{p:素数, p≦X}p.
Π^2+Π+1という数は、X以下のどの素数で割っても1余る。
しかし一方、その素因数は6n+1型の素数でなければならないが
これは矛盾である。 ついでに、6n+5型の素数が無限に存在することの証明は
「xが正整数のとき、6x+5は、少なくとも一つの6n+5型素数を素因数として持つ」
(6n+1型の素数をいくらかけても6n+1型の整数にしかならないから)
ことから、6Π+5という数を考えれば、同様に証明できる。 >>347
問1はつぎの解法が"初等的"ではある
相互法則やガウス和の利用を回避できるところがポイント
x^2+x+1 の素因数pを任意に取る. p>3 であるとしよう.
このとき xとpは互いに素である.(さもなくば p|1 となり矛盾)
このとき, p≡1 (mod 6)であることを示したい.
まず x^2+x+1≡0 (mod p) ...(1) が成立している
(1)の両辺にx-1を掛けることで x^3≡1 (mod p) ...(2)
s=ord_p(x)とおくと sは3の正の約数であるから sは1か3である
s=1 とすると x≡1(mod p) だが このとき (1)より 3≡0 (mod p)
よって p=3 となるが 仮定により p>3 だから この場合は不適
なので s=3 としてよい
一方 フェルマの小定理より x^(p-1)≡1 (mod p)
ここで s=3 すなわち ord_p(x)=3 より 3|p-1 が導かれる
証明ここまで
参考までに ord という記号について説明する
一般に pを素数, aをpと互いに素な整数とするとき
これは a^e≡1 (mod p)を満たす最小の正の整数eをord_p(a)で定める
a^u≡1 (mod p)なる自然数uを任意に取るとき 必ず uはord_p(a)で割り切れる
この事実は簡単に証明できる
証明の方針をいうとZがユークリッド環であること,
もっというと除法の原理を用いればよい 逆バージョン, 具体的には次はもっと簡単に示せる:
pをp≡1(mod 6)なる素数とするとき
x^2+x+1がpで割り切れるような正の整数xが存在する
(証明)
gをmod p の原始根のうちの1つとする
x = g^((p-1)/3) とおくと x^3=g^(p-1)≡1 (mod p)
よって (x-1)(x^2+x+1)≡0 (mod p) が成立するから
x-1≡0 (mod p) か x^2+x+1≡0 (mod p) の少なくとも一方が成立する
x-1≡0 (mod p) とすれば g^((p-1)/3)≡1 (mod p) となり
gが原始根であることに反するので
x^2+x+1≡0 (mod p) であることが示された
証明おわり
つまり実質の原始根の存在だけで示せたということで
極めて簡単な証明ということになりました >>373
正解です。
「(Z/pZ)^× は位数p-1の巡回群である」を先に証明しておけば
単なる群論的性質ですね。
pが6n+5型のときは、3乗して1になる(Z/pZ)^×の元は存在しない。 訂正
pが6n+5型のときは、3乗して*初めて*1になる(Z/pZ)^×の元は存在しない。 >>374
逆に任意の6n+1型素数はある整数xに対して
x^2+x+1の素因数としてあらわれるということですね。
一般に、「xが整数を動くとき整数係数既約多項式f(x)
の素因数としてあらわれる素数の集合を記述すること」
という(一般的には非常に難しい)問題が考えられますが
それが可能な古典的なケースが「アーベル多項式」の場合で
「有限個を除いてすべてある等差数列(達)の上に乗っている」
というのが「類体論的現象」とされる性質ですね。
Q上の類体は円分体(及びその部分体)と同義。 類題をあげておきましょう もちろん完全に初等的な方法で解けます:
(1) nを正の整数とし, n^3-3n+1の素因数をpとする.
このとき, p=3 か p≡±1 (mod 9) であることを証明せよ
(2) (1)を用いて 9k-1型の素数が無限個存在することを示せ (1)を古典的な代数的整数論でやるなら,
p>3とし,ζを1の原始9乗根として
L=Q(ζ), K=Q(ζ+1/ζ), Lの整数環をO_A, Kの整数環をO_B とおく.
ζ + 1/ζ の最小多項式は x^3-3x+1 であることに注意する
(ここは計算によりすぐに判明するが 逆にこれに気づかない場合は
以下のような解法を取ることはありえない
なので本当の意味で最初にやるべきことは
たとえば x^3-3x+1の判別式を計算することである
すると判別式は81と平方数になっているので x^3-3x+1の分解体のガロア群は
巡回群となるから x^3-3x+1の根をαとおくと Q(α)/Qはアーベル拡大となる
判別式は81ということだから クロネッカー・ウェーバーの定理から
ある正の整数mが存在して Q(α)⊂Q(ζ_(3^m)) となっていることがわかる
奇素数ベキの円分体の拡大は巡回拡大であるから
今回の場合は m=2 とすれば十分であることがいえる
と,以上のような方法で 判別式の情報から Q(α)⊂Q(ζ) がいえた)
pは9を割らないので pO_Aは 不分岐である (例えば共役差積の計算からわかる)
qをpO_Aを割り切る素イデアルとする.
qのフロベニウス置換がζ→ζ^pにより一意的に決まる(重要,非自明だが有名)
pはn^3-3n+1 の素因数なのだから x^3-3x+1∈F_p[x]が1次の因子を持つ
Kはアーベル拡大なのだから pO_B は 完全分解している
よって Kに対応するGal(L/Q)の部分群は qの分解群に含まれる
したがって ζ→ζ^p の位数は1か2であることが従う.
1の場合は p≡1 (mod 9) であり 2の場合は p≡ -1 (mod 9) となる
証明の概略ここまで 訂正
O_A, O_B とかいう記法はタイプミスなので訂正
O_A, O_B はそれぞれ O_L, O_K としといてください
最後から4行目は包含関係が逆になっていて
正しくは Kに対応するGal(L/Q)の部分群は qの分解群 を"含む" です
(なので 含まれるとなる場合は逆対応で Kが qの分解体に"含まれる" )
以上
もっとも初等的な方法はずっと簡潔で
こんなグダグダ前提となる情報を書く必要がないのですが >>377
そうですね
たとえば 数体Q(2^(1/3))において
(p)がどのような分解するか,となると これはもう
アーベル拡大の理論で説明がつかない(たとえば KWに相当するのがない)
しかし実は保型形式が対応している(ラングランズ対応)
というようなことをシコシコと頑張っていた(ている)のが今の主流の1つですね 22xXPTDc様
xl9Agv/6様
朝?も早くからご苦労様です_(_ _)_
しかしながら>>371-381を読んで
◆yH25M02vWFhPは整数論に
ますます興味を持たなくなったでしょう
彼は考えることが苦手というか
ぶっちゃけ大嫌いのようですから
正則行列を知らず、逆行列の公式に脊髄反射して
すべての行列が逆行列を持つと思い込むような
無思索の人はそもそも数学に興味を持っても
無駄というか無意味でしょう
それこそギターも弾けないのにロックバンドやりたがるとか
マウンドから投げた球がキャッチャーまで届かないのにピッチャーやりたがるくらい
無謀なことだと言わざるを得ません
あの東大理Tに受かる人たちも大半が
「数学なんて成果を利用するだけで精一杯で
定理の証明を読んで理解するなんてうんざりなのに
ましてや自分で新しい定理を証明するとかどんな罰ゲームですか」
とかいって工学部に行っちゃうんですから 訂正>>372
6Π+5だと5で割れてしまいますね(><)
Π=Π_{p:素数, 5<p≦X}p と置き直して
6Π+5 とすればよい。 >>378
有限体を使うのかな?
「ζを1の原始9乗根として
ζ + 1/ζ の最小多項式は x^3-3x+1」
とタネ明かしされているので
「x^3-3x+1がZ/pZ=F_p上で一次式の積に分解する」
⇔x^6+x^3+1(ζの最小多項式)がF_p^2上で一次式の積に分解する
⇔|(F_p^2)^*|=p^2-1 が9で割り切れる
⇔p≡±1 (mod 9)
となる。 >>382
あのひとはコピペしてコレクトするのが好きなのかな?
とは思います。何が楽しいのかわかりませんが。
>ましてや自分で新しい定理を証明するとかどんな罰ゲームですか
本当に自分で考えて思いついた、誰も証明していない定理が
証明できれば、それはもう夢でしょう。
これほどの快楽はあまり存在しないと思いますね。
まぁ往々にして間違っていたり、遥に一般的な定理が既に
知られていたりするから地獄を見るんですけどね笑
それも含めて、プレイすることにこそ楽しさがあるのでしょうね。 >>375
>>383
面白そう。
本買うわ。名古屋行ってくるこんど。
しかしやくざうろうろいっぱいおるけど何もやってこんでしょ多分。 >>386
名古屋ですか。友達が住んでますね。
p進L函数で知られる「名古屋のガウス」ともいえる
久保田富雄氏がおられる街ですね。
ぶっちゃけ、ウィキペディアでも結構勉強になる。(自分で補えるなら。)
補えないときは本を買うかな。
最近買った本。
p進ゼータ関数---久保田-レオポルドから岩澤理論へ シリーズゼータの現在 [プリント・レプリカ] Kindle版
青木 美穂 (著) 実は久保田氏とお話したことがあるんですよ。
「p進の話は大したことはない。この仕事にばかり注目が集まるのは本意ではない。
わたしが本当に心血を注いだのはこの論文なんだ」
と示されたことがありました。それをあのガウスのような顔で
キラキラとした目で話されるのでした...。 >>386
>本買うわ。名古屋行ってくるこんど。
ID:1lEWVa2s さん
ご苦労さまです(^^ >>368
(引用開始)
だが、それに悪のりした御仁がいた
>>324と>>326の ID:BuA8Fzkj だ
したり顔で、なんかワケワカの解説w(^^
(引用終り)
(補足)
いま、”必死チェッカーもどき”で調べると下記だな
やっぱ、某スレの維新さん こと、
おサル(>>2ご参照)じゃんか〜!ww
で、照れ隠しかゴマカシか知らないが
>>371- 以下
必死の話題逸らし?
お得意の複数id使い分け?
笑えるぜ!www(^^;
(参考)
http://hissi.org/read.php/math/20201115/QnVBOEZ6a2o.html
必死チェッカーもどき
数学 > 2020年11月15日 > ID:BuA8Fzkj
1 位/72 ID中 Total 28
使用した名前一覧
132人目の素数さん
書き込んだスレッド一覧
・楕円関数・テータ関数・モジュラー関数
・ 0.99999……は1ではない その15
・数学者と心理学者で「数学的思考とは何なのか」について共同研究をするべき。
・【万年】黒木玄を語ろう【助教】 その2
・○○変換を1000個挙げるスレ
・純粋・応用数学(含むガロア理論)5
・無職だから最近数学の勉強をしている >>394 リンク訂正
おサル(>>2ご参照)じゃんか〜!ww
↓
おサル(>>4ご参照)じゃんか〜!ww
(^^; ■ このスレッドは過去ログ倉庫に格納されています