純粋・応用数学（含むガロア理論）2

[過去ﾛｸﾞ] 純粋・応用数学（含むガロア理論）2 (1002ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

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

84: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2020/06/20(土) 21:25:32 ID:OXXW5633

>>83
つづき

ここでFN={xn?n>=N}とおいてみましょう。すると上の収束の定義は次のように書き換えられます。

∀U∈N(x) ∃N∈N  FN⊂U

これがフィルターで書いた場合の収束であり、上の記事の中でいう命題2.3です。つまりフィルター基底B={FN?N∈N}の収束をみているわけです。

このように点列の収束は集合の包含関係で書き換えられます。さらにこの形で書けばFNが点列である必要すらなくね？という発想に至りこれを一般の集合で書き直すことでフィルターの定義にたどり着きます。

（この辺りの「具体的な抽象化の過程」は上の記事では触れなかったのでここで書いておくことにしました。）

フィルターの感覚はだいたいそんな感じです。こうして定義されたフィルターを用いると最初に書いたような強い結果が色々得られるのですがその辺の詳しいところは上の記事を見てください。

今回なぜ自分が上の記事を書いたかというとフィルターについての初等的な文献があまりないような気がしたからです。それでTwitterで「フィルターのpdf書いたら需要ある？」みたいなツイートをしてみたら思ったより反応があったので書くことにしました。

実際、自分がフィルターについて勉強したいと思ったときもどの本に載っているのかわからず、適当な位相空間の本を開いてみるも見つからず、結局大学の本棚にあったブルバキを読んで勉強しました。

森田先生の位相空間と内田位相は位相空間論の参考にしただけでフィルターは出てきませんし、松坂位相でも演習問題で一瞬でてくるだけでしたし、位相のこころでは説明がされてますがこれは読み物なので証明などは詳しくされていません。
また論理と位相ではフィルターについて扱われていますがこれは順序集合におけるフィルターの話（束論での扱い）なので位相空間上での収束などは書かれていませんでした。

要するに上の記事はほとんどブルバキを参考に書かれています。
「クセがある」と名高いブルバキの内容を現代的な記法で書き直し、チコノフの定理を焦点にまとめ直しました。

解析系や幾何系に進んでいるとフィルターはメジャーな道具のように思う（？）のですがどうも文献が少ないです。もしフィルターの平易な文献があれば教えてもらえると嬉しいです。
(引用終り)
以上

http://rio2016.5ch.net/test/read.cgi/math/1592578498/84

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

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

ぬこの手ぬこTOP 0.029s