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

Büzülen Koşulsuz Tabanlara Sahip Banach Uzaylarının Bölüm Uzayları Üzerine

E. Odell

University of Texas at Austin
1989

E. Odell[^1]

[^1]: Araştırma, NSF Grant DMS-8903197 tarafından kısmen desteklenmiştir.

Özet

Büzülen koşulsuz tabana sahip bir Banach uzayının bölüm uzayı olan bir $Y$ Banach uzayında, zayıfça sıfıra yakınsayan her normalize dizinin koşulsuz bir alt diziye sahip olduğu kanıtlanmıştır. Kanıt, Schreier uzayının her bölüm uzayının $c_0$-doygun olduğu sonucunu verir.

§0. Giriş

Zayıfça sıfıra yakınsayan her normalize dizinin koşulsuz bir alt dizisi varsa, bir $Y$ Banach uzayının (WU) özelliğine sahip olduğunu söyleyeceğiz. Maurey ve Rosenthal'in [MR] iyi bilinen örneği, her Banach uzayının (WU) özelliğine sahip olmadığını göstermektedir (ayrıca bkz. [O]). W. B. Johnson [J], eğer $Y$, büzülen koşulsuz bir s.b.a.'ya (sonlu boyutlu ayrışım) sahip bir $X$ Banach uzayının bölüm uzayı ise ve bölüm dönüşümü $c_0$'ın bir kopyasını sabitlemiyorsa, o zaman $Y$'nin (WU) özelliğine sahip olduğunu kanıtlamıştır. Ana sonucumuz bunu genişletmektedir (ve [J]'nin Problem IV.1'ini çözmektedir).

Teorem A. X, büzülen koşulsuz bir sonlu boyutlu ayrışıma sahip bir Banach uzayı olsun. O halde X'in her bölüm uzayı (WU) özelliğine sahiptir.

Elbette, böyle bir $X$'in kendisi de (WU) özelliğine sahip olacaktır. Dahası, eğer $(E_n)$, $X$ için koşulsuz bir s.b.a. ise, o zaman $(E_n)$'nin büzülen olması için gerek ve yeter koşul $X$'in $\ell_1$ içermemesidir.

Teorem A'nın kanıtı şu sonucu verir:

Teorem B. Y, Schreier uzayı S'nin bir bölüm uzayı olan bir Banach uzayı olsun. O halde Y uzayı $c_0$-doygundur.

Eğer $Y$'nin her sonsuz boyutlu alt uzayı $c_0$'ın bir izomorfunu içeriyorsa, $Y$'nin *$c_0$-doygun* olduğu söylenir.

Gösterimlerimiz, Lindenstrauss ve Tzafriri'nin [LT1, 2] kitaplarında bulunabileceği gibi standarttır. Teorem A'nın kanıtı §1'de, Teorem B'nin kanıtı ise §2'de verilmiştir. §3 bazı açık problemleri içermektedir. Burada yer alan sonuçlarla ilgili yararlı görüşmelerimiz için H. Rosenthal ve T. Schlumprecht'e teşekkür ederiz.

§1. Teorem A'nın Kanıtı

$T$, büzülen koşulsuz bir $(\overset{\approx}{E}_i)$ s.b.a.'sına sahip olan bir $X$ Banach uzayından $Y$ üzerine sınırlı bir doğrusal operatör olsun. Gerekirse yeniden normlandırarak, $(\overset{\approx}{E}_i)$'nin 1-koşulsuz olduğunu varsayabiliriz. $Y^*$ ayrılabilirdir ve dolayısıyla Zippin'in [Z] bir teoremine göre, $Y$'nin, bimonoton büzülen bir $(z_i)$ tabanına sahip bir $Z$ Banach uzayının alt uzayı olduğunu varsayabiliriz. Şunu sağlayan bir $C > 0$ sabitleyelim: $$T(C B_X)\supseteq B_Y \equiv \{y\in Y: \|y\|\le 1\}\ .$$

Eğer $0 = q_0 < q_1 < q_2 < \cdots$ tamsayıları her $i$ için $\widetilde{E}_i = [\overset{\approx}{E}_j]^{q_i}_{j=q_{i-1}+1}$ olacak şekilde mevcutsa (burada $[\cdots]$ kapalı doğrusal geriyi gösterir), $(\widetilde{E}_i)$'nin $(\overset{\approx}{E}_i)$'nin bir bloklaması (blocking) olduğunu hatırlayalım. Benzer şekilde, $\widetilde{F}_i = [z_j]^{q_i}_{j=q_{i-1}+1}$ ifadesi $(z_i)$'nin bir bloklamasını tanımlar.

Aşağıdaki koşulu sağlayan ve $0$'a yakınsayan bir $\varepsilon_{-1} > \varepsilon_0 > \varepsilon_1 > \varepsilon_2 > \cdots$ dizisi sabitleyelim: $$\sum_{i=-1}^\infty \varepsilon_i < 1/4 \quad \text{ve} \quad p \ge 0 \text{ için } \sum^\infty_{i=p} (4i+2) \varepsilon_i < \varepsilon_{p-1}\ .\tag{1.1}$$

Ardından, aşağıdaki koşulu sağlayan ve $0$'a yakınsayan $\tilde{\varepsilon}_0 > \tilde{\varepsilon}_1 > \cdots$ dizisini seçelim: $$p \ge 1 \text{ için } 4p\tilde{\varepsilon}_p < \varepsilon_{p+2} \quad \text{ve} \quad p \ge 0 \text{ için } \sum^\infty_{j=p+1}\tilde{\varepsilon}_j < \tilde{\varepsilon}_p\ .\tag{1.2}$$

İlk adımımız, Johnson ve Zippin'in bloklama tekniğidir.

Lemma 1.1 ([JZ1, 2]). Sırasıyla $(\overset{\approx}{E}_i)$ ve $(z_i)$'nin $(\widetilde{E}_i)$ ve $(\widetilde{F}_i)$ bloklamaları mevcuttur; öyle ki eğer $(\widetilde{Q}_i)$, $(\widetilde{F}_i)$ ile ilişkili Z üzerindeki sonlu ranklı projeksiyonların dizisi ise, Her $i\in \mathbb{N}$ ve $\| x\| \le C$ koşulunu sağlayan $x\in \widetilde{E}_i$ için, $j\ne i, i-1$ ise $\| \widetilde{Q}_j Tx\| < \tilde{\varepsilon}_{\max(i,j)}$ elde ederiz.\tag{1.3}

Kabaca bu durum, $T \widetilde{E}_i$'nin esasen $\widetilde{F}_{i-1} + \widetilde{F}_i$ içinde yer aldığı anlamına gelir (burada $\widetilde{F}_0 = \{0\}$'dır). $(y''_i)$, $Y$ içinde zayıfça sıfıra yakınsayan normalize bir dizi olsun. $(y''_i)$'nin bir $(y'_i)$ alt dizisini ve $(\widetilde{F}_i)$'nin $F_i = [\widetilde{F}_j]^{q_i}_{j=q_{i-1}+1}$ ile verilen bir $(F_i)$ bloklamasını seçelim; öyle ki eğer $Q_i = \sum^{q_i}_{j=q_{i-1}+1} \widetilde{Q}_j$, $(F_i)$ ile ilişkili $Z$ üzerindeki sonlu ranklı projeksiyonların dizisi ise, $$i\ne j \text{ ise } \| Q_j y'_i\| < \tilde{\varepsilon}_{\max(i,j)}$$ \tag{1.4} sağlanır. Kabaca, $y'_i$ esasen $F_i$ içindedir. Dahası, şunu varsayabiliriz: $$\| \sum a_i y'_i\| = 1 \implies \max | a_i| \le 2\ .\tag{1.5}$$

$(E_i)$, $(\widetilde{E}_i)$'nin, $(F_i)$'yi tanımlayan aynı $(q_i)$ dizisi tarafından verilen bloklaması olsun, yani $E_i = [\widetilde{E}_j]^{q_i}_{j=q_{i-1}+1}$.

Bir dizi temel, teknik ve gerekli lemayla başlıyoruz.

$I \subseteq \mathbb{N}$ için $Q_I = \sum_{j\in I} Q_j$ olarak tanımlıyoruz ve $Q_{\emptyset} = 0$ alıyoruz.

Lemma 1.2. Let $0 \le n < m$ tamsayılar olsun ve $\| y\| = 1$ olmak üzere $y = \sum_{i\notin (n,m)} a_i y'_i$ olsun. O halde $j\in (n,m)$ için $\| Q_j y\| < \varepsilon_j$ ve $\| Q_{(n,m)} y\| < \varepsilon_n$ elde edilir.

Kanıt. $n < j < m$ olsun. O halde (1.5), (1.4), (1.2) ve (1.3) gereği, $$\begin{aligned} \Vert Q_j y \Vert &\le 2\left(\sum_{i\le n} \| Q_j y'_i\| + \sum_{i\ge m} \| Q_j y'_i\|\right) \\ &< 2(n \tilde{\varepsilon}_j + \tilde{\varepsilon}_{m-1}) \\ & \le (2j + 2)\tilde{\varepsilon}_j \le 4j \tilde{\varepsilon}_j < \varepsilon_j \end{aligned}$$ elde edilir. Böylece, (1.1) gereği $\| Q_{(n,m)} y\| < \sum_{j\in(n,m)}\varepsilon_j < \varepsilon_n$ olur. $\square$

Lemma 1.3. Let $0 = p_0 < r_0 = 1 < p_1 < r_1 < p_2 < r_2 < \cdots$ tamsayılar olsun ve $\| y\| = 1$ olmak üzere $y = \sum^\infty_{i=1} a_i y'_{p_i}$ olsun. O halde $i\in \mathbb{N}$ için, $$\| Q_{[r_{i-1},r_i)} y - a_i y'_{p_i}\| < \varepsilon_{p_{i-1}-1}$$ elde edilir.

Kanıt. $$\begin{aligned} \| Q_{[r_{i-1},r_i)} y - a_i y'_{p_i}\| &\le \| Q_{[r_{i-1},r_i)}\sum_{j\ne i} a_j y'_{p_j}\| + \| Q_{[r_{i-1},r_i)} a_i y'_{p_i} - a_i y'_{p_i}\| \\ &\text{bu ifade Lemma 1.2 gereği şundan küçüktür:} \\ &< \varepsilon_{r_{i-1}-1} + \| Q_{[1,r_{i-1})} a_i y'_{p_i}\| + \| Q_{[r_i,\infty)} a_i y'_{p_i}\| \\ &< \varepsilon_{r_{i-1}-1} + 2\sum_{k < r_{i-1}} \| Q_k y'_{p_i}\| + 2\varepsilon_{r_i-1} \quad \text{((1.5) ve Lemma 1.2 gereği)} \\ &< \varepsilon_{r_{i-1}-1} + 2(r_{i-1}-1) \tilde{\varepsilon}_{p_i} + 2\varepsilon_{r_i-1} \quad \text{((1.4) gereği)} \\ &\le \varepsilon_{p_{i-1}} + 2p_i \tilde{\varepsilon}_{p_i} + 2\varepsilon_{p_i} < \varepsilon_{p_{i-1}} + 4\varepsilon_{p_i} \quad \text{((1.2) gereği)} \\ &< \varepsilon_{p_{i-1}-1} \quad \text{((1.1) gereği)}\ . \qquad \square \end{aligned}$$

Lemma 1.4. Let $i\in \mathbb{N}$, $x\in E_i$ ve $\| x\| \le C$ olsun. O halde $$\begin{aligned} \| Q_j Tx\| &< \varepsilon_{\max(i,j)} \quad j \ne i, i-1 \text{ ise}\ , \\ \| Q_{[1,i-2]} Tx\| &< \varepsilon_{i-1} \quad \text{ve} \quad \| Q_{[i,\infty)} Tx\| < \varepsilon_{i-1} \end{aligned}$$ elde edilir.

Kanıt. $\omega_{\ell} \in \widetilde{E}_{\ell}$ olmak üzere $x = \sum_{\ell \in (q_{i-1},q_i]} \omega_{\ell}$ olsun.

$j < i - 1$ için: $$\begin{aligned} \| Q_j Tx\| &\le \sum_{k\in(q_{j-1},q_j]}\sum_{\ell \in (q_{i-1}, q_i]} \| \widetilde{Q}_k T\omega_\ell \| \\ &< \sum_{k\in (q_{j-1}, q_j]} \sum_{\ell \in (q_{i-1}, q_i]}\tilde{\varepsilon}_\ell \quad \text{((1.4) gereği)} \\ &< q_j \tilde{\varepsilon}_{q_{i-1}} < q_{i-1} \tilde{\varepsilon}_{q_{i-1}} < \varepsilon_{q_{i-1} +2} < \varepsilon_i \quad \text{((1.2) kullanılarak)}\ . \end{aligned}$$

$j > i$ için: $$\begin{aligned} \| Q_j Tx\| &< \sum_{k\in(q_{j-1}, q_j]}\sum_{\ell \in (q_{i-1}, q_i]} \tilde{\varepsilon}_k \\ &< \sum_{k\in(q_{j-1},q_j]}q_i \tilde{\varepsilon}_k \le q_i \tilde{\varepsilon}_{q_{j-1}} \\ &\le q_{j-1} \tilde{\varepsilon}_{q_{j-1}} < \varepsilon_{q_{j-1} +2} \le \varepsilon_{j+1} < \varepsilon_j\ . \end{aligned}$$

Son olarak, $$\| Q_{[1,i-2]} Tx\| \le \sum^{i-2}_{k=1} \| Q_k Tx\| < \sum^{i-2}_{k=1} \varepsilon_i = (i-2)\varepsilon_i < \varepsilon_{i-1}$$ ve $$\| Q_{[i,\infty)} Tx\| \le \sum^\infty_{k=i} \| Q_k Tx\| < \sum^\infty_{k=i} \varepsilon_k < \varepsilon_{i-1} \qquad \square$$ elde edilir.

Lemma 1.5. Let $\| x\| \le C$ olsun ve her k için $\omega_k \in E_k$ olmak üzere $x = \sum_{k\ne j,j+1} \omega_k$ olsun. O halde $$\| Q_j Tx\| < \varepsilon_{j-1}$$ elde edilir.

Kanıt. Lemma 1.4 gereği, $$\begin{aligned} \| Q_j Tx\| &\le \sum_{k\ne j, j+1}\| Q_j T\omega_k\| < \sum_{kj+1} \varepsilon_k \\ &< (j-1) \varepsilon_j + \varepsilon_j = j\varepsilon_j < \varepsilon_{j-1}\ . \qquad \square \end{aligned}$$

Lemma 1.6. Let $1\le n < m$ olsun ve her j için $\omega_j \in E_j$ olmak üzere $x = \sum \omega_j$, $\| x\| \le C$ olsun. $n < j < m$ için $\| Q_j Tx\| < 2 \varepsilon_{j-1}$ olduğunu varsayalım. $a_{j-1} = Q_{j-1} T\omega_j$ ve $b_j = Q_j T\omega_j$ olsun. O halde a) $n < j < m$ için $\| a_j + b_j\| < 3 \varepsilon_{j-1}$ ve b) $n < r < s < m$ ise $\| \sum_{j\in(r,s]} T\omega_j - (a_r + b_s)\Vert < 5 \varepsilon_{r-1}$ elde edilir.

Kanıt. a) $n < j < m$ olsun. Lemma 1.5 gereği, $$\| Q_j Tx - (a_j + b_j)\| = \| Q_j(\sum_{i\ne j,j+1} T\omega_i)\| < \varepsilon_{j-1}$$ elde edilir. $\| Q_j Tx\| < 2\varepsilon_{j-1}$ olduğundan, a) sağlanır.

b) $n < r < s < m$ ve $j\in (r,s]$ olsun. O halde Lemma 1.4 gereği $\|\gamma_j\| < 2\varepsilon_{j-1}$ olmak üzere $T\omega_j = a_{j-1} + b_j + \gamma_j$ olur. Böylece, $$\begin{aligned} \| \sum^s_{j=r+1} T\omega_j - (a_r + b_s)\| &\le \| a_r + b_{r+1} + a_{r+1} + b_{r+2} + \cdots + a_{s-1} + b_s - (a_r + b_s)\| + \sum^s_{j=r+1} 2\varepsilon_{j-1} \\ &< \sum^{s-1}_{j=r+1} \| a_j + b_j\| + 2\varepsilon_{r-1} \\ &< \sum^{s-1}_{j=r+1} 3\varepsilon_{j-1} + 2\varepsilon_{r-1} \quad \text{(a) gereği)} \\ &< 5 \varepsilon_{r-1}\ . \qquad \square \end{aligned}$$

Bir sonraki ana lemmamıza geçiyoruz. $(P_j)$, $(E_j)$ ile ilişkili $X$ üzerindeki sonlu ranklı projeksiyonların dizisi olsun. $I\subseteq \mathbb{N}$ için $P_I = \sum_{i\in I} P_i$ olarak belirleyelim.

Gösterim: Eğer her $j$ için $x_j \in E_j$ olmak üzere $x = \sum x_j \in X$ ve $\overline{x} \in X$ ise, şunu tanımlarız: $$\text{her } j \text{ için } 0 \le a_j \le 1 \text{ olmak üzere } \overline{x} \precsim x \quad \text{ise} \quad \overline{x} = \sum a_j x_j\ .$$

Lemma 1.7. Let $n\in \mathbb{N}$ ve $\varepsilon > 0$ olsun. Her $j\in (n,m)$ için $\| Q_j Tx\| < 2\varepsilon_{j-1}$ koşulunu sağlayan $x\in C B_X$ verildiğinde, 1) $\| Tx - T\overline{x}\| < \varepsilon$ ve 2) bazı $r\in (n,m)$ için $P_r\overline{x} = 0$ koşullarını sağlayan bir $\overline{x}\precsim x$ mevcut olacak şekilde bir $m\in \mathbb{N}$, $m > n+1$ tamsayısı vardır.

Not. Lemma 1.7, sonucumuz ile Johnson'ın önceki özel durumu [J] arasındaki temel farktır. $T$'nin $c_0$'ın bir kopyasını sabitlemediği durumda Johnson, bazı $r\in (n,m)$ için $\overline{x} = x - P_r(x)$ alınabileceğini göstermiştir.

Alt Lemma 1.8. Let $n\in \mathbb{N}$ ve $\varepsilon > 0$ olsun. Aşağıdakileri sağlayan bir $m = m(n,\varepsilon) > n+1$ tamsayısı mevcuttur. Her j için $\omega_j\in E_j$ olmak üzere $x\in C B_X$, $x = \sum \omega_j$ olsun. Ek olarak $j\in (n,m)$ için $\| Q_j Tx\| < 2 \varepsilon_{j-1}$ olduğunu varsayalım ve $a_{j-1} = Q_{j-1} T\omega_j$ ile $b_j = Q_j T\omega_j$ olarak belirleyelim. O halde bir $k\in \mathbb{N}$ ve $n < i_1 < \cdots < i_k < m$ tamsayıları mevcuttur; öyle ki $$k^{-1}\| a_{i_1} + a_{i_2} + \cdots + a_{i_k}\| < \varepsilon$$ \tag{1.6} sağlanır.

Lemma 1.7'nin Kanıtı. $n\in \mathbb{N}$ ve $\varepsilon > 0$ olsun. Şunu sağlayan bir $n_0 \ge n$ seçelim: $$\varepsilon_{n_0} < \varepsilon/12\ .\tag{1.7}$$ Alt lema tarafından verilen $m_1 = m(n_0+1, \varepsilon/3)$ tamsayısını alalım ve $m = m(m_1, \varepsilon/3)$ olarak belirleyelim.

Her $j$ için $\omega_j\in E_j$ olmak üzere $x = \sum \omega_j \in C B_X$ olsun ve $j\in (n,m)$ için $\| Q_j Tx\| < 2\varepsilon_{j-1}$, $a_{j-1} = Q_{j-1} T\omega_j$ ve $b_j = Q_j T\omega_j$ olduğunu varsayalım. $m$ seçimimiz gereği, $k$ ve $K$ tamsayıları ile $n\le n_0 < n_0 +1 < i_1 < i_2 <\cdots < i_k < m_1 < j_1 <\cdots < j_K < m$ tamsayıları mevcuttur; öyle ki $$\begin{aligned} k^{-1}\| a_{i_1} + \cdots + a_{i_k} \| &< \varepsilon/3\ , \tag{1.8} \\ K^{-1}\| a_{j_1} + \cdots + a_{j_K}\| &< \varepsilon/3 \tag{1.9} \end{aligned}$$ sağlanır. Şöyle tanımlayalım: $$\begin{aligned} \overline{x} &= \sum^{i_1}_{j=1} \omega_j + \frac{k-1}{k} \sum^{i_2}_{j=i_1+1} \omega_j + \cdots + \frac{1}{k}\sum^{i_k}_{j=i_{k-1}+1} \omega_j + \frac{0}{k} \sum^{j_1}_{j=i_k+1} \omega_j \\ &\qquad + \frac{1}{K} \sum^{j_2}_{j=j_1+1} \omega_j + \cdots + \frac{K}{K} \sum^\infty_{j=j_K+1}\omega_j\ . \end{aligned}$$ Açıkça 2) şıkkı sağlanır ve geriye sadece 1)'i kontrol etmek kalır. $$\begin{aligned} \| Tx - T\overline{x}\| &= \left\| \frac{1}{k} \sum^{i_2}_{j=i_1+1} T\omega_j + \frac{2}{k} \sum^{i_3}_{j=i_2+1} T\omega_j + \cdots + \frac{k}{k}\sum^{j_1}_{j=i_k+1} T\omega_j \right. \\ &\qquad \left. + \frac{K-1}{K} \sum^{j_2}_{j=j_1+1} T\omega_j + \cdots + \frac{1}{K} \sum^{j_K}_{j=j_{K-1}+1} T\omega_j \right\|\ . \end{aligned}$$

Böylece Lemma 1.6 gereği, $$\begin{aligned} \| Tx - T\overline{x}\| &\le \left\| \frac{1}{k} a_{i_1} + \frac{1}{k} b_{i_2} + \frac{2}{k} a_{i_2} + \frac{2}{k} b_{i_3} + \cdots + \frac{k}{k} a_{i_k} + \frac{K}{K} b_{j_1} \right. \\ &\qquad \left. + \frac{K-1}{K} a_{j_1} + \frac{K-1}{K} b_{j_2} + \cdots + \frac{1}{K} a_{j_{K-1}} + \frac{1}{K} b_{j_K} \right\| \\ &\qquad + k^{-1} \sum_{j=1}^k 5j \varepsilon_{i_j-1} + K^{-1} \sum^K_{\ell =1} 5\ell \varepsilon_{j_\ell -1} \end{aligned}$$ elde edilir.

Şimdi $k^{-1} \sum^k_{j=1} 5j \varepsilon_{i_j-1} \le 5 \sum^k_{j=1} \varepsilon_{i_j-1} < \varepsilon_{i_1-2} \le \varepsilon_{n_0}$ ve benzer şekilde $K^{-1} \sum^K_{\ell =1} 5\ell \varepsilon_{j_\ell-1} < \varepsilon_{n_0}$ olur.

Böylece $$\begin{aligned} \| Tx - T\overline{x}\| &< k^{-1} \| a_{i_1} + \cdots + a_{i_k} \| + K^{-1}\| b_{j_1} + \cdots + b_{j_K}\| \\ &\qquad + k^{-1} \sum^k_{j=2} \| b_{i_j} + a_{i_j}\| + K^{-1} \sum^{K-1}_{\ell =1} \| b_{j_\ell} + a_{j_\ell}\| + 2\varepsilon_{n_0} \end{aligned}$$ olur.

(1.8), (1.9) ve Lemma 1.6'dan şunu elde ederiz: $$\begin{aligned} \| Tx - T\overline{x}\| &< \frac{\varepsilon}{3} + \frac{\varepsilon}{3} + \sum^k_{j=2} 3\varepsilon_{i_j-1} + \sum^{K-1}_{\ell =1} 3\varepsilon_{j_\ell-1} + 2\varepsilon_{n_0} \\ &< \frac{2\varepsilon}{3} + \varepsilon_{n_0} + \varepsilon_{n_0} + 2\varepsilon_{n_0} < \varepsilon \end{aligned}$$ ((1.7) gereği). $\square$

Alt Lemma 1.8'in Kanıtı. Eğer alt lema sağlanmazsa, standart bir kompaktlık argümanıyla, her $m$ için: $$\left\| \sum^m_{j=1} \omega_j \right\| \le C \quad \text{ve} \quad \left\| Q_j T\left(\sum^m_{i=1} \omega_i\right)\right\| \le 3\varepsilon_{j-1}$$ $n < j < m$ ise sağlanacak şekilde, $j\in \mathbb{N}$ için $\omega_j\in E_j$ elde ederiz. Fazladan gelen $\varepsilon_{j-1}$ terimi, Lemma 1.5'in bir uygulamasından gelmektedir. Dahası, $j\in \mathbb{N}$ için $a_{j-1} = Q_{j-1} T\omega_j$ ve $b_j = Q_j T\omega_j$ olarak belirlersek, her $k$ ve her $n < i_1 < \cdots < i_k$ için: $$k^{-1} \| a_{i_1} + \cdots + a_{i_k}\| \ge \varepsilon$$ \tag{1.10} elde ederiz.

Şimdi $a_j \in F_j$ olup $(F_j)$ büzülen bir s.b.a.'dır. Dolayısıyla $(a_j)_{j>n}$ yarı-normalize zayıfça sıfıra yakınsayan bir dizidir. (1.10) gereği, $(a_j)$'nin herhangi bir alt dizisinin herhangi bir yayılma modeli (spreading model), $\ell_1$'in birim vektör tabanına eşdeğer olmalıdır (yayılma modelleri hakkında temel bilgiler için [BL]'ye bakılabilir). Özellikle, bir çift $k$ tamsayısı ve $n < i_1 < \dots < i_k$ tamsayıları seçebiliriz; öyle ki: $$\| a_{i_1} - a_{i_2} + \dots + a_{i_{k-1}} - a_{i_k}\| > C\| T\| + 1$$ \tag{1.11} sağlanır. Ancak, $$\begin{aligned} C\| T\| &\ge \left\| T\left(\sum^{i_2}_{j=i_1+1} \omega_j + \sum^{i_4}_{j=i_3+1} \omega_j + \cdots + \sum^{i_k}_{j=i_{k-1}+1}\omega_j\right)\right\| \\ & \ge \| a_{i_1} + b_{i_2} + a_{i_3} + b_{i_4} + \cdots + a_{i_{k-1}} + b_{i_k}\| \\ &\qquad - 5 \sum^k_{j=1} \varepsilon_{i_j-1} \quad \text{(Lemma 1.6 gereği)} \end{aligned}$$ elde edilir. Şimdi $5 \sum^k_{j=1} \varepsilon_{i_j-1} < \varepsilon_{i_1-2}$ olur ve Lemma 1.6 ile (1.11) gereği: $$\begin{aligned} \| a_{i_1} + b_{i_2} + \cdots + a_{i_{k-1}} + b_{i_k}\| &\ge \| a_{i_1} - a_{i_2} + a_{i_3} - a_{i_4} + \dots + a_{i_{k-1}} - a_{i_k}\| \\ &\qquad - \sum^{k/2}_{j=1} \| a_{i_{2j}} + b_{i_{2j}}\| \\ &> C\| T\| + 1 - \sum^{k/2}_{j=1} 3\varepsilon_{i_{2j}-1} \end{aligned}$$ olur. Böylece, $$\begin{aligned} C\| T\| &> C\| T\| + 1 - \varepsilon_{i_1-2} - \varepsilon_{i_2-2} \\ &\ge C\| T\| + 1 - 2\varepsilon_{i_1-2} > C\| T\ \|\ , \end{aligned}$$ elde edilir ki bu imkansızdır. $\square$

Teorem A'nın Kanıtının Tamamlanması.

Lemma 1.7 tarafından verilen $m$ tamsayısını $m = m(n;\varepsilon)$ ile gösterelim. Her $i$ için $p_{i+1} - 1 \ge m(p_i; \varepsilon_{p_i})$ olacak şekilde $1 < p_1 < p_2 < \cdots$ seçelim. $(y_i) = (y'_{p_i})$ olsun. $(y_i)$'nin koşulsuz olduğunu kanıtlayacağız.

$y = \sum a_i y_i$, $\| y\| = 1$, $x\in C B_X$, $Tx = y$ olsun ve $g_0 = P_{[1,p_1)} x$ ve $i \ge 1$ için $g_i = P_{[p_i, p_{i+1})} x$ olmak üzere $x = \sum^\infty_{i=0} g_i$ olsun. Lemma 1.7'yi her $i\ge 1$ için $g_i$'ye uygulayacağız. $i \ge 1$ sabitleyelim ve $(n,m) = (p_i, p_{i+1} - 1)$ olarak belirleyelim. $j\in (n,m)$ olsun. O halde Lemma 1.2 gereği $\| Q_j y\| < \varepsilon_j$ olur. Buradan $\| Q_j Tx\| = \| Q_j Tg_i + Q_j T \sum_{k\ne i} g_k\| < \varepsilon_j$ elde edilir. Ancak, Lemma 1.5 gereği $\| Q_j T \sum_{k\ne i} g_k\| < \varepsilon_{j-1}$ olduğundan, $\| Q_j T g_i\| < \varepsilon_{j-1} + \varepsilon_j < 2\varepsilon_{j-1}$ elde edilir. Böylece Lemma 1.7 gereği, her $i\in \mathbb{N}$ için $P_{r_i} \overline{g}_i = 0$ ve $\| T g_i - T\overline{g}_i\| < \varepsilon_{p_i}$ olacak şekilde $\overline{g}_i \precsim g_i$ ve $r_i\in (p_i, p_{i+1}-1)$ mevcuttur.

$\overline{g}_0 = g_0$ ve $i\in \mathbb{N}$ için $\overline{x}_i = P_{[r_{i-1}, r_i)}\overline{x}$ ($r_0 = 1$) olmak üzere $\overline{x} = \sum^\infty_{i=0} \overline{g}_i = \sum^\infty_{i=1} \overline{x}_i$ olarak belirleyelim. Elbette, $i > 1$ ise $\overline{x}_i = P_{(r_{i-1}, r_i)}\overline{x}$ olur.

İddia: Her $i\in \mathbb{N}$ için $\| T\overline{x}_i - a_i y_i\| < 4 \varepsilon_{p_{i-1}-1}$ sağlanır.

Gerçekten de Lemma 1.3 gereği $\| Q_{[r_{i-1},r_i)} y - a_i y_i\| < \varepsilon_{p_{i-1}-1}$ olur. Böylece iddia, aşağıdaki alt iddiadan elde edilir:

Alt İddia: $\| Q_{[r_{i-1},r_i)} Tx - T\overline{x}_i\| < 3\varepsilon_{p_{i-1}-1}$ sağlanır.

Bunu görmek için ilk olarak şuna dikkat edelim: $$\begin{aligned} \| Q_{[r_{i-1},r_i)} Tx - Q_{[r_{i-1},r_i)} T(g_{i-1} + g_{i+1} + g_i)\| &\le \sum_{k\in [r_{i-1},r_i)} \| Q_k \sum_{j\ne i-1,i,i+1} T g_j\| \\ &< \sum_{k\in [r_{i-1},r_i)} \varepsilon_{k-1} \quad \text{(Lemma 1.5 gereği)} \\ &< \varepsilon_{r_{i-1}-1}\ . \end{aligned}$$ Ayrıca, $$\begin{aligned} \| Q_{[r_{i-1},r_i)} T(g_{i-1} + g_i + g_{i+1}) - Q_{[r_{i-1},r_i)} T(\overline{g}_{i-1} + \overline{g}_i + \overline{g}_{i+1})\| &\le \| T(g_{i-1} + g_i + g_{i+1} - \overline{g}_{i-1} - \overline{g}_i - \overline{g}_{i+1})\| \\ &< \varepsilon_{p_{i-1}} + \varepsilon_{p_i} + \varepsilon_{p_{i+1}} < \varepsilon_{p_{i-1}-1}\ . \end{aligned}$$ Son olarak, Lemma 1.5'i tekrar uygulayarak şuna sahibiz: $$\| Q_{[r_{i-1},r_i)} [T(\overline{g}_{i-1} + \overline{g}_i + \overline{g}_{i+1}) - T(\overline{x}_i)]\| < \varepsilon_{r_{i-1}-1}\ ,$$ ve alt iddia elde edilir.

$\delta_i = \pm 1$ olsun. O halde: $$\begin{aligned} \| \sum \delta_i a_i y_i\| &\le \| \sum \delta_i(a_i y_i - T\overline{x}_i)\| + \| \sum \delta_i T\overline{x}_i\| \\ &< \sum 4\varepsilon_{p_{i-1}-1} + \| T\| \| \sum \delta_i \overline{x}_i\| \quad \text{(İddia gereği)} \\ &\le 1 + C\| T\|\ . \qquad \square \end{aligned}$$

Önerme 1.9. X, büzülen bir K-koşulsuz $(E_i)$ s.b.a.'sına sahip olsun ve T, X'ten Y üzerine sınırlı doğrusal bir operatör olsun. $T(C B_X) \supseteq B_Y$ olsun. O halde, eğer $\varepsilon_i \downarrow 0$ ise ve $(y'_i)$, Y içinde zayıfça sıfıra yakınsayan normalize bir temel dizi ise, $(y'_i)$'nin bir $(y_i)$ alt dizisi ve aşağıdaki özelliği sağlayan $p_1 < p_2 < \cdots$ tamsayıları mevcuttur. $\| \sum a_i y_i\| \le 2$ olsun. O halde, $(x_i)$, $(E_i)$'nin bir blok tabanı olmak üzere, her i için $$\| Tx_i - a_i y_i\| < \varepsilon_i$$ koşulunu sağlayan bir $x = \sum x_i \in 2C K B_X$ mevcuttur. Dahası, her i için $x_i \in [E_j]_{j\in(r_{i-1},r_i)}$ olacak şekilde $0 = r_0 < p_1 < r_1 < p_2 < r_2 < \cdots$ koşulunu sağlayan $(r_i)$ dizisi mevcuttur.

Sonuç 1.10. X, büzülen bir K-koşulsuz s.b.a.'ya sahip olsun ve T, X'ten Y Banach uzayı üzerine sınırlı doğrusal bir operatör olsun. O halde, Y'nin $c_0$ içermesi için gerek ve yeter koşul T'nin $c_0$'ın bir kopyasını sabitlemesidir.

Kanıt. Eğer $Y$, $c_0$ içeriyorsa, o halde $(a_i)$, $c_0$'ın birim küresinde olmak üzere $2^{-1} \le \| \sum a_i y_i\| \le 2$ koşulunu sağlayan, $Y$ içinde normalize bir $(y_i)$ dizisi mevcuttur (bkz. [Ja]). $\sum \varepsilon_i < 1$ olacak şekilde $\varepsilon_i \downarrow 0$ seçelim. $(y_i)$'nin Önerme 1.9'un sonucunu sağladığını varsayabiliriz. Böylece her $n\in \mathbb{N}$ için: $$0 = r^n_0 < p_1 < r^n_1 < p_2 < r^n_2 < \cdots$$ ve $x^n_i\in [E_j]_{j\in(r^n_{i-1},r^n_i)}$ mevcuttur; öyle ki eğer $x^n = \sum_{i\le n} x^n_i$ ise, $\| x^n\| \le 2CK$ ve $i\le n$ için $\| Tx^n_i - y_i\| < \varepsilon_i$ sağlanır.

Bir $(x^{n_k})$ alt dizisine geçerek, her $i\in \mathbb{N}$ için $\lim_{k\to \infty} r^{n_k}_i = r_i$ ve $\lim_{k\to \infty} x^{n_k}_i = x_i$ limitlerinin mevcut olduğunu varsayabiliriz. Böylece, $r_0 = 0 < r_1 < r_2 < \cdots$ olmak üzere $x_i\in [E_j]_{j\in (r_{i-1},r_i)}$, her $i$ için $\| Tx_i - y_i\| < \varepsilon_i$ ve $\sup_n \| \sum^n_{i=1} x_i\| < \infty$ elde edilir. Buradan $(x_i)$'nin, $c_0$'ın birim vektör tabanına eşdeğer olduğu sonucu çıkar. Dahası, $\| \omega_i\| \le C \varepsilon_i$ ve $T\omega_i = y_i - Tx_i$ olacak şekilde $\omega_i \in S$ seçersek, $T(x_i + \omega_i) = y_i$ olur ve $(x_i + \omega_i)$'nin bazı alt dizileri de bir $c_0$ tabanı oluşturur. Dolayısıyla $T$ operatörü $c_0$'ı sabitler. $\square$

§2. Teorem B'nin Kanıtı

İlk olarak Schreier uzayı $S$'nin tanımını hatırlayalım [S]. $c_{00}$, sonlu destekli tüm reel-değerli dizilerin doğrusal uzayı olsun. $x = (x_i)\in c_{00}$ için şunu belirleyelim: $$\| x\| = \max \left\{\sum^p_{i=1} | x_{k_i}|: p\in \mathbb{N} \text{ ve } p \le k_1 < \cdots < k_p\right\}\ .$$ $S$, $(c_{00}, \| \cdot \|)$ uzayının tamlanışıdır. $x$'in $c_0$-normunu $\| x\|_0$ ile gösterelim. Birim vektör tabanı $(e_n)$, $S$ için büzülen 1-koşulsuz bir tabandır. $S$, $C(\omega^\omega)$ içine gömülebilir ve dolayısıyla $S$ uzayı $c_0$-doygundur.

Teorem B, nicel bir versiyon olan Teorem B''den (aşağıda) elde edilecektir. Bir $(x_n)$ dizisi, $\lambda > 0$ ve $\mathbb{N}$'nin boş olmayan sonlu bir $F$ alt kümesi verildiğinde, $y = \lambda \sum_{n\in F} x_n$ ifadesine $(x_n)$'nin bir 1-ortalaması (1-average) denir. Eğer bir $X$ Banach uzayındaki zayıfça sıfıra yakınsayan her normalize dizi, $c_0$'ın birim vektör tabanına eşdeğer olan 1-ortalamaların bir blok tabanına izin veriyorsa, $X$'in *$S(1)$-özelliğine* sahip olduğunu söyleyeceğiz. $S$ uzayı $S(1)$-özelliğine sahiptir.

Teorem B'. Y, S'nin bir bölüm uzayı olsun. O halde Y, $S(1)$-özelliğine sahiptir.

Aşağıdaki basit lemaya ihtiyacımız olacak:

Lemma 2.1. Let $(x_n)$, $S$ içinde $\lim_n \| x_n\|_0 = 0$ koşulunu sağlayan zayıfça sıfıra yakınsayan normalize bir dizi olsun. O halde $(x_n)$'nin bazı alt dizileri $c_0$'ın birim vektör tabanına eşdeğerdir.

$T$, $S$'den bir $Y$ Banach uzayı üzerine sınırlı doğrusal bir operatör olsun ve $(y'_i)$, $Y$ içinde zayıfça sıfıra yakınsayan normalize bir temel dizi olsun. $T(C B_S) \supseteq B_Y$ olsun.

Lemma 2.2. Eğer $(y'_i)$'nin 1-ortalamalarından oluşan hiçbir blok tabanı $c_0$'ın birim vektör tabanına eşdeğer değilse, o halde $x\in 3C B_S$ olduğunda, $Tx$, $(y'_i)$'nin bir 1-ortalaması ve $\| Tx\| > 1/3$ ise $\| x\|_0 > \delta$ olacak şekilde bir $\delta > 0$ mevcuttur.

Kanıt. Eğer böyle bir $\delta$ mevcut değilse, her $i$ için $\lim_i \| x_i\|_0 = 0$, $\| Tx_i\| > \frac{1}{3}$ ve $Tx_i$, $(y'_i)$'nin bir 1-ortalaması olacak şekilde $(x_i)\subseteq 3C B_S$ dizisi mevcuttur. Lemma 2.1 gereği, $(x_i)$'nin $c_0$'ın birim vektör tabanına eşdeğer olan bir $(x'_i)$ alt dizisi mevcuttur. Daha ileri bir alt diziye geçerek, $(Tx'_i)$'nin $[(y'_i)]$ içinde yarı-normalize zayıfça sıfıra yakınsayan bir temel dizi olduğunu varsayabiliriz. Dolayısıyla $(Tx'_i)$ de $c_0$'ın birim vektör tabanına eşdeğerdir. $\square$

Teorem B''nin Kanıtı. $(y'_i)$, $Y$ içinde zayıfça sıfıra yakınsayan normalize bir dizi olsun. Eğer $(y'_i)$ $S(1)$ özelliğini sağlamazsa, Lemma 2.2 gereği bir $\delta > 0$ seçelim. Aşağıdaki koşulu sağlayan bir pozitif sayılar dizisi $(\varepsilon_i)^\infty_{i=1}$ alalım: $$\sum^\infty_{i=1} \varepsilon_i < \min(\delta/(2C), 1)\ .\tag{2.1}$$

$(y_i)$, $(\varepsilon_i)$ dizisi için Önerme 1.9 tarafından verilen $(y'_i)$'nin alt dizisi olsun.

Şu koşulu sağlayan bir çift $m\in \mathbb{N}$ tamsayısı seçelim: $$m > 8C/\delta\ .\tag{2.2}$$

Yayılma modelleri teorisinden, $(y_i)$'nin sonlu bir $(z_i)^{2m}_{i=1}$ alt dizisi mevcuttur; öyle ki $\lambda = \| \sum^{2m}_{i=1} z_i\|^{-1}$ olarak ayarlandığında, $$| F| \ge m \text{ olmak üzere } F \subseteq \{1, \cdots, 2m\} \text{ ise } 2 > \lambda \left\| \sum_{i\in F} z_i \right\| > 1/3\tag{2.3}$$ sağlanır.

Böylece, $(x_i)$, $(e_i)$'nin bir blok tabanı ve $i \le 2m$ için: $$\| Tx_i - \lambda z_i\| < \varepsilon_i$$ olacak şekilde $x = \sum^{2m}_{i=1} x_i \in 2C B_S$ mevcuttur. $i\le 2m$ için, $T\omega_i = \lambda z_i - Tx_i$ ve $\| \omega_i\| \le C \varepsilon_i$ olacak şekilde $\omega_i \in S$ seçelim. Buradan $T(x_i + \omega_i) = \lambda z_i$ elde edilir.

$\| T(\sum^{2m}_{i=1} (x_i + \omega_i))\| > 1/3$ olduğundan ve $$\| \sum^{2m}_{i=1} (x_i + \omega_i)\| \le \| \sum^{2m}_{i=1} x_i\| + \sum^{2m}_{i=1} \| \omega_i\| < 2C + \sum^\infty_{i=1} \varepsilon_i C < 3C$$ sağlandığından, Lemma 2.2 gereği $\| \sum^{2m}_{i=1} (x_i + \omega_i)\|_0 > \delta$ elde ederiz. (2.1) gereği $\| \sum^{2m}_{i=1} \omega_i\|_0 \le \| \sum^{2m}_{i=1} \omega_i\| < \delta/2$ olduğundan, $\| x_{i_1}\|_0 > \delta/2$ olacak şekilde bir $i_1 \le 2m$ mevcuttur.

Şimdi, $$\left\| T\left(\sum^{2m}_{\substack{i=1 \\ i\ne i_1}} (x_i + \omega_i)\right)\right\| = \left\| \sum^{2m}_{\substack{i=1 \\ i\ne i_1}} \lambda z_i \right\| > \frac{1}{3}$$ olur ve böylece yukarıdaki argümanı tekrarlayarak $\| x_{i_2}\|_0 > \delta/2$ olacak şekilde $i_2 \ne i_1$ bulabiliriz. Aslında, (2.3) gereği bunu $m$ kez tekrarlayabilir ve $k\le m$ için $\| x_{i_k}\|_0 > \delta/2$ olacak şekilde birbirinden farklı $(i_k)^m_{k=1} \subseteq \{1, 2, \dots, 2m\}$ tamsayılarını elde edebiliriz. Ancak o zaman: $$2C \ge \| x\| = \| \sum^{2m}_{i=1} x_i\| \ge \| \sum^m_{k=1} x_{i_k}\| \ge \sum^m_{k=m/2+1} \| x_{i_k}\|_0 \ge \delta m/4$$ elde edilir ki bu (2.2) ile çelişir. $\square$

§3. Açık Problemler

Çalışmamız bir dizi problem önermektedir, bunlardan birkaçını listeliyoruz. İlgili problemlerin daha kapsamlı bir listesi ve sonsuz boyutlu Banach uzayları teorisinin mevcut durumuna genel bir bakış için [R]'ye bakılabilir.

Problem 1. $X$, $\ell_1$ içermeyen ve (WU) özelliğine sahip bir Banach uzayı olsun ve $Y$, $X$'in bir bölüm uzayı olsun. $Y$ uzayı (WU) özelliğine sahip midir?

Teorem A ışığında, $C(\omega^\omega)$ uzayının (WU) özelliğine sahip olduğunu [MR] ancak büzülen koşulsuz bir s.b.a.'ya sahip hiçbir uzaya gömülmediğini belirtmek gerekir. Aslında, $C(\omega^\omega)$ böyle bir uzayın bir bölüm uzayının alt uzayı bile değildir. Gerçekten de $C(\omega^\omega)$, (U) özelliğini sağlamaz (bkz. örneğin [HOR]), oysa büzülen koşulsuz bir s.b.a.'ya sahip bir uzayın her bölüm uzayı (U) özelliğine sahip olacaktır. Aslında, eğer $X$ (U) özelliğine sahipse ve $\ell_1$ içermiyorsa, o zaman $X$'in her bölüm uzayı (U) özelliğine sahip olacaktır [R]. Bir sonraki problem H. Rosenthal'e aittir.

Problem 2. $X$, büzülen koşulsuz bir s.b.a.'ya sahip olsun ve $Y$, $X$'in bir bölüm uzayı olsun. $Y$, büzülen koşulsuz bir s.b.a.'ya sahip bir Banach uzayına gömülür mü?

Eğer her zayıfça sıfıra yakınsayan normalize dizinin $K$-koşulsuz bir alt dizisi olacak şekilde bir $K < \infty$ mevcutsa, bir $Y$ Banach uzayının düzgün-(WU) (uniform-WU) özelliğine sahip olduğunu söyleyeceğiz. Teorem A'nın kanıtı, bölüm uzayı $Y$'nin düzgün-(WU) özelliğine sahip olduğunu göstermiştir.

Problem 3. Eğer $Y$ (WU) özelliğine sahipse, $Y$ düzgün-(WU) özelliğine de sahip midir?

Teorem B, aşağıdaki iyi bilinen problemin özel bir durumunu çözmüştür.

Problem 4. $Y$, $C(\omega^\omega)$'nın (veya daha genel olarak $K$'nın kompakt sayılabilir bir metrik uzay olduğu $C(K)$'nın) bir bölüm uzayı olsun. $Y$ uzayı $c_0$-doygun mudur?

Bu problemle ilgili olarak, T. Schlumprecht [Sc], eğer $Y$, $C(\omega^\omega)$'nın bir bölüm uzayı ise, o zaman yayılma modeli olarak $\ell_1$'e sahip olan $Y$ içindeki zayıfça sıfıra yakınsayan herhangi bir normalize dizinin kapalı doğrusal gerisinin $c_0$ içermesi gerektiğini gözlemlemiştir.

$c_0$-doygun bir uzayın bölüm uzayının da $c_0$-doygun olması gerektiği doğru değildir. [CKT]'de ele alınan, $M(x) = (e^{x^4}-1)/(e-1)$ olmak üzere ayrılabilir Orlicz fonksiyon uzayı $H_M(0,1)$ $c_0$-doygundur ve buna rağmen bölüm uzayı olarak $\ell_2$'ye sahiptir. Bu gerçeğe dikkatimizi çektiği için S. Montgomery-Smith'e teşekkür ederiz. Ancak bu uzay koşulsuz bir tabana sahip değildir ve bu nedenle şunu soruyoruz:

Problem 5. $X$, koşulsuz bir tabana sahip $c_0$-doygun bir uzay olsun ve $Y$, $X$'in bir bölüm uzayı olsun. $Y$ uzayı $c_0$-doygun mudur?

Daha kısıtlı ve belki de daha erişilebilir bir soru şudur:

Problem 6. $Y$, $n \ge 2$ olmak üzere $n^{\text{inci}}$-Schreier uzayı $S_n$'in bir bölüm uzayı olsun. $Y$ uzayı $c_0$-doygun mudur? $Y$ uzayı $S(n)$-özelliğine sahip midir?

$S_n$ şu şekilde tanımlanır. $\| x\|_1$ Schreier normu olsun. Eğer $(S_n, \| \cdot \|_n)$ tanımlanmışsa, sonlu destekli reel diziler olan $x\in c_{00}$ için şunu tanımlayalım: $$\| x\|_{n+1} = \max \left\{\sum^p_{k=1} \| E_k x\|_n: p \le E_1 < E_2 < \cdots < E_p\right\}\ .$$ (Burada $p \le E_1$, $p\le \min E_1$ anlamına gelir ve $E_1 < E_2$, $\max E_1 < \min E_2$ anlamına gelir. Ayrıca $i\in E$ ise $Ex(i) = x(i)$, aksi takdirde $0$'dır.) $S_{n+1}$, $(c_{00}, \| \cdot \|_{n+1})$ uzayının tamlanışıdır. Birim vektör tabanı $(e_n)$, her $S_n$ için 1-koşulsuz büzülen bir tabandır ve $S_n$ uzayı $C(\omega^{\omega^n})$ içine gömülür.

$S(n)$-özelliği şu şekilde tanımlanır. Bir $(y_m)$ dizisinin n-ortalamaları tümevarımsal olarak tanımlanır: $(y_m)$'nin bir $n+1$-ortalaması, normalize edilmiş $n$-ortalamaların bir blok tabanının 1-ortalamasıdır. Eğer $Y$ içindeki zayıfça sıfıra yakınsayan her normalize temel dizi, $c_0$'ın birim vektör tabanına eşdeğer olan $n$-ortalamaların bir blok tabanına izin veriyorsa, $Y$ uzayı $S(n)$-özelliğine sahiptir. $S_n$ uzayı $S(n)$-özelliğine sahiptir.

Kaynakça