[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む76 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
785(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/07(土)08:36 ID:8WzaZQff(4/27) AAS
コーシー列のついでに、メモ貼るよ
まあ、εδみたいな狭い視点ではなく、”開集合、有向点族（ネット）、フィルター (filter) ”などを、一気に理解するのが正解だよ
21世紀は、”ネット”の時代かも （おやじギャグ）ｗ（＾＾
外部ﾘﾝｸ:ja.wikipedia.org
有向点族
(抜粋)
有向点族（ゆうこうてんぞく、directed family of points）とは、点列を一般化した概念で、ムーア (Eliakim Hastings Moore) とスミス (H. L. Smith) により1922年に定義された。有向点族はネット (net)、有向点列、 Moore-Smith 列などとも呼ばれる。
点列との違いは添え字にあり、点列が自然数という可算な全順序集合の元で添え字付けられるのに対し、有向点族はより一般的な順序集合である（可算または非可算な）有向集合の元で添え字付けられている。
有向点族の概念の利点として以下の２つがある：
・点列にある「可算性」、「全順序性」という束縛がなくなる。
点列の場合はこうした束縛ゆえに定理を証明する際に空間に可算性に関する何らかの仮定（第一可算公理など）を課さねばならなくなる事があるのに対し、有向点族ではそのような条件なしに同様の定理が証明できる場合がある。
・複数の収束概念を統一的に扱う事ができる。
例えば点列の収束、実数値関数の収束、リーマン積分におけるリーマン和等は有向点族の収束概念の特殊ケースとみなせる。
特に重要なのは、開集合、閉包、連続性などの位相構造に関する概念を有向点族の収束性で特徴づけられる事である。それに対し点列の場合はその添え字の可算性ゆえ、同様の特徴づけを行うには空間の方にも可算性に関する条件が必要となる（詳細は列型空間を参照）。
なお、添え字集合を有向集合にした事は、位相空間上の各点の近傍系が有向集合である（詳細後述）事と相性がよく、これも点列概念の不十分さを解消する上で一役買っている。
つづく
786(2): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/09/07(土)08:37 ID:8WzaZQff(5/27) AAS
>>785
つづき
点列の極限で位相構造を特徴づけられない例としては、整列順序集合[0,ω1]に順序から定まる位相を入れた空間がある。
ここで ω1は最小の非可算順序数である。実際この集合においてω1は明らかに[0,ω1)の閉包に属しているにも関わらず、[0,ω1)内のいかなる点列もω1に収束しない。
なぜなら ω1の非可算性と「可算集合の可算和はまた可算集合になる」という事実により、 [0,ω1)内の任意の点列に対し、点列に属する点のいずれよりも大きい順序数α<ω1が存在するので、 ω1の開近傍(α,ω1]には点列の点が存在しえないからである。
点列概念から可算性を取り除くもう一つの方法として、1937年にアンリ・カルタンによって生み出されたフィルターの概念が知られているが、実はフィルターの概念は収束という観点から見た場合には有向点族の概念と実質的に同値である事が知られている。
外部ﾘﾝｸ:ja.wikipedia.org
フィルター (数学)
(抜粋)
フィルター (filter) とは半順序集合の特別な部分集合のことである。実際には半順序集合として、特定の集合の冪集合に包含関係で順序を入れた物が考察されることが多い。フィルターが初めて用いられたのは一般位相幾何学 (general topology) の研究であったが、現在では順序理論や束の理論でも用いられている。順序理論的な意味でのフィルターの双対概念はイデアル（英語版）である。
類似の概念として1922年にエリアキム・H・ムーアと H. L. スミスによって導入されたネットの概念がある。
歴史
1936年9月のブルバキ会合ではアンドレ・ヴェイユによる数学原論の「位相」[1]の草稿に関して議論がなされた。その草稿でヴェイユは点列の収束を議論する上で空間に第二可算公理の成立を要求していたが（下の#位相幾何学におけるフィルターも参照）、この制限を除くためにアンリ・カルタンが会合中に見つけた解決の糸口がフィルターである[2]。
フィルターの概念の初出として一般に言及されるのは、ブルバキの他メンバーの勧めを基にカルタンが翌年に提出した2つの論文[3][4]である。
(引用終り)
以上
793(3): 2019/09/07(土)10:14 ID:g5ZGoduN(3/8) AAS
>>785-787
また、馬鹿が自分でも理解できないことコピペしてるなｗｗｗ
自然数論は自然数全体の集合の存在を前提した理論ではない
自然数論における∀ｘのｘの範囲は自然数全体だが、
これが集合である必要はない
集合論における∀ｘのｘの範囲は集合全体だが
これは集合でなくクラスｗ
阪大卒を詐称する工業高校卒は述語論理も知らん馬鹿ｗ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.039s