Einstein summation convention

WHAT is it?

So $a_i b_i$ secretly means $\displaystyle\sum_{i=1}^{n} a_i b_i$ , where $n$ is the dimension (often 3 in physics).

HOW the rules actually work (derive them, don't memorise)

Let's build the whole system from three guiding questions.

Q1: How do I count the type of object? Count the free indices.

0 free indices → scalar (e.g. $a_i b_i$ ).
1 free index → vector / column of numbers (e.g. $A_{ij}b_j$ has free index $i$ ).
2 free indices → matrix / rank-2 tensor (e.g. $A_{ij}$ ).

WHY? Each free index ranges over $1\dots n$ , so one free index gives you $n$ separate components.

Q2: Why must a summed index appear exactly twice? Because summation pairs things: $\sum_i (\text{this}_i)(\text{that}_i)$ . If an index appeared three times you couldn't tell which pair to sum — the notation would be ambiguous. An index appearing 3+ times in one term is illegal.

Q3: Why can I rename a dummy index freely? Because $\sum_{i} a_i b_i = \sum_{k} a_k b_k$ — the name of the summation variable doesn't matter. So $a_i b_i = a_k b_k$ . This trick is essential for avoiding clashes.

Two indispensable helper objects

Formula The master identity (epsilon–delta)

$\varepsilon_{ijk}\,\varepsilon_{ilm} = \delta_{jl}\delta_{km} - \delta_{jm}\delta_{kl}$ This single line collapses nearly every messy vector-calculus identity. (The summed index is $i$ .) Mini-application — the BAC–CAB rule: $[\mathbf{a}\times(\mathbf{b}\times\mathbf{c})]_i = \varepsilon_{ijk}a_j(\varepsilon_{klm}b_l c_m).$ Cycle so the shared index is first: $\varepsilon_{ijk}=\varepsilon_{kij}$ , then use the identity with $\delta_{il}\delta_{jm}-\delta_{im}\delta_{jl}$ to get $a_j c_i b_j \delta\dots = b_i(a_jc_j) - c_i(a_jb_j)$ , i.e. $\mathbf{a}\times(\mathbf{b}\times\mathbf{c}) = \mathbf{b}(\mathbf{a}\cdot\mathbf{c}) - \mathbf{c}(\mathbf{a}\cdot\mathbf{b}).$

Forecast-then-Verify drill

Common mistakes (steel-manned)

Recall Feynman: explain it to a 12-year-old

Imagine a recipe that says "for every pair of matching socks, add their sizes." You don't have to write "add up" each time — the matching is the signal to add. Einstein's trick is the same: whenever a label shows up twice in the same chunk, that's a secret "add them all up" command. A label that shows up only once is just telling you "this is component number such-and-such," like a house number — you keep it. So by glancing at which letters are doubled, you instantly know what to add and what kind of answer (number, list, or grid) you'll get.

Flashcards

In Einstein convention, what does a repeated index in one term mean?

Sum over that index across its full range (the

\sum

is implied).

What is a free index and what rule must it obey?

An index appearing exactly once; it must be identical on both sides of the equation and is not summed.

How many free indices does a scalar / vector / matrix have?

0 / 1 / 2 respectively.

Write the dot product

\mathbf a\cdot\mathbf b

in index notation.

a_i b_i

Write matrix multiplication

C=AB

in index notation.

C_{ik}=A_{ij}B_{jk}

State the substitution property of the Kronecker delta.

\delta_{ij}a_j=a_i

What is

\delta_{ii}

n

dimensions?

n

(the dimension).

Write the

i

-th component of

\mathbf a\times\mathbf b

(\mathbf a\times\mathbf b)_i=\varepsilon_{ijk}a_j b_k

State the epsilon–delta identity.

\varepsilon_{ijk}\varepsilon_{ilm}=\delta_{jl}\delta_{km}-\delta_{jm}\delta_{kl}

Why is an index appearing three times illegal?

A repeated index means a pairwise sum; three copies make the pairing ambiguous.

Simplify

\delta_{ij}\delta_{jk}

\delta_{ik}

What does

\varepsilon_{ijk}

equal if two indices are equal?

0

Connections

Dot product and Cross product — both written compactly via the convention.
Kronecker delta and Levi-Civita symbol — the two engines of index algebra.
Matrix multiplication — encoded by a shared repeated index.
Tensors — convention generalises to upper/lower (contravariant/covariant) indices.
Determinants — $\det A = \varepsilon_{ijk}A_{1i}A_{2j}A_{3k}$ in 3D.
Vector calculus identities — derived in seconds with the epsilon–delta identity.

Concept Map

Hinglish (regional understanding)

Intuition Hinglish mein samjho

Dekho, idea bahut simple hai. Jab hum bar-bar $\sum$ (summation sign) likhte hain, toh notation bhari ho jaati hai. Einstein ne notice kiya ki jis index par hum sum karte hain, wo hamesha ek hi term mein do baar aata hai. Toh unhone rule bana diya: agar koi index ek term mein exactly do baar aaye, toh uske upar automatically sum karo aur $\sum$ likhna chhod do. Jaise $a_i b_i$ ka matlab seedha $\sum_i a_i b_i$ , yaani dot product. Bas yaad rakho: "Twice = sum, Once = run" — do baar wala index sum hokar gaayab, aur ek baar wala (free index) survive karke answer ka shape decide karta hai.

Free indices count karke aap bata sakte ho answer kya hai: zero free index matlab scalar (number), ek free index matlab vector, do free index matlab matrix. Isiliye matrix multiply $C_{ik}=A_{ij}B_{jk}$ mein $j$ repeat hua (sum ho gaya), aur $i,k$ free reh gaye — toh answer matrix hai. Yeh ek built-in galti-pakadne wala tool bhi hai: equation ke dono taraf free index same hone chahiye, warna kuch galat hai.

Do special cheezein zaroor yaad rakho. Kronecker delta $\delta_{ij}$ identity matrix hai aur uska kaam hai index badalna: $\delta_{ij}a_j=a_i$ . Levi-Civita $\varepsilon_{ijk}$ orientation/sign sambhalta hai, isliye cross product $(\mathbf a\times\mathbf b)_i=\varepsilon_{ijk}a_jb_k$ banta hai. Aur ek jaadui identity $\varepsilon_{ijk}\varepsilon_{ilm}=\delta_{jl}\delta_{km}-\delta_{jm}\delta_{kl}$ se to lagbhag saari vector calculus identities, jaise BAC-CAB rule, do line mein nikal aati hain.

Yeh matter karta hai kyunki physics aur higher maths (tensors, relativity, electromagnetism) mein har formula index notation mein chhota aur clean ho jaata hai. Ek baar yeh aadat ho gayi, toh aap lambe-lambe vector proofs ko mechanically index manipulate karke solve kar loge — bina geometry yaad kiye.

WHAT is it?

HOW the rules actually work (derive them, don't memorise)

Two indispensable helper objects

Forecast-then-Verify drill

Common mistakes (steel-manned)

Flashcards

Connections

Concept Map

Hinglish (regional understanding)

Go deeper — visual, from zero

Test yourself — Advanced Topics (Elite Level)

Connections