Inter-universal geometry とABC 予想49at MATHInter-universal geometry とABC 予想49 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト504:１３２人目の素数さん 22/05/22 14:40:32.25 +PGxnZmc.net 文元の本はトンデモ度がまだ許容範囲内なのだろう NHKみたいに ・IUT理論は矛盾を許容する理論 ・同型な対象を異なるとみなすのが画期的 みたいな、明らかな誤りは含んでいないと思うし 505:１３２人目の素数さん 22/05/22 14:49:15.67 CAEybTlG.net ポアンカレは異なる対象を同一視した 望月は同型な対象を異なると見なした こんなんあまりにも出鱈目で、数学者が監修しているとは思えない たとえば、平面上の曲線同士の交点を考えるなら、ふたつの曲線が同型でも区別しなきゃならない Z/4ZとZ/2Z×Z/2Zは、どちらもZ/2Zを部分群として含むが後者は2つ含むし、この2つを区別しなきゃ意味無い 望月が言ってるように、同型な対象を区別しなきゃ、xy平面すらまともに考えられない 506:１３２人目の素数さん 22/05/22 15:15:37.56 b7Ey/EsL.net まぁ同型な物を同じとみなすと言うのが無理ではないし実際圏論の基本でもある ある圏Cが与えられてそこに“同型ではあるが同じではない対象”があってそれが後の議論の妨げになる場合とか出てくる、別の圏Dに対して関手の圏Fun(C,D)とか作るときCが小さい圏でないと定義できないが、その“圏の巨大さ”が“同型だが等しない対象”が存在する事に起因する場合などがそれ 例えばそんな場合ならCの同型類から一つずつ代表元を選んでおいてそれら代表元から構成される充満部分圏C₀をとってくればCとC₀は圏として“同型”でFun(C₀,D)はちゃんと定義できてこのFun(C₀,D)で代用して議論進めるというのは基本中の基本テク ”Qの代数拡大全体の圏”とか取り扱う時は必ず使うテクのひとつ、なんせZariski Siteとかが既にある意味Functor categoryだしな しかしこの“同型だが違う物(楕円曲線？の同型類？)をきちんと区別する”としたら何故か新理論が誕生したとかちょっと有り得んわな 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch