ガロア第一論文と乗数イデアル他関連資料スレ3

このスレは、ガロア第一論文と乗数イデアル他関連資料スレです
関連は、だいたい何でもありです（現代ガロア理論＆乗数イデアル関連まで）

前スレ ガロア第一論文と乗数イデアル他関連資料スレ2
https://rio2016.5ch.net/test/read.cgi/math/1677671318/

資料としては、まずはこれ
https://sites.google.com/site/galois1811to1832/
ガロアの第一論文を読む
渡部 一己 著 （2018.1.28）
PDF
https://sites.google.com/site/galois1811to1832/galois-1.pdf?attredirects=0

＜乗数イデアル関連＞
前々スレ ガロア第一論文及びその関連の資料スレ
https://rio2016.5ch.net/test/read.cgi/math/1615510393/785 以降ご参照

あと、テンプレ順次

>>149
無意味な思考してますね

zero divisor以外の元が可逆ならもちろんcancellableです

しかし、逆がいえますか？

あなたは
"zero divisor以外の環の元はcancellable、だから可逆"
といいきったんです

でも、それ、全くのウソですよね？

だって整数環の0以外の元は、cancellableだけど
1と-1以外は、可逆じゃないですから

残念！！！

ID:DIN9DYaP　は>>149で後件肯定の誤謬を犯している

後件肯定
https://ja.wikipedia.org/wiki/%E5%BE%8C%E4%BB%B6%E8%82%AF%E5%AE%9A

「可逆ならcancellableである。cancellableである。したがって可逆である。」

こんな推論の誤りに気づけない人は、数学を正しく理解できない

高校１年の命題論理からやり直しましょう

結論

行列が零因子でない場合に可逆となることは、
環論の一般論からは導けず
行列の性質を用いる必要がある

そしてその場合、
「行列式が０でない」　もしくは
「行列のランクがサイズと同じ」　という性質に
帰着される

したがって上記のいずれかを述べざるをえない

空中戦でごまかしても
地上戦で負けたら意味ない
線形代数が理解できない人は
そもそも論理による思考ができてない

>>152
必死で失態を誤魔化すｗ

あなたは>>143で
(引用開始)
> regularの定義は、下記のZero divisorの冒頭部分
> ”An element of a ring that is not a left zero divisor is called left regular or left cancellable.”
> つまり、zero divisorの否定であって、”cancellable”なもの
　上記の英文の正しい訳ｈ以下の通りです
「左零因子でない環の元は、左正規もしくは左キャンセル可能と呼ばれる」
　つまり、zero divisorの否定だけです
　それをregular、または同じことですが、cancellable　と呼んでいるのです
　したがって、cancellableについての以下の憶測は完全な誤りです
>”cancellable”とは、乗法の逆元を持つことで、”cancel”可能と解釈したけど
(引用終り)

1）つまり私の主張は、>>140に書いた通り、”cancellable”には文献[3]による定義があるらしいが、それにはアクセスできなかった
2）なので、上記「乗法の逆元を持つことで、”cancel”可能と解釈した」とした
3）あなたは、”cancellable”の定義を、wikipediaの英文だけに頼って
　”zero divisorの否定だけです　それをregular、または同じことですが、cancellable　と呼んでいる”としたのです
4）しかしながら、用語”cancellable”には、当然それなりの定義があるはずだ
　それが、>>146のcancellable：”xy = xz ⇒ y = z”
　（https://www.sciencedirect.com/topics/mathematics/zero-divisor Elementary Algebraic Structures Henri Bourles, in Fundamentals of Advanced Mathematics, 2017）
5）あなたは、ChatGPT 3.0レベルの答えしかだせない ｗ
　数学ムリじゃない？

>>150

>>（代数学とか、カリキュラムの発表とか指定教科書が分かる前ってことでしょ？）
>>いまなら、それもありと分かるけど（勉強は無駄にならないし、テキストは2冊あっていい）

これが面白かったのでMaclaneの"Homology"を読み始め
線形代数の方はお留守になってしまいました。

あほサルよけに https://rio2016.5ch.net/test/read.cgi/math/1674527723/5 ｗ
再録
https://rio2016.5ch.net/test/read.cgi/math/1677671318/946
>>943-945
ありがとう
棚から牡丹餅というかｗ

つまり
・私「正方行列の逆行列」（数年前）
　↓
・おサル「正則行列を知らない線形代数落ちこぼれ」
　↓
・私「零因子行列のことだろ？知っているよ」
　↓
・おサル「関係ない話だ！」と絶叫
　↓
・おサル『正則行列の条件なら、「零因子行列であること」はアウトですね
　いかなる行列が零因子行列か述べる必要がありますから』
　↓
・私「あんた、上記の自分の文章を読み返して おかしいと気づかないか？」
　↓
・おサル『「０以外の体の元は乗法逆元を持たない」のつもりで
「零因子以外の行列は乗法逆元を持たない」と書いて ケアレスミスだと言い張りたいんだろうけど』

ｗｗｗｗｗｗｗｗ

>>157
>これが面白かったのでMaclaneの"Homology"を読み始め
>線形代数の方はお留守になってしまいました。

へー
すごい
ところで、Maclaneの"Homology"も面白かった？
きっとそうかな
線形代数の方はお留守になるくらい

>>156
>私の主張は、
>”cancellable”には文献[3]に定義があるらしいが、
>それにはアクセスできなかったので、
>「乗法の逆元を持つことで、”cancel”可能」
>と解釈した
　定義がわからないからって
　自分勝手なウソ定義をでっちあげたら
　間違うだけだよね　素人さん
>あなたは、”cancellable”の定義を、
>wikipediaの英文だけに頼って
>”zero divisorの否定だけです　
>それをregular、または同じことですが、cancellable　と呼んでいる”
>としたのです
>しかしながら、用語”cancellable”には、当然それなりの定義があるはずだ
>それが、cancellable：”xy = xz ⇒ y = z”
　その定義からxが可逆元だと言えますか？
　言えませんよね？
>あなたは、ChatGPT 3.0レベルの答えしかだせない
　あなたがね、chatBOTさん

>>160
必死の話題そらし
ご苦労さん
その手には乗らないよｗ

　>>158 補足
(引用開始)
・おサル『正則行列の条件なら、「零因子行列であること」はアウトですね
　いかなる行列が零因子行列か述べる必要がありますから』
　↓
・私「あんた、上記の自分の文章を読み返して おかしいと気づかないか？」
　↓
・おサル『「０以外の体の元は乗法逆元を持たない」のつもりで
「零因子以外の行列は乗法逆元を持たない」と書いて ケアレスミスだと言い張りたいんだろうけど』
(引用終り)

１）「自分の文章を読み返して おかしいと気づかないか？」の指摘は、
　”非正則行列の条件なら、「零因子行列であること」”
　というべきを
　”正則行列の条件なら、「零因子行列であること」”
　と言ったら、つじつまが合ってないよと指摘したのです
２）アホなおサルは、恥の上塗りで
　『「０以外の体の元は乗法逆元を持たない」のつもりで
　「零因子以外の行列は乗法逆元を持たない」と書いて ケアレスミスだと言い張りたいんだろうけど』
　とわめいたのでしたｗｗｗｗｗｗ

　これじゃ、数学科で落ちこぼれて当然じゃんｗ
　あんたには、大学レベルの数学は無理だよ

>>161
> その手には乗らないよ
　また反論できず敗北の高校中退1

>>161
>”非正則行列の条件なら、「零因子行列であること」”というべきを
>”正則行列の条件なら、「零因子行列であること」”と言ったら
　ただのケアレスミス

>『「０以外の体の元は乗法逆元を持たない」のつもりで
>　「零因子以外の行列は乗法逆元を持たない」と書いて
　これまた、最初からケアレスミス

　でも、正則行列を正方行列と書くのは
　ケアレスミスじゃなくガチな初歩的誤解

　嗚呼、哀れ工業高校1年1学期中退の1!

>>161
> あんたには、大学レベルの数学は無理だよ
　あんたは、高校の数学もムリだもんな
　1の数学は中学で終わりました！

高校中退の1には生涯理解できないこと

「行列のランクが階段化された行列の段数と一致すること」

ここで行列のランクの定義は
「線形独立な行ベクトルの最大個数」
とする

あほサルよけに https://rio2016.5ch.net/test/read.cgi/math/1674527723/5 ｗ
再録
https://rio2016.5ch.net/test/read.cgi/math/1677671318/946
>>943-945
ありがとう
棚から牡丹餅というかｗ

つまり
・私「正方行列の逆行列」（数年前）
　↓
・おサル「正則行列を知らない線形代数落ちこぼれ」
　↓
・私「零因子行列のことだろ？知っているよ」
　↓
・おサル「関係ない話だ！」と絶叫
　↓
・おサル『正則行列の条件なら、「零因子行列であること」はアウトですね
　いかなる行列が零因子行列か述べる必要がありますから』
　↓
・私「あんた、上記の自分の文章を読み返して おかしいと気づかないか？」
　↓
・おサル『「０以外の体の元は乗法逆元を持たない」のつもりで
「零因子以外の行列は乗法逆元を持たない」と書いて ケアレスミスだと言い張りたいんだろうけど』

＜解説＞
１）何度か、アホが気づくチャンスあった
　最初に”零因子”の意味を検索して知れば、「関係ない話だ！」と絶叫することもない
　（というか、”零因子”を知らないのは、ちょっと代数あやしいよねｗ）
２）『正則行列の条件なら、「零因子行列であること」はアウトですね
　いかなる行列が零因子行列か述べる必要がありますから』
　に、私「あんた、上記の自分の文章を読み返して おかしいと気づかないか？」と指摘された時点で
　”零因子”の意味を調べて理解すべきだったのだ
３）恥の上塗り『「０以外の体の元は乗法逆元を持たない」のつもりで
　「零因子以外の行列は乗法逆元を持たない」と書いて ケアレスミスだと言い張りたいんだろうけど』
　は、あまりにも幼稚。「ケアレスミス」の一言では片づけられないアホさ加減ｗｗｗｗｗｗ

>>167
いまだに行列式もランクの求め方も理解できん
工業高校中退の超尖ηがなんか吠えとる

>>168
>>いまだに行列式もランクの求め方も理解できん
>>工業高校中退の超尖ηがなんか吠えとる

こういうことを書き込む意図が
さっぱり理解できないのだが
それをわかりやすく説明してもらえないだろうか

>>169
ID変わっているが、>>167のスレ主です

>こういうことを書き込む意図が
>さっぱり理解できないのだが

代わりに説明します
1）まず、彼は、サイコパスです！ https://rio2016.5ch.net/test/read.cgi/math/1674527723/5
　あと、統合失調症の薬を常用しているらしい
　大学の数学科に進学して、仕事は情報系に就職したらしいが、不遇な人生になった
（数学板に来たときに、初期に「数学板に来る数学科出身は、みんな不遇だ」みたく書いていた（自分を投影して））
　なので、ルサンチマン的感情もあるよう（プロ数学者に対する羨望も）
2）工学部出身と名乗ると、「必死にマウントする」のです
　多分、数学科で落ちこぼれて、プロ数学者になれなかったらしいのですが
　しかし、工学部出身より自分が数学では上と、主張したいのです
3）ところで、今年の数学セミナー4月号の飯高茂先生の対談記事Ｐ13で
　「同じ理科Ｉ類にすごい友達がいて、私がいろいろ考えて苦労した挙句にわかった解法が
　その人にはすっとわかる。こんな人が数学者になるのなら自分はとうてい数学を専攻する資格はないな、と思い詰めました
　でも、その人は『数学を研究するつもりはない。自分は工学部に行くから』と
　ぼくはそのとき、自分は数学はできないけれど、数学が好きで愛しているという点では、ほかの人に負けない自信があるから
　自分は数学を勉強して、それで高校の先生になれればいい、と決心しました」と
4）飯高茂先生の談にあるように、「数学科の落ちこぼれが、工学部より上」という命題には、反例ありですｗ
（勿論、私が飯高先生の談の”すごい友達”なみに、数学ができるはずがないけれど）
5）あなたは、東大入学前に代数学の本を買って勉強し>>148、つづいて Maclaneの"Homology"を読み始めたという>>157
　類似で、私も工学部で教えられるより余分の数学の勉強をして来ました（あなたより量もレベルも低いけれど）
　なので、数学科落ちこぼれのおサルさんが知っていることは、大体知っていることばかり（どれだけ深く理解しているかは別としてね）

これで、大体サイコパスおサルと、私スレ主との確執の原因が理解できるでしょう
降りかかる火の粉は、払わねばならない
容赦なく反撃していますｗ

>>170
飯高先生の対談記事はよかったですね
あそこを読んで、4月号は買わずにはいられませんでした。

>>171
>飯高先生の対談記事はよかったですね

ああ、そうですね
良かったです

浜田 忠久さんも、すさまじい
数学セミナーは、中学1年から購読していて
「エレガント」が解けるようになったのは中学3年のころでした
と書いてあるのをみて、びっくり

私は「エレガント」は、だいたい解答を見る側で、チャレンジしようと思ったことは、まずないです
そうとう難問なのでｗ。中学3年で解ける・・？

浜田氏は、1980年4月 - 1983年3月東京工業大学 理学部 数学科 か（下記）
年次的には、>>170のおサルさんと同年代か少し上かも知れませんね

特定非営利活動法人市民コンピュータコミュニケーション研究会（JCAFE）
を立ち上げて、活動しているようですね

4月号は、例年大学数学入門みたいな記事が多くて、買わないことが多いのですが

だれか、「ζさんの記事が良かった」とかいう人が居てｗ
つい買ってしまいましたｗ

あと、買ってから吉永正彦氏の”超平面配置”の連載記事がスタートしたのを知りました
フィールズ賞のホ・ジェニさんと関係していると書いてあるので、へーと思いました

(参考)
https://twitter.com/tarattaja
浜田忠久(JCAFE代表)
https://researchmap.jp/hamada_t
浜田 忠久
所属東京大学 学際情報学府
学歴
2009年4月 - 現在東京大学 大学院 学際情報学府 博士課程
2006年4月 - 2009年3月東京大学 大学院 学際情報学府 修士課程
1980年4月 - 1983年3月東京工業大学 理学部 数学科
https://twitter.com/5chan_nel (5ch newer account)

「エレガントな解答を求む」が中学3年で解けるというのは
とびぬけた能力の持ち主と言えるでしょう。
数学検定1級合格くらいに相当するかと思います。
一松先生に13年くらい前にお会いしたとき
中学3年生で数検1級に合格した中学生のことを
「天才ですね」と褒めておられました。
私の知り合いは中学生の間に数検1級に受からなかったことを
嘆いていましたが、数論幾何で修士論文が書けたようです。

>>173
ありがとうございます
関西へ出かけていて
いま、帰ってきました
行き帰りに、数学セミナー4月号を読みました
4月号いいですね

大学の書籍売り場の棚には数学セミナーの他に
数学関係では
大学への数学を含む4誌が並んでいますが
今月は
残った冊数は数学セミナーが一番少なかったようです

>>174
飯高先生の対談で出てくる 高橋洋翔くん、梶田光くんの両名は
小学生で、数学検定1級合格だそうです
ご存じでしょうが、念のため

https://www.fuku-ya.jp/takahasihiroto/
Keep it up 2021.12.14
高橋洋翔(レベチ数学天才少年)プロフィールと勉強法や中学は？
12月14日（火）23：08～テレビ東京放送の「レベチな人、見つけた」で紹介された、数学天才少年「高橋洋翔（たかはしひろと）」さん。

2018年 11歳（小５） 数学検定1級合格
2019年 12歳（小6）数学オリンピック予選合格
2019年 3期生として「孫正義育英財団」に在籍。
2021年 第12回 京進数学解法コンテスト 問題Bで敢闘賞を受賞

3歳で素因数分解が暗算で解けるようになり、中学レベルの数学の問題を解く。
11歳で合格率5.7%の、大学一般レベルである数学検定1級合格。

数学オリンピックでは、名だたる有名中高が並ぶ中、ただ一人の小学生で予選合格！

小1の時に書泉グランデで開かれている飯高先生の講座をきっかけに、専門的な数学の勉強や研究を教わる。
当時は、書泉グランデや朝日カルチャーセンターに週一で通い教わっていたそうです。

将来は数学者になり、数学のノーベル賞「フィールズ賞」を取りたい。
自分の研究で新しい定理を作ったり、未だ解明されていない問題を解く手がかりを見つけられたら嬉しいと話されています。

https://blog.excite.co.jp/nyliberty/32194948/
ニューヨークの遊び方 2022/09/14
孫正義育英財団生、13歳で数学の新定理発見、梶田光くんのケース

前回、『孫正義育英財団生、若き数学者、高橋洋翔くんのケース』をご紹介しましたが、その関連でもう1人、とても魅力的な「孫正義育英財団」財団生を取り上げたテレビ番組『13歳の数学者が新定理を発見！2歳で九九を暗記…卓越した才能の素顔とは』[2021年10月28日にアベマで放送したものを公式YouTubeチャンネルにて、Aug 19, 2022公開]を見つけてしまいました。

それが、この梶田光くん。
3期生で、2008年生まれ。彼もまた天才数学者の1人で、高橋洋翔くんと同じく、学習院大学名誉教授の飯島茂先生の指導を受けているのだそうです。

>>175
ありがとうございます

>大学の書籍売り場の棚には数学セミナーの他に
>数学関係では
>大学への数学を含む4誌が並んでいますが

4誌：数学セミナー、現代数学、数理科学、大学への数学
か
大きな書店（八重洲ブックセンターと丸善）では、岩波の「数学」（日本数学会、季刊？）も、売り場の棚にありました
そういえば、神田の岩波書店の売り場では、下記「応用数理」も置いていましたね
（”刊行後4ヶ月以上経過しますと，応用数理の本文がJ-Stageにてオープンアクセスとなります”か・・）

私が買うのは、だいたい数理科学が主でした
大学への数学は、たまに4月号を買って、大学入試問題を眺めたりしていました

(参考)
https://www2.jsiam.org/bjsiam
日本応用数理学会

学会誌「応用数理」
読者の方々へ

学会誌「応用数理」は年4冊刊行で, 会員に無料配布されます.
すぐれた学術的記事から気軽に読めるコラムまで多岐にわたる作りになっており，読みごたえがあるものと思います．

刊行後4ヶ月以上経過しますと，応用数理の本文がJ-Stageにてオープンアクセスとなります。

J-Stageにおける応用数理のページ https://www.jstage.jst.go.jp/browse/bjsiam/-char/ja/

>>172
>浜田 忠久さんも、すさまじい
>数学セミナーは、中学1年から購読していて
>「エレガント」が解けるようになったのは中学3年のころでした
>と書いてあるのをみて、びっくり
>私は「エレガント」は、だいたい解答を見る側で、チャレンジしようと思ったことは、まずないです
>そうとう難問なのでｗ。中学3年で解ける・・？

そういえば、関連で
飯高先生「（学習院時代に伊藤清先生が帰るときに一緒して）
伊藤先生は、数学オリンピックの問題が出ると、それをメモして一生懸命考えていました
『全部解けた』とかね。私は数学オリンピックは難しくて歯が立たないのですが・・」
とあります

伊藤清先生の話も面白いが
飯高先生「私は数学オリンピックは難しくて歯が立たない」も、面白いなとｗ

「数学文化」というのもあったが
休刊するらしい

>>179
『数学文化』ありましたね
あまり記憶に残っていないが、下記ですね

https://www.sugaku-bunka.org/index.php?_restful_permalink=%E6%A9%9F%E9%96%A2%E8%AA%8C%E3%80%8E%E6%95%B0%E5%AD%A6%E6%96%87%E5%8C%96%E3%80%8F/
日本数学協会 機関誌『数学文化』発行 日本評論社
https://www.sugaku-bunka.org/
日本数学協会への入会のお奨め
小学校から大学までの数学教育が数学嫌いをつくっているという批判がある一方で、たくさんの数学の入門書が書店の棚を飾っています。
考える楽しみを与えてくれる数学、様々な分野に応用されている数学。こうした数学の持つ面白さ、美しさや不思議さを味わうことのできる場が必要とされています。
とりわけ、数学を学ぶ楽しさを語り合うことができる場、自らの発見を語ることのできる場、
数学と関連する諸分野の方たちと互いに語り合うことができる場が、今まで以上に必要とされています。
こうした場をつくり、皆で数学を楽しみ、数学文化を豊かに育むことを願い、日本数学協会を設立いたしました。
会長　上野　健爾 .

https://www.shosen.co.jp/event/7805/
『数学文化』バックナンバー・フェア　＆　創刊20周年記念トークイベント
2023年5月7日まで書泉グランデ（千代田区神田神保町）で『数学文化』のバックナンバー・フェアを開催しています。
『数学文化』創刊20周年記念トークイベント
タイトル「数学文化とは何か」
講　師：三浦伸夫氏（神戸大学名誉教授）
開講日：2023年4月28日(金) 18：30～20：00
参加条件：4月28日までに書泉グランデにて『数学文化』を購入（購入時に参加券をもらってください）

日本数学協会　オンライン講義
【新テーマ】『 代数幾何入門 III　曲面論入門I 』
講　師：上野健爾氏（四日市大学　関孝和数学研究所）
開講日：2023年3月19日,4月2日,4月16日
日程
講義Ⅰ3月19日 15：30 ～ 17：30「 交点数とブローアップ 」
講義Ⅱ4月2日 15：30 ～ 17：30「 有理曲面の相対極小モデル 」
講義Ⅲ4月16日 15：30 ～ 17：30「 カステルヌォヴォーの有理性判定法 」
受 講 料：正会員＝無料 非会員＝毎回1,000円
参加資格：どなたでも参加できます（部分参加可能です）各回　正会員＝30名　非会員＝10名（どちらも先着順）

今日の午後はオンラインで上野先生
28日は東京で三浦先生か

>>157 戻る
>これが面白かったのでMaclaneの"Homology"を読み始め
>線形代数の方はお留守になってしまいました。

これか
"Homology"1963だが、実質”圏論”だね
GROTHENDIECK Tohoku Math(1957)も入っている

で、数学が面白くなったんだ
東大受験勉強時代は、数学者になる予定じゃなかったのに・・

しかし、よくこんなものが
独学で読めますね・・ｗ

https://www.アマゾン
Homology (Classics in Mathematics) Paperback ? Illustrated, October 4, 2013
English Edition by Saunders Maclane

Product Details
Publisher ? : ? Springer; 1995th edition (October 4, 2013)
Publication date ? : ? October 4, 2013
Language ? : ? English
Paperback ? : ? 440 pages
（海賊版より）
HOMOLOGY 1963
DR. SAUNDERS MAC LANE. MAX MASON DISTINGUISHED SERVICE
Preface
In presenting this treatment of homological algebra, it is a pleasure
to acknowledge the help and encouragement which I have had from
all sides. Homological algebra arose from many sources in algebra and
topology. Decisive examples came from the study of group extensions
and their factor sets, a subject I learned in joint work with OTTO SCHILLING. A further- development of homological ideas, with a view to their
topological applications, came in my long collaboration with SAMUEL
EILENBERG; to both collaborators, especial thanks. For many years
the Air Force Office of Scientific Research supported my research
projects on various subjects now summarized here; it is a pleasure to
acknowledge their lively understanding of basic science.

つづく

>>182
つづき

Introduction
Our subject starts with homology, homomorphisms, and tensors.
Homology provides an algebraic "picture" of topological spaces,
assigning to each space X a family of abelian groups H,(X), . . . , H,(X),
. . . , to each continuous map f : X+Y a family of group homomorphisms
f,: H,(X) +H, (Y). Properties of the space or the map can often be
effectively found from properties of the groups H, or the homomorphisms
f,. A similar process associates homology groups to other Mathematical
objects; for example, to a group nor to an associative algebra A. Homology in all such cases is our concern.
Complexes provide a means of calculating homology. Each %-dimensional "singular" simplex T in a topological space X has a boundary
consistini of singular simplices of dimension .n- 1.

Chapter I . Modules. Diagrams. and Functors .............. 8
6 . The Functor Hom .....
7 . Categories ........
8 . Functors .........

Bibliography
GROTHENDIECK, A. : Sur quelques Points d'Alg8bre Homologique. Tohoku Math. J.
9, lie221 (1957). 1x.2; 1x.4; x11.8
- (with J. DIEUDONN*) : l&ments de Mometrie Algebrique. I, 11. Pub. Math.
Inst. des Hautes Etudes. Paris 1960, 1961. Nos. 4 and 8. 1.8

https://www.maths.ed.ac.uk/~v1ranick/
Andrew Ranicki’s Homepage
(引用終り)
以上

>>182
>"Homology"1963だが、実質”圏論”だね
>しかし、よくこんなものが
>独学で読めますね・・ｗ
>（海賊版より）
>HOMOLOGY 1963
>DR. SAUNDERS MAC LANE. MAX MASON DISTINGUISHED SERVICE

海賊版をチラ見したけど
確かに、これ圏論の黎明期の本で
"Homology"を通して、圏論が構築されていく過程が分かる気がする
ちゃんと理解できれば、面白そうですね
（一月くらいじっくり時間かければ、冒頭3分の1くらいの易しい部分は、読めそうな気がするけどね・・。”気”だけかもしれないがｗ）
目次を見た感じでは、これ読めるならば、（読むために必要な）線形代数は自然に分かるわなｗ

>>181
> 28日は東京で三浦先生か

書泉グランデか、コロナもあって何年も行ってないな
三浦伸夫先生か、下記ですね

https://researchmap.jp/read0014898
基本情報
所属神戸大学 大学院国際文化学研究科 文化相関専攻 教授
学位
理学修士(東京大学)
学歴
- 1982年3月東京大学 大学院理学系研究科第１種博士課程単位修得退学

書籍等出版物
文系のための線形代数・微分積分
三浦 伸夫 (担当:共著)
実教出版 2011年1月

>>102
>テイラー級数は収束半径に気を付けながら使うということが
>東大でも工学部ではちゃんと教えられていないそうだ

東大理系出身者にいうのもあれだが・・

1）”教えられていない”が、東大工学部生が知らないことを意味しないし
　（みんな知っているから とか、教えなくても卒業までに知るからとか なのかもｗ）
2）収束半径は、実関数で教えるより
　複素関数の解析接続やれば、自然に分かるしｗ
3）仮に、収束半径で間違って、おかしな結果が出たとしても
　結果見て「なんかおかしいぞ」と気づけないなら、工学屋としては失格だね

　（収束半径で間違うのは、まことに非常識ではありますが）

複素関数論の初心者向けの入門的な教科書として
理想的とされる本の一つが
岸・藤本の「複素関数論」。

アマゾンのカスタマーレビューが二つあるが、これらを読むにつけ
複素解析の素養に欠ける数学者が増えた今日の状況が
アブなく思えてしまう。

5つ星のうち4.0 噛めば噛むほど味が出るような本です
複素関数の教科書で、いきなり開集合、閉集合で、閉包、触点、集積点など数学的な
言葉が出てきて、閉口しました。
シンプルに、定義、定理->証明->系の繰り返しで構成されているけれども、
余計なことは書かれていないので、理解に苦しむところがあるかもしれません。
そこは、教科書を教える講師の補足説明が必要だと感じています。
私は、工学系の出身ですけれども、この本から、複素関数が数学の分野の中で
唯一面白いと感じました。
やはり、数学の本は数学者が書くべきものだと感じました。
本当は星５なのですが、ただ、内容は難しいので、
その点１つ減らさせていただきました。

数学科向け
今大学で使っている本です。自分工学部なんですが、使ってみて思ったことは
「この本は初心者向けじゃない。工学系より数学系向けだ。」ってことです。
基本定理と証明しか書かれていないような本です。
例が少しだけある程度で、後ろの演習問題も証明問題が多く、
解答も詳しくはないので、初心者がいきなりやるには難しいと思います。
なので初心者はもっと易しいものからはじめるべきだと思います。
とは言っても、この本ほど複素関数の定理が載っているものもあんまりないし、
すべて証明が載っているというのも珍しいので、
複素関数を一通り理解したらチャレンジしてみてはいかがでしょうか？
自分もこの夏再チャレンジするつもりです。

>>187
ありがとうございます

>複素関数論の初心者向けの入門的な教科書として
>理想的とされる本の一つが
>岸・藤本の「複素関数論」
> 5つ星のうち4.0 噛めば噛むほど味が出るような本です
>複素関数の教科書で、いきなり開集合、閉集合で、閉包、触点、集積点など数学的な
>言葉が出てきて、閉口しました。

なるほど
"いきなり開集合、閉集合で、閉包、触点、集積点"
が良さそうに思います
いきなりε-δが出てくるよりもねｗ（開集合と一緒にやれば良いと思う）
多変数をやるときに、開集合とか役立つはず

この本、ちょっと図書館に頼んで取り寄せて貰います
私の場合、複素関数論の先生は東大数学科出身の教授で
英文の工学向けテキストでしたけど
個人的には、別のテキストもサイドリーダーとして併読しました
”収束半径”の話は、高校で知っていた気がします
昔は、テーラー展開は高校でやったような・・（少なくとも大学への数学にはあった）

書評のレビューにあるように
工学部でも、意識の高い人はちゃんと勉強していることが
レビューで分かりますね
（大学で教えられるだけでは、十分ではないと。レビュー書いた人は、東大生ではないと思いますが）

高い立場があるということを知るだけでも
ためになるのが学問の道

>>190
今年の数学セミナー4月号
「数学者を目指す」 佐野 岳人
Ｐ22
古田幹雄先生のところで、修士から博士へ
いい話ですね

https://ithems.riken.jp/ja/members/taketo-sano
理化学研究所 数理創造プログラム (iTHEMS) 基礎科学特別研究員
佐野 岳人 Taketo Sano 博士（数理科学）
着任履歴 2022-04-01 - 基礎科学特別研究員

https://ithems.riken.jp/ja/news/riken-news-interview-with-special-postdoctoral-researcher-2-a-great-first-step-as-a-mathematician-at-the-age-of-38
RIKEN NEWS: 基礎科学特別研究員インタビュー② 38歳でたどり着いた数学者としての大きな第一歩 2023-03-15

https://ithems.riken.jp/ja/events/khovanov-homology-theory-an-introduction-to-categorification
YouTube（限定公開）
Khovanov homology theory - an introduction to categorification by Dr. Taketo Sano on May 13, 2022

https://academist-cf.com/fanclubs/121/progresses/1831?lang=ja
学術系クラウドファンディングサイト「academist（アカデミスト）」
コンピュータを駆使して低次元トポロジーの謎に迫る！
月額支援型 academist Prize 採択

博士課程の3年間、ご支援ありがとうございました！
こんばんは、佐野です。いつもご支援頂きありがとうございます。

※ この活動報告は3月末にお送りするつもりでしたが、文書作成の時間を取ることができず4月になってしまいました、申し訳ありません。3月でサポートを解約された方にも読んで頂けるように、公開設定を「全体」にして投稿します。

※ 当 fanclub の今後の方針については、4月中旬頃にサポーター限定で改めて報告致します。

● 博士号を授かりました！

2022年3月24日、東京大学大学院数理科学研究科より「博士（数理科学）」の学位を授かりました！ 31歳からの6年間に及ぶチャレンジもひとまず終了となります。

4月からは理化学研究所の数理創造プログラム（iTHEMS）の基礎科学特別研究員となります。大学院進学当初は研究の道に進むことは全く考えていなかったので、不思議なものです。

つづく

>>192
つづき

3年間の研究成果
博士課程の三年間で、5編（単著3編、共著2編）の論文を書き、そのうち2編が論文誌で出版されました。以下、それぞれの論文へのリンクと、完成当時の活動報告へのリンクを記載します：
(1) Taketo Sano, "A description of Rasmussen’s invariant from the divisibility of Lee’s canonical class"
Journal of Knot Theory and Its RamificationsVol. 29, No. 06, 2050037 (2020)
https://www.worldscientific.com/doi/abs/10.1142/S0218216520500376
活動報告: https://academist-cf.com/mypage/challenger/fan_clubs/121/progresses/331
略

https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-20J15094/
s-不変量の性質および類似する不変量との関係の研究
研究開始時の研究の概要
「低次元トポロジー」は 3次元・4次元のトポロジーを中心に研究する数学の分野である. 20世紀初頭にポアンカレが唱えた「ポアンカレ予想」は 100 年のときを経てペレルマンによって解決されたが, 歴史的には 5次元以上の一般化された主張が先に証明され, 3次元・4次元の場合は全く別のアプローチが必要であった. またこの予想を「滑らかなカテゴリ」で置き換えたものは, 4次元の場合だけが現在も未解決である. 低次元トポロジーの研究は「結び目理論」と密接な関係がある. 本研究はコンピュータも駆使して「s-不変量」と呼ばれる結び目の不変量を研究し, 低次元トポロジーの謎の解明に貢献することを目指す.

研究実績の概要
1. 「Bar-Natan ホモトピー型の構成」昨年度の研究で， Khovanov homology の変種の一つである Bar-Natan homology に対してその空間的実現を構成した．「s-不変量の空間的持ち上げ」を実現する上で予想としていた「量子フィルトレーションの空間的持ち上げ」はまだ解決できていないが，簡単な例においては正しいことを示した．もしこれが構成できれば，安定コホモトピー群(または一般コホモロジー理論)を用いて s-不変量の類似物が定義できることを示し、特に Milnor 予想の別証明が再び得られることを示した．
略
以上

>>191
同意です

大田春外氏の例も
高校で止まらずに
大学数学まで進んだからこその
理解が得られたと思うのです

爺の裸踊り

数学者たちがICMに集う理由も
自分よりも高い立場の研究を
拝みたいからであろう

>>195
ありがとう
>>196
数学者たちがICMに集う理由ね
いろいろじゃないですか？

下記「人間は、社会的動物である」（アリストテレス）
それに因めば、数学者たちはICMで数学者の社会を形成していると考えることも出来るだろう

(参考)
https://ja.wikipedia.org/wiki/%E7%A4%BE%E4%BC%9A%E7%9A%84%E5%8B%95%E7%89%A9
社会的動物
社会的動物（しゃかいてきどうぶつ）とは、社会を構築し、その中で生活する動物の事である[要出典]。
なお本項では主にアリストテレスの提唱した人間の定義と、この人間が考える所の社会のイメージに基づいて、類似性の見られる生活習慣がある動物についても触れる。
概要
アリストテレスは『政治学 (アリストテレス)』において、人間は「enzoon politikon （ポリス的な動物）である」と述べた。
人間というのは、自己の自然本性の完成をめざして努力しつつ、ポリス的共同体（つまり《善く生きること》を目指す人同士の共同体）をつくることで完成に至る、という（他の動物には見られない）独特の自然本性を有する動物である、ということを述べた。

>>195
>裸踊り

下記東大数学科裸踊り
そういうのも あるのかもね

https://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q10158839295?sort=1&page=1
yahoo
ID非公開さん
2016/5/2 11:44
東大の数学科ってこういう感じなのですか。

その他の回答（6件）
dap********さん
2016/5/2 23:38
多分、数学かに入っても、適切なところで現実を見ることが出来る人間はdebeso
さんの言うとおり就職できるんでしょうね。
そうでない人は一流になるか落ちぶれるかの２択しか残されていません、記事の通りでしょう。
1人がナイス！しています

>>192
>今年の数学セミナー4月号
>「数学者を目指す」 佐野 岳人
>Ｐ22
>古田幹雄先生のところで、修士から博士へ
>いい話ですね

滑らかな 4次元多様体におけるポアンカレ予想は、まだ解かれていない
古田幹雄先生が、部分的な結果を出したという記事を読んだことがある
今回の佐野岳人氏の記事は、それをさらに一歩進める結果だ
それが、面白いと思った
頑張って、4次元多様体におけるポアンカレ予想の解決までいくと、すばらしいですよね！

https://ja.wikipedia.org/wiki/4%E6%AC%A1%E5%85%83%E5%A4%9A%E6%A7%98%E4%BD%93
4次元多様体
滑らかな 4次元多様体
フィンツシェル (Fintushel) とスターン (Stern) は、手術を使い、多くの滑らかな多様体の上で、互いに異なる大きな数の滑らかな構造をどのように構成するかを示し（任意の整数係数多項式をインデックスとする）、サイバーグ・ウィッテン不変量を使い、滑らかな構造は異なっていることを示した。これらの結果は、単連結でコンパクトな滑らかな 4次元多様体の分類は非常に複雑であることを意味している。現在、この分類が妥当であるというもっともらしい予想はない（いくつかの早い段階の予想は、すべての単連結な滑らかな 4次元多様体は、代数曲面、あるいは、シンプレクティック多様体の向きを保つ連結和かもしれないという予想があったが、否定された）。
4次元での特別な現象
多くとも次元 3 以下の低次元の方法により証明できる多様体に関しての基本定理がいくつかあり、少なくとも次元が 5 以上の高次元の全く異なる方法もいくつかあるが、しかし、それらは 4次元では誤りとなる。ここにいくつかの例を挙げる。
・記事低次元トポロジーの中の 4次元でのその他の特別な現象に掲げてある例。

https://ja.wikipedia.org/wiki/%E4%BD%8E%E6%AC%A1%E5%85%83%E3%83%88%E3%83%9D%E3%83%AD%E3%82%B8%E3%83%BC
低次元トポロジー

>>199 訂正

頑張って、4次元多様体におけるポアンカレ予想の解決までいくと、すばらしいですよね！
　↓
頑張って、滑らかな4次元多様体におけるポアンカレ予想の解決までいくと、すばらしいですよね！

分かると思うが

アリストテレスは『政治学 (アリストテレス)』において、
人間は「enzoon politikon （ポリス的な動物）である」と述べた。
人間というのは、自己の自然本性の完成をめざして努力しつつ、
ポリス的共同体（つまり《善く生きること》を目指す人同士の共同体）をつくることで完成に至る、という（他の動物には見られない）
独特の自然本性を有する動物である、ということを述べた。

アリストテレスとプラトンの大きな違いは
前者が誰しもが漠然と正しいと思っていることをとびきりの言葉で
表現しているのに対し
後者は誰もがうっかり見逃してきた本質を
対話形式という演劇的な技法で鋭く伝えていることである

>>200
>頑張って、滑らかな4次元多様体における
>ポアンカレ予想の解決までいくと、
>すばらしいですよね！
　そんな誰にでも言えること云う暇があったら
　非可算個の異種R^4の表現法でも示してくれないか？

>>201
プラトンには機智がある
アリストテレスには倦怠しかない

アリストテレスのホラ話を語る暇があったら
プラトンの太陽の比喩、線分の比喩、洞窟の比喩
について語る方が百万倍意義がある
上記の３つので比喩はすべて主体と客体に関わるものである

いわゆるプラトニズムは
プラトンのイデアを誤解している
イデアは真の存在などではなく
事物の認識でありいわば主体である

イデアと言う言葉は見るという動詞ideinに由来しているが、
何をどう見るかは主体が決めるのである

認識の中に真も偽も存在するというアポリア

>>202
>非可算個の異種R^4の表現法でも示してくれないか？

取りあえず下記でも
なお、「m <= 2n（従って次元は多くとも |符号| の 10/8 倍である）とすると、古田幹雄は滑らかな構造が存在しないことを証明した(Furuta 2001)」にご注目
(20年経って 佐野岳人氏登場>>199)

（参考）
https://ja.wikipedia.org/wiki/4%E6%AC%A1%E5%85%83%E5%A4%9A%E6%A7%98%E4%BD%93
4次元多様体
滑らかな 4次元多様体
・交叉形式が不定値で、偶であると、・・
　m <= 2n（従って次元は多くとも |符号| の 10/8 倍である）とすると、古田幹雄は滑らかな構造が存在しないことを証明した(Furuta 2001)。このことは 10/8 と 11/8 間にギャップがあり、そこでの答えは未解決である。

対照的に、向き付けされた 4次元多様体上の滑らかな構造を分類する第二の問題はほとんど分かっていない。
ドナルドソンは、ドルガチェフ曲面（英語版）のような、単連結でコンパクトな 4次元多様体が存在し、可算無限個の異なる滑らかな構造が存在することを示した。R4 上には非可算無限個の異なる滑らかな構造が存在する。エキゾチック R4を参照。

https://ja.wikipedia.org/wiki/%E3%82%A8%E3%82%AD%E3%82%BE%E3%83%81%E3%83%83%E3%82%AF_R4
エキゾチック R4
https://en.wikipedia.org/wiki/Exotic_R4
Exotic R^4
In mathematics, an exotic
R^4 is a differentiable manifold that is homeomorphic (i.e. shape preserving) but not diffeomorphic (i.e. non smooth) to the Euclidean space R^4.
The first examples were found in 1982 by Michael Freedman and others, by using the contrast between Freedman's theorems about topological 4-manifolds, and Simon Donaldson's theorems about smooth 4-manifolds.[1][2] There is a continuum of non-diffeomorphic differentiable structures of R^4, as was shown first by Clifford Taubes.[3]

つづく

>>207
つづき

Prior to this construction, non-diffeomorphic smooth structures on spheres ? exotic spheres ? were already known to exist, although the question of the existence of such structures for the particular case of the 4-sphere remained open (and still remains open as of 2023). For any positive integer n other than 4, there are no exotic smooth structures on
R^n; in other words, if n ≠ 4 then any smooth manifold homeomorphic to
R^n is diffeomorphic to R^n.[4]

https://en.wikipedia.org/wiki/Clifford_Taubes
Clifford Henry Taubes (born February 21, 1954)[1] is the William Petschek Professor of Mathematics at Harvard University and works in gauge field theory, differential geometry, and low-dimensional topology. His brother is the journalist Gary Taubes.
Early career
Taubes received his PhD in physics in 1980 under the direction of Arthur Jaffe, having proven results collected in (Jaffe & Taubes 1980) about the existence of solutions to the Landau?Ginzburg vortex equations and the Bogomol'nyi monopole equations.
Soon, he began applying his gauge-theoretic expertise to pure mathematics. His work on the boundary of the moduli space of solutions to the Yang-Mills equations was used by Simon Donaldson in his proof of Donaldson's theorem. He proved in (Taubes 1987) that R4 has an uncountable number of smooth structures (see also exotic R4), and (with Raoul Bott in Bott & Taubes 1989) proved Witten's rigidity theorem on the elliptic genus.
Work based on Seiberg?Witten theory
In a series of four long papers in the 1990s (collected in Taubes 2000), Taubes proved that, on a closed symplectic four-manifold, the (gauge-theoretic) Seiberg?Witten invariant is equal to an invariant which enumerates certain pseudoholomorphic curves and is now known as Taubes's Gromov invariant. This fact improved mathematicians' understanding of the topology of symplectic four-manifolds.
(引用終り)
以上

分からないなら黙ればいいのに
黙れないって🤪なのかな

ChatGPTに正則行列について尋ねたら
正確に答えたのでここの🐎🦌よりは賢い
ただ行列の階数は正しく答えられなかった
AIは計算できないようだ

うちの学生はリーマン面の定義は正しく言えるが
可算基を持たない多様体の例はというと
面倒くさがって検索しない

>>211
そんなこと言うと、ここの🐎🦌が
喜んて検索してリンク&コピペして
俺は天才ィィィとか言い出すぞ

中卒は検索が思考だと誤解してるからな

確かに検索のみでは思考とは言えないが
検索が全くできないようでは
まっとうな思考はおぼつかない
思いて学ばざればすなわち殆し

>>211-212
ありがとう
google
"可算基を持たない多様体の例"
下記ヒット
2件とも、嶺 幸太郎氏だがｗ

http://www.math.kanagawa-u.ac.jp/mine/
嶺 幸太郎
http://www.math.kanagawa-u.ac.jp/mine/j03.pdf
多様体となる無限次元空間の位相について 第56回トポロジーシンポジウム講演集 53-64 北海道大学2009年
嶺 幸太郎（筑波大学大学院数理物質科学研究科）
＜googleレビュー＞
本講演では, 線形位相空間をモデル空間とする無限次元位相多様体論を概説するとい ... は可算近傍基を持たないことが分かる (詳しくは定理 2.11 の後で述べる).
1. 無限次元多様体のモデル空間

http://www.rie.kanagawa-u.ac.jp/publication/pdf/syohou039.pdf
https://kanagawa-u.repo.nii.ac.jp/?action=repository_action_common_download&item_id=12829&item_no=1&attribute_id=18&file_no=1
総説 無限次元多様体の位相構造 嶺幸太郎* 特任助教　工学部数学教室
神奈川大学工学研究所所報 第39号2016
＜googleレビュー＞
本稿では位相空間の中でも無限次元多様体と呼ばれ ... 無限次元位相線形空間の最も典型的な例は完備内積 ... る場合, f は可算近傍基を持たないことが分かる (詳し.

>>213
ありがとう

>確かに検索のみでは思考とは言えないが

同意
　>>214の中身は、見ていない（これから）
無限次元空間を使っているけど
無限次元が必須か？ "可算基を持たない多様体の例"
有限次元で考えていたから、さっぱり浮かばなかったわｗ

>>214
「多様体」と「可分」
または
「非可分多様体」
あるいは
「第二可算公理」と「多様体」を
打ち込んでみてほしい。

複素関数論の学部程度の教科書には載っていませんが
リーマン面の構造を持つ曲面は
向き付けが可能で
かつ
第２可算公理をみたします。

>>216
ありがとうございます

検索：”「第二可算公理」と「多様体」”で
冒頭に出てくるのが
約 71 件 （0.50 秒）
パラコンパクト性をめぐって
ワードプレス.com //yamyamtopo.files.ワードプレス.com ? para...
PDF
多様体について講義やテキストで学んでいくと、ある所で多様体に「パラコンパクト」. （あるいは「第二可算公理」など）という見慣れない仮定が置かれることがあります ...
37 ページ

そこから、パラコンパクト性から、アーベル圏、グロタンディーク、東北ジャーナルまで流れていきましたｗ（下記）
https://ja.wikipedia.org/wiki/%E3%83%91%E3%83%A9%E3%82%B3%E3%83%B3%E3%83%91%E3%82%AF%E3%83%88%E7%A9%BA%E9%96%93
パラコンパクト空間はすべての開被覆が局所有限（英語版）な開細分を持つような位相空間である。これらの空間は Dieudonne (1944) によって導入された。すべてのコンパクト空間はパラコンパクトである。すべてのパラコンパクトハウスドルフ空間は正規であり、ハウスドルフ空間がパラコンパクトであることと、任意の開被覆に対しそれに従属する 1 の分割を持つことは同値である。パラコンパクト空間の定義にハウスドルフであることを含める場合もある

https://ja.wikipedia.org/wiki/%E9%9B%86%E5%90%88%E3%81%AE%E8%A2%AB%E8%A6%86
被覆（cover）とは、ある集合がその集合の部分集合の族で覆われるとき、その部分集合の族のことをいう
関連項目
層 (数学)
アーベル圏

https://ja.wikipedia.org/wiki/%E3%82%A2%E3%83%BC%E3%83%99%E3%83%AB%E5%9C%8F
アーベル圏とはアレクサンドル・グロタンディークによって考案された、ホモロジー代数が展開できるよういくつかの公理を満たす圏である。元来、層係数のコホモロジー理論（層コホモロジー）と定数係数のコホモロジー理論は、定義および構成方法がまったくといっていいほど異なるにもかかわらず、理論の構造は酷似していた。そのため両者を統一的な観点から記述するために考案された
グロタンディークの公理系
東北ジャーナルにおける論文 (Grothendieck 1957) においてグロタンディークはアーベル圏 A が満たすべき四つの公理（とその双対）について記している。これらの公理は今日においても広く用いられている。具体的には
略

>>217
ありがとうございます

>リーマン面の構造を持つ曲面は
>向き付けが可能で
>かつ
>第２可算公理をみたします。

ですよね
証明は知らないが、そう思います
だから、”リーマン面の構造を持つ曲面”は
"可算基を持たない多様体の例">>211には、ならないし
おそらく、有限の多変数の複素関数を考えても
"可算基を持たない多様体の例"には、ならないのでしょうね

嶺幸太郎氏 >>214を斜め読みしていましたｗ
この二つは殆ど同じ内容です
なので、神奈川大学工学研究所所報 第39号2016 を読めば良い
冒頭
”1.1. ヒルベルト多様体.
　フレシェ空間の例としては,ヒルベルト空間やバナッハ空間などが挙げられるだろう.次の定理によると,フレシェ多様体を考える上でのモデル空間はヒルベルト空間のみを考えればよいことが分かる.
定理1.1 (Kadec-Anderson). 稠密度4の等しい無限次元フレシェ空間はすべて同相(?)である.5”

とあるので、ヒルベルト空間（多様体）には、"可算基を持たない多様体の例"があるってことか
もう少し調べてみます

>>219
「リーマン面は可算基を持つ」と言ったのですから
「ああ、リーマン面でないただの曲面は
可算基を持つとは限らないのだな」と思ってほしいのですが。

長い直線に辿り着くのはいつか

せめて長い半直線は見えてほしい

age

>>220-222
ありがとうございます

>長い直線に辿り着くのはいつか
>せめて長い半直線は見えてほしい

素人には、まったく浮かびませんでした 苦笑ｗ
検索：長い直線 位相 非可算
約 87 件 （0.62 秒）

下記は抜粋
実は、下記のどれもまだ開いて読んでいないが 苦笑ｗ
googleレビューを見ると、
”区間 [0, 1) を非可算 ω1並べたもの”が、なが～～～い直線なのか
へー
いまから、つまみ食いします

（参考）
Wikipedia
//ja.wikipedia.org ? wiki ? 長い直線
長い閉半直線 (closed long ray) L は、最小の非可算順序数 ω1と区間 [0, 1) との直積を台集合として、辞書式順序の誘導する順序位相をいれた位相空間として定義される。

Mathpedia
? wiki ? 長い直線
2021/05/01 ? 4.1.1 補題1（有界集合の可算合併の有界性） ・ 4.1.2 命題2（非有界閉集合の可算共通部分の非有界性） ・ 4.1.3 命題3（連続関数は有界集合上を除いて定数）.
?定義 ・ ?性質 ・ ?コンパクト化

つづく

>>224
つづき

なが～～～い直線 | mixiユーザー(id:8189426)の日記
Mixi
https://ミクシィ.jp ? ... ? なが～～～い直線
2010/11/21 ? どれぐらい長いかと言うと、普通の直線は [0,1) 区間を可算個並べたものであるのに対し、長い直線は非可算個並べたもの。

第4回 2012.9.24
筑波大学
http://www.math.tsukuba.ac.jp ? ~tange ? jugyo
PDF
2012/09/24 ? せたものとして次の位相空間がある。 Long line(長い直線) ω1 を最も小さい非可算順序数とする。このとき、[0,1) × [0,ω1) に辞書式順序を入れた空間.
2 ページ

ワードプレス
https://yamyamtopo.files.ワードプレス ? one_...
PDF
1 次元多様体の分類
次元多様体は、円周 S1，実数直線 R，開いた長い半直線 L+，長い直線 L のいずれ. かと同相になることを証明する。 1 1 次元多様体. 本稿では、位相空間 X, ...

つづく

>>225
つづき

https://yamyamtopo.files.ワードプレス ? uker...
PDF
位相空間論における反例と線形順序
よって、M は可分ではない。 (5) ユークリッド位相に関する R の非可算な閉集合 C であって、P に含まれるものが.

京都大学
https://repository.kulib.kyoto-u.ac.jp ? bitstream
PDF
線形順序位相空間への写像に対す る内挿定理 (集合論的 ...
山内貴光 著 ・ 2016 ? 最小の非可算順序数を $\omega_{1}$ ... に辞書式順序が与えられた線形順序位相空間を長い半直線 (long ... 弧状連結な線形順序位相窒間は，長い直線 $L$ のある区.
(引用終り)
以上

>>223 補足

＜長い話＞
・Alexandroffさんが、考えたの？
・p-adic analogがある？
・Higher dimensions ”the ball of long radius”？ なんですかｗ

https://ja.wikipedia.org/wiki/%E9%95%B7%E3%81%84%E7%9B%B4%E7%B7%9A
長い直線
長い直線（long line） もしくはアレキサンドロフ直線（アレキサンドロフちょくせん、英: Alexandroff line）は、局所的には実数直線によく似ているが、大域的には「もっと長い」位相空間である。
長い直線は多様体の公理のうち、第二可算公理以外の全ての公理を満たす。（第二可算公理も満たす一次元多様体は R と S1 のみである[1]）。
定義
長い閉半直線 (closed long ray) L は、最小の非可算順序数 ω1と区間 [0, 1) との直積を台集合として、辞書式順序の誘導する順序位相をいれた位相空間として定義される。長い開半直線 (open long ray)は、L から最小元 (0,0) を除いて得られる。

https://en.wikipedia.org/wiki/Long_line_(topology)
Long line (topology)
In topology, the long line (or Alexandroff line) is a topological space somewhat similar to the real line, but in a certain way "longer". It behaves locally just like the real line, but has different large-scale properties (e.g., it is neither Lindelof nor separable). Therefore, it serves as an important counterexample in topology.[1] Intuitively, the usual real-number line consists of a countable number of line segments [0,1) laid end-to-end, whereas the long line is constructed from an uncountable number of such segments.

つづく

>>227
つづき

p-adic analog
There exists a p-adic analog of the long line, which is due to George Bergman.[8]
[8] Serre, Jean-Pierre. "IV ("Analytic Manifolds"), appendix 3 ("The Transfinite p-adic line")". Lie Algebras and Lie Groups (1964 Lectures given at Harvard University). Lecture Notes in Mathematics part II ("Lie Groups"). Springer-Verlag. ISBN 3-540-55008-9.
略

Higher dimensions
Some examples of non-paracompact manifolds in higher dimensions include the Prufer manifold, products of any non-paracompact manifold with any non-empty manifold, the ball of long radius, and so on.
The bagpipe theorem shows that there are 2^?1 isomorphism classes of non-paracompact surfaces.
There are no complex analogues of the long line as every Riemann surface is paracompact, but Calabi and Rosenlicht gave an example of a non-paracompact complex manifold of complex dimension 2.[9]
(引用終り)
以上

Short C^2というのもある。
論文は2022年の
Notes on the short C^k's

>>219
任意の複素次元で成り立つ性質は2以上の実数の偶数次元の空間でも成り立つように出来る
ルベーグ空間に内積が定義された構造を持つヒルベルト空間 L^2 はその典型
逆に、任意の2以上の実数次元の空間でも成り立つような性質
がすべて複素次元の空間でも成り立つように出来るとは限らない

>>219
>>有限の多変数の複素関数を考えても
>>"可算基を持たない多様体の例"には、ならないのでしょうね

C^2を非可算回続けてブローアップすれば
二次元の連結な複素多様体で
可算基を持たないものが作れます。

スレ主です
専ブラJaneが使えない
一般ブラウザから、書いてみます

>>225のワードプレスの記事、斜め読みしていましたｗ
証明は、十分分かったと言えないが、帰納法を使ってますね
取りあえず貼ります

https://yamyamtopo.wordpress.com/page/2/
yamyamtopo
長い半直線 \mathbb{L}_+ は、単に長い直線を途中で切ってできるものです。つまり、\mathbb{L} から一点を除いたもののそれぞれの連結成分が \mathbb{L}_+（と同相な空間）です。\mathbb{L}_+ は一方の端には可算列で到達でき、もう一方の端には可算列で到達できないという非対称性をもちます。

最近ではこの制約を課さない、したがって長い直線も含んだ多様体の研究も行われています。2015 年に出版された Non-metrisable Manifolds という本は、この分野でのはじめての専門書です。
この「分類定理」はある程度は良く知られた事実と思われ、志賀浩二「多様体論」ではそれを示すことが演習問題になっています。しかし、この本には詳しい解答はないようです。

https://yamyamtopo.files.wordpress.com/2017/05/one_dimensional_mfd.pdf
投稿日: 2015年9月17日
追記（2020年6月10日）：補題 2.2 の証明を修正しました。誤記を直し、また説明が不十分であった点をより詳しく書き直しました。
1 次元多様体の分類
yamyamtopo
概要
1次元多様体の分類定理を証明する。
すなわち、距離化可能性を仮定しない
連結1次元多様体は、円周 S1，実数直線 R，開いた長い半直線 L+，長い直線 L のいずれ
かと同相になることを証明する。

https://ja.wikipedia.org/wiki/%E4%BD%8D%E7%9B%B8%E5%A4%9A%E6%A7%98%E4%BD%93
位相多様体
多様体の分類
曲線（1次元多様体）
詳細は「1次元多様体」を参照
任意の空でないパラコンパクト連結1次元多様体は R か円周に同相である。連結でないものは単にこれらの直和である。

https://ja.wikipedia.org/wiki/%E6%9B%B2%E7%B7%9A
曲線 （1次元多様体から転送）

https://en.wikipedia.org/wiki/Curve
Curve
Topological curve
If the domain of a topological curve is a closed and bounded interval
I=[a,b], the curve is called a path, also known as topological arc (or just arc).

>>232
ありがとうございます

C^2を非可算回続けてブローアップね
素人なので想像力がついていきませんがｗ

C^2を非可算回続けてブローアップ
で検索をすると下記ヒット

”発散 (blow up)”ね（念のため）
Wikipedia
https://ja.m.wikipedia.org › wiki › 緩増加超函数
シュワルツ超函数
シュワルツ超函数の概念は、古典的な意味での導函数を持たない函数に対しても微分 ... 全射にならないのは、超函数は V の境界で発散 (blow up) していてもよいからで ...

”シンプレクティック多様体”？
高エネルギー加速器研究機構
https://research.kek.jp › people › hkodama › Math PDF
Geometry
2013/03/04 — ンプレクティック多様体 M に対して，ゼロでないコホモロジー類 ... を r 回ブローアップした曲面 Σr に対して，c2. 1(Σr)=9 − r．また，.
204 ページ
RIGID解析入門 - RIMS, Kyoto university
京都大学
https://www.kurims.kyoto-u.ac.jp › ~kyodo › pdf
加藤文元 著 · 1998 · 被引用数: 1 — Chapter 2 解析的還元と Raynaud による Rigid 解析. ... のブローアップによる極限といった対象に、解析空間という比較的具体性の多い意味.
48 ページ

いやそれよりも、昔コンピュータグラフィックで流行った”マンデルブロー集合”みたいな？？
一橋大学
https://www1.econ.hit-u.ac.jp › courses › mandel PDF
マンデルブロー集合
2012/12/22 — 複素数 c をひとつ選んで，次のような漸化式 (C) で定まる数列. {Cn}n≥0（とくに断らない限り，複素数列）を考えてみる：. C0 = 0; Cn+1 = C2.
205 ページ

というか
複素曲面の分脈では
ブローアップは
螺旋階段の上下をつなげたようなイメージ
C^2の原点にリーマン球面を差し込む

カステルヌオヴォ(新城)はブローアップの
逆であるブローダウンができるための条件を発見した

非可分多様体上でも
異種可微分構造の問題がある

素人は、線形代数からやり直せ

素人は、線形代数からやり直せ

素人は、線形代数からやり直せ

>>235
ありがとう

>複素曲面の分脈では
>ブローアップは
>螺旋階段の上下をつなげたようなイメージ
>C^2の原点にリーマン球面を差し込む

取りあえず検索すると下記

"複素曲面" "ブローアップ" C^2 リーマン球面 pdf
で、検索
約 18 件 （0.33 秒）

見繕い2つ下記ｗ
なんか、学部のレベルは超えている？
まあ、じっくりやりましょう

https://www.math.titech.ac.jp/~honda/download/Honda_MSJ_2015.pdf
ツイスター空間の幾何学
本多 宣博 (東京工業大学)
概要
第一節では反自己双対構造およびそれに付随するツイスター空間に関する基本的
な内容を紹介する。第二節ではこれらに関して、2000 年頃までの主要な結果を紹介
する。第三節では特に Moishezon ツイスター空間に関してその後得られたいくつ
かの結果を紹介する。本稿は 2015 年度日本数学会年会における企画特別講演の要
旨（アブストラクト集からの転載）である。
＜googleレビュー＞
本多宣博 著 ・ 2022 ? 特に複素曲面上のリッチ平坦ケーラー計量（ハイパー ... るが）手計算では実行が困難なほど多くのブローアップを繰り返す必要があり、正攻法は.

https://www.cajpn.org/refs/Lefschetz.pdf
報告集
Lefschetz Fibrationsとそのmonodromy
はじめに
　この小冊子は2011年12月16日から18日まで，アピカルイン京都で開催した
「Lefschetz fibrationとそのmonodromy」に関するミニワークショップの報告集です．
P33
射影化 f : C2 ? {0} → CP1 : (z1, z2) )→ [z1 : z2] を考える. 0 ∈ C2 が base locus
にあたる. 0 で C2 をブローアップするということは, 第 2 成分への射影
π2 : τ := {([u, v],(x, y)) ∈ CP1 × C2 | xv = yu} → C
を考え, C2 を τ に置き換えることであった.

>>238
三つ続くと
呪いの呪文じみてくる

>>241

blow up complex geometry
で検索すると、下記が出たね
カタカナのブローアップ では、ダメなのか

下記で、”複素曲面の分脈では”への対応として
”複素多様体の部分多様体でのブローアップ”と
”Blowing up submanifolds in complex manifolds”
合ってますかね？

(参考)
https://ja.wikipedia.org/wiki/%E3%83%96%E3%83%AD%E3%83%BC%E3%82%A2%E3%83%83%E3%83%97_(%E6%95%B0%E5%AD%A6)
ブローアップ (数学)（英: blowing up, blowup）

複素空間の点でのブローアップ

複素多様体の部分多様体でのブローアップ
もっと一般に、Cn の中の余次元 k の任意の複素部分多様体 Z でブローアップすることができる。Z を方程式
x_1=・・・ =x_k=0 の解集合とし、
y_1,・・・ ,y_{k を Pk - 1 の斉次座標とする。このとき、ブローアップは空間 Cn × Pk - 1 における
C^n すべての i と j についての方程式
x_iy_j=x_jy_i の解集合である。
さらに一般に、局所的にこの構成を使うことで任意の複素多様体 X の任意の部分多様体でブローアップすることができる。これは、前と同じくブローアップの中心 Z を例外因子 E で置き換える操作になっている。

関連する構成
前述の Cn のブローアップで、複素数であることを本質的に使っている箇所はない。したがって任意の体の上でブローアップを行うことができる。例えば、R2 を原点で実ブローアップするとメビウスの帯ができあがる。同様に、2次元球面 S2 をブローアップすると 実射影平面（英語版） ができあがる。
法錐への変形（英語版）は代数幾何学の証明で頻繁に使われるブローアップのテクニックである。

脚注
注釈
1^ 日本語ではブローアップという表記のほかに爆発という訳語も定着している。「爆発 代数幾何学」をGoogle検索する

https://en.wikipedia.org/wiki/Blowing_up
Blowing up

Blowing up points in complex space

Blowing up submanifolds in complex manifolds

>>242
>三つ続くと
>呪いの呪文じみてくる

どうもありがとう

えーえー
いつものことですｗ

彼を常人と思わないことが大事です
彼はサイコパスです！ https://rio2016.5ch.net/test/read.cgi/math/1674527723/5

>>235
>複素曲面の分脈では
>ブローアップは
>螺旋階段の上下をつなげたようなイメージ
>C^2の原点にリーマン球面を差し込む

下記の”Blowup in a Point”の動画
合ってますか？
上記の説明と合っているように思うのですが・・

https://www.youtube.com/watch?v=20BfjaAZ8sI
Blowup in a Point
oliverlabs
12,334 回視聴 2006/12/08
Today, we present the standard picture which appears in any algebraic geometry text book in the form of an animation: the blowup of the affine plane in the origin. Over each point of the plane there is a unique point in the blowup except for the origin where we have a whole line, called the exceptional line (green). The points on the exceptional line correspond to tangent directions of the affine plane in the origin. Since each lines through the origin passes it in a different direction, the corresponding lines on the blowup do not intersect.

This also allows us to find a smooth curve (blue) on the blowup that lies over the singular blue curve in the plane. The singular point of the plane curve has two preimages since the curve passes through the origin in two different directions (white).

If C is any singular curve lying on a smooth surface it is a classical theorem, that one can find a smooth curve D mapping to C, by iterating this process.

This film was made by Hans-Christian v. Bothmer and Oliver Labs using surfex.

Alok Singh
2 か月前
This is remarkable

fivefoflow
16 年前
Man, I wish I knew what all that stuff in the description means.

>>245
合っています

あほサルよけに https://rio2016.5ch.net/test/read.cgi/math/1674527723/5 ｗ
再録
https://rio2016.5ch.net/test/read.cgi/math/1677671318/946
>>943-945
ありがとう
棚から牡丹餅というかｗ

つまり
・私「正方行列の逆行列」（数年前）
　↓
・おサル「正則行列を知らない線形代数落ちこぼれ」
　↓
・私「零因子行列のことだろ？知っているよ」
　↓
・おサル「関係ない話だ！」と絶叫
　↓
・おサル『正則行列の条件なら、「零因子行列であること」はアウトですね
　いかなる行列が零因子行列か述べる必要がありますから』
　↓
・私「あんた、上記の自分の文章を読み返して おかしいと気づかないか？」
　↓
・おサル『「０以外の体の元は乗法逆元を持たない」のつもりで
「零因子以外の行列は乗法逆元を持たない」と書いて ケアレスミスだと言い張りたいんだろうけど』

＜解説＞
１）何度か、アホが気づくチャンスあった
　最初に”零因子”の意味を検索して知れば、「関係ない話だ！」と絶叫することもない
　（というか、”零因子”を知らないのは、ちょっと代数あやしいよねｗ）
２）『正則行列の条件なら、「零因子行列であること」はアウトですね
　いかなる行列が零因子行列か述べる必要がありますから』
　に、私「あんた、上記の自分の文章を読み返して おかしいと気づかないか？」と指摘された時点で
　”零因子”の意味を調べて理解すべきだったのだ
３）恥の上塗り『「０以外の体の元は乗法逆元を持たない」のつもりで
　「零因子以外の行列は乗法逆元を持たない」と書いて ケアレスミスだと言い張りたいんだろうけど』
　は、あまりにも幼稚。「ケアレスミス」の一言では片づけられないアホさ加減ｗｗｗｗｗｗ
4）確かに、私の「正方行列の逆行列」は不正確な言い方ではあったが
　アホさるの自爆を誘ったとすれば、怪我の功名というか、誘の隙(さそいのすき)というべきかｗｗ
　ゆかいゆかい！ｗｗ

>>246
ありがとうございます
なるほど>>245の動画のような図は
昔、森重文先生がフィールズ賞を取ったときの
極小モデル理論解説のポンチ絵で見た記憶が・・
数学セミナー誌だったかな、大衆向けの簡単な説明だったような記憶があります

そうすると、>>245の動画のようなブローアップを
C^2で非可算回続けてブローアップ>>231 するのか・・
分かったような・・、しかし想像を絶する状況ですね

https://ja.wikipedia.org/wiki/%E6%A5%B5%E5%B0%8F%E3%83%A2%E3%83%87%E3%83%AB
極小モデル

https://en.wikipedia.org/wiki/Minimal_model_program
Minimal model program

Minimal models of surfaces
Main article: Enriques?Kodaira classification

Every irreducible complex algebraic curve is birational to a unique smooth projective curve, so the theory for curves is trivial. The case of surfaces was first investigated by the geometers of the Italian school around 1900; the contraction theorem of Guido Castelnuovo（新城） essentially describes the process of constructing a minimal model of any surface.

多元豚と同類の近畿国立大マグロ

>>248
>>しかし想像を絶する状況ですね
実数全体の集合に整列順序構造が存在することからして
想像を絶すること

補足
数学の論理の矛先がそういうところにも
当たっているということ自体は
認めてよいだろう

>>250
>実数全体の集合に整列順序構造が存在することからして
>想像を絶すること

ええ、それは下記の”（選択公理に同値な）整列可能定理”（英 Well-ordering theorem）というやつですね
もっと想像が難しいのが、複素数全体を整列順序で並べることが可能だということ
これは、教えられないと、なかなか浮かびません

https://ja.wikipedia.org/wiki/%E6%95%B4%E5%88%97%E9%9B%86%E5%90%88
整列集合

導入
集合に整列順序が与えられれば、そこでは集合の全ての元に対する命題の超限帰納法を用いた証明を考えることができる。

自然数全体の成す集合 N が通常の大小関係 "<" に関して整列集合となるという事実は、一般に整列原理と呼ばれる。

（選択公理に同値な）整列可能定理は、任意の集合が整列順序付け可能であることを主張するものである。整列可能定理はまたツォルンの補題とも同値である。

https://en.wikipedia.org/wiki/Well-ordering_theorem
Well-ordering theorem
"Zermelo's theorem" redirects here. For Zermelo's theorem in game theory, see Zermelo's theorem (game theory).
Not to be confused with Well-ordering principle.

In mathematics, the well-ordering theorem, also known as Zermelo's theorem, states that every set can be well-ordered.
A set X is well-ordered by a strict total order if every non-empty subset of X has a least element under the ordering. The well-ordering theorem together with Zorn's lemma are the most important mathematical statements that are equivalent to the axiom of choice (often called AC, see also Axiom of choice § Equivalents).[1][2]