전체 조망

현재의 이해

개념적 척추

이 분야의 거의 모든 정리는 완비성 을 새 맥락에서 풀어낸 것이다:

1. 수. $\mathbb{R}$ 는 유일한 완비 순서체. $\mathbb{Q}$ 는 대수·순서는 갖되 완비성이 없다 — 유리수 $\sqrt2$ 가 없다. 완비성은 상한의 존재(supremum infimum)로 진술되며 단조수렴·축소구간·Bolzano–Weierstrass·Cauchy 형태와 동치다. → 실수 체계, countability
2. 수열의 극한(수열의 수렴, 코시 수열)이 최초의 극한 과정; 볼차노–바이어슈트라스 정리 와 콤팩트성 가 완비성을 집합에 쓸 수 있게 포장.
3. 함수의 극한·연속(함수의 극한, 연속)은 수열 이론을 상속; 콤팩트성·연결성이 최대최소·중간값 정리와 균등연속 를 준다.
4. 미분(미분, 테일러 정리)은 국소 선형근사; 평균값 정리가 주력.
5. 적분(리만 적분, 미적분학의 기본정리)은 합의 극한; FTC가 미분을 역으로 돌린다. 두 고전적 확장 — 측도 기반(lebesgue theory)과 게이지 기반(gauge integral) — 이 Riemann이 못 다루는 함수를 적분한다.
6. 균등수렴(균등수렴)이 함수의 극한을 잘 행동하게 해 power series 와 초월함수, 그리고 (Rudin) stone weierstrass 를 떠받친다.
7. 더 높은 곳(Rudin 전용): functions several variables, differential forms/Stokes, lebesgue theory 가 대학원 해석학·기하학으로 잇는다.

dual-flow 명제

이 위키는 같은 수학에 대한 두 철학 사이에 주제를 매달아 둔다:

• Rudin — 최대 일반성 우선. 거리공간·위상이 2장(수열보다 먼저); $\mathbb{R}$ 를 dedekind cuts 로 구성; 적분을 Riemann–Stieltjes·Lebesgue 로 일반화; Stokes 정리로 정점. 간결·우아, 대학원으로 가는 다리.
• Bartle — 특수에서 일반으로. 모든 것을 $\mathbb{R}$ 에서 수열로(볼차노–바이어슈트라스 정리); 완비성을 상한 성질로 가정; 게이지 를 관통 장치로 삼아 gauge integral 로 정점; 위상은 닫는 "엿보기"로만. 친절·동기, 엄밀한 첫 과정.

둘은 같은 정리에 정반대 경로로 도달한다 — 가장 생생하게는 최대최소 정리(열린 덮개 vs 부분수열)와 Riemann 넘어서기 적분(측도 vs 게이지). 전체 대응은 rudin vs bartle.

열린 질문

• 두 적분 일반화의 위력은 정확히 어디서 갈라지는가? (게이지 적분 ⊋ Lebesgue ⊋ Riemann; Riemann–Stieltjes는 직교 — 가변 적분기이지 가변 mesh 아님.) → gauge integral, lebesgue theory, riemann stieltjes integral
• 향후 Royden/Stein 수용으로 측도론 측면을 Rudin의 한 장 너머로 심화 가능.

핵심 개념

• 가장 첨예한 분기: 완비성 공리(공리 vs 구성), 콤팩트성(덮개 vs 수열), 리만 적분(순서 vs 극한)과 그 두 일반화.
• Rudin 고유: 거리공간, riemann stieltjes integral, stone weierstrass, functions several variables, differential forms, lebesgue theory.
• Bartle 고유: 볼차노–바이어슈트라스 정리(주력 도구), gauges, gauge integral.
• 진입점: rudin vs bartle(비교), 읽기 경로 — Rudin, reading path bartle.