[過去ログ] IUTを読むための用語集資料集スレ (1002レス)
上下前次1-新
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
396: 2020/08/09(日)06:09 ID:k7ukMcet(3/19) AAS
>>391
>わたしゃ、あんたら、コウモリと違うよ
カラスでしたか
>こんなところで、威張ってどうする?
威張るのは馬鹿のすることですよね:-)
>あんたら、数学科出て落ちこぼれたから、こんなところで威張る
で、あなたは工学部の一般教養の数学で落ちこぼれたから、数学を恨んでる、と
ε-δ、ε-Nも理解できないんじゃ、そうなるでしょうね
で、ノンスタとかいってはしゃいでる、と
コーシーフィルタとウルトラフィルタの違い、分かった
省6
397(1): 2020/08/09(日)06:18 ID:k7ukMcet(4/19) AAS
>>391
>賢者? ”賢者”おらんでしょ? 自分含む
あなたが賢者でないことは明らかですよ
正規部分群の定義を間違えるとか、数学科卒ならあり得ないですから
円分体の同型写像で、ベキの乗法を加法と取り違えたのも、ヒドイですね
>みんなが分かってきたのは
>あんた、アホやってことじゃね?
そんなアホにも凹まされるって、さすがトリ頭ですね
カラスなんて賢いとかいっても所詮トリの中ではってことで
哺乳類と比較したら底辺未満だったってことですね
省6
398: 2020/08/09(日)06:27 ID:k7ukMcet(5/19) AAS
>>383
以前、◆yH25M02vWFhP氏は
「決定番号が必ず自然数になるとはいえない、むしろ確率1で∞になる!」
と絶叫していましたが、決定番号の定義も理解してない自爆発言でしたね
2つの無限列が同値⇔ある自然数nが存在しn以上の項が全て一致
同値類⇔同値な列全体の集まり
代表元⇔同値類の要素の1つ
無限列の決定番号⇔無限列が所属する同値類の代表元との一致箇所の先頭
もし決定番号が∞なら
「どの自然数nについてもn以上の項で不一致のものがある」
省2
399: 2020/08/09(日)06:35 ID:k7ukMcet(6/19) AAS
>>384
◆yH25M02vWFhP氏は
「時枝記事は、ある方法で自然数Dを選べば
選んだ列の決定番号dが、D以下となる確率が
99/100となる」
と絶叫してますが、読解力の欠如を満天下に示す自爆発言ですね
時枝記事は、100列から1列s^kを選べば
自列の決定番号d(s^k)が、
他の99の列の決定番号の最大値D(s^k)以下
となる確率がすくなくとも99/100
省8
400(1): 2020/08/09(日)06:45 ID:k7ukMcet(7/19) AAS
>>385
◆yH25M02vWFhP氏は
・毎回の試行で、箱の中身はその都度変えるに決まってるだろ!
・どの箱を開けるかは初回の試行で選んだ列以外の
99列の決定番号の最大値Dをとった時点で
固定するに決まってるだろ!毎回同じことやるわけない!
という「俺様解釈」に固執した結果自爆した
実際には
・毎回の試行で、箱の中身は変えない(つまり箱の中身は固定)
・どの箱を開けるかは毎回の試行で、選んだ列以外の
省5
401(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/08/09(日)07:10 ID:QmjvhqAQ(2/10) AAS
>>393
>維ソ新とはおまえだよ、
ああ、勘違いw
政治ずきの あほカラス(="Anti-Capitalist" & "Anarchy in Japan")
・”関西”と言えば、即”大阪”と勘違いしている
・”大阪”と言えば、即”維新シンパ”と勘違いしているな
この2点とも外れ
”大阪”=”関西”と言ったら、京都や奈良の人たち怒るよね(この感覚は関西人なら分かるだろうけど)
”維新”を、ディスったところで、なんてことはない。”維新”のシンパではないからね
402(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/08/09(日)07:14 ID:QmjvhqAQ(3/10) AAS
>>400
おっさん、必死
あんた、時枝はあんたの負けだよ
みんな、時枝の数学セミナーの記事不成立って、分かってきたんだよ
それ、自殺行為だよw(^^;
(時枝記事参考)
現代数学の系譜 カントル 超限集合論他 3
2chスレ:math
コテンパンに論破されて
しつこく絡むね
省1
403: 2020/08/09(日)09:38 ID:k7ukMcet(8/19) AAS
>>402
いや、負けたのは君
「決定番号∞」でワンアウト
「d<=Dの確率が99/100」でツーアウト
「確率変数は箱の中身」でスリーアウト
ゲームセット
404(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/08/09(日)09:41 ID:QmjvhqAQ(4/10) AAS
>>397
おサル
下記
「例えば群の例で、自然数しか思いつかないようなもん
で唯一の例を根拠に「群の演算は可換!」とか言いきったら馬鹿」
って、自然数Nが、群の例?
ああ、wikipedia 「自然数(しぜんすう、英: natural number)とは、個数、もしくは順番を表す一群の数のことである」
を誤読したか?
アホじゃん。おれと良い勝負だよなw(^^;
(参考)
省20
405: 2020/08/09(日)09:41 ID:k7ukMcet(9/19) AAS
>>401
>”大阪”=”関西”と言ったら、京都や奈良の人たち怒るよね
で、君の出身はどこ?滋賀?和歌山?
東京の人間に
「関西に属する府県を上げて」
といわれて大阪・京都・兵庫・奈良までは上がるが
その先が出てこない・・・
406: 2020/08/09(日)09:44 ID:k7ukMcet(10/19) AAS
>>404
君は群の公理も覚えられないidiotだと思ってたが
かろうじて逆元の存在は覚えられたんだね
すごいすご~い(小馬鹿にした口調)
407: 2020/08/09(日)09:46 ID:k7ukMcet(11/19) AAS
◆yH25M02vWFhPは多様体とは球面のことだと豪語してなかったか?
例が1つ思いつくとそれで全部だと思い込むのが素人の悪い癖
408(1): 2020/08/09(日)09:57 ID:k7ukMcet(12/19) AAS
2chスレ:math
(群の例)
>まあ、折角だから書いておくと、正方行列とか・・・な
正方行列、キタ――(゚∀゚)――!!
・・・おまえ、ホントに大阪大学卒業したの?(疑)
線形代数の単位とれたの?ウソだろ?(疑)
じゃ、聞くけど、行列式0の行列の逆行列 構成してみ?
省7
409: 2020/08/09(日)10:03 ID:k7ukMcet(13/19) AAS
2chスレ:math
(群の例)
>まあ、折角だから書いておくと、・・・多元数あたりな
おまえ・・・馬鹿だろw
まず加法のことなら、そもそも多元数とかいう以前に線形空間でいい
つぎに乗法のことなら、まずまっさきに0を抜け
ついでにいうなら、そのままでもいいが、
絶対値1に限定するとよりカッコイイぞ!
実数Rの場合なら{1,ー1}
複素数Cの場合ならS^1
省4
410: 2020/08/09(日)11:25 ID:O3Ql50FC(1/6) AAS
瀬田は解析も線型代数も群も基本中の基本からダメ。
要するに大学数学はまるでダメ。
箱入り無数目を理解できないのも当然。
瀬田よ、潔く認めなさい。
411: 2020/08/09(日)11:39 ID:k7ukMcet(14/19) AAS
◆yH25M02vWFhP
「正方行列全体の集合は群を成す」(ドヤぁ)
こんな馬鹿が卒業できる日本の大学の堕落ぶりは
犯罪的と言わざるを得ない
412: 2020/08/09(日)11:45 ID:O3Ql50FC(2/6) AAS
>「確率変数は箱の中身」でスリーアウト
箱入り無数目より引用「箱それぞれに,私が実数を入れる.(中略)そして箱をみな閉じる.今度はあなたの番である.」
↑
sを決める工程(”私”のターン)と数当ての工程(”あなた”のターン)は明確に分離されている。
その上で"あなた"の勝率を論じているのだから、sが確率変数になることはあり得ない。
スリーアウトで瀬田の負け
413: 粋蕎 ◆C2UdlLHDRI 2020/08/09(日)13:52 ID:Geh5aSQj(1/3) AAS
非学者、論に負けず
瀬田氏の引用、タオの仕事に基づきイアンが呼んだ 0.999… とは 0.999…;…999000… なる 標準部0.999…類の一要素、つまり 0.999…擬き であり
正しい0.999… である 0.999…;…999999… とは異なる事
また、順序体では超現実数を除き 0.999…≠1 とは成り得ぬ為に 0.999…≠1 と成す為には順序体で無くす必要が有る。
Aなる考え方がある一方でBなり考え方もある、とは言うが 0.999…≠1 かつ 非超現実数 で 順序体 なる 準超実数 は、存在しない、存在し得ない。
其れを押して 0.999…≠1 かつ 非超現実数 で 順序体 なる 準超実数 が存在するという考え方が在っても良いと主張するなら、やればいい。
Aなる考え方がある一方でBなり考え方もある、という分岐は数学で言えば選択公理じゃが、
選 択 公 理 と し て も 成 立 し 得 な い 主張でも良いならのう。
414(1): 2020/08/09(日)14:27 ID:O3Ql50FC(3/6) AAS
>Aなる考え方がある一方でBなり考え方もある、という分岐は数学で言えば選択公理じゃが、
え?
415(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/08/09(日)15:55 ID:QmjvhqAQ(5/10) AAS
>>404
(引用開始)
「例えば群の例で、自然数しか思いつかないようなもん
で唯一の例を根拠に「群の演算は可換!」とか言いきったら馬鹿」
って、自然数Nが、群の例?
ああ、wikipedia 「自然数(しぜんすう、英: natural number)とは、個数、もしくは順番を表す一群の数のことである」
を誤読したか?
アホじゃん。おれと良い勝負だよなw(^^;
(引用終り)
おサル、必死
省4
416: 2020/08/09(日)16:00 ID:k7ukMcet(15/19) AAS
>>415
「自然数は群じゃねぇじゃん」といってた本人が
「正方行列の全体は群」とドヤ顔でウソ語る・・・
これ、完全な自爆でしょ
だって、任意の正方行列に乗法の逆元が存在するわけでない
という初歩の事実を全く確認しなかったってことだからね
あんた、ホントに大阪大学卒?
実は、大阪工業大学卒じゃねぇの?
省1
417(5): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/08/09(日)16:01 ID:QmjvhqAQ(6/10) AAS
>>408
おサル、墓穴だよ
(引用開始)
線形代数の単位とれたの?ウソだろ?(疑)
じゃ、聞くけど、行列式0の行列の逆行列 構成してみ?
群だよな?任意の正方行列に対して逆行列存在するよな?作ってみ?
(引用終り)
嫁め
「群の表現(英: group representation)とは、抽象的な群 G の元 g に対して具体的な線形空間 V の正則な線形変換としての実現を与える準同型写像 π: G → GL(V) のことである。線型空間 V の基底を取ることにより、π(g) をより具体的な正則行列として表すことができる。」
”群の表現”論を知らないみたい
省10
418: 2020/08/09(日)16:09 ID:k7ukMcet(16/19) AAS
>>417
>嫁め
あんた、老眼?
正方行列(square matrix)と正則行列(regular matrix)って、
二番めの文字が「方」と「則」で全然違うけどなw
外部リンク:ja.wikipedia.org
「正則行列、非特異行列、あるいは可逆行列とは、
行列の通常の積に関する逆元を持つ正方行列のことである。」
”行列の通常の積に関する逆元を持つ”と書いてあるね
省8
419: 2020/08/09(日)17:52 ID:O3Ql50FC(4/6) AAS
>>417
正方行列は正則行列であると主張したいの?
ゼロ点です。線型代数やり直して下さい。
420: 粋蕎 ◆C2UdlLHDRI 2020/08/09(日)17:53 ID:Geh5aSQj(2/3) AAS
>>414
(しーっ!!そう言わんと瀬田氏が分からんじゃろ)
瀬田氏にとっては 0.999…≠1 かつ順序体とならない超実数 と 0.999…≠1 かつ順序体となり超現実数でもない超実数 が
平面幾何学と球面幾何学と双曲線幾何学らの関係と同様に存在し得ると思い込んどるらしい。
421: 2020/08/09(日)17:53 ID:O3Ql50FC(5/6) AAS
>>417
>嫁め(ドヤ顔)
↑
馬鹿丸出し
422(1): 粋蕎 ◆C2UdlLHDRI 2020/08/09(日)18:02 ID:Geh5aSQj(3/3) AAS
AA省
423: 2020/08/09(日)18:08 ID:O3Ql50FC(6/6) AAS
>>417
>おサル、墓穴だよ
墓穴掘ってるのは今回も瀬田でしたとさ
もう数学やめたら?キミ向いてないから
424: 2020/08/09(日)18:09 ID:k7ukMcet(17/19) AAS
>>422
どこの大学卒かもわからん蕎麦野郎にまで馬鹿にされるとか
ほんと◆yH25M02vWFhP って恥ずかしいよな
もういいかげん白状しろよ
「すみません、大阪大卒じゃなくて、大阪工業大学卒でした」ってなw
425(1): 2020/08/09(日)20:03 ID:GcRZbYw0(1) AAS
>>417
> ”群の表現”論を知らないみたい
> さすが、数学科オチコボレだな(^^;
◆yH25M02vWFhPと「群の表現」といえば何かのフラグなんですかね
2chスレ:math
> どうも
> スレ主です。
> それは、群の表現(下記)の問題ではないかと。そして、何を同じとし、何を違うと考えるかは、コンテキスト(状況)依存だと
> ある群にA、B二つの異なる表現があるとき、A、Bを同一視して良いか、別物と考えるか
これは正規部分群のときだけど
426: 2020/08/09(日)20:33 ID:k7ukMcet(18/19) AAS
>>425
ま、「任意の正方行列は正則行列である」なん
て馬鹿丸出しなこという◆yH25M02vWFhPには、
表現なんて死んでも理解できない
427: 2020/08/09(日)20:38 ID:k7ukMcet(19/19) AAS
数学において、一般線型群(いっぱんせんけいぐん、英: general linear group)とは
線型空間上の自己同型写像のなす群のこと。
あるいは基底を固定することで、正則行列のなす群のことを指すこともある。
GL2(C)
複素数体 C 上の2次正則行列全体 GL2(C) は次のように表せる。
GL_2(C)
={(a b)∈M_2(C)|ad-bc≠0}
(c d)
428(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/08/09(日)21:27 ID:QmjvhqAQ(7/10) AAS
おサル、必死に取り繕うの巻か、笑えるやつ
”「例えば群の例で、自然数しか思いつかないようなもん
で唯一の例を根拠に「群の演算は可換!」とか言いきったら馬鹿」
って、自然数Nが、群の例?”
(>>404 より)
(引用開始)
「例えば群の例で、自然数しか思いつかないようなもん
で唯一の例を根拠に「群の演算は可換!」とか言いきったら馬鹿」
って、自然数Nが、群の例?
ああ、wikipedia 「自然数(しぜんすう、英: natural number)とは、個数、もしくは順番を表す一群の数のことである」
省12
429(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/08/09(日)21:35 ID:QmjvhqAQ(8/10) AAS
ほいよ(^^
純粋・応用数学(含むガロア理論)3
2chスレ:math
142 自分返信:現代数学の系譜 雑談 ◆yH25M02vWFhP [] 投稿日:2020/08/09(日) 21:34:05.25 ID:QmjvhqAQ [2/2]
>>141
おサルが騒いでうるさいから、重箱の隅だが訂正するなwww(^^;
誤:まあ、折角だから書いておくと、正方行列とか多元数あたりな
↓
正:まあ、折角だから書いておくと、正方行列(の成す群)とか多元数あたりな
(引用終り)
省4
430(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/08/09(日)21:49 ID:QmjvhqAQ(9/10) AAS
>>429 補足
まあ、表現が不正確であったことは認めるけれども
「正方行列」と書いたら、即群だとか
同ことじだが
「正則行列」と書いたら、即群だとか
そういうものではない
「群の表現論」を知っていれば、常識だけどな
我が家の書棚に、「群の表現論」の本が一冊ある
「有限群の表現」 永尾 汎 裳華房
この”多元環とその表現”が、行列による群の表現論だ
省17
431(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/08/09(日)22:41 ID:QmjvhqAQ(10/10) AAS
>>430
(引用開始)
「正方行列」と書いたら、即群だとか
同ことじだが
「正則行列」と書いたら、即群だとか
そういうものではない
「群の表現論」を知っていれば、常識だけどな
(引用終り)
ほいよ
(参考)
省26
432: 2020/08/10(月)00:48 ID:ooIoTF6w(1/6) AAS
正方行列は正則である(ドヤ顔)
↑
数学やめた方がいいよ
433: 2020/08/10(月)07:01 ID:EXUgpgw2(1/6) AAS
>>428
カラスの◆yH25M02vWFhP、毎度恒例の、必死に取り繕うの巻
相変わらずイタイ奴だな
>>429
>ほいよ
君がその言葉を唱えるときは大体負けてる展開
さて
省38
434: 2020/08/10(月)07:18 ID:EXUgpgw2(2/6) AAS
どうやら◆yH25M02vWFhPが解析学の基礎だけでなく
線形代数の基礎も分かってないことが露見したので
以下のスレで徹底教育します
【大学数学の基礎】εδ、∀∃を語るスレッド
2chスレ:math
このスレでこれ以上の追及をされたくないのであれば、上記スレに
「任意の正方行列が逆行列をもつボクちゃんなりの”証明”」を書きましょう
確実に間違っているので、徹底的に誤りを指摘し尽くして差し上げます タダで
ああ、オレってなんて親切なんだろう・・・
だからBBAにも惚れられちゃうんだな(一言余計)
435: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/08/10(月)08:11 ID:gEQArxFG(1/8) AAS
メモ
外部リンク[pdf]:carmonamateo.github.io
Dear Carmona, 13.11.2017
There is a very substantive mathematical difference between the theory of Galois categories/topoi as developed in SGA1/SGA4 and the theory of anabelioids as developed in my paper "The Geometry of Anabelioids":
Namely, the notion of slimness allows one to work with 1-categories of (slim) anabelioids, whereas the theory of Galois categories/topoi as developed in SGA1/SGA4 gives rise to 2-categories of Galois categories/topoi. In particular, "Galois groups"
(i.e., in the classical sense) arise naturally as groups of 1-morphisms in 1-categories of slim anabelioids, which is a very substantive mathematical difference from the way in which they arise in 2-categories of Galois categories/topoi, i.e., as groups of 2-morphisms in 2-categories.
This difference between 1- vs. 2-categories or 1- vs. 2-morphisms plays a fundamental role in the theory of anabelioids (as developed both in my paper "The
Geometry of Anabelioids", as well as in subsequent papers, e.g., papers on combinatorial anabelian geometry). Put another way, this difference may be understood
as being analogous to the difference between
Algebraic spaces (which form a 1-category)
省11
436(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/08/10(月)08:16 ID:gEQArxFG(2/8) AAS
AA省
437(1): 2020/08/10(月)08:25 ID:EXUgpgw2(3/6) AAS
>>436
>おれと良い勝負だよな
全然違うんじゃね?
だって、おまえ、マジで
「任意の正方行列に、逆行列が存在する」
と思ってたんだろ?
おまえみたいなヤツって
「連立一次方程式は、n変数で式がn個なら
かならずたった一組の解が消去法で求められる」
とかドヤ顔で語って、他人に
省7
438(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/08/10(月)12:30 ID:gEQArxFG(3/8) AAS
AA省
439: 2020/08/10(月)13:43 ID:ooIoTF6w(2/6) AAS
>>438
粗探しとは?
「n次正方行列全体の集合は積に関して群構造を持つ」は間違いです。
440(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/08/10(月)15:07 ID:gEQArxFG(4/8) AAS
純粋・応用数学(含むガロア理論)3
2chスレ:math
より、再掲
追加(下記では"正則"という語は出てこない)
外部リンク:ja.wikipedia.org
行列群
(抜粋)
行列群はある体 K、通常は前もって固定される、上の可逆行列からなる群 G で、行列の積と逆の演算をもつ。より一般に、可換環 R 上の n × n 行列を考えることができる
線型群は体 K 上の行列群に同型な抽象群である、言い換えれば、K 上の忠実な有限次元表現をadmitする
任意の有限群は線型である、なぜならばそれはケイリーの定理(英語版)を使って置換行列によって実現できるからだ。無限群(英語版)の中で、線型群は面白く扱いやすいクラスをなす。線型でない群の例はすべての「十分大きい」群を含む。例えば、無限集合の置換からなる無限対称群
省10
441: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/08/10(月)15:07 ID:gEQArxFG(5/8) AAS
>>440
つづき
例
・たくさんの例にはリー群一覧(英語版)、有限単純群一覧(英語版)、単純リー群一覧(英語版)を見よ。
・2000年に braid group Bn がすべての n に対して線型であることが示されたときに長年の予想が解かれた[1]
外部リンク:en.wikipedia.org
Classical group
(補足)
「より一般に、可換環 R 上の n × n 行列を考えることができる」
と書いたら間違いか?
省14
442(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/08/10(月)15:11 ID:gEQArxFG(6/8) AAS
>>440
「行列群」
は間違い
「”正則”行列群」
と言えか www(^^;
443(1): 2020/08/10(月)15:15 ID:ooIoTF6w(3/6) AAS
純粋・応用数学(含むガロア理論)3
2chスレ:math
より、再掲
>追加(下記では"正則"という語は出てこない)
ぶぁーか
>MR(n,n) の単元群は環 R 上の n × n 行列の一般線型群と呼ばれ
単元て書いてあるやんw おまえ単元が何か分からんの?
これがコピペ脳の限界w
コピペ脳に数学は無理なので諦めて下さい
444(1): 2020/08/10(月)15:26 ID:ooIoTF6w(4/6) AAS
>>442
いいえ、
「”正方”行列群」
は間違いという指摘ですw
正方行列は一般に正則ではありませんから
445(1): 2020/08/10(月)15:31 ID:cfnsaN5B(1) AAS
>>440
> "正則"という語は出てこない
外部リンク:ja.wikipedia.org正則行列
> 正則行列(略)、非特異行列(略)あるいは可逆行列(略)とは
正則行列のかわりに可逆行列を使っているでしょ
> 行列群はある体 K 上の可逆行列からなる群 G で、
> 行列の積と逆の演算をもつ
言い換えれば
行列群はある体 K 上の正則行列からなる群 G
446(1): 2020/08/10(月)15:34 ID:EXUgpgw2(4/6) AAS
>>440
もしかして
「「行列群」という言葉だから「行列全部の群」と誤解した」
といいたいのかな?
そもそも、行列群なんて馬鹿な言い方しないよw
一般線形群とか特殊線形群とかいうだろw
当然定義を確認するだろw
おまえ、なんで文字だけで分かろうとするんだよ このidiotが!
447(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/08/10(月)16:01 ID:gEQArxFG(7/8) AAS
AA省
448: 2020/08/10(月)16:14 ID:EXUgpgw2(5/6) AAS
>>447
で、小学生並の間違いを嗤う君はどこの大学卒?
いいかげん大阪大学卒とかウソつくのはやめようぜ
どこの私大だ?ん?白状しろよ このidiotが!
449: 2020/08/10(月)16:36 ID:ooIoTF6w(5/6) AAS
>>447
粗探しとは?
「n次正方行列全体の集合は積に関して群構造を持つ」は間違いです。
450(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/08/10(月)19:38 ID:gEQArxFG(8/8) AAS
ピンチになると
複数IDを使い分けか
過去にもあったね
www(^^;
分り易いやつだなwww
451: 2020/08/10(月)20:08 ID:EXUgpgw2(6/6) AAS
馬鹿発言でピンチに陥ってるのは君
そしてそんなときに限って複数IDガーとわめく
いっとくけどそもそもみんな好き勝手に書いてる
だから突然ある特定の人物が複数IDで書き込むなんてことはない
大体、いくらでもIDを使いまわせるなら、
省3
452: 2020/08/10(月)21:58 ID:ooIoTF6w(6/6) AAS
>>450
自分がやってることは他人もやってるはずだと
妄想ですねー
453: 粋蕎 ◆C2UdlLHDRI 2020/08/11(火)00:57 ID:XeEFHxbb(1) AAS
正整数(=零抜き自然数)加法半群乗法モノイド
非負整数(=零込み自然数)加法モノイド
整数環
有理数体
実数体
超実数体
超々実数体
超々々実数体
超々々々実数体
…
省4
454: 粋蕎 ◆C2UdlLHDRI 2020/08/12(水)07:38 ID:YrETL8YJ(1) AAS
大きな野太い長チンポ 猿石さんのチンポ
百年いつも反り立っていた 御自慢のチンポさ
猿石さんの生まれた朝に 反り立ってたチンポさ
今は もう 反り立たない そのチンポ
百年休まずに ズッコンバッコン
猿石さんと一緒に ズッコンバッコン
今は もう 反り立たない そのチンポ
455(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/08/17(月)22:02 ID:TRrMkJI/(1) AAS
Matsumura commutative algebra lecture
PDFが落ちていた
外部リンク[pdf]:inis.jinr.ru
Matsumura,_Commutative_Algebra,1980
(関連追加)
外部リンク[pdf]:chairejeanmorlet-1stsemester2015.weebly.com
Commutative ring theory
HIDEYUKI MATSUMURA
Department of Mathematics, Faculty of Sciences
Nagoya University, Nagoya, Japan
省13
456: 2020/08/18(火)01:32 ID:pfu+OVXc(1) AAS
>>455
PDFが落ちていた
拾ってみた
読むのはめんどくさかった
ですねー、省略せず正確に書きましょー
457: 2020/08/21(金)23:44 ID:5qiPpY9M(1) AAS
テータリンクってなに
458: 2020/08/22(土)06:04 ID:RrxXXa57(1) AAS
Θ-linkのこと
459(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/08/22(土)14:08 ID:qg6YAvVW(1/6) AAS
”Θ-link”関連情報、ご参考まで
外部リンク:detail.chiebukuro.yahoo.co.jp
yahoo
blacknoteさん2014/3/1521:27:05
京大の望月さんの論文をかみ砕いて教えてください。
(抜粋)
ベストアンサーに選ばれた回答
yok********さん 編集あり2014/3/1600:39:37
私もさっぱりわかりませんが、望月先生の『宇宙際タイヒミュラー幾何学へのいざない』によると、p進やCのような局所体上のテイト曲線では素数lに対し(完全列によって)乗法的部分群と生成元がとれますが、数体のような大域体上の楕円曲線ではlの性質によってはそれができません。しかし数体上の自己同型をあるやり方でうまく定義することができると、楕円曲線のモジュライの対数微分の高さというものがある定数で抑えられ、ABC予想を得るということです。
これをそれぞれ別のスキームにあるものとして分け(同じスキームのコピーみたいなものですが)、あたかもリーマン面の間の擬等角写像のようにみなして定義したい(Θ-link)とのことですが、このΘ-linkというものはもはや環としての準同型にはなれないので、環やスキームを解体してその歪みを計算しないといけないそうで、その内容が宇宙際タイヒミュラー理論と呼ばれるものだそうです。
省5
460(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/08/22(土)14:08 ID:qg6YAvVW(2/6) AAS
>>459
つづき
外部リンク[pdf]:www.kurims.kyoto-u.ac.jp
宇宙際タイヒミューラー理論への誘(いざな)い
望月新一(京大数理研)
(抜粋)
P7
§3. 対数・テータ格子
(このページの対数・テータ格子図で、 →が= Θ-link(因みに↑が = log-link))
P8
省30
461(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/08/22(土)14:09 ID:qg6YAvVW(3/6) AAS
AA省
462(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/08/22(土)14:10 ID:qg6YAvVW(4/6) AAS
>>461
つづき
元々のΘリンクの定義における「∧」は、一致するとは限らない整数 A と B を用いたからこそ、整合性(=「無矛盾性」)をもって定義することができました。これは先ほどの「Xの誕生日...」∧「Yの誕生日...」と全く同じ現象です。元々のΘリンクの定義が「∧」によるものであるこそ、その肝心な「∧」性を壊さないような操作によって行なわれる「マルチラディアル表示」の構成は「∧」性を引き継ぐことになります。また「マルチラディアル表示」において「∧」性が成立しているからこそ、議論の最終的な結論となる「A<3」という不等式が簡単に、形式的に従ってしまうのです。
一方で、(ここから先が、先ほどの喩えの「2+2=9」に対応する「大元誤解」の内容になりますが)例えば、元々のΘリンクが、何かの理由によって
(N=-2B) ∨ (N=-A)
として認識(=誤認!)されたとします。すると、まず、整数 A と B が、一致するとは限らないものであることを仮定することには全く意味がない、つまり、最初から「A=B」ということにしても、整合性(=「無矛盾性」)の問題は全く発生しないのではないかと考えてしまいます。これは先ほどの「Xの誕生日...」∨「Xの誕生日...」と全く同じ現象です。
しかし、最初から「A=B」ということにして、Θリンクの定義も
省5
463(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/08/22(土)14:10 ID:qg6YAvVW(5/6) AAS
AA省
464: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/08/22(土)14:11 ID:qg6YAvVW(6/6) AAS
>>463
つづき
ここでは、高級な数学的対象を用いる代わりに高校数学レベルの整数を扱う式を使って解説しましたが、上述の議論のように、本来のIUTeichの
??論理構造の根幹を成している
「∧」、「∧」、「∧」が、
「∨」、「∨」、「∨」と
誤認されてしまったことが、
(=上述の「大元誤解」)この7年半程続いたIUTeichを巡る(海外の数学界を震源地とする)大きな混乱(=つまり、理論がとんでもない「詐欺的な論法」の上に成り立っているとの誤解等)の真相であると考えています。
(引用終り)
以上
465(1): 2020/08/22(土)15:51 ID:es3Bwx6Y(1) AAS
「行列環から零因子抜けば体になる」(ドヤ顔)
とかいってる馬鹿の貴様には数学は無理
諦めて死ねw
466: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/08/23(日)09:14 ID:ehdjUjVy(1/2) AAS
>>465
ID:es3Bwx6Y
ヒキコモリ無職無収入の数学科のオチコボレか
哀れだな
外部リンク[html]:hissi.org
必死チェッカーもどき
数学 > 2020年08月22日 > es3Bwx6Y
ID:es3Bwx6Y
書き込み順位&時間帯一覧
2 位/121 ID中 33件
省7
467: 2020/08/23(日)14:17 ID:7NMituVg(1/2) AAS
◆yH25M02vWFhP 新たな馬鹿発言
「行列環 Mn(R)で、零因子を含むヤコブソン根基 J(Mn(R))を作って
商環 Mn(R)/J(Mn(R)) 作れば J(Mn(R)/J(Mn(R))) = {0} が言えて
零因子を含まない環が、できる」(ドヤ顔)
どんな馬鹿発言もドヤ顔
ホント馬鹿を自覚しない無知かつ無恥ぶりは実にイタイタシイ
468: 粋蕎 ◆C2UdlLHDRI 2020/08/23(日)16:24 ID:EERKJb15(1/6) AAS
>>352
> 追伸
> おれに対する質問で、コウモリがテレンス・タオの説を知らなかったことは、誤魔化せない
>
> (>>351より)
> ふふ
> これで十分
> どっちが、ぼこぼこにしているか
> 見る人が見れば、丸分かり
残念じゃがこっちは10年前以上の当板でタオの構成を元に今は居ない人と語り合うとるんじゃわ。
省9
469: 粋蕎 ◆C2UdlLHDRI 2020/08/23(日)16:37 ID:EERKJb15(2/6) AAS
>>352
本当に何でも「AかBか、二択問題ではなく
21世紀の現代数学では、Aもあり、Bもある。つまり、二つの立場を、自由に使い分ければ良い。21世紀の数学は、もっと自由だよ
おっさんらの議論は、古いんだよ」と書けば何でも罷り通り、「選択的にも存在しない」もんも罷り通る言うなら
非実数 かつ 有理数 で 0.999…≠1 成る 順序体は 選択的 には 排反条件 だが 存在『する』。
とか支離滅裂の度を超えた不条理な世界にしか成らない。
非負整数(零抜き自然数) かつ 非正整数(零抜き自然数*-1) で +0=-0 成る 順序体 は 選択的にも 排反条件 だが 存在 『する』
とか不条理な事も言える世界。もっと言えば
無理数 『かつ』 有理数 で i^2=-1 成る 順序体 は 選択的には排反条件 だが 存在『する』
と、オカルト言える世界にも成る。
省1
470: 粋蕎 ◆C2UdlLHDRI 2020/08/23(日)16:49 ID:EERKJb15(3/6) AAS
瀬田氏の言う様に「選択的に公理を選べば如何なる結果も有り得る」と考える人間たちが20世紀には居た
ヒッピー「俺達は仕事をしなくても麻薬をやってもいいんだ。何故なら俺達は『自由だから』。」
「原形を止めず蛆が湧いている。これは新たな生の形に変化したのだ。だから『まだ生きている』理由?『定説です』。」
地獄でさえもない、魑魅魍魎さえも存在しない、六道輪廻から逸脱した外道の世界。無論、仏道に至る事は適わず。
さて?瀬田氏の言う『順序体でない訳でもなく』『離散系でもなく』『0.999…≠1』が成り立つ『準超実数』とは
如何に不条理な存在が成り立つであろうか?
471(1): 2020/08/23(日)17:08 ID:7NMituVg(2/2) AAS
超実数では0.999…≠1、というのと
実数では0.999…=1、というのは
当然両立する
あたりまえ 数列の同値の基準が違うんだから
単に「ボクちゃんおリコウさん」といいたいだけだろ、あの🐎🦌は
472: 粋蕎 ◆C2UdlLHDRI 2020/08/23(日)18:18 ID:EERKJb15(4/6) AAS
>>471
タオが構成した「0.999…}9がH桁」は「標準部0.999…超実数部…000000…」つまりイアン流書式で表す所の「0.999…;…000000…」を指しており
其の前の行段落に「0.999…に対応する超実数は0.999…;…999999…であり0.999…;…999000…は0.999…含むどの実数にも対応しない」と記されとるけぇ
「0.999…;…999999…に対し0.999…;…999000…よりも遠い0.Y…;…000000…が0.999…=0.999…;…999999…と等しくなる事は更に無い」し
其れをちゃんと踏まえれば瀬田氏がしきりに引用する『その意味に於いて0.999…≠1』は『0.999…(=0.999…;…999999…)≠1』の事ではなく
『学生が想起しているであろう0.999…}9がH桁=0.999…;…000000…≠1という主張は肯定されるべきです』という意味であり
そ も そ も タ オ 本 人 の 主 張 で は な く イ ア ン の 主 張 で あ る
事から、タオ本人の主張と嘯く瀬田氏の発言は詐欺と言えるし、イアンの主張にしても「0.999…その物=1」と言っとる訳ではなく
「タオが構成した擬似0.999…≠1」と言っとる事が分かるし、何よりイアンの主張は学生の代弁であり
つまりイアンの言うタオ式0.999…}9がH桁は、実数0.999…=超実数0.99…;…999999…と無限に近きにして非なる超実数0.999…;…000000…の事じゃし
省4
473(1): 粋蕎 ◆C2UdlLHDRI 2020/08/23(日)18:29 ID:EERKJb15(5/6) AAS
安達翁の数学真理教に続き、瀬田氏によるMathSpaceが開宗された。
安達数学真理教 開祖含む信者数2人
「無限小数は数ではない、極限は解ではない」
この宗教の恐い所は理性的直感(原文儘。京大国文科を自称する癖に理性的直観の誤字)で気付かぬ事物は認めない事。
瀬田MathSpace 開祖含む信者数1人
「Aという数理も有ればBという数理も有る」排反条件放任主義
この宗教の恐い所は糞も味噌も一緒な事。
474: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/08/23(日)19:55 ID:ehdjUjVy(2/2) AAS
>>473
おっさん、スレ違い
「AかBか、二択問題ではなく
21世紀の現代数学では、Aもあり、Bもある。つまり、二つの立場を、自由に使い分ければ良い。21世紀の数学は、もっと自由だよ」
これに反対したいなら、
「テレンス・タオの説は間違っている」って論文書きなよ
おれは、別に、0.999…=1 を否定してはいない
だが、”テレンス・タオ "0.999…" は 1 に「無限に近い」”もありと思っている
それだけのことよ
(>>311より、下記ご参照)
省14
475: 粋蕎 ◆C2UdlLHDRI 2020/08/23(日)20:26 ID:EERKJb15(6/6) AAS
あ。完全に瀬田氏、冗談抜きの正気の本気で、どれが誰の主張か分かっとらんのか。
文学で分かる文章に書き直してやったのに未だに理解できんのか…
もう瀬田氏は大学数学の前に小学から中学に至る迄位の国語を学習し直した方がええわ
476(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/08/24(月)07:32 ID:+oiN9Lqm(1/3) AAS
おっさん、スレ違い
連続体仮説、下記
20世紀前半まで、連続体仮説を巡って、喧々がくがくの議論があった
20世紀の後半になって、「連続体仮説は証明も反証もできない命題である」ということが明確に証明されてた
いま、喧々がくがくの議論をする人はいない
そういうことだよ
外部リンク:ja.wikipedia.org
連続体仮説
(抜粋)
連続体仮説(れんぞくたいかせつ、Continuum Hypothesis, CH)とは、可算濃度と連続体濃度の間には他の濃度が存在しないとする仮説。19世紀にゲオルク・カントールによって提唱された。
省1
477: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/08/24(月)07:33 ID:+oiN9Lqm(2/3) AAS
>>476 タイポ訂正
20世紀の後半になって、「連続体仮説は証明も反証もできない命題である」ということが明確に証明されてた
↓
20世紀の後半になって、「連続体仮説は証明も反証もできない命題である」ということが明確に証明された
分かると思うが(^^;
478(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/08/24(月)07:43 ID:+oiN9Lqm(3/3) AAS
>>476 補足
a)0.999...=0
b)0.999...≠0
a)とb)と、両方あるんじゃねと、テレンスタオはいう(下記)
そういうことです
外部リンク:en.wikipedia.org
0.999...
This number is equal to 1. In other words, "0.999..." and "1" represent the same number.
(In other systems, 0.999... can have the same meaning, a different definition, or be undefined.)
More generally, every nonzero terminating decimal has two equal representations (for example, 8.32 and 8.31999...), which is a property of all base representations. The utilitarian preference for the terminating decimal representation contributes to the misconception that it is the only representation. For this and other reasons?such as rigorous proofs relying on non-elementary techniques, properties, or disciplines?some people can find the equality sufficiently counterintuitive that they question or reject it. This has been the subject of several studies in mathematics education.
省2
479: 2020/08/24(月)07:52 ID:Z6P5UFQD(1) AAS
>>478
>a)とb)と、両方あるんじゃねと、テレンスタオはいう(下記)
まだ懲りてないのか?おまえはコピペ以外何も喋るな
480(1): 粋蕎 ◆C2UdlLHDRI 2020/08/24(月)07:58 ID:UFbgwNy8(1/9) AAS
下手に連続体仮説を喩えに出しとるが、要するに瀬田氏は
準超実数 且つ 順序体 ( に就き自動的に 準超実数体 ) で 非超現実数 の時
「0.999≠1は証明できるとも反証(⇔0.999…=1の証明)できるとも言えない命題である」 と主張する訳じゃな?
そう主張するなら立場を明確にする意味で当レス鍵括弧を中身丸事、コピペしつつ正式に肯定して見せよ。
481(1): 粋蕎 ◆C2UdlLHDRI 2020/08/24(月)08:29 ID:UFbgwNy8(2/9) AAS
>>478
日本語も英語も読めんのか?言うたのはタオ本人じゃのうてイアンて書いてあるじゃろ、と何度、言わせる?
よく読めばイアンも自身が0.999…≠1と思うとる訳じゃのうて学生の弁護で0.999…≠1と書いとるだけで、
其の詳細は0.999…;…000000…≠0.999…;…999000…≠0.999…;…999999…=1と親切に書かれとろうが、
そのコピペの元のWikipediaの本国版にも日本語版にも。何でそう自分に都合良い様に曲解読みするん?
イアンを貶しめたいんか?しかもイアンの発言なのにタオの発言である様に言って、タオも貶めたいんか?
今迄は曲解読み妄想読みで済んだが、イアンの発言を然もタオの発言かの様に吹聴するとか、
幾ら何でも冗談抜きに瀬田氏アンタ、大概にせぇよ?
482(1): 粋蕎 ◆C2UdlLHDRI 2020/08/24(月)09:02 ID:UFbgwNy8(3/9) AAS
瀬田氏が挙げた
0.999... - Wikipedia日本語版
外部リンク:ja.wikipedia.org
0.999... - Wikipedia英語版
外部リンク:en.wikipedia.org
の中の瀬田氏が抜き出しとるイアンが持ち出したタオの超羃構成「0.999…}9がH桁」は
実数0.999…=超実数0.999…;…999999…と無限に近きにして非なる超実数0.999…;…000000…の事である事が書かれており、其の前の項に確りと
実数0.999…に対応する超実数は0.999…;…999999…で更に0.999…;…999000…は0.999…含むどの実数にも対応しないと記されとる以上
0.999…;…999999…に対し0.999…;…999000…よりも遠い0.999…;…000000…が0.999…=0.999…;…999999…と等しくなる事は、もっと無い事が明確で、
更に繰り返しになるが
省10
483: 2020/08/24(月)11:54 ID:aGaQFcmR(1/2) AAS
>流石に此所まで「目に易しく」書けば、例え0.999…≠1派の中学生でも文章の意味は、納得はしないにせよ理解はするじゃろ
いっちゃ悪いが、◆C2UdlLHDRI の文章は関西の方の方言の文体で書いていて解読しにくい。
484: 2020/08/24(月)12:07 ID:aGaQFcmR(2/2) AAS
「抜き出しとる」や「いうとる」といったように「……しとる」という文体は関西の方言。
485: 粋蕎 ◆C2UdlLHDRI 2020/08/24(月)15:52 ID:UFbgwNy8(4/9) AAS
そこか。「…しとる」じゃのうて「…しよる」か
一時期そうなったんじゃが…所詮、儂ゃあ他所もんなんじゃのう
486(2): 2020/08/24(月)16:42 ID:+FWWsTZp(1) AAS
そういうことじゃなくて、「じゃのうて」だと名古屋弁に近い方言のようで、色々な場所の方言を混ぜて書いている。
あと、「近きにして非なる」という昔のような表現と現代的な表現を混ぜて書いている。
標準的な書き方では、方言を用いるときはどこか一ヶ所だけの方言を用いて書く。
昔の表現と現代的な表現を混ぜては書かない。昔の表現か現代的な表現のどちらか一つに絞って書く。
そのようにして書けば、文章が読み易くなる。
487(1): 2020/08/24(月)17:40 ID:RdW5LUtD(1/5) AAS
>>486
言い回しだけ変えてもそもそも論理がオカシイから理解できないよ
488: 2020/08/24(月)17:48 ID:RdW5LUtD(2/5) AAS
>>480の標準語訳
「要するにセタ君は
準超実数 且つ 順序体 ( 準超実数体 ) で 非超現実数 の時
「0.999≠1は証明できるとも反証(⇔0.999…=1の証明)できるとも言えない命題である」
と主張するんだな?」
ここで蕎麦のいう
「準超実数 且つ 順序体 ( 準超実数体 ) で 非超現実数 の時」
の意味が分らん
当人も全然分かってなくて口から出まかせで書いてるんだろう
私には、こう聞こえた
省5
489: 2020/08/24(月)17:53 ID:RdW5LUtD(3/5) AAS
>>481
そこタオとかイアンとかどうでもいいな
要するに実数の公理を否定して超実数の公理を立てたら0.999≠1といってるだけ
コーシーフィルターを否定してウルトラフィルタを採用したら0.999≠1といってるだけ
それ、連続体仮説の非決定性と全然違うな
むしろ、選択公理の下で非可測集合が存在するという話に対して
「選択公理を捨てて決定性公理を使えば実数上の全ての集合がルベーグ可測」
というような話
選択公理を前提した話を否定するのに、選択公理を否定するのは馬鹿素人
(いっとくが、選択公理を否定する決定性公理の無矛盾性とか無関係)
490: 2020/08/24(月)17:55 ID:RdW5LUtD(4/5) AAS
>>482
そもそも蕎麦の超実数理解が間違ってる
超準自然数の桁を考えるから馬鹿になる
そんなもの超実数の定義には出てこない
定義を読め 定義を読まずに妄想したらセタと同じ大馬鹿野郎になるぞ
491(1): 2020/08/24(月)18:03 ID:RdW5LUtD(5/5) AAS
蕎麦はセタ同様に粗雑な素人のようだ
蕎麦は素人でもわかるライトストーンの超実数が
タオのウルトラフィルターによる超実数と同じだと
勝手に決めつけてるが、実は全然違う
しかもその後のイアン・スチュアートの例とも全然つながってない
(イアン・スチュアートの例はライトストーンとはつながってるようだが確証はない)
492: 粋蕎 ◆C2UdlLHDRI 2020/08/24(月)18:14 ID:UFbgwNy8(5/9) AAS
>>486-487
あーやっぱり儂には広島弁は無理か、分かった有難う。広島に家を買う計画は無しにしよう、所詮関東人じゃな儂は
今の専務が居なくなっても社風が変わらん様なら今儂が請け持っとるプロジェクトが完遂次第会社辞めよ
493: 2020/08/24(月)18:15 ID:UFbgwNy8(6/9) AAS
>>491
そもそも儂は日本語版しか読んどらんし英語マトモに解読できとらん
そんな内容違ったんか
494: 粋蕎 ◆C2UdlLHDRI 2020/08/24(月)18:35 ID:UFbgwNy8(7/9) AAS
0.999... - Wikipedia
外部リンク:ja.wikipedia.org
やっぱりタオの超羃構成を「タオ自身が解釈し主張した話」と「違う」みたいじゃぞ
タオの「超羃構成をイアンが解釈して主張した」話に「なっとる」みたいじゃぞ国語的に。
>>瀬田氏
おい瀬田氏。瀬田氏は此れをタオ自身が言っとる事にしとるが、其れはイアンはタオの口先・ペン先の立場って言っとる事になるが其れでええんか?
なら、其の主張の裏を取る意味でイアンとタオの交流関係を調べて見せてくれんか?
495: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/08/24(月)18:49 ID:rNo847jr(1/2) AAS
おっさん、スレ違いだよ
細かい話は、別スレでやってくれ
おれは興味ないんだよね、それ
それに、ここは、IUTスレだよ
なお、安達スレには、適当に殴り込み掛けるからね
悪しからずww(^^;
上下前次1-新書関写板覧索設栞歴
あと 507 レスあります
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.058s