# Mathematics in General Relativity¶

## Vectors and Tensors¶

Two Systems of Notations

**Come back to this when the index fearing syndrome becomes too strong.**

There are many different systems of notations for vectors.

One of them is to use a tilde on top of the letter to denote a co-vector, i.e.,

The other notation that is widely used is abstract index notation where we use latin superscript to denote vector and latin subscript to denote co-vector, i.e.,

That is to say, \(v_a\) is basically \(\tilde v\).

The question is, obviously, how the components of vectors is denoted. In the first notation, we use subscript (components of vector) and superscript (components of co-vector) for the components,

where \(e_\mu\) is the \(\mu\) basis.

However, the abstract index notation is using greek superscript for co-vector component and greek subscript for vector component.

For basis vectors, we usually denote them as \(\{e_\mu\}\). The dual space, which are basis of dual vectors are denoted as \(\{\tilde e^\mu\}\), with

Whenever a vector is mentioned, it is composed of its components and basis, which should be written as

where \(\{ \alpha^\mu \}\) are the components and \(\{ e^a_{\phantom{a}\mu} \}\) are the basis.

Then we define its dual \(w_b\)

where the left hand side can be expanded

For orthonormal basis, we have

which gives us the contraction of \(w_a\) and \(\alpha^a\)

Usually the vector basis could be \(\{ dx^\mu \}\) and we could derive the basis for the dual vector \(\{ \frac{d}{dx^\mu} \}\).

### Metric¶

We define a scalar product in this way

where \(g_{ab}\) is the metric and can be related to the basis.

The expression will be simplified using basis formalism,

## Description of Space-time Manifold¶

How to describe space-time manifold?

Metric (with a set of local coordinates), connection (Christoffel symbols).

Metric (in the form of tetrads), connection (Ricci rotation coefficients).

1+3 covariantly defined variables.

### Description of Space-time Manifold - Coordinates¶

### Description of Space-time Manifold - Tetrads¶

### Description of Space-time Manifold - 1+3 Covariant Description¶

Physics in description is easier to understand.

#### Definations¶

Definations of some physical quantities and operators are listed below.

Here we have

**geometrical variables**: Volume**Kinematical variables**: Velocity, Expansion rate, Shear rate**Thermaldynanmical variables**: Energy density, Momentum density, Pressure, Equation of state

##### Volume¶

To calculate volume, the volume element should be defined first in order to integrate. Before that, orientation on manifolds is to be figured out.

On an oriented manifold with metric, the defined volume element (a n-form) should be compatible with the orientation and also determined by the metric. 1

Introducing those requirements, a compatible volume element is

Alternatively, this can be expressed in the way Ellis used in arXiv:gr-qc/9812046v5.

Induced volume element \(\hat \epsilon_{a_1\cdots a_{n-1}}\) is defined use the normal vector \(u^a\) of the hypersurface,

- 1
For more information, check out Canbin Liang’s book. Volume 1, page 115.

##### 4-velocity¶

4-velocity of observed matter is

with \(u^\alpha u_\alpha =-1\), \(\tau\) is the proper time along the worldlines of investaged matter.

##### Projection Tensors¶

We can use 4-velocity to project variables to parts that is parallel to \(u^\alpha\) and parts that is orthogonal to \(u^\alpha\).

Some properties of the two projections.

##### Covariant time derivative (\(\dot \quad\))¶

This is the derivative along the fundamental worldlines (projection on the worldlines),

##### Fully orthogonally projected covariant derivative (\(\tilde \nabla\))¶

This derivative is the project orghogonal to the normal vector of the hyperspace or orthogonal to the observer’s 4-velocity or along the tagent of the hyperspace.

##### Orthogonal projections of vectors¶

Orthogonal projection of vectors

And the orthogonally projected symmetric trace-free part of tensors

##### Othogonal projected covariant time derivatives along \(u^a\)¶

### Properties¶

Projected time and space derivatives of \(U_{ab}\), \(h_{ab}\) and \(\eta_{abc}\) vanish.