대수와 해석을 잇는 새로운 교재, 『일변량 실수 분석』

초록

마틴 클라자르가 제시한 14개 장과 부록을 갖춘 일변량 실수 분석 교재는 실수 체계, 수열·급수, 함수극한, 연속·미분·적분 등 기본 개념을 현대적 시각으로 재구성한다. 기존 교재와 차별화되는 AK 급수 체계, 무한 집합 위의 합 정의, 새로운 평균값 정리 일반화 등 원리와 증명을 심도 있게 다루며, 연습문제와 해답을 풍부히 제공한다.

상세 분석

이 교재는 전통적인 실수 분석 강의노트를 체계적인 교과서 형태로 확장한 점이 가장 큰 특징이다. 첫 번째 장에서는 실수의 세 가지 구성(칸토어‑메레이, 데데킨트, 소수 전개)을 동시에 제시하고, 실수 체계의 동형성(정리 1.6.19)과 무가산성(칸토어 정리)을 직접 증명한다는 점에서 교재의 엄밀성을 강조한다. 특히 “함수와 동치” 개념을 초기에 도입함으로써 이후 장에서 함수 동등성에 대한 논의를 간결하게 만든 점은 교육적 가치가 크다.

두 번째 장에서는 수열의 극한에 대한 전통적 접근을 넘어, 무한 원소(R*)와 시프트 공리를 이용한 새로운 연산 체계를 제시한다(정리 2.1.6). 이는 극한 연산의 대수적 성질을 보다 일반화한 것으로, 무한값을 다루는 데 있어 교과서적 ‘무한대는 무시한다’는 태도를 탈피한다. 또한 “두 개의 서로 다른 극한을 갖는 부분수열 존재 ⇔ 전체 수열이 수렴하지 않는다”(정리 2.2.16)는 기존 교재에서 흔히 생략되는 역방향 명제를 명시함으로써 학생들의 직관을 교정한다.

특히 3장에 도입된 AK(Absolutely Convergent) 급수 개념은 ‘집합 위의 급수’를 일반화한다. 정의에 따라 무한 집합 X에 대한 합을 임의의 전단사 f:ℕ→X를 이용해 정의하고, 합의 교환법칙·결합법칙을 정리 3.1.3·3.1.6에서 증명한다. 이는 전통적인 수열 급수와 달리 ‘인덱스 집합이 가산이 아니어도’ 합을 정의할 수 있게 하여, 측도 이론이나 확률론에서의 무한 합을 직관적으로 설명하는 데 유용하다. 또한 AK 급수의 동치 관계 ∼를 통해 반정규반체(S)와 그 몫 구조 T가 반환체가 됨을 보인 점은 대수적 구조 연구에 새로운 시각을 제공한다.

4·5장에서는 함수의 표기법을 체계화하고, 함수 연산(합, 곱, 나눗셈, 합성, 역함수)과 미분·적분 연산을 ‘전역 연산’으로 다룬다. 특히 5.1.4·5.1.30을 통해 지수·삼각함수의 기본 항등식을 엄밀히 증명하고, ‘초등함수’를 정의(5.2.7)함으로써 비공식적인 교과서식 서술을 배제한다.

연속성 장(6장)에서는 블루머그 정리(정리 6.1.15)를 ‘MA 1+’라는 새로운 증명법으로 제시하고, 시에르핀스키 정리(6.2.4)를 ZF 체계에서 증명함으로써 선택공리 의존성을 최소화한다. 연속함수 집합과 실수 집합 사이의 전단사(정리 6.3.5)를 제시해 연속함수의 ‘크기’를 직관적으로 보여준다. 또한 균등연속 함수의 확장 정리(정리 6.6.10)와 이를 이용한 최소극대 정리 일반화(정리 6.6.11)는 실해석에서 중요한 응용 가능성을 시사한다.

미분 장(7장)에서는 전통적인 ‘내부점에서만 정의’ 방식을 탈피해 경계점에서도 미분을 정의하고, 미분을 ‘단항 연산’으로 취급한다. 이는 미분 연산의 대수적 폐쇄성을 강조하며, ‘접선’ 개념을 ‘극한 secant’으로 정형화(정리 7.2.10·7.2.15)한다. 또한 미분 연산이 일반적인 산술 연산과 상호작용할 때 발생하는 비직관적 현상(예: (arcsin x−arcsin x)’≠… )을 명시해 학생들이 흔히 저지르는 오류를 방지한다.

평균값 정리 장(8장)에서는 롤, 라그랑주, 코시 정리를 기존보다 넓은 정의역(예: 양쪽 극한점이 존재하는 집합)으로 일반화하고, 이를 이용해 로그수열의 P‑재귀성 부정, 실수 초월수 존재 증명 등을 전개한다. 특히 ‘13단계 그래프 그리기 절차’를 제시해 함수의 기하학적 직관을 강화한다.

910장은 테일러 급수와 실해석 함수를 다루며, 테일러 급수의 연산 체계와 실해석 함수의 정의(정리 10.3) 등을 체계화한다. 1113장은 뉴턴·리만·헨스톡‑쿠르츠와일 적분을 순차적으로 소개하고, 14장은 적분의 다양한 응용(면적, 길이, 확률 등)을 제시한다.

부록 A에서는 논리·집합론, ZFC와 클래스, 복소수, 거리공간 등을 정리하고, 부록 B에서는 모든 연습문제의 해답을 제공한다. 전체적으로 교재는 ‘정리·증명·연습·해답’의 네 단계 구조를 고수하면서, 각 장마다 기존 교재와 차별화되는 새로운 정리와 증명을 삽입해 학습자에게 깊이 있는 이해와 연구적 호기심을 동시에 제공한다.