跳至內容

濾子 (數學)

維基百科,自由的百科全書
集合{1,2,3,4}的冪集格。其中,上閉集合 ↑{1,4}被塗成深綠色。它是一個主濾子,但不是一個超濾子,因為它能夠通過增加淺綠色元素而擴展為一個非平凡的濾子↑{1}。而由於↑{1} 無法再被進一步擴展,它是一個超濾子

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

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

定義

[編輯]

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

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

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

相關概念和結論

[編輯]

真濾子

[編輯]

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

主濾子及其主元素

[編輯]

包含給定元素的最小的濾子是主濾子稱為該濾子的主元素的主濾子是:給出,並記為

理想

[編輯]

濾子的序對偶(交換≥和≤,∧和∨)概念是理想; 由於濾子和理想在概念上的序對偶性,關於濾子的討論通常可以與理想的討論相關聯。關於濾子的其它信息(如極大濾子素濾子)參見理想。關於超濾子有專門的條目。

格中的濾子

[編輯]

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

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

即,對於所有在F中的xyxy也在F中。

集合上的濾子

[編輯]

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

  1. SFF非空)
  2. ∅ ∉ FF為真子集)
  3. AFBF,則ABFF對有限封閉)
  4. AFAB,則BF中,對於所有BS。(F上閉集合

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

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

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

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

如果BC是在S上的兩個濾子基,要說C 細於(finer than)B(或者CB的精細),意味着對於每個B0B,有一個C0C使得C0B0

  • 對於濾子基BC,如果B細於CC細於B,則BC被稱為等價濾子基
  • 對於濾子基A, BC,如果A細於BB細於C,則A細於C

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

例子

[編輯]
  • 最簡單的濾子的例子是包括S的一個特定非空子集CS的所有子集的集合。這種濾子叫做 C生成的主濾子
  • 在無限集合SFrechet濾子S的有有限補元的所有子集的集合。
  • 集合被叫做自然數序列的尾濾子基。尾濾子基由任何使用構造得到。所以,所有的網都生成一個濾子基(並因此是濾子)。因為所有序列都是網,這對所有序列也成立。

在模型論中濾子

[編輯]

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

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

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

在拓撲學中的濾子

[編輯]

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

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

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

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

鄰域基

[編輯]

選取拓撲空間T和一個點xT

  • 選取Nx是在T的點x上的鄰域濾子。這意味着Nx是點x的所有拓撲鄰域的集合。可以驗證Nx是個濾子。鄰域系統鄰域濾子的另一個名字。
  • 要說N是在Tx上的鄰域基,就意味着對於所有V0Nx,存在N0N使得N0V0。注意所有鄰域基都是濾子基。

收斂濾子基

[編輯]

選取拓撲空間T和一個點xT

  • 要說濾子基B 收斂x,指示為Bx,就意味着對於所有x的鄰域U,有B0B使得B0U。在這種情況下,x叫做B極限點B叫做收斂濾子基。注意這裡用的術語「極限點」是「極限」概念到濾子基的推廣;在某些上下文中,術語「極限點」用於下面解說的簇點,並以此區別於術語「極限」。
    • 對於所有x的鄰域基N,有Nx
    • 如果Np的鄰域基而C是在T上的濾子基,則Cx 當且僅當C細於N
    • 對於XT,要說pXT中極限點,就意味着對於T中的p的每個鄰域U,有U∩(A - {p})≠∅。
    • 對於XTpXT中的極限點,當且僅當存在在A - {p}上的濾子基B使得Bp

聚集

[編輯]

選取拓撲空間T和點xT

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

拓撲空間的性質

[編輯]

選取拓撲空間T

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

拓撲空間上的函數

[編輯]

選取拓撲空間XY和子集EX。選取E上的濾子基B和函數Bf下的f[B]是集合。像f[B]形成了在Y上的濾子基。

  • f 連續x,當且僅當蘊涵

度量空間

[編輯]

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

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

一致空間中的濾子

[編輯]

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

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

引用

[編輯]
  • Cartan, H. (1937) "Thèorie des filtres". CR Acad. Paris, 205, 595–598.
  • Cartan, H. (1937) "Filtres et ultrafiltres" CR Acad. Paris, 205, 777–779.

A monograph available free online:

參見

[編輯]