Modular

Modular – rodzaj funkcjonału na rzeczywistej przestrzeni liniowej. Pojęcie modularu służy do zdefiniowania tzw. przestrzeni modularnych, których szczególnym przypadkiem są przestrzenie Orlicza.

Definicja

Jeśli $X$ jest rzeczywistą przestrzenią liniową, to odwzorowanie $\varrho :X\to [0,\mathrm{\infty }]$ nazywamy modularem (w przestrzeni $X$) gdy dla wszystkich $x,y\in X$ oraz wszystkich nieujemnych liczb rzeczywistych $\alpha ,\beta$ takich, że $\alpha +\beta =1$ spełnione są warunki

1. $\varrho (x)=0$ wtedy i tylko wtedy, gdy $x=0,$
2. $\varrho (x)=\varrho (-x),$
3. $\varrho (\alpha x+\beta y)⩽\varrho (x)+\varrho (y).$

Jeśli zamiast warunku 3 spełniony jest warunek

3' $\varrho (\alpha x+\beta y)⩽\alpha \varrho (x)+\beta \varrho (y),$

to odwzorowanie $\varrho$ nazywamy modularem wypukłym.

Jeśli $\varrho$ jest modularem w przestrzeni $X,$ to zbiór $X_{\varrho }$ tych elementów $x\in X,$ dla których

$\underset{\lambda \to 0}{\lim }\varrho (\lambda x)=0$

nazywamy przestrzenią modularną.

Własności

• Przestrzeń modularna $X_{\varrho }$ jest podprzestrzenią liniową przestrzeni $X.$
• Jeśli $\varrho$ jest modularem wypukłym w przestrzeni $X,$ to odwzorowanie dane wzorem

$\Vert x{\Vert }_{\varrho }=\inf \{u>0:\varrho (\frac{x}{u})⩽1\}$ jest normą w przestrzeni $X_{\varrho }.$

• Jeśli $X$ jest przestrzenią unormowaną, to norma jest modularem wypukłym w tej przestrzeni.

Ciągi Cauchy’ego w przestrzeniach modularnych

Dla przestrzeni modularnych definiuje się pojęcie analogiczne do ciągu Cauchy’ego w przestrzeni metrycznej:

• Niech $X_{\varrho }$ będzie przestrzenią modularną. Ciąg $(x_k{)}_{k\in \mathbb{N}}$ punktów tej przestrzeni nazywamy ciągiem Cauchy’ego (w przestrzeni modularnej $X_{\varrho }$), gdy dla każdej liczby $a>0$ oraz każdego $\epsilon >0$ istnieje taka liczba $N,$ że dla wszystkich $m,n>N$

$\varrho (a(x_n-x_m))<\epsilon .$

• Przestrzeń $X_{\varrho }$ nazywamy $\varrho$-zupełną, gdy dla każdego ciągu Cauchy’ego $(x_k{)}_{k\in \mathbb{N}}$ punktów tej przestrzeni istnieje $x\in X_{\varrho },$ że

$\underset{k\to \mathrm{\infty }}{\lim }\varrho (a(x_k-x))=0$

dla każdego $a>0.$

Okazuje się, że jeśli $\varrho$ jest modularem wypułym to ciąg punktów przestrzeni modularnej jest ciągiem Cauchy’ego w przestrzeni modularnej wtedy i tylko wtedy, gdy jest ciągiem Cauchy’ego w przestrzeni unormowanej $(X_{\varrho },\Vert \cdot {\Vert }_{\varrho }).$

Bibliografia

• Musielak, Julian: Wstęp do analizy funkcjonalnej, Państwowe Wydawnictwo Naukowe, Warszawa 1976, s. 97–99.