데코수학/ 무한 집합 2

개념

  • X : 무한, X ~ Y ⇒ Y : 무한
    • X : 유한, X ~ Y ⇒ Y : 유한
  • X : 무한, x0 ∈ X ⇒ X ∖ { x0 } : 무한
  • k : 유한 (ℕk = { 1, 2, 3 … k })
  • X : 유한 ⇔ X ~ ∅ ∨ X ~ ℕk (ℕk = { 1, 2, 3 … k }) 
    • X가 유한집합이면 공집합과 대등하거나 어떤 k까지 자연수 집합과 대등하다.
  • X × Y ~ Y × X
    • X 카테시안 곱 Y는 Y 카테시안 곱 X와 대등하다.
  • X, Y : 유한일 때,
    • X ∪ Y : 유한
    • X × Y : 유한
[ssba]

The author

지성을 추구하는 사람/ suyeongpark@abyne.com

댓글 남기기

This site uses Akismet to reduce spam. Learn how your comment data is processed.