induced metric
{{Short description|Submanifold metric tensor}}
In mathematics and theoretical physics, the induced metric is the metric tensor defined on a submanifold that is induced from the metric tensor on a manifold into which the submanifold is embedded, through the pullback.{{Cite book|last=Lee|first=John M.|url=https://books.google.com/books?id=92PgBwAAQBAJ|title=Riemannian Manifolds: An Introduction to Curvature|date=2006-04-06|publisher=Springer Science & Business Media|isbn=978-0-387-22726-9|series=Graduate Texts in Mathematics|pages=25–27|language=en|oclc=704424444}} It may be determined using the following formula (using the Einstein summation convention), which is the component form of the pullback operation:{{cite book |last1=Poisson |first1=Eric |date=2004 |title=A Relativist's Toolkit |publisher=Cambridge University Press |page=62 |isbn=978-0-521-83091-1 }}
:
Here , describe the indices of coordinates of the submanifold while the functions encode the embedding into the higher-dimensional manifold whose tangent indices are denoted , .
Example – Curve in 3D
Let
:
\Pi\colon \mathcal{C} \to \mathbb{R}^3,\ \tau \mapsto \begin{cases}\begin{align}x^1&= (a+b\cos(n\cdot \tau))\cos(m\cdot \tau)\\x^2&=(a+b\cos(n\cdot \tau))\sin(m\cdot \tau)\\x^3&=b\sin(n\cdot \tau).\end{align} \end{cases}
be a map from the domain of the curve with parameter into the Euclidean manifold . Here are constants.
Then there is a metric given on as
:
g_{\mu\nu} = \begin{pmatrix}1 & 0 & 0\\0 & 1 & 0\\0 & 0 & 1\end{pmatrix}
.
and we compute
:
Therefore