On a surface, basically, we must suppose

(1)Hence, sometimes introducing another set of basis such that

(2)makes equations simpler.

These basis are referred to as dual basis. Additionally, $\boldsymbol{g}_i$ is called covariant basis, and $\boldsymbol{g}^i$ is called contravariant basis. Basically, $\delta_i^{\cdot j}$ is substantially same as Kronecker's delta $\delta_{ij}$, i.e., $\delta_i^{\cdot j}=0$ when $i=j$ and $\delta_i^{\cdot j}=1$ otherwise.

Given a tangent vector $\boldsymbol{a}$, to obtain sufficient information about this vector, it is sufficient to take inner product with two independent vectors. Of course, we chose basis as those vectors.

For example, we define

and

(4)and call $a_1,a_2$ covariant components. On the other hand, we define

(5)and

(6)and call $a^1,a^2$ contravariant components.

Because there are two types of components, each tangent vector has two representations, i.e,

and

(8)By taking inner product with Eq. (7) with $\boldsymbol{g}_i$, we obtain Eq. (5).

So as Eq. (8).

Contrary, by taking inner product with Eq. (7) with $\boldsymbol{g}^i$, we obtain

and

(10)Covariant and contravariant components can be converted as such. This translation can be performed with metric only. Using summation convention, we can write

(11)and

(12)This is known as raising and lowering indices laws of tensors. Also, this is a generalization to an arbitrary dimension.

For contravaiant basis, we can define

This "the other metric" can be computed by

(14)Actually, in a most common manner, $g^{ij}$ is calculated first and then $\boldsymbol{g}^i$ are calculated second by using

(15)and

(16)Note that these satisfy Eq. (2). Using summation convention, we can write

(17)Because we have two different types of components, there are four ways to calculate inner products between tangent vectors and they are:

(18)They give the same scalar.