수 체계

수 체계
사원수
복소수
실수					허수
유리수				무리수
정수			정수가 아닌 유리수
음의 정수	0	자연수

• 상위 문서: 수학 관련 정보
• 관련 문서: 초한기수

1 개요

수학에서 다루는 수들의 체계.

아래의 항목 외에도 사원수이라든가 등등이 있지만, 최소한의 교환법칙조차 성립하지 않으므로 많이 난해한 감이 있기 때문에 고교과정에서의 복소수까지만을 설명한다.

기본적으로 수 체계에 요구되는 성질들이 있는데, 덧셈과 곱셈이라는 연산이 잘 정의되어야 하며, 그 원소의 수가 무한해야 한다. 그리고 교환법칙과 결합법칙이 성립하며, 덧셈과 곱셈 사이에는 분배법칙이 성립해야 한다.

집합론이 수학의 베이스가 되면서, 오늘날에는 딱히 수 체계를 특별취급하지는 않는다. 모든 수 체계는 결국 집합일뿐이며, 그 수 체계를 이루는 수 역시 집합일뿐이다.

다만, 자연수, 정수, 실수체계등은 역사적으로 중요하게 취급되었고, 연구도 많이 된 상태이기때문에 집합론 안에서 집합을 이용하여 그 구조를 그대로 재현하여 자연수, 정수, 실수라 정의하여 사용하며, 그동안의 연구결과들도 집합론의 언어에 맞춰 재현시켜 쓰고 있다 보면 된다. 대수학에서 배우는 Semi group, group, ring, field 등은 이러한 수 체계의 성질만을 추상화시켜 뽑아다가 정의한 구조체라 볼 수 있다. 역시 뭐 특별한게 아니고 대부분 다 집합으로 정의된다.

위 분류는 사실 고등학생(혹은 수학 외의 다른 전공자들 혹은 현대수학 이전의 수학자들)에게만 유효한 분류이다.

현대 수학에선 자연수가 모든 수의 시작이다. 즉, 자연수로부터 차곡차곡 쌓아올라가 정수, 유리수, 실수, 그리고 복소수 순으로 만들어 수 체계가 생성되는 것이다. 이러한 체계는 근대와 현대에 걸친 대수학과 해석학의 눈부신 발전이 이뤄낸 성과 중 하나라고 볼 수 있을 것이다. 그래 봐야 왠지 쓸모 없어 보이는 건 당신의 착각

중요한 점은, 아래 구성방법은 대학 수학과 학부과정에서 표준적으로 쓰이는 하나의 '예시'라는점이다. 집합론에서 수 체계들은 동형사상(isomorphism)을 제외하고 유일하다. 이 말인즉슨, 아래 구성된 수체계들과 동형사상 관계인 모든 구조들 역시 수체계라는것이다. 즉, [math]\left\{0,\,1,\,2,\,3,\,\cdots\right\}[/math] 뿐만 아니라 그것과 같은 구조를 갖는 [math]\left\{aaa,\,aaaa,\,aaaaa,\,\cdots\right\}[/math] 도 마찬가지로 자연수라 할 수 있다. 뿐만 아니라, 굳이 집합론 안에서만 정의가 가능한것도 아니다. Category theory 를 통해서도 자연수를 구성할 수 있고, Type theory 로도 구성이 가능하다.

또한, 페아노 대수(Peano arithmetic)의 '약한' 조건으로 자연수를 구성할 경우, 자연수 구조는 더이상 유일하지 않고, 여러가지 논스탠다드 모델이 등장한다. 게중에는 실수처럼 셀 수 없는 자연수 모델도 있다.

1.1 자연수

Natural number

[math]1,\,2,\,3,\,4,\cdots[/math] 등, 정수 중에서 양의 정수만을 의미하며, 가장 간단한 수의 집합이다. 기호 표현으로는 첫 글자를 따서 [math]\mathbb{N}[/math]으로 쓴다. 경우에 따라서는 양의 정수라는 뜻에서 [math]\mathbb{Z}^{+}[/math]라 표현하는 경우도 있다.

모든 것의 시작. 집합론을 빼면, 수학의 시작은 사실 상 여기다. 자연수가 없으면 그게 과연 수학일까? 그렇다 보니, 자연수는 구성하는 것이 아니라 정의하는 것이라고 보는 편이 낫겠다. 자연수 집합은 일단 페아노 공리를 만족하는 집합으로 정의되는데, 자세한 건 자연수 항목 참고. 참고로 이러한 정의는 단지 정의일 뿐이지, 자연수 집합의 존재를 보장해 주진 않는다. 그 존재성은 다른 방법으로 보장되어야 하는데, 물론 이는 집합론 레벨의 이야기이다. 현재 가장 널리 받아들여진 ZFC 공리계는 이러한 집합의 존재를 보장해 준다. 따라서 수학자들은 안심하고 자연수를 무자비하게 쓸 수 있는 것이다.

자연수의 모든 성질들은 페아노 공리들로부터 도출된다. 일단 자연수 집합이 무한집합이라는 걸 이끌어낼 수 있으며, 덧셈과 곱셉의 정의를 도입하면 이 연산들이 닫혀 있고, 결합법칙, 교환법칙, 소거법칙, 분배법칙 등을 만족한다는 걸 이끌어 낼 수 있다. 이로부터 알 수 있는 건, 자연수 집합이 덧셈과 관하여 반군(semigroup), 곱셈에 관하여 항등원이 있는 반군(모노이드, monoid)을 이룬다는 것이다.

참고로, 페아노 공리를 그대로 따르는 자연수 집합엔 0, 즉 덧셈의 항등원이 존재하지 않는다. 책에 따라 자연수 집합은 0을 포함한다고 하기도 하지만...

덧붙여서, 자연수가 페아노의 공리를 만족하는 모든 집합인것은 맞지만 오직 "양의 정수"의 집합 [math]1,\,2,\,3,\,4,\cdots[/math] 등등만이 자연수가 될 수 있는것은 아니다. 즉, 맨 위의 정의 중에서 '양의 정수만을 의미하며' 라는 구문은 약간 어폐가 있다. 간단한 예로 [math]0[/math]을 포함한 [math]0,\,1,\,2,\,3,\cdots[/math] 또한 자연수의 집합이 될 수 있고, 심지어 [math]-1,\,0,\,1,\,2,\cdots[/math] 게다가 [math]-1/2,\,1/2,\,3/2,\cdots[/math]또한 자연수의 집합이 될 수 있다. 자세한 것은 자연수 항목 참조. 하지만 보통 자연수로부터 정수, 유리수, 실수, 복소수 등을 만들어낼 때에는 [math]1,\,2,\,3,\cdots[/math] 인 경우(혹은 처음부터 [math]0,\,1,\,2,\,3,\cdots[/math]인 경우)만 생각한다. 물론 그 외에도 별다른 이야기가 없으면 [math]\left\{1,\,2,\,3,\cdots\right\}[/math]을 자연수 집합이라고 말하는 것이 보통이다.

1.2 정수

Integer essence

음의 정수([math]-1,\,-2,\,-3,\cdots[/math]) , [math]0[/math] , 양의 정수([math]1,\,2,\,3,\cdots[/math]) 의 3가지로 구성되어 있는 수의 집합이며 다루기 쉽고 계산이 편해서 일반적으로 가장 편히 접할 수 있는 수체계 중 하나이다. 가장 작은 정역이다. 기호 표현으로는 독일어의 Zahlen의 앞글자에서 따온 [math] \mathbb{Z} [/math]를 사용한다.

하지만 조금만 깊게 들어가면 수학전공 쪽에는 아예 '정수론' 이라는 과목이 따로 있을 정도로 복잡해지며, 수학이란 학문이 정수 체계만 가지고도 어디까지 괴상한 짓을 할 수 있는지 보여준다. 공부하는 입장에선 정수론과 해석학이 같은 학문이란 게 믿겨지지도 않을 정도로 느낌이 다른데, (해석학이 엄정한 알고리즘과 연역적 정의에 의해 돌아간다면 정수론은 딱 두뇌퍼즐 느낌이다) 그 둘이 어떻게든 서로 엮이기 때문에 어느 한 쪽을 소홀히 할 수가 없다.

자연수로부터 정수를 엄밀하게 만들어내는 건 말처럼 쉽지가 않다. 하지만 그냥 뭉뚱그려 설명하자면 다음 한 마디로 끝나버린다. "자연수 집합에 덧셈의 항등원([math]0[/math])을 추가하여 가환 모노이드(commutative monoid)를 만든 다음, 이 모노이드로부터 만들어진 그로탕디에크 군(Grothendieck group)을 정수라고 정의한다."
이에 대해선 영문판 위키피디아거지 같은 한국어판엔 없다에서도 확인할 수 있다. 이 한 방에 정수가 만들어진다.

그로텐디크 군을 통해 정수를 만드는 과정을 최대한 간단하게 설명하자면 이렇다.

1. 두 ([math]0[/math]을 포함하는) 자연수의 순서쌍들 [math]\left(a, b\right)[/math]와 [math]\left(c, d\right)[/math]가 다음을 만족한다고 할 때, 이 둘을 같다고 친다.(…)
   [math]a + d = b + c[/math]
   
2. [math]\left(a, b\right)[/math]와 [math]\left(c, d\right)[/math]의 덧셈을 [math]\left(a + c, b + d\right)[/math]로, 곱셈을 [math]\left(ac + bd, ad + bc\right)[/math]로 정한다.
   
3. 이러한 '변형된(?)' 동치류(이 순서쌍)들의 집합이 바로 정수 집합.

참 쉽죠?

여기서 [math]\left(a, 0\right)[/math]은 자연수 [math]a[/math]에 대응하고, [math]\left(0, 0\right)[/math]은 [math]0[/math]에 대응하며, [math]\left(0, a\right)[/math]는 [math]-a[/math]에 대응한다.

과정 중에 나오는 이름에서도 알 수 있듯이, 정수는 덧셈에 관하여 군이다. 사실 상 모든 군 중에서 가장 기본적인 녀석들 중 하나. 다만 곱셈에 대해선 군도 아니고 모노이드도 아니다. 이때 정수는 덧셈과 곱셈에 대하여 환을 이룬다. 덧붙여서, 여기까지만 해도 정수론에 필요한 모든 기본적인 성질들(대표적인 예로 나머지 정리)을 유도할 수 있다. 관심있는 용자사람은 한 번 유도해 보길. 대수학 책에 다 나와 있는 걸 뭐 하러 유도해

1.3 유리수

Rational number Glass number

실수 중에서도, [math]p/q[/math] ([math]p,q[/math] 는 정수([math]q\ne 0[/math]))꼴로 나타낼 수 있는 수들의 집합을 의미한다. 원래 해석하면 유비수가 맞지만 처음 수학이 도입될 때의 잘못된 번역으로 인해 유리수로 굳어져 있다. [math]q[/math]가 [math]1[/math]이냐 아니냐에 따라서 정수와 '정수가 아닌 유리수' 로 구분한다. 기호표현으로는 [math]\mathbb{Q}[/math] 이다.

유리수는 그냥 정수의 분수체(field of quotient)로 정의된다. 간단히 말하자면 이렇게 만들어지는 집합.

1. 두 정수의 순서쌍들 [math]\left(a, b\right)[/math]와 [math]\left(c, d\right)[/math]가 다음을 만족한다고 할 때 이 둘이 같다고 친다.(…)
   [math]ad = bc[/math]
   
2. [math]\left(a, b\right)[/math]와 [math]\left(c, d\right)[/math]의 덧셈을 [math]\left(ad + bc, db\right)[/math]로, 곱셈을 [math]\left(ac, bd\right)[/math]로 정의한다.

3. 이러한 '변형된' 순서쌍들의 집합을 가리켜 유리수 집합이라고 한다.

이런 식으로 우리가 아는 유리수가 만들어진다. 그리고 '변형된 순서쌍' [math]\left(a, b\right)[/math]는 사실 분수 [math]{a \over b}[/math]에 대응하는 것이다. 그런 점에서 보면 유리수를 만드는 방법이 좀 더 쉬워보일 수도. 참으로 쉽고 간단하죠. 우리집 강아지도 이 정도는 할 줄 압니다

참고로 유리수 집합은 표수가 [math]0[/math]인 가장 작은 체이다. 그래서 소체(prime field)라고 한다.

재밌는 사실은 자연수 집합과 정수 집합, 그리고 유리수 집합은 그 크기(cardinality)가 동일하다. 이 말은 이들 집합 간에 일대일 대응(bijection)이 존재한다는 뜻. 기묘해 보일 수도 있겠지만, 사실. 이것 때문에 칸토르는 모든 무한집합이 다 같은 크기를 가진다는 추측을 했다고 카더라.

하지만 칸토르는 그 추측이 틀리다는 걸 나중에 밝혀내는데...

1.4 무리수

Irrational number. Crowd number

루트가 들어가는 숫자들 , 원주율 [math]\pi[/math], 자연상수 [math]e[/math] 들이 대표적인 예이다. 간단하게 실수중에서 유리수인 것들을 제외하고 남은 것들이다. [math]{p \over q}[/math] 꼴로 표현할 수 없기 때문에 순환하지 않는 무한소수가 된다. 기호 표현으로는 [math]\mathbb{Q}^{c}\cap \mathbb{R}[/math] 또는 [math]\mathbb{R} \setminus \mathbb{Q}[/math] 'irrational'의 첫 글자를 이용해 [math]\mathbb{I}[/math] 로 표기하기도 한다.

유리수보다는 무리수가 훨씬훨씬 더 많으며, 무리수의 바다에 가끔씩 유리수가 떠 있다고 이해하면 쉽다.

유리수를 포함하는 더 큰 집합인 만큼 실수는 훨씬 더 다양한 수들을 포함하고 있다. 그 중 유리수가 아닌 수들을 가리켜 무리수라고 부른다. 대표적인 예로 [math]\sqrt{2}[/math], [math]\pi[/math], [math]e[/math]. 무리수들은 다시 대수적인 수(유리수 포함)와 초월수로 나뉘어지는데, 간단하게 말해 이들을 분류하는 기준은 이들을 근으로 가지는 유리수(혹은 정수) 계수 방정식이 존재하느냐 마느냐이다. 예컨대 [math]\sqrt{2}[/math]는 [math]x^{2} - 2 = 0[/math]의 근으로 대수적인 수이나, [math]\pi[/math] 는 그런 거 없다는 게 밝혀졌다. 마찬가지로 초월수가 대수적 수보다 훨씬 많다.

1.5 실수

mistake
Real number레알 숫자 완비순서체(Complete ordered field)라는 말로 요약할 수 있다. 기호 표현으로는 [math]\mathbb{R}[/math]. 앞에서 그랬듯이, 모든 완비순서체는 실수와 동치이다.

실제 현존하는 수라는 의미다. 거리, 시간과 같이 우리가 일상에서 접하는 (주로 물리적 실체와 관련된) 수는 실수다. 실수체계는 수직선 상에 점을 찍을수 있는 수를 실수라고 생각하면 이해하기 쉬우며 어느 점을 찍더라도 유리수 혹은 무리수이다. 제곱해서 0보다 크거나 같은 수가 나오는 수이다. 다만 유리수보다는 무리수의 수가 훨씬 훨씬 더 많다.(무리수는 셀 수 없지만 유리수는 셀 수 있다.)

실수를 도입하는 방법에는 크게 두가지 방법이 있다. 첫째는 구성적 방법으로 페아노 공리계에 의해 자연수를 정의하고 정수를 거쳐, 정수의 분수체로 유리수를 구성하고 유리수계의 결함을 보완하기 위해 실수계를 구성하는 방법이다. 둘째는 공리적 방법으로 자연수를 페아노 공리계에 의해 인정했듯이, 실수도 공리적으로 인정하자는 관점이다. 어떤 공집합이 아닌 집합 위에 덧셈과 곱셈이라는 연산이 정의되어 있고, 그 집합이 체의 공리, 완비성 공리, 순서공리의 세 공리들을 만족한다고 할때, 그 계를 실수라고 정의하는 것이다.

실수계를 구성적 방법으로 도입하는 것은 매우 어려운 일이다. 이에 대한 자세한 설명은 해당 항목 참조.

1.6 복소수

Complex number

실수 계수 방정식들 중엔 근이 없는 방정식이 있다. 대표적인 예가 [math] x^2 + 1 = 0 [/math] . 이들 방정식도 근을 갖도록 실수를 확장한 것이 바로 복소수. (이때 생겨나는 수가 바로 허수이다.) 기호 표현으로는 [math]\mathbb{C}[/math].

대수적으로 닫혀있는(Algebraically closed) 수 체계이다. 실수와 허수를 아울러서 포함한다.

복소수의 가장 강력한(!) 특징 중 하나는 바로 복소수 계수의 모든 방정식이 근을 가진다는 것. 이를 가리켜 대수학의 기본정리라고 부른다. 또한 [math]e[/math]와 자연 로그를 이용한 무궁무진한 활용이 있어 공돌이들의 구원자(…)라고도 불린다. 한편, 다양한 수학분야에서 대수적으로 닫힌(algebraically closed), 즉 그 안의 모든 방정식이 근을 갖는 체는 굉장히 유용한데, 일단 복소수 체라는 강력하고도 익숙한(?) 녀석이 있으니, 이름에 비해서 여러 모로 유용한 물건이다.

사원수 이상의 수에 대해 배우지 않는 이상, 우리가 일상생활에서 어떤 수를 만나든 모두 이 복소수 내에 포함된다. (예를 들어, 숫자 [math]3[/math]은 복소수 내의, 실수 내의, 유리수 내의, 정수 내의, 자연수 내의 무한한 수들 중 하나일 뿐이다.)

[math] z = a+bi [/math]([math]a,b \in \mathbb{R}[/math], [math] i=\sqrt{-1} [/math]) 꼴로 나타내어지며, [math]b=0[/math]이면 실수, [math]a=0[/math]이면 순허수이다.

복소수 [math] z = a+bi [/math] 에 대해 유일하게 켤레수가 대응되는데 [math]z[/math]의 켤레복소수는 [math] \bar{z} = a-bi [/math] 이다. 둘을 곱하면 [math] z \bar{z} = a^2 + b^2 [/math] 로, [math]z[/math]의 크기의 제곱이 된다.

복소수체계의 특성상 실수범위 내에서는 잘되던 사칙연산의 일부, 미분, 적분 등등이 괴상하게 돌아가기 때문에 심히 까다로워서 고등학교 과정에서는 1학년때 맛보기만 살짝하고 넘어간다. 특히 정의역이 복소수인 함수는 짤없이 고교 교육과정 외. (치역이 복소수인 함수라면 [math]n[/math]차방정식 단원에서 분명히 다룬다.)

1.6.1 허수

Son of Heosuabi
Imaginary number.

1572년 라파엘 봄벨리가 실수로는 나타낼 수 없는 이차 방정식의 근을 나타내기 위하여 수의 개념을 확장하여 정의했다.
간단히 생각해서 [math]x^2 = -1[/math] 을 풀어보려고 추가한 것이라 이해하자.

단순하게는 허수단위 [math]i[/math]([math]=\sqrt{-1}[/math]) 가 보이면 허수이다. i는 허수단위 이외에도 상당히 많은 용도가 있기 때문에(공학 분약의 복소수 전류 등) 헷갈리는 것을 방지하기 위해 j로 표기하는 경우도 있다.

[math]z = a+bi[/math] ([math]a,b\in\mathbb{R}[/math], [math]b\ne 0[/math])꼴로 나타내어지는데, 이중 [math]a=0[/math]인 경우에는 순허수라 부른다.

2 기타 수 체계

2.1 사원수와 팔원수

복소수까지 구성하는 게 보통이지만, 맨 위에서 언급한 사원수(quaternion)도 있고, 심지어 팔원수(octonion), 십육원수(sedenion)도 있다.

사원수에서는 [math] i^2 = j^2 = k^2 = ijk = -1[/math] 이 성립하는 3개의 단위 [math]i,\,j,\,k[/math] 가 추가된다. 이 사원수의 가장 중요한 특징은, 곱셈의 교환법칙이 성립하지 않는다. 즉, 두 사원수 [math]a[/math], [math]b[/math] 에 대해서 [math]ab = ba[/math] 라고 쓸 수 없다. 예를 들어 [math]ij = k\ne -k=ji[/math]이다.
사원수는 비행기의 자세 제어에 쓰일 수 있는데, 오일러가 만든 오일러각을 이용하여, 3차원 회전을 사원수 곱셈으로 표현이 가능하다. 하지만, 사원수 계산의 난해함으로 인해서 도태되었다. 하지만, 컴퓨터가 발달한 현재는 모든 계산을 컴퓨터를 이용해서 처리 가능하므로, 3차원 그래픽에서 다시 각광받게 되었다. 이에 관해서는 네이버캐스트에 유용한 글이 있으므로 참고하자.

팔원수로 확장되면 이제는 곱셈의 결합법칙이 성립되지 않는다. 즉, [math]\left(ab\right)c = a\left(bc\right)[/math] 라고 쓸 수 없다. 도대체 이따위것을 어디다가 써먹냐 하겠지만, 대수학에서 나타나는 구조들, 예컨대 몇몇 단순 리 대수(simple Lie algebra)를 표현할 때 쓰이기도 한다. 이 때문에 끈이론 같은 최신 물리에서 쓰이기도 한다 카더라.

16원수, 32원수, 64원수 등등 이론상 무궁무진(…)하게 만들어낼 수도 있지만, 어디까지나 수학적으로 흥미로워야 만들어내는 의미가 있는 것이다. 확장될수록 교환법칙, 결합법칙 같은 너무나 당연한 규칙이 성립하지 않아서 실질적으로 거의 취급되지 않는다.

2.2 유한 체

대학교 수학 과정을 밟으면 아주 기괴한 수 체계를 만날 수 있다. 바로 유한 체(finite field)라는 것인데, 일단 그 베이스는 소수 [math]p[/math]에 대하여 집합 [math]\left\{0,\,1,\,2,\,\cdots,\,p-1\right\}[/math]이 통상적인 덧셈과 곱셈에 [math]\text{mod}p[/math]를 취해서 나온 연산에 대하여 닫혀 있으며, 이들 연산은 하나의 제대로 된 환을 이루고, 심지어 [math]0[/math]을 제외한 모든 원소가 곱셈에 대한 역원을 가진다. (예컨대, [math]p = 7[/math]일 때 [math]3 * 5 \left(=15\right) = 1 \left(\text{mod} p\right)[/math]이므로, [math]3[/math]의 역원은 [math]5[/math]이며, [math]5[/math]의 역원은 [math]3[/math]이다.) 이를 보고 정신 나간 수학자들은 아예 이러한 집합을 체로 보겠다고 한다! 즉, 저 집합에 나누기를 도입하자는 것이며, 그게 잘 작동한다는 말. 어떻게 보면 대담한 발상이기도... 역시 쓸모가 있으니까 배우는 것일텐데, (그것도 학부 과정에서 말이다) 의외로 그 쓰임새가 많다. 정수론은 물론이고, 대수학 자체에서도 엄청난 위상을 발휘하고 있다. 일단 이런 유한 체에서 파생된 체와 유리수를 베이스로 두는 체의 경우로 나눠서 설명하는 경우가 많으니... 대개 유한 체를 대수적으로 확장한 (algebraic extension) 경우를 많이 생각하며, 일단 이런 유한 체를 포함하는 algebraically closed field가 존재하니, 여러 모로 무시 못할 분야...

2.3 [math]p[/math]진 정수, [math]p[/math]진 유리수

대학교 수학 과정에서 배우는 기괴한 수 체계들 중에는 finite field 외에도 [math]p[/math]-adic integer([math]p[/math]진 정수)과 [math]p[/math]-adic rational([math]p[/math]진 유리수)이 있다. [math]p[/math]-adic integer들의 ring(보통 [math]\mathbb{Z}_{p}[/math]라고 쓴다)은 여러 가지 방법으로 정의가 되는데, 그 중 하나는 [math]\lim \mathbb{Z}/\left(p^n\right)\mathbb{Z}[/math], 즉 [math]\mathbb{Z}/p^n\mathbb{Z}[/math]의 inverse limit으로 정의하는 방법이다. 이렇게 정의된 ring [math]\mathbb{Z}_{p}[/math]의 field of fractions, 즉 [math]\text{Frac}\left(\mathbb{Z}_{p}\right)[/math]가 바로 [math]p[/math]-adic rational들의 field로 정의되고, [math]\mathbb{Q}_{p}[/math]라고 쓴다. 매우 쓸모 없어 보이는 정의인데, 정수론 분야에서 쓸모가 아주 많다. [math]p[/math]-adic integer을 사용하지 않는 정수론 교재를 보기 힘들 정도. 게다가 이 괴상한 field를 사용해서 해석학을 전개하는 [math]p[/math]-adic analysis라는 분야도 있다! 여러 모로 신기한 분야이다.

2.4 이원수

Dual number
복소수와 유사한 것으로 이원수(Dual number)라는 것도 있다. [math] a+b\epsilon[/math]형태로 표현되며 [math] \epsilon^2 = 0 \left(\epsilon \ne 0\right) [/math]으로 정의된다. 생긴 건 복소수랑 비슷하게 생겼지만 성질은 꽤나 다르다. 간단히 [math] \left(a+b\epsilon\right)^2 [/math] 만 계산해 보아도, 상당히 특이한 결과가 나옴을 알 수 있다.
[math] \left(a+b\epsilon\right)^2 = a^2 + 2ab\epsilon [/math] 이고, [math] \left(a+b\epsilon\right)^3 = a^3 + 3a^2b\epsilon [/math] 이 된다.

참고로, 이름이 조금 잘못 지어진 것으로 보이는데, 사원수는 복소수의 확장이지, 이원수의 확장은 아니다.

와닿지도 않고 다룰 가치가 있는 건지 의심이 갈 수도 있지만, 이런 [math] \epsilon [/math]가 존재하는 집합이 있다. 바로 아래의 2x2 실행렬이 그것.
[math] \epsilon = \left(\begin{array}{cc}0 \quad 1 \\ 0 \quad 0\end{array}\right) [/math]

일반 실수 [math]r[/math]을 [math]rI[/math]([math]I[/math]는 2x2 단위행렬)에 대응시키는 사상을 생각하고 여기에 [math]\epsilon [/math]를 추가시켰다고 보면 된다.

이원수를 복소수와 조합하여 새로운 수 체계(사실상 2x2 실행렬을 허수단위를 이용해서 표현한 것에 불과하지만)를 만들 수 있는데 이는 dual complex numbers ( [math]a + bi + c\epsilon + di\epsilon [/math] 로 표현된다.) 라고 부르며, 사원수와 조합될 경우는 dual quaternions 이라 부르는 수 체계가 나온다.

2.5 분할복소수

Split-complex number
이원수와 마찬가지로 [math] a+bj[/math] 형태로 표현되며 [math]j^2 = 1 \left(j \ne \pm 1\right)[/math] 으로 정의되는 수 체계. 여기서의 [math]j[/math]는 사원수의 [math]j[/math]와는 전혀 다른 허수단위이다.
dual complex number를 일반 복소수와 분할복소수를 이용해서 [math]a + bi + cj + dij[/math] 등의 꼴로 표현할 수 있다. 이원수 [math]\epsilon [/math]는 [math]i[/math]와 [math]j[/math]의 선형결합으로 표현되기 때문.

위의 이원수와 합쳐서 고급 수학을 배우려는 아해들을 멘붕시키는 주범.

2.6 가우스 정수

Gaussian integer
'복소정수'라고도 하며, 두 정수 [math]a[/math], [math]b[/math] 에 대해서 [math] a + bi \left(i^2 = -1\right)[/math]로 표현되는 수를 의미한다. 덧셈군을 이룬다.

이런 수들 중 절댓값이 [math]1[/math]인 수([math]\pm 1[/math], [math]\pm i[/math])를 통틀어 unit이라고 하며 보통 [math]\epsilon [/math]로 표기한다. 두 가우스 정수 [math]\alpha [/math], [math]\beta [/math]가 어떤 유닛 [math]\epsilon [/math]에 대해 [math]\alpha =\epsilon \beta [/math]로 나타낼 수 있는 경우에 [math]\alpha [/math], [math]\beta [/math]는 연관되어 있다고 한다. (쉽게 말해 [math]a+bi[/math], [math]-b+ai[/math], [math]-a-bi[/math], [math]b-ai[/math]는 서로 연관되어 있다) 물론 모든 가우스 정수는 자기 자신과 연관되어 있다.

정수와 마찬가지로 가우스 정수 범위에서도 소수 등을 정의할 수 있다. unit을 제외한 두 개 이상의 가우스 정수의 곱으로 나타낼 수 없는 수를 '가우스 소수(Gaussian prime)'이라 부른다. 가우스 소수의 종류로는 [math]1+i[/math], [math]s\pm ti[/math], [math]4k+3[/math]꼴 소수([math]p[/math])가 있으며, 어떤 수가 가우스 소수가 되는 것과 예시로 든 3가지 중 하나와 연관되어 있는 것과 동치이다.
다만 정수에서 [math]-2[/math], [math]-3[/math]도 [math]\pm 1[/math]을 제외한 두 개 이상의 정수의 곱으로 나타낼 수 없으므로 소수이지만, 보통 소수라고 하면 양의 소수를 우선적으로 보기 때문에 [math]-2[/math], [math]-3[/math]은 소수를 다룰 때 끼워주지 않듯이, 가우스 정수 범위에서도 1사분면에 속한 수들을 주로 사용한다.

모든 가우스 정수는 1사분면에 속한 가우스 소수들로 유일하게 소인수분해가 가능하다.
다시 말해 가우스 정수 [math]\mu [/math]를 [math]\epsilon \pi \kappa \rho \cdots[/math]([math]\epsilon [/math]는 unit, [math]\pi [/math], [math]\kappa [/math], [math]\rho [/math] 등은 1사분면에 속한 가우스 소수)와 같이 표기 가능한 [math]\pi [/math], [math]\kappa [/math], [math]\rho [/math],···의 쌍은 재배열을 한 가지로 취급하면 유일하게 결정된다. 이 때 [math]\epsilon [/math]도 유일하게 됨은 자명하다.

[math] x^2 - y^2 = \left(x + y\right)\left(x - y\right) [/math] 로 인수 분해되는 것과 마찬가지로. [math] x^2 + y^2 = \left(x + yi\right)\left(x - yi\right)[/math] 로 인수 분해될 수 있다. 예를 들어, 가우스 정수 체계에서는 [math]2 = \left(1+i\right)\left(1-i\right)[/math] 로 소인수분해될 수 있으며, 2 는 가우스 소수가 아니다.

2.7 아이젠슈타인 정수

가우스 정수와 비슷하며, 두 정수 a, b 에 대해서 [math] a + b\omega \left(\omega^3 = 1\right)[/math] 로 표현되는 수이다. [math]\displaystyle \omega = -\frac{1}{2} + i\frac{\sqrt 3}{2} = e^{i \frac{2\pi} {3}}[/math]

2.8 기수

Cardinal
집합의 크기를 표현하기 위해서 자연수를 확장한 수 체계이다. 유한집합의 크기는 자연수에 대응되지만, 무한집합의 크기를 표현하기 위해서 초한기수라는 것을 도입한다.

2.9 서수

Ordinal
순서를 가진 집합(well ordered set)의 크기를 표현하기 위해서 자연수를 확장한 수 체계이다. 기수와 마찬가지로 유한집합은 자연수에 대응되지만, 무한집합의 경우는 상당히 복잡한 체계를 가진다.

2.10 초실수, 초현실수

Hyperreal numbers, Surreal numbers
이 두가지 수 체계는 서로 다른 모델이긴 하지만, 무한대와 '무한소'를 하나의 수로 취급한다는 점에서 유사하다. 또한, 서수(초한서수)와 유사점이 많다. 일단 실수가 아니다.

무한대를 [math]\omega [/math], 무한소를 [math]\epsilon [/math] 으로 표기하며, [math]2\omega [/math], [math]\omega -1[/math], [math]\omega /2[/math], [math]\omega ^2[/math], [math]\sqrt{\omega }[/math] 또는 [math]2\epsilon [/math], [math]\epsilon -1[/math], [math]\epsilon /2[/math], [math]\epsilon ^2[/math], [math]\sqrt{\epsilon }[/math] 같은 것도 다 정의되고, [math]\omega +\epsilon [/math], [math]\omega -\epsilon [/math] 같은 것도 얼마든지 정의된다. 또한, 어느 두 수를 선택하여도 대소 관계가 성립한다. 즉, 초현실수는 전순서 집합(totally ordered set)이다.

무한대가 존재하는 이런 수체계에서도 '가장 큰 수'는 여전히 정의되지 않는다. 당연한 게, 모든 수에 대해서 '임의의 정수배'나 [math]n+1[/math]을 할 수 있는 시점에서 '가장 큰 수'가 있을 수가 없다.

• 초실수 영문 위키백과
• 초현실수 영문 위키백과