P-norma

Norme na R 2 {\displaystyle R^{2}} su realne funkcije na R 2 {\displaystyle R^{2}} koje imaju određene osobine. Važnu klasu takvih funkcija čine p-norme.

p-norme možemo definisati za svaki realan broj p 1 , {\displaystyle p\geqslant 1,} te za p = {\displaystyle p=\infty } .

2-norma standardna euklidska norma

1-norma je poznata pod nazivom taxicab- norma a {\displaystyle \infty } -normu obično nazivamo max-norma. Svaka norma definiše udaljenost (metriku). Uvođenjem p-normi dobili smo razne načine za računanje udaljenosti između dvije tačke.

Definicija 1

Realna funkcija {\displaystyle \rVert \ast \lVert }  : R 2 R {\displaystyle R^{2}\rightarrow R} naziva se norma na R2 ako ima sljedeće osobine:

( x , y ) 0 {\displaystyle \rVert (x,y)\lVert \geqslant 0}

( x , y ) = 0 <=> ( x , y ) = 0 {\displaystyle \rVert (x,y)\lVert =0<=>(x,y)=0}

( x , y ) + ( u , v ) 0 <=> ( x , y ) + + ( u , v ) {\displaystyle \rVert (x,y)+(u,v)\lVert \leq 0<=>\rVert (x,y)\lVert +\rVert +(u,v)\lVert }

c ( x , y ) = | c | ( x , y ) {\displaystyle \rVert c(x,y)\lVert =|c|\rVert (x,y)\lVert }

Za sve ( x , y ) , ( u , v ) R 2 {\displaystyle (x,y),(u,v)\in R^{2}} i sve c R {\displaystyle c\in R} Zadajući neku normu na R 2 {\displaystyle R^{2}} , R 2 {\displaystyle R^{2}} postaje normirani prostor.

Primjer norme na R 2 {\displaystyle R^{2}} je Euklidska norma koja predstavlja dužinu dužine čije su krajnje tačke ( 0 , 0 ) {\displaystyle 0,0)} i ( x , y ) {\displaystyle (x,y)} , tj.

( x , y ) p = x 2 + y 2 {\displaystyle \rVert (x,y)\lVert _{p}={\sqrt {x^{2}+y^{2}}}}

koja predstavlja poseban slučaj p-normi ( x , y ) p {\displaystyle \rVert (x,y)\lVert _{p}}

Definicija 2

Za svaki realni broj p, p 1 {\displaystyle p\geqslant 1} definišimo

( ( x , y ) p = | x | p + | y | p ) 1 p {\displaystyle (\rVert (x,y)\lVert _{p}=|x|^{p}+|y|^{p})^{\frac {1}{p}}}

Funkcija ( x , y ) p {\displaystyle \rVert (x,y)\lVert _{p}} je p- norma na R 2 {\displaystyle R^{2}} Da bi bili li sigurni da je ovo norma moramo provjeriti da li funkcija zadovoljava uslove iz definicije 1. Osobine (1), (2) i (4) se lako provjere, dok je provjera (3) poznata kao nejednakost trougla, za ovaj dokaz koristi se Youngova nejednakost.

Za sve a , b 0 i p , q > 1 {\displaystyle a,b\geqslant 0ip,q>1} takve da je 1 p + 1 q = 1 {\displaystyle {\frac {1}{p}}+{\frac {1}{q}}=1} vrijedi

a b a p p + b q q {\displaystyle ab\leqslant {\frac {a^{p}}{p}}+{\frac {b^{q}}{q}}}

Teorema 1

Za svaki p 1 {\displaystyle p\geqslant 1} formulom

( x , y ) + ( u + v ) p ( x , y ) p + ( u , v ) p p {\displaystyle \rVert (x,y)+(u+v)\lVert _{p}\leq {\sqrt[{p}]{\rVert (x,y)\lVert _{p}+\rVert (u,v)\lVert _{p}}}}

Dokaz

Treba dokazati da za svaki p 1 {\displaystyle p\geqslant 1} vrijedi

( x , y ) + ( u + v ) p ( x , y ) p + ( u , v ) p {\displaystyle \rVert (x,y)+(u+v)\lVert _{p}\leq \rVert (x,y)\lVert _{p}+\rVert (u,v)\lVert _{p}}

tj.

| x + u | p + | y + v | p p | x | p + | u | p p + | y | p + | u v | p p {\displaystyle {\sqrt[{p}]{|x+u|^{p}+|y+v|^{p}}}\leq {\sqrt[{p}]{|x|^{p}+|u|^{p}}}+{\sqrt[{p}]{|y|^{p}+|uv|^{p}}}}

za sve ( x , y ) , ( u , v ) R 2 {\displaystyle (x,y),(u,v)\in R^{2}}

Za p = 1 {\displaystyle p=1}

[ | x + u | | x | + | u | [ | y + v | | y | + | v | ] => | x + u | + | y + v | | x | + | u | + | y | + | v | {\displaystyle [|x+u|\leq |x|+|u|\land [|y+v|\leq |y|+|v|]=>|x+u|+|y+v|\leq |x|+|u|+|y|+|v|}

Za p > 1 {\displaystyle p>1}

U nejednakosti

a b a p p + b q q {\displaystyle ab\leqslant {\frac {a^{p}}{p}}+{\frac {b^{q}}{q}}}

uvrstit ćemo izraze za a {\displaystyle a} , b {\displaystyle b}

a = | x | ( x , y ) p {\displaystyle a={\frac {|x|}{\rVert (x,y)\lVert _{p}}}} i b = | u | ( u , v ) q {\displaystyle b={\frac {|u|}{\rVert (u,v)\lVert _{q}}}} a zatim

a = | y | ( x , y ) p {\displaystyle a={\frac {|y|}{\rVert (x,y)\lVert _{p}}}} i b = | v | ( u , v ) q {\displaystyle b={\frac {|v|}{\rVert (u,v)\lVert _{q}}}}

dobijamo nejednakosti

| x | ( x , y ) p | u | ( u , v ) q | x | p p ( x , y ) p | u | q q ( u , v ) q {\displaystyle {\frac {|x|}{\rVert (x,y)\lVert _{p}}}*{\frac {|u|}{\rVert (u,v)\lVert _{q}}}\leqslant {\frac {|x|^{p}}{p\rVert (x,y)\lVert _{p}}}*{\frac {|u|^{q}}{q\rVert (u,v)\lVert _{q}}}}


| y | ( x , y ) p | v | ( u , v ) q | y | p p ( x , y ) p | v | q q ( u , v ) q {\displaystyle {\frac {|y|}{\rVert (x,y)\lVert _{p}}}*{\frac {|v|}{\rVert (u,v)\lVert _{q}}}\leqslant {\frac {|y|^{p}}{p\rVert (x,y)\lVert _{p}}}*{\frac {|v|^{q}}{q\rVert (u,v)\lVert _{q}}}}

saberemo li ih dobijamo nejednakosti

| x | | u | + | y | | v | ( x , y ) p ( u , v ) q | x | p + | y | p p ( x , y ) p + | u | q + | v | q q ( u , v ) q = 1 p + 1 q = 1 {\displaystyle {\frac {|x||u|+|y||v|}{\rVert (x,y)\lVert _{p}\rVert (u,v)\lVert _{q}}}\leqslant {\frac {|x|^{p}+|y|^{p}}{p\rVert (x,y)\lVert _{p}}}+{\frac {|u|^{q}+|v|^{q}}{q\rVert (u,v)\lVert _{q}}}={\frac {1}{p}}+{\frac {1}{q}}=1}

tj

| x | | u | + | y | | v | x p + y p q + u q + v q p {\displaystyle |x||u|+|y||v|\leqslant {\sqrt[{q}]{x^{p}+y^{p}}}+{\sqrt[{p}]{u^{q}+v^{q}}}} za svako x , y , u , v R {\displaystyle x,y,u,v\in R}


Ako uzmemo ( x + u ) p 1 {\displaystyle (x+u)^{p-1}} za u {\displaystyle u} i ( y + v ) q 1 {\displaystyle y+v)^{q-1}} za v {\displaystyle v} i smatrajući ( p 1 ) q = p {\displaystyle (p-1)_{q}=p}

| x | | x + u | p 1 + | y | | y + v | p 1 x p + y p p + u q + v q q {\displaystyle |x||x+u|^{p-1}+|y||y+v|^{p-1}\leqslant {\sqrt[{p}]{x^{p}+y^{p}}}+{\sqrt[{q}]{u^{q}+v^{q}}}}

Zamjenom uloga x i u , y i v imamo

| u | | x + u | p 1 + | v | | y + v | p 1 u p + v p p + | x + u | p + | y + p | p q {\displaystyle |u||x+u|^{p-1}+|v||y+v|^{p-1}\leqslant {\sqrt[{p}]{u^{p}+v^{p}}}+{\sqrt[{q}]{|x+u|^{p}+|y+p|^{p}}}}

| x + u | p + | y + v | p = | x + u | | x + u | p 1 + | y + v | | y + v | p 1 {\displaystyle |x+u|^{p}+|y+v|^{p}=|x+u||x+u|^{p-1}+|y+v||y+v|^{p-1}}

( | x | + | u | | x + u | p 1 + ( | y | + | v | ) | y + v | p 1 = {\displaystyle \leqslant (|x|+|u||x+u|^{p-1}+(|y|+|v|)|y+v|^{p-1}=}

| x | | x + u | p 1 + | u | | x + u | p 1 + | y | | y + v | p 1 + | v | | y + v | p 1 = {\displaystyle |x||x+u|^{p-1}+|u||x+u|^{p-1}+|y||y+v|^{p-1}+|v||y+v|^{p-1}=}

na osnovu ranijih nejednakosti imamo

| x | p + | y | p p | x + u | p + | y + v | p q + | u | p + | v | p p | x + u | p + | y + v | p q {\displaystyle {\sqrt[{p}]{|x|^{p}+|y|^{p}}}{\sqrt[{q}]{|x+u|^{p}+|y+v|^{p}}}+{\sqrt[{p}]{|u|^{p}+|v|^{p}}}{\sqrt[{q}]{|x+u|^{p}+|y+v|^{p}}}}

odnosno

| x + u | p + | y + v | p ( | x | p + | y | p p + | u | p + | v | p p ) ( | x + u | p + | y + v | p ) ) {\displaystyle |x+u|^{p}+|y+v|^{p}\leqslant ({\sqrt[{p}]{|x|^{p}+|y|^{p}}}+{\sqrt[{p}]{|u|^{p}+|v|^{p}}})(|x+u|^{p}+|y+v|^{p}))}

Dijeljenjem s drugim faktorom s desne strane slijedi

| x + u | p + | y + v | p n ( | x | p + | y | p p + | u | p + | v | p p ) {\displaystyle {\sqrt[{n}]{|x+u|^{p}+|y+v|^{p}}}\leqslant ({\sqrt[{p}]{|x|^{p}+|y|^{p}}}+{\sqrt[{p}]{|u|^{p}+|v|^{p}}})}

Izvor

p-norme na R 2 {\displaystyle R^{2}} , kružnice S p {\displaystyle S_{p}} i brojevi π p {\displaystyle \pi _{p}} // Ljiljana Arambašić Ivona Zavišic //Osječki matematički list (10(2010), 131{138)