[過去ﾛｸﾞ] IUTを読むための用語集資料集スレ (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
205(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/07/23(木)17:19:01.18 ID:oppsYHrO(2/2) AAS
>>204
>ただ、宇宙際タイヒミュラー理論のwikiのページはあるから
>その中で独自用語について解説するのは勝手だろう
あの宇宙際タイヒミュラー理論のwikiのページは
英文のページの訳がベースだから
その対応を崩さない方がいいだろうね
あと、IUT用語を一つずつ別ページもね
省5
405: 2020/08/09(日)09:41:50.18 ID:k7ukMcet(9/19) AAS
>>401
＞”大阪”＝”関西”と言ったら、京都や奈良の人たち怒るよね
で、君の出身はどこ？滋賀？和歌山？
東京の人間に
「関西に属する府県を上げて」
といわれて大阪・京都・兵庫・奈良までは上がるが
その先が出てこない・・・
427: 2020/08/09(日)20:38:44.18 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}
省1
453: 粋蕎 ◆C2UdlLHDRI 2020/08/11(火)00:57:53.18 ID:XeEFHxbb(1) AAS
正整数(=零抜き自然数)加法半群乗法モノイド
非負整数(=零込み自然数)加法モノイド
整数環
有理数体
実数体
超実数体
超々実数体
省7
575: 2020/10/21(水)19:04:35.18 ID:X1WgR8vT(2/2) AAS
>>573
>…理解するのに、原論文を読む必要は、必ずしもないと思う。
そんな間違った思いに固執して、数学書の定義すら読まず
式だけ読む「馬鹿読み」してるから、数学がちっとも理解できないｗ
>下記の程度を理解していれば、十分だ。
この程度の文章じゃ定義を知らぬ馬鹿の君には全く理解できない
>（谷山・志村予想）
省12
743(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/11/04(水)14:45:17.18 ID:lTaOluRt(1/3) AAS
>>742
> ３．要するに、ノイマンのωにしろ、Zermeloのシングルトンによるωしろ、結局は抽象的な現代数学の思念の産物なのです
> ４．それは、自然数（＝ある前者があって その後者関数から作られる普通の順序数）とは、異なる性質を持って良い！
補足説明するよ
・例えば、コーシー列：有理数からなるコーシー列で実数、例えばπなどの超越数ができる
超越数は分数表示ができず、数の性質が”有理数→超越数”に変わっている
・例えば、ωはリーマン球面の北極点に例えることができる
省26
761(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/11/05(木)07:32:30.18 ID:lG01yKE6(1/3) AAS
>>754
蛇足だが、さらに補足しておくと、基礎論的には、自然数Nを作るのに”lim n→∞”とか、”レーヴェンハイム＝スコーレムの定理”とかは、循環論法になる
∵ 最初は、空集合と公理しか使えないのだから
だから、ノイマンがやったことは、過剰に無限集合ができるが、下記のように
出来た無限集合の「濃度が最小である集合 (上の操作で得られる集合の共通部分) を自然数の集合」と定義そうだ
（原論文に当たったわけではないが、他にもそう書かれているのを見たので、多分確かだろう）
（参考）
省25
774: 2020/11/07(土)08:33:20.18 ID:zpeR/n4w(4/14) AAS
一番外側の{}がないんじゃそもそも集合じゃない、って、真っ先に気づかなくちゃ
863: 現代数学の系譜 雑談 ◆yH25M02vWFhP 2020/11/24(火)07:51:42.18 ID:UH+yb+QA(2/2) AAS
>>862
・望月IUTも同じ。望月先生の心の中に、大体のIUTの絵があった
・それを、一つずつ、ピース（部品）を組み立てていった
・それは、たしかに「積み上げ」に見えるだろう
・しかし、やったことは、先に絵があって、「積み上げ」た。逆じゃないよ
・だから、早く、望月先生の心の中の絵が、どんなものかを考えることだ
・望月先生の米 Berkeley Colloquium のオンライン講演のスライドも、IUTの絵を見せたわけ
省5
977: 埋立業者 2021/01/06(水)08:25:27.18 ID:/0IX7Oxo(33/56) AAS
一つ目の例外は、加算する点の片方が O であるときである。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.054s