Proposition I.5.4 & Corollary I.5.6 (可算性の保存)

• Proposition I.5.4 & Corollary I.5.6 (可算性の保存) #Card
  • 可算和・可算積、$\mathbb{Q}$ の可算性。

Back

• 可算個の可算集合の合併は可算。
• 二つの可算集合の積は可算。
• ゆえに $\mathbb{Q}$ は可算。 証明 → 20_Literature/royal_road_to_topology/chapter1

Lean

Notes/ChapterI.lean : prop_I_5_4_iUnion（Set.countable_iUnion）, cor_I_5_6_prod（Set.Countable.prod）, cor_I_5_6_rat