# 이해를 위한 사전 지식 (Prerequisite Knowledge for Understanding Sequences and Limits)

#### 실수 집합의 기본 성질

**실수 집합 (Real Numbers, $ \mathbb{R} $)의 완비성 (Completeness):**\
실수 집합은 완비성(completeness)이라는 중요한 성질을 지닌다. 이는 모든 유계(bounded) 실수 수열이 극한을 가질 수 있다는 사실을 보장한다. 완비성은 실수의 아키메데스 성질(Archimedean property)와 함께, 실수 집합이 가지는 주요 특성 중 하나이다.

**상한과 하한 (Supremum and Infimum):**\
어떤 집합이 유계(bounded)라면, 그 집합의 상한과 하한이 존재한다. 이는 수열에서 상한(supremum)과 하한(infimum)을 정의하는 데 필수적인 개념이다. 상한은 집합의 원소 중 가장 큰 값으로, 하한은 가장 작은 값을 의미한다. 상한과 하한의 존재 여부는 집합이 닫힌(closed) 경우에 결정적으로 작용한다.

**아키메데스 성질 (Archimedean Property):**\
실수 집합 $ \mathbb{R} $의 아키메데스 성질은 다음과 같이 정의된다: 임의의 실수 $ x $에 대해, 자연수 $ n $이 존재하여 $ n > x $를 만족시킨다. 이는 자연수 집합이 실수 집합에 대해 하한이 없음을 의미하며, 실수의 기초적인 성질을 이해하는 데 중요한 역할을 한다.

#### 집합론과 함수

**집합 (Set)의 기초 개념:**\
수열과 극한을 이해하기 위해서는 집합론의 기초 개념이 필수적이다. 집합은 특정 조건을 만족하는 원소들의 모임으로 정의되며, 집합의 원소들 간의 관계와 연산이 수학 전반에 걸쳐 사용된다. 대표적인 연산으로는 교집합(intersection), 합집합(union), 여집합(complement)이 있으며, 이는 수열의 성질을 정의할 때 활용된다.

**함수 (Function)의 정의와 성질:**\
함수는 한 집합에서 다른 집합으로의 사상(mapping)으로 정의된다. 수열 자체가 자연수 집합에서 실수 집합으로의 함수로 볼 수 있기 때문에, 함수의 개념이 중요하다. 특히, 함수의 단사성(injectivity), 전사성(surjectivity), 그리고 전단사성(bijectivity)은 수열의 수렴성 등을 논의할 때 필수적인 도구이다.

**수렴성 (Convergence)과 연속성 (Continuity):**\
함수의 수렴성과 연속성은 수열의 극한을 다룰 때 근본적인 역할을 한다. 수렴성은 함수가 특정 값에 가까워지는 성질을 나타내며, 연속성은 함수의 정의역에서 작은 변화가 치역에서 작은 변화를 일으키는 성질을 나타낸다. 이러한 개념들은 극한의 개념을 다룰 때 필수적이다.

#### 기초 대수학과 불등식

**대수적 연산의 기본 성질:**\
수열의 성질을 논의할 때, 덧셈, 뺄셈, 곱셈, 나눗셈과 같은 기본 대수적 연산이 빈번하게 사용된다. 특히, 덧셈과 곱셈의 교환법칙(commutative property), 결합법칙(associative property), 분배법칙(distributive property)은 수열에서 발생하는 다양한 연산의 기초가 된다.

**불등식 (Inequalities):**\
불등식은 수열의 수렴과 극한을 분석할 때 필수적인 도구이다. 대표적으로 삼각 부등식(triangle inequality)은 수열의 수렴성을 증명하는 데 자주 사용된다. 삼각 부등식은 다음과 같은 형태로 나타난다:

$$
|a + b| \leq |a| + |b|
$$

또한, 코시 부등식(Cauchy-Schwarz inequality)과 같은 복잡한 불등식들은 고차원 수열이나 벡터 공간에서 수렴성을 다룰 때 중요한 역할을 한다.

#### 위상수학의 기본 개념

**열린 집합 (Open Set)과 닫힌 집합 (Closed Set):**\
수열의 극한은 주로 열린 집합과 닫힌 집합의 개념을 통해 설명된다. 열린 집합은 그 내부의 모든 점이 그 집합에 포함되는 집합을 의미하며, 닫힌 집합은 그 경계(boundary)를 포함하는 집합을 의미한다. 이러한 개념은 수열의 수렴을 정의할 때 사용된다.

**집합의 내접점 (Interior Point)과 경계점 (Boundary Point):**\
내접점은 집합 내부의 모든 방향으로 열린 이웃집합(neighborhood)을 가질 수 있는 점을 의미하며, 경계점은 집합의 경계에 위치한 점으로 열린 이웃집합이 부분적으로만 집합에 포함되는 경우를 말한다. 이러한 개념은 수열의 극한값이 존재하는지 여부를 판단하는 데 중요한 역할을 한다.

**콤팩트 집합 (Compact Set):**\
콤팩트 집합은 수열의 모든 부분 수열이 수렴점을 가지는 집합을 의미하며, 이는 수열의 수렴성 및 극한을 논의할 때 필수적인 개념이다. 특히, 하이네-보렐 정리(Heine-Borel theorem)는 유클리드 공간에서의 콤팩트성을 설명하는 주요 정리이다.

#### 해석학의 기본 정리들

**볼차노-바이어스트라스 정리 (Bolzano-Weierstrass Theorem):**\
이 정리는 유계 수열(bounded sequence)에서 항상 수렴하는 부분 수열(subsequence)이 존재함을 보장하는 정리이다. 이 정리는 수열의 수렴성을 논의할 때 매우 중요한 역할을 하며, 여러 해석학적 결과들의 기초를 이룬다.

**하이네-칸토어 정리 (Heine-Cantor Theorem):**\
이 정리는 연속함수가 콤팩트 집합 위에서 균등 연속(uniformly continuous)함을 나타낸다. 이는 수열과 연속 함수의 상관관계를 이해하는 데 필수적이다.

**코시 수열 (Cauchy Sequence)와 완비성:**\
코시 수열은 수열의 임의의 항 사이의 거리가 점점 작아지는 수열을 의미하며, 이는 수열의 수렴성을 판단하는 중요한 도구이다. 실수 집합의 완비성은 모든 코시 수열이 수렴함을 보장한다.

***

관련 자료:

* Rudin, W. (1976). *Principles of Mathematical Analysis* (3rd ed.). McGraw-Hill.
* Apostol, T. M. (1974). *Mathematical Analysis* (2nd ed.). Addison-Wesley.
* Munkres, J. R. (2000). *Topology* (2nd ed.). Prentice Hall.
* Courant, R., & John, F. (1999). *Introduction to Calculus and Analysis* (Vol. 1). Springer.