Paulette Saab ve Brenda Smith
Mathematics Department, University of Missouri, Columbia, Missouri
Özet
$\Omega$ bir kompakt Hausdorff uzayı, $E$ bir Banach uzayı olsun ve $C(\Omega, E)$, $\Omega$ üzerindeki tüm $E$-değerli sürekli fonksiyonların supremum normu altındaki Banach uzayını göstersin. Bu makalede, $C(\Omega, E)$ uzayları üzerindeki nükleer operatörlerin, kendilerini temsil eden vektör ölçülerinin özellikleri cinsinden ne zaman tamamen karakterize edilebileceğini inceliyoruz. Ayrıca, $F$ bir Banach uzayı ve $T : C(\Omega, E) \to F$ bir nükleer operatör ise, $T$'nin, $\Omega$ üzerindeki skaler-değerli sürekli fonksiyonların $C(\Omega)$ uzayından, $E$'den $F$'ye nükleer operatörlerin $N(E, F)$ uzayına sınırlı bir doğrusal $T^\#$ operatörü indüklediğini gösteriyoruz. Bu durumda, $T$ nükleer olduğunda $T^\#$ operatörünün de nükleer olması için gerek ve yeter koşulun $E^*$ dual uzayının Radon-Nikodym özelliğine sahip olması olduğunu gösteriyoruz.
arXiv:math/9201211v1 [math.FA] 27 Mar 1990
$\Omega$ bir kompakt Hausdorff uzayı, $E$ bir Banach uzayı olsun ve $C(\Omega, E)$, $\Omega$ üzerinde supremum normu altındaki sürekli $E$-değerli fonksiyonların Banach uzayını göstersin. Eğer $F$ bir Banach uzayı ise, herhangi bir sınırlı doğrusal $T : C(\Omega, E) \to F$ operatörünün, $\Omega$'nın Borel alt kümelerinin $\sigma$-cebiri üzerinde tanımlı ve değerleri $E$'den $F$'nin ikinci düali $F^{**}$'ına giden sınırlı doğrusal operatörlerin $\mathcal{L}(E, F^{**})$ uzayında olan sonlu toplanır bir $G$ vektör ölçüsüne sahip olduğu iyi bilinmektedir [3, s. 182]. Bu $G$ ölçüsünün $T$'yi temsil ettiği söylenir.
Bu çalışmanın amacı, $T$ operatörünün belirli özellikleri ile onu temsil eden $G$ ölçüsünün özellikleri arasındaki etkileşimi incelemektir. Kesin olarak hedeflerimizden biri, nükleer operatörleri kendilerini temsil eden ölçüler cinsinden ne zaman karakterize edebileceğimizi incelemektir. Bu, elbette, sürekli skaler-değerli fonksiyonların $C(\Omega)$ uzayları üzerindeki nükleer operatörlerle ilgili L. Schwartz'ın [5] (ayrıca bkz. [3, s. 173]) iyi bilinen bir teoreminden esinlenmiştir. Sürekli vektör-değerli fonksiyonların $C(\Omega, E)$ uzayları üzerindeki nükleer operatörlerin incelenmesi, yazarın Schwartz'ın sonucunu $E^*$ dual uzayının Radon-Nikodym özelliğine sahip olması durumuna genişlettiği [1] çalışması ile başlatılmıştır. Bu makalede, Schwartz tipi bir teoremin elde edilmesi için $E^*$ üzerinde Radon-Nikodym özelliğine sahip olma koşulunun gerekli olduğunu göstereceğiz. Bu durum, Radon-Nikodym özelliğine sahip dual uzaylar $E^*$ için yeni bir karakterizasyona yol açar.
[2]'de, $T : C(\Omega, E) \to F$ nükleer olduğunda, onu temsil eden $G$ ölçüsünün değerlerini $E$'den $F$'ye nükleer operatörlerin $N(E, F)$ uzayında aldığı gösterilmiştir. Bu makalenin sonuçlarından biri, eğer $T : C(\Omega, E) \to F$ nükleer ise, onu temsil eden $G$ ölçüsünün sayılabilir toplanır olduğu ve değerlerini nükleer normla donatılmış $N(E, F)$ uzayında alan bir vektör ölçüsü olarak sınırlı varyasyona sahip olduğudur. Ayrıca, temsil eden $G$ ölçüsü üzerindeki yukarıda bahsedilen koşulların genel olarak nükleer operatörleri karakterize etmediğini basit örneklerle gösteriyoruz. Ancak, eğer $E^*$ Radon-Nikodym özelliğine sahipse, nükleer operatörler gerçekten de yukarıdaki iki koşulla karakterize edilir.
0. Ön Bilgiler
$X$ ve $Y$ Banach uzayları ise, $\mathcal{L}(X, Y)$, $X$'ten $Y$'ye sınırlı doğrusal operatörlerin uzayını gösterecektir. $\mathcal{L}(X, Y)$ içindeki bir $T$ elemanının nükleer bir operatör olduğu söylenir, eğer $X^*$ içinde $(x_n^*)$ ve $Y$ içinde $(y_n)$ dizileri mevcutsa öyle ki $\sum_{n=1}^\infty \|x_n^*\| \|y_n\| < \infty$ ve her $x \in X$ için: $$T(x) = \sum_{n=1}^\infty x_n^*(x) y_n$$ sağlanır. $\sum_{n=1}^\infty x_n^* \otimes y_n$ ifadesinin nükleer $T$ operatörünü temsil ettiğini söyleriz. Bir nükleer $T : X \to Y$ operatörünün nükleer normu şu şekilde tanımlanır: $$\|T\|_{nuc} = \inf \sum_{n=1}^\infty \|x_n^*\| \|y_n\|$$ burada infimum, her $x \in X$ için $T(x) = \sum_{n=1}^\infty x_n^*(x) y_n$ eşitliğini sağlayan tüm $(x_n^*)$ ve $(y_n)$ dizileri üzerinden alınır. $X$'ten $Y$'ye nükleer operatörler, nükleer norm altında normlu bir doğrusal uzay oluştururlar [3, s. 170] ve bu uzayı $N(X, Y)$ ile göstereceğiz.
$\Omega$ bir kompakt Hausdorff uzayı ve $E$ bir Banach uzayı ise, $C(\Omega, E)$, $\Omega$ üzerinde tanımlı sürekli $E$-değerli fonksiyonların supremum normu altındaki uzayını gösterecektir. Eğer $E = \mathbb{R}$ veya $\mathbb{C}$ ise, bunu kısaca $C(\Omega)$ olarak yazacağız. $M(\Omega, E^*)$ uzayı, $\Omega$'nın Borel alt kümelerinin $\sigma$-cebiri $\Sigma$ üzerinde tanımlı, sınırlı varyasyona sahip tüm regüler $E^*$-değerli $\mu$ vektör ölçülerinin uzayını gösterecektir. $M(\Omega, E^*)$ uzayının varyasyon normu $\|\mu\| = |\mu|(\Omega)$ altında bir Banach uzayı olduğunu ve $M(\Omega, E^*)$ uzayının $C(\Omega, E)^*$ dual uzayına izometrik olarak izomorfik olduğu gerçeğini (bkz. [3, s. 182]) kullanacağız. $E = \mathbb{R}$ veya $\mathbb{C}$ olduğunda kısaca $M(\Omega)$ yazacağız. Eğer $\mu \in M(\Omega, E^*)$ ise, her $e \in E$ için $\langle e, \mu \rangle$ ile her $B \in \Sigma$ için $\langle e, \mu \rangle(B) = \mu(B)(e)$ koşulunu sağlayan $M(\Omega)$ elemanını göstereceğiz. Eğer $\nu \in M(\Omega)$ ve $x^* \in E^*$ ise, $\nu \otimes x^*$ ile $\Omega$'nın her Borel $B$ alt kümesine $E^*$'ın $\nu(B) x^*$ elemanını atayan $M(\Omega, E^*)$ elemanını göstereceğiz.
$E$ ve $F$ Banach uzayları ve $\Omega$ bir kompakt Hausdorff uzayı olduğunda, $T$ operatörünü temsil eden sonlu toplanır $\mathcal{L}(E, F^{**})$-değerli ölçüyü $G$ ile göstereceğiz. Eğer $B$, $\Omega$'nın bir Borel alt kümesi ise, her $e \in E$ için: $$G(B)e = T^{**}(\phi_{B,e})$$ olduğunu hatırlayalım; burada $\phi_{B,e}$, her $\lambda \in M(\Omega, E^*)$ için: $$\phi_{B,e}(\lambda) = \lambda(B)(e)$$ koşulunu sağlayan $C(\Omega, E)^{**}$ elemanıdır ve $T^{**}$ ise $T$'nin ikinci adjointidir.
Son olarak, bir $X$ Banach uzayının Radon-Nikodym özelliğine (RNP) sahip olduğunu hatırlatalım, eğer her sonlu ölçü uzayı $(S, \Sigma, \mu)$ ve $\mu$'ye göre mutlak sürekli olan sınırlı varyasyonlu her $m : \Sigma \to X$ vektör ölçüsü için, her $A \in \Sigma$ için: $$m(A) = \int_A g d\mu$$ koşulunu sağlayan kuvvetli ölçülebilir bir Bochner integrallenebilir $g : S \to X$ fonksiyonu mevcutsa.
1. Nükleer Operatörü Temsil Eden Ölçünün Bazı Özellikleri
Makale boyunca, $\Omega$'yı Borel alt kümelerinin $\sigma$-cebiri $\Sigma$ olan bir kompakt Hausdorff uzayı, $E$ ve $F$'yi ise Banach uzayları olarak kabul ediyoruz. Aşağıda, bir nükleer operatörü temsil eden ölçünün bazı özelliklerine bakacağız. [2]'de, $T$ nükleer olduğunda onu temsil eden ölçünün değerlerini $N(E, F)$ içinde aldığı gösterilmiştir. Aşağıdaki önermede, $G$'nin daha güçlü bir özelliğe sahip olduğunu göstereceğiz.
Önerme 1. Eğer $T : C(\Omega, E) \to F$, temsil eden ölçüsü $G$ olan bir nükleer operatör ise: 1. her Borel $B \subset \Omega$ alt kümesi için, $G(B) : E \to F$ bir nükleer operatördür ve 2. $G$ ölçüsü sayılabilir toplanırdır ve nükleer norm altında $N(E, F)$ içinde değerlerini alan bir vektör ölçüsü olarak sınırlı varyasyona sahiptir.
Kanıt. Eğer $T : C(\Omega, E) \to F$ nükleer ise, o zaman $M(\Omega, E^*)$ içinde $(\mu_n)$ ve $F$ içinde $(y_n)$ dizileri mevcuttur öyle ki tüm $f \in C(\Omega, E)$ için: $$T f = \sum_{n=1}^\infty \mu_n(f) y_n$$ ve $$\sum_{n=1}^\infty \|\mu_n\| \|y_n\| < \infty$$ sağlanır. Özellikle, $T^{**}$ operatörü nükleerdir ve tüm $\phi \in C(\Omega, E)^{**}$ için: $$T^{**}(\phi) = \sum_{n=1}^\infty \phi(\mu_n) y_n$$ olur. Bu durum, $\Omega$'nın herhangi bir Borel $B$ alt kümesi ve tüm $e \in E$ için: $$G(B)e = T^{**}(\phi_{B,e}) = \sum_{n=1}^\infty \mu_n(B)(e) y_n$$ olmasını gerektirir. $(\mu_n(B))$, $E^*$ içinde bir dizi olduğundan ve $\sum_{n=1}^\infty \|\mu_n(B)\| \|y_n\| \le \sum_{n=1}^\infty \|\mu_n\| \|y_n\| < \infty$ sağlandığından, bu durum her Borel $B \subset \Omega$ alt kümesi için $G(B) : E \to F$ operatörünün nükleer olduğunu gösterir.
2.'yi kanıtlamak için, $G : \Sigma \to N(E, F)$ olduğundan, değeri bir $\Sigma$ içindeki $B$ kümesi üzerinde: $$|G|_{nuc}(B) = \sup_{\pi} \sum_{B_i \in \pi} \|G(B_i)\|_{nuc}$$ ile verilen varyasyon fonksiyonunu $|G|_{nuc}$ ile gösterelim; burada supremum, $B$'nin tüm sonlu $\pi$ parçalanışları üzerinden alınır. İlk olarak $|G|_{nuc}(\Omega) < \infty$ olduğunu gösterelim. Gerçekten de, eğer $\pi = \{B_i\}$, $\Omega$'nın sonlu bir parçalanışı ise, o zaman: $$\sum_{B_i \in \pi} \|G(B_i)\|_{nuc} \le \sum_{B_i \in \pi} \sum_{n=1}^\infty \|\mu_n(B_i)\| \|y_n\| \le \sum_{n=1}^\infty \sum_{B_i \in \pi} |\mu_n|(B_i) \|y_n\| = \sum_{n=1}^\infty \|\mu_n\| \|y_n\| < \infty$$ olur. Böylece, $|G|_{nuc}(\Omega) \le \sum_{n=1}^\infty \|\mu_n\| \|y_n\| < \infty$ elde edilir.
Şimdi, $G(B)$'yi temsil eden serinin nükleer normda yakınsadığını kontrol edelim. $(B_i)_{i=1}^\infty$, $B = \bigcup_{i=1}^\infty B_i$ olmak üzere $\Omega$'nın ikişer ikişer ayrık Borel alt kümelerinin bir dizisi olsun. Herhangi bir $\epsilon > 0$ için, $\sum_{n=1}^\infty \|\mu_n\| \|y_n\| < \infty$ olduğundan, şunu sağlayan bir $N \in \mathbb{N}$ seçelim: $$\sum_{n=N+1}^\infty \|\mu_n\| \|y_n\| < \frac{\epsilon}{2}\ .$$ $K \in \mathbb{N}$ için şuna sahibiz: $$\left\| G\left(\bigcup_{i=K}^\infty B_i\right) \right\|_{nuc} = \left\| \sum_{n=1}^\infty \mu_n\left(\bigcup_{i=K}^\infty B_i\right) \otimes y_n \right\|_{nuc} \le \sum_{n=1}^N \left| \mu_n\left(\bigcup_{i=K}^\infty B_i\right) \right| \|y_n\| + \sum_{n=N+1}^\infty \|\mu_n\| \|y_n\|\ .$$ Her $\mu_n$ sınırlı varyasyonlu sayılabilir toplanır bir vektör ölçüsü olduğundan, şuna sahibiz: $$\lim_{K \to \infty} \sum_{n=1}^N \left| \mu_n\left(\bigcup_{i=K}^\infty B_i\right) \right| \|y_n\| = 0\ .$$ Dolayısıyla, tüm $K \ge K_0$ için: $$\sum_{n=1}^N \left| \mu_n\left(\bigcup_{i=K}^\infty B_i\right) \right| \|y_n\| < \frac{\epsilon}{2}$$ koşulunu sağlayan bir $K_0$ bulabiliriz. Bu nedenle, tüm $K \ge K_0$ için, $$\left\| G(B) - \sum_{i=1}^{K-1} G(B_i) \right\|_{nuc} = \left\| G\left(\bigcup_{i=K}^\infty B_i\right) \right\|_{nuc} < \frac{\epsilon}{2} + \frac{\epsilon}{2} = \epsilon$$ olur. Bu, $G$'nin değerlerini $N(E, F)$ içinde alan bir vektör ölçüsü olarak sayılabilir toplanır olduğunu gösterir. $\square$
Bu aşamada ortaya çıkan ilk soru şudur: yukarıdaki 1. ve 2. özellikler nükleer operatörleri ne zaman karakterize eder? Bir sonraki önerme, gerekli bir koşulun $F$'nin Radon-Nikodym özelliğine sahip olması gerektiğini göstermektedir.
Önerme 2. Eğer $F$ Radon-Nikodym özelliğine (RNP) sahip değilse, o zaman herhangi bir $E$ Banach uzayı için, temsil eden ölçüsü değerlerini $N(E, F)$ içinde alan ve değerlerini $N(E, F)$ içinde alan sayılabilir toplanır bir vektör ölçüsü olarak sınırlı varyasyona sahip olan, ancak nükleer olmayan bir $T : C([0, 1], E) \to F$ operatörü mevcuttur.
Kanıt. Eğer $F$ Radon-Nikodym özelliğinden yoksunsa, o zaman [3, s. 175] gereği, $[0, 1]$'in Borel alt kümeleri üzerinde tanımlı, sınırlı varyasyona sahip, Lebesgue ölçüsüne göre mutlak sürekli olan, ancak Lebesgue ölçüsüne göre Bochner integrallenebilir bir türeve izin vermeyen $F$-değerli sayılabilir toplanır bir $m$ vektör ölçüsü mevcuttur. Eğer $T' : C[0, 1] \to F$ operatörünü: $$T'(f) = \int_{[0, 1]} f dm$$ ile tanımlarsak, $T'$ nükleer değildir (ve hatta integral bile değildir). Şimdi sıfırdan farklı bir $e^* \in E^*$ elemanı seçelim ve $C([0, 1], E)$ içindeki her $\phi$ için $T : C([0, 1], E) \to F$ operatörünü: $$T(\phi) = T'(e^* \circ \phi)$$ ile tanımlayalım. Özellikle, $C[0, 1]$ içindeki her $f$ ve $E$ içindeki $x$ için şuna sahibiz: $$T(f \otimes x) = e^*(x) T'(f)\ .$$ $T$ operatörünü temsil eden ölçünün, her $x \in E$ için $[0, 1]$'in her Borel $B$ alt kümesine birinci dereceden (rank-one) $G(B)x = e^*(x)m(B)$ operatörünü atayan $G = m \otimes e^*$ ölçüsü olduğu açıktır. Açıkça, her $B$ için $G(B) \in N(E, F)$'dir. Üstelik, $[0, 1]$'in herhangi bir sonlu $\pi = \{B_i\}$ parçalanışı için: $$\sum_{B_i \in \pi} \|G(B_i)\|_{nuc} = \sum_{B_i \in \pi} \|e^*\| \|m(B_i)\| \le \|e^*\| |m|([0, 1]) < \infty$$ olur, dolayısıyla $|G|_{nuc}([0, 1]) < \infty$'dur.
Eğer $T$ nükleer bir operatör olsaydı, o zaman $M([0, 1], E^*)$ içinde $(\mu_n)$ ve $F$ içinde $(y_n)$ dizileri mevcut olurdu öyle ki $C([0, 1], E)$ içindeki her $\phi$ için: $$T(\phi) = \sum_{n=1}^\infty \mu_n(\phi) y_n$$ sağlanırdı. Özellikle, her $f \in C[0, 1]$ için, $e^*(e) = 1$ olacak şekilde $e \in E$ seçerek şuna sahip oluruz: $$T'(f) = T(f \otimes e) = \sum_{n=1}^\infty \mu_n(f \otimes e) y_n = \sum_{n=1}^\infty \left( \int_{[0, 1]} f d\langle e, \mu_n \rangle \right) y_n\ .$$ Bu, $T'$ operatörünün nükleer $\sum_{n=1}^\infty \langle e, \mu_n \rangle \otimes y_n$ serisi tarafından temsil edildiğini gösterir; üstelik: $$\sum_{n=1}^\infty \|\langle e, \mu_n \rangle\| \|y_n\| \le \|e\| \sum_{n=1}^\infty \|\mu_n\| \|y_n\| < \infty$$ sağlanır. Bu durum elbette $T'$'nün nükleer olduğunu gösterir ki bu bir çelişkidir. $\square$
Bu bizi aşağıdaki soruyu sormaya yönlendirir. $E$ ve $F$, $F$ Radon-Nikodym özelliğine sahip olacak şekilde Banach uzayları olsun ve $T : C(\Omega, E) \to F$, Önerme 1'in 1. ve 2. koşullarını sağlayan sınırlı doğrusal bir operatör olsun. $T$ nükleer midir? Yakın zamanda, adı ilk sırada yer alan yazar, $F$ kendi $F^{**}$ çift düalinde tümlenmiş (complemented) olduğunda yukarıdaki soruya olumlu bir yanıt vermiştir (bkz. [4]).
2. Radon-Nikodym Özelliği ve Nükleer Operatörler
Bu bölüm boyunca, $\Omega$ kompakt bir Hausdorff uzayı, $E$ ve $F$ ise Banach uzaylarıdır. Her sınırlı doğrusal $T : C(\Omega, E) \to F$ operatörü, her $f \in C(\Omega)$ için ve tüm $e \in E$ için: $$T^\#(f)(e) = T(f \otimes e)$$ olacak şekilde sınırlı doğrusal bir $T^\# : C(\Omega) \to \mathcal{L}(E, F)$ operatörü indükler.
Bu bölümde $T$ ve $T^\#$ operatörlerinin etkileşimine bakacağız. Bir sonraki sonuç, $T$ nükleer olduğunda $T^\#$'ın görüntü kümesinin $N(E, F)$ içinde olduğunu göstermektedir.
Teorem 3. Eğer $T : C(\Omega, E) \to F$ nükleer ise, o zaman $T^\#$ değerlerini $N(E, F)$ içinde alır.
Kanıt. $M(\Omega, E^*)$ içinde $(\mu_n)$ ve $F$ içinde $(y_n)$, $\sum_{n=1}^\infty \|\mu_n\| \|y_n\| < \infty$ ve $C(\Omega, E)$ içindeki her $\phi$ için: $$T(\phi) = \sum_{n=1}^\infty \mu_n(\phi) y_n$$ olacak şekilde olsun. Her $n \ge 1$ için $\mu_n^\# : C(\Omega) \to E^*$ operatörünü: $$\mu_n^\#(f)e = \mu_n(f \otimes e)$$ ile tanımlayalım. Buradan, $C(\Omega)$ içindeki her $f$ için $T^\#(f)$'nin şu seri ile temsil edilebileceği elde edilir: $$T^\#(f) = \sum_{n=1}^\infty \mu_n^\#(f) \otimes y_n\ .$$ Üstelik, $$\sum_{n=1}^\infty \|\mu_n^\#(f)\| \|y_n\| \le \|f\| \sum_{n=1}^\infty \|\mu_n\| \|y_n\| < \infty$$ sağlandığından, her $f \in C(\Omega)$ için $T^\#(f)$'nin $E$'den $F$'ye nükleer bir operatör olduğu sonucu çıkar. $\square$
Bir sonraki sonuç, $T$ ve $T^\#$ arasındaki temel ilişkilerden birini göstermektedir.
Teorem 4. İndüklenen $T^\# : C(\Omega) \to N(E, F)$ operatörü nükleer olduğunda, $T : C(\Omega, E) \to F$ operatörü de nükleerdir.
Kanıt. $T^\# : C(\Omega) \to N(E, F)$'nin nükleer olduğunu varsayalım. O halde $C(\Omega)^*$ içinde $(\nu_n)$ ve $N(E, F)$ içinde $(N_n)$ dizileri mevcuttur öyle ki her $f \in C(\Omega)$ için: $$T^\#(f) = \sum_{n=1}^\infty \nu_n(f) N_n$$ ve $$\sum_{n=1}^\infty \|\nu_n\| \|N_n\|_{nuc} < \infty$$ sağlanır. Genelliği bozmadan, tüm $n \ge 1$ için $\|\nu_n\| \le 1$ olduğunu varsayabiliriz. Benzer şekilde, her $N_n$ nükleer bir operatör olduğundan, her $n \ge 1$ için $E^*$ içinde $(e_{n,m}^*)_{m=1}^\infty$ ve $F$ içinde $(y_{n,m})_{m=1}^\infty$ dizileri mevcuttur öyle ki tüm $e \in E$ için: $$N_n(e) = \sum_{m=1}^\infty e_{n,m}^*(e) y_{n,m}$$ ve $\sum_{m=1}^\infty \|e_{n,m}^*\| \|y_{n,m}\| \le \|N_n\|_{nuc} + 2^{-n} < \infty$ sağlanır.
Üstelik, her $f \in C(\Omega)$ ve $e \in E$ için: $$T(f \otimes e) = T^\#(f)(e) = \sum_{n=1}^\infty \nu_n(f) N_n(e) = \sum_{n=1}^\infty \sum_{m=1}^\infty \nu_n(f) e_{n,m}^*(e) y_{n,m} = \sum_{n=1}^\infty \sum_{m=1}^\infty (\nu_n \otimes e_{n,m}^*)(f \otimes e) y_{n,m}$$ elde edilir. Böylece, $T$ çift indeksli seri ile temsil edilebilir: $$T = \sum_{n=1}^\infty \sum_{m=1}^\infty (\nu_n \otimes e_{n,m}^*) \otimes y_{n,m}$$ burada $(\nu_n \otimes e_{n,m}^*)$, $M(\Omega, E^*)$ içindedir ve $y_{n,m} \in F$'dir. Ayrıca, $$\sum_{n=1}^\infty \sum_{m=1}^\infty \|\nu_n \otimes e_{n,m}^*\| \|y_{n,m}\| \le \sum_{n=1}^\infty \|\nu_n\| \sum_{m=1}^\infty \|e_{n,m}^*\| \|y_{n,m}\| \le \sum_{n=1}^\infty (\|N_n\|_{nuc} + 2^{-n}) < \infty$$ sağlanır. Bu durum $T$'nin nükleer olduğunu gösterir. $\square$
Ancak ek olarak $E^*$ dual uzayının Radon-Nikodym özelliğine sahip olduğu varsayılırsa, Schwartz Teoremi'ne yakından bakıldığında, $T$ nükleer olduğunda $T^\#$'ın da nükleer olacağı görülecektir. Bir sonraki teoremde, $T$ nükleer olduğunda $T^\#$'ın da nükleer olması için $E^*$ üzerindeki Radon-Nikodym özelliğine sahip olma koşulunun ne kadar kritik olduğunu gösteriyoruz.
Teorem 5. $\Omega$ bir sonsuz kompakt Hausdorff uzayı olsun. Dual uzay $E^*$'ın Radon-Nikodym özelliğine sahip olması için gerek ve yeter koşul, her $F$ Banach uzayı için, $T : C(\Omega, E) \to F$ nükleer olduğunda $T^\# : C(\Omega) \to N(E, F)$'nin de nükleer olmasıdır.
Kanıt. $E^*$ dual uzayının Radon-Nikodym özelliğinden yoksun olduğunu varsayalım. [3, s. 175] gereği, $[0, 1]$'in Borel alt kümeleri üzerinde tanımlı, sınırlı varyasyona sahip, Lebesgue ölçüsüne göre mutlak sürekli olan ancak Bochner integrallenebilir bir türeve izin vermeyen $E^*$-değerli sayılabilir toplanır bir $\mu$ vektör ölçüsü mevcuttur. Tüm $g \in C[0, 1]$ için $\mu^\#(g) = \int_{[0, 1]} g d\mu$ ile tanımlanan $\mu^\# : C[0, 1] \to E^*$ operatörü nükleer değildir. $y \ne 0$ olacak şekilde $y \in F$ seçelim ve tüm $\phi \in C([0, 1], E)$ için $T : C([0, 1], E) \to F$ operatörünü: $$T(\phi) = \left( \int_{[0, 1]} d\mu(t)(\phi(t)) \right) y$$ ile tanımlayalım. $T$'nin birinci dereceden (rank-one) bir operatör olduğu ve dolayısıyla nükleer olduğu açıktır. $T$ tarafından indüklenen $T^\# : C[0, 1] \to N(E, F)$ operatörü, her $g \in C[0, 1]$ için açıkça: $$T^\#(g) = \mu^\#(g) \otimes y$$ koşulunu sağlayan operatördür. $T^\#$'ın nükleer olmadığını görmek için, her $y^* \in F^*$ için $T_{y^*}^\# : C[0, 1] \to E^*$ operatörünü her $g \in C[0, 1]$ için: $$T_{y^*}^\#(g) = (T^\# g)^*(y^*) = y^*(y) \mu^\#(g)$$ ile tanımlayabileceğimize dikkat edin. Eğer $T^\#$ nükleer bir operatör olsaydı, o zaman her $y^* \in F^*$ için $T_{y^*}^\#$ da nükleer bir operatör olurdu. $y^*(y) = 1$ olacak şekilde $y^* \in F^*$ seçerek, $\mu^\#$'ın nükleer olduğu sonucunu elde ederdik ki bu bir çelişkidir.
Aksine, $E^*$'ın Radon-Nikodym özelliğine sahip olduğunu varsayalım. Eğer $T : C(\Omega, E) \to F$ nükleer ise, o zaman temsil eden $G$ ölçüsü, değerlerini $N(E, F)$ içinde alan sayılabilir toplanır bir vektör ölçüsüdür ve nükleer norm altında sınırlı $|G|_{nuc}$ varyasyonuna sahiptir. $E^*$ Radon-Nikodym özelliğine sahip olduğundan, Bochner $|G|_{nuc}$-integrallenebilir bir: $$H : \Omega \to N(E, F)$$ fonksiyonu üretmek için [3, s. 173]'teki gibi ilerlenebilir; öyle ki $\Omega$'nın her Borel $B$ alt kümesi için: $$G(B) = \int_B H(\omega) d|G|_{nuc}(\omega)$$ ve her $f \in C(\Omega)$ ve $e \in E$ için: $$T(f \otimes e) = \int_\Omega f(\omega) H(\omega)(e) d|G|_{nuc}(\omega)$$ sağlanır. Buradan, her $f \in C(\Omega)$ için: $$T^\#(f) = \int_\Omega f(\omega) H(\omega) d|G|_{nuc}(\omega)$$ elde edilir; burada entegrasyon, Banach uzayı $N(E, F)$ içinde $|G|_{nuc}$'ye göre Bochner anlamındadır. $H$ Bochner integrallenebilir olduğundan, $T^\# : C(\Omega) \to N(E, F)$ bir nükleer operatördür. $\square$
Kaynakça
- G. Alexander, Linear Operators on the Spaces of Vector-Valued Continuous Functions, Ph.D. Dissertation, New Mexico State University, Las Cruces, New Mexico, 1972.
- R. Bilyeu and P. Lewis, Some mapping properties of representing measures, Ann. Mat. Pura. Appl. CIX (1976), 273–287.
- J. Diestel and J. J. Uhl, Jr., Vector Measures, Math. Surveys 15, Amer. Math. Soc., Providence, Rhode Island, 1977.
- P. Saab, Integral Operators on Spaces of Continuous Vector-Valued Functions, Proc. Amer. Math. Soc. 111 (1991), 115–122.
- L. Schwartz, Séminaire Schwartz, Exposé 13, Université de Paris, Faculté des Sciences, Paris, 1953/1954.