Inom fysiken brukar man introducera tensorer som entiteter som transformeras på visst sätt vid koordinatbyte.
Låt ett n-dimensionellt område vara täckt av två koordinatsystem, inte nödvändigtvis rätlinjiga. Koordinaterna i det ena systemet betecknar vi med x^1, ..., x^n, eller generellt x^μ, där μ = 1, ..., n. Koordinaterna i det andra systemet betecknar vi med x'^1, ..., x'^n, eller generellt x'^ρ, där ρ = 1, ..., n. (Siffran skall alltså skrivas i upphöjd position; dock är koordinaterna inga tensorer.) Koordinaterna i det ena systemet kan skrivas som funktioner av koordinaterna i det andra systemet: x^μ = x^μ(x'^1, ..., x'^ρ) och vi kan därmed ta partiella derivator av ena koordinaterna med avseende på de andra derivatorna, ∂x^μ/∂x'^ρ.
Antag nu att vi har en partikel som följer en bana i området. Vid tiden t är koordinaterna för partikeln x^μ(t) i det första koordinatsystemet, x'^ρ(t) i det andra. Låt oss kolla på hur derivatorna, dx^μ(t)/dt resp dx'^ρ(t)/dt, transformeras. Genom kedjeregeln kommer man fram till att
dx^μ(t)/dt = ∑ (∂x^μ/∂x'^ρ) (dx'^ρ(t)/dt)
där summan tas över ρ = 1, ..., n.
Observera att det koordinatsystem vi transformerar till är i "täljaren" i den partiella derivatan, medan det koordinatsystem vi transformerar från är i "nämnaren".
Detta är transformationsregeln för en kontravariant tensor. Sådana skrivs med ett upphöjt index; det var förstås därför jag valde att skriva indexet på x och x' i upphöjd position.
Antag nu i stället att vi har ett skalärt fält ψ. Låt oss undersöka hur derivatorna ∂ψ/∂x^μ resp ∂ψ/∂x'^ρ transformeras. Även här använder vi kedjeregeln, men i det här fallet får vi
∂ψ/∂x^μ = ∑ (∂x'^ρ/∂x^μ) (∂ψ/∂x'^ρ)
där summan tas över ρ = 1, ..., n.
Observera att i det här fallet är det koordinatsystem vi transformerar till i "nämnaren" i den partiella derivatan, medan det koordinatsystem vi transformerar från är i "täljaren".
Detta är transformationsregeln för en kovariant tensor. Sådana skrivs med index i nedsänkt position. Att index är nedsänkt syns dock inte så tydligt i uttrycket ∂ψ/∂x^μ, men det är vanligt att man inför beteckningen ∂_μ = ∂/∂x^μ för att (bland annat) göra det tydligt (där _μ betyder att μ skall vara i nedsänkt position).
Det var en första kort introduktion. Kanske skriver mer vid ett senare tillfälle.