전체 조망

Current Understanding

The wiki covers the differential geometry of curves and surfaces in $\mathbb{R}^3$ through two textbooks chosen for their contrasting methods.

원전 소개 — Pressley (ingested) develops the subject classically and parametrically: curves and surfaces are studied through explicit parametrizations $\gamma(t)$, $\sigma(u,v)$, and geometric quantities are concrete formulas. Its arc runs curves → curvature/torsion → surfaces → first & second fundamental forms → Gaussian/mean/principal curvatures → geodesics → Theorema Egregium → hyperbolic geometry, minimal surfaces, Gauss–Bonnet. See 읽기 경로 — Pressley.

원전 소개 — O'Neill (ingested) covers much of the same ground via Cartan's moving-frames method — differential forms, frame fields, connection and structural equations, the shape operator — and pushes further into abstract Riemannian geometry (geometric surfaces, completeness, Bonnet/Hadamard). Its structurally different flow is captured in reading path oneill.

The conceptual spine

1. Local invariants determine global shape up to rigid motion. Signed curvature determines a plane curve; $(\kappa,\tau)$ a space curve; the two fundamental forms a surface.
2. Intrinsic vs. extrinsic. The 제1기본형식 captures what a surface-bound observer can measure (length, angle, area, geodesics); the 제2기본형식 captures bending in space. The pivotal discovery — 빼어난 정리 — is that Gaussian curvature, though defined extrinsically, is actually intrinsic.
3. Curvature integrates to topology. 가우스–보네 정리: $\iint_S K\,dA = 2\pi\chi(S)$.

Open Questions

• A detailed side-by-side of the two Gaussian-curvature derivations (Pressley's Christoffel-symbol Gauss equations vs. O'Neill's second structural equation) would make a good analysis page.
• O'Neill's Ch. 8 (exponential map, completeness, Bonnet/Hadamard) extends well beyond Pressley; deeper treatment could become its own cluster if a graduate Riemannian-geometry text is later added.
• Korean summary raw/summary_korean.pdf not yet ingested — use as a cross-check on terminology.

Key Entities / Concepts

• Curves: 매개화된 곡선, 호장과 재매개화, 곡률과 비틀림, 곡선의 대역적 성질
• Surfaces: 곡면과 곡면 조각, 제1기본형식, 제2기본형식
• Curvatures: 가우스곡률과 평균곡률, 주곡률
• Intrinsic geometry: 측지선, 평행이동, 빼어난 정리
• Capstones: 극소곡면, hyperbolic geometry, 가우스–보네 정리
• O'Neill's moving-frames machinery: tangent vectors and vector fields, differential forms, frame fields and structural equations, euclidean isometries and congruence, 형상연산자, 기하 곡면과 완비성
• Reading paths: 읽기 경로 — Pressley, reading path oneill