濾子與濾子圖

史艷維，姚　杰

(西安培華學院通識教育中心，陜西 西安 710125)

濾子與濾子圖

史艷維，姚杰

(西安培華學院通識教育中心，陜西 西安 710125)

[摘要]討論了有限集合上濾子與濾子圖的性質.證明了有限集合上的濾子都是主濾子，并得到其基數的計算公式；通過給出濾子的后繼定義了濾子圖，討論了濾子圖的性質，進而繪制出了濾子圖.

[關鍵詞]濾子；主濾子；后繼；濾子圖

1937年法國布爾巴津學派的創始人之一Carten在研究拓撲空間中的Moore-Smith收斂理論時，提出了濾子的概念.作為網的概念的替代，濾子揭示了收斂理論中更加豐富的特征和屬性.一般說來，濾子是偏序集合的一類特殊子集，通常考慮的是某個集合的冪集在集合包含關系下所得偏序集合的一類特殊子集，濾子不僅在拓撲學理論中得到充分發展，而且在模型理論、非標準分析理論、格論等數學其他分支中也得到了廣泛的應用.[1-10]

本文主要討論了有限集合上濾子和濾子圖的性質，這為濾子理論與圖論的結合發展提供了一種嘗試.首先，證明了有限集合上的濾子都是主濾子，并且得到其基數的計算公式；其次，通過給出濾子的后繼定義了濾子圖；最后，討論了濾子圖的性質，進而繪制出了濾子圖.

1有限集合上的濾子

定義1設x是非空集合，2x是x的冪集(即x的全體子集之族).F?2x，若F滿足以下條件：

(1)x∈F，??F；

(2)若A，b∈F，則A∩b∈F；

(3)若A∈F，且A?b∈2x，則b∈F.

那么稱F是x上的一個濾子，并記x上的全體濾子族為F(x).

例1對于任意的A∈2x，A≠?，令F(A)={b∈2x|A?b}，則F(A)是x上的一個濾子，這是因為:

(ⅰ)由于A∈2x，且A≠?，則顯然x∈F(A)，??F(A);

(ⅱ)若b，C∈F(A)，則A?b，A?C，于是A?b∩C，從而b∩C∈F(A);

(ⅲ)若b∈F(A)，且b?C，則A?b?C，于是C∈F(A).

稱此濾子為由A生成的主濾子，集合A稱為主濾子F(A)的生成集.

例2設x是無限集.令Fx={A∈2x|x-A是有限集}，容易驗證Fx是x上的一個濾子.顯然Fx不是x上的主濾子.

引理1設A，b∈2x.則A?b，當且僅當F(A)?F(b).進而，A=b，當且僅當F(A)=F(b).

證明對于任意的f∈F(b)，f?b?A，于是f∈F(A).反之，因為b∈F(b)，而F(b)?F(A)，所以b∈F(A)，從而A?b.

可見，主濾子完全由生成集所決定.由例2可知，在無限集上存在非主濾子，但在有限集合上，這是不可能的.

定理1設x是有限集.則F∈F(x)，當且僅當存在A∈2x且A≠?，使得F=F(A).

證明充分性由例1可得，下證必要性.若F是x上的一個濾子，由于x是有限集，則F是2x的有限子集，于是∩F=∩{f∈2x|f∈F}∈F，從而∩F≠?，且對于任意的f∈F，∩F?f，即F=F(∩F).

2濾子圖

定義2設F(A)，F(b)∈F(x)，且滿足以下條件：

(2)對于任意的F(C)∈F(x)，F(A)F(C)F(b)不成立.

則稱F(b)是F(A)的后繼.

證明由定義2和引理1可得F(b)是F(A)的后繼，當且僅當F(A)F(b)且對于任意的F(C)∈F(x)，F(A)F(C)F(b)不成立，當且僅當Ab且對于任意的C∈2x，ACb不成立，當且僅當Ab且.

考慮有限集x上的濾子圖g=(v，f)，其中v=F(x)，映射f:v→2v為后繼映射，即對于任意的F(b)∈f(F(A))當且僅當F(b)是F(A)的后繼.

關于濾子圖，可以得到如下結論.

(1)g分為n層；

(4)第i(i=1，2，…，n-1)層中每個頂點的出度為n-i+1，第i(i=2，…，n)層中每個頂點入度為i-1.

證明(1)由定理2可知F(b)是F(A)的后繼，當且僅當Ab且=1，于是兩個濾子具有相同基數的生成集當且僅當它們在同一層，而=n，從而g分為n層；

推論2在濾子圖g=(v，f)中，F(A)∈F(x)是起點，當且僅當A=x；F(A)是終點，當且僅當A={x}(x∈x).換句話說，F∈F(x)是起點，當且僅當F是x上的最小濾子；F是終點，當且僅當F是x上的主超濾子.

結合定理3中濾子圖的性質，可以畫出n=2，3，4，5，6時的濾子圖，見圖1—2.

圖1　n=2，3，4時的濾子圖

圖2　n=5，6時的濾子圖

[參考文獻]

[1]BOURBAKI N.General topology[M].Paris：Addison-Wesley，1951：121-153.

[2]江輝有.拓撲學[M].北京：機械工業出版社，2013：102-117.

[3]馬克.模型論引論[M].北京：科學出版社，2007：33-48.

[4]MARTIN DAVIS.Applied nonstandard analysis[M].New York：Oversea Publishing House，2005：6-21.

[5]史艷維，馬春暉.Loeb空間的測度同構[J].東北師大學報(自然科學版)，2013，45(4)：28-30.

[6]陳東立，史艷維，董歡歡.向量函數微分的非標準定義[J].東北師大學報(自然科學版)，2015，47(3)：37-39.

[7]馬春暉，李生剛，史艷維.由X上理想族誘導出的*X上的I-拓撲[J].東北師大學報(自然科學版)，2010，42(3)：14-17.

[8]史艷維，馬春暉.由有限核生成的Loeb測度[J].華中師范大學學報(自然科學版)，2013，47(6)：759-762.

[9]史艷維，馬春暉.符號Loeb測度以及符號測度的絕對連續性[J].浙江大學學報(理學版)，2015，42(3)253-255.

[10]李海洋.一般格論基礎[M].西安：西北工業大學出版社，2012：34-41.

(責任編輯：李亞軍)

Filters and graph of filters

SHI Yan-wei，YAO Jie

(Center of General Courses，Xi’an Peihua University，Xi’an 710125，China)

Abstract:The properties of filters and graph of filters，on a finite set，are shown.Firstly，it is proved that all filters，on finite set，are principle，and the formula of its cardinal is obtained.Then，graph of filters is defined by follower of filter.At last，some properties of graph of filters are discussed，and some graph of filters are drawn.

Keywords:filter；principle filter；follower；graph of filters

[文章編號]1000-1832(2016)02-0011-03

[收稿日期]2015-04-02

[基金項目]陜西省自然科學基金資助項目(2007A12)；陜西省教育廳科學研究項目(15JK2093)；西安培華學院校級科研課題(PHKT20150734).

[作者簡介]史艷維(1980—)，女，碩士，講師，主要從事非標準分析理論研究.

[中圖分類號]O 144[學科代碼]110·41

[文獻標志碼]A

[DOI]10.16163/j.cnki.22-1123/n.2016.02.003