超フィルター
数学において、超フィルター（ちょうフィルター、）または極大フィルター（きょくだいフィルター、）とは順序集合上で定義されたフィルターの中で極大なものをいう。特にブール代数上では超フィルターはに一致する。 
超フィルターは位相空間論や集合論における最も基本的な概念の一つであり、また多くの分野に応用を持っている。
冪集合は包含関係で自然に順序集合となる。 集合 の冪集合 上の超フィルターは単に 上の超フィルターとも呼ばれる。 上の超フィルターは 上ですべての集合に対して定義された非自明な二値有限加法的測度と同一視することが出来る。この時 上の集合は測度の意味で殆ど全体（測度が ）か殆ど元を含まない（測度が ）のいずれかに分けられる。
を順序集合 を の部分集合とする。
更にフィルター が の真部分集合のとき真のフィルターという。極大な真のフィルターを超フィルターという。つまり
以下順序集合 上の超フィルター全体を と書く。
 を最小元 を持った順序集合、 を 上の有限交叉族とする。このとき を含む超フィルターが存在する。
実際 を 上の有限交叉族としたとき、（ 上のフィルターが真のフィルターとなる必要十分条件は を含まないことから、） を含む真のフィルター全体は包含関係で帰納的順序集合となる。この集合族はツォルンの補題から極大元を持つ。この極大元は を含む超フィルターである。
任意のブール代数上での（勝手な有限交叉族を含む）超フィルターの存在はBPI定理と呼ばれ、ZF集合論では証明できず、選択公理を弱めた原理であることが知られている。
 を最小元 を持った束、 を 上の真のフィルターとする。このとき が超フィルターとなることと次が同値。
更に、 がブール代数のとき、以下ふたつの条件も超フィルターであることとそれぞれ同値である。
逆にブール代数 上に超フィルター が与えられたとき、 を
と定義すると、 はブール代数間の準同型となる。このことから の超フィルター全体 と への準同型全体 は自然に同一視出来る。
 を最小元を持った束 の部分束とする。このとき 上の超フィルターは 上の超フィルターに拡張できる。さらに拡張した超フィルターの制限は元に一致する。つまり 上の超フィルターは 上の超フィルターの制限と見なせる。更に、 上の超フィルターの への制限は空集合であるか、全体か、超フィルターのいずれかになる。以下、集合 の冪集合 上のフィルターを単に 上のフィルターといい、誤解の恐れがないとき 上の超フィルター全体からなる集合族 を 単に と書く。以下特に断りがない限りフィルターは集合族上のフィルターのみ考える。
二番目は自由な()超フィルター（または非単項()超フィルター）と呼ばれる非常に重要な超フィルターのクラスである。
集合 間の写像 に対し、 を （）とする。このとき、 はブール代数の間の準同型なので、 のとき、（）は 上の超フィルターである。
このとき、 はストーンチェックコンパクト化による の拡張である（ただし ）。
このとき はコンパクトハウスドルフ空間の圏 から集合の圏 への忘却関手の左随伴関手になっている（詳しくはコンパクト化を参照）。
フィルター に対し、 をフィルター のノルムという
前小項の記述から超フィルターのノルムは単項フィルターについては1、自由な超フィルターについては無限基数となることが分かる。
無限基数 と について、 となるとき は -一様 (-)な超フィルターだという、特に のとき、単に は一様な超フィルターだという。
無限基数 とフィルター について formula_2 ならば formula_3　が成立するとき、 は -完備(-)だという。-完備のことを -完備ともよぶ。
"U" ∈ Ult("X" ) について以下2つの条件は互いに同値（フィルターは常に -完備なことに注意）。
-完備のことを -完備または可算完備とも言う。
をそれぞれ 上の超フィルターとする。このとき 上のフィルター , を以下のように定義する。
 は の各要素の直積からなるフィルター基から生成されたフィルターである。
以下、 と を集合、 を で定義される成分の入れ替え写像だとする。
今、超フィルター間の前順序 及び同値関係 を
と定義する。これを超フィルターに関するルディン・キースラー順序及びルディン・キースラー同値という。
じつはルディン・キースラー同値はルディン・キースラー順序によって定義される同値関係と一致する。言い換えると
となる。つまりルディン・キースラー順序は超フィルターのルディン・キースラー同値に関する同値類間の順序と思える。
位相空間 上のフィルター が に収束するとは が の近傍系 の拡張に成っていることをいう。
このとき に収束する 上の超フィルターの共通部分は と一致する。
位相空間 の閉集合全体からなる集合族 は空集合を最小元として持つ束である。よって有限交叉的な閉集合族が与えられたとき 上にその有限交叉族を含む超フィルターが存在する。 を無限集合、 を 上の自由な超フィルター、 をある構造に関する で添字付けられたモデルの族とする。このとき、 を同値関係
で割った商空間 上には自然に構造が入る。これを超積という。
これは を 上の測度と同一視して見たとき、"殆どいたるところ"一致する元を同一視した空間である。
特に が常に一つのモデル を取るとき、 とかき の超フィルター による超冪とよばれる。このとき は の初等拡大になっている。特に がある構造に関する標準モデル（）のとき、 はその構造に関する超準モデル（）となっている。例えば実数の超準モデルである超実数は実数と様々な性質を共有し実数上の関係や関数は超実数上の関係や関数として自然に拡張できるが完備性などの様々な重要な性質については異なっている。（超積、算術の超準モデル等を参照）
を無限集合、"U" を 上の自由な超フィルター、 を で添字付けられた基点付き距離空間の族とする。このとき超積 上に同値関係
を定義したとき
を の による（）という（ただし、 であり、 を距離とする）。
特に基点付き距離空間 に対し、（ただし添字集合 を自然数全体 とする）としたとき、formula_8 を の（）という。
超実数を利用した微分方程式と差分方程式の対応は微分方程式論の研究やトロピカル幾何に応用されている。
それ以外にも超積を利用した方法は解析学の様々な分野に応用されている（超準解析参照）。
組合せ論の中で特に大きい分野の一つであるラムゼー理論の中心的定理、ラムゼーの定理 はある集合上に与えられた一件無秩序な構造にたいし、十分大きく"等質"な部分集合が取れることを表している。以下のラムゼーフィルターはこの"大きさ"を表すものとみなすことが出来る。
以下 を無限集合 を 上の自由な超フィルターとする。このとき
ただし、 が互いに素な集合からなる集合族でその合併が と一致するとき の分割といい、 とする。
特に が -一様選抜的なとき単に選抜的といい、-一様選抜的なとき一様選抜的という。
無限グラフとその頂点集合上のラムゼーフィルター を固定する。このとき有限色の辺彩色が任意に与えられれば、彩色に関する等質集合を の元に取れる。これがラムゼーという呼び名の由来である。
このP-点の定義は 上の位相的なP-点の定義と一致する。明らかに選抜的ならP-点である。
ウォルター・ルーディンは連続体仮説から可算集合上のラムゼーフィルターの存在を証明している。更にマーティンの公理を始めとする様々な仮定からラムゼーフィルターの存在は証明されている。逆にサハロン・シェラハはP-pointの存在がZFCから示せないことを証明した。以上からこれらの存在はZFCから独立であることが分かる。
このようなフィルターの性質は「無限の組合せ論」等と呼ばれる集合論の分野の一部をなし、集合論的な議論の基礎をなしている。社会選択理論において、超フィルターは、無限人の選好を集計するための (社会厚生関数とよばれる) 集計ルールを構築するために用いられる。
具体的には構成員からなる無限集合を 、選択肢の集合を とし、 上のフィルター を固定し、各人の選好 としたとき、 による被約積によって構成された選好 は半順序となる。特に が超フィルターのときは全順序となる。この集計ルールが普遍性、全会一致性、独立性を満たすのは構成から直ちに従う。非独裁性が成り立つのは超フィルター が自由になるちょうどその時である。
以上より、有限人ケースに対する有名なアローの不可能性定理の述べるところと異なり、そのような集計ルールは、アローが提示した条件 (公理) をすべて満たす。
しかしながら、そのような集計ルールを計算するようなアルゴリズムは存在しないため、それらの集計ルールの実用的な意味合いは乏しいことが指摘されており、アローの不可能性定理をかえって強化する結果となっている。