Satz von Pitt

Der Satz von Pitt, benannt nach Harry Raymond Pitt, ist ein Satz aus dem mathematischen Teilgebiet der Funktionalanalysis. Er trifft eine Aussage über Operatoren zwischen den Folgenräumen $\ell ^{p}$, aus der sich ergibt, dass die $\ell ^{p}$-Räume paarweise nicht-isomorph sind.

Formulierung des Satzes

• Es sei $1\leq p<r<\infty$. Ist $X\subset \ell ^{r}$ ein abgeschlossener Unterraum, so ist jeder stetige, lineare Operator $X\rightarrow \ell ^{p}$ kompakt.

Eine schwächere Formulierung erhält man, wenn man nur den Unterraum $X=\ell ^{r}$ betrachtet:

• Für $1\leq p<r<\infty$ ist jeder stetige, lineare Operator $\ell ^{r}\rightarrow \ell ^{p}$ kompakt.

Anwendungen

Als einfache Folge ergibt sich, dass es keinen Isomorphismus $\ell ^{r}\rightarrow \ell ^{p}$ für $r\not =p\in [1,\infty )$ geben kann. Indem man nötigenfalls zum Inversen des Isomorphismus übergeht, kann man ohne Einschränkung $r>p$ annehmen. Nach dem Satz von Pitt müsste ein solcher Isomorphismus kompakt sein, woraus die Kompaktheit der Einheitskugel folgte und damit ein Widerspruch zur unendlichen Dimension der beteiligten Räume. Dazu genügt obige schwächere Formulierung.

Die erste Formulierung des Satzes von Pitt ergibt aber viel mehr. Keiner der $\ell ^{p}$-Räume ist isomorph zu einem abgeschlossenen Teilraum eines $\ell ^{r}$ für $r\not =p$. Man nennt zwei unendlichdimensionale Banachräume vollständig unvergleichbar, wenn jeder abgeschlossene, unendlichdimensionale Unterraum des einen nicht isomorph zu einem abgeschlossenen Unterraum des jeweils anderen Banachraums ist. Für $r\not =p$ sind also $\ell ^{r}$ und $\ell ^{p}$ vollständig unvergleichbar.

Mittels der Chintschin-Ungleichung sieht man leicht, dass jeder Raum L^p([0,1]) einen zu $\ell ^{2}$ isomorphen, abgeschlossenen Unterraum enthält. Da dies für $\ell ^{p}$, $p\not =2$, nach Obigem nicht gilt, ist $\ell ^{p}$ nicht isomorph zu $L^{p}([0,1])$, falls $p\not =2$. Im Gegensatz dazu hat man für $p=2$ nach dem Satz von Fischer-Riesz sogar eine isometrische Isomorphie $\ell ^{2}\cong L^{2}([0,1])$.