來源：互聯網
第二可數空間(second countable space)是指具有可數基的拓撲空間。這種空間不僅滿足第二可數性公理，而且具備第一可數、可分和Lindel?f的性質。第二可數性公理是拓撲空間定義中的一部分，與“有限交，任意并”的公理一同構成拓撲空間的基礎。
定義與性質
拓撲空間X若有一個可數基，則稱X為滿足第二可數性公理，或稱X是第二可數空間。這意味著存在一個基，它的元素數量是可數的，即最多有自然數那么多。第二可數空間的基數，即其包含的元素的數量，不大于無限可數集的冪集的基數。
與其他空間的關系
歐幾里得空間是典型的第二可數空間。第二可數空間必然是第一可數空間，并且是可分的林德勒夫空間。可分的度量空間也是第二可數空間。然而，第二可數空間不一定是度量空間，如Sorgenfrey直線就是一個例子。
遺傳性質
第二可數性是遺傳的，即如果一個空間是第二可數的，那么它的任何子空間也是第二可數的。這種性質稱為可傳子的。
可積性
第二可數性具有可數可積性。如果有無限個第二可數空間，且只有可數個是平凡拓撲空間，則這些空間的積空間是第二可數空間。這表明在某些條件下，第二可數性可以從構成空間的各個部分傳遞到整個空間。
可度量化定理
可度量化定理指出，第二可數的正則空間是可度量化的。這意味著如果一個空間是第二可數的，并且滿足正則性條件，那么它可以被賦予一個度量，使得原有的拓撲結構與由這個度量誘導出的拓撲結構相同。
結論
第二可數空間在拓撲學中占有重要地位，它不僅具有豐富的內在性質，而且與其他類型的空間有著緊密的聯系。它的遺傳性和可積性使得第二可數性成為研究復雜空間時的有力工具。同時，第二可數性的存在為度量化提供了可能，進一步拓展了拓撲空間的應用范圍。
參考資料 >