Inter-universal geometry と ABC予想 (応援スレ) 76

[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 76 (1002ﾚｽ)
上下前次 1-新

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

768(3): 10/27(月)09:37 ID:973uY6da(1/5) AAS
>>764
Bousfiled類という制約

769(2): 10/27(月)11:04 ID:A0cErMsA(1) AAS
>>768

いい性質を持てば、「集合でない」なんて悪条件はないという意味で、
集合論による制約など意識する○違いな反応は無意味、ということ

わかったか？○違い

770(1): 10/27(月)11:11 ID:973uY6da(2/5) AAS
>>769
意味不明

771(1): 10/27(月)11:19 ID:973uY6da(3/5) AAS
Since the extensive calculations of stable homotopy groups of spheres in the 1960s,
algebraic topologists have recognized the extreme complexity of stable homotopy theory.
...
However, the most surprising and important general result on these classes came in 1989
when Tetsusuke Ohkawa demonstrated that they just form a set and thus an actual lattice.
...
Chicago, USA 2016 A. K. Bousfield

772: 10/27(月)12:36 ID:sIlOWUF/(1) AAS
>>770
○ね　耄碌爺

773(1): 10/27(月)12:40 ID:S7PkSpnV(1/3) AAS
>>771
>they just form a set
「集合を為すこと」はそうでないことよりもそこから言えることを増やすのでは？
制約は言えることを減らすのでは？

774: 10/27(月)13:27 ID:tzzvX88U(1/2) AAS
small category

775(1): 10/27(月)14:08 ID:tzzvX88U(2/2) AAS
>>773
何にどう反論したいのかわからない

776(1): 10/27(月)15:58 ID:MElhbThv(1) AAS
集合をなすんだから「集合をなさないので集合論で扱えない」とかいう言い訳が通用しなくなる

圏論原理主義者の敗北ｗ

777: 10/27(月)16:51 ID:S7PkSpnV(2/3) AAS
>>775
制約があるへの反論って分からないってあなたはバカなんですか？

778: 10/27(月)19:37 ID:973uY6da(4/5) AAS
制約=条件

779(1): 現代数学の系譜雑談 ◆yH25M02vWFhP 10/27(月)22:48 ID:qO6yBonJ(1/4) AAS
一句”不勉強オチコボレのさばる便所板”（字余り）
不遇な「一石」>>12、“鳥なき里のコウモリ”そのままで、“シッタカ”ぶりの、アナーキストのアホ男

相手は、プロ数学者のOTだよ
身の程知らずのオチコボレは、度し難い

780: 現代数学の系譜雑談 ◆yH25M02vWFhP 10/27(月)22:57 ID:qO6yBonJ(2/4) AAS
ホイヨ
外部ﾘﾝｸ:en.wikipedia.org
Aldridge Knight Bousfield (April 5, 1941 – October 4, 2020),[1] known as "Pete", was an American mathematician working in algebraic topology, known for the concept of Bousfield localization.

Research
Within algebraic topology, he specialised in homotopy theory. The Bousfield-Kan spectral sequence, Bousfield localization of spectra and model categories, and the Bousfield-Friedlander model structure[4] are named after Bousfield (and Kan and Friedlander, respectively).

781(2): 10/27(月)23:04 ID:S7PkSpnV(3/3) AAS
プロ数学者の言うことが常に正しいと思うのは不勉強・無教養・無見識の至り

782(1): 10/27(月)23:10 ID:973uY6da(5/5) AAS
>>781
プロ数学者の言うことが常に正しいと思うのは間違い

783(2): 現代数学の系譜雑談 ◆yH25M02vWFhP 10/27(月)23:20 ID:qO6yBonJ(3/4) AAS
(google検索)
Bousfield class stable homotopy Ohkawa
より

(参考)信州大（外部ﾘﾝｸ[rb]:pantodon.jp ）
外部ﾘﾝｸ[rb]:pantodon.jp
Bousfield Localization in the Stable Homotopy Category of Spectra
Bousfield-Kan の局所化 (完備化) は, 特異ホモロジー論に関する局所化 (完備化) である。より一般的なホモロジー論に対する局所化は, Bousfield [Bou75; Bou79] により導入された。その後, triangulated category や model category などへ一般化されている。

Bousfield localization
具体的な spectrum X と homology theory E∗(−) が与えられたとき, X の E に関する局所化 LE(X) を求めるのは非常に難しい

一方, 任意の一般コホモロジー論に関する localization が存在するかどうかというのは, 長い間 open problem だったようである。Casacuberta と Scevenels と Smith の [CSS05] で, Vopenka’s principle という集合論的な仮定をすると, 証明できることが示されている。
省9

784: 現代数学の系譜雑談 ◆yH25M02vWFhP 10/27(月)23:27 ID:qO6yBonJ(4/4) AAS
>>781-782
なるほど・・・
「プロ数学者の言うことが常に正しい」の
”常に”が ∀ の意味ならばつねにｗ
反例が存在するだろう人間だもの by 相田みつを

動画ﾘﾝｸ[YouTube]
ギャラリーにんげんだもの
相田みつを美術館公式チャンネル
2022/03/11

785(1): 10/27(月)23:32 ID:BBKbchLC(1) AAS
集合Aの元a∈Aに対して
<a>={X:set|a∈X}
と定義すると当然ながら<a>は集合ではないクラス
だから
B={<a>|a∈A}
は存在し得ないが
これを>>776
>集合をなす
と言ってもいいんジャね？>>768
> ID:973uY6da
省1

786: 10/28(火)00:45 ID:xj1VvQvK(1) AAS
2025年10月26日
　・（過去と現在の研究）研究集会NGR2025での講演のスライドを公開。
　・（過去と現在の研究）宇宙際タイヒミューラー理論の現状に関する報告書を公開。

外部ﾘﾝｸ[html]:www.kurims.kyoto-u.ac.jp

787: 10/28(火)05:10 ID:TjJPW5+0(1/5) AAS
>>785
空集合だから集合ってコト？なるほど

まあ、「集合ではないクラスの集まり」が
その大きさから”集合”を為す、ということは
大いにあり得る

上下前次 1-新書関写板覧索設栞歴

あと 215 ﾚｽあります
ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.021s