#### 1. Vector analysis in spetial relativity

A vector in an inertial frame can be written as

(1)

In another inertial frame which moving in the drirection with vecocity

(2)

and are connected by the Lorentz transformation

(3)

where

(4)

And the basis has the relationship

(5)

The Lorentz transformation has an inverse

(6)

(7)

(8)

#### 2. The metric tensor

The scalar product of two vectors is defined as

(9)

or, it can be written as

(10)

where

(11)

are called ‘components of the metric tensor’.

#### 3. Definition of tensors

A tensor of type is a mapping from vectors into the real numbers, which is linear in each of its arguments.

A tensor is a rule which give s the same real number independently of the reference frame in which the vectors’ components are calculated.

Notice that the tensor is the mapping itself, not the value of this mapping.

The components in a frame of a tensor of type are the values of the mapping when its arguments are the basis vectors of the frame .

For example, the components of the metric tensor is

(12)

#### 4. The (0, 1) tensors: one-form

A tensor of the type is called a covector, a covariant vector, or a one-form. We can denote a one-form as . The set of all one-forms satisfies the axioms for a vector space, which is called the ‘dual vector space’ to distinguish it from the space of all vectors like . The components of are

(13)

Since , the above equation also defined the basis

(14)

Eq. 8 will give us

(15)

and the basis changes as

(16)

#### 5. The (0, 2) tensors

The components of an arbitrary tensor is

(17)

The basis is the inner product of one-form basis

(18)

#### 6. Metric as a mapping of vectors into one-form

When the metric tensor has been supplied with a vector, it can be treated as a one-form

(19)

since is symmetric,

(20)

its components are

(21)

which means if , then .

Matrix has an inverse, we denote it as , which has the same value of . Then, given we can find

(22)

#### 7. (M, N) tensors

An tensor is a linear function of one-forms and vectors into the real numbers.

For instance, if is a tensor then it requires a one-form and a vector to give a real number . It has components

(23)

In a new frame,

(24)

The upper indices are called ‘contravariant’ since they transform contrary to the basis vectors and lower ones ‘covariant’.

#### Refference

Schutz, Bernard. *A first course in general relativity*. Cambridge university press, 2009.