데코수학/ 집합론/ 순서수 합 – 2


개념

  • 모든 순서수는 바로 다음 순서수를 갖는다.

순서수식

  • (Ord A + Ord B) + Ord C = Ord A + (Ord B + Ord C)
    • 순서수에 대하여 결합법칙은 성립한다.
  • Ord A + ∅ = Ord A = ∅ + Ord A
    • 순서수 덧셈에 대한 항등원이 존재한다.
    • 순서수 덧셈에 대한 역원은 존재하지 않는다.
  • Ord B < Ord C ⇔ Ord A + Ord B < Ord A + Ord C
  • Ord B = Ord C ⇔ Ord A + Ord B = Ord A + Ord C
    • 왼쪽 소거법. 역원이 없기 때문에 두 식을 비교할 때 중요.
  • Ord B + Ord A < Ord C + Ord A ⇒ Ord B < Ord C
    • 오른쪽에 같은 것을 제거한 경우는 같지만 그 반대는 성립 안 함
  • Ord B = Ord C ⇒ Ord B + Ord A = Ord C + Ord A
    • 오른쪽에 같은 것을 더한 경우는 성립하지만 그 반대는 성립 안 함
[ssba]

The author

Player가 아니라 Creator가 되려는 자/ suyeongpark@abyne.com

댓글 남기기

이 사이트는 스팸을 줄이는 아키스밋을 사용합니다. 댓글이 어떻게 처리되는지 알아보십시오.