IUTを読むための用語集資料集スレ

[過去ﾛｸﾞ] IUTを読むための用語集資料集スレ (1002ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

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

11: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [sage] 2020/06/21(日) 08:08:24.19 ID:W0WIc7wX

>>10
つづき

・ザリスキの主定理：
https://ja.wikipedia.org/wiki/%E3%82%AA%E3%82%B9%E3%82%AB%E3%83%BC%E3%83%BB%E3%82%B6%E3%83%AA%E3%82%B9%E3%82%AD
オスカー・ザリスキ
主な業績は、ザリスキ位相の導入やザリスキの主定理（英語版）の証明を含む可換環論と代数幾何の融合である。
弟子に、ダニエル・ゴーレンシュタイン、広中平祐、ミハイル・アルティン、デヴィッド・マンフォード、ロビン・ハーツホーンら著名な数学者がたくさんおり、優れた指導者でもあった。
https://en.wikipedia.org/wiki/Zariski%27s_main_theorem
Zariski's main theorem
In algebraic geometry, Zariski's main theorem, proved by Oscar Zariski (1943), is a statement about the structure of birational morphisms stating roughly that there is only one branch at any normal point of a variety. It is the special case of Zariski's connectedness theorem when the two varieties are birational.
Zariski's main theorem can be stated in several ways which at first sight seem to be quite different, but are in fact deeply related. Some of the variations that have been called Zariski's main theorem are as follows:
略
The name "Zariski's main theorem" comes from the fact that Zariski labelled it as the "MAIN THEOREM" in Zariski (1943).
略

つづく

http://rio2016.5ch.net/test/read.cgi/math/1592654877/11

111: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2020/07/12(日) 19:51:43.19 ID:/6i4k5qr

>>105
>>「3 次元閉多様体」とは『4 次元空間において、”破れて穴の空いて”いない 複雑な形をした立体(3次元)』、
>「4次元において」は不要

「4次元において」は不要と言ってもよ
その定義で、四次元の実座標空間 R^4とか、四元数体とか、それがスタートでしょ
「4次元において」は不要というならば、
おまえの三次元球面の定義を、実座標空間 R^4とか、四元数体とか、使わずに書いて見ろよｗ（＾＾；

https://ja.wikipedia.org/wiki/%E4%B8%89%E6%AC%A1%E5%85%83%E7%90%83%E9%9D%A2
三次元球面
(抜粋)
四次元ユークリッド空間内の三次元球面は、固定された一点を「中心」として等距離にある点全体の成す点集合として定義することができる。
通常の球面（つまり、二次元球面）が三次元の立体である球体の境界を成すのと同様、三次元球面は四次元の立体である四次元球体の境界となる三次元の幾何学的対象である。
三次元球面は、三次元多様体の一つの例を与える。

定義
四次元の直交座標系を用いるならば、中心 (C0, C1, C2, C3) および半径 r を持つ三次元球面とは、四次元の実座標空間 R^4 において
Σ _{i=0}^{3}(x_{i}-C_{i})^{2}=(x_{0}-C_{0})^{2}+(x_{1}-C_{1})^{2}+(x_{2}-C_{2})^{2}+(x_{3}-C_{3})^{2}=r^{2}}
を満たす点 (x0, x1, x2, x3) 全体の成す集合に等しい。

原点を中心とする半径 1 の三次元球面を三次元単位球面 (unit 3-sphere) と呼び、ふつう S^3 で表す。式で書けば:
S^{3}:={(x_{0},x_{1},x_{2},x_{3})∈{R}^{4}:x_{0}^{2}+x_{1}^{2}+x_{2}^{2}+x_{3}^{2}=1}.

三次元球面を「ノルム 1」の四元数全体として表す記法では、三次元球面は四元数体におけるベルソル（英語版）（単位四元数）全体の成す集合として同定されている。
平面極座標において単位円が重要であるのとまったく同じに、四元数の乗法の構造を入れた四次元空間内の極表示において三次元球面は重要な役割を果たす。
三次元球面をこのように見る立場は、Georges Lemaitre による楕円型空間の研究の基礎である[2]。

http://rio2016.5ch.net/test/read.cgi/math/1592654877/111

474: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2020/08/23(日) 19:55:31.19 ID:ehdjUjVy

>>473
おっさん、スレ違い

「AかBか、二択問題ではなく
21世紀の現代数学では、Aもあり、Bもある。つまり、二つの立場を、自由に使い分ければ良い。21世紀の数学は、もっと自由だよ」

これに反対したいなら、
「テレンス・タオの説は間違っている」って論文書きなよ

おれは、別に、0.999…＝1 を否定してはいない
だが、”テレンス・タオ 　"0.999…" は 1 に「無限に近い」”もありと思っている
それだけのことよ

（>>311より、下記ご参照）
　https://ja.wikipedia.org/wiki/0.999...#p-%E9%80%B2%E6%95%B0
　0.999... テレンス・タオ 　"0.999…" は 1 に「無限に近い」。
　イアン・スチュアートはこの解釈を、「0.999… は 1 よりも『ほんの少しだけ小さい』」という直観を厳密に正当化する「全く合理的な」方法として特徴づけた[23]。

・超一流のテレンスタオがさ、” "0.999…" は 1 に「無限に近い」”という主張は、ちゃんと21世紀の数学の中で正当化できるという（ノンスタでね）
（一流のイアン・スチュアートも、この解釈を、「0.999… は 1 よりも『ほんの少しだけ小さい』」という直観を厳密に正当化する「全く合理的な」方法として特徴づけた[23]という）
・勿論、スタンダードな "0.999…＝1"もあり

https://arxiv.org/pdf/1212.5740.pdf
Filters and Ultrafilters in Real Analysis 2012
Max Garcia Mathematics Department California Polytechnic State University

P16
3.2 Finite, Infinitesimal, and Infinitely Large Numbers

3.2.1 Definition (Classification). Let x ∈*R
(a) x is infinitesimal if | x |< ε for all ε ∈ R+. We denote the set of all
infinitesimals by I(*R).

http://rio2016.5ch.net/test/read.cgi/math/1592654877/474

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

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 2.513s*