Regular Surfaces

Differential Geometry · Axiom Academy

Understanding the foundation of differential geometry on surfaces 1. Definition of a Regular Surface A surface S in ℝ³ is called regular if for every point p on the surface, there exists a parameterization (or local coordinate chart): defined on an open set U ⊆ ℝ² , such that: Smoothness: The map r(u,v) is differentiable to any desired order (usually C ∞ or at least C 2 ) Homeomorphism: The map r is a homeomorphism from U to r(U) ⊆ S (continuous with continuous inverse—no self-intersections) Non-degeneracy: The partial derivatives ∂r/∂u and ∂r/∂v are linearly independent at every point 2. The Regularity Condition: ∂r/∂u × ∂r/∂v ≠ 0 The most critical condition for regularity is the non-degeneracy of the parameterization. This is expressed mathematically as: The cross product of the partial derivatives gives us the normal vector to the surface. If this cross product is non-zero, it means: The vectors ∂r/∂u and ∂r/∂v are linearly independent They span the tangent plane to the surface at each point The surface has a well-defined normal direction The parameterization is locally invertible (by the Inverse Function Theorem) 3. Why Regularity Matters for Differential Geometry Regular surfaces provide the foundation for all of differential geometry. Without regularity, we cannot perform essential geometric operations: Tangent planes: Every point has a unique tangent plane spanned by ∂r/∂u and ∂r/∂v Normal vectors: The unit normal N = (∂r/∂u × ∂r/∂v) / |∂r/∂u × ∂r/∂v| exists everywhere

This is the written version of the interactive lesson above. See the full Differential Geometry course.