Konvexe Optimierung - Norm

Eine Norm ist eine Funktion, die einem Vektor oder einer Variablen einen streng positiven Wert gibt.

Norm ist eine Funktion $ f: \ mathbb {R} ^ n \ rightarrow \ mathbb {R} $

Die grundlegenden Merkmale einer Norm sind -

Sei $ X $ ein Vektor, so dass $ X \ in \ mathbb {R} ^ n $

  • $ \ left \ | x \ right \ | \ geq 0 $

  • $ \ left \ | x \ right \ | = 0 \ Leftrightarrow x = 0 \ forall x \ in X $

  • $ \ left \ | \ alpha x \ right \ | = \ left | \ alpha \ right | \ left \ | x \ right \ | \ forall \: x \ in X und \: \ alpha \: ist \: a \: scalar $

  • $ \ left \ | x + y \ right \ | \ leq \ left \ | x \ rechts \ | + \ links \ | y \ right \ | \ forall x, y \ in X $

  • $ \ left \ | xy \ right \ | \ geq \ left \ | \ left \ | x \ rechts \ | - \ links \ | y \ right \ | \ right \ | $

Per Definition wird die Norm wie folgt berechnet:

  • $ \ left \ | x \ rechts \ | _1 = \ Anzeigestil \ Summe \ Grenzen_ {i = 1} ^ n \ links | x_i \ right | $

  • $ \ left \ | x \ rechts \ | _2 = \ links (\ Anzeigestil \ Summe \ Grenzen_ {i = 1} ^ n \ links | x_i \ rechts | ^ 2 \ rechts) ^ {\ frac {1} {2}} $

  • $ \ left \ | x \ rechts \ | _p = \ links (\ Anzeigestil \ Summe \ Grenzen_ {i = 1} ^ n \ links | x_i \ rechts | ^ p \ rechts) ^ {\ frac {1} {p}}, 1 \ leq p \ leq \ infty $

Norm ist eine stetige Funktion.

Beweis

Per Definition ist $ f \ left (x \ right) $ eine konstante Funktion, wenn $ x_n \ rightarrow x $ in $ X \ Rightarrow f \ left (x_n \ right) \ rightarrow f \ left (x \ right) $ ist.

Sei $ f \ left (x \ right) = \ left \ | x \ right \ | $

Daher ist $ \ left | f \ left (x_n \ right) -f \ left (x \ right) \ right | = \ left | \ left \ | x_n \ right \ | - \ left \ | x \ right \ | \ right | \ leq \ left | \ left | x_n-x \ right | \: \ right | $

Da $ x_n \ rightarrow x $ also $ \ left \ | ist x_n-x \ right \ | \ rightarrow 0 $

Deshalb $ \ left | f \ left (x_n \ right) -f \ left (x \ right) \ right | \ leq 0 \ Rightarrow \ left | f \ left (x_n \ right) -f \ left (x \ right) \ right | = 0 \ Rightarrow f \ left (x_n \ right) \ rightarrow f \ left (x \ right) $

Norm ist also eine stetige Funktion.