Parametric Surface¶
A two-parameter map into three-dimensional space whose image supplies a surface patch, with regular differential geometry available where its derivatives are independent.
Core Idea¶
A parametric surface maps pairs of coordinates from a planar domain into three-dimensional space; the resulting two-dimensional image is the surface patch.[ref-d93bdfd41856][ref-a11fde5c30c5] Zaitsev's angular torus formula[^ref-d93bdfd41856] and Beer and colleagues' NURBS quarter-cylinder[^ref-f6e0a4f72883] evaluate points differently but share this domain–map–image structure. Zaitsev’s torus map repeats image points globally.[^ref-d93bdfd41856] Independent partial derivatives, when present, supply a local tangent plane and normal.[ref-d93bdfd41856][ref-a4e32da9906f] An implicit equation describes points another way but supplies no selected parameter-pair evaluation without an added map.[^ref-a11fde5c30c5]
Scope of Application¶
The type applies when a two-parameter spatial map fills a surface patch.
- Differential geometry: an angular torus formula can cover its image while repeating points.[^ref-d93bdfd41856]
- Geometric modeling: weighted NURBS basis functions evaluate a quarter-cylinder patch.[^ref-f6e0a4f72883]
- Local regular analysis: independent partial derivatives permit tangent and normal calculations.[ref-d93bdfd41856][ref-a4e32da9906f]
- Metric analysis: derivative dot products yield the first fundamental form at regular points.[^ref-a4e32da9906f]
- CAD processing: trimming and analysis act on an already defined NURBS patch.[^ref-f6e0a4f72883]
Clarity¶
The map, its image, and an embedded local chart are different: the first evaluates pairs, the second is the spatial patch, and the third adds a one-to-one homeomorphic local description.[^ref-d93bdfd41856] Zaitsev's torus map is global and noninjective.[^ref-d93bdfd41856] The sharper question is whether a claim concerns repeated coordinates, derivative rank, or the surface image. A map whose entire image collapses to a curve fails the surface-patch role; isolated rank loss instead limits regular derivative calculations for that chosen map. Repeated coordinates alone do not establish rank loss.
Manages Complexity¶
Zaitsev gives a trigonometric torus formula[^ref-d93bdfd41856]; Beer and colleagues give a NURBS control-net evaluation.[^ref-f6e0a4f72883] For either, first identify parameter domain, evaluation map, and two-dimensional image. Zaitsev specifies a rank and local-chart test,[^ref-d93bdfd41856] while Knill uses stronger smoothness for the second form.[^ref-a4e32da9906f] Check these conditions before the corresponding claims; keep derived metrics and later processing separate from the presentation.
Abstract Reasoning¶
Use an image test to reject a two-input formula that only traces a curve, and a separate rank test before making regular tangent or normal claims. Use a coverage test before calling a global formula one chart: Zaitsev's torus formula repeats image points, whereas his embedded-chart definition requires a homeomorphic patch map.[^ref-d93bdfd41856] Knill derives the first form from derivative dot products and uses stronger smoothness for the second.[^ref-a4e32da9906f]
Knowledge Transfer¶
Zaitsev’s torus uses angles,[^ref-d93bdfd41856] while Beer and colleagues’ CAD patch uses NURBS basis functions.[^ref-f6e0a4f72883] The domain–map–image test carries between them although the formulas and later uses differ. The broader Function (Mapping) Prime captures their single-valued input-to-output rule; this strict geometric subtype adds a planar two-parameter domain, spatial codomain, and two-dimensional image. Outside surface geometry, a model with parameters is only a broader mapping unless those extra conditions hold. A first fundamental form, ruled surface, or Coons patch adds metric or construction structure to this general presentation.
Relationships to Other Abstractions¶
Current abstraction Parametric Surface Domain-specific
Parents (1) — more general patterns this builds on
-
Parametric Surface is a kind of Function (Mapping) Prime
A parametric surface is a single-valued map from a declared planar two-parameter domain into three-dimensional space, specialized by a two-dimensional surface image.
Hierarchy path (1) — routes to 1 parentless root
- Parametric Surface → Function (Mapping)
Neighborhood in Abstraction Space¶
Parametric Surface sits in a sparse region of the domain-specific corpus (86th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.
Family — Unclustered & Miscellaneous (2721 abstractions)
Nearest neighbors
- Intersection Curve — 0.81
- Euclidean Rotation — 0.81
- Bonnet Theorem — 0.81
- Parabolic Cylindrical Coordinates — 0.80
- Paraboloidal coordinates — 0.80
Computed from structural-signature embeddings · 2026-10-17
References¶
[^ref-d93bdfd41856]: Dmitri Zaitsev, Differential Geometry Lecture Notes, Trinity College Dublin, §2 Definition 1.12, Example 1.15, Definition 1.18 and Theorem 1.19, PDF pp. 7–8, https://www.maths.tcd.ie/~zaitsev/differential-geometry-notes.pdf . Printed title: Differential Geometry: Lecture Notes. Full university author notes consulted. [^ref-f6e0a4f72883]: G. Beer, B. Marussig, J. Zechner, C. Duenser and T. P. Fries, “Boundary Element Analysis with Trimmed NURBS and a Generalized IGA Approach,” conference paper, §2.1 equations (1)–(2), Figure 1 and equations (6)–(8), PDF pp. 2–3; §2.2 trimming, PDF pp. 3–5; §3.1 analysis, PDF pp. 5–6, https://congress.cimne.com/iacm-eccomas2014/admin/files/filePaper/p2226.pdf . Full original conference paper consulted; its displayed example weight is 0.7. [^ref-a11fde5c30c5]: C.-K. Shene, “Basic Concepts,” Michigan Technological University surface notes, opening parametric/implicit contrast and “Parametric Surfaces” tangent, normal and tessellation paragraphs, https://pages.mtu.edu/~shene/COURSES/cs3621/NOTES/surface/basic.html . Full university teaching page consulted. [^ref-a4e32da9906f]: Oliver Knill, Lecture 9 Fundamental Forms, Math 136, Harvard University (2025), §§9.1–9.2, PDF p. 1, and §9.4, PDF p. 2, https://people.math.harvard.edu/~knill/teaching/math136_2025/handouts/lecture09.pdf . Printed heading: Lecture 9: Fundamental Forms. Full university author notes consulted.