4.10.8 · D1Advanced Topics (Elite Level)

Foundations — Covariant and contravariant components

2,041 words9 min readBack to topic

This page assumes nothing. Before you can read the parent note Covariant and contravariant components, you must be fluent in every symbol below. We build them one at a time, each on top of the last, each anchored to a picture.


1. A vector — the arrow that comes first

The picture. Look at the black arrow below. It sits there on a blank sheet. There are no numbers yet — numbers only appear when we choose reference arrows to measure against.

Figure — Covariant and contravariant components

Why the topic needs it. The entire drama of covariant/contravariant is that the arrow is fixed but its numbers change with the grid. If you don't first believe the arrow lives independently of coordinates, none of the two-readings business will make sense.


2. The basis — the reference arrows you choose

The picture. Below, and are drawn in lavender and coral. Notice they are not at and not the same length. This is a skew basis — deliberately awkward, so the two-readings effect shows up.

Figure — Covariant and contravariant components

Link forward: choosing a different basis is exactly what Change of basis and transformation laws studies.


3. Multiplying an arrow by a number, and adding arrows

Why the topic needs it. Every component statement is built from these two moves. When we write , we are saying: scale by the number , scale by , then add the two scaled arrows to land exactly on the tip of .


4. Upper and lower indices — the staircase notation

This is the notation that scares people. It is nothing more than where the little label sits.

The picture. Think of a staircase: the lower index sits on the bottom step, the upper index on the top step. The parent note's mnemonic — "CO goes down to the cellar, contra goes up" — is exactly this staircase.

Full index machinery lives in Tensors and index notation.


5. The Einstein summation convention — the disappearing

Why an upper AND a lower? The pairing "one up, one down" is a signal that the result is a genuine coordinate-free number (we'll see why in §8). If you ever see the same letter twice both up or both down, something is wrong.


6. The dot product — how we measure length and angle

Everything geometric in this topic — lengths, angles, projections, the metric — is built from one operation: the dot product.

Why this exact formula, and why ? We want a gadget that (a) grows with length, and (b) tells us how aligned two arrows are. The cosine is the natural "alignment dial":

  • Arrows pointing the same way, biggest value.
  • Arrows at right angles, → dot product is zero. (This is how we detect perpendicularity!)
  • Arrows pointing opposite, most negative.

The picture. In the figure, the coral arrow's shadow falling straight down onto the lavender arrow has length . The dot product is that shadow length times . This "shadow onto an axis" idea is literally the definition of a covariant component in the parent note.

Figure — Covariant and contravariant components

The dot product is the seed of an entire subject, Inner product spaces.


7. Two ways to read an arrow's numbers — the whole point

Now that we have arrows, a basis, scaling, and the dot product, the two readings appear naturally.

The picture. Below, the same is read both ways. The dashed parallel lines give (walk along the slanted grid). The dotted perpendicular drops give (shadows onto each axis). On this skew grid they differ — on square paper they'd land on top of each other.

Figure — Covariant and contravariant components

Why the topic needs both. Neither reading is "the right one" — they are two faces of the same arrow. The parent note's job is to carry both and translate between them using a small table of dot products called the metric.


8. The metric and Kronecker delta — the translator

Why the topic needs it. The metric is the dictionary between the two readings: (down the stairs) and (up the stairs, using the inverse table ). When the basis is orthonormal, every dot product is a Kronecker delta, so , the metric becomes the do-nothing table, and the two readings become identical — which is why square-paper school maths never mentioned any of this.

Deeper study: Metric tensor, and its role in General relativity — raising and lowering indices. The perpendicular-reading also has its own set of reference arrows, the Dual (reciprocal) basis.


Where these pieces feed the topic

Vector = an arrow, exists before any grid

Basis e1 e2 = chosen reference arrows

Scaling and adding arrows

Contravariant reading = slide along axes

Dot product = length times cos angle

Covariant reading = perpendicular shadow

Index staircase up and down

Summation convention one up one down

Metric g = table of basis dot products

Covariant and contravariant components

Applications where the skew grid is unavoidable: Curvilinear coordinates (polar, spherical).


Equipment checklist

Cover the right side and answer each before opening the parent note.

A vector is drawn as
an arrow with length and direction that exists independently of any coordinate grid.
A basis is
a chosen set of non-parallel reference arrows we measure other arrows against.
"Orthonormal" means
the reference arrows have length and meet at (ordinary square graph paper).
A lower index (subscript) versus an upper index (superscript)
are two different kinds of number in this subject, not powers — the position carries meaning.
in tensor notation means
the second contravariant component (a label), NOT squared.
The Einstein summation convention says
a letter repeated once up and once down is automatically summed over all its values, dropping the .
The dot product equals
— a single number measuring length and alignment.
tells you
the two arrows are perpendicular (since ).
Contravariant components come from
sliding along the axes (parallelogram rule); index up.
Covariant components come from
dropping perpendiculars and dotting, ; index down.
The Kronecker delta equals
if , else — the identity/do-nothing table.
The metric is
the table of dot products , storing all lengths and angles of the basis.
The two readings coincide exactly when
the basis is orthonormal, so .