現代数学の系譜工学物理雑談古典ガロア理論も読む74

[過去ﾛｸﾞ] 現代数学の系譜工学物理雑談古典ガロア理論も読む74 (1002ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

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

ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡

482: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/08/11(日) 15:58:18.21 ID:D5VJA43k

>>477
ええ、２点コンパクト化もありますｗ（＾＾；
「（アフィン）拡張実数全体の成す集合 R ∪ {±∞}」
意味分りますか〜？ｗ

（参考）
https://ja.wikipedia.org/wiki/%E6%8B%A1%E5%A4%A7%E5%AE%9F%E6%95%B0
拡大実数
(抜粋)
数学における拡張実数（かくちょうじっすう、英: extended real number; 拡大実数）あるいはより精確にアフィン拡張実数 (affinely extended real number) は、通常の実数に正の無限大 +∞ と負の無限大 -∞ の二つを加えた体系を言う。
新しく付け加えられた元（無限大、無限遠点）は（通常の）実数ではないが、文脈によってはこれらを含めた全ての拡張実数を指して便宜的に「実数」と呼ぶこともあり、その場合通常の実数は有限実数と呼んで区別する[1]。拡張実数の概念は、微分積分学や解析学（特に測度論と積分法）において種々の函数の極限についての記述を簡素化するのに有効である。
（アフィン）拡張実数全体の成す集合 R ∪ {±∞} は、その上の適当な順序構造や位相構造などを持つものとして補完数直線（ほかんすうちょくせん、英: extended real line; 拡張実数直線）と呼ばれ、R や [-∞, +∞] と書かれる。

文脈から意味が明らかな場合には、正の無限大の記号 +∞ はしばしば単に ∞ と書かれる。

意義
極限
函数 f において、引数 x や函数値 f(x) がある意味で「非常に大きく」なるときのふるまいを記述したい場面というのはよくある。例えば函数

f(x)=x^-2
を考えると、グラフは g(x) = 0 を水平漸近線に持つ。幾何学的に、x-軸を右へどんどん辿って行けば、1/x2 の値は 0 へ近づく。
この極限的な振る舞いというのは、x が何らかの実数へ近づくときの函数の極限と、x が近づく実数がないことを除けば同じである。

仮に、実数の集合 R に二つの元 +∞ と -∞ を添加するとすれば、「無限遠における極限」を R におけると同様の位相的性質を以って定式化することができる。

事を完全に厳密にするには、R の有理コーシー列による定義において、さらに任意の K > 0 に対して十分大きな番号の項で K を超えるものが取れるような有理コーシー列全体の成す集合として +∞ を、同様の仕方で -∞ を、それぞれ定義することにすればよい。

つづく

http://rio2016.5ch.net/test/read.cgi/math/1564659345/482

483: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE  [] 2019/08/11(日) 15:59:21.61 ID:D5VJA43k

>>482
つづき

測度論および積分
測度論において、測度無限大の集合や値が無限大になる積分の存在を許すことが有効であることがよくある。

このような測度は微分積分学でも自然に表れてくる。

無限積分を考えるとき、値は「無限大」になる。

他にも、
函数列の極限を考えることも有用であることは多く、函数値が無限大となることを許容しない場合には単調収束定理や優収束定理のような本質的な結果が意味を成さない。

順序構造および位相的性質
任意の（有限）実数 a に対して -∞ ? a ? +∞ と置くことにより、実数直線 R における順序の拡張として、補完数直線 R は全順序集合になる。この順序に関して R は「任意の部分集合が上限と下限を持つ」（完備束を成す）という良い性質を持つ。

この順序から導かれる R 上の順序位相（英語版）では、集合 U が正の無限大 +∞ の近傍となる必要十分条件は U が適当な実数 a に対する集合 {x : x > a} を含むことであり、負の無限大 -∞ についても同様のことが言える。
補完数直線 R は、単位閉区間 [0, 1] に同相なコンパクトハウスドルフ空間であるから、単位閉区間の通常の距離から同相を通じて距離化可能であるが、しかし R 上の通常の距離の延長となるような距離を入れることはできない。

この位相に関して、実変数 x が +∞ や -∞ へ近づく極限や、函数の値が +∞ や -∞ へ近づく極限を、一般的な極限の位相的定義を簡略化して定義することができる。

代数的性質
今までの定義に従えば、拡張実数の全体 R は体にも環にもならない。それでも以下のような十分扱いやすい性質が成立する：

その他の性質
実函数の中には極限をとることで R まで連続的に延長することができるものもある。例えば指数函数 exp や自然対数 ln は exp(-∞) = 0, exp(+∞) = +∞ や ln(0) = -∞, ln(+∞) = +∞ として連続的に延長できる。

関連項目
・実射影直線
・リーマン球面: 拡張複素数平面 C
・広義積分
(引用終り)
以上

http://rio2016.5ch.net/test/read.cgi/math/1564659345/483

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

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

ぬこの手ぬこTOP 0.073s