본문 바로가기
728x90

학문46

무한의 구조 (5) - 실수 집합의 크기 집합론을 처음 접할 때 우리는 자연수 집합 ℕ, 정수 집합 ℤ, 유리수 집합 ℚ 등 가부번 집합(denumerable sets)을 주로 접하게 됩니다. 이전글에서 이들 집합은 무한히 많은 원소를 갖고 있지만, 각 원소를 일렬로 나열할 수 있어 자연수 집합과 일대일 대응이 가능하므로 정수 집합 ℤ, 유리수 집합 ℚ, 자연수 집합 ℕ은 모두 같은 크기라는 것을 살펴보았습니다.이러한 경험은 우리에게 "모든 무한 집합은 가부번 집합인 것이 아닐까?"라는 생각을 심어줄 수 있습니다. 실제로 Georg Cantor도 초기에 이와 같은 가정을 가지고 연구를 시작했던 것으로 알려져 있습니다. 그러나 그는 오히려 모든 무한 집합이 가부번인 것은 아니라는 사실을 스스로 증명하며, 수학사에 지대한 전환점을 가져오게 됩니다... 2025. 7. 16.
무한의 구조 (4) - 정수와 유리수 집합의 크기 수학을 처음 배울 때 우리는 자연수, 정수, 유리수, 실수 등 다양한 수 체계를 접하게 됩니다. 이들 사이에는 분명한 포함 관계가 있습니다. 예를 들어, ℕ⊂ℤ⊂ℚ⊂ℝ 처럼 말이지요. 그렇다면 이 집합들은 크기도 점점 커지는 것일까요?정수는 자연수보다 더 많은 수를 담고 있고, 유리수는 그보다 더 촘촘해 보이는데, 정말로 더 ‘큰’ 집합일까요?수학적으로 “크기”를 비교할 때는 단순히 원소의 수만 따지지 않습니다. 무한 집합의 경우엔 특히, 서로 일대일 대응이 가능한지가 그 기준이 됩니다. 이 기준에 따르면, 놀랍게도 다음과 같은 결론이 나옵니다:정수 집합 ℤ, 유리수 집합 ℚ, 자연수 집합 ℕ은 모두 같은 크기(기수, cardinality)를 갖는다.이 글에서는 정수와 유리수가 자연수와 “같은 크기”라는.. 2025. 7. 9.
무한의 구조 (3) - 무한의 크기 수학에서 집합의 크기를 비교하는 가장 일반적이고 강력한 도구 중 하나는 이 시리즈의 앞선 글에서 계속 살펴본 일대일 대응(one-to-one correspondence)입니다. 이 개념은 유한 집합뿐 아니라 무한 집합에서도 사용되어, 서로 다른 무한 집합들의 “크기” 또는 기수(cardinality)를 정의하고 비교할 수 있게 해줍니다.이 글에서는 유한 집합에서 출발하여 가부번 집합(denumerable set)과 가산 집합(countable set)이라는 개념을 도입하고, 이와 관련된 주요 정리와 증명을 살펴보도록 하겠습니다. 일대일 대응과 동등 기수두 유한 집합 X와 Y는 일대일 대응 f: X→Y가 존재할 때 그리고 그때에만 두 집합의 원소 개수가 같다는 사실은 자명합니다.X와 Y가 무한 집합일 경우.. 2025. 7. 6.
무한의 구조 (2) - 집합의 무한성과 유한성 집합의 유한성과 무한성은 수학의 기초 개념 중 하나로, 직관적으로는 "셀 수 있는가?"에 대한 문제처럼 보이지만, 이를 정확히 다루기 위해서는 수학적으로 엄밀한 정의가 필요합니다. 이 글에서는 이전글과 이어지는 주제로 유한 집합과 무한 집합에 관련된 정리들과 그 증명들을 살펴보며, 유한성에 대한 수학적 기반을 탄탄히 정리해보고자 합니다.보조 정리무한 집합에서 원소를 하나 제거해도 여전히 무한합니다.즉, 무한 집합 X와 그 안의 어떤 원소 x₀∈X에 대해, X−{x₀} 역시 무한 집합입니다.증명무한 집합의 정의에 따라, 무한 집합 X에는 f(X)⊂X인 단사 함수 f: X→X가 존재합니다.여기서 아래처럼 두 가지 경우로 나눠서 증명할 필요가 있습니다. (1) x₀∈f(X)이 경우 f(x₁)=x₀​가 되는 어.. 2025. 7. 2.
무한의 구조 (1) - 무한 집합 집합에 대한 글에서 유한 집합이란 “유한한 개수의 원소만을 포함하는 집합” 정도로 간단히 언급된 바 있고 무한 집합이란 "원소가 끝없이 이어져서 셀 수 없는 집합"이라고 소개된 바 있습니다. 그러나 이러한 개념은 보다 정밀한 수학적 정의로 다듬을 수 있으며, 그 과정에서 여러 수학자들이 다양한 방식으로 무한성의 개념을 정립해 왔습니다.이 시리즈에서는 특히 Richard Dedekind가 제시한 정의를 중심으로 무한 집합의 본질을 살펴보고자 합니다. Dedekind는 무한 집합을 유한 집합과 구별짓는 근본적인 성질을 하나의 정의로 정식화하였습니다.무한 집합의 정의1888년, Dedekind는 다음과 같은 정의를 제시했습니다:정의어떤 집합 X가 자기 자신과 일대일 대응이 가능한 진부분집합을 가질 때, X를 .. 2025. 6. 29.
함수의 기초 (7) - 합성함수 함수의 개념은 수학 전반에 걸쳐 핵심적인 도구로 사용됩니다. 특히 두 함수의 결합을 통한 합성 함수(composite function) 개념은 다양한 분야에서 이론적·실용적으로 중요하게 다뤄집니다. 본 글에서는 함수 합성의 정의 및 그 연산이 갖는 주요 성질을 정리해 보겠습니다.합성함수함수 f: X→Y는 집합 X의 임의의 원소 x를 받아 일정한 규칙에 따라 Y의 원소 f(x)로 변환하는 일종의 기계로 이해할 수 있습니다. 이러한 사고 방식은 함수가 단순한 대응 관계를 넘어서 정보를 변환하는 처리 장치로 작동함을 암시할 수 있지요. 이와 같은 관점은 두 개의 함수 f: X→Y, g: Y→Z를 결합할 때 더욱 명확해집니다. 예컨대 세탁기와 건조기를 각각 함수 f, g 로 생각한다면, 더러운 옷 x는 세탁기를.. 2025. 6. 26.
728x90