23/04/17 16:05:21.78 E3abEGdA.net
うちの学生はリーマン面の定義は正しく言えるが
可算基を持たない多様体の例はというと
面倒くさがって検索しない
228:１３２人目の素数さん
23/04/17 16:28:43.49 mXTTMuc/.net
>>211
そんなこと言うと、ここの🐎🦌が
喜んて検索してリンク&コピペして
俺は天才ィィィとか言い出すぞ
中卒は検索が思考だと誤解してるからな
229:１３２人目の素数さん
23/04/17 17:00:15.66 E3abEGdA.net
確かに検索のみでは思考とは言えないが
検索が全くできないようでは
まっとうな思考はおぼつかない
思いて学ばざればすなわち殆し
230:１３２人目の素数さん
23/04/17 18:50:20.69 Pi/h2IHq.net
>>211-212
ありがとう
"可算基を持たない多様体の例"
下記ヒット
2件とも、嶺 幸太郎氏だがｗ
URLﾘﾝｸ(www.math.kanagawa-u.ac.jp)
嶺 幸太郎
URLﾘﾝｸ(www.math.kanagawa-u.ac.jp)
多様体となる無限次元空間の位相について 第56回トポロジーシンポジウム講演集 53-64 北海道大学2009年
嶺 幸太郎（筑波大学大学院数理物質科学研究科）
＜googleレビュー＞
本講演では, 線形位相空間をモデル空間とする無限次元位相多様体論を概説するとい ... は可算近傍基を持たないことが分かる (詳しくは定理 2.11 の後で述べる).
1. 無限次元多様体のモデル空間
URLﾘﾝｸ(www.rie.kanagawa-u.ac.jp)
URLﾘﾝｸ(kanagawa-u.repo.nii.ac.jp)
総説 無限次元多様体の位相構造 嶺幸太郎* 特任助教 工学部数学教室
神奈川大学工学研究所所報 第39号2016
＜googleレビュー＞
本稿では位相空間の中でも無限次元多様体と呼ばれ ... 無限次元位相線形空間の最も典型的な例は完備内積 ... る場合, f は可算近傍基を持たないことが分かる (詳し.
231:１３２人目の素数さん
23/04/17 18:55:19.94 Pi/h2IHq.net
>>213
ありがとう
>確かに検索のみでは思考とは言えないが
同意
>>214の中身は、見ていない（これから）
無限次元空間を使っているけど
無限次元が必須か？ "可算基を持たない多様体の例"
有限次元で考えていたから、さっぱり浮かばなかったわｗ
232:１３２人目の素数さん
23/04/17 18:57:07.14 E3abEGdA.net
>>214
「多様体」と「可分」
または
「非可分多様体」
あるいは
「第二可算公理」と「多様体」を
打ち込んでみてほしい。
233:１３２人目の素数さん
23/04/17 19:06:46.89 E3abEGdA.net
複素関数論の学部程度の教科書には載っていませんが
リーマン面の構造を持つ曲面は
向き付けが可能で
かつ
第２可算公理をみたします。
234:１３２人目の素数さん
23/04/18 07:55:52.19 ROqvqI7Q.net
>>216
ありがとうございます
検索：”「第二可算公理」と「多様体」”で
冒頭に出てくるのが
約 71 件 （0.50 秒）
パラコンパクト性をめぐって
ワードプレス.com //yamyamtopo.files.ワードプレス.com ? para...
多様体について講義やテキストで学んでいくと、ある所で多様体に「パラコンパクト」. （あるいは「第二可算公理」など）という見慣れない仮定が置かれることがあります ...
37 ページ
そこから、パラコンパクト性から、アーベル圏、グロタンディーク、東北ジャーナルまで流れていきましたｗ（下記）
URLﾘﾝｸ(ja.wikipedia.org)
パラコンパクト空間はすべての開被覆が局所有限（英語版）な開細分を持つような位相空間である。これらの空間は Dieudonne (1944) によって導入された。すべてのコンパクト空間はパラコンパクトである。すべてのパラコンパクトハウスドルフ空間は正規
235:であり、ハウスドルフ空間がパラコンパクトであることと、任意の開被覆に対しそれに従属する 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 が満たすべき四つの公理（とその双対）について記している。これらの公理は今日においても広く用いられている。具体的には 略
236:１３２人目の素数さん
23/04/18 08:07:17.52 ROqvqI7Q.net
>>217
ありがとうございます
>リーマン面の構造を持つ曲面は
>向き付けが可能で
>かつ
>第２可算公理をみたします。
ですよね
証明は知らないが、そう思います
だから、”リーマン面の構造を持つ曲面”は
"可算基を持たない多様体の例">>211には、ならないし
おそらく、有限の多変数の複素関数を考えても
"可算基を持たない多様体の例"には、ならないのでしょうね
嶺幸太郎氏 >>214を斜め読みしていましたｗ
この二つは殆ど同じ内容です
なので、神奈川大学工学研究所所報 第39号2016 を読めば良い
冒頭
”1.1. ヒルベルト多様体.
フレシェ空間の例としては,ヒルベルト空間やバナッハ空間などが挙げられるだろう.次の定理によると,フレシェ多様体を考える上でのモデル空間はヒルベルト空間のみを考えればよいことが分かる.
定理1.1 (Kadec-Anderson). 稠密度4の等しい無限次元フレシェ空間はすべて同相(?)である.5”
とあるので、ヒルベルト空間（多様体）には、"可算基を持たない多様体の例"があるってことか
もう少し調べてみます
237:１３２人目の素数さん
23/04/18 09:11:15.33 BMx7ADvE.net
>>219
「リーマン面は可算基を持つ」と言ったのですから
「ああ、リーマン面でないただの曲面は
可算基を持つとは限らないのだな」と思ってほしいのですが。
238:１３２人目の素数さん
23/04/18 09:13:45.75 8RXtLBT1.net
長い直線に辿り着くのはいつか
239:１３２人目の素数さん
23/04/18 09:24:35.85 BMx7ADvE.net
せめて長い半直線は見えてほしい
240:１３２人目の素数さん
23/04/18 10:33:47.94 kT/K1Ll/.net
age
241:１３２人目の素数さん
23/04/18 10:36:33.46 kT/K1Ll/.net
>>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（連続
242:関数は有界集合上を除いて定数）. ?定義 ・ ?性質 ・ ?コンパクト化 つづく
243:１３２人目の素数さん
23/04/18 10:37:08.41 kT/K1Ll/.net
>>224
つづき
なが～～～い直線 | mixiユーザー(id:8189426)の日記
Mixi
https://ミクシィ.jp ? ... ? なが～～～い直線
2010/11/21 ? どれぐらい長いかと言うと、普通の直線は [0,1) 区間を可算個並べたものであるのに対し、長い直線は非可算個並べたもの。
第4回 2012.9.24
筑波大学
URLﾘﾝｸ(www.math.tsukuba.ac.jp)<)ワードプレス ? one_...
1 次元多様体の分類
次元多様体は、円周 S1，実数直線 R，開いた長い半直線 L+，長い直線 L のいずれ. かと同相になることを証明する。 1 1 次元多様体. 本稿では、位相空間 X, ...
つづく
244:１３２人目の素数さん
23/04/18 10:37:33.08 kT/K1Ll/.net
>>225
つづき
URLﾘﾝｸ(yamyamtopo.files.)<) ? bitstream
線形順序位相空間への写像に対す る内挿定理 (集合論的 ...
山内貴光 著 ・ 2016 ? 最小の非可算順序数を $\omega_{1}$ ... に辞書式順序が与えられた線形順序位相空間を長い半直線 (long ... 弧状連結な線形順序位相窒間は，長い直線 $L$ のある区.
(引用終り)
以上
245:１３２人目の素数さん
23/04/18 11:29:56.95 kT/K1Ll/.net
>>223 補足
＜長い話＞
・Alexandroffさんが、考えたの？
・p-adic analogがある？
・Higher dimensions ”the ball of long radius”？ なんですかｗ
URLﾘﾝｸ(ja.wikipedia.org)
長い直線
長い直線（long line） もしくはアレキサンドロフ直線（アレキサンドロフちょくせん、英: Alexandroff line）は、局所的には実数直線によく似ているが、大域的には「もっと長い」位相空間である。
長い直線は多様体の公理のうち、第二可算公理以外の全ての公理を満たす。（第二可算公理も満たす一次元多様体は R と S1 のみである[1]）。
定義
長い閉半直線 (closed long ray) L は、最小の非可算順序数 ω1と区間 [0, 1) との直積を台集合として、辞書式順序の誘導する順序位相をいれた位相空間として定義される。長い開半直線 (open long ray)は、L から最小元 (0,0) を除いて得られる。
URLﾘﾝｸ(en.wikipedia.org)(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.
つづく
246:１３２人目の素数さん
23/04/18 11:30:28.07 kT/K1Ll/.net
>>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
247: 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] (引用終り) 以上
248:１３２人目の素数さん
23/04/18 15:31:53.18 9E0Hqb3A.net
Short C^2というのもある。
論文は2022年の
Notes on the short C^k's
249:１３２人目の素数さん
23/04/18 16:54:41.50 Swnpa+6u.net
>>219
任意の複素次元で成り立つ性質は2以上の実数の偶数次元の空間でも成り立つように出来る
ルベーグ空間に内積が定義された構造を持つヒルベルト空間 L^2 はその典型
逆に、任意の2以上の実数次元の空間でも成り立つような性質
がすべて複素次元の空間でも成り立つように出来るとは限らない
250:１３２人目の素数さん
23/04/18 19:03:08.68 9E0Hqb3A.net
>>219
>>有限の多変数の複素関数を考えても
>>"可算基を持たない多様体の例"には、ならないのでしょうね
C^2を非可算回続けてブローアップすれば
二次元の連結な複素多様体で
可算基を持たないものが作れます。
251:１３２人目の素数さん
23/04/18 22:59:33.39 ROqvqI7Q.net
スレ主です
専ブラJaneが使えない
一般ブラウザから、書いてみます
252:１３２人目の素数さん
23/04/18 23:28:38.25 ROqvqI7Q.net
>>225のワードプレスの記事、斜め読みしていましたｗ
証明は、十分分かったと言えないが、帰納法を使ってますね
取りあえず貼ります
URLﾘﾝｸ(yamyamtopo.wordpress.com)
yamyamtopo
長い半直線 \mathbb{L}_+ は、単に長い直線を途中で切ってできるものです。つまり、\mathbb{L} から一点を除いたもののそれぞれの連結成分が \mathbb{L}_+（と同相な空間）です。\mathbb{L}_+ は一方の端には可算列で到達でき、もう一方の端には可算列で到達できないという非対称性をもちます。
最近ではこの制約を課さない、したがって長い直線も含んだ多様体の研究も行われています。2015 年に出版された Non-metrisable Manifolds という本は、この分野でのはじめての専門書です。
この「分類定理」はある程度は良く知られた事実と思われ、志賀浩二「多様体論」ではそれを示すことが演習問題になっています。しかし、この本には詳しい解答はないようです。
URLﾘﾝｸ(yamyamtopo.files.wordpress.com)
投稿日: 2015年9月17日
追記（2020年6月10日）：補題 2.2 の証明を修正しました。誤記を直し、また説明が不十分であった点をより詳しく書き直しました。
1 次元多様体の分類
yamyamtopo
概要
1次元多様体の分類定理を証明する。
すなわち、距離化可能性を仮定しない
連結1次元多様体は、円周 S1，実数直線 R，開いた長い半直線 L+，長い直線 L のいずれ
かと同相になることを証明する。
URLﾘﾝｸ(ja.wikipedia.org)
位相多様体
多様体の分類
曲線（1次元多様体）
詳細は「1次元多様体」を参照
任意の空でないパラコンパクト連結1次元多様体は R か円周に同相である。連結でないものは単にこれらの直和である。
URLﾘﾝｸ(ja.wikipedia.org)
曲線 （1次元多様体から転送）
URLﾘﾝｸ(en.wikipedia.org)
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).
253:１３２人目の素数さん
23/04/19 08:07:21.39 eQ93QFKa.net
>>232
ありがとうございます
C^2を非可算回続けてブローアップね
素人なので想像力がついていきませんがｗ
C^2を非可算回続けてブローアップ
で検索をすると下記ヒット
”発散 (blow
254: 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 ページ
255:１３２人目の素数さん
23/04/19 08:34:19.96 j2d9FLUW.net
というか
複素曲面の分脈では
ブローアップは
螺旋階段の上下をつなげたようなイメージ
C^2の原点にリーマン球面を差し込む
256:１３２人目の素数さん
23/04/19 12:20:20.00 jUlHDOn1.net
カステルヌオヴォ(新城)はブローアップの
逆であるブローダウンができるための条件を発見した
257:１３２人目の素数さん
23/04/19 14:54:52.81 jUlHDOn1.net
非可分多様体上でも
異種可微分構造の問題がある
258:１３２人目の素数さん
23/04/19 16:25:19.21 trTJ4S6s.net
素人は、線形代数からやり直せ
259:１３２人目の素数さん
23/04/19 16:25:27.49 trTJ4S6s.net
素人は、線形代数からやり直せ
260:１３２人目の素数さん
23/04/19 16:25:41.25 trTJ4S6s.net
素人は、線形代数からやり直せ
261:１３２人目の素数さん
23/04/19 18:48:28.66 cm8Xzybr.net
>>235
ありがとう
>複素曲面の分脈では
>ブローアップは
>螺旋階段の上下をつなげたようなイメージ
>C^2の原点にリーマン球面を差し込む
取りあえず検索すると下記
"複素曲面" "ブローアップ" C^2 リーマン球面 pdf
で、検索
約 18 件 （0.33 秒）
見繕い2つ下記ｗ
なんか、学部のレベルは超えている？
まあ、じっくりやりましょう
URLﾘﾝｸ(www.math.titech.ac.jp)
ツイスター空間の幾何学
本多 宣博 (東京工業大学)
概要
第一節では反自己双対構造およびそれに付随するツイスター空間に関する基本的
な内容を紹介する。第二節ではこれらに関して、2000 年頃までの主要な結果を紹介
する。第三節では特に Moishezon ツイスター空間に関してその後得られたいくつ
かの結果を紹介する。本稿は 2015 年度日本数学会年会における企画特別講演の要
旨（アブストラクト集からの転載）である。
＜googleレビュー＞
本多宣博 著 ・ 2022 ? 特に複素曲面上のリッチ平坦ケーラー計量（ハイパー ... るが）手計算では実行が困難なほど多くのブローアップを繰り返す必要があり、正攻法は.
URLﾘﾝｸ(www.ca)
262:jpn.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 を τ に置き換えることであった.
263:１３２人目の素数さん
23/04/19 20:48:13.94 j2d9FLUW.net
>>238
三つ続くと
呪いの呪文じみてくる
264:１３２人目の素数さん
23/04/19 21:18:03.54 eQ93QFKa.net
>>241
blow up complex geometry
で検索すると、下記が出たね
カタカナのブローアップ では、ダメなのか
下記で、”複素曲面の分脈では”への対応として
”複素多様体の部分多様体でのブローアップ”と
”Blowing up submanifolds in complex manifolds”
合ってますかね？
(参考)
URLﾘﾝｸ(ja.wikipedia.org)(%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検索する
URLﾘﾝｸ(en.wikipedia.org)
Blowing up
Blowing up points in complex space
Blowing up submanifolds in complex manifolds
265:１３２人目の素数さん
23/04/19 21:21:28.40 eQ93QFKa.net
>>242
>三つ続くと
>呪いの呪文じみてくる
どうもありがとう
えーえー
いつものことですｗ
彼を常人と思わないことが大事です
彼はサイコパスです！ ｽﾚﾘﾝｸ(math板:5番)
266:１３２人目の素数さん
23/04/19 21:36:44.07 eQ93QFKa.net
>>235
>複素曲面の分脈では
>ブローアップは
>螺旋階段の上下をつなげたようなイメージ
>C^2の原点にリーマン球面を差し込む
下記の”Blowup in a Point”の動画
合ってますか？
上記の説明と合っているように思うのですが・・
URLﾘﾝｸ(www.youtube.com)
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 wh
267:ole 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.
268:１３２人目の素数さん
23/04/19 22:45:45.51 j2d9FLUW.net
>>245
合っています
269:１３２人目の素数さん
23/04/19 23:34:41.02 eQ93QFKa.net
あほサルよけに ｽﾚﾘﾝｸ(math板:5番) ｗ
再録
ｽﾚﾘﾝｸ(math板:946番)
>>943-945
ありがとう
棚から牡丹餅というかｗ
つまり
・私「正方行列の逆行列」（数年前）
↓
・おサル「正則行列を知らない線形代数落ちこぼれ」
↓
・私「零因子行列のことだろ？知っているよ」
↓
・おサル「関係ない話だ！」と絶叫
↓
・おサル『正則行列の条件なら、「零因子行列であること」はアウトですね
いかなる行列が零因子行列か述べる必要がありますから』
↓
・私「あんた、上記の自分の文章を読み返して おかしいと気づかないか？」
↓
・おサル『「０以外の体の元は乗法逆元を持たない」のつもりで
「零因子以外の行列は乗法逆元を持たない」と書いて ケアレスミスだと言い張りたいんだろうけど』
＜解説＞
１）何度か、アホが気づくチャンスあった
最初に”零因子”の意味を検索して知れば、「関係ない話だ！」と絶叫することもない
（というか、”零因子”を知らないのは、ちょっと代数あやしいよねｗ）
２）『正則行列の条件なら、「零因子行列であること」はアウトですね
いかなる行列が零因子行列か述べる必要がありますから』
に、私「あんた、上記の自分の文章を読み返して おかしいと気づかないか？」と指摘された時点で
”零因子”の意味を調べて理解すべきだったのだ
３）恥の上塗り『「０以外の体の元は乗法逆元を持たない」のつもりで
「零因子以外の行列は乗法逆元を持たない」と書いて ケアレスミスだと言い張りたいんだろうけど』
は、あまりにも幼稚。「ケアレスミス」の一言では片づけられないアホさ加減ｗｗｗｗｗｗ
4）確かに、私の「正方行列の逆行列」は不正確な言い方ではあったが
アホさるの自爆を誘ったとすれば、怪我の功名というか、誘の隙(さそいのすき)というべきかｗｗ
ゆかいゆかい！ｗｗ
270:１３２人目の素数さん
23/04/19 23:49:19.67 eQ93QFKa.net
>>246
ありがとうございます
なるほど>>245の動画のような図は
昔、森重文先生がフィールズ賞を取ったときの
極小モデル理論解説のポンチ絵で見た記憶が・・
数学セミナー誌だったかな、大衆向けの簡単な説明だったような記憶があります
そうすると、>>245の動画のようなブローアップを
C^2で非可算回続けてブローアップ>>231 するのか・・
分かったような・・、しかし想像を絶する状況ですね
URLﾘﾝｸ(ja.wikipedia.org)
極小モデル
URLﾘﾝｸ(en.wikipedia.org)
Minimal model program
Minimal models of surfaces
Main article: Enriques?Kodaira classification
Every irre
271:ducible 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.
272:１３２人目の素数さん
23/04/20 00:37:14.81 MEUtcTfe.net
多元豚と同類の近畿国立大マグロ
273:１３２人目の素数さん
23/04/20 07:11:13.16 GzSIvqer.net
>>248
>>しかし想像を絶する状況ですね
実数全体の集合に整列順序構造が存在することからして
想像を絶すること
274:１３２人目の素数さん
23/04/20 08:00:41.11 GzSIvqer.net
補足
数学の論理の矛先がそういうところにも
当たっているということ自体は
認めてよいだろう
275:１３２人目の素数さん
23/04/20 08:01:35.38 VVAxiP2M.net
>>250
>実数全体の集合に整列順序構造が存在することからして
>想像を絶すること
ええ、それは下記の”（選択公理に同値な）整列可能定理”（英 Well-ordering theorem）というやつですね
もっと想像が難しいのが、複素数全体を整列順序で並べることが可能だということ
これは、教えられないと、なかなか浮かびません
URLﾘﾝｸ(ja.wikipedia.org)
整列集合
導入
集合に整列順序が与えられれば、そこでは集合の全ての元に対する命題の超限帰納法を用いた証明を考えることができる。
自然数全体の成す集合 N が通常の大小関係 "<" に関して整列集合となるという事実は、一般に整列原理と呼ばれる。
（選択公理に同値な）整列可能定理は、任意の集合が整列順序付け可能であることを主張するものである。整列可能定理はまたツォルンの補題とも同値である。
URLﾘﾝｸ(en.wikipedia.org)
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]
276:１３２人目の素数さん
23/04/20 08:16:22.48 VVAxiP2M.net
>>251
そうですね
余談ですが、数学セミナー 4月号の
最後（表紙の裏）に、日本評論社の宣伝で
「社会に最先端の数学が求められるワケ」
の書籍紹介があります
言いたいことは
高度化した現代社会においては
数学に対して、いろんな立場の人が居るわけで
そこを理解しておかないと、この5ｃｈの数学板でも
おかしな発言をする人が出てきます（時代錯誤の人）
数学科にいかないと
「本当の数学はできない！」とかね
また
20世紀に求められた数学の役割と
21世紀に求められる数学の役割とは違っている
そういうこともあると思うのですが
アホなおサルさんがいると思いますね
URLﾘﾝｸ(www.nippyo.co.jp)
日本評論社
社会に最先端の数学が求められるワケ(1)
新しい数学と産業の協奏
内容紹介
社会のさまざまな問題を解決するために、どのような数学が必要なのか。第1巻では数学と産業界で交差する研究を紹介する。
277: 目次 座談会 産業と数学におけるキャリアパスと人材育成 ……小磯深幸＋佐古和恵＋高田 章＋高橋桂子＋若山正人＋ 吉脇理雄＋高島洋典(司会) 序章 数学の展開に期待して――人類の知識財産の活用(若山正人) 紹介 youtube https://youtu.be/Qy8yPz8M8sg
278:１３２人目の素数さん
23/04/20 08:33:42.02 VVAxiP2M.net
>>253
”コラム 複素数という数の研究が現代にもたらした恩恵
……吉脇 理雄”
というのがあるらしい
図書館で取り寄せて見てみるかな
URLﾘﾝｸ(www.nippyo.co.jp)
社会に最先端の数学が求められるワケ(2)
データ分析と数学の可能性
内容紹介
社会を埋め尽くす膨大なデータに対し、数学はどのように役立ち活躍できるのか。第2巻ではデータ社会に挑む数学を紹介する。
第７章 科学・工学・医学における数学
第８章 トポロジカルデータ解析
コラム 複素数という数の研究が現代にもたらした恩恵
……吉脇 理雄
279:１３２人目の素数さん
23/04/20 08:44:04.68 Ysg186lM.net
>>244
> 彼はサイコパスです
とかいう貴方はloserさん？
280:１３２人目の素数さん
23/04/20 08:45:43.53 Ysg186lM.net
>>247
>あほサルよけ
自分よけですか？loserさん
281:１３２人目の素数さん
23/04/20 08:51:43.88 Ysg186lM.net
>>253
>5ｃｈの数学板でもおかしな発言をする人が出てきます
ああ、時枝正さんに嫉妬してマチガツテルと咆える人とか
ほんと、何がしたいんですかね？
282:１３２人目の素数さん
23/04/20 08:54:33.31 Ysg186lM.net
>>253
>数学科にいかないと
>「本当の数学はできない！」
>とかね
loserさん、なんか僻んでますね
283:１３２人目の素数さん
23/04/20 09:58:41.36 GzSIvqer.net
今度の呪文は４回
284:１３２人目の素数さん
23/04/20 10:46:02.30 FMRrNpxe.net
>>258
再録 >>170より
3）ところで、今年の数学セミナー4月号の飯高茂先生の対談記事Ｐ13で
「同じ理科Ｉ類にすごい友達がいて、私がいろいろ考えて苦労した挙句にわかった解法が
その人にはすっとわかる。こんな人が数学者になるのなら自分はとうてい数学を専攻する資格はないな、と思い詰めました
でも、その人は『数学を研究するつもりはない。自分は工学部に行くから』と
ぼくはそのとき、自分は数学はできないけれど、数学が好きで愛しているという点では、ほかの人に負けない自信があるから
自分は数学を勉強して、それで高校の先生になれればいい、と決心しました」と
(引用終り)
以前数学板に書かれていたが、数オリメダリストが理IIIに行ってしまうとか
あるいは、物理系へ進学するとかの人も
上記の人は、『数学を研究するつもりはない。自分は工学部に行くから』という
数学は、スポーツに例えれば、陸上競技みたいな
走るのが早い、ジャンプ力ある、投げる力がある
だけど、陸上競技は職業としては、殆ど成り立たないのです
（最近でこそ、マラソンで1億円もらえたりするけど。だけどごく少数例）
『数学を研究するつもりはない。自分は工学部に行くから』という人は
”数学を研究で食えるか？”ということを、考えたと思うんだ
つづく
285:１３２人目の素数さん
23/04/20 10:47:19.13 FMRrNpxe.net
>>260
つづき
逆に、>>251 ID:GzSIvqer氏は、プロ数学者への道を選択したんだ
東大に入ったときは、数学者になることは考えてなかったみたいだけど
（日銀総裁の植田氏と東大のあるゼミで一緒というから、てっきり東大数学科と思ったけれど違った
数学の専攻は東大以外らしい
入学前に代数学の本を読んだり、”Maclaneの"Homology"を読み始
286:め”>>157とか 大学1年で、Maclaneの"Homology"を読める？ 読んで面白いと思える？ 想像を絶する・・ で、数学が面白くなったんだね、きっと。それは分かる気がする・・ だけど、親には反対されたんだろうね。「数学の研究で食えるか？」と） ところで、>>253に書いたように、21世紀 2023年のいま 社会の各分野で使う数学が高度化していると思う 20世紀に数学の最先端だった研究が 21世紀の今は、物理だの情報系だので、普通に使われる でプロ数学研究者は、その先を研究して、それがまたいろんな分野で使われるようになる そういう流れの中で、あなたは前世紀に某数学科で落ちこぼれてｗ 時計が止まってしまったんだ 古い数学観で「自分は落ちこぼれたけれど、数学では人より上」と思いたいんだね でも、あなたの学んだ数学は、前世紀の数学（多分学部レベル）でしかないんだし そして あなたは、零因子行列の意味も取り違えるレベルでしかないんだなｗ>>247 今あなたに賛同する人は、いない！ｗ 以上
287:１３２人目の素数さん
23/04/20 11:00:27.80 GzSIvqer.net
地下７０メートルで
編み物とかしながら何年も暮らすと
時間は流れなくなるそうだ
288:１３２人目の素数さん
23/04/20 11:02:57.01 FMRrNpxe.net
>>257
> ああ、時枝正さんに嫉妬してマチガツテルと咆える人とか
時枝さん、間違っているから間違いと言っているだけ ｽﾚﾘﾝｸ(math板)
数学科生こそ、どんなにえらい先生の説や論文でも、鵜呑みや盲信はダメでしょ？ｗ（権威より自分の理性を信じないとねｗ）
時枝氏の「無数目」 ｽﾚﾘﾝｸ(math板)
に引っかかるのは、工学屋なら三流と言われるでしょうね
289:１３２人目の素数さん
23/04/20 11:11:22.73 FMRrNpxe.net
>>259
>今度の呪文は４回
ありがとうございます
呪文に耐性があるのか
はたまた。呪文に効力がないのか
ともかく、可算無限回の呪文攻撃には耐えられるようですｗ
>>262
>地下７０メートルで
>編み物とかしながら何年も暮らすと
>時間は流れなくなるそうだ
へー
時計なしの地下生活をすると
24時間から長い方へずれるとか読んだことがあります
なので体内時計は、24時間より長いらしい
290:１３２人目の素数さん
23/04/20 13:14:47.21 Zru0zXxl.net
>>264
💩の臭いが大好きな変態さんでしたか
291:１３２人目の素数さん
23/04/20 13:18:46.00 Zru0zXxl.net
>>263
>時枝さん、間違っているから間違いと言っているだけ
間違ってるのはそう思い込んでる君だけ
>工学屋なら三流と言われるでしょうね
大学１年の線形代数がわからんなんて
工学屋失格だけどね
工員さんは数学分かんなくてもOKだけど
292:１３２人目の素数さん
23/04/20 13:22:28.78 Zru0zXxl.net
>>261
>あなたは前世紀に某数学科で落ちこぼれて
あなたは前世紀に教養課程の微積と線形代数で落ちこぼれたんですね
２年も前に落ちこぼれるなんてエリートですね
293:１３２人目の素数さん
23/04/20 13:27:43.91 Zru0zXxl.net
>>261
>あなたの学んだ数学は、
>前世紀の数学（多分学部レベル）
>でしかないんだし
教養課程の線形代数なんて
前世紀でも今世紀でも
中味は全然違わないよ
行列式と線形独立と階段行列の関係
生きてるうちに理解できるといいね
ま、文章読めない計算できない時点で
完全に無理だけどね（バッサリ）
294:１３２人目の素数さん
23/04/20 18:11:18.32 +QWtSh30.net
>>265
地下７０mと言ってもさすがに
食事や風呂とトイレは完備していただろうから
臭くはなかったはず
295:１３２人目の素数さん
23/04/20 18:39:26.86 FMRrNpxe.net
>>263 補足
>時枝氏の「無数目」 ｽﾚﾘﾝｸ(math板)
>に引っかかるのは、工学屋なら三流と言われるでしょうね
１）工学屋なら普通に知っている確率過程論というのがあるよ
（いまや、金融工学でも株価の評価とかね）
２）いま、株価を例として
過去が無限日の株価のデータがあるとする（実際は有限日だから、不足分は有限日のデータをランダムに繰り返せば良い）
時枝さんの論法が正しいならば、この無限日数の株価のデータの過去から、ある日の株価を99％以上の確率で的中できることになる
それって、アホでしょ？ｗ
３）株価を、日経平均とする。過去最高は3万8千円くらいで、小数は下2桁までで、有限個の数でしかない
時枝さんは、実数全部（区間（-∞、+∞））を使った無限数列を類別するという
それって、アホでしょ？ｗ
４）同じ論法で、実数Rの数列を複素数Cの可算無限数列の同値類別が出来る
その複素数Cの可算無限数列の同値類別を使っても、同じように、ある日の日経株価を99％以上の確率で的中できることになる
日経平均は、過去最高は3万8千円くらいで、小数は下2桁までで、有限個の数でしかないのにｗ
それって、アホでしょ？ｗ
ｗｗｗ
296:１３２人目の素数さん
23/04/20 19:49:42.28 FeoyX0Pq.net
>>270
セタボンの誤りは、無限列を有限列の類似で考えてることだな。
「無限列と有限列では異なることが起きる」
この数学的事実をどうしても理解できないんだな。
297:１３２人目の素数さん
23/04/20 20:49:08.36 VVAxiP2M.net
>>271
いや、工学屋は、そういう口先のデタラメに誤魔化されてはいけないんだよ
>>270に追加しておくと
1）無限数列の箱に入れるを、実数Ｒ、複素数Ｃ、四元数Ｈ、・・・と、いくらでも大きな多元数にできる
単に類別だから、積や和の演算には関係ない
だから、いくらでも大きな多元数にできる
つまり、本来は例えば>>270の”日経平均とする。過去最高は3万8千円くらいで、小数は下2桁までで、有限個の数”
に対して
あさっての方向に行って、当たらなくなるはずだ
が、全て確率99％以上は不変だという
これは、おかしいよね
2）さて一方で、当てる数をルーレットとかの0～36の37通り、サイコロの目1～6の6通り、コイントス0～1の2通り
のように、狭い範囲に絞ると、的中確率を高めることができるはずだ
ところが、時枝論法では
任意の数（それが多元数であっても、コイントス0～1の2通りであっても）に対し
不変で全て確率99％だという
これも、完全におかしい
3）つまり、本来いろいろな周辺条件に対する依存性が、存在すべきなのに、それがすべて消えてしまっている
そして、全部確率99％になるという
それって、完全におかしいよね
おかしいことに気づけないのは、三流の工学屋です
さらに、おかしいことを可笑しいと言えないのも、三流の工学屋です！
ｗｗｗｗｗｗ
298:１３２人目の素数さん
23/04/21 06:13:46.42 hhvUywvn.net
>>270
> 時枝氏の「無数目」に引っかかるのは、
> 工学屋なら三流と言われるでしょうね
線形代数が理解できずに落ちこぼれた
工学屋失格の工員さんは
時枝氏の無数目が全く理解できずに発●中、と・・・
> 工学屋なら普通に知っている確率過程論というのがあるよ
でも大学１年の線形代数で落ちこぼれた
工学屋失格の工員さんは
確率過程論なんて全く知らないでしょ
講義聞いたって全く理解できるわけないし
> （いまや、金融工学でも株価の評価とかね）
いつから金融って工学になったんですか
なにもモノ作らないのに
> いま、株価を例として
> 過去が無限日の株価のデータがあるとする
> 時枝さんの論法が正しいならば、
> この無限日数の株価のデータの過去から、
> ある日の株価を99％以上の確率で的中できることになる
文章が間違ってます
だからあなたは「無数目」が理解できないわけです
正しい文章は以下の通り
「この無限日数の株価のデータの過去から、
株価が想定値（＝代表元）と一致する日を
99％以上の確率で選択できることになる」
それはそうでしょ
そもそも無限にある日のうちの
たかだか有限の日しか相違しないのだから
99％どころか、100％より小さい任意の確率で選択できますよ
あ、でも小学校の割り算でつまづいた工員さんにはわかんないかな
> それって、アホでしょ？
それは小学校で落ちこぼれた工員さん、あなたです
（まったく笑い無し 全然おもしろくないので）
299:１３２人目の素数さん
23/04/21 06:23:41.12 hhvUywvn.net
>>272
> いや、工学屋は、そういう口先のデタラメに誤魔化されてはいけないんだよ
いや、あなたはただの工員さんで、工学屋じゃないでしょ
大学出てないどころか、そもそも入れなかったんだから
> 無限数列の箱に入れるを、実数Ｒ、複素数Ｃ、四元数Ｈ、・・・と、いくらでも大きな多元数にできる
> 単に類別だから、積や和の演算には関係ない
> だから、いくらでも大きな多元数にできる
なんで多元数が出てくるのかわかんないけど
そもそも数である必要がない
> つまり、本来は例えば
> ”日経平均とする。過去最高は3万8千円くらいで、小数は下2桁までで、有限個の数”
> に対して あさっての方向に行って、当たらなくなるはずだ
その反論がそもそもあさっての方向
さすが、日本語が全く読めない落ちこぼれですな
> が、全て確率99％以上は不変だという これは、おかしいよね
いいや全然
そもそも、無限個のうち有限個を除いて一致するのだから
その時点で、100％未満の任意の確率で一致しますね
割り算、できませんか？
> さて一方で、当てる数をルーレットとかの37通り、サイコロの目の6通り、コイントスの2通り
> のように、狭い範囲に絞ると、的中確率を高めることができるはずだ
> ところが、時枝論法では
> 任意の数（それが多元数であっても、コイントス0～1の2通りであっても）に対し
> 不変で全て確率99％だという
> これも、完全におかしい
そもそも文章が読めてない
箱の中身を当てる、と誤解してる
全く違う
中身が代表元と一致する箱を当てる
無限個ある箱のうち、そもそも中身が代表元と異なる箱はたかだか有限個だ
そりゃ任意の99.99・・・％＜100％の確率で当てられるだろう
むしろそうでないならおかしい 狂ってる
おかしいことに気づけないなら工学屋失格
大学出てはいけないというかそもそも入ってはいけないレベル
ま、中卒、高卒の工員さんには生涯全く関係ないか
計算しないもんね
身体で覚えた熟練の技だけで生き抜いてくださいね
300:１３２人目の素数さん
23/04/21 06:27:06.05 hhvUywvn.net
>>271
> ＊＊の誤りは、無限列を有限列の類似で考えてることだな。
そもそも無限が理解できないんでしょう
古代ギリシャのアリストテレスですな
アリストテレスがアルキメデスに喧嘩売ってるようなものです
実に哀れなものです
> 「無限列と有限列では異なることが起きる」
> この数学的事実をどうしても理解できないんだな。
熟練の技だけが自慢の工員氏は
ガリレイのパラドックスも理解できないんでしょう
バナッハ・タルスキのパラドックスなんて聞いたら
発●しちゃうんでしょう
野獣ですな
301:１３２人目の素数さん
23/04/21 06:39:44.93 vIwU6BoW.net
>>247 追加
＜ああ おサルの勘違い1＞
前スレ ｽﾚﾘﾝｸ(math板:876番) 2023/04/02
より
（おサル）
> Ax = 0 が非自明な解xを持つことと
>Aが零因子であることは同値であるけど
> 前者は零因子であることの定義ではない
>URLﾘﾝｸ(ja.wikipedia.org)
>Ax = 0 で、Aは行列環の要素だが、
>xと0はベクトルであって行列環の要素ではない
（私）
なるほど
しかし
上記 Wikipedia より
"定義
環 R の元 a は、ax=0 となる x≠ 0 が存在するとき、すなわち
x∈ R ＼{0}:ax=0
を満たすときに
左零因子（英: left zero divisor）と呼ばれる。
左または右零因子である元は単に零因子と呼ばれる[2]”
(引用終り)
でしょ
で、いま簡便に、nxnの正方行列が零因子であることを、
大文字を使って AX＝Ｏ （∃X≠Ｏ ここにＯは零行列）としよう
Ax = 0 で非自明なベクトル解xをもつ
↓（非自明なベクトルxを使って）
非自明な行列Xが構成できて、AX＝Ｏとできる
逆に
非自明な行列XでAX＝Ｏ成立なら
↓（非自明な行列Xを使って）
Ax = 0 なる非自明なベクトル解xが構成できる
だから、両者は同値で、
”Ax = 0 で非自明なベクトル解x”の存在は、行列が零因子であることの定義に使えるね！
(引用終り)
結論：正方行列Aにおける「Ax = 0 が非自明な解xを持つこと」(零因子)の意味が理解できないおサルさんでした
302:１３２人目の素数さん
23/04/21 06:48:35.37 vIwU6BoW.net
>>247 追加
＜ああ おサルの勘違い2＞
用語"cancellable"について
前スレ ｽﾚﾘﾝｸ(math板:146番)-147 2023/04/13 より
（おサル）
> 上記の英文の正しい訳ｈ以下の通りです
>「左零因子でない環の元は、左正規もしくは左キャンセル可能と呼ばれる」
> つまり、zero divisorの否定だけです
> それをregular、または同じことですが、cancellable と呼んでいるのです
> したがって、cancellableについての以下の憶測は完全な誤りです
>>”cancellable”とは、乗法の逆元を持つことで、”cancel”可能と解釈したけど
（私）
en.wikipediaの記事だけに頼ると、嵌まるよｗ
regular "cancellable" ring zero divisor
での検索で
303:下記文献ヒット 1）”cancellable”の定義見つけたよ（下記 Henri Bourles） （そもそも、>>143のen.wikipediaには、文献[3]Nicolas Bourbaki (1998). Algebra I. Springer Science+Business Media. p. 15.とあるよね？ それをチェックしないで短絡はダメじゃんｗ） 2）cancellable：”xy = xz ⇒ y = z”とあるよ。これ大事だな 3）それから、用語Regularの説明は、下記Darij Grinbergの「Regular elements of a ring, monic polynomials and “lcm-coprimality”」見てね 4）要するに、ｎ次正方行列から、regularを取り除くとzero divisorに、逆にzero divisorを取り除くとregularに この関係がキモですよ https://www.sciencedirect.com/topics/mathematics/zero-divisor Elementary Algebraic Structures Henri Bourles, in Fundamentals of Advanced Mathematics, 2017 2.1.1 Monoids and divisibility (II) Divisibility. In the rest of this subsection, monoids are written multiplicatively and have zeros. An element x ∈ M× is said to be left-cancellable (resp. right-cancellable) if xy = xz ⇒ y = z (resp. yx = zx ⇒ y = z) and cancellable if it is both left- and right-cancellable. A monoid M with the property, that every element of M× is cancellable, is said to be a cancellation monoid. つづく
304:１３２人目の素数さん
23/04/21 06:49:05.65 vIwU6BoW.net
>>277
つづき
URLﾘﾝｸ(www.cip.ifi.lmu.de)
Regular elements of a ring, monic polynomials and “lcm-coprimality”
Darij Grinberg May 22, 2021
P5
2. Regular elements (a.k.a. non-zero-divisors)
2.1. Definition
We begin with a basic notation:
Definition 2.1. Let A be a commutative ring. Let a ∈ A.
The element a of A is said to be regular if and only if every x ∈ A satisfying ax = 0 satisfies x = 0.
Instead of saying that a is regular, one can also say that “a is cancellable”, or that “a is a non-zero-divisor”.
This notion of “regular” elements has nothing to do with various other notions of “regularity” in commutative algebra (for example, it is completely unrelated to the notion of a “von Neumann regular element” of a ring).
It might sound like a bad idea to employ a word like “regular” that has already seen so much different uses; however, we are not really adding a new conflicting meaning for this word, because the word is already being used in this meaning by various authors (among them, the authors of [LLPT95]), and because our use of “regular” is closely related to the standard notion of a “regular sequence” in a commutative ring 4.
Many authors (for example, Knapp in [Knapp2016]) define a zero divisor in a commutative ring A to be a nonzero element of A that is not regular.5 Thus, at
least in classical logic, regular elements are the same as elements that are not zero divisors (with the possible exception of 0). I find the notion of a “zero divisor”less natural than that of a regular element (it is the regular elements, not the zero divisors, that usually exhibit the nicer behavior), and it is much less suitable for constructive logic (as it muddies the waters with an unnecessary negation), but it appears to be more popular for traditional reasons.
(引用終り)
以上
結論：用語"cancellable"の意味が理解できないおサルさんでしたとさ
305:１３２人目の素数さん
23/04/21 07:53:38.56 vIwU6BoW.net
>>230 戻る
>任意の複素次元で成り立つ性質は2以上の実数の偶数次元の空間でも成り立つように出来る
>ルベーグ空間に内積が定義された構造を持つヒルベルト空間 L^2 はその典型
>逆に、任意の2以上の実数次元の空間でも成り立つような性質
>がすべて複素次元の空間でも成り立つように出来るとは限らない
なるほど
気持ちは分かるけど
素人なので、実例が浮かばないw
当然
”逆に、任意の2以上の実"偶"次元の空間でも成り立つような性質
がすべて複素次元の空間でも成り立つように出来るとは限らない”
でしょうけど
多様体を含めた意味か
URLﾘﾝｸ(en.wikipedia.org)
Vector space
Not to be confused with Vector field.
"Linear space" redirects here. For a structure in incidence geometry, see Linear space (geometry).
Examples
Main article: Examples of vector spaces
Coordinate space
Complex numbers and other field extensions
URLﾘﾝｸ(ja.wikipedia.org)
ベクトル空間
306:１３２人目の素数さん
23/04/21 08:22:28.94 938qmgiN.net
>>279
例えば、フーリエ級数やフーリエ変換などの実解析を使えば、
一変数複素解析の最大(小)値の原理や鏡像の原理などの或る程度の定理は
それに類似した定理が2次元(偶数次元)のユークリッド空間でも成り立つように出来る
しかし、任意の複素次元は実偶数次元だから、
反例として3次元のユークリッド空間で成り立つ性質が
複素次元でも成り立つことはないことが挙げられるように、
任意の3次元のユークリッド空間で成り立つ性質が複素次元の空間でも成立することはない
307:１３２人目の素数さん
23/04/21 08:23:34.08 938qmgiN.net
>>253-254
社会に最先端の数学が求められるワケ
という冊子の章で数えたら半分以上は以前からある数学の応用法だ
308:１３２人目の素数さん
23/04/21 08:29:06.83 29senQJP.net
>>275
>> ＊＊の誤りは、無限列を有限列の類似で考えてることだな。
>そもそも無限が理解できないんでしょう
>古代ギリシャのアリストテレスですな
>アリストテレスがアルキメデスに喧嘩売ってるようなものです
>実に哀れなものです
現実の近似が数学か、数学の近似が現実か
プラトンのイデア論が突き付けた難問はこれだと思われるのだが
309:１３２人目の素数さん
23/04/21 08:48:00.19 938qmgiN.net
>>279
>>280の一番下
任意の3次元のユークリッド空間で成り立つ性質が…
→ 任意の2次元以上のユークリッド空間で成り立つ性質が…
310:１３２人目の素数さん
23/04/21 12:54:51.74 YLETS7Km.net
>>280
池沼みたいな文章書いてると「お前おっちゃんだろ？」て言われちゃうよ
311:１３２人目の素数さん
23/04/21 13:03:52.93 YLETS7Km.net
>>283
大して問題じゃない箇所をことさらに訂正するのが
本当によく似た1とおっちゃんの共通点。
これは「バカと思われたくない！」という意識
の表れと見透かされているが、「あんたらがバカと
思われてるのはそこじゃないから！」という点で
バカをより強調する結果になってるんだな。
312:１３２人目の素数さん
23/04/21 13:11:07.27 jsdDlcq8.net
>>284
仮に杉浦解析入門の第?巻で(多変数)フーリエ級数も実解析を使って扱い、
ユークリッド上半空間で考えるようなことをすれば、そういうことは出来る
313:１３２人目の素数さん
23/04/21 15:11:18.41 6s2pkBu0.net
>>280 >>283-284
>しかし、任意の複素次元は実偶数次元だから、
>反例として3次元のユークリッド空間で成り立つ性質が
>複素次元でも成り立つことはないことが挙げられるように、
>任意の3次元のユークリッド空間で成り立つ性質が複素次元の空間でも成立することはない
これおちゃんかな？
複素n次元空間を実偶数2n次元空間と考えて
3次元のユークリッド空間そのものは、実偶数2n次元空間の族の中にはないけど
例えば
実3次元のユークリッド空間を
複素3次元空間内に埋め込むことは可能だろう
あたかも、実1変数解析関数を
複素1変数解析関数に
埋め込めるがごとし
まあ、大は小を兼ねるってやつ
それとは別に、低次元トポロジーというのがあって（下記）
それぞれの次元で、
314:個性があるよ （参考） 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 低次元トポロジー
315:１３２人目の素数さん
23/04/21 15:19:49.42 6s2pkBu0.net
>>282
>現実の近似が数学か、数学の近似が現実か
>プラトンのイデア論が突き付けた難問はこれだと思われるのだが
ありがとう
現代の量子力学や素粒子論が、これに近いかも
316:１３２人目の素数さん
23/04/21 16:16:10.05 EWe7GzgK.net
>>287
>>284-285は多分実解析のテキストを読んだことがない人物だと思われるが、
例を挙げるだけならポアンカレ予想で事足りる
>例えば
>実3次元のユークリッド空間を
>複素3次元空間内に埋め込むことは可能だろう
>
>あたかも、実1変数解析関数を
>複素1変数解析関数に
>埋め込めるがごとし
>
>まあ、大は小を兼ねるってやつ
複素3次元空間内に埋め込まれた3次元ユークリッド空間は、
埋め込まれる前は加法群としての空間の構造が一意に決まったが、
馬込まれた後は加法群としての空間の構造の個数が連続体濃度に等しくなることから分かるように、
埋め込まれる前と埋め込まれた後では位相構造は変わる
317:１３２人目の素数さん
23/04/21 16:36:02.81 EWe7GzgK.net
>>287
確か、4次元のポアンカレ予想はまだ完全に解決してはいない
ま、ポアンカレ予想の解決への歴史といった方が具体例としてより適切ではある
3次元では双曲幾何や離散群とか使って研究していたけど、
4次元では以前からよく知られていた4次元でのみ成り立つ
微分トポロジーの定理などのような3次元とは違う方法で研究していた
318:１３２人目の素数さん
23/04/21 17:31:23.31 EWe7GzgK.net
>>287
埋め込まれる前は座標軸の実軸が3本で加法群としての空間の構造は一意じゃなく
3×3C1+3×3C2+3×3C3=9+9+3=21 通りで有限個ある
埋め込まれた後は座標軸はの実軸と虚軸は3本で、虚数成分のみすべて固定させて
加法群としての空間の構造を考えれば、埋め込まれた後の加法群としての空間の構造は連続体通りある
319:１３２人目の素数さん
23/04/21 17:48:51.55 EWe7GzgK.net
1×3C0+1×3C1+1×3C2+1×3C3=1+3+3+1=8 通りで有限個
320:１３２人目の素数さん
23/04/21 22:47:11.20 vIwU6BoW.net
>>289-290
おっちゃん、ありがとう
スレ主です
>>あたかも、実1変数解析関数を
>>複素1変数解析関数に
>>埋め込めるがごとし
>>
>>まあ、大は小を兼ねるってやつ
>複素3次元空間内に埋め込まれた3次元ユークリッド空間は、
>埋め込まれる前は加法群としての空間の構造が一意に決まったが、
・えらく難しいことをいうね
・私ら、頭が単純なんだ
いま、3次元ユークリッド空間R^3を(x1,x2,x3)としよう
複素化してC^3を(z1,z2,z3)としよう
z1＝x1+iy1,z2＝x2+iy2,z3＝x3+iy3 と書ける
・まず、1次元では、y1＝0に固定すればz1＝x1となるので、R^1→C^1に埋め込める
次に、2次元では、y1＝0,y2＝0に固定すればz1＝x1,z2＝x2となるので、R^2→C^2に埋め込める
同様に、この方式で、n次元でR^n→C^nに埋め込める
勿論、n=3（3次元ユークリッド空間）でも同様だ
>確か、4次元のポアンカレ予想はまだ完全に解決してはいない
うん
難しいことを知っているね
私は詳しくないので、勉強しておきます
321:１３２人目の素数さん
23/04/21 23:04:17.00 vIwU6BoW.net
>>293
余談ですが
URLﾘﾝｸ(www.nippyo.co.jp)
数学セミナー 2023年5月号
＊複素関数論で数学の自由さを体験しよう……荒井 迅 17
これちょっと面白かった
322:１３２人目の素数さん
23/04/21 23:17:09.27 29senQJP.net
>>294
推薦図書が4つくらい挙げてあった。
最初がAhlforsの訳本で
最後のがRudinの名著。
数学解析の基礎としては後者の内容が充実しているが
Ahlforsの本にはどこか神がかったところがある。
323:１３２人目の素数さん
23/04/22 09:39:36.28 LbFJEeFu.net
>>295
ありがとうございます
著者 荒井迅氏＊）は
[2]神保道夫先生の「複素関数入門」(2003)が、とても読みやすいと書かれていますね
（この本は、全く知らないのですが、新しい本はそれなりに意味があると思います。参考文献も新しい）
[3]Needham氏のVisual Complex Analysis 1997 も面白そう
パラパラとめくって、図を見るだけでも楽しいそうです
（余談ですが、Visualな図より抽象的な記号を好む人もいるらしいですがｗ。多分、大多数は上記のVisual派でしょう）
>Ahlforsの本にはどこか神がかったところがある。
二つ連想したのは
1）小野孝 オイラーの主題による変奏曲 －二次形式、楕円曲線、ホップ写像 実教出版 1980
URLﾘﾝｸ(www.kosho.or.jp)
の付録でオイラーの「代数入門」の書かれたいきさつ があって、そこを読むと
オイラーの「代数入門」の二次形式部分が
「大学学部レベルどころか大学博士論文のヒントがいろいろある」と書かれていてびっくりしました
（多分、これが本の題名になった）
で、数学神 オイラーだと
2）梅村浩先生が、欧州に留学したとき、手書きの古い原稿を見せられて「みんな読めないと言っているが、読んでみる？」と渡されて
苦労して読み始めると、「この人は、分かっているが、それを的確に表現する言葉が無かったんだ」と分かって
現代数学の視点で論文を書いたそうな（下記の”ピカール・ヴェッシオ理論の代数幾何的基礎付けに成功”と関連しているかも。細かいことは忘れました）
要するに、Ahlforsさん「分かっていることを全部言葉にできない」（書き出すと切りが無い？）
あるいは、まだ数学が彼にとって未発達で、書けないとか
そういう部分が、チラチラあるのかも
Ahlforsさんも、きっと神の領域かｗ
URLﾘﾝｸ(ja.wikipedia.org)
梅村浩
専門は、代数幾何学で、微分方程式のガロア理論を研究。特に、パンルヴェ方程式の代数的構造を解明し、さらに、ガロア体のピカール・ヴェッシオ理論の代数幾何的基礎付けに成功したことで知られる。
324:１３２人目の素数さん
23/04/22 09:53:31.29 LbFJEeFu.net
>>296
著者 荒井迅氏＊）
数学セミナー 2023年5月号 Ｐ48
よこがお
に、著者自己紹介がありますが
「東工大から科学大へ・・・」
「私としては悪の科学者が所属してそうで、悪くない名称に思いました」
とあるのを今読んで、”？？”と思いました
解（解釈）が一つに定まらない、不定方程式的文章ですかね？ｗ
（どう解釈して良いのか？ｗ
多分「マンガに出てくる悪の科学者」の感じで、読んだマンガをイメージしているのかも？）
大岡山の北口商店街で
昔祖父に連れて行ってもらった”おもちゃ屋”さんを探しているとありますね
見つかるといいですね
大岡山の東工大ね
2回くらい行った記憶が・・、春の学会が開催されて
さくらが綺麗だったことを思い出します
325:１３２人目の素数さん
23/04/22 09:54:47.95 RrYeIO/B.net
>>296
>>梅村浩先生が、欧州に留学したとき、手書きの古い原稿を見せられて
>>「みんな読めないと言っているが、読んでみる？」と渡されて
渡した人は読めていたと思われる。
>>要するに、Ahlforsさん「分かっていることを全部言葉にできない」（書き出すと切りが無い？）
>>あるいは、まだ数学が彼にとって未発達で、書けないとか
>>そういう部分が、チラチラあるのかも
Ahlforsを読んだものの感想をそういった言葉で茶化すのは
失礼ではないか？
326:１３２人目の素数さん
23/04/22 11:03:46.85 LbFJEeFu.net
>>268
> 行列式と線形独立と階段行列の関係
"階段行列"（下記）か
記憶に残っていないがｗ
調べてみると、いま問題の正方行列の文脈では
”三角行列”のことか！（下記）
三角行列は頻出で
LU分解アルゴリズムとかで出てきましたね（下記）
実際、いろんな応用分野で出くわす行列は
殆どが正方行列�
327:ｾった ”三角行列”の方が大事だろう (参考) https://www.krrk0.com/row-echelon-form/ 「なんとなくわかる」大学の数学・物理・情報 2023.01.30 くる 階段行列を簡単に解説！ 階段行列とは？ 階段行列とは「上の行の主成分が下の行の主成分よりも左側にある行列」です。（主成分：行の0以外の一番先頭の数字） 要は数字が階段状に並んでいる行列が階段行列ですね。 https://ja.wikipedia.org/wiki/%E8%A1%8C%E9%9A%8E%E6%AE%B5%E5%BD%A2 行階段形 行列がガウスの消去法の結果として得られる形状となっているとき、その行列は階段形（かいだんけい、英: echelon form）であると言われる。行階段形（row echelon form）とは、行列の行に対してガウスの消去法が作用された場合に得られる階段形であり、同様に列階段形（column echelon form）も定義される。 https://ja.wikipedia.org/wiki/%E4%B8%89%E8%A7%92%E8%A1%8C%E5%88%97 三角行列 三角行列（triangular matrix）は特別な種類の正方行列である。正方行列が 下半三角または下三角であるとは主対角線より「上」の成分がすべて零となるときに言い、同様に上半三角または上三角とは主対角線より「下」の成分がすべて零となるときに言う。三角行列は上半または下半三角となる行列のことを言い、また上半かつ下半三角となる行列は対角行列と呼ぶ。 三角行列に関する行列方程式は解くことが容易であるから、それは数値解析において非常に重要である。LU分解アルゴリズムにより、正則行列が下半三角行列 L と上半三角行列 U との積 LU に書くことができるための必要十分条件は、その行列の首座小行列式 (leading principal minor) がすべて非零となることである。 定義と簡単な性質 つづく
328:１３２人目の素数さん
23/04/22 11:04:37.90 LbFJEeFu.net
>>299
つづき
URLﾘﾝｸ(ja.wikipedia.org)
LU分解（LU decomposition）とは、正方行列 A を下三角行列 L と上三角行列 U の積に分解すること。すなわち A = LU が成立するような L と U を求めることをいう。正方行列 A のLU分解が存在する必要十分条件はすべての首座小行列式が 0 でないことである。また L の対角成分をすべて 1 とすれば分解はただ一通りに定まる。文献によってはLR分解とも呼ばれる（それはAを左三角(left triangular)と右三角(right triangular)の行列の積に分解するということにちなむ）。
LU分解の手法
これを解くための解法には ドゥーリトル法 と クラウト法 の2つがある。
応用
連立1次方程式
逆行列
行列式
略
(引用終り)
以上
329:１３２人目の素数さん
23/04/22 11:11:12.07 LbFJEeFu.net
>>298
ありがとうございます
>Ahlforsを読んだものの感想をそういった言葉で茶化すのは
>失礼ではないか？
それは失礼しました
茶化す気は無かったのですが
Ahlforsか、図書館で取り寄せて、チラ見してみようかな
330:１３２人目の素数さん
23/04/22 12:35:09.38 LbFJEeFu.net
>>298
>>>梅村浩先生が、欧州に留学したとき、手書きの古い原稿を見せられて
>>>「みんな読めないと言っているが、読んでみる？」と渡されて
>渡した人は読めていたと思われる。
梅村浩先生の話は下記
大分思い違いがありました
下記 P22 "Painleve 全集 Stockholm 講義録 １８９５年
６００ページにせまる大作
が読めないと皆が言っていた．
最初の印象 でたらめの論文に思えた．
クリスマスが終わる頃には少しづつ分かり始めた
ただ自分の発見を表現する言語を持っていないだけである"
です
URLﾘﾝｸ(ocw.nagoya-u.jp)
331:_lect.pdf 最終講義 射影極限と帰納極限 梅村浩 ２００８年３月１４日 Ｐ14 数学において何をやってたか １９６８?７４ 形式群，コホモロジー次元， ベクトル束， 非可換なテータ関数を探す． A. Weil のアイディア 野心的 失敗作！ 本質的な問題であるが誰にも解けない 問題である． Ｐ15 よい問題とは (1) 解ける問題である． (2) 解けたとき反響がある． 井草準一 反省 如何に魅力的であっても，解けない問題に 挑戦してはならない． Ｐ20 眠っている論文がある. 手書きで１００ページ を超える. 俳句のような論文を書くな Non-singular rational threefold のみを考える のは今では不自然. 全体をやり直すべき. Ｐ21 幸運だったこと (II) この期間，向井茂とよく議論した. 数学の基本的な考え方，研究の進め方について 多くを学んだ. つづく
332:１３２人目の素数さん
23/04/22 12:35:36.98 LbFJEeFu.net
>>302
つづき
Ｐ22
１９８４年秋 ? １９８５年秋
Cremona 群の研究が一段落したとき，次になに
を研究しようか考えた.
ストラスブールに滞在した.
（1） 所謂代数幾何学.
（2） 代数幾何学を使って何かをやる.
R. Gerard (Strasbourg) Painleve 全集の編集者
岡本和夫氏
Gerard の研究室にあった Painleve 全集を読み始めた.
Ｐ23
Stockholm 講義録 １８９５年
６００ページにせまる大作
が読めないと皆が言っていた．
東大で６０年代に代数幾何学のセミナーで読もう
とした． 忙しい！！
楕円関数、超幾何関数を超える特殊関数の追求．
関数の生成．最初の問題と類似
Ｐ24
（手書き講義録）
Ｐ25
最初の印象 でたらめの論文に思えた．
クリスマスが終わる頃には少しづつ分かり始めた
年が明けると Painleve 自身がよくっ分かっていることが理
解できるようになった．
Ｐ26
ただ自分の発見を表現する言語を持っていないだけである
と．
夏までに Painleve のアイディアを現代
代数幾何学の言葉で表現することに成功した.
その夏にストラスブールで微分方程式の
日仏シンポジュウムがあり，そこで発表した．
(引用終り)
以上
333:１３２人目の素数さん
23/04/22 13:00:48.56 m5TsgYrg.net
>>302
おつかれさま
それならわかります
334:１３２人目の素数さん
23/04/22 13:50:36.74 LbFJEeFu.net
>>304
ありがとうございます
こちらこそ
フォローありがとう
335:１３２人目の素数さん
23/04/22 20:29:53.93 LbFJEeFu.net
「大学への数学」2023年5月号
藤森 祥一先生の話の後編、面白かった
”わらしべ長者”を連想した
ある若者に
次々に幸運が舞い込んで、最後は広島大学教授に
でも、当然努力もあるわけですが
才能？
膨大な計算を根気よくやって、そこから本質を見抜く
そういう21世紀の数学に適合した才能なのかな？
URLﾘﾝｸ(researchmap.jp)
藤森 祥一 フジモリ ショウイチ (SHOICHI FUJIMORI)
基本情報
所属広島大学 大学院先進理工系科学研究科 教授
学位
博士（理学）(神戸大学)
修士（理学）(北海道大学)
URLﾘﾝｸ(home.hiroshima-u.ac.jp)
藤森 祥一 (Shoichi Fujimori)
広島大学大学院先進理工系科学研究科数学プログラム
(理学部数学科幾何学グループ)
URLﾘﾝｸ(ja.wikipedia.org)
わらしべ長者（わらしべちょうじゃ、藁?長者）は、日本のおとぎ話のひとつ。
概要
ある一人の貧乏人が最初に持っていたワラを物々交換を経ていくにつれて、最後には大金持ちになる話である。
336:１３２人目の素数さん
23/04/22 20:40:03.57 LbFJEeFu.net
>>306
>膨大な計算を根気よくやって、そこから本質を見抜く
ああ、あの記事で
”トラック何台分かの計算結果”云々という表現があって
すぐに昔の
「大型コンピュータから吐き出される連続折りたたみ式用紙のプリンター出力」
を連想しました
しかし
いまどきは、すぐには紙出力をしないで、メモリーのデータで扱うでしょから
この表現は、分からない人もいるかな？ｗ
337:１３２人目の素数さん
23/04/22 21:37:53.54 LbFJEeFu.net
「大学への数学」2023年5月号
大沢健夫先生の素数分布の話
も面白かった
338:１３２人目の素数さん
23/04/22 22:26:42.41 RrYeIO/B.net
>>306
わらしべ長者とは言い得て妙
春の学会で総合講演をした日比さんの経歴も
わらしべ長者的
339:１３２人目の素数さん
23/04/22 23:12:01.54 LbFJEeFu.net
>>294
＞＊複素関数論で数学の自由さを体験しよう……荒井 迅 17
常識だが、下記は見ておくのが良いと思う
URLﾘﾝｸ(ja.wikipedia.org)
コーシー・リーマンの方程式
複素関数が複素微分可能すなわち正則であるための必要十分条件をなす。
解釈および再定式化
この概念を表すメジャーな方法は他にも幾つかある
等角写像
コーシー・リーマンの方程式は複素形式に書くことができる。
略
この形式において、コーシー・リーマンの方程式は構造的にヤコビ行列が次の形式のものになる条件に等しい。
略
複素微分可能性
Rudin (1966)に従い、 f を開集合 Ω ⊂ Ｃ に定義された複素関数とする。すると、あらゆる z ∈ Ω に関して z = x + iy を書くことで、 Ω を Ｒ2 の開部分集合であると見なすことができ、 f を2実数 x と y の関数であると見なすことできる。
URLﾘﾝｸ(ja.wikipedia.org)
ウィルティンガーの微分
340:１３２人目の素数さん
23/04/23 00:50:03.95 N6qCdYl8.net
ある点の近傍で方向に寄らずに微分値が同じになる
ことを微分可能であるという。ある領域で微分可能
な複素変数の複素値函数はその領域で解析的であるという。
ある領域で解析的である関数は、その領域内の任意の
閉曲線上の積分が常に零になることと同じである。
微分により解析性の定義としても、周回積分に
により解析性の定義としてもいいのだとすると、
どちらを基礎において複素関数論を組み立てても
良いのだろうか？
341:１３２人目の素数さん
23/04/23 08:29:49.67 xRz9gQiq.net
>>311
> 微分により解析性の定義としても、周回積分に
>により解析性の定義としてもいいのだとすると、
>どちらを基礎において複素関数論を組み立てても
>良いのだろうか？
それは、難しい問いですね
ちょっと考えてみると、普通に複素変数zによる微分から始めるのが、良いと思います
下記、複素解析 wikipedia が、ほぼ正しいと仮定して
微分から始めて、正則関数-極（特異点）、その後くらいに、周回積分か。その後、リウヴィルの定理、解析接続で、途中適当に実例 e^z 三角関数などなどを適当に配置して
あと、多変数複素解析 をほのめかす。教科書としては、そんな流れが分かり易いと思いますけど
周回積分を出発点に、論を組み立てると、まず周回積分の経路の厳密な定義が必要になりますね。そして、積分の定義も（リーマン積分？）
多分、経路の定義と積分の定義が、ここを厳密にやろうとすると、大変でしょう
(参考)
URLﾘﾝｸ(ja.wikipedia.org)
複素解析
正則関数
詳細は「正則関数」を参照 URLﾘﾝｸ(ja.wikipedia.org)
特異点の分類
詳細は「特異点 (数学)」を参照
複素関数の分類
複素関数が微分可能であるということは、実関数が微分可能であるということに比べて遥かに強い条件である。一階微分可能な複素関数は無限階微分可能であり[15]、積分可能であり、解析的である。定義域（若しくは考察の対象となっている領域）の全体で正則な関数を正則関数といい[1][8]、特に複素平面全体を定義域とする正則関数を整関数という[1][8]。孤立した極を除いて正則な関数を有理型関数という[1][8]。指数関数、正弦関数、余弦関数、多項式関数など、多くの初等関数は整関数であるが[1]、正接関数(
tan )などは極を持つから有理型であり、対数関数は負の実軸に分岐を持ち正則でない[1][8]。ガンマ関数は負の整数に極を持つから有理型であるが、右半平面に限れば正則である[1][16][17]。
つづく
342:１３２人目の素数さん
23/04/23 08:30:13.95 xRz9gQiq.net
>>312
つづき
著しい特徴
複素線積分
詳細は「複素線積分」を参照 URLﾘﾝｸ(ja.wikipedia.org)
(「複素線積分」より 複素平面内の曲線 向き付けられた滑らかな曲線 積分路 路に沿う積分
例 複素解析における基本的な結果は z^-1 の周回積分が 2πi であることである)
リウヴィルの定理
解析接続
多変数複素解析
詳細は「多変数複素解析」を参照
上記の結果はすべて一変数に関する複素解析のものであるが、多変数複素解析に関しても豊かな理論が存在し[23][24][25][26][27][28]、べき級数展開などの解析的な性質が成立している。一方で共形性などの一変数正則関数が持つ幾何学的な性質は拡張されず、リーマンの写像定理[8]が示すような複素平面の領域に関する共形関係性など一変数の理論における最も重要な結果が高次元においてはもはや成立しない。
(引用終り)
以上
343:１３２人目の素数さん
23/04/23 09:19:06.02 xRz9gQiq.net
>>295
>Ahlfors
Ahlforsさん、不勉強で名前と複素関数論とフィールズ賞くらいしか知らなかったので
検索しました。フィンランド、ネヴァンリンナさんの弟子ね。第1回目のフィールズ賞ね。覚えておこう
URLﾘﾝｸ(ja.wikipedia.org)
ラース・ヴァレリアン・アールフォルス（Lars Valerian Ahlfors、1907年4月18日-1996年10月11日）はフィンランドの数学者
彼はヘルシンキで工学者の息子として生まれた。1924年にヘルシンキ大学に入学し、1928年までロルフ・ネヴァンリンナの下で学んだ
1929年からはネヴァンリンナの助手として、Denjoyの予測に基づいて、整関数の漸近値の研究を行った。1930年に博士号を取得すると、1933年から1936年まで助教授としてヘルシンキ大学で働いた
1936年、彼はジェス・ダグラスとともに第1回目のフィールズ賞を受賞した。1935年からハーバード大学に留学していたが、1938年にはヘルシンキ大学に戻り、教授となった。戦争が始まったが、彼は軍人の基準を満たさず、1944年から1945年3月までチューリッヒ工科大学で働いた。スイスでは不遇な時を過ごし、ハーバードへ行くチャンスがあるとすぐにそれに飛びつき、1977年に引退するまでそこで勤めた。1968年にはWihuri賞を、1981年にはウルフ賞数学部門を受賞した
1953年に出版されたComplex Analysis (邦題：「複素解析」、訳者：笠原乾吉[1])は古典的な名著で、現在でも世界中の大学で複素解析の授業に用いられている
彼はErna Lehnertと結婚し、3人の子供がいた
URLﾘﾝｸ(ja.wikipedia.org)
フィールズ賞
344: 1936年（オスロ） ラース・ヴァレリアン・アールフォルス フィンランド Awarded medal for research on covering surfaces related to Riemann surfaces of inverse functions of entire and meromorphic functions. Opened up new fields of analysis. Jesse Douglas, 1897-1965アメリカ Did important work of the Plateau problem which is concerned with finding minimal surfaces connecting and determined by some fixed boundary.
345:１３２人目の素数さん
23/04/23 10:09:09.72 xRz9gQiq.net
>>309
>春の学会で総合講演をした日比さんの経歴も
>わらしべ長者的
"日比さん"か、不勉強で初耳です
下記かな？ あれ、「昭和４７年３月、名古屋市立向陽高等学校卒業」は、入学の間違いですね
「翌年再挑戦するも惨敗。僕の数学者への夢は儚くも消えた」とあるけど
wikipediaに「1983年広島大学大学院修士課程修了」とあるから、広大へ行ったんだ
だったら、”数学者への夢は儚くも消えた”は、その時一瞬の感想でしかなかったんだｗ
1985年広島大学大学院博士課程退学、同年名古屋大学理学部助手、昭和６２年(1987)１２月 理学博士（名大）
辺りから、わらしべ長者のスタートかな？
”1981 年夏、修士１年で参加した京大数理研の研究集会で Melvin Hochster の講演を聞いたことが凸多面体を研究するきっかけでした。Hochster の講演では、八面体と立方体の板書以外細かいことは何も分からなかったのですが、講演の迫力と興味深い内容に圧倒された記憶があります。数ヶ月後、可換代数により凸多面体の未解決問題を解いていた Richard Stanley の論文を読んだ時の感銘は、今でも鮮明に覚えています”か
(参考)
URLﾘﾝｸ(researchmap.jp)
日比 孝之 ヒビ タカユキ (Takayuki Hibi)
基本情報
所属大阪大学 名誉教授
学位
理学博士(1987年12月 名古屋大学)
昭和３１年、名古屋に生まれる。昭和４７年３月、名古屋市立向陽高等学校卒業。高校２年生の１２月、数学者に仄かな憧れを抱いた。現役のとき、名古屋大学理学部を受験。重力加速度ｇに翻弄し物理が撃沈され、理学部は不合格。けれども第２希望の農学部は合格し、母校の名古屋大学合格者数には＋１の貢献ができた。翌年再挑戦し、理学部に合格。その頃世間で流行っていた歌謡曲は、太田裕美の「木綿のハンカチーフ」である。今でも「木綿のハンカチーフ」を聴くと、懐かしい青春が蘇る。
つづく
346:１３２人目の素数さん
23/04/23 10:10:32.69 xRz9gQiq.net
>>315
つづき
僕が学部学生の頃、数学専攻の大学院に進学することは困難な厳冬の時代であった。１００名以上が受験し合格者は４、５名などという凄まじい状況のときもあった。数学科の４年生（昭和５４年）の９月、名大院の数学専攻を受験したが不合格。翌年再挑戦するも惨敗。僕の数学者への夢は儚くも消えた。しばらくは呆然としながら、山崎豊子の「白い巨塔」を読み耽った。野望に燃える財前五郎（「白い巨塔」の主人公の外科医）の姿は、挫折感に浸る僕を魅了した。昭和５６年３月、名古屋大学理学部数学科卒業。
縁あって、昭和６０年４月、名古屋大学理学部助手に採用され、昭和６２年１２月、理学博士。昭和６３年８月から平成元年７月、マサチューセッツ工科大学客員研究�
347:B平成２年１０月、北海道大学理学部講師。平成３年１０月、北海道大学理学部助教授。平成５年７月から１１月、シドニー大学客員助教授。札幌に４年６ヶ月滞在した後、平成７年４月、大阪大学理学部教授に着任し、平成８年４月、大阪大学大学院理学研究科教授。平成１４年４月、大阪大学大学院情報科学研究科教授。令和４年３月、大阪大学定年退職、大阪大学名誉教授。専門は、計算可換代数と組合せ論。 平成３０年度日本数学会代数学賞受賞。国際雑誌 Journal of Pure and Applied Algebra 編集委員。 （日本数学会 2023 年度「年会」アブストラクト集に掲載されたプロフィール）1981 年夏、修士１年で参加した京大数理研の研究集会で Melvin Hochster の講演を聞いたことが凸多面体を研究するきっかけでした。Hochster の講演では、八面体と立方体の板書以外細かいことは何も分からなかったのですが、講演の迫力と興味深い内容に圧倒された記憶があります。数ヶ月後、可換代数により凸多面体の未解決問題を解いていた Richard Stanley の論文を読んだ時の感銘は、今でも鮮明に覚えています。1980 年代の可換代数と組合せ論の融合領域の黎明期に数学の研究を始め、1990 年代前半は凸多面体の格子点の数え上げ理論の礎を築きました。北大から阪大に赴任した 1995 年以降、Jurgen Herzog との共同研究によりスクエアフリー単項式イデアルの理論を発展させるとともに、凸多面体とグレブナー基底の研究に従事しました。 つづく
348:１３２人目の素数さん
23/04/23 10:10:57.19 xRz9gQiq.net
>>316
つづき
2008 年から約５年に渡り、JST CREST グレブナー基底プロジェクトの研究代表者、2014 年からは基盤研究（Ｓ）の研究代表者を務め、多数の外国人研究者を招き、４回の国際会議を主催できたことは貴重な財産となっています。
URLﾘﾝｸ(ja.wikipedia.org)
日比孝之（ひび たかゆき、1956年12月15日- ）は、日本の数学者。専門は計算可換代数と組合せ数学。学位は、理学博士（名古屋大学・1987年）。大阪大学名誉教授。代数学賞受賞。
略歴
愛知県名古屋市生まれ。1975年名古屋市立向陽高等学校卒業。1981年名古屋大学理学部数学科卒業、1983年広島大学大学院修士課程修了、1985年広島大学大学院博士課程退学。理学博士（名古屋大学・1987年）。
1985年名古屋大学理学部助手、1990年北海道大学理学部講師、1991年同助教授、1995年大阪大学理学部教授、1996年同大学院理学研究科教授[1]、2002年同大学院情報科学研究所教授[2]。専門は計算可換代数と組合せ数学。 2018年度日本数学会代数学賞受賞。国際雑誌 Journal of Pure and Applied Algebra 編集委員。2022年大阪大学名誉教授。
著書
漫画化
『証明の探究 高校編! コミック』原作、門田英子漫画 大阪大学出版会 2014
つづく
349:１３２人目の素数さん
23/04/23 10:11:17.94 xRz9gQiq.net
>>317
つづき
URLﾘﾝｸ(www.jst.go.jp)
（2008 年から約５年に渡り、JST CREST グレブナー基底プロジェクト）
研究チーム/研究者（日比チーム） －数学と諸分野の協働による ...
国立研究開発法人 科学技術振興機構
研究概要
現代の産業社会とグレブナー基底の調和
高度に発展した純粋数学の理論と現代の産業社会における先端科学技術との調和を探ることは、社会的な難問の解決に向けての数学の積極的な貢献をもたらします。現代数学の潮流の一つを成すグレブナー基底の探究に携わる代数学者、計算機科学者、統計学者らから構成される共同研究組織を作り、グレブナー基底の最新理論を先端科学技術に応用するとともに、現実問題の要請に答えるべく理論の一層の発展とアルゴリズムの開発をめざします。
＜2018年度日本数学会代数学賞＞
URLﾘﾝｸ(www.mathsoc.jp)
日比孝之氏「計算可換代数と組合せ論」
日比孝之氏は可換代数理論を駆使し，凸多面体，単体的複体などにまつわる組合せ論，
単項式イデアルの理論，代数統計などの様々な分野の発展に多大な貢献をもたらし，今
日 “computational/combinatorial commutative algebra” と呼ばれる分野の確立において
中心的な役割を果たした．日比氏の研究業績は多岐にわたっており，その全てを
350:紹介する ことは困難であるが，主要な業績について簡単に概要を紹介する． 以上の理由から，日比氏の業績および研究活動 は代数学の発展に大きく寄与するものであり，代数学賞に相応しいものである． (引用終り) 以上
351:１３２人目の素数さん
23/04/23 10:41:38.74 xRz9gQiq.net
>>315
わらしべ長者
の補足として
「運も実力のうち」を上げておきます
下記は、ご参考として
私は、その人は「運をキャッチする実力を持っていた」ということだと思います
日比 孝之さんは、1981 Melvin Hochster の講演を自分の研究に生かす実力（忍耐と根気も含め、チームを纏めるリーダーシップも）があった
藤森 祥一さん>>306は、極小曲面というテーマをキャッチして仕上げる実力があった
ということでしょう
(参考)
URLﾘﾝｸ(www.iza.ne.jp)
「運も実力のうち」は本当か？ 何かとツイてる人には“4つの法則”があった
2022/2/14
井上和 iza
今回は、そもそも運の良い人と悪い人の違いは何なのか？ 努力次第で「運のいい人」になることはできるのか？ そんなお話をしてみたいと思います。
運を決めているのは自信だった？！
「運も実力のうち」といいますが、これを真剣に研究した人がいます。英国の心理学者リチャード・ワイズマン博士です。元々マジシャンだったところから、人の心理を読むことへの興味が高じて学術の世界に転身した異色の経歴を持つワイズマン博士。彼は、いつも運がいい人と運が悪い人がいることに興味を抱きました。そこで、8年間かけて数百人の運がいい人と悪い人に対してインタビューを続けて、実験したのです。
当初、ワイズマン博士は「運は予知能力ではないか？」という仮説を考えました。そこで運がいい人と悪い人、計700人に宝くじの当選番号を予想してもらいました。結果は、当選率はまったく同じ。運は予知能力ではなかったのです（それはそうですよね笑）。
しかし、実験で発見がありました。運のいい人は、運の悪い人の2倍以上「当選する自信がある」と答えていたのです。そこでワイズマン博士は「運は自信と関係があるのでは？」と仮説を変更。考え方や行動を分析し始めました。
その結果として発見した4つの法則を、著書『運のいい人の法則』（角川文庫）にまとめています。
運を鍛える4つの行動・思考法
1．チャンスを最大限に広げる
2．虫の知らせを聞き逃さない
3．幸運を期待する
4．不運を幸運に変える
352:１３２人目の素数さん
23/04/23 14:47:41.34 xRz9gQiq.net
>>318
>グレブナー基底
下記ですね
なお、en.wikipediaが圧倒的で、ja.wikipediaはあまり参考にならない
(参考)
URLﾘﾝｸ(en.wikipedia.org)
Grobner bases were introduced in 1965, together with an algorithm to compute them (Buchberger's algorithm), by Bruno Buchberger in his Ph.D. thesis. He named them after his advisor Wolfgang Grobner.
In 2007, Buchberger received the Association for Computing Machinery's Paris Kanellakis Theory and Practice Award for this work. However, the Russian mathematician Nikolai Gunther had introduced a similar notion in 1913, published in various Russian mathematical journals. These papers were largely ignored by the mathematical community until their rediscovery in 1987 by Bodo Renschuch et al.[2] An analogous concept for multivariate power series was developed independently by Heisuke Hironaka in 1964, who named them standard bases. This term has been used by some authors to also denote Grobner bases.
つづく
353:１３２人目の素数さん
23/04/23 14:49:33.71 xRz9gQiq.net
>>320
つづき
//ja.wikipedia.org/wiki/グレブナー基底
グレブナー基底は、多変数多項式の簡約化が一意に行える多項式の集合である。多変数の連立代数方程式の解を求める際などに利用される
グレブナー基底を求めるアルゴリズムとしては、ブッフベルガーアルゴリズム（Buchberger's algorithm）があり、数式処理の分野での連立代数方程式の解法として使われている。また、可換環論、代数幾何、微分方程式論、整数計画問題などに出てくる様々な数学的対象物を構成するための基礎となっている
歴史
多項式環上のグレブナー基底の理論はオーストリアの大学院生であったブルーノ・ブッフベルガー（英語版）によって1965年に発表され、その当時のブッフベルガーの指導教授ヴォルフガンク・グレブナー（英語版）の名前からグレブナー基底と名付けられた。これと独立して1964年に局所環上での同様の理論が広中平祐によって発見され、標準基底（Hironaka's standard basis）とも呼ばれる。自由リー代数の枠組みでの同様の理論はA. I. Shirshovによって1962年に発見されたが、ソ連の外には広く知られなかった
以上
354:１３２人目の素数さん
23/04/23 17:43:17.11 xRz9gQiq.net
>>314
> 1953年に出版されたComplex Analysis (邦題：「複素解析」、訳者：笠原乾吉[1])は古典的な名著で、現在でも世界中の大学で複素解析の授業に用いられている
URLﾘﾝｸ(www.)アマゾン
書評
北狐
5.0 out of 5 stars
Ahlfors以前とAhlfors以後
Reviewed in Japan on August 6, 2020
Verified Purchase
第二版は正直『何処が良いのか？』か良く分からなかったが、第三版は全く面目を一新している。
特にリーマン面で使う共役微分が注目を引く。
さすがは第一回フィールズ賞を受賞した学者だけのことはある。複素解析に対する哲学的掘り下げ方が日本の学者とは全く違う。
関数論は、この本によって、Ahlfors以前とAhlfors以後に峻別された。(唯日本語が少々？という部分はある。)
その香気の清々しさは『哲学的数学書』と言って過言でないと思う。
リーマン面の学習には必須の本です。
14 people found this helpful
355:１３２人目の素数さん
23/04/24 13:44:42.25 470DtP7r.net
>>299
>"階段行列"か
>記憶に残っていないが
大学行ったことない人が知らないのは当然
>”三角行列”のことか！
>三角行列は頻出で
>LU分解アルゴリズムとかで出てきましたね
行列の基本変形による階段化も知らんで
LU分解分かるわけなかろう
線形代数の教科書、きっちり読み通そうな
工学部でも全てが常識
工業高校卒じゃ全部未知だろうけど
356:１３２人目の素数さん
23/04/24 13:55:54.83 470DtP7r.net
正則行列分からん人に
多変数関数の微積分も
微分形式も外微分もグリーンの定理も
どれ一つとして理解できないから
それら全てが必要なコーシー・リーマンの関係式も
コーシーの積分定理もわかるわけないし
そんな人がアールフォルスの名前を口にしても滑稽なだけ
357:１３２人目の素数さん
23/04/24 14:00:20.30 470DtP7r.net
>>319
>その人は「運をキャッチする実力を持っていた」ということだと思います
オカルト板逝けよ
358:１３２人目の素数さん
23/04/24 21:07:53.64 kvjmkzeP.net
>>323
>>行列の基本変形による階段化も知らんで
「階段化」と言う言葉は授業では聞いたことがない。
359:１３２人目の素数さん
23/04/25 06:54:36.69 7C1Nw0gN.net
>>326
> 「階段化」と言う言葉は授業では聞いたことがない。
じゃ、なんて言ってたかここに書いて
360:
361:１３２人目の素数さん
23/04/25 08:48:00.10 v+iviAi8.net
そんな風にして解けるのは
教えられなくても分かると思ったから
その辺の用語は注意して聞いていなかった
第一そんなことは試験には出ない