Loading article…
数学において、位相空間のトポロジーが可算生成である場合、は可算生成と呼ばれます。は、数列空間(またはフレシェ空間)の位相が収束列によって決定されるのと同様の方法で、可算集合によって決定される。
可算生成空間とは、まさに可算タイトネスを持つ空間のことである。可算タイトという表現も使われる。
位相空間と呼ばれるトポロジーが可算に生成される場合可算部分空間の族と整合している。言い換えれば、任意の部分集合は閉鎖中各可算部分空間に対してのセット閉鎖中 または同等に、任意の部分集合オープンしています各可算部分空間に対してのセットオープンしています
同様に、は可算タイトである。つまり、すべての集合に対してそしてすべてのポイント可算集合が存在すると 言い換えれば、は、すべての可算部分集合の閉包の和集合である。
位相空間もっているファンの締め付け具合は、すべての点についてそしてすべてのシーケンス空間の部分集合のそのため有限集合が存在するそのため
位相空間もっている数えられる強力なファンの締め付けがすべての点に対してそしてすべてのシーケンス空間の部分集合のそのためいくつかポイントがありますそのため強力なフレシェ・ウリゾーン空間はすべて、強力な可算ファンタイトネスを持つ。
可算生成空間の商空間もまた可算生成空間である。同様に、可算生成空間の位相和も可算生成空間である。したがって、可算生成空間は位相空間の圏の共反射部分圏を形成する。それらはすべての可算空間の共反射包である。
可算生成空間の任意の部分空間は、再び可算生成される。
すべての逐次空間(特に、すべての距離化可能空間)は可算生成される。
可算生成であるが逐次的ではない空間の例としては、例えば、アレンス・フォート空間の部分空間が挙げられる。