[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
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)
780(1): 11/11(火)20:30 ID:rZBZzvXB(5/10) AAS
＞Griffiths=Harris は知らないが、Hartshornは書棚の”こやし”よ。
＞が そんなことは書いてなかった！とおもうぞ
世田君は微分積分や線形代数のテキストも正しく読めない為体なので
ハーツホーンなんて正しく読めるわけがない（笑）
781(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/11(火)21:11 ID:MAm0UGMh(1/3) AAS
>>776-780
ふっふ、ほっほ
必死で、AIにすがって 恥の上塗りかい？ ；ｐ）
・まず、手元に ハーツホーンの本をおいて、眺めてみなよ 話はそれからよ
（必死でAIにすがるのは、ブザマだよ）
・でなｗｗｗ （＾＾
ハーツホーンの章立てと、後の索引を見てみな！
・その上で、”パラリ、パラリ”と ページをめくりなよ・・、1ページずつよ・・
いま おれがやっているように・・ さｗｗ （＾＾
代数学の基本定理 (Fundamental Theorem of Algebra)は
省5
782(1): 11/11(火)21:22 ID:rZBZzvXB(6/10) AAS
＞まず、手元に ハーツホーンの本をおいて、眺めてみなよ
＞でなハーツホーンの章立てと、後の索引を見てみな
＞その上で、”パラリ、パラリ”と ページをめくりなよ・・、1ページずつよ・・
＞いま おれがやっているように・・ さ
キミ、代数学の基本定理 (Fundamental Theorem of Algebra)という単語だけを
何も考えずに探してる？それじゃ絶対に見つからないと断言するよ
「Chapter II.5–6：線束、切断、チャーン類。CP^1 上の O(n) の大域切断＝多項式。」
意味わかる？わかんないならハーツホーン読んでも無駄だから、即古本屋に売りな
っていうか、君大学レベルの数学書読んでも一字も理解できないから 即古本屋に売りな
そして数学のことはきれいさっぱりわすれな
省1
783: 11/11(火)21:29 ID:5zG2VQDm(7/9) AAS
>>765
下らないことしか書かないね
784: 11/11(火)21:32 ID:5zG2VQDm(8/9) AAS
>>773
>>>767-768
>>ばかばかしい
混成ですよ
785(1): 11/11(火)21:39 ID:rZBZzvXB(7/10) AAS
＞代数学の基本定理 (Fundamental Theorem of Algebra)はハーツホーンでは、直接は扱っていないぞ！
「直接」＝代数学の基本定理 (Fundamental Theorem of Algebra)という言葉を明示して
ということなら、そうはなってないかもしれんが、読む人が読めば
ああ、これって代数学の基本定理のことじゃん
と分かる記述があれば、それは「書いてある」ということになるんだよ
＞もちろん ハーツホーンで扱う大定理に何かを組み合わせれば
＞代数学の基本定理 (Fundamental Theorem of Algebra)
＞が 導けるかもしれないよ
ここでいってるのは、そういうことではなくて
代数学の基本定理にあたることが、層とコホモロジーの言葉で書ける
省12
786: 11/11(火)21:44 ID:rZBZzvXB(8/10) AAS
>>773
＞”フローチャート”自身は、構造化も非構造化も関係ないですよ！
というか構造化されてない
と断言できるのは、構造化チャートというものが存在してるから
外部ﾘﾝｸ[html]:www.ap-siken.com
構造化チャートでは、フローチャートのような勝手なgotoは書けない
条件分岐と繰り返しの構造が規定されてるから
キミ、構造化って何をどう構造化してるか全然分かってないでしょ
787(2): 11/11(火)21:47 ID:ewbNriaY(6/7) AAS
Siuは8月の研究集会で
Hartshorneはformalなので嫌いだと
言っていた
788: 11/11(火)21:50 ID:rZBZzvXB(9/10) AAS
別に「構造化自然言語文」で書けば、わかりやすく曖昧さのないプログラムは書けるよ
ブログラムというけど、所詮は文章だから（笑）
まあ、
ロクに文章も読めず
ロクな文章も書けない高卒の世田君に、
ロクなプログラムは書けんし
ロクな質問もAIに対してできないから
ロクな回答をAIに書かせることもできんね
ロクでもない奴といわれても仕方ない（笑）
789(2): 11/11(火)21:53 ID:rZBZzvXB(10/10) AAS
>>787
Hartshornに書いてあるといったが
Hartshornにしか書いてないとはいってないよ
日本語分かる？
790(1): 11/11(火)22:08 ID:ewbNriaY(7/7) AAS
Hartshorne
791: 11/11(火)23:08 ID:5zG2VQDm(9/9) AAS
>>789
ID:ewbNriaY はどこかしら日本語が不自由
792(3): 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/11(火)23:32 ID:MAm0UGMh(2/3) AAS
>>782
>「Chapter II.5–6：線束、切断、チャーン類。CP^1 上の O(n) の大域切断＝多項式。」
>意味わかる？わかんないならハーツホーン読んでも無駄だから、即古本屋に売りな
>>785
>「直接」＝代数学の基本定理 (Fundamental Theorem of Algebra)という言葉を明示して
>ということなら、そうはなってないかもしれんが、読む人が読めば
>ああ、これって代数学の基本定理のことじゃん
>と分かる記述があれば、それは「書いてある」ということになるんだよ
ふっふ、ほっほ
ははは
省7
793: 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/11(火)23:44 ID:MAm0UGMh(3/3) AAS
>>787
>Siuは8月の研究集会で
>Hartshorneはformalなので嫌いだと
>言っていた
御大か
巡回ご苦労さまです
なる・・・
意味深ですな
余韻がないってことかな？ （＾＾
794: 11/12(水)00:23 ID:Aucj6td8(1/2) AAS
>>792
内容がよく理解できていれば普通のことでは？
上下前次1-新書関写板覧索設栞歴
あと 208 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.029s