濾子 (數學)

濾子（Filter）在數學中是指偏序集合的特殊子集。是昂利・嘉當在 1937 年發明的並隨後在尼古拉・布林巴基的書《點集拓撲學》中作為對 E. H. 摩爾和 H. L. Smith 在 1922 年發明的網的概念的替代。濾子經常使用的特殊情況是要考慮的有序集合只是某個集合的冪集，並用集合包含來排序。

濾子出現在序理論和格理論中，還可以在它們所起源的拓撲學中找到。濾子的對偶概念是理想。

定義

濾子和濾子基的最一般的形式是定義在一般的偏序集上的。

設 F 是偏序集合 (P,≤) 的子集，若 F 滿足以下條件則其為濾子。

F 非空。
∀x, y ∈ F，∃z ∈ F，使 z ≤ x 且 z ≤ y。(即 F 為濾子基或向下有向的)
F 是上閉的：∀x ∈ F，y ∈ P，x ≤ y ⇒ y ∈ F。

相關概念和結論

2.1 真濾子

偏序集 P 的濾子 F 稱為真濾子，若 F≠P。

2.2 主濾子及其主元素

包含給定元素的最小的濾子是主濾子。稱為該濾子的主元素。的主濾子是：給出，並記為。

2.3 理想

濾子的序對偶（交換≥和≤，∧和∨）概念是理想；

由於濾子和理想在概念上的序對偶性，關於濾子的討論通常可以與理想的討論相關聯。關於濾子的其它資訊（如極大濾子，素濾子) 參見理想。關於超濾子有專門的條目。

格中的濾子

濾子最初只是為格定義的。在這種情況下，濾子可以被特徵化為如下等價陳述：

格 (P,≤) 的非空子集 F 是濾子，當且僅當它是對有限交 (下確界) 運算封閉的上閉集合。

即，對於所有在 F 中的 x，y，x ∧ y 也在 F 中。

集合上的濾子

濾子的一個特殊情況是定義在集合上的濾子。假定一個集合 S，偏序⊆可以透過子集包含定義在冪集 P (S) 上，把 (P (S),⊆) 變成了一個格。定義 S 上的濾子 F 為 P (S) 的有如下性質的子集：

S ∈ F（F 非空）
∅ ∉ F（F 為真子集）
若 A ∈ F 且 B ∈ F，則 A ∩ B ∈ F（F 對有限交封閉）
若 A ∈ F 且 A ⊆ B，則 B ∈ F 中，對於所有 B ⊆ S。（F 是上閉集合）

前三個性質蘊涵了集合上的濾子有有限交集性質。透過這個定義在集合上的濾子是真濾子。為此有時叫做集合上的真濾子；但是，只要集合上下文是明顯的，短名字就足夠了。

濾子基是 P (S) 的帶有如下性質的子集 B：

B 的任何兩個集合的交集包含 B 的一個集合
B 是非空的並且空集不在 B 中

濾子基 B 可以透過把包含 B 的一個集合的 P (S) 的所有集合包括在內而變成 (真) 濾子。所以結果的濾子基經常被稱為是生成或擴張自濾子基 B。所有濾子更加是濾子基，所以經過濾子基到濾子的過程可以被看做某種補全。

如果 B 和 C 是在 S 上的兩個濾子基，要說 C 細於（finer than）B（或者 C 是 B 的精細），意味著對於每個 B0 ∈ B，有一個 C0 ∈ C 使得 C0 ⊆ B0。

對於濾子基 B 和 C，如果 B 細於 C 且 C 細於 B，則 B 和 C 被稱為等價濾子基。
對於濾子基 A, B 和 C，如果 A 細於 B 且 B 細於 C，則 A 細於 C。

給定 P (S) 的一個子集 T，我們可以問是否存在一個最小的濾子 F 包含 T。這樣一個濾子存在，當且僅當 T 的子集的有限交集是非空的。我們稱 T 為 F 的子基，並稱 F 生成自 T。F 可以透過採納 T 的所有有限交集來構造，它就是 F 的濾子基。

4.1 例子

最簡單的濾子的例子是包括 S 的一個特定非空子集 C 的 S 的所有子集的集合。這種濾子叫做 C 生成的主濾子。
在無限集合 S 上 Frechet 濾子是 S 的有有限補元的所有子集的集合。
在集合 X 上的一致空間是在 X×X 上的濾子。
可以使用 Rasiowa-Sikorski 引理建立在偏序集合內的濾子，這經常用於力迫。
集合被叫做自然數序列的尾濾子基。尾濾子基由任何網使用構造得到。所以，所有的網都生成一個濾子基 (並因此是濾子)。因為所有序列都是網，這對所有序列也成立。

4.2 在模型論中濾子

對於在集合 S 上的任何濾子 F，如下定義的集合函式

是有限可加性的，就是一個 “測度”，如果這個術語更加鬆散的構造的話。所以陳述

可以在某種程度上被認為類似於聲稱 φ“幾乎處處” 成立。在濾子內的成員關係釋義用在模型論的超乘積理論中。

4.3 在拓撲學中的濾子

在拓撲學和數學分析中，濾子被用來定義收斂，類似於序列在度量空間空間中所扮演的角色。

在拓撲學和有關的數學領域中，濾子是網的推廣。網和濾子二者都提供非常一般性的上下文來統一各種極限概念到任意的拓撲空間。

一個序列通常用作為全序集合來索引。因此，在第一可數空間中的極限可以被序列所描述。但是如果，空間不是第一可數的，則必須使用網或濾子。網推廣了序列的概念，透過簡單的要求索引集合是有向集合。濾子可以被認為是從多個網建立的集合。因為，濾子的極限和網的極限二者在概念上同於序列的極限。

使用濾子的好處是很多結果的證明可以不使用選擇公理。

4.3.1 鄰域基

選取拓撲空間 T 和一個點 x ∈ T。

選取 Nx 是在 T 的點 x 上的鄰域濾子。這意味著 Nx 是點 x 的所有拓撲鄰域的集合。可以驗證 Nx 是個濾子。鄰域系統是鄰域濾子的另一個名字。
要說 N 是在 T 的 x 上的鄰域基，就意味著對於所有 V0 ∈ Nx，存在 N0 ∈ N 使得 N0 ⊆ V0。注意所有鄰域基都是濾子基。

4.3.2 收斂濾子基

選取拓撲空間 T 和一個點 x ∈ T。

要說濾子基 B 收斂到 x，指示為 B → x，就意味著對於所有 x 的鄰域 U，有 B0 ∈ B 使得 B0 ⊆ U。在這種情況下，x 叫做 B 的極限點而 B 叫做收斂濾子基。注意這裡用的術語 “極限點” 是 “極限” 概念到濾子基的推廣；在某些上下文中，術語 “極限點” 用於下面解說的簇點，並以此區別於術語 “極限”。
對於所有 x 的鄰域基 N，有 N → x。
如果 N 是 p 的鄰域基而 C 是在 T 上的濾子基，則 C → x 當且僅當 C 細於 N。
對於 X ⊆ T，要說 p 是 X 在 T 中極限點，就意味著對於 T 中的 p 的每個鄰域 U，有 U∩(A - {p})≠∅。
對於 X ⊆ T，p 是 X 在 T 中的極限點，當且僅當存在在 A - {p} 上的濾子基 B 使得 B → p。

4.3.3 聚集

選取拓撲空間 T 和點 x ∈ T。

要說 x 是 B 在 T 上的聚集點，就意味著對於每個 B0 ∈ B 和對於 x 在 T 中的每個鄰域 U，有 B0∩U≠∅。在這種情況下，B 被被稱為聚集於點 x。
對於濾子基 B 使得 B → x，極限點 x 也是聚集點。
對於濾子基 B 有著聚集點 x，x 不必然是極限點。
對於濾子基 B 聚集於點 x，有一個濾子基 C 細於會聚到 x 的濾子基 B。
對於濾子基 B，集合∩{cl (B0) : B0∈B} 是所有 B 的聚集點的集合 (注意：cl (B0) 是 B0 的閉包)。假定 T 是偏序集合。
B 的下極限是 B 的所有聚集點的集合的下確界。
B 的上極限是 B 的所有聚集點的集合的上確界。
B 是收斂濾子基，當且僅當它的下極限和上極限一致；在這種情況下它們所一致於的值是這個濾子基的極限。

4.3.4 拓撲空間的性質

選取拓撲空間 T。

T 是豪斯多夫空間，當且僅當對於所有在 T 上的濾子基 B，B→p 並且 B→q 蘊涵 p=q（就是說，所有濾子（基）有最多一個極限點）。
T 是緊緻空間，當且僅當所有在 X 上的濾子基聚集。
T 是緊緻空間，當且僅當所有在 X 上的濾子基是收斂濾子基的子集。
T 是緊緻空間，當且僅當所有在 X 上的超濾子會聚。

4.3.5 拓撲空間上的函式

選取拓撲空間 X 和 Y 和子集 E ⊆ X。選取 E 上的濾子基 B 和函式。B 在 f 下的像 fB 是集合。像 fB 形成了在 Y 上的濾子基。

f 連續於 x，當且僅當蘊涵。

4.3.6 度量空間

選取度量空間 X 帶有度量 d。

要說濾子基 B 在 X 上是柯西的，就意味著對於每個實數 ε>0，有 B0 ∈ B 使得 B0 的度量直徑小於 ε。
選取 (xn) 是度量空間 X 中的序列。(xn) 是柯西序列，當且僅當形如 {{xn,xn+1,...} : n ∈ {1,2,3,...} } 的濾子基是柯西的。

4.4 一致空間中的濾子

給定一致空間 X，在 X 上的濾子 F 被稱為柯西濾子，如果對於所有周圍（entourage）U，有著帶有對於所有。在度量空間中，這選取形式 F 為柯西的，如果對於所有。X 被稱為是完備的，如果所有柯西濾子會聚。反過來說，在一致空間上所有收斂濾子是柯西濾子。此外，所有柯西濾子的聚集點是極限點。

緊緻一致空間是完備的：在緊緻空間中每個濾子都有聚集點，並且如果濾子是柯西的，這種聚集點就是極限點。進一步的，一致空間是緊緻的當且僅當它是完備的和完全有界的。