Normalisering (matematik)

Den här artikeln behöver källhänvisningar för att kunna verifieras. (2020-08) Åtgärda genom att lägga till pålitliga källor (gärna som fotnoter). Uppgifter utan källhänvisning kan ifrågasättas och tas bort utan att det behöver diskuteras på diskussionssidan.

Normalisering är inom matematiken överföring av ett objekt på en viss standardform. Dessa standardformer varierar enligt objektets typ och eventuellt enligt kontext.

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 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 Poincaré-Dulacs sats att vissa vektorfält lokalt har en normalform, och Gentzens snitteliminationssats säger att varje bevis (på viss form) har en normalform.