Seminorm
Semi -normă sau pre -normă este o generalizare a conceptului de normă ; spre deosebire de acesta din urmă, seminorma poate dispărea pe elemente diferite de zero ale spațiului.
Definiție
Un seminorm este o funcție nenegativă , într-un spațiu liniar peste câmpul numerelor reale sau complexe , care îndeplinește următoarele condiții:
- Uniformitate absolută : pentru orice scalar
![\alfa](https://wikimedia.org/api/rest_v1/media/math/render/svg/b79333175c8b3f0840bfb4ec41b8072c83ea88d3)
- Inegalitatea triunghiului : pentru toți
![p(x+y) \leqslant p(x)+p(y)](https://wikimedia.org/api/rest_v1/media/math/render/svg/7f2621b17c19f6d53a2caa56ab0de04ba3b2d410)
![x, y \în L](https://wikimedia.org/api/rest_v1/media/math/render/svg/9bc62ff654b573c3c145dfa8123a1e5a0fef30ab)
Spațiul se numește spațiu semi-normat.
![{(L,\;p)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f19f12918962071f22a0a471427bb96106f0302b)
Proprietăți
Această proprietate rezultă din prima condiție de definiție și egalitate , aici primul zero aparține câmpului numerelor reale sau complexe, iar al doilea și al treilea aparțin spațiului :
![0_{\R} \cdot 0_L = 0_L](https://wikimedia.org/api/rest_v1/media/math/render/svg/ec5641a68618f527598fa77e76898a02c3d1a43e)
![L](https://wikimedia.org/api/rest_v1/media/math/render/svg/103168b86f781fe6e9a4a87b8ea1cebe0ad4ede8)
![p(0_L)=p(0_\R \cdot 0_L) = |0_\R| \cdot p(0_L) = 0_\R](https://wikimedia.org/api/rest_v1/media/math/render/svg/39a48f48c8306089385c45125ba0aade67e2ffa8)
(de unde rezultă din liniaritate )
![0_L = 0_\R\cdot 0_L](https://wikimedia.org/api/rest_v1/media/math/render/svg/bc2ad7528bf18785842c519e1df10bd0fda52325)
Această proprietate se obține și din prima condiție la .
Dacă presupunem existența unui astfel de că , atunci din prima condiție a definiției rezultă că și . Folosind a doua condiție, obținem o contradicție cu prima proprietate.
![x^{*}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e5be23ee5d433f8b576e63bcb47518128ee0b6bb)
![p(x^*) < 0](https://wikimedia.org/api/rest_v1/media/math/render/svg/6af6f8c6684db45871389531aad3201bc57d4ccc)
![p(-x^*) < 0](https://wikimedia.org/api/rest_v1/media/math/render/svg/ef621c7d798b7d54c804dd6bbdb22e679ed2d261)
Literatură
- Rudin W. Analiza funcțională, trad. din engleză, - M. , 1975.