← arxiv/
arXiv:8907.0052math.FA
tr · çeviri

$X_p$ Uzayının Tümlenmiş Alt Uzayları Üzerine

Dale E. Alspach

Oklahoma State University
1989

Özet

Bu makalede, $X_p$ uzayının tümlenmiş alt uzaylarını izomorfik olarak sınıflandırma problemiyle ilgili bazı sonuçlar kanıtlıyoruz. $X_p$'ye izomorfik olan $X_p$'nin tümlenmiş alt uzaylarını, böyle bir uzayın $X_p$'ye izomorfik kanonik bir tümlenmiş alt uzay içermesi gerektiğini göstererek karakterize ediyoruz. Ayrıca $X_p$'nin $\ell_p \oplus \ell_2$'ye izomorfik olan tümlenmiş alt uzaylarının bazı karakterizasyonlarını veriyoruz.

0. Giriş

Rosenthal [R], $L_p$ uzayı $X_p$'yi 1971 yılında tanıttı. Bu uzayın ilginç özellikleri arasında, $\ell_p \oplus \ell_2$'nin izomorflarını içermesi ve kendisinin de bu izomorflar tarafından içerilmesi, ancak $\ell_p \oplus \ell_2$'nin tümlenmiş bir alt uzayına izomorfik olmaması yer alır. Bu özellikler, $X_p$'yi tümlenmiş alt uzaylarını sınıflandırmaya yönelik standart yaklaşımlara karşı oldukça dirençli kılmıştır. Örneğin, $X_p$'nin asal (primary) olduğu ilk olarak, $X_p$ için ayrışım yönteminin bir versiyonunu kanıtlamak amacıyla eşzamanlı $L_p, L_2$ sınırlı operatörler aracının kullanıldığı [JO2] çalışmasında kanıtlanmıştır. Asıl sorun, $X_p$ içindeki $\ell_p$ ve $\ell_2$ yapılarının, $\ell_p \oplus \ell_2$ veya $(\sum \ell_2)_p$ uzaylarındakinden çok daha farklı bir şekilde karışmış olmasıdır. $X_p$'nin, ya da aslında $X_p$'yi inşa etme tekniğinin, sayılamayan sayıda ayrılabilir $L_p$ uzayı inşa etmek için kullanılan temel araç olduğunu da hatırlayalım [BSR]. Dolayısıyla, $X_p$'yi daha iyi anlamak, $L_p$'nin tümlenmiş alt uzaylarının incelenmesi için kritik öneme sahiptir.

Sonuçlarımızı kesin bir şekilde ifade etmek için bazı özel gösterimler tanıtmamız gerekmektedir. Bu makale boyunca $w = (w_n)$ pozitif reel sayıların bir dizisi ve $2 < p < \infty$ olacaktır. Her zamanki gibi $X_{p,w}$, yalnızca sonlu sayıda $i$ için $a_i \neq 0$ koşulunu sağlayan $\{(a_i) : i \in \mathbb{N}\}$ kümesinin $$\|(a_i)\| = \max\{|(a_i)|_p, |(a_i)|_{2,w}\}$$ normu altındaki tamlanışıdır; burada $|(a_i)|_p = \left[ \sum_i |a_i|^p \right]^{1/p}$ ve $|(a_i)|_{2,w} = \left[ \sum_i |a_i|^2 w_i^2 \right]^{1/2}$ olarak tanımlanır.

Rosenthal uzayı $X_p$, $w = (w_i)$ dizisinin her $\epsilon > 0$ için $$\sum_{w_i < \epsilon} w_i^{2p/(p-2)} = \infty$$ koşulunu sağladığı $X_{p,w}$ uzaydır.

Bu makale boyunca, $X_p$'yi her zaman, sırasıyla $\ell_p$ ve $\ell_2$'nin standart birim vektör tabanları olan $(\delta_n)$ ve $(\gamma_n)$ olmak üzere, $(\delta_n + w_n \gamma_n)$ dizisi tarafından gerilen $(\ell_p \oplus \ell_2)_\infty$ uzayının alt uzayı olarak kabul edeceğiz. Eğer $E \subset \mathbb{N}$ ise, $\omega(E)$ sembolü, $X_p$'deki hesaplamalarda sıklıkla ortaya çıkan $\sum_{n \in E} w_n^{2p/(p-2)}$ ifadesini göstermek için kullanılacaktır. Ayrıca $2$-normu ile $p$-normunun oranı olan ve $r(x)$ ile göstereceğimiz $|x|_2 / |x|_p$ oranına da ihtiyacımız olacaktır. $X_p$'nin bir $Y$ alt uzayı için $r(Y) = \sup\{r(y) : y \in Y\}$ ve $h(Y) = \inf\{r(y) : y \in Y\}$ tanımlayalım. $X_p$ üzerinde doğrusal fonksiyoneller tanımlarken, $|\cdot|_2$ normu tarafından indüklenen iç çarpımı kullanmak uygundur. Böylece, $$\langle (x_n), (y_n) \rangle = \sum x_n y_n w_n^2$$ olur.

[LT] kitabında bulunabileceği gibi standart Banach uzayı gösterimlerini ve terminolojisini kullanacağız. Aksi belirtilmedikçe, burada "alt uzay" ifadesi sonsuz boyutlu kapalı alt uzay anlamına gelecektir. $X_p$'nin özellikleri [LT, 4d] kitabında veya Rosenthal'in orijinal makalesinde [R] bulunabilir.

1. $X_p$'yi Tümlenmiş Olarak İçeren $X_p$'nin Tümlenmiş Alt Uzayları

Bu bölümde, $X_p$'ye izomorfik olan tümlenmiş bir alt uzay içeren $X_p$'nin tümlenmiş bir alt uzayının, $X_p$'nin kanonik bir tümlenmiş kopyasını içerdiğini göstereceğiz. [R]'de Rosenthal, $X_p$'nin standart tabanının, kapalı doğrusal gerisi tümlenmiş olan güzel blok tabanlarının var olduğunu göstermiştir. Onun inşasının amacı, blok tabanının koordinat fonksiyonellerinin hem $p$ hem de $2$ normlarında sınırlı seçilebilmesini sağlamaktı. Açıkça, eğer her $j \in \mathbb{N}$ için, $$y_j = \sum_{n=k_j+1}^{k_{j+1}} w_n^{2/(p-2)} e_n$$ ise (burada $(e_n)$, $X_p$ için doğal taban ve $(e_n^*)$ buna karşılık gelen biyortogonal fonksiyoneller dizisidir), o halde $$|y_j|_2 = \left( \sum_{n=k_j+1}^{k_{j+1}} w_n^{2p/(p-2)} \right)^{1/2}$$ ve $$|y_j|_p = \left( \sum_{n=k_j+1}^{k_{j+1}} w_n^{2p/(p-2)} \right)^{1/p}$$ elde edilir. Şöyle tanımlayalım: $$y_j^*(x) = |y_j|_2^{-2} \sum_{n=k_j+1}^{k_{j+1}} w_n^{2/(p-2)} w_n^2 e_n^*(x) = |y_j|_2^{-2} \langle y_j, x \rangle\ .$$ Hölder eşitsizliğini önce $\ell_2$ uzayında, ardından da $\ell_{p/2}$ uzayında uygulayarak şunu görürüz: $$\begin{aligned} |y_j^*(x)| &= |y_j|_2^{-2} \left| \sum_{n=k_j+1}^{k_{j+1}} w_n^{2p/(p-2)} e_n^*(x) \right| \\ &\le |y_j|_2^{-2} \left( \sum_{n=k_j+1}^{k_{j+1}} w_n^{2p/(p-2)} \right)^{(p-2)/2p} \left( \sum_{n=k_j+1}^{k_{j+1}} w_n^2 |e_n^*(x)|^2 \right)^{1/2} \left( \sum_{n=k_j+1}^{k_{j+1}} w_n^{2p/(p-2)} \right)^{1/2 - (p-2)/2p} \\ &\le |y_j|_2^{-2} |y_j|_2^{(p-2)/p} |y_j|_2^{2/p} \min\left\{ |x|_{[k_j+1, k_{j+1}]}|_2, |y_j|_2 |y_j|_p^{-1} |x|_{[k_j+1, k_{j+1}]}|_p \right\} \\ &= \min\left\{ |x|_{[k_j+1, k_{j+1}]}|_2 |y_j|_2^{-1}, |x|_{[k_j+1, k_{j+1}]}|_p |y_j|_p^{-1} \right\}\ . \end{aligned}$$ Böylece, $$\|y_j^*(x) y_j\| \le \|x|_{[k_j+1, k_{j+1}]}\|\ .$$ Önemli olan nokta, bu hesaplamanın şu sebepten dolayı çalışmasıdır:

Not 1.1. $y_j$ için katsayı seçimi aşağıdaki geometrik motivasyona sahiptir. Bu katsayılar, $[k_j + 1, k_{j+1}]$ üzerinde desteklenen elemanlar için $|\cdot|_2 / |\cdot|_p$ oranının maksimumunu verir. Dolayısıyla, eğer $x$, $[k_j + 1, k_{j+1}]$ üzerinde desteklenmişse ve $x \in B_{\ell_p}$ ($\ell_p$'nin birim yuvarı) ise, o zaman $(|y_j|_p / |y_j|_2) x \in B_{|\cdot|_2}$ olur ve bu katın $2$-normunun bir olmasını sağlayan tam olarak bir tek $x$ vardır.

Eğer $y_j$ yerine, aynı desteğe sahip olan ve $$c |z_j|_2 \ge \left[ \sum_{n=k_j+1}^{k_{j+1}} w_n^{2p/(p-2)} \right]^{(p-2)/2p} |z_j|_p = \omega([k_j + 1, k_{j+1}])^{(p-2)/2p} |z_j|_p$$ koşulunu sağlayan herhangi bir $z_j$ koyarsak ve $$z_j^*(x) = |z_j|_2^{-2} \langle z_j, x \rangle = |z_j|_2^{-2} \sum_{n=k_j+1}^{k_{j+1}} e_n^*(z_j) e_n^*(x) w_n^2$$ olarak tanımlarsak, yukarıdaki gibi Hölder eşitsizliğini uygulamak şunu gösterir: $$|z_j^*(x) z_j|_2 \le |x|_{[k_j+1, k_{j+1}]}|_2 \quad \text{ve} \quad |z_j^*(x) z_j|_p \le c |x|_{[k_j+1, k_{j+1}]}|_p\ .$$

Bu gözlemi, blok temel dizileri tarafından gerilen alt uzayların izomorfik sınıflandırmasıyla birleştirerek, $X_{p,w'}$ uzayına izomorfik olan $X_p$'nin tümlenmiş bir alt uzayı için bir prototip elde ederiz.

Önerme 1.2. (z_j), $X_p$'nin doğal tabanının normalize edilmiş bir blok tabanı olsun, $(E_j)$ ikişer ikişer ayrık $\mathbb{N}$ alt kümelerinin bir dizisi olsun ve her $j$ için aşağıdaki koşulları sağlayan pozitif $c$ ve $\delta$ sabitleri mevcut olsun: a) $|z_j|_{E_j}|_2 \ge \delta |z_j|_2$ b) $c |z_j|_{E_j}|_2 \ge \omega(E_j)^{(p-2)/2p} |z_j|_{E_j}|_p$ O halde $[z_j]$, $X_p$'nin $X_{p,w'}$ uzayına izomorfik olan ve $\max\{\delta^{-1}, c\}$ normlu bir projeksiyonla tümlenmiş bir alt uzayıdır; burada $w'_j = \omega(E_j)^{(p-2)/2p}$'dir.

Kanıt. $X_p$'nin doğal tabanının bir blok tabanı, $w''_j = |z_j|_2 / |z_j|_p = r(z_j)$ olmak üzere $X_{p,w''}$ uzayına izomorfik bir alt uzay gerer. Hölder eşitsizliği ve b) gereği, $$r(z_j) = \frac{|z_j|_2}{|z_j|_p} \le \delta^{-1} \frac{|z_j|_{E_j}|_2}{|z_j|_{E_j}|_p} \le \delta^{-1} c^{-1} \omega(E_j)^{(p-2)/2p}$$ elde edilir. Şöyle tanımlayalım: $$P x = \sum_{j=1}^\infty |z_j|_{E_j}|_2^{-2} \langle z_j|_{E_j}, x \rangle z_j\ .$$ Açıkça, eğer $P$ sınırlı ise aranan operatördür. b) koşulunun $$(c |z_j|_{E_j}|_p) |z_j|_{E_j}|_2 \ge \omega(E_j)^{(p-2)/2p} |z_j|_{E_j}|_p$$ biçimindeki kullanımıyla yapılan yukarıdaki hesaplamalar, eğer $z_j^*(x) = |z_j|_{E_j}|_2^{-2} \langle z_j|_{E_j}, x \rangle$ ise, $$\begin{aligned} \|P x\| &\le \max\left\{ \left( \sum_{j=1}^\infty |z_j^*(x) z_j|_2^2 \right)^{1/2}, \left( \sum_{j=1}^\infty |z_j^*(x) z_j|_p^p \right)^{1/p} \right\} \\ &= \max\left\{ \left( \sum_{j=1}^\infty \frac{|z_j^*(x) z_j|_{E_j}|_2^2 |z_j|_2^2}{|z_j|_{E_j}|_2^2} \right)^{1/2}, \left( \sum_{j=1}^\infty \frac{|z_j^*(x) z_j|_{E_j}|_p^p |z_j|_p^p}{|z_j|_{E_j}|_p^p} \right)^{1/p} \right\} \\ &\le \max\left\{ \left( \sum_{j=1}^\infty |x|_{E_j}|_2^2 \delta^{-2} \right)^{1/2}, \left( \sum_{j=1}^\infty |x|_{E_j}|_p^p c^p \right)^{1/p} \right\} \\ &\le \max\{\delta^{-1}, c\} \|x\| \end{aligned}$$ olduğunu gösterir. $\square$

Şimdi, $X_p$ içeren ve dolayısıyla $X_p$'ye izomorfik olan $X_p$'nin tümlenmiş alt uzaylarının karakterizasyonunu kanıtlayacağız [JO2].

Teorem 1.3. $X$, $X_p$'nin tümlenmiş bir alt uzayı olsun. O halde aşağıdakiler eşdeğerdir: 1) $X$, $X_p$'ye izomorfik olan tümlenmiş bir alt uzay içerir. 2) Öyle pozitif $c$ ve $\delta$ sabitleri mevcuttur ki, her $\epsilon > 0$ için, her $N \in \mathbb{N}$ için, $\|x\| = 1$ koşulunu sağlayan bir $x \in X$ ve $\{N, N + 1, \dots\}$ kümesinin sonlu bir $E$ alt kümesi mevcut olacak şekilde bir $\epsilon'$ ($0 < \epsilon' < \epsilon$) vardır, öyle ki: a) $\|x|_{[1,N]}\| < N^{-1}$ b) $|x|_E|_2 \ge \delta |x|_2$ c) $\epsilon \ge c |x|_E|_2 \ge \omega(E)^{(p-2)/2p} \ge \epsilon'$ koşulları sağlanır.

Kanıt. 2) koşulunun sağlandığını varsayalım. $\epsilon_k = k^{-1}$ olsun. Tümevarım yöntemiyle, her $k$ için, $X_p$'nin tabanının bir blok tabanının pertürbasyonu olan ve b) ile c) koşullarını ($\epsilon'_k$ ve $E_{k,j}$ için) sağlayan birim normlu elemanların bir $(x_{k,j})$ dizisini seçebiliriz. Açıkça, $j \neq m$ için $E_{k,j} \cap E_{k,m} = \emptyset$ olduğunu varsayabiliriz. Basit bir köşegenleştirme argümanıyla, $(x_{k,j})_{k=1, j\in F_k}^\infty$ dizisi $X_p$'nin bir blok tabanına eşdeğer olacak, $E_{k,j}$ ($k \in \mathbb{N}$, $j \in F_k$) kümeleri ikişer ikişer ayrık olacak ve her $k$ için $(\epsilon'_k)^{2p/(p-2)} \text{card } F_k \ge 1$ olacak şekilde $F_k \subset \mathbb{N}$ kümeleri bulabiliriz. Şimdi Önerme 1.2 ve standart pertürbasyon argümanlarından, $Y = [x_{k,j} : k \in \mathbb{N}, j \in F_k]$ uzayının $X_p$'ye izomorfik olduğu ve $Y$'nin $X_p$ içinde tümlenmiş olduğu elde edilir.

Karşıt yön için, $X_p$'nin izomorfu olarak, $w'$'nün aslında çift indeksli bir $w' = (w_{k,j})$ dizisi olduğu, her $j$ için $w_{k,j} = w_k$ olduğu, $\lim w_k = 0$ ve $\sum_{k=1}^\infty w_k^{2p/(p-2)} = \infty$ koşullarını sağlayan özel $X_{p,w'}$ temsilini alırsak, tabanın bir alt dizisinin görüntülerinin 2)'deki özellikleri sağladığını göstereceğiz. Böylece $Y$'nin $X$'in tümlenmiş bir alt uzayı olduğunu ve $T$'nin $X_{p,w'}$ uzayından $Y$ üzerine bir izomorfizma olduğunu varsayalım. $X_{p,w'}$ tabanının bir alt dizisine geçerek ve standart bir pertürbasyon argümanı kullanarak, $Y$'nin, içeren $X_p$'nin tabanının bir bloğunun gerisi olduğunu varsayabiliriz. $(y_i)$, $Y$'nin normalize edilmiş tabanı olsun ve $F_i$, $y_i$'nin $X_p$'nin tabanına göre desteği olsun. $y_i^*$ ile $y_i$'ye karşılık gelen biyortogonal fonksiyoneli gösterelim. $Y$, $X_p$ içinde tümlenmiş olduğundan, her $y_i^*$'ın $X_p$ üzerinde tanımlı olduğunu ve $\sup \|y_i^*\| \le \|T^{-1}\| \|Q\|$ olduğunu varsayabiliriz; burada $Q$, $Y$ üzerine olan projeksiyondur. $Y$ yansımalı (reflexive) olduğundan, $X_p$'nin $j$-yinci taban vektörü $e_j$ olmak üzere, $i \to \infty$ iken her $j$ için $y_i^*(e_j) \to 0$ olur. Böylece, bir alt diziye geçerek, bir pertürbasyon argümanı kullanarak ve belki $F_i$ kümelerini biraz büyüterek, sadece $x|_{F_i} \neq 0$ olduğunda $y_i^*(x) \neq 0$ olduğunu varsayabiliriz. Diğer bir deyişle $y_i^*(x) = y_i^*(x|_{F_i})$ olur. Ayrıca buradan, $Y$ üzerine olan $Q$ projeksiyonunun $Qx = \sum_{i=1}^\infty y_i^*(x) y_i$ ile verildiği sonucu çıkar.

$i$'yi sabitleyelim ve $E_i = \{j \in F_i : |y_i(j)| \ge \rho w_j^{2/(p-2)} |y_i|_2^{-2/(p-2)} \}$ olarak tanımlayalım ve $y_i$ ile $E_i$ için b) koşulunun sağlandığını varsayalım. $$\omega(E_i) = \sum_{j\in E_i} w_j^{2p/(p-2)} \le \rho^{-2} \sum_{j\in E_i} |y_i(j)|^2 |y_i|_2^{4/(p-2)} w_j^2 = \rho^{-2} |y_i|_{E_i}|_2^2 |y_i|_2^{4/(p-2)} \le \rho^{-2} \delta^{-4/(p-2)} |y_i|_{E_i}|_2^{2p/(p-2)}$$ elde edilir. Dolayısıyla, eğer $\rho$ değeri $i$'den bağımsız ise, b) koşulu c) koşulundaki ortadaki eşitsizliği gerektirecektir (burada $c = \rho^{-(p-2)/p} \delta^{-2/p}$'dir). Ayrıca, $$|y_i|_p \omega(E_i)^{(p-2)/2p} \ge |y_i|_{E_i}|_p \omega(E_i)^{(p-2)/2p} \ge |y_i|_{E_i}|_2 \ge \delta |y_i|_2$$ olduğundan, $|y_i|_2$ sıfırdan uzak kaldığında c)'deki üçüncü eşitsizlik sağlanacaktır. Bu nedenle, bazı $\rho > 0$ için, $E_\delta = \{i : |y_i|_{E_i}|_2 \ge \delta |y_i|_2\}$ olmak üzere, her $\epsilon_1 > 0$ için $E_\delta$ içindeki sonsuz sayıda $i$ için $\epsilon_1 \ge |y_i|_2 \ge \epsilon_2$ olacak şekilde bir $\delta$ ($0 < \delta < 1$) ve $\epsilon_2 > 0$ olduğunu göstermek yeterlidir. O halde c) koşulu $c \epsilon_1 = \epsilon$ ve $\epsilon' = \delta \epsilon_2$ ile sağlanacaktır.

$\sum_{j \notin E_i} |y_i(j)|^p \le \sum_{j \notin E_i} |y_i(j)|^2 \rho^{p-2} w_j^2 |y_i|_2^{-2} \le \rho^{p-2}$ olduğuna dikkat edin. Dolayısıyla $\|y_i|_{E_i}\| \ge [1 - \rho^{p-2}]^{1/p}$ ve $|y_i|_{F_i \setminus E_i}|_p \le \rho^{1-2/p}$ elde edilir. Böylece eğer $\rho$ küçükse, $[y_i|_{E_i^c} : i \notin E_\delta]$ uzayı, $[y_i : i \notin E_\delta]$ uzayına $\rho^{-1+2/p}$ oranından daha iyi eşdeğer değildir.

Her $K$ için $M_K = \{i : |y_i^*(y_i|_{E_i})| \le K |y_i|_{E_i}|_2 / |y_i|_2 \}$ tanımlayalım. $\|y_i^*\| \le \|T^{-1}\| \|Q\|$ olduğundan, $$|y_i^*(y_i|_{F_i \setminus E_i})| \le \|T^{-1}\| \|Q\| \max\{|y_i|_{F_i \setminus E_i}|_2, |y_i|_{F_i \setminus E_i}|_p\} \le \|T^{-1}\| \|Q\| \max\{|y_i|_2, \rho^{1-2/p}\}$$ olduğuna dikkat edin. Bu yüzden, sadece $|y_i|_2 \le \rho^{1-2/p}$ koşulunu sağlayan $y_i$'leri dikkate alırsak, $$|y_i^*(y_i|_{E_i})| \ge 1 - \|T^{-1}\| \|Q\| \rho^{1-2/p}$$ elde ederiz. Bu tür $y_i$'lerin gerisi, $(y_i)$ dizisi üzerindeki varsayımımız altında hala $X_{p,w}$ uzayına izomorfiktir. Bundan sonra $\rho^{1-2/p} \le (\|T^{-1}\| \|Q\| 2)^{-1}$ olduğunu ve dolayısıyla tüm $i$ için $|y_i^*(y_i|_{E_i})| \ge 1/2$ olduğunu varsayacağız. Bu şekilde, $E_\delta$ yerine $M_K$ ile çalışabiliriz çünkü bu tür $i$ için eğer $i \in M_K$ ise, o zaman $i \in E_{1/2K}$ olur.

Şimdi $[y_i]$ üzerine olan projeksiyonun $[y_i|_{E_i}]$ gerisi üzerinde nasıl etki ettiğini görelim. $y_i$'ler üzerindeki varsayımlarımız, $Q \sum_{i=1}^\infty a_i y_i|_{E_i} = \sum_{i=1}^\infty a_i y_i^*(y_i|_{E_i}) y_i$ olmasını gerektirir. Buradan, $$\|Q \sum a_i y_i|_{E_i}\| \ge K \left( \sum_{i\in M_K} |a_i|^2 |y_i|_{E_i}|_2^2 |y_i|_2^{-2} |y_i|_2^2 \right)^{1/2} = K \left( \sum_{i\in M_K} |a_i|^2 |y_i|_{E_i}|_2^2 \right)^{1/2}$$ elde edilir. Eğer $i \notin M_K$ ve $i \le N$ için $a_i = |y_i|_{E_i}|_2^{2/(p-2)}$ ve aksi takdirde $0$ ise, o halde $$\begin{aligned} \left\|\sum_{i=1}^N a_i y_i|_{E_i}\right\| &= \max\left\{ \left( \sum_{i\notin M_K} |a_i|^2 |y_i|_{E_i}|_2^2 \right)^{1/2}, \left( \sum_{i\notin M_K} |a_i| ^p |y_i|_{E_i}|_p^p \right)^{1/p} \right\} \\ &\le \max\left\{ \left( \sum_{i\notin M_K} |y_i|_{E_i}|_2^{2p/(p-2)} \right)^{1/2}, \left( \sum_{i\notin M_K} |y_i|_{E_i}|_2^{2p/(p-2)} \frac{|y_i|_p^p}{|y_i|_{E_i}|_p^p} \right)^{1/p} \right\} \\ &\le \max\left\{ \left( \sum_{i\notin M_K} |y_i|_{E_i}|_2^{2p/(p-2)} \right)^{1/2}, \left( \sum_{i\notin M_K} |y_i|_{E_i}|_2^{2p/(p-2)} \right)^{1/p} \right\} \\ &= \sum_{i\notin M_K} |y_i|_{E_i}|_2^{2p/(p-2)} \end{aligned}$$ olur, eğer $\sum_{i\notin M_K} |y_i|_{E_i}|_2^{2p/(p-2)} \ge 1$ ise.

Bu durum şunu gerektirir: $$\|Q\| \left( \sum_{i\notin M_K} |y_i|_{E_i}|_2^{2p/(p-2)} \right)^{1/2} \ge K \left( \sum_{i\notin M_K} |y_i|_{E_i}|_2^{2p/(p-2)} \right)^{1/2}$$ eğer $\sum_{i\notin M_K} |y_i|_{E_i}|_2^{2p/(p-2)} \le 1$ ise.

$|y_i|_{E_i}|_p \ge [1 - \rho^{p-2}]^{1/p}$ olduğundan (burada $\rho < 1$ olduğunu varsayıyoruz), bu durum $[y_i|_{E_i} \|y_i|_{E_i}\|^{-1} : i \notin M_K]$ dizisinin $\ell_p$'nin tabanına eşdeğer olduğunu gösterir. Bu nedenle, yeterince küçük herhangi bir $\epsilon'$ için, $|y_i|_2 \ge \epsilon'$ koşulunu sağlayan $y_i$'lerin sadece sonlu sayıda olanlarının indeksi $M_K$ içinde değildir. Gerçekten de, eğer durum böyle olmasaydı, o zaman $(y_i)$'nin, $M \subset M_K^c$ ve her $i \in M$ için $|y_i|_2 \ge \epsilon$ olacak şekilde bir $(y_i)_{i\in M}$ alt dizisi mevcut olurdu (bazı $\epsilon > 0$ için). Ancak bu durum, $Q$ operatörünün, $\ell_p$'ye izomorfik olan $[y_i|_{E_i} : i \in M]$ uzayından, $\ell_2$'ye izomorfik olan $[y_i : i \in M]$ uzayı üzerine bir izomorfizma olmasını gerektirirdi.

Buradan, $(y_i)_{i\in M_K}$ dizisinin, $w' = (w'_i)$ olmak üzere $X_{p,w'}$ tabanına eşdeğer olduğu ve her $\epsilon > 0$ için, sonsuz sayıda $i$ için $\epsilon > w'_i \ge \epsilon'$ olacak şekilde bir $\epsilon' > 0$ mevcut olduğu sonucu çıkar. $|y_i^*(y_i|_{E_i})| \ge 1/2$ olduğundan, herhangi bir $i \in M_K$ için, $\delta = 1/2K$ olmak üzere $|y_i|_{E_i}|_2 \ge \delta |y_i|_2$ elde edildiğine, yani $i \in E_\delta$ olduğuna dikkat edin. $\square$

Not 1.4. Eğer $X$, $X_p$'ye izomorfik değilse, $X$ içindeki vektörleri büyük oranlı bir parçaya ve küçük oranlı bir parçaya ayırmanın doğal bir yolunu elde etmek için 1)'in 2)'yi gerektirdiğine dair kanıtın bir kısmını kullanabiliriz. Gerçekten de $X$'in, $X_p$'nin tümlenmiş bir alt uzayı olduğunu ve $P$'nin $X$ üzerine olan projeksiyon olduğunu varsayalım. [JJ] veya [JO2] gereği, $P$'nin $|\cdot|_2$ normunda da sınırlı olduğunu varsayabiliriz. 2) koşulunun $\delta < |P|_2^{-1}$, $c$ ve $\epsilon$ için sağlanmadığını varsayalım. $\epsilon' < \min\{\epsilon, \delta \alpha\}$ olacak şekilde pozitif $\epsilon'$, $\rho$, $\alpha$ ve $\beta$ sabitlerini seçelim: $$|y|_2 \le |P|_2 |x|_{E_x}|_2 < |P|_2 \delta |x|_2 \le |P|_2 \delta \beta \le \alpha (1 - \beta \|P\|) \le \alpha (|x|_p - \|P\| |x|_{E_x^c}\|_p) \le \alpha |y|_p$$ elde edilir, çünkü $|x|_{E_x^c}|_p \le \rho^{(p-2)/p} \le \beta$ ve $|x|_2 \le \beta$ olur. Ve $$|z|_2 \ge (1 - \delta |P|_2) \alpha \ge (1 - \delta |P|_2) \beta^2 \|P\| / (1 - \delta |P|_2) \ge \beta \|P\| \|x|_{E_x^c}\| \ge \beta |z|_p$$ olur. Böylece desteği $\{N + 1, N + 2, \dots\}$ içinde olan herhangi bir $x \in X$, oranı $\beta$'dan büyük olan bir elemana ve oranı $\alpha$'dan küçük olan bir elemana ayrılabilir. Eğer bu doğrusal bir şekilde başarılabilseydi, o zaman $X$'in $\ell_p \oplus \ell_2$'nin tümlenmiş bir alt uzayına izomorfik olduğu sonucu çıkardı.

2. $X_p$'nin $\ell_p \oplus \ell_2$'ye İzomorfik Olan Tümlenmiş Alt Uzayları

Bu bölümde, $X_p$'nin $\ell_p \oplus \ell_2$'nin tümlenmiş alt uzaylarına izomorfik olan tümlenmiş alt uzayları ile $X_p$'ye izomorfik olanlar arasında ayrım yapmanın bazı yollarına bakacağız. İlk olarak, eğer $X$ uzayı $\ell_p \oplus \ell_2$'ye izomorfik ise Teorem 1.3'teki koşulların nasıl başarısız olduğunu inceleyeceğiz. Aşağıda $P_n$, $X_p$'nin tabanının ilk $n$ elemanının gerisi üzerine olan taban projeksiyonunu göstermektedir.

Önerme 2.1. $Z, X, U$ ve $W$, $Z \subset X = U \oplus W$ olacak şekilde $X_p$'nin alt uzayları olsun; burada $U$, $\ell_2$'ye izomorfik ve $W$, $\ell_p$'ye izomorfiktir. $Z$'nin normalize edilmiş bir $K$-koşulsuz $(z_n)$ tabanına sahip olduğunu varsayalım. $\beta = \lim_{n\to\infty} r(z_n)$ ve $\beta' = \lim_{n\to\infty} \inf\{b : \text{her } \epsilon > 0 \text{ için, } \|P_n u\| < \epsilon \text{ ve } r(u) \le b \text{ koşullarını sağlayan bir } u \in U \text{ mevcuttur}\}$ olsun. Eğer $\beta > 0$, $\beta' \le 1$ ise ve $P$, $X$'ten $Z$ üzerine bir projeksiyon ise, o halde $\|P\| \ge \beta' / K\beta$ olur.

Kanıt. $u_n \in U$ ve $w_n \in W$ olmak üzere $z_n = u_n + w_n$ olsun. Alt dizilere geçerek ve standart bir pertürbasyon argümanı kullanarak, $(u_n)$ ve $(w_n)$ dizilerinin $X_p$'nin tabanının blok tabanları olduğunu varsayabiliriz. ( $\|w_n\| \to 0$ olması durumunda da $\beta' \le \beta$ olur.) Dahası, $P$ projeksiyonunun, buna karşılık gelen $Q$ taban projeksiyonu ile birleştiğinde $(z_n)_{n\in M}$ alt dizisine göre ayrık olarak etki ettiğini, yani $QP$'nin $[z_n : n \in M]$ üzerine bir projeksiyon olduğunu ve $QP u_n = \tau_n z_n$ ile $QP w_n = (1 - \tau_n) z_n$ sağladığını varsayabiliriz.

$(w_n)$, $\ell_p$ ($p > 2$, $\beta > 0$) uzayının standart birim vektör tabanına eşdeğer olduğundan ve $(z_n)$, $\ell_2$'nin standart birim vektör tabanına eşdeğer olduğundan, $\tau_n \to 1$ elde edilir. $W$, $\ell_p$'ye izomorfik olduğundan, $|w_n|_2 \to 0$ olur ve dolayısıyla $|u_n|_2 - |z_n|_2 \to 0$ elde edilir. Bu nedenle, $$\lim \sup \|u_n\| = \lim \sup \max\{|u_n|_2, |u_n|_p\} \le \lim \sup \max\{\beta, |u_n|_2 / r(u_n)\} \le \max\{\beta, \beta / \beta'\} = \beta / \beta'$$ olur. Sonuç olarak, $$K \|P\| \beta / \beta' \ge \lim \sup \|Q\| \|P\| \|u_n\| \ge 1 \qquad \square$$ elde edilir.

Sonuç 2.2. $X, U$ ve $W$, Önerme 2.1'in hipotezlerini sağlayan $X_p$'nin alt uzayları olsun ve $X$, $X_p$ içinde $P$ projeksiyonu ile tümlenmiş olsun. O halde, herhangi bir $c$ ve $\delta$ için ve $\epsilon < \beta' c \delta / \max\{c, \delta^{-1}\}$ için, her $N \in \mathbb{N}$ için $\|x\| = 1$ koşulunu sağlayan bir $x \in X$ ve $\{N, N + 1, \dots\}$ kümesinin sonlu bir $E$ alt kümesi mevcut olacak şekilde bir $\epsilon'$ ($0 < \epsilon' < \epsilon$) yoktur öyle ki: a) $\|x|_{[1,N]}\| < N^{-1}$ b) $|x|_E|_2 \ge \delta |x|_2$ c) $\epsilon \ge c |x|_E|_2 \ge \omega(E)^{(p-2)/2p} \ge \epsilon'$ sağlansın.

Kanıt. Bazı $c, \delta$ ve $\epsilon$ için $\epsilon'$'nün var olduğunu varsayalım. O halde, $X$ içinde normları bir olan ve $X_p$'nin tabanının bir blok tabanının pertürbasyonu olan bir $(z_n)$ dizisi ve ikişer ikişer ayrık $(E_n)$ kümeleri mevcuttur öyle ki tüm $n$ için: b) $|z_n|_{E_n}|_2 \ge \delta |z_n|_2$; c) $\epsilon \ge c |z_n|_{E_n}|_2 \ge \omega(E_n)^{(p-2)/2p} \ge \epsilon'$ sağlanır. O halde $[z_n : n \in \mathbb{N}]$, $X_p$ içinde normu en fazla $\max\{c, \delta^{-1}\}$ olan bir projeksiyonla tümlenmiştir ve $r(z_n) \le \epsilon / c\delta$ olur. Böylece bir önceki önerme gereği $\|P\| \ge \beta' c\delta / \epsilon$ elde edilir ve dolayısıyla $$\epsilon \ge \beta' c\delta / \max\{c, \delta^{-1}\} \qquad \square$$ olur.

Şimdi dikkatimizi $X_p$'nin tümlenmiş alt uzaylarının sınıflandırılmasına çeviriyoruz. [JO2]'de, eğer $X_p$'nin tümlenmiş bir alt uzayı koşulsuz bir tabana sahipse, o zaman bu uzayın $\ell_p, \ell_2, \ell_p \oplus \ell_2$ veya $X_p$ uzaylarından birine izomorfik olduğu gösterilmiştir. [AC]'de, $X$'in bir "$p, 2$ F.D.D." (sonlu boyutlu ayrışım) yapısına sahip olması durumunda da aynı sonuca varılmıştır. Dolayısıyla, ek varsayımlar olmaksızın da aynı sonucun geçerli olması muhtemel görünmektedir. Şimdi iyi bilinen bazı sonuçlara bakacağız ancak bunları $2$-normu ile $p$-normunun oranı cinsinden yeniden ele alacağız.

Başlamak için, Kadec ve Pelczynski'nin [KP] sonuçlarının $X_p$ ($p > 2$) içinde yer alan $\ell_2$'nin izomorfları için doğal bir kriter verdiğini hatırlayalım; yani, $X_p$'nin bir $X$ alt uzayının $\ell_2$'ye izomorfik olması için gerek ve yeter koşul, tüm $x \in X$ için $r(x) = |x|_2 / |x|_p \ge C$ olacak şekilde bir $C > 0$ sabitinin var olmasıdır, yani $h(X) \ge C$ olmasıdır. [JO1]'den, eğer $X_p$'nin tümlenmiş bir alt uzayı $\ell_2$ içermiyorsa, o zaman $\ell_p$'ye izomorfik olduğu sonucu çıkar. Standart bir kayan hörgüç (gliding hump) argümanı aşağıdaki kriteri verir. (Aşağıda $Q_N$, $X_p$'nin taban vektörlerinin indeksi $N$'den büyük olanlarının gerisi üzerine olan projeksiyonu göstermektedir.)

Önerme 2.3. $X_p$'nin tümlenmiş bir $X$ alt uzayının $\ell_p$'ye izomorfik olması için gerek ve yeter koşul, her $\epsilon > 0$ için, $x \in Q_N X$ olduğunda $r(x) < \epsilon$ olacak şekilde bir $N \in \mathbb{N}$ tamsayısının var olmasıdır.

Teorem 1.3, $X_p$'ye izomorfik olan tümlenmiş alt uzayları tanımlamak için bir kriter vermektedir, ancak $\ell_2 \oplus \ell_p$'ye veya onun tümlenmiş bir alt uzayına izomorfik olan tümlenmiş alt uzayları tanımlayan kullanışlı koşullar formüle etmek oldukça zor görünmektedir. İşte bu tür kriterler için bazı girişimler.

Önerme 2.4. $X$, $X_p$'nin tümlenmiş bir alt uzayı olsun ve $Z$, $X$'in bir alt uzayı olsun. $\epsilon, \beta$ ve $\beta'$ pozitif sabitler ve $\epsilon \le 1$ olsun, öyle ki: a) tüm $z \in Z$ için, $r(z) \ge \beta'$ b) eğer $x \in X$ ve $r(x) > \beta$ ise, $|x - z|_2 < \epsilon |x|_2$ olacak şekilde bir $z \in Z$ mevcuttur. O halde $X$, $\ell_p \oplus \ell_2$'nin tümlenmiş bir alt uzayına izomorfiktir ve bunun karşıtı da geçerlidir.

Kanıt. a) koşulu, $Z$'nin $\ell_2$'ye izomorfik olduğunu gerektirir. $Y$, $X$'ten $Z$ üzerine olan dik (orthogonal) projeksiyonun çekirdeği olsun. Eğer $y \in Y$ ve $r(y) > \beta$ ise, b) gereği $|y - z|_2 < \epsilon |y|_2$ olacak şekilde bir $z \in Z$ mevcuttur. Ancak $y$, $z$'ye dik olduğundan, $$|y|_2 \le [|y|_2^2 + |z|_2^2]^{1/2} = |y - z|_2 < \epsilon |y|_2$$ elde ederiz ki bu imkansızdır. Bu nedenle, tüm $y \in Y$ için $r(y) \le \beta$ olur ve $Y$, $\ell_p$'ye izomorfiktir.

Eğer $X$, $\ell_2$ veya $\ell_p$'ye izomorfik ise, karşıt yön önceki gözlemlerimizden kolayca elde edilir. Böylece, Edelstein ve Wojtaszczyk'in [EW] sonuçları gereği, $X$'in $\ell_p \oplus \ell_2$'ye izomorfik olduğunu varsayabiliriz ve $U$ ile $W$'yi, $U$ $\ell_2$'ye izomorfik ve $W$ $\ell_p$'ye izomorfik olacak şekilde tümleyen alt uzaylar olarak alalım. $U$, $\ell_2$'ye izomorfik olduğundan, tüm $u \in U$ için $r(u) \ge \beta'$ olacak şekilde bir $1 \ge \beta' > 0$ sabiti mevcuttur. $W$'nin, $U$ üzerine olan dik $Q$ projeksiyonunun çekirdeği olduğunu da varsayabiliriz.

$W$, $\ell_p$'ye izomorfik olduğundan bir tabana sahiptir; $R_n$, $I - Q$ ile $W$'nin tabanının ilk $n$ elemanının gerisi üzerine olan taban projeksiyonunun bileşkesini göstersin. $K = \sup \|R_n\|$ olsun. $Y = (I - R_n)W$ olmak üzere, $r(Y) < (2(1 + 1/\beta')(1 + K))^{-1}$ olacak şekilde $n$'yi yeterince büyük seçelim. O halde, eğer $x \in Y + Z$ ise, yukarıdaki hesaplama b) koşulunun $\epsilon = 1/2$ ile sağlandığını gösterir. $R_n$ sonlu ranklı olduğundan, eğer $r(x) > \beta$ ise $|x - Qx|_2 \le (1 + \|Q\|)\|R_n x\| + |(I - R_n)x - Q(I - R_n)x|_2 \le (1 + \|Q\|)\|x\|/4(1 + 1/\beta') + r(Y)\|(I - R_n)x - Q(I - R_n)x\|$ olacak şekilde bir $\beta > 1$ mevcuttur.

Herhangi bir $x \in X$ için, $$\|R_n x\| < \frac{\"x\|}{4(1 + \|Q\|)}$$ olsun. Şimdi eğer $r(x) > \beta$ ise, $$\begin{aligned} |x - Qx|_2 &\le (1 + \|Q\|)\|R_n x\| + |(I - R_n)x - Q(I - R_n)x|_2 \\ &\le |x|_2 \max\{1, 1/r(x)\}/4 + r(Y)(1 + \|Q\|) \|I - R_n\| \|x\| \\ &\le |x|_2 \max\{1, 1/r(x)\}/4 + r(Y)(1 + 1/\beta')(1 + K) |x|_2 \max\{1, 1/r(x)\} \\ &\le (3/4)|x|_2 \end{aligned}$$ elde edilir. $\square$

Not 2.5. b) koşulu şununla değiştirilebilir: b') eğer $x \in X$ ve $r(x) > \beta''$ ise, $|x - z|_2 < \epsilon \|x\|$ olacak şekilde bir $z \in Z$ mevcuttur. Bunu görmek için, eğer b') sağlanıyorsa, b) koşulunun $\beta = \max\{\beta'', \epsilon\}$ ve $\epsilon = 1$ ile sağlandığına dikkat edilmelidir.

$\ell_p$ kısmı üzerindeki hipotezle benzer bir teorem elde etmek için, bir projeksiyonun varlığını varsaymamız gerekiyor gibi görünmektedir.

Önerme 2.6. $X$, $X_p$'nin tümlenmiş bir alt uzayı olsun ve $Y$, $X$ üzerinde bir $P$ projeksiyonunun görüntüsü olsun. $\epsilon, \alpha$ ve $\alpha'$ pozitif sabitler ve $\epsilon \le \|I - P\|^{-1}$ olsun, öyle ki: a) tüm $y \in Y$ için, $r(y) \le \alpha'$ b) eğer $x \in X$ ve $r(x) < \alpha$ ise, $\|x - y\| < \epsilon \|x\|$ olacak şekilde bir $y \in Y$ mevcuttur. O halde $X$, $\ell_p \oplus \ell_2$'nin tümlenmiş bir alt uzayına izomorfiktir ve bunun karşıtı da geçerlidir.

Kanıt. a) koşulu, $Y$'nin $\ell_p$'ye izomorfik olduğunu gerektirir. $Z$, $X$'ten $Y$ üzerine olan $P$ projeksiyonunun çekirdeği olsun. Eğer $z \in Z$ ve $r(z) < \alpha$ ise, b) gereği $\|z - y\| < \epsilon \|z\|$ olacak şekilde bir $y \in Y$ mevcuttur. Ancak $Pz = 0$ ve $Py = y$ olduğundan, $$\|z\| = \|(I - P)(z - y)\| < \|I - P\| \epsilon \|z\| \le \|z\|$$ elde ederiz ki bu imkansızdır. Bu nedenle, tüm $z \in Z$ için $r(z) \ge \alpha$ olur ve $Z$, $\ell_2$'ye izomorfiktir.

Önerme 2.6'nın kanıtında olduğu gibi, karşıt yön kolayca $X$'in $\ell_2 \oplus \ell_p$'ye izomorfik olduğu duruma indirgenir. Bu yüzden yine $U$ ve $W$'yi, $U$ $\ell_2$'ye izomorfik ve $W$ $\ell_p$'ye izomorfik olacak şekilde tümleyen alt uzaylar olarak alalım ve $1 \ge \beta' > 0$ olacak şekilde ve tüm $u \in U$ için $r(u) \ge \beta'$ koşulunu sağlayan bir $\beta'$ sabiti seçelim. Önceden olduğu gibi, $W$'nin, $U$ üzerine olan dik $Q$ dik projeksiyonunun çekirdeği olduğunu varsayacağız.

O halde herhangi bir $x \in X$ için, $$\|Qx\| = \max\{|Qx|_2, |Qx|_p\} \le \max\{|Qx|_2, |Qx|_2/\beta'\} \le \langle Qx, x \rangle^{1/2} / \beta' \le [|Qx|_2 r(x)\|x\|]^{1/2} / \beta' \le \|Q\|^{1/2} r(x)^{1/2} \|x\| / \beta'$$ elde edilir. Dolayısıyla, eğer $r(x) < \alpha = \beta'^2 / \|Q\|^3$ ise, $\|x - (I - Q)x\| = \|Qx\| < \|x\| / \|I - (I - Q)\|$ olur. $Y$, $\ell_p$'ye izomorfik olduğundan, tüm $y \in Y$ için $r(y) \le \alpha'$ olacak şekilde bir $\alpha'$ mevcuttur. $\square$

Not 2.7. Önerme 2.3, 2.4 ve 2.6 aslında $X_p$'nin yapısını kullanmazlar ve bu nedenle $L_p$'nin tümlenmiş alt uzayları için de yeniden ifade edilebilirler.

Önerme 2.8. $X_p$'nin, aşağıdaki koşulları sağlayan bir $Y$ alt uzayı ve pozitif $\epsilon$ ve $\alpha$ sabitleri ($\epsilon < 1$) mevcut değildir: a) $r(Y) < \infty$ b) eğer $x \in X_p$ ve $r(x) < \alpha$ ise, $\|x - y\| < \epsilon \|x\|$ olacak şekilde bir $y \in Y$ mevcuttur.

Kanıt. Böyle bir alt uzayın var olduğunu varsayalım. O halde, $X_p$ tabanının normalize edilmiş bir blok temel $(x_n)$ dizisi mevcuttur öyle ki tüm $n$ için $\alpha > r(x_n) > \alpha/2$ olur ve $[x_n : n \in \mathbb{N}]$, $X_p$ içinde normu bir olan bir $P$ projeksiyonu ile tümlenmiştir. b) koşulu gereği, her $n$ için $Y$ içinde $\|x_n - y_n\| < \epsilon \|x_n\|$ olacak şekilde bir $y_n$ elemanı mevcuttur. $P$'nin normu $1$ olduğundan, $\|P y_n - x_n\| < \epsilon < 1$ olur. Buradan $\|P y_n\| > 1 - \epsilon$ elde edilir. Bir alt diziye geçerek, $(y_n)$ dizisinin $\ell_p$'nin standart birim vektör tabanına eşdeğer olduğunu ve $(P y_n)$ dizisinin $[x_n : n \in \mathbb{N}]$ içinde bir blok temel diziye eşdeğer olduğunu varsayabiliriz. Ancak $(x_n)$, $\ell_2$'nin birim vektör tabanına eşdeğerdir ve dolayısıyla $(P y_n)$ de öyledir. $p > 2$ olduğundan bu bir çelişkidir. $\square$

Not 2.9. Yukarıdaki önerme $\epsilon = 1$ ise geçerliliğini yitirir. Bu durumda, $\ell_p$ tabanına eşdeğer olan doğal bir temel dizinin pertürbasyonunun gerisi $Y$ için kullanılabilir.

Kaynakça

Department of Mathematics
Oklahoma State University
Stillwater, OK 74078-0613