원전 소개 — O'Neill

Summary

O'Neill develops the same subject as 원전 소개 — Pressley — curves and surfaces in $\mathbb{R}^3$ — but through Cartan's method of moving frames, a structurally different route. The book's thesis, stated up front, is that "the theory of curves in $\mathbb{R}^3$ is merely a corollary" of the Frenet formulas, and that the same frame-based method, generalized by Cartan, governs surfaces too.¹ Cartan's essential idea: to each point of the object under study assign a frame (orthonormal triple), then express the rate of change of the frame in terms of the frame itself.²

The machinery is built deliberately in Chapter 1–2 before any deep geometry: tangent vectors and vector fields, directional/covariant derivatives, and especially differential forms (1-forms, the wedge product, the exterior derivative $d$). This apparatus lets O'Neill package the moving frame as a matrix of connection 1-forms $\omega_{ij}$ and state the Cartan structural equations — the organizing center of the whole book.³ Curves (the Frenet frame) and surfaces (adapted frames, the shape operator) then both fall out as special cases of this one method.

The later chapters push further into intrinsic / Riemannian geometry than Pressley: Chapter 7 abstracts away $\mathbb{R}^3$ entirely, defining a geometric surface as an abstract surface with an inner product (metric tensor) on each tangent plane — i.e. a 2-dimensional Riemannian manifold.⁴ Chapter 8 studies the global influence of Gaussian curvature on geodesics via the exponential map, completeness, covering surfaces, and the theorems of Bonnet and Hadamard.⁵

Key Takeaways

• Everything is a derivative of a frame. Assign a frame field $E_1,E_2,E_3$; the connection forms $\omega_{ij}(v)=\nabla_v E_i\cdot E_j$ record how it rotates, and $\omega$ is a skew-symmetric matrix of 1-forms.⁶
• Cartan structural equations unify the subject: $d\theta_i = \sum_j \omega_{ij}\wedge\theta_j$ (first) and $d\omega_{ij}=\sum_k \omega_{ik}\wedge\omega_{kj}$ (second). The second equation expresses that $\mathbb{R}^3$ is flat.³
• Frenet formulas are a special case of the connection equations, recovered by choosing the frame adapted to the curve.⁷
• The shape operator $S_p(v)=-\nabla_v U$ is O'Neill's name for the Weingarten map; its eigenvalues/trace/determinant give principal, mean, and Gaussian curvature.⁸
• A geometric surface = abstract surface + metric tensor (inner product per tangent plane); this is 2-D Riemannian geometry, freed from any embedding.⁴
• Geodesics radiate from a point via the exponential map; on a complete surface they reach every point (Hopf–Rinow flavor), and curvature bounds control their global spread (Bonnet, Hadamard).⁵

Entities & Concepts

• tangent vectors and vector fields — O'Neill's calculus foundation (Ch 1)
• differential forms — 1-forms, wedge product, exterior derivative (Ch 1)
• frame fields and structural equations — the moving-frame core: connection forms + Cartan equations (Ch 2)
• euclidean isometries and congruence — isometries of $\mathbb{R}^3$, congruence (Ch 3)
• 형상연산자 — O'Neill's operator form of the second fundamental form (Ch 5)
• 기하 곡면과 완비성 — abstract metric surfaces, exponential map, global theorems (Ch 7–8)
• reading path oneill — chapter-by-chapter route through this book

Shared concepts also cited from O'Neill: 곡률과 비틀림, 측지선, 가우스곡률과 평균곡률, 주곡률, 빼어난 정리, 가우스–보네 정리, 평행이동, 곡면과 곡면 조각.

Relation to Other Wiki Pages

O'Neill is the moving-frames counterpart to 원전 소개 — Pressley's parametric treatment. Where Pressley computes $E,F,G,L,M,N$ in a patch, O'Neill works with frame fields, dual forms $\theta_i$, and connection forms $\omega_{ij}$. The same theorems (Frenet, Theorema Egregium, Gauss–Bonnet) appear in both, derived very differently. The two routes are laid side by side in 읽기 경로 — Pressley vs. reading path oneill.