Normering
Wikipedia
Begreppet normering har i matematiken många betydelser. I allmänhet syftar det emellertid på någon process som ger ett visst objekt en viss (önskvärd) form.
Exempel på normering i matematiken är:
- Normering av en Vektor (matematik), vilket innebär att göra längden på vektorn till 1.
- Normering av en matris, vilket exempelvis kan innebära att hitta dess Jordanform
- Normering av ett vektorfält, vilket kan innebära att eliminera resonanta termer.
- Normering av ett formellt bevis, vilket innebär att ge omforma beviset till ett snittfritt bevis.
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.