可算公理的日文

• かさんこうり
  可数(性)公理。

• 可算:    かさん可数。
• 公理:    （1）〈数〉定理. （2）公理.正当な道理.
• 可算性:    かさんせい
• 公理化:    こうりか
• 桩计算公式:    くい公式くいこうしき

例句与用法

1. 第二可算公理を満たす正規空間は距離化可能である。
2. X が第一可算公理を満たさないならば、自然数全体の成す集合より多くの有向集合を考慮する必要がある。
3. さらに距離空間が可分である（稠密な可算部分集合を持つ）ことと第二可算公理を満たす（可算個の開集合によってその位相が生成される）ことは同値になる。
4. 点列の極限が距離空間のような第一可算公理を満たす位相空間において定義されるのに対して、有向点族の極限は任意の位相空間において定義することができる。
5. その草稿でヴェイユは点列の収束を議論する上で空間に第二可算公理の成立を要求していたが （下の#位相幾何学におけるフィルターも参照）、 この制限を除くためにアンリ?カルタンが会合中に見つけた解決の糸口がフィルターである 。