[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
760(4): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/11(火)12:53 ID:3Cq8ZFbO(1/4) AAS
当事者です （＾＾
>>313より再録
ID:BZV1IQOW
>>306
(引用開始)
セタへの問題
>Pを集合論の論理式, Pのz,x以外の自由変数はw_0,,w_i-1で, yはPの自由変数でないとする.
のとき
>∀w_0…∀w_i-1∀x∃y∀z(z∈y⇔z∈x⋀P(z))
の自由変数をすべて書け
省31
761: 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/11(火)12:58 ID:3Cq8ZFbO(2/4) AAS
>>760 タイポ訂正
>>313より再録
ID:BZV1IQOW
↓
>>313より再録
（ID:BZV1IQOWは、不要につき 消し）
762: 11/11(火)13:35 ID:bpqvIxBV(2/3) AAS
>>760
>３）なので”ｗｗｗ”は、原始的なアセンブラを読めると自慢するが 高級言語の圏論 どうよとｗｗｗ
また話をずらそうとしてますね
論理式も図式もアセンブラでもなければコンパイラでもありません
>の圏論のロジック（矢印図）読めるのか？ キミはｗｗ （＾＾；
「矢印図を読む」とは件の文書の当該ヶ所にある可換図がその「矢印図」なのですね？
それを「読む」というのはどういうことですか？
結局の所
>>321
>「ここにあるのは有り難いことこの上ない圏論のロジックで矢印図と呼ばれるのじゃ
省2
763(1): 11/11(火)13:38 ID:bpqvIxBV(3/3) AAS
>>760
あと
おそらくあなたが>wwwと向けて書いた人は
「四則演算も出来ないのに微積をやりたがる」のがあなた
だと言っていて
あなたは
「微積は高度で四則演算は低レベル（だからやらなくていい？）」
と言っているわけですね
764: 11/11(火)13:45 ID:LGmi6FU9(1/2) AAS
>それよりか
大学数学を学ぶ上で必須の超初歩問題だからそれよりかもクソも無い
>原始的なアセンブラを読めると自慢するが
自慢と邪推するのが馬鹿
超初歩問題で自慢もクソも無い
超初歩問題もちんぷんかんぷんのセタはいったい大学数学の何を学んだのか？
765(1): 11/11(火)14:09 ID:SNA+12OI(1/2) AAS
「www」は、ネットスラングとして「笑い」を意味します。具体的には、文章の終わりに「w」を付けることで笑いの感情を表現します。また、「www」は「World Wide Web」の略称でもあり、インターネットの入口を指します。文脈によって意味が異なるため、使用する際には注意が必要です
766: 11/11(火)14:55 ID:BiGzycGA(1/2) AAS
>>760
>>セタへの問題
>>Pを集合論の論理式, Pのz,x以外の自由変数はw_0,,w_i-1で,
>>yはPの自由変数でないとする.
>>このとき
>>∀w_0…∀w_i-1∀x∃y∀z(z∈y⇔z∈x⋀P(z))
>>の自由変数をすべて書け
>ふっふ、ほっほ
>あのな、それよりか
>（以下、関係ない話題に話を逸らす）
省17
767(2): 11/11(火)14:56 ID:BiGzycGA(2/2) AAS
蛇足
＞フローチャート風の
フローチャートは構造化されてないので、
もう構造化以前の１９６０年代脳ってバレバレですなあ
768(2): 11/11(火)14:57 ID:SNA+12OI(2/2) AAS
ばかばかしい
769: 11/11(火)15:02 ID:yTIv5/vW(1) AAS
>>763
世田君のダメなところ
・連続写像とは定義域の収束列を写像で写した先でも収束列になる写像だが、必ずしも同相写像（つまり逆写像が存在ししかも連続である写像）ではない
・線形写像とは定義域で線形性が成り立つものが値域でも線形性が成り立つ写像だが、必ずしも線形同型写像（つまり逆写像が存在ししかも線形である写像）ではない
この二点すら理解できないのに、最先端の解析とか代数とかの知識だけ聞きかじって公式だけ馬鹿チョン利用しようとするところ
770(1): 11/11(火)15:09 ID:93ivbutf(1/2) AAS
AIに
「代数学の基本定理って、層の言葉で書ける？
つまり、代数方程式に解が存在するのは層がねじれてるからで、
解の個数も層がねじれてるせいだと思うけど、これ妄想？」
って聞いたら
「よくわかったね。妄想どころか現代数学の標準的な知見だよ。」
っていわれた
「えー、そうなんだ。でも日本語の本には書いてないよね。」
っていったら
「うん、日本語の本にはないかもね。でもGriffiths=Harrisの冒頭とかHartshornには書いてあるよ。」
省2
771(1): 11/11(火)15:12 ID:93ivbutf(2/2) AAS
誤 解の個数も層がねじれてるせいだと思うけど
正 解の個数も層がねじれ具合で分かると思うけど
ちなみにこの問いにも
「解の個数＝層のチャーン数 ね」
と即答したことはいうまでもない
知っててとぼけたわけではなく
今更なんとなく気づいたことを
何気なく聞いたまでのこと
大学院レベルだねといわれたが
大学院修士課程修了とかいえねぇ・・・
省1
772: 11/11(火)16:58 ID:LleUh2kq(1) AAS
まぁアホセタには圏論は代数幾何とかやってる人だけが使える超難解ツールに見えるんやろな
こんなもん数学科なら誰でもそんな難しいもんと捉えられてないんやけどな
773(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/11(火)18:22 ID:3Cq8ZFbO(3/4) AAS
>>767-768
>ばかばかしい
ID:SNA+12OI は、御大か
巡回ご苦労様です
まったくね
アホが、”ばかばかしい”話をしている
笑える
”フローチャートは構造化されてないので”・・とは、これいかにｗ
”フローチャート”自身は、構造化も非構造化も関係ないですよ！（下記）
(参考)
省10
774(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/11(火)18:37 ID:3Cq8ZFbO(4/4) AAS
>>770-771
(引用開始)
AIに
「代数学の基本定理って、層の言葉で書ける？
つまり、代数方程式に解が存在するのは層がねじれてるからで、
解の個数も層がねじれてるせいだと思うけど、これ妄想？」
って聞いたら
「よくわかったね。妄想どころか現代数学の標準的な知見だよ。」
っていわれた
「えー、そうなんだ。でも日本語の本には書いてないよね。」
省20
775: 11/11(火)19:46 ID:LGmi6FU9(2/2) AAS
自由変数もワカラン馬鹿がなんか言っとる
776(2): 11/11(火)20:02 ID:rZBZzvXB(1/10) AAS
>>774
＞ふっふ、ほっほ
＞それ、AIの”迎合”の ハルシネーションだよ
＞AIは 相談者のレベルに迎合した 答えを返すんだよ
AIの回答
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
代数幾何では、CP^1上の 次数nの線束 O(n)を考えます：
O(0)：自明束（大域切断 = 定数関数）
O(1)：タウトロジカル束の双対（例：座標関数 (z)）
O(n)：n個の O(1)のテンソル積
省16
777(2): 11/11(火)20:08 ID:rZBZzvXB(2/10) AAS
>>776のつづき
代数学の基本定理は、CP^1上の線束 O(n)の大域切断が、必ず n個の零点を持つことの言い換えです。
「ねじれ」＝非自明なトポロジー（チャーン類）
「至る所ゼロでない切断なし」→ 必ず零点あり
「ねじれ具合（次数 n）」→ 零点の数 n
さらに踏み込むと：H^1(CP^1,O(n))=0（n≥0）
よって、長完全系列から大域切断の次元が計算できる。
これは FTA の別の証明（解析的・幾何的）を与えます。
参考文献
Griffiths & Harris, Principles of Algebraic Geometry
省5
778(1): 11/11(火)20:16 ID:rZBZzvXB(3/10) AAS
蛇足
AI曰く
この視点の発祥は、明確な「発見者」はいないけど、歴史的には以下のような流れです。
時期
誰
成果
1940s–50s
André Weil, Jean-Pierre Serre
代数幾何のコホモロジー理論構築 → 線束の切断と零点の交差理論
省10
779(1): 11/11(火)20:21 ID:rZBZzvXB(4/10) AAS
追伸
FTA＝代数学の基本定理 (Fundamental Theorem of Algebra)
上下前次1-新書関写板覧索設栞歴
あと 223 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.032s