Från Rilpedia

Normalisering har i matematiken många betydelser, men i allmänhet syftar det på en process eller funktion där man

överför ett objekt på en viss, önskvärd, form.

Exempel

• Normalisering av en matris, vilket exempelvis kan innebära att hitta dess Jordanform
• Normalisering av ett vektorfält, vilket kan innebära att eliminera resonanta termer.
• Normalisering av ett formellt bevis, vilket innebär att ge omforma beviset till ett snittfritt bevis.
• Normalisering av en algebraisk varietet

Ett stort antal satser i matematiken uttalar sig om existensen av en normalform för en viss klass av objekt. Till exempel säger Poincare-Dulacs sats att vissa vektorfält lokalt har en normalform, och Gentzens snitteliminationssats säger att varje bevis (på viss form) har en normalform.