胡星宇

（北京工業(yè)大學(xué) 理學(xué)部，北京 100124）

拓?fù)淇臻g中的序列收斂是數(shù)學(xué)里面的一個(gè)基礎(chǔ)和重要的概念。此外序列的通常收斂、統(tǒng)計(jì)收斂、理想收斂甚至是G-收斂近些年吸引了大量學(xué)者的關(guān)注［1-3］。理想收斂是一種特殊的序列收斂，最早是在2000 年Kostyrko［4］首先對(duì)它進(jìn)行了研究，通過使用正整數(shù)的理想子集的概念給出了統(tǒng)計(jì)收斂的兩個(gè)很有趣的一般化結(jié)論，把它命名為I 和I*-收斂，并且在度量空間中研究了I 和I*-收斂的一些性質(zhì)。隨后在2004 年，Lahiri 等［5］在拓?fù)淇臻g中討論了I 和I*-收斂的一些性質(zhì)。通常情況下，拓?fù)淇臻g的拓?fù)湫再|(zhì)一般不由空間中的序列收斂決定，這導(dǎo)致了人們考慮網(wǎng)的收斂。2019 年，周先耕［6］介紹了被I-收斂決定性質(zhì)的幾種不同類型的拓?fù)淇臻g，并且研究了它們的性質(zhì)。更多關(guān)于I 和I*-收斂的一些結(jié)論可以在文獻(xiàn)［7-14］中找到。在一般拓?fù)淇臻g中，有許多由序列收斂定義的典型空間是第一可數(shù)空間，比方說Fréchet-Urysohn空間、序列空間［15-16］。在統(tǒng)計(jì)收斂和I-收斂的意義下，統(tǒng)計(jì)Fréchet-Urysohn空間和I-Fréchet-Urysohn空間、統(tǒng)計(jì)序列空間和I-序列空間在文獻(xiàn)［2，17-19］中被廣泛討論。近些年，理想收斂已經(jīng)變成一般拓?fù)鋵W(xué)和集合論上的一個(gè)熱點(diǎn)問題［11，20-22］。2021 年，林壽在文獻(xiàn)［23］的基礎(chǔ)上繼續(xù)研究理想收斂，在開集和I-開集之間給出了Isn-開集的概念，并且在此基礎(chǔ)上給出了I-領(lǐng)域空間、Isn-開拓?fù)淇臻g、I-連續(xù)、Isn-連續(xù)、I-商映射、Isn-商映射的定義，并且結(jié)合文獻(xiàn)［18］給出的I-序列空間概念，在一起總的討論了它們彼此的關(guān)系和性質(zhì)。

本文在文獻(xiàn)［23］的基礎(chǔ)上提出了Isn-I-Fréchet-Urysohn空間的概念，并且結(jié)合文獻(xiàn)［24］中引入的Isn-序列空間的概念，討論它們之間的關(guān)系和一些相關(guān)性質(zhì)，比如遺傳性、連續(xù)性等。最后討論了這些空間和理想收斂中其他空間之間的關(guān)系。

1 基本概念

定義1［23］令I(lǐng) 是N 的子集構(gòu)成的集族，考慮以下條件：

（1）如果A，B∈I，那么A∪B∈I；

（2）如果B?A∈I，那么B∈I；

（4）I 是N 的一個(gè)覆蓋。

集族I 被稱作N 上的一個(gè)理想如果它滿足條件（1）和（2）；I 被稱作N 上非平凡理想如果它滿足條件（1）～（3）；I 被稱作N 上的一個(gè)admissible 理想如果它滿足條件（1）～（4）。此文的理想都是admissible理想。

定義2［23］令I(lǐng) 是N 上的一個(gè)理想，并且X 是一個(gè)拓?fù)淇臻g。對(duì)于X 中的一個(gè)序列｛xn｝，如果對(duì)于x的任意一個(gè)領(lǐng)域U 有｛n∈N：xnU｝∈I，那么稱｛xn｝I-收斂于點(diǎn)x，記做。

定義3［23］N 上的所有有限子集構(gòu)成的集族記做Ifin，那么Ifin是最小的非平凡理想包含在每個(gè)admissible 理想中，此時(shí)X 上的I-收斂和X 上通常的序列收斂是一樣的，為了表述簡(jiǎn)潔，如果沒有特殊提示，本文使用I 去表示N 上的一個(gè)admissible 理想，并且用Ifin表示N 上的一個(gè)最小理想，它是N 上所有有限子集構(gòu)成的集族。

定義4［23］令X 是拓?fù)淇臻g，并且P?X。X 中的序列｛xn｝被稱作I-終于P 如果｛n∈N：xnP｝∈I；對(duì)于任意x∈X，集合P 被稱作x 的一個(gè)I-序列領(lǐng)域如果每個(gè)I-收斂于x 的序列都I-終于P；集合P被稱作是X 的Isn-開集如果對(duì)于每個(gè)x∈P，P 是x 的I-序列領(lǐng)域。集合P 被稱作是X 的Isn-閉集如果XP 是X 的Isn-開集。集合P 被稱作是X 的I-閉集如果當(dāng)P 中的序列，x∈P 成立；集合P 被稱作是X 的I-開集如果XP 是I-閉集。

定義5［23］考慮下面拓?fù)淇臻gX 和X 的子集A 的條件：

（1）A 是X 的一個(gè)開集；

（2）A 是X 的一個(gè)Isn-開集；

（3）A 是X 的一個(gè)I-開集；

（5）A 是X 的一個(gè)序列開集。

有（1）?（2）?（3）?（4）?（5）成立。

定義6［23］拓?fù)淇臻gX 被稱作是一個(gè)I-FU 空間如果對(duì)于每一個(gè)A?X 和x∈，那么在A 中一定存在一個(gè)序列｛xn｝滿足在X 中。從文獻(xiàn)［3］可知每個(gè)第一可數(shù)空間是I-FU 空間并且每個(gè)I-FU空間是I-序列空間。

如果I=Ifin，那么一個(gè)點(diǎn)的I-序列領(lǐng)域被稱作是這個(gè)點(diǎn)的序列領(lǐng)域，此時(shí)Isn-開集、Isn-閉集、I-開集、I-閉集和I-序列空間被稱作是sn-開集、sn-閉集、序列開集、序列閉集和序列空間，根據(jù)文獻(xiàn)［23］有下列結(jié)論成立。

定義7［23］下列稱述成立：

（1）序列開集和sn 開集在拓?fù)淇臻g中是一致的；

（2）每個(gè)序列空間都是一個(gè)I-序列空間。

沿用文獻(xiàn)［23］中的記號(hào)，令：［A］Is=｛x∈X：在A 中存在一個(gè)序列｛xn｝滿足｝，=｛x∈X：在XA 中不存在序列｛xn｝滿足。=｛x∈X：如果U 是x 的一個(gè)I-序列領(lǐng)域，那么U∩A≠?｝，=｛x∈X：A 是x 的一個(gè)I-序列領(lǐng)域｝。

很容易知道集合A 被稱作是X 中的一個(gè)I-閉集當(dāng)且僅當(dāng) A=，并且集合A 被稱作是X 中的一個(gè)I-開集當(dāng)且僅當(dāng) A=。集合A 被稱作是X 中的一個(gè)Isn-閉集當(dāng)且僅當(dāng) A=，并且集合A被稱作是X 中的一個(gè)Isn-開集當(dāng)且僅當(dāng) A=。

定義8［23］令X，Y 是拓?fù)淇臻g。給定一個(gè)映射f：X→Y，則：

（1）f 被稱作是一個(gè)I-連續(xù)如果U 是Y 的一個(gè)I-開集，那么f-1（U）是X 的一個(gè)I-開集；

（2）f 被稱作是一個(gè)Isn-連續(xù)如果U 是Y 的一個(gè)Isn-開集，那么f-1（U）是X 的一個(gè)Isn-開集；

（3）f 被稱作是保持I-收斂映射，如果對(duì)于X 中的每個(gè)滿足的序列｛xn｝，Y 中的序列｛f（xn）｝都I-收斂到f（x）。

定義9［23］令X，Y 是拓?fù)淇臻g，并且映射f：X→Y 是一個(gè)滿射，則：

（1）f 被稱作是一個(gè)商映射（I-商映射）如果對(duì)于每個(gè)U?Y，集合f-1（U）是X 的開集（I-開集）當(dāng)且僅當(dāng)U 是Y 的一個(gè)開集（I-開集），在這里空間Y 被稱作是映射f 和理想I生成的一個(gè)商空間（I-商空間）；

（2）f 被稱作是一個(gè)Isn-商映射如果對(duì)于每個(gè)U?Y，集合f-1（U）是X 的Isn-開集當(dāng)且僅當(dāng)U 是Y的一個(gè)Isn-開集，在這里空間Y 被稱作是映射f 和理想I生成的一個(gè)Isn-商空間。

定義10［6］X 被稱作是一個(gè)I-序列空間，如果X 的每個(gè)I-開子集A 是X 的開集。

定義11［23］X 被稱作是一個(gè)I-領(lǐng)域空間，如果X 的每個(gè)I-開子集A 是X 的Isn-開集。

定義12［24］X 被稱作是一個(gè)Isn-序列空間，如果X 的每個(gè)Isn-開子集A 是X 的開集。

定義13［24］一個(gè)拓?fù)淇臻gX 被稱作是一個(gè)Isn-Fréchet-Urysohn空間如果X 每個(gè)點(diǎn)的任何一個(gè)I-序列領(lǐng)域都是這一點(diǎn)的領(lǐng)域。

2 主要結(jié)果

定義14 一個(gè)拓?fù)淇臻gX 被稱作是一個(gè)Isn-I-Fréchet-Urysohn空間如果對(duì)于每一個(gè)A?X 和x∈，那么在A 中一定存在一個(gè)序列｛xn｝滿足在X 中。

由此定義容易知道一個(gè)拓?fù)淇臻gX 被稱作是一個(gè)Isn-I-Fréchet-Urysohn空間當(dāng)且僅當(dāng)對(duì)于每個(gè)A?X，都有并且。

根據(jù)Zorn’s 引理，由文獻(xiàn)［6］可以證明在N 中的所有admissible 理想I 形成的集族中一定存在一個(gè)最大理想。如果J 是N 的一個(gè)最大理想，那么對(duì)于每個(gè)A?N，有A∈J 或者A∈NJ 成立。對(duì)于N 的每一個(gè)理想I，N 的所有最大理想J 滿足I ?J 組成的集合由Θ（I）表示。由文獻(xiàn)［25］可知I=∩J∈Θ(I)J。

引理1［6］如果J 是N 的一個(gè)最大理想，那么每個(gè)拓?fù)淇臻g都是J-領(lǐng)域空間。

引理2［6］令J 是N 的一個(gè)最大理想，并且X 是一個(gè)拓?fù)淇臻g。那么A?X 是J-開集當(dāng)且僅當(dāng)對(duì)于任意x∈A，X 中每個(gè)J-收斂于x 的序列都J-終于A。

從此引理可以看出，令J 是N 的一個(gè)最大理想或者最小理想，當(dāng)I=J 時(shí)，如果A 是X 的I-開集，那么A 同時(shí)也是X 的Isn-開集，再結(jié)合引理1，很容易得到如下定理。

定理1 令J 是N 的一個(gè)最大理想或者最小理想，并且X 是一個(gè)拓?fù)淇臻g，取I=J。如果X 是一個(gè)Isn-序列空間，那么X 也是一個(gè)I-序列空間。

推論1 令J 是N 的一個(gè)最大理想或者最小理想，并且X 是一個(gè)拓?fù)淇臻g，取I=J。如果X 是一個(gè)Isn-Fréchet-Urysohn 空間，那么X 同時(shí)也是一個(gè)I-Fréchet-Urysohn 空間。

定理2 Isn-I-Fréchet-Urysohn 空間（Isn-Fréchet-Urysohn 空間）的每個(gè)子空間是Isn-IFréchet-Urysohn 空間（Isn-Fréchet-Urysohn空間）。

證明 令X 是一個(gè)Isn-I-Fréchet-Urysohn空間，令Y 是X 的一個(gè)非空子空間，并且對(duì)于任意A?X，有。令F=A∩Y，因?yàn)镕?X，所以，并且，又因?yàn)镕?Y，所以Y 也是Isn-I-Fréchet-Urysohn空間。同理，當(dāng)X 是Isn-Fréchet-Urysohn空間時(shí)，它的每個(gè)子空間同樣是Isn-Fréchet-Urysohn空間。

定理3 X 是一個(gè)I-序列空間當(dāng)且僅當(dāng)X 是一個(gè)I-領(lǐng)域空間同時(shí)也是一個(gè)Isn-序列空間。

證明 根據(jù)定義，假設(shè)X 是一個(gè)I-序列空間，那么對(duì)于X 中的任意一個(gè)I-開集，它一定是一個(gè)開集，根據(jù)定義5，它一定是一個(gè)Isn-開集。反之對(duì)于X 中的任意一個(gè)Isn-開集，根據(jù)定義5，它一定是一個(gè)I-開集，所以它是一個(gè)I-領(lǐng)域空間。同理，對(duì)于X 中的任意一個(gè)Isn-開集，根據(jù)定義5，它一定是I-開集，根據(jù)條件，它一定是開集，所以X 是一個(gè)Isn-序列空間。

反之，若X 是一個(gè)I-領(lǐng)域空間并且也是一個(gè)Isn-序列空間，對(duì)于X 中的任意一個(gè)I-開集，它肯定也是一個(gè)Isn-開集，因?yàn)閄 是一個(gè)Isn-序列空間，所以它肯定是一個(gè)開集，所以X 是一個(gè)I-序列空間。

回想一下拓?fù)淇臻gX 的可數(shù)tightness 定義，如果在X 中A?X，并且 x∈，那么存在可數(shù)子集C?A 滿足 x∈。由此定理知一個(gè)I-序列空間是I-領(lǐng)域空間，同時(shí)也是一個(gè)Isn-序列空間，又根據(jù)文獻(xiàn)［6］可知，每個(gè)I-序列空間滿足可數(shù)tightness，所以Isn-序列空間和I-領(lǐng)域空間都滿足可數(shù)tightness。

定理4 Isn-序列空間具有如下性質(zhì)：

（1）每個(gè)Isn-序列空間在Isn-開集（Isn-閉集）下是遺傳的；

（2）在拓?fù)浜拖氯匀皇荌sn-序列空間。

證明（1）令X 是一個(gè)Isn-序列空間。令Y 是X 的一個(gè)Isn-開子集并且A 是子空間Y 的一個(gè)Isn-開子集。那么根據(jù)文獻(xiàn)［23］，A 是X 的一個(gè)Isn-開子集。因?yàn)閄 是一個(gè)Isn-序列空間，所以A 是X 的一個(gè)開子集，可以得到A 是子空間Y 的一個(gè)開子集，所以Y 是一個(gè)Isn-序列空間。

令Y 是X 的一個(gè)Isn-閉子集并且F 是子空間Y 的一個(gè)Isn-閉子集。那么根據(jù)文獻(xiàn)［23］，F(xiàn) 是X 的一個(gè)Isn-閉子集。因?yàn)閄 是一個(gè)Isn-序列空間，所以F 是X 的一個(gè)閉子集，可以得到F 是子空間Y 的一個(gè)閉子集，所以Y 是一個(gè)Isn-序列空間。

（2）令｛Xα｝α∈A是Isn-序列空間組成的一個(gè)集族。令X=⊕α∈ΛXα是｛Xα｝α∈Λ組成的拓?fù)浜?。本文將?huì)證明拓?fù)浜蚗 是一個(gè)Isn-序列空間。令F 是X 中的一個(gè)Isn-閉子集。對(duì)于每個(gè)α∈Λ，因?yàn)閄α是X 中的閉集，F(xiàn)∩Xα是X 中的Isn-閉子集。又因?yàn)椋‵∩Xα）?Xα，根據(jù)文獻(xiàn)［23］，有F∩Xα是Xα中的Isn-閉子集。根據(jù)假設(shè)，有F∩Xα是Xα中的閉集。根據(jù)拓?fù)浜偷亩x，可以發(fā)現(xiàn)F 是X 中的閉集，因此，拓?fù)浜蚗是一個(gè)Isn-序列空間。

定理5 拓?fù)淇臻gX 是一個(gè)Isn-序列空間當(dāng)且僅當(dāng)X 上的每個(gè)Isn-連續(xù)映射是一個(gè)連續(xù)映射。

證明 假設(shè)X 是一個(gè)Isn-序列空間并且映射f：X→Y 是Isn-連續(xù)映射。令U 是Y 的一個(gè)開子集，因?yàn)橥瑫r(shí)U 是Y 的一個(gè)Isn-開子集并且f：X→Y 是一個(gè)Isn-連續(xù)映射，所以f-1（U）是X 的一個(gè)Isn-開子集。又因?yàn)閄 是一個(gè)Isn-序列空間，所以f-1（U）是X 的一個(gè)開子集。因此，f：X→Y 是一個(gè)連續(xù)映射。

相反的，假設(shè)X 不是一個(gè)Isn-序列空間。那么存在X 的一個(gè)Isn-開子集O 滿足O 不是X 的開子集。令Y=｛0，1｝并且在集合Y 上賦予以下拓?fù)洌杭?，｛0｝和Y 是Y 中的開集，并且集合｛1｝是Y 中的開集當(dāng)且僅當(dāng)集合O 是X 中的Isn-閉子集。定義映射f：X→Y 如下：如果x∈O，那么f（x）=0。如果x∈XO，那么f（x）=1。首先，先證明f：X→Y 是Isn-連續(xù)映射。令U 是Y 的Isn-開子集，因?yàn)镺 是X 的一個(gè)Isn-開子集，可以假設(shè)U=｛1｝。如果｛1｝不是Y 的開子集，可以在Y 中定義一個(gè)序列｛yn｝并且yn=0，那么很明顯yn→1，因此。因?yàn)閁 是一個(gè)Y 的Isn-開子集，所以U 是一個(gè)Y 的I-開子集，根據(jù)文獻(xiàn)［23］，?=｛n∈N：yn∈U｝?I。這產(chǎn)生了矛盾。因此｛1｝是Y 的開子集，并且O 是X 中的Isn-閉子集。那么很顯然f-1（U）是X 的Isn-開子集。這說明了f：X→Y 是Isn-連續(xù)映射。因?yàn)椋?｝是Y 的開子集并且f-1（｛0｝）=O 不是X 的開子集，所以f：X→Y 不是連續(xù)映射。

定理6 每個(gè)Isn-I-Fréchet-Urysohn 空間（Isn-Fréchet-Urysohn 空間）都是I-領(lǐng)域空間（Isn-序列空間）。

證明 若X 是一個(gè)Isn-I-Fréchet-Urysohn 空間，對(duì)于任意A?X，都有，若F 是X 中的I-閉集，那么，所以F 是X 中的Isn-閉集，容易知道它一定是一個(gè)I-領(lǐng)域空間。同理，若X是一個(gè)Isn-Fréchet-Urysohn 空間，自然可以推出它一定是一個(gè)Isn-序列空間。

定理7 如果空間X 的每個(gè)子空間是I-領(lǐng)域空間（Isn-序列空間），那么X 是一個(gè)Isn-IFréchet-Urysohn 空間（Isn-Fréchet-Urysohn 空間）。

證明 假設(shè)空間X 的每個(gè)子空間是I-領(lǐng)域空間，令A(yù)?X，并且 x∈，如果 x∈A，那么這個(gè)證明是顯然的。如果x?A，那么A 不是X 中的Isn-閉集?，F(xiàn)在令Y=A∪｛x｝，那么A 不是Y 中的閉集。但是通過假設(shè)，Y 是I-領(lǐng)域空間。因此存在序列｛xn｝?A 滿足。同理，若X 的每個(gè)子空間是Isn-序列空間，那么很容易知道X 是一個(gè)Isn-Fréchet-Urysohn 空間。

定理8 假設(shè)X 和Y 都是拓?fù)淇臻g并且f：X→Y 是一個(gè)映射，那么下述結(jié)論成立：

（1）令X 是一個(gè)Isn-序列空間，如果f 是一個(gè)連續(xù)的商映射，那么f 是一個(gè)Isn-商映射并且Y 是一個(gè)Isn-序列空間；

（2）令Y 是一個(gè)Isn-序列空間，如果f 是Isn-商映射，那么f 是一個(gè)商映射。

證明（1）令X 是一個(gè)Isn-序列空間，并且f 是一個(gè)商映射，假設(shè)f-1（U）是X 中的一個(gè)Isn-開集，容易知道f-1（U）也是X 中的一個(gè)開集，所以U 是Y 中的一個(gè)開集，U 是Y 中的一個(gè)Isn-開集。假設(shè)U 是Y 中的一個(gè)Isn-開集，因?yàn)閒 是一個(gè)連續(xù)映射，所以由文獻(xiàn)［6］可知f 是保持I-收斂映射。在X 中任意取一個(gè)序列｛xn：n∈N｝?X 滿足∈f-1（U）。因?yàn)閒 是保持I-收斂映射，所以有∈U。因?yàn)閁 是Y 中的一個(gè)Isn-開集，所以根據(jù)文獻(xiàn)［23］，有｛n∈N：f（xn）?U｝∈I 成立，很容易得到｛n∈N：xn?f-1（U）｝∈I 也成立。因此f-1（U）也是X 中的一個(gè)Isn-開集，所以f 是一個(gè)Isn-商映射。

假設(shè)U?Y 并且滿足U 是Y 中的一個(gè)Isn-開集，因?yàn)閒 是一個(gè)Isn-商映射，所以f-1（U）是X 的一個(gè)Isn-開集。因?yàn)閄 是一個(gè)Isn-序列空間，所以f-1（U）是X 中的一個(gè)開集。又因?yàn)閒 是一個(gè)連續(xù)的商映射，所以U 是Y 中的一個(gè)開集，那么可以知道Y 也是一個(gè)Isn-序列空間。

（2）令Y 是一個(gè)Isn-序列空間并且f 是Isn-商映射。如果f-1（U）是X 中的一個(gè)開集，那么f-1（U）是X 中的一個(gè)Isn-開集。因?yàn)閒 是Isn-商映射，所以U 是Y 中的一個(gè)Isn-開集。在這里注意到Y(jié) 是一個(gè)Isn-序列空間，所以U 是Y 中的一個(gè)開集。反之，如果U 是Y 中的一個(gè)開集，那么U 是Y 中的一個(gè)Isn-開集。因?yàn)閒 是Isn-商映射，所以f-1（U）是X 中的一個(gè)Isn-開集，因?yàn)閄 是一個(gè)Isn-序列空間，所以f-1（U）是X 中的一個(gè)開集，因此f 是一個(gè)商映射。