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

$c_0$ İçermeyen Banach Kafesleri Üzerinden Faktörlenen Operatörler

N. Ghoussoub, W. B. Johnson

UBC · Texas A&M
1989

N. Ghoussoub ve W. B. Johnson*

[GJ1], [GJ3] çalışmalarına ek olan bu yazıda, $c_0$ kopyası içermeyen Banach kafesleri üzerinden faktörlenen (çarpanlarına ayrılan) Banach kafesleri üzerindeki (sınırlı, doğrusal) operatörlerin içsel (intrinsic) bir karakterizasyonunu veriyoruz; bu karakterizasyon, bir operatörün böyle bir faktörlemeye (çarpanlara ayrılmaya) izin vermesinin gerek ve yeter koşulunun, her ikisi de $c_0$ kopyasını korumayan iki operatörün çarpımı şeklinde yazılabilmesi olduğunu söyleyen [GJ1], [GJ3] karakterizasyonunu tamamlamaktadır. İçsel karakterizasyon şudur: Operatörün ikinci adjointinin, kafesin kendi bidüali (çift düali) içinde ürettiği kapalı sıra idealine kısıtlanması bir $c_0$ kopyasını korumaz. Bir operatörün bu özelliği, C. Niculescu [N2] tarafından "güçlü B tipi" adı altında tanıtılmıştır. Bu koşulun, operatörün kendisinin bir $c_0$ kopyasını korumaması özelliğinden daha güçlü olduğu, [FGJ]'de inşa edilen ve [GJ2]'de daha detaylı incelenen örnekle gösterilmiştir.

[GJ1], [GJ3] çalışmalarını yazarken Niculescu'nun [N1], [N2], [N3] bağımsız olarak aynı problemlerin bazılarını ele aldığını bilmiyorduk; şimdi bizimkilerle örtüşen bazı sonuçları keşfetmedeki önceliğini kabul etmek istiyoruz. Ayrıca, aşağıdaki Not 1'de, sonuçlarımızın Niculescu'nun diline çevrildiğinde, onun ortaya attığı bazı soruları nasıl yanıtladığını gösteriyoruz.

Bu yazının teoremini ifade etmeden önce bazı gösterimleri sunalım: Bir $E$ Banach kafesi verildiğinde, $I(E)$ (sırasıyla, $\operatorname{Bd}(E)$), $E^{**}$ içinde $E$ tarafından üretilen kapalı sıra idealini (sırasıyla, şeridi/bandı) gösterir. $E, F, G$ sembolleri Banach kafesleri için saklı tutulurken, genel Banach uzayları için $X, Y, Z$ kullanılacaktır. Terminoloji [GJ3]'teki gibidir ve teorem kanıtını takip etmek için okuyucunun elinin altında muhtemelen [GJ3]'ün bir kopyasının bulunması gerekecektir.

Teorem. E bir Banach kafesi ve $T$, $E$'den bir $X$ Banach uzayına giden bir operatör olsun. Aşağıdakiler eşdeğerdir: (1) $T^{**}|_{I(E)}$ bir $c_0$ kopyasını korumaz. (2) $T^{**}|_{I(E)}$ pozitif ayrık bir $c_0$ kopyasını korumaz. (3) $T^{**}[\operatorname{Bd}(E)] \subset X$. (4) Bir $Y$ Banach uzayı ve ne $u$ ne de $v$'nin $c_0$ kopyasını korumadığı, sınırlı doğrusal $u: E \to Y$ ve $v: Y \to X$ operatörleri mevcuttur öyle ki $T = vu$. (5) Zayıf ardışık tam bir $F$ Banach kafesi, aralık koruyan bir $R: I(E) \to F$ kafes homomorfizması ve $T^{**}|_{I(E)} = SR$ olacak şekilde bir $S: F \to X$ operatörü mevcuttur.

Kanıt. (1) ve (2)'nin eşdeğerliği, [GJ3]'teki Teorem I.3'ten çıkar (Teorem I.3'teki diğer koşulların (2)'ye eşdeğer olduğu daha önce Niculescu tarafından kanıtlanmıştır — bkz. [N2]'deki Teorem 3.4). Niculescu [N2, Önerme 4.2] (2) ve (3)'ün eşdeğerliğini belirtmiştir; kanıtı okuyucuya bir alıştırma olarak bırakmada onun izinden gidiyoruz, ancak (2)'nin diğer koşullarla ilişkilendirdiğimiz ifade olduğunu belirtiriz. (4) ile (5)'in eşdeğerliği [GJ3]'teki Sonuç I.8'de kanıtlanmıştır ve (5) $\Rightarrow$ (2) hemen elde edilir, bu nedenle yalnızca (2)'nin (5)'i gerektirdiğini kontrol etmemiz gerekir. Aslında bu gerektirmenin kanıtı, esasen [GJ3]'teki Teorem I.7'nin kanıtında yer almaktadır, ancak orada yalnızca daha zayıf gerektirmeler açıkça belirtildiğinden, burada ayrıntılı bir kanıt sunuyoruz.

$W$, $E^*$ içinde $T^*(\operatorname{Ball}(X^*))$'ın mutlak konveks katı gövdesi (absolute convex solid hull) olsun ve $G$, $E^*$ içinde $W$'ye karşılık gelen enterpolasyon uzayı olsun (bkz. [GJ3]). $J: G \to E^*$ kanonik enjeksiyon ve $I: X^* \to G$, $T^* = JI$ olacak şekilde olsun. [GJ3]'teki Lema I.5 yardımıyla, her $\mu \in E^{**}$ ve $n = 1, 2, \dots$ için şuna sahibiz: $$\|J^* \mu\| \le 2^n \sup \{ \|T^{**}\nu\| : \nu \in E^{**}, |\nu| \le |\mu| \} + 2^{-n}\|\mu\|\ .\tag{\dag}$$

$F$, $G^*$ içinde $J^*[I(E)]$'nin norm kapanışı olsun ve $R = J^*|_{I(E)}$, $S = I^*|_F$ olarak ayarlayalım; $T^{**}|_{I(E)}$'nin $R$ üzerinden faktörlendiğini görürüz ve bu nedenle kanıtı tamamlamak için yalnızca $F$'nin bir $c_0$ kopyası içermediğini kontrol etmemiz gerekir.

$I(E)$, $E^{**}$ içinde bir ideal olduğundan, ($\dag$)'dan her $f \in I(E)$ ve $n = 1, 2, \dots$ için şunu elde ederiz: $$\|Rf\| \le 2^n \sup \{ \|T^{**}g\| : g \in I(E), |g| \le |f| \} + 2^{-n}\|f\|\ .\tag{\ddag}$$

Şimdi $J^*$, $J$ aralık koruyan olduğundan bir kafes homomorfizmasıdır ([AB, s. 90]). $T^{**}|_{I(E)}$ bir $c_0$ kopyasını korumadığından, [GJ3]'teki Lema I.1.a gereği $R$ de korumaz; dolayısıyla ($\ddag$), [GJ3]'teki Lema I.1.b yardımıyla $F$'nin sıra sürekli norma sahip olduğunu gerektirir.

İlk olarak, eğer $(e_m)_{m=1}^\infty$, $I(E)_+$ içinde $(J^* e_m) = (R e_m)$ dizisinin $F$ içinde norm sınırlı olmasını sağlayan artan bir dizi ise, onun $F$ içinde norm yakınsak olduğunu kanıtlıyoruz. Gerçekten de, $\mu$, $G^*$ içinde $(J^* e_m)_{m=1}^\infty$ dizisinin $w^*$-limiti olsun. $J^*[E^{**}]$, $G^*$ içinde norm yoğun olduğundan, her $\epsilon > 0$ için $\|J^* \nu_\epsilon - \mu\| \le \epsilon$ olacak şekilde bir $\nu_\epsilon \in E^{**}$ mevcuttur.

$I(E)$, $E^{**}$ içinde bir ideal olduğundan, $(\nu_\epsilon \wedge e_m)_{m=1}^\infty$ dizisi $I(E)$ içindedir; dahası, bu dizi artandır ve $\|\nu_\epsilon\|$ ile norm sınırlıdır, bu nedenle [GJ3]'teki Teorem I.3.d gereği $J^*(\nu_\epsilon \wedge e_m)$ dizisi $F$ içinde bir $z_\epsilon$ elemanına norm yakınsar. $J^*$'ın bir kafes homomorfizması olması gerçeğini tekrar kullanarak, $J^*(\nu_\epsilon \wedge e_m) = J^*(\nu_\epsilon) \wedge J^*(e_m)$ elde ederiz, bu yüzden $J^*(\nu_\epsilon \wedge e_m)$ dizisi $G^*$ içinde $J^*(\nu_\epsilon) \wedge \mu$ elemanına $w^*$-yakınsar. Dolayısıyla $J^*(\nu_\epsilon) \wedge \mu = z_\epsilon$ elemanı $F$ içindedir. Böylece şunu elde ederiz: $$\lim_{\epsilon\to 0} \|z_\epsilon - \mu\| = \lim_{\epsilon\to 0} \|(J^*\nu_\epsilon) \wedge \mu - \mu\| \le \lim_{\epsilon\to 0} \|J^*\nu_\epsilon - \mu\| = 0\ .$$

Buradan $\mu$'nün $F$ içinde olduğu çıkar. $(J^* e_m)_{m=1}^\infty$ dizisi $[0, \mu]$ sıra aralığında olduğundan ve $F$ sıra sürekli olduğundan, $(J^* e_m)_{m=1}^\infty$ dizisinin $\mu$'ye norm yakınsadığı sonucu çıkar.

Şimdi $(f_m)_{m=1}^\infty$ dizisinin $F$ içinde herhangi bir artan dizi olduğunu varsayalım. Bunun norm yakınsak olduğunu göstermek için, herhangi bir $\epsilon > 0$ için $I(E)_+$ içinde $\|f_m - J^* e_m\| \le \epsilon$ olacak şekilde artan bir $(e_m)_{m=1}^\infty$ dizisinin varlığını göstermek yeterlidir. Bunun için, $\|J^* z_m - f_m\| \le \epsilon 2^{-m}$ olacak şekilde $z_m \in I(E)_+$ seçelim. $e_m = \bigvee_{i=1}^m z_i$ olarak tanımlayalım. O halde $(e_m)_{m=1}^\infty$ artandır ve $$\begin{aligned} |J^* e_m - f_m| &= \left| J^*\left(\bigvee_{i=1}^m z_i\right) - f_m \right| \\ &= \left| \bigvee_{i=1}^m J^* z_i - \bigvee_{i=1}^m f_i \right| \\ &\le \sum_{i=1}^m |J^* z_i - f_i|\ . \end{aligned}$$

Buradan şu çıkar: $$\|J^* e_m - f_m\| \le \sum_{i=1}^m \|J^* z_i - f_i\| \le \sum_{i=1}^m \epsilon 2^{-i} \le \epsilon\ .$$

[GJ3]'teki Teorem I.3'ün klasik versiyonu gereği, $F$ bir $c_0$ kopyası içermez ve dolayısıyla $F$ zayıf ardışık tam bir Banach kafesidir ([LT, s. 34]).

Yukarıdaki (5) $\Rightarrow$ (2) kanıtında, eğer $X$ bir Banach kafesi ve $T$ pozitif bir operatör ise, $T$ tarafından domine edilen her pozitif operatör de $R$ üzerinden faktörlenir. Böylece şunu elde ederiz:

Sonuç. E bir Banach kafesi, $T$, $E$'den bir $X$ Banach kafesine giden pozitif bir operatör olsun ve $T^{**}|_{I(E)}$'nin pozitif ayrık bir $c_0$ kopyasını korumadığını varsayalım. O halde zayıf ardışık tam bir $F$ Banach kafesi ve aralık koruyan bir $R: I(E) \to F$ kafes homomorfizması mevcuttur öyle ki her $0 \le T_1 \le T$ operatörü için, $T_1^{**}|_{I(E)} = S_1 R$ olacak şekilde pozitif bir $S_1: F \to X$ operatörü vardır.

Notlar

Not 1. [FGJ]'de yer alan, $c_0$ üzerine giden ve $c_0$'ın bir kopyasını korumayan pozitif bölüm dönüşümleri (quotient mappings) örneklerinin, teoremin (4) özelliğini sağlamadığı [GJ2]'de gösterilmiştir; dolayısıyla bunlar, Niculescu'nun terminolojisiyle [N2], güçlü B tipi olmayan B tipi operatörlerdir. Bu durum [N2]'deki Problem 4.1'i yanıtlar. (Ancak, eğer $E$ sıra sürekli ise $I(E) = E$ olur ve bu durumda $E$'den giden B tipi operatörler güçlü B tipindedir.) Bu operatörler ayrıca [N2]'deki Problem 4.4'e bir çözüm sunar; yani, bazı Banach kafesleri üzerinde, $c_0$'ın veya $\ell_1$'in kopyasını korumayan, ancak $T^2$ zayıf kompakt olmayan bir $T$ kafes homomorfizması mevcuttur, oysa $T^3$ zayıf kompakt olmak zorundadır: bkz. [GJ3, s. 164]'teki Not 2.

Not 2. Not 1'de bahsedilen operatörlerden biri ([GJ2] terminolojisindeki $T_1$), zayıf Cauchy dizilerini zayıf yakınsak dizilere eşler; bu durum, [N2]'deki Önerme 4.2'nin bir kısmına karşıt bir örnek teşkil eder.

Not 3. Zayıf ardışık tam bir Banach kafesi sözde analitik Radon-Nikodym (ARN) özelliğine sahip olduğundan (bkz. [BD]), teoremin (3) koşulunu sağlayan bir operatör bir ARN-operatörüdür. Bu gerektirme yakın zamanda Bukhvalov [B] tarafından doğrudan bir yolla kanıtlanmıştır. [GJ3]'ten haberdar olmasına rağmen Bukhvalov, sonucunun [GJ3]'teki faktörlemelerden çıkarılamayacağını yanlışlıkla düşünmüştür (Not 2'de bahsedilen [N2]'deki hatayı uygulayarak, Not 1'de bahsedilen operatörlerin teoremin (3) koşulunu sağladığı sonucuna varmıştır).

Kaynakça