超フィルター

数学において、超フィルター（ちょうフィルター、）または極大フィルター（きょくだいフィルター、）とは順序集合上で定義されたフィルターの中で極大なものをいう。特にブール代数上では超フィルターはに一致する。 
超フィルターは位相空間論や集合論における最も基本的な概念の一つであり、また多くの分野に応用を持っている。
冪集合は包含関係で自然に順序集合となる。 集合 の冪集合 上の超フィルターは単に 上の超フィルターとも呼ばれる。 上の超フィルターは 上ですべての集合に対して定義された非自明な二値有限加法的測度と同一視することが出来る。この時 上の集合は測度の意味で殆ど全体（測度が ）か殆ど元を含まない（測度が ）のいずれかに分けられる。

 定義と存在 
 を順序集合とし を の部分集合とする。
 この時、以下の3つの条件を満たすとき をフィルターという。
 。
 任意の に対し、ある が存在して、 かつ が成り立つ。
 任意の について「 ならば 」が成り立つ。
更にフィルター が の真部分集合のとき真のフィルターという。極大な真のフィルターを超フィルターという。つまり
 上の真のフィルター が次を満たすとき超フィルターという。
 を部分集合に含む 上の真のフィルター は 自身ただひとつ。

以下順序集合 上の超フィルター全体を と書く。
存在
 を最小元 を持った順序集合、 を 上の有限交叉族とする。このとき を含む超フィルターが存在する。
実際 を 上の有限交叉族としたとき、（ 上のフィルターが真のフィルターとなる必要十分条件は を含まないことから、） を含む真のフィルター全体は包含関係で帰納的順序集合となる。この集合族はツォルンの補題から極大元を持つ。この極大元は を含む超フィルターである。

任意のブール代数上での（勝手な有限交叉族を含む）超フィルターの存在はブールの素イデアル定理と呼ばれ、ZF集合論では証明できず、選択公理を弱めた原理であることが知られている。

 ブール代数上の超フィルター 
 を最小元 を持った束、 を 上の真のフィルターとする。このとき が超フィルターとなることと次が同値。
 ならば、ある が有って、。
更に、 がブール代数のとき、以下ふたつの条件も超フィルターであることとそれぞれ同値である。
 ならば、 または （素フィルター）。
 ならば、 または 。

 をブール代数、 をブール代数の準同型、 を 上の超フィルターとする。 の による逆像 ）は 上の超フィルターとなる。ブール代数 に空間 を、準同型 に写像 を対応させる対応はブール代数の圏から位相空間の圏への関手を与える（詳しくはストーンの表現定理を参照）。

逆にブール代数 上に超フィルター が与えられたとき、 を

と定義すると、 はブール代数間の準同型となる。このことから の超フィルター全体 と への準同型全体 は自然に同一視出来る。

 部分束と超フィルター 
 を最小元を持った束 の部分束とする。このとき 上の超フィルターは 上の超フィルターに拡張できる。さらに拡張した超フィルターの制限は元に一致する。つまり 上の超フィルターは 上の超フィルターの制限と見なせる。更に、 上の超フィルターの への制限は空集合であるか、全体か、超フィルターのいずれかになる。

 をブール代数、 をそれぞれの部分束、 をブール代数の準同型とする。このとき、 とすると、 ならば 。

 例と性質 
 全順序集合は超フィルターを持つのは最小元を持つときに限り、そのとき最小元を とすると唯一の超フィルターは と表せる。
 最小元 を持った束 の元 が原子元（つまり の極小元）のとき で生成される単項フィルター が超フィルターになる（束では単項フィルターが超フィルターになるのはこの時に限る）。
 無限集合 の補有限部分集合全体 は最小元を持たない分配束となる。 を の超フィルターとするとある が存在して、 とかける。これは 上の単項フィルターではない。

 冪集合上の超フィルター 
以下、集合 の冪集合 上のフィルターを単に 上のフィルターといい、誤解の恐れがないとき 上の超フィルター全体からなる集合族 を 単に と書く。以下特に断りがない限りフィルターは集合族上のフィルターのみ考える。

 としたとき、以下のいずれか片方を満たす。
 ある が有って は で生成される単項フィルター（）。
 が の有限部分集合ならば 。
二番目は自由な()超フィルター（または非単項()超フィルター）と呼ばれる非常に重要な超フィルターのクラスである。

 のとき、前項で定義したブール代数間の準同型 は 全体で定義された 上の非自明な（）二値有限加法的測度となる。

集合 間の写像 に対し、 を （）とする。このとき、 はブール代数の間の準同型なので、 のとき、（）は 上の超フィルターである。
このとき、 はストーンチェックコンパクト化による の拡張である（ただし ）。
このとき はコンパクトハウスドルフ空間の圏 から集合の圏 への忘却関手の左随伴関手になっている（詳しくはコンパクト化を参照）。
基本性質
 が有限集合のとき が自由な超フィルターだとすると より矛盾するので、有限集合上には単項フィルターしか存在しない。 
無限集合 の補有限部分集合全体 は真のフィルターとなりフレシェ () フィルターと呼ばれる。超フィルターが自由なこととフレシェフィルターを含むことが同値。
無限集合 の超フィルター全体 の濃度は、 の冪集合 の濃度と等しくなる（これはフィルター全体や自由な超フィルター全体の濃度とも等しい）。
無限集合 無限基数 にたいし、 上の集合族 は真のフィルターとなり（特に のとき）一般化されたフレシェ () フィルターと呼ばれる。 上の超フィルターが -一様なことと、 を含むことが同値。

 諸概念 
ノルム
フィルター に対し、 をフィルター のノルムという
。
前小項の記述から超フィルターのノルムは単項フィルターについては1、自由な超フィルターについては無限基数となることが分かる。
一様
無限基数 と について、 となるとき は -一様 (-)な超フィルターだという、特に のとき、単に は一様な超フィルターだという。
完備
無限基数 とフィルター について ならば 　が成立するとき、 は -完備(-)だという。-完備のことを -完備ともよぶ。
U ∈ Ult(X ) について以下2つの条件は互いに同値（フィルターは常に -完備なことに注意）。
 は -完備。
 ならば 
-完備のことを -完備または可算完備とも言う。
善良
性質
自由な超フィルター が -完備ならば は -一様になる。
自由な超フィルター が可算完備ならば はウラム可測基数、-完備ならば はとなる。

 フィルターの積 
 をそれぞれ 上の超フィルターとする。このとき 上のフィルター , を以下のように定義する。
 
 
 は の各要素の直積からなるフィルター基から生成されたフィルターである。
以下、 と を集合、 を で定義される成分の入れ替え写像だとする。
基本性質
 （ただし収束はストーン・チェックコンパクト化（） 上での収束。）
 .
 が共に超フィルターならば も超フィルター。
 または が単項フィルターならば . 
 .
 が共に自由な超フィルターで なら 。
 が共に -完備ならば , も -完備。

 ルディン・キースラー順序 
今、超フィルター間の前順序 及び同値関係 を
超フィルター が ある写像 （ただし は の台集合）が存在して となる。
超フィルター が ある と、ある全単射 が存在して となる。
と定義する。これを超フィルターに関するルディン・キースラー順序及びルディン・キースラー同値という。

じつはルディン・キースラー同値はルディン・キースラー順序によって定義される同値関係と一致する。言い換えると
 
となる。つまりルディン・キースラー順序は超フィルターのルディン・キースラー同値に関する同値類間の順序と思える。
基本性質
 ならば 。
 -完備な超フィルターよりルディン・キースラー順序で小さい超フィルターは再び -完備。
単項超フィルター（からなるルディン・キースラー同値類）はルディン・キースラー順序に関する最小元と成っている。
 ならば 。

位相空間と超フィルター
位相空間 上のフィルター が に収束するとは が の近傍系 の拡張に成っていることをいう。
このとき に収束する 上の超フィルターの共通部分は と一致する。

位相空間 の閉集合全体からなる集合族 は空集合を最小元として持つ束である。よって有限交叉的な閉集合族が与えられたとき 上にその有限交叉族を含む超フィルターが存在する。
 を位相空間 間の連続写像、 を 上の超フィルターとしたとき、 は 上の超フィルターとなる。

 上の超フィルター全体はウォールマンのコンパクト化と呼ばれるコンパクト化を与える。これ以外にも位相空間上の様々な集合族に各種の順序を与えるた順序集合上の超フィルターを考えることで各種のコンパクト化が構成できる。

基本性質
位相空間の間の写像 が連続 超フィルター が に収束するならば は に収束する。
位相空間がハウスドルフ 各超フィルターの収束先は高々一つ。
位相空間がコンパクト 超フィルターは必ず収束する 上の超フィルターの共通部分は空でない。
一様空間が全有界 超フィルターは必ずコーシーフィルターとなる。

 超積と超準モデル 
 を無限集合、 を 上の自由な超フィルター、 をある構造に関する で添字付けられたモデルの族とする。このとき、 を同値関係
 
で割った商空間 上には自然に構造が入る。これを超積という。
これは を 上の測度と同一視して見たとき、殆どいたるところ一致する元を同一視した空間である。

特に が常に一つのモデル を取るとき、 とかき の超フィルター による超冪とよばれる。このとき は の初等拡大になっている。特に がある構造に関する標準モデル（）のとき、 はその構造に関する超準モデル（）となっている。例えば実数の超準モデルである超実数は実数と様々な性質を共有し実数上の関係や関数は超実数上の関係や関数として自然に拡張できるが完備性などの様々な重要な性質については異なっている。（超積、算術の超準モデル等を参照）

応用

 代数学 

 幾何学 
 を無限集合、U を 上の自由な超フィルター、 を で添字付けられた基点付き距離空間の族とする。このとき超積 上に同値関係
 （ただし はもとの距離から定まる超積上の（超実数に値を持つ）距離、 は超実数の標準成分）
を定義したとき
 
を の による（）という（ただし、 であり、 を距離とする）。

特に基点付き距離空間 に対し、（ただし添字集合 を自然数全体 とする）としたとき、 を の（）という。
基本性質
距離空間の超極限は完備距離空間
弧長距離空間（）の超極限は弧長距離空間
測地距離空間の超極限は測地距離空間

 解析学 
超実数を利用した微分方程式と差分方程式の対応は微分方程式論の研究やトロピカル幾何に応用されている。
それ以外にも超積を利用した方法は解析学の様々な分野に応用されている（超準解析参照）。

 組合せ論 
組合せ論の中で特に大きい分野の一つであるラムゼー理論の中心的定理、ラムゼーの定理 はある集合上に与えられた一件無秩序な構造にたいし、十分大きく等質な部分集合が取れることを表している。以下のラムゼーフィルターはこの大きさを表すものとみなすことが出来る。
以下 を無限集合 を 上の自由な超フィルターとする。このとき
 がラムゼーとは、 の二元集合上の関数 が与えられたとき、「ある が存在して、 または 」となること。
 が -一様選抜的（）とは、 の任意の の分割 が与えられたとき、「 が存在して かつ であるかさもなくば、ある が存在して、任意の に対し、」となること。
 がP-点 とは、 の任意の可算分割 が与えられたとき、「 であるかさもなくば、ある が存在して、任意の に対し、」となること。
ただし、 が互いに素な集合からなる集合族でその合併が と一致するとき の分割といい、 とする。
特に が -一様選抜的なとき単に選抜的といい、-一様選抜的なとき一様選抜的という。

無限グラフとその頂点集合上のラムゼーフィルター を固定する。このとき有限色の辺彩色が任意に与えられれば、彩色に関する等質集合を の元に取れる。これがラムゼーという呼び名の由来である。

このP-点の定義は 上の位相的なP-点の定義と一致する。明らかに選抜的ならP-点である。
ウォルター・ルーディンは連続体仮説から可算集合上のラムゼーフィルターの存在を証明している。更にマーティンの公理を始めとする様々な仮定からラムゼーフィルターの存在は証明されている。逆にサハロン・シェラハはP-pointの存在がZFCから示せないことを証明した。以上からこれらの存在はZFCから独立であることが分かる。

このようなフィルターの性質は「無限の組合せ論」等と呼ばれる集合論の分野の一部をなし、集合論的な議論の基礎をなしている。

基本性質
自由な超フィルターがラムゼーであることと選抜的であることは同値。
自由な超フィルターが選抜的であることと、自由な超フィルター全体のルディン・キースラー順序に関する極小元であることが同値。
自由な超フィルターが -一様選抜的であることと、-一様で自由な超フィルター全体のルディン・キースラー順序に関する極小元であることが同値。

 数学以外 
アローの不可能性定理
社会選択理論において、超フィルターは、無限人の選好を集計するための (社会厚生関数とよばれる) 集計ルールを構築するために用いられる。
具体的には構成員からなる無限集合を 、選択肢の集合を とし、 上のフィルター を固定し、各人の選好 としたとき、 による被約積によって構成された選好 は半順序となる。特に が超フィルターのときは全順序となる。この集計ルールが普遍性、全会一致性、独立性を満たすのは構成から直ちに従う。非独裁性が成り立つのは超フィルター が自由になるちょうどその時である。
以上より、有限人ケースに対する有名なアローの不可能性定理の述べるところと異なり、そのような集計ルールは、アローが提示した条件 (公理) をすべて満たす。
しかしながら、そのような集計ルールを計算するようなアルゴリズムは存在しないため、それらの集計ルールの実用的な意味合いは乏しいことが指摘されており、アローの不可能性定理をかえって強化する結果となっている。