餘有限空間





若一個集X{displaystyle X}X的子集Y{displaystyle Y}Y,使得差集X−Y{displaystyle X-Y}{displaystyle X-Y}為有限集,則稱Y{displaystyle Y}YX{displaystyle X}X的餘有限集(cofinite)。


類似地,若一個集X{displaystyle X}X的子集Y{displaystyle Y}Y,使得差集X−Y{displaystyle X-Y}{displaystyle X-Y}為可數集,則稱Y{displaystyle Y}Y為餘可數集(cocountable)。


餘有限拓撲是將集內所有餘有限集定義為開集的拓撲,這樣的拓撲空間稱為餘有限空間。其性質有:



  • 可傳子:餘有限空間的子空間也是餘有限的。


  • 緊緻、列緊


  • T1空間而非T2空間

  • Lindelöf空間

  • 連通空間

  • 可析空間


類似地可定義餘可數空間。它必是Lindelöf空間和連通空間。



參考文獻



  • Steen, Lynn Arthur; Seebach, J. Arthur Jr., Counterexamples in Topology Dover reprint of 1978, Berlin, New York: Springer-Verlag, 1995 [1978], ISBN 978-0-486-68735-3, MR507446  (See example 18)




Comments

Popular posts from this blog

Monte Carlo

Information security

章鱼与海女图