[過去ﾛｸﾞ]
現代数学の系譜 工学物理雑談 古典ガロア理論も読む49 (658ﾚｽ)
現代数学の系譜 工学物理雑談 古典ガロア理論も読む49 http://rio2016.5ch.net/test/read.cgi/math/1514376850/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
232: １３２人目の素数さん [sage] 2018/01/07(日) 17:36:22.02 ID:VTzP8LoB >>230 笑 http://rio2016.5ch.net/test/read.cgi/math/1514376850/232
233: １３２人目の素数さん [sage] 2018/01/07(日) 17:38:25.30 ID:VTzP8LoB どうしてこうも簡単に間違えるんですかね しかも自信満々に http://rio2016.5ch.net/test/read.cgi/math/1514376850/233
234: １３２人目の素数さん [] 2018/01/07(日) 17:54:49.47 ID:N8CS4cZU バカ自慢したいんでしょう http://rio2016.5ch.net/test/read.cgi/math/1514376850/234
235: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2018/01/07(日) 18:14:22.19 ID:2l42E8SE >>230>>232-234 まあ、有理数点 p、q ≠ 0 とでもしますかね？（＾＾ http://rio2016.5ch.net/test/read.cgi/math/1514376850/235
236: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2018/01/07(日) 18:15:25.68 ID:2l42E8SE >>231 おっちゃん、どうも、スレ主です。 ああ、おっちゃん、シロートの新定理発見者やったね（＾＾ 論文まっているよ〜（＾＾ http://rio2016.5ch.net/test/read.cgi/math/1514376850/236
237: １３２人目の素数さん [sage] 2018/01/07(日) 18:22:11.66 ID:VTzP8LoB >>235 係数を無理数に拡大した時点で元の話題から完全に逸れてる さらには小学生でも分かる自明な間違いを冒しているにも関わらず 自信満々にドヤ顔で！マークまで付けちゃってるところにスレ主の「どうしようもなさ」がヒシヒシと伝わってくる http://rio2016.5ch.net/test/read.cgi/math/1514376850/237
238: １３２人目の素数さん [sage] 2018/01/07(日) 18:24:19.00 ID:WplCTiTS >>236 いっておくけど、系 1.8 の結果は 有理数の点で不連続, 無理数の点で一様連続となるf : R → R は存在しない まで拡張出来る。 http://rio2016.5ch.net/test/read.cgi/math/1514376850/238
239: １３２人目の素数さん [sage] 2018/01/07(日) 18:32:13.19 ID:WplCTiTS >>236 しかし、 >有理数の点で不連続, 無理数の点で一様連続となるf : R → R は存在しない のfの定義域を閉区間にすると成り立たない。 ま、つまり、fの定義域がRであれば、 >有理数の点で不連続, 無理数の点でリプシッツ連続となるf : R → R は存在しない どころか >有理数の点で不連続, 無理数の点で一様連続となるf : R → R は存在しない までいえる。 http://rio2016.5ch.net/test/read.cgi/math/1514376850/239
240: １３２人目の素数さん [sage] 2018/01/07(日) 18:44:29.65 ID:WplCTiTS じゃ、おっちゃん寝る。 http://rio2016.5ch.net/test/read.cgi/math/1514376850/240
241: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2018/01/07(日) 19:30:16.25 ID:2l42E8SE >>237 >係数を無理数に拡大した時点で元の話題から完全に逸れてる 原点を通らない直線なら、トリビアだが、例えば、y=ax+b で、aを有理数,bを無理数にすれば、良い！ドヤ！（＾＾ http://rio2016.5ch.net/test/read.cgi/math/1514376850/241
242: １３２人目の素数さん [sage] 2018/01/07(日) 19:46:58.28 ID:VTzP8LoB >>241 日本語通じないのか？ http://rio2016.5ch.net/test/read.cgi/math/1514376850/242
243: １３２人目の素数さん [sage] 2018/01/07(日) 19:49:43.98 ID:VTzP8LoB キミ、定数項bは係数ではないと思ってる？ http://rio2016.5ch.net/test/read.cgi/math/1514376850/243
244: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2018/01/07(日) 20:34:30.47 ID:2l42E8SE >>242-243 係数が有理数の一次関数で、有理点を通らない関数は存在しない！！ それが大前提・・・だよ？ だろ？ 当然、係数の範囲を拡張しないと http://rio2016.5ch.net/test/read.cgi/math/1514376850/244
245: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2018/01/07(日) 20:46:08.89 ID:2l42E8SE >>238 おっちゃん、どうも、スレ主です。 >いっておくけど、系 1.8 の結果は >有理数の点で不連続, 無理数の点で一様連続となるf : R → R は存在しない >まで拡張出来る。 ああ、下記だな”g fails to satisfy・・even any specified pointwise modulus of continuity condition on a co-meager set.”＆ ”Let E be the set of points at which f is continuous and where at least one of the four Dini derivates
of f is infinite. Then E is co-meager in R (i.e. the complement of a first category set).” 繰返すが、 ”any specified pointwise modulus of continuity condition” ＆ ”at least one of the four Dini derivates of f is infinite” だから（特に後者Dini微分）、どこかの無理数の点で一様連続も破綻するだろうな （>>40より）http://mathforum.org/kb/message.jspa?messageID=5432910 THEOREM: Let g be continuous and discontinuous on sets of points that are each dense in the reals. Then g fails to have a derivative on
a co-meager (residual) set of points. In fact, g fails to satisfy a pointwise Lipschitz condition, a pointwise Holder condition, or even any specified pointwise modulus of continuity condition on a co-meager set. (Each co-meager set has c points in every interval.) （>>41より） REMARK BY RENFRO: The last theorem follows from the following stronger and more general result. Let f:R --> R be such that the sets of points at which f is continuous and discontinuous are each dense in R. Let E be the se
t of points at which f is continuous and where at least one of the four Dini derivates of f is infinite. Then E is co-meager in R (i.e. the complement of a first category set). This was proved in H. M. Sengupta and B. K. Lahiri, "A note on derivatives of a function", Bulletin of the Calcutta Mathematical Society 49 (1957), 189-191 [MR 20 #5257; Zbl 85.04502]. See also my note in item [15] below. (引用終り) http://rio2016.5ch.net/test/read.cgi/math/1514376850/245
246: １３２人目の素数さん [sage] 2018/01/07(日) 20:55:58.03 ID:VTzP8LoB >>229 > トリビアだが、係数を無理数まで許せば、有理点を持たない直線（１次曲線）も、実はいっぱい存在する > 例えば、y=ax で、aを無理数にすれば、良い！ （有理数p,qに対し、常にq≠ap （∵ aは無理数なので、a≠q/p ）（＾＾ ） 君の>>229の「実はいっぱい存在する」というドヤ発言に対して >>237 >係数を無理数に拡大した時点で元の話題から完全に逸れてる とコメントしているのであって >>241 > 原点を通らない直線なら
、トリビアだが、例えば、y=ax+b で、aを有理数,bを無理数にすれば、良い！ドヤ！（＾＾ >>247 > 係数が有理数の一次関数で、有理点を通らない関数は存在しない！！ > それが大前提・・・だよ？ だろ？ 当然、係数の範囲を拡張しないと では支離滅裂だろうがよ 「実はいっぱい存在する」が全員の大前提ならば 「実は」なんて勿体ぶった言い方にはならんだろうが。 大丈夫かキミは http://rio2016.5ch.net/test/read.cgi/math/1514376850/246
247: １３２人目の素数さん [sage] 2018/01/07(日) 20:56:58.68 ID:VTzP8LoB 頭イカれてるぞここのスレ主は みんな分かってここにいるのか？ http://rio2016.5ch.net/test/read.cgi/math/1514376850/247
248: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2018/01/07(日) 21:06:35.79 ID:2l42E8SE >>239 >しかし、 >>有理数の点で不連続, 無理数の点で一様連続となるf : R → R は存在しない >のfの定義域を閉区間にすると成り立たない。 そんなことはないだろう the Ruler Functionとかトマエ関数の変形版は The ruler function f is defined by f(x) = 0 if x is irrational, f(0) = 1, and f(x) = 1/q if x = p/q where p and q are relatively prime integers with q > 0. で、閉区間[0,1]で論じれば、
あとは各整数区間[n,n+1](nは整数) で同じ繰り返しだよ（例えば下記） https://www.desmos.com/calculator/jp4cbjfjpe トマエ関数 - Desmos http://rio2016.5ch.net/test/read.cgi/math/1514376850/248
249: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2018/01/07(日) 21:08:05.07 ID:2l42E8SE >>246-247 最初から、係数は無理数まで拡張しているよ http://rio2016.5ch.net/test/read.cgi/math/1514376850/249
250: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2018/01/07(日) 21:09:07.87 ID:2l42E8SE 最初から、一貫して、係数は無理数まで拡張している http://rio2016.5ch.net/test/read.cgi/math/1514376850/250
251: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2018/01/07(日) 21:15:06.29 ID:2l42E8SE 係数や解の範囲を、どう定めたら（定義したら）、面白い・良い結果が得られるか？ それは、問題ごとに考えるべし 範囲を複素数にとったり 代数的整数に取ることもあるだろう 二次式なら、有理数係数で良いが 一次式なら、有理数係数では足りないってことだ http://rio2016.5ch.net/test/read.cgi/math/1514376850/251
252: １３２人目の素数さん [sage] 2018/01/07(日) 21:28:58.73 ID:VTzP8LoB >>251 > 係数や解の範囲を、どう定めたら（定義したら）、面白い・良い結果が得られるか？ > それは、問題ごとに考えるべし 一次式の係数を無理数にとったら値が有理数にならないことがある、ということのどこが面白いの？ 肝心の>>237のレスとは噛み合わないままだし、キミは本当に頭大丈夫なヒト？ >>237 >係数を無理数に拡大した時点で元の話題から完全に逸れてる http://rio2016.5ch.net/test/read.cgi/math/1514376850/252
253: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2018/01/07(日) 22:39:08.33 ID:2l42E8SE >>252 >一次式の係数を無理数にとったら値が有理数にならないことがある、ということのどこが面白いの？ 数理女子(>>217)にならって言えば "有理点が無い場合 実平面の中には有理点がびっしりと詰まっているので、有理点を避けて通る直線なんて無いような気がしてしまうかもしれません。しかし、有理点を持たない直線（１次関数）も、実はいっぱい存在するのです。" ってこと なお、下記「この予想は Q を任
意の数体へ置き換えた予想へ一般化された」みたいな話は、数学では至る所ある 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 ファルティングスの定理 (抜粋) 数論では、モーデル予想(Mordell conjecture)は、Mordell (1922) で提出された予想で、有理数体 Q 上に定義された 1 よりも大きな種数を持つ曲線は、有限個の有理点しか持たないであろうという予想である。 後日、この予想は Q を任意の数体へ置き換えた予想へ一般化された。この予想は Gerd Faltings
(1983) により証明されたので、ファルティングスの定理(Faltings' theorem)として知られている。 目次 1 背景 2 証明 3 結論 4 一般化 背景 C を Q 上の種数 g の非特異代数曲線とすると、C の有理点の集合は次のように決定することができる。 g = 0 の場合：全く点が存在しないか、もしくは無限個： C は円錐の断面（英語版）である。 g = 1 の場合：全く点が存在しないか、もしくは C が楕円曲線で、有理点が有限生成アーベル群である。（モーデル定理(Mordell's Theorem)は、後日、モーデル・ヴェイユの定理(Mordell?Weil theorem)へ一般化され
た。さらにメイザーの捩れ定理[1]は捩れ部分群の構造を制限している。） g > 1 の場合：モーデル予想、現在はファルティングスの定理である。C は有限個の有理点しか持たない。 つづく http://rio2016.5ch.net/test/read.cgi/math/1514376850/253
254: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2018/01/07(日) 22:40:03.16 ID:2l42E8SE >253 つづき 証明 ファルティングスの元々の証明は、テイト予想の既知の場合へ帰着させることと、ネロンモデルの理論を含む代数幾何学の多くのツールを使う方法であった。ディオファントス近似を基礎とする全く異なる証明は、ポール・ヴォイタ（英語版）(Paul Vojta)により得られている。さらにヴォイタの証明の初等的な証明はエンリコ・ボンビエリ(Enrico Bombieri)が与えた。 一般化 モーデル・ヴェイユの定理により、ファルテン
グスの定理はアーベル多様体 A の有限生成部分群 Γ を持つ曲線 C の交点理論についてのステートメントとして再定式化することができる。 C を A の任意の部分多様体に置き換え、Γ を任意の A の有限ランクの部分群へ置き換えることで、モーデル・ラング予想（英語版）(Mordell?Lang conjecture)[2]を証明することになる。 ファルテングスの定理の別の項次元への一般化は、ラング・ボンビエリ予想（英語版）(Bombieri?Lang conjecture)であり、X が数体 k 上の準標準多様体（英語版）(pseudo-canonical variety)（すなわち、一般型の多様体）であれ
ば、X(k) は X でザリスキー稠密ではない。さらに一般的な予想がポール・ヴォイタ（英語版）(Paul Vojta)により提示されている。 函数体のモーデル予想は、Manin (1963) と Grauert (1965) により証明された。Coleman (1990) はマーニンの証明のギャップを見つけ修正した。 (引用終り) http://rio2016.5ch.net/test/read.cgi/math/1514376850/254
255: １３２人目の素数さん [] 2018/01/07(日) 22:59:17.61 ID:abwOwMGc スレ主へ 実力が伴って無いのに色々なトピックに手をだすのはあまり良くない。まずは落ち着いて微積分と線形代数を理解するところから始めるべき。 http://rio2016.5ch.net/test/read.cgi/math/1514376850/255
256: １３２人目の素数さん [sage] 2018/01/07(日) 23:24:26.42 ID:VTzP8LoB > 実平面の中には有理点がびっしりと詰まっているので、有理点を避けて通る直線なんて無いような気がしてしまうかもしれません。しかし、有理点を持たない直線（１次関数）も、実はいっぱい存在するのです。" > ってこと だーかーらー、「気がしてしまう」のは係数がQだからでしょうが。 キミの例のように係数を無理数にしてしまったら不思議でもなんでもないだろ？ どこまで馬鹿なんだよまったく >>253 > なお、下記「この予想は Q を任意の数体へ
置き換えた予想へ一般化された」みたいな話は、数学では至る所ある 話をごっちゃにすな阿呆 お前の無理数の例は一般化になっとらんわ http://rio2016.5ch.net/test/read.cgi/math/1514376850/256
257: １３２人目の素数さん [sage] 2018/01/07(日) 23:25:29.32 ID:VTzP8LoB アホくさ http://rio2016.5ch.net/test/read.cgi/math/1514376850/257
258: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2018/01/08(月) 07:51:44.95 ID:KgoytC9i >>255-257 (>>217) http://www.suri-joshi.jp/enjoy/rational_point_of_the_quadratic_curve/ ２次曲線の有理点 数理女子さん （多分2017） で、冒頭の節は 「2次曲線とは一般的な方程式で f(x,y)=a1x^2+a2xy+a3y^2+a4x+a5y+a6=0,(a1,・・・,a6∈R) という形で表される曲線です。」 と始まっている で、途中から 「以下では２次曲線がQ上定義された場合、すなわち a, b, c∈Qの場合のみ考えます。」 と変わった だから、
もともとは、(a1,・・・,a6∈R)だったでしょ http://rio2016.5ch.net/test/read.cgi/math/1514376850/258
259: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2018/01/08(月) 08:20:11.67 ID:KgoytC9i >>255 "実力が伴って無い"は、全く正しい（＾＾ が、https://www.axfc.net/u/3870548?key=Lipschitz 「定理1.7 (422 に書いた定理)」（>>145）とその証明不成立を主張したのは 私スレ主と、前スレで 401 名前：１３２人目の素数さん[] 投稿日：2017/12/22(金) 13:35:59.80 ID:zkh22JUH [1/2] どっちもどっち ID:KNjgsEZnはただの基地外 (引用終り) と言った人の二人だけ （>>180-183）の「定理1.7 (422
に書いた定理)」のどこがまずいかというと、 Bf自身と、Bfを被覆するBN,Mとの区別がついていないってことだ Bfを被覆するBN,Mについて論じて、それが、即Bf自身についても成り立つと思ってしまった この場合はそうじゃない。 補集合 R−Bf が、有理数Qのように稠密分散されている場合は、Bf自身も内点を持たないし開区間(a, b)など取れない（言われて見れば当たり前） 他の理論の被覆と混同したんだろう 集合の被覆では、被覆する集合と被覆される集合との関係は、他の理論の被覆とは違う（>>212） ただ、間違いは間違いだから、そこは
はっきりさせないと数学じゃないが この証明を書いた人は、おれより大分レベル上で、実力あるよ また、証明は天才大数学者でも間違うことがあるから、ドンマイだ >色々なトピックに手をだすのはあまり良くない ここは、”雑談スレ”という定義だよ http://rio2016.5ch.net/test/read.cgi/math/1514376850/259
260: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2018/01/08(月) 09:22:06.80 ID:KgoytC9i ”実平面の中には有理点がびっしりと詰まっているので、有理点を避けて通る直線なんて無いような気がしてしまうかもしれません。 しかし、有理点を持たない直線（１次関数）も、実はいっぱい存在するのです。" なんで、不思議じゃないのかね？ 有理点が、稠密に、びっしりと詰まっているんだよ？ http://rio2016.5ch.net/test/read.cgi/math/1514376850/260
261: １３２人目の素数さん [] 2018/01/08(月) 10:10:05.42 ID:MoNlXTFq 母なる科学の懐に 我ら人の子の喜びはある 科学を愛せよ 科学に生きる人の子ら理科に感謝せよ 美麗な科学を 偉大な科学を 科学をほめよ 讃えよ理科を 我ら人の子の 我ら人の子の 科学をほめよ ほめよ讃えよ 母なる科学を 母なる科学を 讃えよ ほめよ 讃えよ理科を 母なる科学を ああ 讃えよ科学を http://rio2016.5ch.net/test/read.cgi/math/1514376850/261
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 397 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.034s