超極限

在自然數集${\displaystyle \mathbb {N} }$上的超濾子ω，是一個有限可加的集合函數（可視為有限可加測度）${\displaystyle \omega :2^{\mathbb {N} }\to \{0,1\}}$，從自然數集的冪集${\displaystyle 2^{\mathbb {N} }}$映射到集合{0,1}上，使得${\displaystyle \omega (\mathbb {N} )=1}$。一個在${\displaystyle \mathbb {N} }$上的超濾子ω 稱為非主要的，若對所有有限子集${\displaystyle F\subseteq \mathbb {N} }$， 都有ω(F)=0。

設ω是${\displaystyle \mathbb {N} }$上的非主要超濾子。 若${\displaystyle (x_{n})_{n\in \mathbb {N} }}$是度量空間(X,d)上的點序列，x∈ X，稱x是x_n的ω -極限，記為${\displaystyle x=\lim _{\omega }x_{n}}$，若對所有${\displaystyle \epsilon >0}$都有

${\displaystyle \omega \{n:d(x_{n},x)\leq \epsilon \}=1.}$

不難看出：

• 若一個點序列的ω-極限存在，則是唯一的。
• 若在標準意義下${\displaystyle x=\lim _{n\to \infty }x_{n}}$，則${\displaystyle x=\lim _{\omega }x_{n}}$。（這性質成立，關鍵在超濾子是非主要的。）

若(X,d)緊緻，則每個點序列都存在ω-極限。故此，實數的有界序列都存在ω-極限。

設ω是在${\displaystyle \mathbb {N} }$上的非主要超濾子。設 (X_n,d_n) 是度量空間，有基點p_n∈X_n。

考慮序列${\displaystyle (x_{n})_{n\in \mathbb {N} }}$，其中x_n∈X_n。這個序列稱為容許的，若實數序列(d_n(x_n,p_n))_n有界，也就是存在正實數C，使得${\displaystyle d_{n}(x_{n},p_{n})\leq C}$。記容許序列的集合為${\displaystyle {\mathcal {A}}}$。

由三角不等式可知對兩個容許序列${\displaystyle \mathbf {x} =(x_{n})_{n\in \mathbb {N} }}$及${\displaystyle \mathbf {y} =(y_{n})_{n\in \mathbb {N} }}$，序列(d_n(x_n,y_n))_n有界，因此存在ω-極限${\displaystyle {\hat {d}}_{\infty }(\mathbf {x} ,\mathbf {y} ):=\lim _{\omega }d_{n}(x_{n},y_{n})}$。在${\displaystyle {\mathcal {A}}}$中定義關係${\displaystyle \sim }$如下：對${\displaystyle \mathbf {x} ,\mathbf {y} \in {\mathcal {A}}}$，每當${\displaystyle {\hat {d}}_{\infty }(\mathbf {x} ,\mathbf {y} )=0}$時便有 解析失败 (SVG（MathML可通过浏览器插件启用）：从服务器“http://localhost:6011/zh.wikipedia.org/v1/”返回无效的响应（“Math extension cannot connect to Restbase.”）：): {\displaystyle \mathbf x\sim\mathbf y} 。易知${\displaystyle \sim }$ 是等價關係。

序列(X_n,d_n, p_n)關於ω的超極限是一個度量空間${\displaystyle (X_{\infty },d_{\infty })}$，定義如下。[1]

作為集合，有${\displaystyle X_{\infty }={\mathcal {A}}/{\sim }}$。

對兩個容許序列${\displaystyle \mathbf {x} =(x_{n})_{n\in \mathbb {N} }}$及${\displaystyle \mathbf {y} =(y_{n})_{n\in \mathbb {N} }}$的${\displaystyle \sim }$等價類${\displaystyle [\mathbf {x} ],[\mathbf {y} ]}$，定義${\displaystyle d_{\infty }([\mathbf {x} ],[\mathbf {y} ]):={\hat {d}}_{\infty }(\mathbf {x} ,\mathbf {y} )=\lim _{\omega }d_{n}(x_{n},y_{n}).}$

不難看到${\displaystyle d_{\infty }}$有良好定義，且為 ${\displaystyle X_{\infty }}$上的度量。

記${\displaystyle (X_{\infty },d_{\infty })=\lim _{\omega }(X_{n},d_{n},p_{n})}$。