Wolfram Alpha:
Search by keyword:
Astronomy
Chemistry
Classical Physics
Climate Change
Cosmology
Finance and Accounting
Game Theory
General Relativity
Lagrangian and Hamiltonian Mechanics
Macroeconomics
Mathematics
Microeconomics
Particle Physics
Probability and Statistics
Programming and Computer Science
Quantum Computing
Quantum Field Theory
Quantum Mechanics
Semiconductor Reliability
Solid State Electronics
Special Relativity
Statistical Mechanics
String Theory
Superconductivity
Supersymmetry (SUSY) and Grand Unified Theory (GUT)
The Standard Model
Topology
Units, Constants and Useful Formulas
The Metric Tensor
-----------------
The metric tensor, tells you how to compute the
distance between any two points in a given space.
Basically, it makes corrections to Pythagoras'
theorem when transforming from one coordinate
system to another. In other words, it ensures
that the inner product between 2 vectors (a scalar)
is invariant under the transformation).
In the Cartesian coordinate system we can write
Pythagoras' theorem as:
ds^{2} = (dx^{0})^{2} + (dx^{1})^{2} + (dx^{3})^{2}
= δ_{μν}dx^{μ}dx^{ν} where δ_{μν} = 1 when μ = ν
= 0 when μ ≠ ν
Where dx are infinetesimaly small displacement
vectors. We choose them to be infinitesimally
small so that they may be considered to be point
like.
Now, suppose we move to a different coordinate
system, x'. For example, x' could be a curvilinear
coordinate system. We can make use of,
δx'^{μ} ≈ (∂x'^{μ}/∂x^{ν})δx^{ν}
which in the limit δx'^{ν} -> 0 gives:
dx'^{μ} = (∂x'^{μ}/∂x^{ν})dx^{ν}
Therefore, to convert to the x' system:
(ds)^{2} = δ_{μν}(∂x^{μ}/∂x'^{ρ})(∂x^{ν}/∂x'^{σ})dx'^{ρ}dx'^{σ}
_{ } = g_{ρσ}(x')dx'^{ρ}dx^{σ}
Where g_{ρσ}(x') is the METRIC TENSOR in the prime
system.
g_{ρσ}(x') = δ_{μν}(∂x^{μ}/∂x'^{ρ})(∂x^{ν}/∂x'^{σ}).
Note that the metric tensor is a function of position
and in curved space will vary from point to point.
In flat space the metric tensor does not vary from
point to point. The metric for flat space is the
MINKOWSKI metric, η_{μν}.
As already stated, the metric produces a scalar and
generalizes the idea of the inner product of vectors.
For any basis we can write:
v = v^{1}e_{1} + v^{2}e_{2} ...
= v^{μ}e_{μ}
Where v^{μ} are the contravariant components of the
vector, v.
If we take the dot product of v with e_{ν} we get:
v.e_{ν} = v^{μ}e_{μ}.e_{ν}
Now compute the dot product, v.v:
v.v = v^{μ}e_{μ}.v^{ν}e_{ν}
= v^{μ}v^{ν}e_{μ}.e_{ν}
Replace the v's with dx's to get:
= dx^{μ}dx^{μ}e_{μ}.e_{ν}
= g_{μν}dx^{μ}dx^{ν}
Therefore, g_{μν} = e_{μ}.e_{ν}
The metric tensor is symmetric. That is, terms the
metric are reflected across the diagonal. This is
easily seen from the fact that (∂x^{μ}/∂x'^{ρ})(∂x^{ν}/∂x'^{σ}) =
(∂x^{ν}/∂x'^{σ})(∂x^{μ}/∂x'^{ρ}). Off diagonal elements of the
metric tensor simply say that the chosen coordinate
system is not orthogonal.
In 2 dimensions, this looks like:
- ^{ } - - - - -
| g_{00} g_{01} || dx'^{0} || dx'^{0} | = ds^{2}
| g_{10} g_{11} || dx'^{1} || dx'^{1} |
- ^{ } - - - - -
ds^{2} = g_{00}(dx^{0})^{2} + g_{01}(dx^{1})^{2} + g_{10}(dx^{0})^{2} + g_{11}(dx^{1})^{2}
= g_{00}(dx^{0})^{2} + 2g_{01}(dx^{1})^{2} + g_{11}(dx^{1})^{2}
If the bases are orthogonal then:
- - - - - -
| g_{00} 0 || dx'^{0} || dx'^{0} | = ds^{2}
| 0 g_{11} || dx'^{1} || dx'^{1} |
- - - - - -
ds^{2} = g_{00}dx'^{0}dx'^{0} + g_{11}dx'^{1}dx'^{1}
= (∂x^{0}/∂x'^{0})(∂x^{0}/∂x'^{0})(dx'^{0})^{2}
+ (∂x^{1}/∂x'^{1})(∂x^{1}/∂x'^{1})(dx'^{1})^{2}
= (∂x^{μ}/∂x'^{ρ})(∂x^{ν}/∂x'^{σ})dx'^{ρ}dx'^{σ}
Example: The Minkowski (flat space) metric in polar
coordinates.
x = rcosθ
y = rsinθ
∂x/∂r = cosθ
∂y/∂r = sinθ
g_{rr} = (∂x/∂r)(∂x/∂r) + (∂y/∂r)(∂y/∂r)
= cos^{2}θ + sin^{2}θ
= 1
∂x/∂θ = -rsinθ
∂y/∂θ = rcosθ
g_{θθ} = (∂x/∂θ)(∂x/∂θ) + (∂y/∂θ)(∂y/∂θ)
= (-rsinθ)(-rsinθ) + (rcosθ)(rcosθ)
= r^{2}sin^{2}θ + r^{2}cos^{2}θ
= r^{2}
- -
g_{μν} = | 1 0^{ } |
_{ } | 0 r^{2} |
- -
Relationship to the Jacobian Matrix, J
--------------------------------------
The above matrix equations are equivalent to:
- ^{ } - - - - -
| dx'^{0} dx'^{1} || g_{00} g_{01} || dx'^{0} | = ds^{2}
- ^{ } - | g_{10} g_{11} || dx'^{1} |
^{ } - - - -
Or, in the orthogonal case:
- - - - - -
| dx'^{0} dx'^{1} || g_{00} 0 || dx'^{0} | = ds^{2}
- ^{ } - | 0 g_{11} || dx'^{1} |
- - - -
This can be written as:
ds^{2} = (dx'^{μ})^{T}dx'^{μ}
≡ dx'_{μ}dx'^{μ} (the inner product)
= (Jdx^{μ})^{T}(Jdx^{μ})
= (dx^{μ})^{T}J^{T}Jdx^{μ}
= (dx^{μ})^{T}gdx^{μ} where g = J^{T}J
Therefore, we can also find the metric by finding
the product J^{T}J.
- -
J = | ∂x^{0}/∂x'^{0} ∂x^{0}/∂x'^{1} |
| ∂x^{1}/∂x'^{0} ∂x^{1}/∂x'^{1} |
- -
- -
J^{T} = | ∂x^{0}/∂x'^{0} ∂x^{1}/∂x'^{0} |
^{ } | ∂x^{0}/∂x'^{1} ∂x^{1}/∂x'^{1} |
- -
Example: The Minkowski (flat space) metric in polar
coordinates.
x = rcosθ and y = rsinθ
- -
J = | ∂x/∂r ∂x/∂θ |
| ∂y/∂r ∂y/∂θ |
- -
- -
= | cosθ -rsinθ |
| sinθ rcosθ |
- -
- -
J^{T} = | cosθ sinθ |
^{ } | -rsinθ rcosθ |
- -
- -
g_{ij} = J^{T}J = | cos^{2}θ+sin^{2}θ -rsinθcosθ+rsinθcosθ^{ }|
^{ } | -rcosθsinθ+rcosθsinθ r^{2}sin^{2}θ+r^{2}cos^{2}θ |
- -
- -
= | 1 0^{ } |
| 0 r^{2} |
- -
Metric Tensor Under Coordinate Transformation
---------------------------------------------
The length, ds, should remain the same after a
coordinate transformation. Therefore,
g_{mn}(x)dx^{m}dx^{n} = g_{rs}(x')dx'^{r}dx'^{s}
dx^{m} = (∂x^{m}/∂x'^{r})dx'^{r}
dx^{n} = (∂x^{n}/∂x'^{s})dx'^{s}
g_{mn}(x)(∂x^{m}/∂x'^{r})dx'^{r}(∂x^{n}/∂x'^{s})dx'^{s} = g_{rs}(x')dx'^{r}dx'^{s}
By comparison:
g_{mn}(x)(∂x^{m}/∂x'^{r})(∂x^{n}/∂x'^{s}) = g_{rs}(x')
We can also see this directly by generalizing δ_{mn}
to g_{mn} and write:
ds^{2} = g_{mn}(x)dx^{m}dx^{n}
So by comparison we see that:
g_{rs}(x') = g_{mn}(x)(∂x^{m}/∂x'^{r})(∂x^{n}/∂x'^{s})
Inverse Metric Tensor
---------------------
g^{μν} can be considered to be the inverse of g_{μν}. We can
write:
g^{ρσ}g_{σα} = δ^{ρ}_{α}.
Where
- -
I = | 1 0 0 | = δ^{ρ}_{α} (the Kronecker Delta in matrix form)
| 0 1 0 |
| 0 0 1 |
- -
g^{ρσ}(x') = g^{μν}(x)(∂x'^{ρ}/∂x^{μ})(∂x'^{σ}/∂x^{ν})
g_{σα}(x') = g_{μν}(x)(∂x^{μ}/∂x'^{σ})(∂x^{ν}/∂x'^{α})
g^{ρσ}(x')g_{σα}(x') = g^{μν}(x)(∂x'^{ρ}/∂x^{μ})(∂x'^{σ}/∂x^{ν})g_{μν}(x)(∂x^{μ}/∂x'^{σ})(∂x^{ν}/∂x'^{α})
= δ^{ρ}_{α}
In polar coordinates:
- - - -
| 1 0^{ } |^{-1} = | 1 0 ^{ } |
| 0 r^{2} | ^{ } | 0 1/r^{2} |
- - - -
Note: The inverse of a diagonal matrix is obtained
by replacing each element in the diagonal with
its reciprocal. Thus,
g^{rr} = (g_{rr})^{-1} = (1)^{-1} = 1
g^{θθ} = (g_{θθ})^{-1} = (r^{2})^{-1} = 1/r^{2}
Note that going from polar to cartesian coordinates
is the inverse of going from cartesian to polar
coordinate. We can see this as follows:
g_{xx} = (∂r/∂x)(∂r/∂x) + (∂θ/∂x)(∂θ/∂x)
g_{yy} = (∂r/∂y)(∂r/∂y) + (∂θ/∂y)(∂θ/∂y)
r^{2} = x^{2} + y^{2}
tanθ = y/x
∂r/∂x = x/√(x^{2} + y^{2}) = x/r
∂r/∂y = y/√(x^{2} + y^{2}) = y/r
∂θ/∂x = -y/(x^{2} + y^{2}) = -y/r^{2}
∂θ/∂y = x/(x^{2} + y^{2}) = x/r^{2}
- - - -
J^{T}J = | x/r y/r^{ }|| x/r -y/r^{2} |
^{ } | -y/r^{2} x/r^{2} || y/r x/r^{2} |
- - - -
- -
= | 1 0 ^{ } |
| 0 1/(x^{2} + y^{2}) |
- -
- -
= | 1 0 ^{ }|
| 0 1/r^{2} |
- -
Summary of Useful Metrics
-------------------------