이 문서의 과거 버전 (r1)을 보고 있습니다. 수정일: 2026.02.26 17:50
대수적 수는 정수 계수 또는 유리수 계수를 갖는 다항방정식의 근이 될 수 있는 수이다. 이는 복소수 영역에서 정의되며, 유리수와 무리수 중에서도 특정한 조건을 만족하는 수들을 포함한다. 반대로, 이러한 다항방정식의 근이 될 수 없는 수는 초월수라고 부른다. 대수적 수의 집합은 대수학과 대수적 정수론의 주요 연구 대상 중 하나이다.
대표적인 대수적 수의 예로는 모든 유리수가 있다. 예를 들어, 유리수 3/5는 5x - 3 = 0이라는 정수 계수 일차방정식의 해가 되기 때문이다. 또한, 허수단위 i는 x² + 1 = 0의 근이므로 대수적 수에 속한다. 무리수 중에서도 √2는 x² - 2 = 0의 근이므로 대수적 무리수이다. 이와 달리, 원주율 π나 자연로그의 밑 e는 초월수에 해당한다.
모든 대수적 수의 집합은 셀 수 있는 무한 집합으로, 그 크기는 자연수나 정수의 집합과 같은 ℵ₀(알레프-제로)이다. 이는 대수적 수가 셀 수 있을 만큼만 많음을 의미한다. 반면, 초월수의 집합은 실수의 집합과 같은 크기의 셀 수 없는 무한 집합이며, 따라서 대수적 수보다 훨씬 더 많다.
대수적 수는 정수 계수 다항방정식의 근이 될 수 있는 수를 말한다. 여기서 '정수 계수'는 유리수 계수로 바꾸어 말할 수도 있다. 왜냐하면 모든 유리수 계수 다항방정식은 분모의 최소공배수를 양변에 곱함으로써 항상 정수 계수 다항방정식으로 변환할 수 있기 때문이다. 이 정의는 복소수 범위에서 일반적으로 적용되며, 허수단위 i는 방정식 x² + 1 = 0의 해이므로 대수적 수에 포함된다.
이와 반대되는 개념은 초월수이다. 초월수는 정수 계수 다항방정식의 근이 될 수 없는 수를 지칭한다. 대표적인 예로는 원주율 π와 자연로그의 밑 e가 있다. 모든 유리수는 1차 방정식의 해가 될 수 있으므로 당연히 대수적 수이며, 무리수 중에서도 √2와 같은 수는 방정식 x² - 2 = 0의 해이므로 대수적 무리수에 속한다.
대수적 수의 집합은 가산 무한 집합이며, 그 크기는 자연수나 유리수의 집합과 같은 ℵ₀(알레프 제로)이다. 이는 가능한 모든 정수 계수 다항방정식의 개수가 가산 무한하고, 각 방정식이 가질 수 있는 근의 개수는 유한하다는 사실로부터 유도할 수 있다. 이 분야는 대수학과 대수적 정수론에서 중요한 연구 대상이 된다.
대수적 수의 집합은 자연수, 정수, 유리수의 집합과 마찬가지로 셀 수 있는 무한 집합이다. 즉, 그 크기(기수)는 알레프-0(ℵ₀)이다. 이는 모든 대수적 수가 정수 계수 다항방정식의 근으로 표현될 수 있고, 이러한 다항방정식은 가산 무한개만 존재하기 때문이다. 구체적으로, 각 다항방정식은 유한개의 근을 가지므로, 모든 대수적 수를 유한한 단계를 거쳐 일렬로 나열할 수 있다.
반면, 초월수의 집합은 실수 전체의 집합과 같은 크기인 연속체의 크기(c)를 가진다. 이는 게오르크 칸토어가 처음 증명한 바와 같이, 실수가 자연수와 일대일 대응이 될 수 없기 때문이다. 따라서, 대수적 수는 실수나 복소수의 공간에서 매우 드문 점에 해당한다고 볼 수 있다. 수학적으로는 거의 모든 실수 또는 복소수가 초월수이다.
이러한 집합 크기의 차이는 수 체계의 구조를 이해하는 데 중요한 단서를 제공한다. 대수학과 대수적 정수론에서는 주로 가산 무한인 대수적 수의 세계를 탐구하는 반면, 해석학에서는 주로 비가산 무한인 실수의 세계를 다룬다.
대수적 수의 집합은 체를 이룬다. 즉, 두 대수적 수를 더하거나 빼거나 곱하거나 (0이 아닌 수로) 나눈 결과도 항상 대수적 수이다. 또한, 대수적 수 계수를 가지는 다항방정식의 근은 항상 대수적 수가 된다. 이러한 성질을 '대수적으로 닫힌 체'라고 부르며, 대수적 수의 집합은 유리수 체의 대수적 폐포, 즉 유리수를 포함하면서 대수적으로 닫힌 가장 작은 체이다.
이와 대조적으로, 대수적 수인 실수만을 모은 집합 또한 체를 이루지만, 이 집합은 대수적으로 닫혀 있지 않다. 예를 들어, 방정식 x^2 + 1 = 0의 근인 허수 단위 i는 실수가 아니기 때문이다. 대수적 수의 체는 대수학과 대수적 정수론의 핵심적인 연구 대상이며, 갈루아 이론을 통해 그 구조를 심도 있게 탐구한다.
대수적 수의 가장 기본적인 예는 모든 유리수이다. 임의의 유리수 a/b (여기서 a와 b는 정수)는 일차방정식 b*x - a = 0의 근이 되므로, 정의에 따라 대수적 수이다. 따라서 자연수, 정수를 포함한 모든 유리수는 대수적 수에 속한다.
유리수가 아닌 대수적 수, 즉 대수적 무리수의 대표적인 예로는 제곱근이 있다. 예를 들어, √2는 방정식 x² - 2 = 0의 근이며, √3은 x² - 3 = 0의 근이다. 황금비 φ = (1+√5)/2 역시 이차방정식 x² - x - 1 = 0의 근이므로 대수적 수이다. 허수단위 i는 방정식 x² + 1 = 0의 근이므로, 복소수이면서도 대수적 수에 속한다.
더 일반적으로, 1의 거듭제곱근 (단위근)은 모두 대수적 수이다. 예를 들어, n이 자연수일 때, 방정식 xⁿ - 1 = 0의 근인 모든 복소수 해는 대수적 수이다. 이는 원주율 π와 자연로그의 밑 e와 같은 초월수와 대비되는 성질이다.
초월수는 정수 계수 다항방정식의 근이 될 수 없는 수를 말한다. 이는 대수적 수의 반대 개념에 해당한다. 대표적인 초월수의 예로는 원주율 π와 자연로그의 밑 e가 있으며, 이들은 유리수 계수의 어떠한 다항방정식의 해도 될 수 없다는 것이 증명되어 있다. 초월수는 실수와 복소수 체계 내에 존재하며, 대수학과 해석학의 중요한 연구 대상이다.
초월수의 존재는 게오르크 칸토어의 연구를 통해 집합론적 관점에서도 설명된다. 모든 대수적 수의 집합은 자연수의 집합과 같은 크기, 즉 가산 무한 집합(ℵ₀)임이 알려져 있다. 반면, 초월수로 이루어진 집합은 모든 실수의 집합과 같은 크기, 즉 비가산 무한 집합(c)을 가진다. 이는 직관적으로, 수직선 위의 거의 모든 점이 초월수에 해당하며, 대수적 수는 매우 드문 예외에 불과함을 의미한다.
초월수의 구체적인 판별은 어려운 문제로 남아 있으며, 린데만-바이어슈트라스 정리와 같은 강력한 도구를 필요로 한다. 이 정리에 따르면, 0이 아닌 대수적 수 a에 대해 e^a는 항상 초월수이며, 1이 아닌 양의 대수적 수 a에 대한 자연로그 ln a 또한 초월수이다. 이를 통해 π와 e가 초월수임이 증명될 수 있다.
대수적 정수는 대수적 수의 특별한 부분집합으로, 최고차항의 계수가 1인 정수 계수 일변수 다항방정식의 근이 되는 수를 말한다. 이는 대수적 수의 정의에서 계수 조건을 더 강화한 것이다. 모든 유리수는 대수적 수이지만, 모든 유리수가 대수적 정수인 것은 아니다. 예를 들어, 유리수 1/2는 일차방정식 2x-1=0의 근이지만, 최고차항 계수가 1인 정수 계수 다항방정식의 근이 될 수 없으므로 대수적 정수가 아니다.
대표적인 대수적 정수의 예로는 일반적인 정수 (..., -2, -1, 0, 1, 2, ...), 허수단위 i (x²+1=0의 근), 그리고 2의 제곱근 √2 (x²-2=0의 근) 등이 있다. 황금비 φ = (1+√5)/2 역시 x²-x-1=0의 근이므로 대수적 정수에 속한다. 이처럼 대수적 정수는 유리수 체를 넘어선 수 체계의 확장을 연구하는 대수적 정수론의 핵심 연구 대상이다.
대수적 정수들의 집합은 덧셈, 뺄셈, 곱셈에 대해 닫혀 있어 환의 구조를 이룬다. 그러나 나눗셈에 대해서는 일반적으로 닫혀 있지 않아 체를 이루지는 않는다. 이 성질은 일반 정수의 집합 Z가 환을 이루는 것과 유사하다. 실제로, 일반 정수의 집합 Z는 대수적 정수 집합의 부분집합이자 가장 기본적인 예시가 된다.
대수적 정수와 대수적 수의 관계는 정수와 유리수의 관계를 일반화한 것으로 볼 수 있다. 모든 대수적 정수는 대수적 수이지만, 그 역은 성립하지 않는다. 이 개념은 이차 수체나 원분체와 같은 대수적 수체에서 정수론적 성질을 연구하는 데 필수적이며, 페르마의 마지막 정리 증명을 포함한 현대 정수론의 여러 중요한 결과들의 토대를 제공한다.
대수적 수의 집합은 유리수의 대수적 폐포로, 복소수 체의 가산 무한 부분체를 이룬다. 이는 대수학과 대수적 정수론의 핵심 연구 대상 중 하나이다. 대수적 수의 집합은 체를 이루며, 사칙연산에 대해 닫혀 있을 뿐만 아니라 대수적으로 닫혀 있다는 점에서 주목할 만하다. 즉, 대수적 수 계수의 다항방정식의 근은 항상 대수적 수이다.
대수적 수의 집합은 크기가 가산 무한이지만, 실수 체 내에서는 그 분포가 매우 드물게 느껴질 수 있다. 측도론적 관점에서 보면, 실수 직선 상에서 대수적 수의 르베그 측도는 0이다. 이는 비가산 무한한 초월수 집합에 비해 대수적 수가 극히 일부에 불과함을 의미한다. 그러나 정수나 유리수와는 달리, 대수적 수 집합은 무리수를 포함하는 비가산 무한한 부분집합을 가지고 있다.
대수적 수의 개념은 수 체계의 확장과 방정식의 가해성 연구에서 자연스럽게 등장했다. 역사적으로 페르마의 마지막 정리와 같은 문제를 다루는 과정에서 대수적 정수의 성질이 탐구되었고, 이는 현대 정수론의 기초가 되었다. 또한 갈루아 이론은 방정식의 근이 대수적 수일 때 그 근들의 대칭성을 체계적으로 설명하는 틀을 제공한다.
대수적 수 이론의 응용은 순수 수학을 넘어 암호학과 오류 정정 부호 설계 등에도 영향을 미치고 있다. 예를 들어, 타원곡선 기반 암호 시스템은 대수적 수체 위에서 정의된 타원곡선의 군 구조를 이용한다.