Induced Metric¶
Transfer an ambient metric to an immersed manifold by pairing its tangent vectors after the immersion's differential, subject to the restricted form's signature.
Core Idea¶
An induced metric transfers an ambient manifold's tangent-vector pairing to a manifold immersed in it. For an immersion \(X:S\to M\) and ambient metric \(g\), pair tangent vectors \(u,v\) of \(S\) by \(h(u,v)=g(dXu,dXv)\). A globally one-to-one embedding is not required; the tangent map must be injective. In Riemannian ambient space the resulting \(h\) is positive-definite. In indefinite ambient space it may be spacelike or timelike, while a null restriction can be degenerate and should not be treated as an ordinary nondegenerate metric.[ref-b4bceb5e8adf][ref-30694a27c24c]
Scope of Application¶
On a Euclidean radius-\(R\) circle, the immersion \(X(\theta)=(R\cos\theta,R\sin\theta)\) yields \(h=R^2d\theta^2\) and one-turn length \(2\pi R\). In a different setting, a timelike string worldsheet \(X(\tau,\sigma)\) in Minkowski spacetime has \(\gamma_{ab}=\eta_{\mu\nu}\partial_aX^\mu\partial_bX^\nu\); its area factor \(\sqrt{-\det\gamma}\) appears in the Nambu–Goto action. The formula transfers, but its signature and derived measurement change.[ref-b4bceb5e8adf][ref-b75b34570654]
Clarity¶
State the ambient tensor, immersion and signature. A metric chosen independently on \(S\) is not shown to be induced by the named \(X\) and \(g\). A coordinate matrix represents the tensor but changes with coordinates. The induced first fundamental form concerns intrinsic tangent measurements, not the second fundamental form's extrinsic bending. A null pullback may still be defined as a bilinear form even when it is not invertible.[ref-b4bceb5e8adf][ref-30694a27c24c]
Manages Complexity¶
The coordinate contraction \(h_{ab}=g_{\mu\nu}(X)\partial_aX^\mu\partial_bX^\nu\) condenses ambient coefficients and map derivatives into one tensor on the domain. It permits intrinsic interval or length calculations without retaining every ambient coordinate. The compression omits how the immersion bends and therefore cannot settle extrinsic shape; it also does not replace a signature check in Lorentzian geometry.[ref-b4bceb5e8adf][ref-30694a27c24c]
Abstract Reasoning¶
Verify that \(X\) is an immersion, push each tangent vector through \(dX\), pair the images using \(g\), and check the resulting bilinear form's signature. Reparameterization changes \(h_{ab}\) but not \(h\) itself. In Euclidean ambient space positivity follows from injectivity of \(dX\); in Lorentzian space a null tangent direction can make the pullback degenerate. Only after the signature check should inverse-metric, length or area machinery be applied.[ref-b4bceb5e8adf][ref-30694a27c24c]
Knowledge Transfer¶
The same pullback construction governs the Euclidean circle and the timelike string worldsheet, although one uses a positive line element and the other a Lorentzian area factor. The proposed strict parent is live Metric tensor for nondegenerate cases. Live Metric is a point-distance function, not the genus of every induced tangent pairing; live First Fundamental Form is the narrower Euclidean-surface case. A more general pullback prime is a future question, not a current asserted relationship.[ref-b4bceb5e8adf][ref-b75b34570654]
[^ref-b4bceb5e8adf]: Brian Conrad, Metric Operations, original Stanford differential-geometry handout, pp.3–5; directly inspected. [^ref-30694a27c24c]: Sergiu Klainerman, General Relativity lecture notes, original Princeton notes, pp.3 and 50; directly inspected. [^ref-b75b34570654]: Massachusetts Institute of Technology OpenCourseWare, String Theory for Undergraduates, lecture 10, original instructor notes, pp.1–2; directly inspected.
Relationships to Other Abstractions¶
Current abstraction Induced Metric Domain-specific
Parents (1) — more general patterns this builds on
-
Induced Metric is a kind of Metric tensor Domain-specific
Every nondegenerate induced metric is a metric tensor; its ambient pullback origin is an additional constraint.
Hierarchy path (1) — routes to 1 parentless root
- Induced Metric → Metric tensor → Relation
Neighborhood in Abstraction Space¶
Induced Metric sits in a sparse region of the domain-specific corpus (80th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.
Family — Differential Geometry & Curvature (9 abstractions)
Nearest neighbors
- Second Fundamental Form — 0.83
- Bundle metric — 0.83
- Null Hypersurface — 0.82
- Distribution (Differential Geometry) — 0.82
- GJMS Operator — 0.82
Computed from structural-signature embeddings · 2026-10-08