[過去ログ]
純粋・応用数学(含むガロア理論)2 (1002レス)
純粋・応用数学(含むガロア理論)2 http://rio2016.5ch.net/test/read.cgi/math/1592578498/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
リロード規制
です。10分ほどで解除するので、
他のブラウザ
へ避難してください。
107: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2020/06/20(土) 22:35:43 ID:OXXW5633 >>96 追加 https://ja.wikipedia.org/wiki/%E3%83%95%E3%82%A3%E3%83%AB%E3%82%BF%E3%83%BC_(%E6%95%B0%E5%AD%A6) フィルター (filter) とは半順序集合の特別な部分集合のことである。実際には半順序集合として、特定の集合の冪集合に包含関係で順序を入れた物が考察されることが多い。フィルターが初めて用いられたのは一般位相幾何学 (general topology) の研究であったが、現在では順序理論や束の理論でも用いられている。順序理論的な意味でのフィルターの双対概念はイデアル(英語版)である。 類似の概念として1922年にエリアキム・H・ムーアと H. L. スミスによって導入されたネットの概念がある。 目次 1 歴史 2 定義 3 写像とフィルター 4 冪集合の上のフィルター 4.1 例 4.2 モデル理論におけるフィルター 4.3 超積 4.4 位相幾何学におけるフィルター 4.5 一様空間におけるフィルター 5 他分野への応用 5.1 社会選択理論 (経済学) におけるフィルター 歴史 1936年9月のブルバキ会合ではアンドレ・ヴェイユによる数学原論の「位相」[1]の草稿に関して議論がなされた。その草稿でヴェイユは点列の収束を議論する上で空間に第二可算公理の成立を要求していたが(下の#位相幾何学におけるフィルターも参照)、この制限を除くためにアンリ・カルタンが会合中に見つけた解決の糸口がフィルターである[2]。 フィルターの概念の初出として一般に言及されるのは、ブルバキの他メンバーの勧めを基にカルタンが翌年に提出した2つの論文[3][4]である。 http://rio2016.5ch.net/test/read.cgi/math/1592578498/107
110: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2020/06/20(土) 22:43:20 ID:OXXW5633 >>107 追加 https://ja.wikipedia.org/wiki/%E6%9C%89%E5%90%91%E7%82%B9%E6%97%8F 有向点族(ゆうこうてんぞく、directed family of points)とは、点列を一般化した概念で、ムーア (Eliakim Hastings Moore) とスミス (H. L. Smith) により1922年に定義された。有向点族はネット (net)、有向点列、 Moore-Smith 列などとも呼ばれる。 点列との違いは添え字にあり、点列が自然数という可算な全順序集合の元で添え字付けられるのに対し、有向点族はより一般的な順序集合である(可算または非可算な)有向集合の元で添え字付けられている。 有向点族の概念の利点として以下の2つがある: 点列にある「可算性」、「全順序性」という束縛がなくなる。点列の場合はこうした束縛ゆえに定理を証明する際に空間に可算性に関する何らかの仮定(第一可算公理など)を課さねばならなくなる事があるのに対し、有向点族ではそのような条件なしに同様の定理が証明できる場合がある。 複数の収束概念を統一的に扱う事ができる。例えば点列の収束、実数値関数の収束、リーマン積分におけるリーマン和等は有向点族の収束概念の特殊ケースとみなせる。 特に重要なのは、開集合、閉包、連続性などの位相構造に関する概念を有向点族の収束性で特徴づけられる事である。それに対し点列の場合はその添え字の可算性ゆえ、同様の特徴づけを行うには空間の方にも可算性に関する条件が必要となる(詳細は列型空間を参照)。 なお、添え字集合を有向集合にした事は、位相空間上の各点の近傍系が有向集合である(詳細後述)事と相性がよく、これも点列概念の不十分さを解消する上で一役買っている。 点列概念から可算性を取り除くもう一つの方法として、1937年にアンリ・カルタンによって生み出されたフィルターの概念が知られているが、実はフィルターの概念は収束という観点から見た場合には有向点族の概念と実質的に同値である事が知られている。 https://en.wikipedia.org/wiki/Net_(mathematics) Net (mathematics) http://rio2016.5ch.net/test/read.cgi/math/1592578498/110
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.032s