"무리수의 집합은 사칙연산 모두에 대해서 모두 닫혀 있지 않다. 심지어 항등원 조차 존재하지 않는다. 단 여기서 주의할 점은 무리수의 집합이라는 것이다. 상위 집합인 실수로 올라갈 경우 실수의 항등원은 당연히 존재한다. √2+0=√2, √2*1=√2가 거짓이냐며 따지지 말자.

  • 무리수의 집합에는 덧셈의 항등원이 없다. 0 은 유리수이다.
  • 무리수의 집합에는 곱셈의 항등원이 없다. 1 은 유리수이다.
  • 무리수의 집합은 덧셈에 대해서 닫혀 있지 않다. √2+(-√2) = 0
  • 무리수의 집합은 뺄셈에 대해서 닫혀 있지 않다. √2-√2 = 0
  • 무리수의 집합은 곱셈에 대해서 닫혀 있지 않다. √2*√2 = 2
  • 무리수의 집합은 나눗셈에 대해서 닫혀 있지 않다. √2÷√2 = 1"

sqrt(2)+sqrt(3)은 sqrt(5+2*sqrt(6))으로 나타낼 수 있습니다.


모든 양수인 무리수 집합에 적용될까요?