Minkowski- funktionen er en funktion , der bruger rummets lineære struktur til at introducere topologi på den. Opkaldt efter den tyske matematiker Hermann Minkowski .
For ethvert vektorrum ( reelt eller komplekst ) og dets delmængde er Minkowski-funktionen defineret som:
.Det antages, at sættet også er ikke- tomt. Under yderligere betingelser vil den funktionelle have egenskaberne af en seminorm , nemlig:
Minkowski-funktionen kan bruges til at definere en topologi i rummet, da den for konvekse lukkede sæt, der indeholder 0, har egenskaberne som en seminorm. Det giver dig også mulighed for at etablere en korrespondance (en af manifestationerne af Minkowski-dualitet ) mellem sættene i og , da den har egenskaberne som en støttefunktion i det dobbelte rum . Lad være et endeligt -dimensionelt euklidisk rum . For ethvert sæt introduceres det konjugerede sæt som et sæt, hvis støttefunktion på vektorer falder sammen med :
.Desuden har vi for enhver konveks lukket balanceret :
Denne definition kan også udvides til uendelig-dimensionelle refleksive rum . I dette tilfælde opstår der dog en vis kompleksitet, da rummet indeholder elementer, der ikke ligger i . Det er muligt at udvide støttefunktionen på ved at sætte den lig med 0 for sådanne vektorer. Så, under naturlig indlejring , falder billedet sammen med (for konveksitet og balance).
Andre manifestationer af Minkowski-dualitet: