Orantısal UAP Zayıf Hilbert Uzaylarını Karakterize Eder

W. B. Johnson ve G. Pisier[^1]
Texas A&M Üniversitesi, College Station, TX 77843, A.B.D.
Texas A&M Üniversitesi, College Station, TX 77843, A.B.D. ve Equipe d'Analyse, Université Paris VI, 75230 Paris, FRANSA

AMS Konu Sınıflandırması: 46B20, 47B10

Özet

Bir Banach uzayının, düzgünlük fonksiyonunun orantısal büyümesiyle düzgün yaklaşıklık özelliğine (uniform approximation property - UAP) sahip olmasının, ancak ve ancak bir zayıf Hilbert uzayı olması durumunda gerçekleştiğini kanıtlıyoruz.

Giriş

“Zayıf Hilbert uzayları” [16] çalışmasında tanımlanmış ve incelenmiştir. [16] çalışmasındaki birçok denk karakterizasyon arasında belki de en basit tanım şudur: Bir $X$ Banach uzayı, sırasıyla $X$ ve $X^*$ birim yuvarlarında alınan her $n$, her $(x_1, \ldots, x_n)$ ve $(x^*_1, \ldots, x^*_n)$ $n$-lileri için, $${| \operatorname{det}(\langle x^*_i, x_j \rangle) |}^{1/n} \le C$$ koşulunu sağlayan bir $C$ sabitinin bulunması durumunda bir zayıf Hilbert uzayıdır.

Hilbert uzayı olmayan ilk zayıf Hilbert uzayı örneği, birinci yazar tarafından elde edilmiştir (bkz. [4], Örnek 5.3 ve [8]).

Bir $X$ Banach uzayının düzgün yaklaşıklık özelliğine (uniform approximation property - UAP) sahip olması, her $n$ ve her $n$-boyutlu $E \subset X$ alt uzayı için, $\|T\| \le K$ ve $T_{|E} = I_{|E}$ olacak şekilde $\operatorname{rk}(T) \le f(n)$ koşulunu sağlayan bir $T \colon X \rightarrow X$ operatörünün bulunmasını sağlayan bir $K$ sabitinin ve bir $n \rightarrow f(n)$ fonksiyonunun var olması demektir.

Daha sonra kullanmak üzere, verilen $K > 1$ için şunu tanımlıyoruz: $$k_X(K,n) = \sup_{\substack{E \subset X \\ \dim E=n}} \inf \{ \operatorname{rk}(T) \}$$ burada infimum, $\|T\| \le K$ ve $T_{|E} = I_{|E}$ koşulunu sağlayan tüm $T \colon X \rightarrow X$ operatörleri üzerinden alınır.

$X$'in UAP özelliğine sahip olmasının ancak ve ancak $k_X(K,n)$ ifadesinin tüm $n$ değerleri için sonlu olmasını sağlayan bir $K$ sabitinin bulunması durumunda mümkün olduğuna dikkat edelim; bu durumda $X$'in $K$-UAP özelliğine sahip olduğunu söyleriz. $n \rightarrow k_X(K,n)$ fonksiyonunun asimptotik büyümesi, $X$ uzayının UAP'sinin nicel bir ölçüsünü sağlar.

Örneğin, eğer $X$ bir Hilbert uzayı ise açıkça $k(1,n) = n$ olur, dolayısıyla $X$ bir Hilbert uzayına izomorfik ise: $$k_X(K,n) = n \quad \text{her } n \text{ için}$$ olacak şekilde bir $K$ sabiti vardır.

Lindenstrauss-Tzafriri'nin [11] tümleyenli alt uzay teoremi (complemented subspace theorem) uyarınca bunun tersi de doğrudur.

Bu makaledeki ana sonuç, zayıf Hilbert uzayları için benzer bir ifade olarak görülebilir ve şu şekildedir.

Ana Teorem. Bir $X$ Banach uzayı, ancak ve ancak her $n$ için $$k_X(K,n) \le Cn \tag{0.1}$$ koşulunu sağlayan $K$ ve $C$ sabitlerinin var olması durumunda bir zayıf Hilbert uzayıdır.

Yani, UAP tanımındaki düzgünlük fonksiyonunun orantısal asimptotik davranışı, zayıf Hilbert uzaylarını karakterize eder.

Zayıf Hilbert uzaylarının UAP özelliğine sahip olduğu [16] çalışmasında kanıtlanmış, ancak $n \rightarrow k_X(K,n)$ fonksiyonunun bir tahmini elde edilmemiştir.

Bu makalenin amaçları doğrultusunda, eğer (0.1) koşulunu sağlayan $K$ ve $C$ sabitleri varsa, $X$'in orantısal UAP'ye (proportional UAP) sahip olduğunu söyleyeceğiz.

Yazarlar, bu makaledeki materyallerle ilgili çeşitli tartışmalar için V. Mascioni ve G. Schechtman'a teşekkür ederler.

§ 1. Zayıf Hilbert Uzayları Orantısal UAP'ye Sahiptir

İlk olarak, nükleer operatörler cinsinden zayıf Hilbert uzaylarının bir karakterizasyonunu hatırlatalım. Bir $u \colon X \rightarrow X$ operatörünün, $\sum \|x^*_n\|\, \|x_n\| < \infty$ koşulunu sağlayan $x^*_n \in X^*, x_n \in X$ ile $$u(x) = \sum^\infty_{n=1} x^*_n(x) x_n$$ biçiminde yazılabiliyorsa nükleer (nuclear) olarak adlandırıldığını hatırlayalım. Ayrıca, $N(u)$ nükleer normu: $$N(u) = \inf \left\{ \sum \|x^*_n\|\, \|x_n\| \right\}$$ olarak tanımlanır; burada infimum, tüm olası gösterimler üzerinden alınır. Yaklaşıklık sayıları (approximation numbers) için kullanılan gösterimi de hatırlatırız: $$\forall k \ge 1 \quad a_k(u) = \inf \{\|u-v\| \mid v \colon X \rightarrow X, \ \operatorname{rk}(v) < k\}\ .$$

[16] uyarınca, bir $X$ Banach uzayı, ancak ve ancak her nükleer $u \colon X \rightarrow X$ operatörü için, $$\sup_{k \ge 1} k a_k (u) \le C N(u) \tag{1.1}$$ koşulunu sağlayan bir $C$ sabitinin bulunması durumunda bir zayıf Hilbert uzayıdır.

Aşağıdaki gözlem, V. Mascioni [14] tarafından halihazırda kullanılmış olan muhakeme ile aynıdır.

Önerme 1.1. Let $X$ bir zayıf Hilbert uzayı olsun. Her $n$ ve her $n$-boyutlu $E \subset X$ alt uzayı için, $u_{|E} = I_{|E}$, $\|u\| \le K'$ ve $N(u) \le K'n$ koşullarını sağlayan bir $u \colon X \rightarrow X$ operatörünün bulunmasını sağlayan bir $K'$ sabitinin var olduğunu varsayalım. O halde $X$ orantısal UAP'ye sahiptir. (Eğer $u$ sonlu mertebeye sahipse $N(u) \le \operatorname{rk}(u)\|u\|$ olduğunu, dolayısıyla bu ifadenin tersinin bariz olduğunu hatırlayalım.)

Kanıt. $u$ bir önceki ifadedeki gibi olsun. (1.1) ifadesini $k = [2CK'n] + 1$ için kullanırız, böylece: $$a_k(u) \le CN(u) k^{-1} \le CK'nk^{-1} \le \frac{1}{2}$$ olur. Bu, $\operatorname{rk}(v) \le 2CK'n$ olacak şekilde, $\|u-v\| \le \frac{1}{2}$ koşulunu sağlayan bir $v \colon X \rightarrow X$ operatörünün var olduğu anlamına gelir. Pertürbasyon (perturbation) ile, $$V = v-u+I$$ operatörünün $\|V^{-1}\| \le 2$ ile $X$ üzerinde tersi alınabilir (invertible) olduğu sonucu çıkar. Dahası, $$V_{|E} = v_{|E} \tag{1.2}$$ koşuluna sahibiz. Buradan, eğer $T = V^{-1}v$ alırsak: $$\|T\| \le \|V^{-1}\|\, \|v\| \le 2 (\!\|u\| + \|u-v\|) \le 2K' + 1$$ elde ederiz; ayrıca (1.2) uyarınca $\operatorname{rk}(T) \le \operatorname{rk}(v) \le 2C K' n$ ve $T_{|E} = I_{|E}$ olur.

Buradan $X$'in, $K=2K' + 1$ olmak üzere $k_X(K,n) \le 2CK'n$ ile UAP'ye sahip olduğu sonucuna varırız. $\square$

Dualiteden aşağıdaki önerme aracılığıyla yararlanacağız (benzer türden bir kriter, Szankowski [18] tarafından bazı uzayların UAP'yi sağlamadığını kanıtlamak için kullanılmıştır):

Önerme 1.2. Let $X$ yaklaşıklık özelliğine (AP) sahip yansımalı (reflexive) bir Banach uzayı; $\alpha, \beta$ pozitif sabitler; ve $n \ge 1$ bir tam sayı olsun. Aşağıdakiler denktir.

• (i) $T_1 + T_2$ toplamının mertebesi $\le n$ olacak şekilde $X$ üzerindeki tüm nükleer $T_1$, $T_2$ operatörleri için: $$|\operatorname{tr}(T_1 + T_2)| \le \alpha N(T_1) + \beta n \|T_2\|$$ koşulu sağlanır.
• (ii) (i) ile aynıdır, ancak $T_1$, $T_2$ sonlu mertebelidir.
• (iii) Boyutu $\le n$ olan herhangi bir $E \subset X$ alt uzayı için, $u_{|E} = I_E,\ \|u\| \le \alpha$ ve $N(u) \le \beta n$ koşullarını sağlayan bir $u \colon X \rightarrow X$ operatörü vardır.

Kanıt. (i) $\Rightarrow$ (ii) barizdir.

(ii)'nin doğru olduğunu varsayalım.

$X^* \otimes X$ uzayını, infimumun tüm $$u = T_1 + T_2 \quad (T_1 \text{ ve } T_2 \text{ içindedir } X^* \otimes X)$$ ayrışımları üzerinden alındığı $|w| = \inf \{\alpha N(T_1) + \beta n\|T_2\|\}$ normu ile donatalım (bu uzay, $X$ üzerindeki sonlu mertebeli operatörler kümesi ile özdeşleştirilmiştir). $X^* \otimes X$ üzerinde bu norm, açıkça operatör normuna denktir.

Şimdi $E \subset X$, $\dim (E) \le n$ olan sabit bir alt uzay olsun. $\mathcal{S} \subset X^* \otimes X$, $E$ içinde görüntüsü olan $X$ üzerindeki tüm operatörlerin $X^* \otimes E$ alt uzayı olsun. Bu doğrusal alt uzay üzerinde, $\xi(w) = \operatorname{tr}(w)$ ile tanımlanan $\xi$ doğrusal formu, (ii) varsayımımız uyarınca $|\cdot |$ normuna göre $\le 1$ normuna sahiptir.

Dolayısıyla, $X^* \otimes X$ uzayının tamamı üzerinde tanımlı, $\xi$'yi genişleten ve $$|\tilde{\xi}(w)| \le |w| \quad \forall w \in X^* \otimes X \tag{1.3}$$ koşulunu sağlayan bir Hahn-Banach genişlemesi $\tilde{\xi}$ vardır.

Klasik sonuçlar uyarınca, $\tilde{\xi}$ bir $u \colon X \rightarrow X^{**}$ integral operatörü ile özdeşleştirilebilir. $X$ yansımalı olduğundan, $u$ aslında $X$ üzerinde nükleer bir operatördür ve $X^* \otimes X$ içindeki tüm $w$'ler için $\tilde{\xi}(w) = \operatorname{tr}(wu)$ olur.

$\tilde{\xi}$, $\xi$'yi genişlettiğinden, her $x^* \in X^*$ ve her $e \in E$ için: $$\langle \tilde{\xi},\ x^* \otimes e \rangle = \operatorname{tr}(x^* \otimes e) = x^*(e) \quad \text{dolayısıyla } x^*(ue) = x^*(e)$$ olmalıdır. Denk olarak, $$u_{|E} = I_{|E}$$ elde edilir.

Diğer taraftan, (1.3) uyarınca, $X$ üzerindeki tüm sonlu mertebeli $T_1$ ve $T_2$ operatörleri için: $$|\operatorname{tr}(u T_1)| \le \alpha N(T_1) \quad \text{ve} \quad |\operatorname{tr} (u T_2)| \le \beta n \| T_2\|$$ koşullarına sahibiz.

Bu durum $\|u\| \le \alpha$ ve (yine $X$'in yansımalılığını kullanarak) $N(u) \le \beta n$ olmasını gerektirir.

Bu, (ii) $\Rightarrow$ (iii) olduğunu gösterir.

Son olarak (iii) $\Rightarrow$ (i) olduğunu gösteririz. (iii)'ün doğru olduğunu varsayalım. $T_1, T_2$ (i)'deki gibi olsun, $E$ alt uzayı $T_1 + T_2$ toplamının görüntüsü olsun ve $u$ da (iii)'teki gibi olsun. O halde $T_1 + T_2 = u(T_1 + T_2)$ olur, dolayısıyla $X$ AP özelliğine sahip olduğundan (bu durum her nükleer $T \colon X \rightarrow X$ operatörü için $|\operatorname{tr}(T)| \le N(T)$ olmasını garanti eder), $|\operatorname{tr}(T_1+T_2)| = |\operatorname{tr} (uT_1) + \operatorname{tr} (uT_2)|$ elde ederiz: $$\le \|u\| N(T_1) + N(u) \|T_2\| \le \alpha N(T_1) + \beta n \|T_2\|\ . \quad \square$$

Not. (i) ifadesinin aşağıdaki (i') ifadesine de denk olduğuna dikkat edelim:

• (i') $(T_1 + T_2)$ toplamının mertebesi $\le n$ olan tüm $T_1, T_2$ operatörleri için: $$N(T_1+T_2) \le \alpha N(T_1) + \beta n \|T_2\|$$ koşulu sağlanır.

Gerçekten de (AP ve yansımalılık varsayımı altında) şuna sahibiz: $$N(T_1 + T_2) = \sup \{\operatorname{tr}(S(T_1 + T_2)) \mid S \colon X \rightarrow X, \ \|S\| \le 1\}\ .$$ Bu durum (i) $\Rightarrow$ (i') olduğunu gösterir. $X$ AP özelliğine sahip olduğundan, bunun tersi de barizdir. Tabii ki, (ii) için de benzer bir not geçerlidir.

Not. Eğer $X$'in AP özelliğine sahip olduğu varsayılmazsa, nükleer norm yerine $X^* \otimes X$ üzerindeki projektif tensör normunu kullanmak koşuluyla Önerme 1.2'nin bir varyantı yine de geçerli olacaktır.

Zayıf Hilbert uzaylarının AP özelliğine sahip olduğunu kanıtlamak için [16] çalışmasında halihazırda yararlanılmış olan aşağıdaki sonuçtan faydalanacağız. Bir $u \colon X \rightarrow X$ sonlu mertebeli operatör olduğunda, $\operatorname{det}(I+u)$ niceliğini şu şekilde gösteririz: $$\prod (1 + \lambda_j(u))$$ burada $\{\lambda_j(u)\}$, $u$'nun cebirsel katlılıklarına göre tekrarlanan özdeğerleridir. Denk olarak, $\operatorname{det}(I+u)$, $u$'nun görüntüsünü içeren herhangi bir sonlu boyutlu $E \subset X$ alt uzayına kısıtlanmış $(I + u)_{|E}$ operatörünün sıradan determinantına eşittir.

Lemma 1.3. Let $u, v$, $X$ zayıf Hilbert uzayı üzerinde $\operatorname{rk}(u) \le n$ koşulunu sağlayan sonlu mertebeli operatörler olsun. O halde: $$|\operatorname{det}(I+u+v)| \le \left( \sum^n_{j=0} \frac{C^j}{j!} N(u)^j \right) \exp C N(v) \tag{1.4}$$ olur; burada $C$, $X$'in “zayıf Hilbert uzayı sabiti”dir, yani $$C = \sup_{\substack{x_i \in B_X \\ x^*_i \in B^*_X}} {| \operatorname{det}(\langle x^*_i, x_j \rangle) |}^{1/n}\ . \tag{1.5}$$

Kanıt için [17] s. 229'a başvuruyoruz. Eğer $N(u) \ge 1$ ise, (1.4) ifadesinin tüm karmaşık $z$ sayıları için şunu gerektirdiğine dikkat edelim: $$\operatorname{det}(I + z(u+v)) \le N(u)^n \exp\{C|z| + C|z| N(v)\}\ . \tag{1.6}$$

$f(z) = \operatorname{det}(I + z(u+v))$ olsun. O halde $f$, $z \in \mathbb{C}$ değişkeninin şu koşulları sağlayan bir polinom fonksiyonudur: $$f(0) = 1 \quad \text{ve} \quad f'(0) = \operatorname{tr}(u+v)\ .$$

Grothendieck [6] çalışmasında, $u \rightarrow \operatorname{det}(I+u)$ fonksiyonunun, projektif normla donatılmış $X^* \otimes X$ üzerinde düzgün sürekli olduğunu ve dolayısıyla $X^* \hat{\otimes} X$ tamlamasına genişletilebileceğini göstermiştir. Bu durum, eğer $X$ AP özelliğine sahipse, $\operatorname{det}(I+v)$ determinantının $X$ üzerindeki herhangi bir nükleer $v$ operatörü için tek anlamlı şekilde tanımlanabileceğini gösterir. [6] çalışmasında gösterildiği gibi, $z \rightarrow \operatorname{det}(I+z(u+v))$ fonksiyonu, eğer $u$ operatörü $\le n$ mertebeye sahipse ve $v$ muhtemelen sonsuz mertebeliyse (1.4) koşulunu sağlayan bir tam (entire) fonksiyondur. Bu genişletmeyi aşağıdaki Teorem 1.5'te kullanıyoruz, ancak ana sonucumuzun kanıtında Teorem 1.5'teki $v$'nin sonlu mertebeli olduğu özel durum yeterlidir. Bu durum kanıtımızı daha temel hale getirir.

Carathéodory'nin aşağıdaki klasik eşitsizliğinden kritik derecede faydalanacağız; okuyucunun kolaylığı için kanıtını da ekliyoruz.

Lemma 1.4. Let $h$, bir $D_R = \{z \in \mathbb{C} \mid |z| $$|h'(0)| \le \frac{2}{r} \sup_{|z|=r} \operatorname{Re}(h(z))$$ olur.