Izomorfizm przestrzeni

Analiza funkcjonalna, operatory liniowe. Analiza na rozmaitościach. Inne zagadnienia analizy wyższej
nowyyyy4
Użytkownik
Użytkownik
Posty: 245
Rejestracja: 9 paź 2012, o 22:52
Płeć: Mężczyzna
Lokalizacja: Gdańsk
Podziękował: 16 razy
Pomógł: 1 raz

Izomorfizm przestrzeni

Post autor: nowyyyy4 » 19 mar 2015, o 23:31

Jak udowodnić, że przestrzenie \(\displaystyle{ \left( \mathbb{K}^N , || \cdot ||_{N,p} \right)}\) i \(\displaystyle{ \left( \mathbb{K}^N , || \cdot ||_{N,q} \right)}\) są izomorficzne
\(\displaystyle{ \mathbb{K} \in \left\{ \mathbb{R} , \mathbb{C}\right\}}\)

a \(\displaystyle{ ||a||_{N,p} = \left( \sum_{n=1}^{N} |a_n|^p \right)^{\frac{1}{p}}}\)

Nie wiem jakim wzorem zadać ten izomrofizm

Kartezjusz
Użytkownik
Użytkownik
Posty: 7251
Rejestracja: 14 lut 2008, o 08:31
Płeć: Mężczyzna
Lokalizacja: Z Bielskia-Białej
Podziękował: 3 razy
Pomógł: 940 razy

Izomorfizm przestrzeni

Post autor: Kartezjusz » 19 mar 2015, o 23:39

Czemu wyznaczać. Mówi Ci coś TW Riesza?

Awatar użytkownika
Spektralny
Korepetytor
Korepetytor
Posty: 3964
Rejestracja: 17 cze 2011, o 21:04
Płeć: Mężczyzna
Lokalizacja: Praga, Dąbrowa Górnicza, Kraków
Podziękował: 9 razy
Pomógł: 926 razy

Izomorfizm przestrzeni

Post autor: Spektralny » 22 mar 2015, o 21:49

Kartezjusz pisze:Czemu wyznaczać. Mówi Ci coś TW Riesza?
Serio chcesz tutaj używać twierdzenia Riesza? Jeśli tak, to jak?

Niech \(\displaystyle{ 1\leqslant p<q\leqslant \infty.}\) Wówczas

\(\displaystyle{ \|x\|_{N,p}\geqslant \|x\|_{N,q}.}\)

Potrzebujemy teraz takiej stałej \(\displaystyle{ \delta>0}\), że

\(\displaystyle{ \|x\|_{N,p}\leqslant \delta\|x\|_{N,q}.}\)

Oznaczmy przez \(\displaystyle{ r}\) wykładnik sprzężony do \(\displaystyle{ q/p}\). Zastosujmy teraz nierówność Höldera z wykładnikiem \(\displaystyle{ q/p}\) do \(\displaystyle{ u=(|x_1|^p, \ldots, |x_N|^{p})}\) i \(\displaystyle{ v=(1,\ldots, 1)}\). Mamy

\(\displaystyle{ \|x\|_{N,p}^p = \|uv\|_{N, 1} \leqslant \Big(\sum_{k=1}^N |x_k|^q\Big)^{p/q} \cdot N^{1/r}}\)

Stąd

\(\displaystyle{ \|x\|_{N,p} \leqslant \|x\|_{N,q} \cdot N^{1/{pr}}}\).

Stała \(\displaystyle{ N^{1/{pr}}}\), którą tutaj otrzymaliśmy jest optymalna.

nowyyyy4
Użytkownik
Użytkownik
Posty: 245
Rejestracja: 9 paź 2012, o 22:52
Płeć: Mężczyzna
Lokalizacja: Gdańsk
Podziękował: 16 razy
Pomógł: 1 raz

Izomorfizm przestrzeni

Post autor: nowyyyy4 » 23 mar 2015, o 17:43

A z jakiego twierdzenia wynika, że równoważność norm pociąga, że przestrzenie są izomorficzne?

Awatar użytkownika
Spektralny
Korepetytor
Korepetytor
Posty: 3964
Rejestracja: 17 cze 2011, o 21:04
Płeć: Mężczyzna
Lokalizacja: Praga, Dąbrowa Górnicza, Kraków
Podziękował: 9 razy
Pomógł: 926 razy

Izomorfizm przestrzeni

Post autor: Spektralny » 23 mar 2015, o 18:51

Wynika to z faktu, że te same ciągi są zbieżne do 0. W zasadzie to wynika to z twierdzenia o trzech ciągach zatem.

ODPOWIEDZ