짝수와 짝수의 합은 언제나 짝수이고 짝수와 홀수의 합은 언제나 홀수이다. 이와 비슷하게, 유리수와 유리수의 합은 언제나 유리수이지만 유리수와 무리수의 합은 언제나 무리수가 된다. 따라서 '짝수와 유리수가 무언가 유사한 수학적 구조를... Read more »
집합론을 배우면서 접하게 되는 (직관에 반하는) 정리 중의 하나는, $\R$은 $\C$의 진부분집합(proper subset)임에도 불구하고, $\R$과 $\C$의 기수(cardinality)가 같다는 사실이다. 따라서 집합론적인 관점에서는 $\R$과 $\C$를 같은 집합, 즉 동형(isomorphic)이라고 보아도 크게... Read more »
정수론에서 합동(modular)의 개념을 정의하고 나서 바로 배우는 세 가지의 정리가 있다. 이들은 각각 페르마의 소정리(Fermat's little theorem), 오일러의 정리(Euler's theorem), 그리고 윌슨의 정리(Wilson's theorem)를 말하는데, 이 정리를 기반으로 합동식에 대한... Read more »
다항식의 나눗셈 정리(polynomial division theorem)에 의하면 다음 사실이 성립한다: 서로 다른 두 다항식 $f$, $g$에 대하여 아래 다항식을 만족하는 두 다항식 $q$와 $r$이 유일하게 존재한다. \[ f(x) = g(x)q(x) +... Read more »
순서체(ordered field)란 체(field) $F$에 순서 구조가 주어진 공간을 말한다. 순서체의 수학적 정의는 다음과 같다. 정의. 순서체(ordered field) $F$가 임의의 체(field)하 하자. 그러면 다음 두 주건을 만족하는 집합 $P \subseteq... Read more »
작성중...
5. 사원수(Quaternion)의 곱셈 이제까지 사원수의(quaternion)의 곱셈이 아래의 식 \[ \begin{aligned} (a_1,\,b_1,\,c_1,\,d_1) &\times (a_2,\,b_2,\,c_2,\,d_2) \\[5pt] &= (a_1a_2 - b_1b_2 - c_1c_2 - d_1d_2,\, a_1b_2 + b_1a_2 + c_1d_2 - d_1c_2, \\[5pt] &... Read more »
사중쌍(quadruple)과 사원수(Quaternion) 삼중쌍(triple)에 대한 실패를 바탕으로 해밀턴은 사중쌍(quadruple)과 사중쌍의 사칙연산에 대한 연구를 시작하였다. 우선 해밀턴은 사중쌍 $(a,\,b,\,c,\,d) = a + bi + cj + dk$에 사칙연산에 대한 법칙 $i^2 =... Read more »
3. 삼중쌍(triple)의 실패 해밀턴은 우선 삼중쌍(triple)을 아래와 같이 이중쌍(couple)을 확장한 것으로써 정의하였다. \[ (a,\,b,\,c), \quad a,\,b,\,c \in \R. \] 그 다음 삼중쌍들 사이의 사칙연산을 잘 정의하여, 실수의 사칙연산과 이중쌍의 사칙연산이... Read more »
1. 소개 수학의 모든 위대한 발견들은 당대의 천재들의 번뜩이는 영감에 의해서 어느날 갑자기 이루어지는 것이 아니다. 선대의 수많은 수학자들이 앞서 발견하고 정리해 온 수학적 토대 위에 적게는 수개월에서 많게는 수십년에... Read more »