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

Sürekli Vektör-Değerli Fonksiyon Uzaylarında İntegral Operatörler

Paulette Saab

University of Missouri
1990

Özet

$X$ bir kompakt Hausdorff uzayı, $E$ bir Banach uzayı olsun ve $C(X, E)$, uniform norm altında $X$ üzerinde tanımlı $E$-değerli sürekli fonksiyonların Banach uzayını göstersin. Bu makalede, $C(X, E)$ uzayları üzerindeki (Grothendieck anlamında) İntegral operatörleri, onları temsil eden vektör ölçüleri cinsinden karakterize ediyoruz. Bu durum daha sonra $C(X, E)$ uzayları üzerindeki Nükleer operatörlere bazı uygulamalar sunmak için kullanılır.

AMS(MOS) Konu Sınıflandırması (1980): Birincil 46E40, 46G10; İkincil 28B05, 28B20.
Kısmen NSF Grant DMS-87500750 tarafından desteklenmiştir.

Giriş

$X$ bir kompakt Hausdorff uzayı, $E$ ve $F$ Banach uzayları olsun. $C(X, E)$ ile uniform norm altında $X$ üzerinde tanımlı tüm sürekli $E$-değerli fonksiyonların uzayını gösterelim. [9]'da C. Swartz, temsilci ölçüsü $G$ olan bir $T : C(X, E) \to F$ sınırlı doğrusal operatörünün, ancak ve ancak $G$'nin her bir değerinin $E$'den $F$'ye mutlak toplayan bir operatör olması ve $G$'nin, mutlak toplayan norm ile donatılmış $E$'den $F$'ye mutlak toplayan operatörler uzayında değerler alan sınırlı değişimli bir ölçü olması durumunda mutlak toplayan olduğunu gösterdi. Bu makalede Swartz'ın sonucunu $C(X, E)$ uzayları üzerindeki (Grothendieck anlamında) integral operatörler sınıfına genişleteceğiz. Daha kesin olarak, temsilci ölçüsü $G$ olan sınırlı bir doğrusal $T : C(X, E) \to F$ operatörünün, ancak ve ancak $G$'nin her bir değerinin $E$'den $F$'ye bir integral operatör olması ve $G$'nin, integral normu ile donatılmış $E$'den $F$'ye integral operatörler uzayında değerler alan sınırlı değişimli bir vektör ölçüsü olması durumunda bir integral operatör olduğunu göstereceğiz. Bu sonuç daha sonra $C(X, E)$ uzayları üzerindeki Nükleer operatörlere bazı uygulamalar sunmak için kullanılacaktır.

I. Ön Bilgiler

$X$ bir kompakt Hausdorff uzayı ve $E$ bir Banach uzayı ise, $C(X, E)$ uniform norm ile donatılmış tüm sürekli $E$-değerli fonksiyonların Banach uzayını gösterecektir. $C(X, E)$'nin dualinin, $X$ üzerinde sınırlı değişimli olan tüm regüler $E^*$-değerli ölçülerin $M(X, E^*)$ uzayına izometrik olarak izomorf olduğu iyi bilinmektedir [4, sayfa 182]. $E$ skaler cisim olduğunda, $C(X, E)$ ve $M(X, E^*)$ yerine basitçe $C(X)$ ve $M(X)$ yazacağız. Eğer $\mu \in M(X, E^*)$ ve $e \in E$ ise, $\mu$'nün değişimini (variation) $|\mu|$ ile ve $X$'in her Borel alt kümesi $B$ üzerinde şu şekilde tanımlanan $M(X)$ elemanını $\langle e, \mu \rangle$ ile göstereceğiz: $$ \langle e, \mu \rangle (B) = \mu (B) (e). $$

$M(X, E^*)$ ve $C(X, E)$ arasındaki dualite daha sonra şu şekilde tanımlanır: her bir $f \in C(X)$ ve $e \in E$ için, $$ \mu (f \otimes e) = \int_X f d\langle e, \mu \rangle $$ olur; burada $f \otimes e$, şu şekilde tanımlanan $C(X, E)$ elemanıdır: $$ f \otimes e (x) = f(x) e \quad \text{her } x \in X \text{ için}. $$

Eğer $B$, $X$'in bir Borel alt kümesi ise, $1_B$ ifadesi $B$'nin karakteristik fonksiyonunu gösterecektir ve eğer $e \in E$ ise, $1_B \otimes e$ ile her bir $\mu \in M(X, E^*)$ için şu şekilde tanımlanan $C(X, E)^{**}$ elemanını göstereceğiz: $$ 1_B \otimes e (\mu) = \langle e, \mu \rangle (B) = \mu (B)(e). $$

$X$ bir kompakt Hausdorff uzayı, $E$ ve $F$ Banach uzayları olduğunda, her sınırlı doğrusal $T : C(X, E) \to F$ operatörünün bir temsilci ölçüsü $G$ vardır. $G$ ölçüsü, $X$'in Borel alt kümelerinin $\sigma$-algebrası $\Sigma$ üzerinde tanımlanır ve değerlerini $E$'den $F^{**}$'a giden tüm sınırlı doğrusal operatörlerin uzayı olan $\mathcal{L}(E, F^{**})$ içinde alır. $G$ ölçüsü, $X$'in her Borel alt kümesi $B$ ve her $e \in E$ için şunu sağlayacak şekildedir: $$ G(B) e = T^{**} (1_B \otimes e). $$

$y^* \in F^*$ için, $G_{y^*}$ ile $X$ üzerindeki her Borel alt kümesi $B$ ve her $e \in E$ için, $$ \langle e, G_{y^*} \rangle (B) = \langle y^*, G(B) e \rangle $$ koşulunu sağlayan $E^*$-değerli ölçüyü gösterirsek, o zaman $G_{y^*}$, her $f \in C(X, E)$ için, $$ \langle y^*, Tf \rangle = \int_X f(x) d G_{y^*} (x) $$ anlamında $T^* y^*$'ı temsil eden $M(X, E^*)$'ın biricik elemanıdır.

Eğer $E$ ve $F$ Banach uzayları ise, $E$ ve $F$'nin $\|\cdot\|_\epsilon$ normu ile donatılmış cebirsel tensör çarpımını $E \otimes_\epsilon F$ ile gösteririz: $$ \left\| \sum_{i=1}^m x_i \otimes y_i \right\|_\epsilon = \sup \left\{ \left| \sum_{i=1}^m x^*(x_i) y^*(y_i) \right| \ : \ \|x^*\|, \|y^*\| \le 1 \right\}. $$

$E \otimes_\epsilon F$ uzayının tamamlanmışına (completion) $E \hat{\otimes}_\epsilon F$ denir ve $E$ ve $F$'nin enjeksiyonel tensör çarpımı (injective tensor product) olarak adlandırılır.

Bir Banach uzayı $E$'den bir Banach uzayı $F$'ye giden sınırlı bir doğrusal $T : E \to F$ operatörünün, $e \in E$ ve $y^* \in F^*$ için $\tau(e, y^*) = y^*(Te)$ şeklinde tanımlanan $E \times F^*$ üzerindeki $\tau$ bilineer formu, $E$ ve $F^*$ Banach uzaylarının enjeksiyonel tensör çarpımı $E \hat{\otimes}_\epsilon F^*$'ın duali olan $(E \hat{\otimes}_\epsilon F^*)^*$ uzayının bir elemanını belirliyorsa, bir integral operatör olduğu söylenir. $T$'nin $\|T\|_{\text{int}}$ ile göstereceğimiz integral normu, dual uzay $(E \hat{\otimes}_\epsilon F^*)^*$'ın bir elemanı olarak $\tau$ tarafından indüklenen sınırlı doğrusal fonksiyonelin normudur. Dolayısıyla, eğer $T : E \to F$ bir integral operatör ise, o zaman: $$ \|T\|_{\text{int}} = \sup \left\{ \left| \sum_{i=1}^n y^*_i(T e_i) \right| \ : \ \left\| \sum_{i=1}^n e_i \otimes y_i^* \right\|_\epsilon \le 1 \right\} $$ olur.

Son olarak, $I(E, F)$ ile integral normu ile donatılmış $E$'den $F$'ye tüm integral operatörlerin Banach uzayını göstereceğiz. Tanımlanmamış tüm kavram ve gösterimler için okuyucunun [3], [4] veya [5]'e başvurmasını öneririz.

İki Banach uzayı $E$ ve $F$ arasındaki bir integral operatör $T$'nin incelenmesindeki en yararlı araçlardan biri, onun, zayıf$^*$-topolojileri ile donatılmış $E^*$ ve $F^{**}$'ın kapalı birim yuvarlarının çarpımı olan kompakt $B(E^*) \times B(F^{**})$ üzerinde tanımlı bir sınırlı regüler Borel skaler ölçüsü ile temsil edilmesidir. Bu durum elbette Grothendieck'e [6] kadar uzanır ve integral operatörleri, ana sonucu kanıtlamadan önce ifade edip kanıtlayacağımız aşağıdaki karakterizasyon ile karakterize etmek için kullanılabilir.

Önerme 1. İki Banach uzayı arasındaki sınırlı doğrusal bir $T : E \to F$ operatörü, ancak ve even if $B(E^*)$ kapalı birim yuvarının Borel alt kümelerinin $\sigma$-algebrası üzerinde tanımlı, sınırlı değişimli regüler bir $F^{**}$-değerli $m$ vektör ölçüsü mevcutsa ve her $e \in E$ için: $$ Te = \int_{B(E^*)} e^*(e) dm(e^*) $$ koşulunu sağlıyorsa bir integral operatördür. Bu durumda $m$ ölçüsü $\|T\|_{\text{int}} = |m|(B(E^*))$ olacak şekilde seçilebilir.

Kanıt. $B(E^*)$'ın Borel alt kümelerinin $\sigma$-algebrası üzerinde tanımlı, $|m|(B(E^*)) < \infty$ koşulunu sağlayan ve her $e \in E$ için: $$ Te = \int_{B(E^*)} e^*(e) dm(e^*) $$ koşulunu gerçekleyen regüler bir $F^{**}$-değerli $m$ vektör ölçüsünün var olduğunu varsayalım.

Bu durum özel olarak, $J$ ifadesi $F$'den $F^{**}$'a giden doğal gömmeyi göstermek üzere, $J \circ T : E \to F^{**}$ operatörünün, $C(B(E^*))$'dan $F^{**}$'a giden bir integral operatör olan $\hat{T}$'ye bir genişlemesinin olduğunu gösterir. Dolayısıyla $T$ bir integral operatördür [4, sayfa 233] ve: $$ \|T\|_{\text{int}} \le \|\hat{T}\|_{\text{int}} = |m|(B(E^*)) $$ olur.

Aksine, $T : E \to F$ operatörünün bir integral operatör olduğunu varsayalım, o halde [4, sayfa 231] uyarınca $B(E^*) \times B(F^{**})$ üzerinde her $e \in E$ ve $y^* \in F^*$ için şunu sağlayan regüler bir Borel $\mu$ ölçüsü mevcuttur: $$ \langle y^*, Te \rangle = \int_{B(E^*) \times B(F^{**})} e^*(e) y^{**}(y^*) d\mu(e^*, y^{**}) $$ ve: $$ \|T\|_{\text{int}} = |\mu|(B(E^*) \times B(F^{**})). $$

[4, sayfa 234]'ü takip ederek, şunları tanımlayalım: $$ S : E \to L_\infty(\mu), \quad Se(e^*, y^{**}) = e^*(e) $$ ve: $$ R : F^* \to L_\infty(\mu), \quad R y^*(e^*, y^{**}) = y^{**}(y^*). $$

O halde $S$ ve $R$, $\|S\|, \|R\| \le 1$ koşulunu sağlayan sınırlı doğrusal operatörlerdir. $Q$, $R^*$'ın $L_1(\mu)$'e kısıtlanışı olsun, o halde $Q$, $L_1(\mu)$'den $F^{**}$'a giden sınırlı bir doğrusal operatördür. $I : L_\infty(\mu) \to L_1(\mu)$ doğal içerme (inclusion) ve $J : F \to F^{**}$ doğal gömme olmak üzere, hemen $J \circ T = Q \circ I \circ S$ olduğu görülür. Bu durum özel olarak, $C(B(E^*) \times B(F^{**}))$'a kısıtlanmış $Q \circ I$ operatörünün, temsilci $F^{**}$-değerli ölçüsü $\hat{u}$ her Borel alt kümesi $C \subset B(E^*) \times B(F^{**})$ için, $$ \hat{\mu}(C) = Q(1_C) $$ koşulunu sağlayan bir integral operatör olduğunu gösterir. Son olarak, $B(E^*) \times B(F^{**})$'nin $B(E^*)$ üzerine olan doğal izdüşümü sürekli bir dönüşüm olduğundan, $C(B(E^*))$'dan $C(B(E^*) \times B(F^{**}))$'ye şu şekilde sınırlı bir doğrusal operatör indüklediğine dikkat ediniz: $\phi \in C(B(E^*))$ için, $\hat{\phi} \in C(B(E^*) \times B(F^{**}))$ ifadesi, $$ \hat{\phi}(e^*, y^{**}) = \phi(e^*) $$ olacak şekilde tanımlansın.

Bu elbette $J \circ T$ operatörünün şu şekilde tanımlanan bir integral operatöre genişlediğini gösterir: $$ \hat{T} : C(B(E^*)) \to F^{**} $$ öyle ki her $\phi \in C(B(E^*))$ için: $$ \hat{T} \phi = Q \circ I (\hat{\phi}) $$ olur. Hemen görülür ki, $\hat{T}$'yi temsil eden $F^{**}$-değerli $m$ ölçüsü, $$ m(B) = Q(1_{B \times B(F^{**})}) $$ ve: $$ |m|(B(E^*)) \le |\mu|(B(E^*) \times B(F^{**})) = \|T\|_{\text{int}} $$ koşullarını sağlar.

$\hat{T}$ operatörü $T$'yi genişlettiğinden, şu sonuç elde edilir: $$ \|T\|_{\text{int}} = |m|(B(E^*)). \quad \square $$

Ana Sonuç

Bu bölüm boyunca $X$ bir kompakt Hausdorff uzayı, $E$ ve $F$ Banach uzayları ve $T : C(X, E) \to F$, temsilci ölçüsü $G$ olan sınırlı bir doğrusal operatördür. Bu makalenin ana sonucu, integral olan $T$ operatörlerinin $G$'nin bazı özellikleri cinsinden bir karakterizasyonunu vermektedir. Böyle bir karakterizasyona ulaşmanın ilk adımı, eğer $T$, $C(X, E)$ üzerinde bir integral operatör ise, $T$ operatörünü $(C(X, E))^*$'ın tüm birim yuvarı yerine $X \times B(E^*)$'ın Borel alt kümelerinin $\sigma$-algebrası üzerinde tanımlı sınırlı değişimli regüler bir $F^{**}$-değerli ölçü ile temsil ederek Önerme 1'den biraz daha iyi bir sonuç elde edilebileceğini göstermektir. Burada sunduğumuz kanıt, [7]'deki sonucumuza dayanan önceki kanıtımızdan farklıdır. Aşağıdaki yaklaşımı öneren ve [4] veya [5]'te bulunabilen vektör ölçülerinin temel bilgilerine ve klasik sonuçlarına daha çok dayanan bu yaklaşımı önerdiği için hakeme teşekkür ederiz.

Lemma 2. Eğer $T : C(X, E) \to F$ bir integral operatör ise, o zaman $X \times B(E^*)$'ın Borel alt kümelerinin $\sigma$-algebrası üzerinde tanımlı, sınırlı değişimli regüler bir $F^{**}$-değerli $\theta$ ölçüsü mevcuttur öyle ki, her $f \in C(X, E)$ ve $y^* \in F^*$ için: $$ \langle y^*, T f \rangle = \int_{X \times B(E^*)} e^*(f(x)) d\theta(x, e^*) $$ ve: $$ \|T\|_{\text{int}} = |\theta|(X \times B(E^*)) $$ koşulları sağlanır.

Kanıt. $T : C(X, E) \to F$ operatörünün bir integral operatör olduğunu varsayalım, o halde $f \in C(X, E)$ and $y^* \in F^*$ için $\tau(f, y^*) = y^*(T(f))$ şeklinde tanımlanan bilineer dönüşüm, $(C(X, E) \otimes_\epsilon F^*)^*$ dual uzayının bir elemanını tanımlar. $C(X, E) \otimes_\epsilon F^*$'ın, $C(X \times B(E^*) \times B(F^{**}))$ içine izometrik olarak gömüldüğünü kontrol etmek kolaydır, öyle ki $f \in C(X, E)$ ve $y^* \in F^*$ ise: $$ f \otimes y^*(x, e^*, y^{**}) = e^*(f(x)) y^{**}(y^*) $$ her $(x, e^*, y^{**}) \in \Omega = X \times B(E^*) \times B(F^{**})$ için sağlanır. Dolayısıyla Hahn-Banach teoremi uyarınca $\Omega$ üzerinde regüler bir Borel $\mu$ ölçüsü mevcuttur öyle ki, her $f \in C(X, E)$ ve $y^* \in F^*$ için: $$ \langle y^*, Tf \rangle = \int_\Omega e^*(f(x)) y^{**}(y^*) d\mu (x, e^*, y^{**}) $$ ve: $$ \|T\|_{\text{int}} = |\mu|(\Omega) $$ olur.

Kanıt şimdi Önerme 1'in adımlarını takip eder. Gerçekten, $\Omega$'nın $X \times B(E^*)$ üzerine olan doğal izdüşümü sürekli olduğundan, şu şekilde sınırlı bir doğrusal operatör indükler: $$ S : C(X \times B(E^*)) \to L_\infty(\mu) $$ öyle ki eğer $\phi \in C(X \times B(E^*))$ ise: $$ S(\phi)(x, e^*, y^{**}) = \phi(x, e^*) $$ tüm $(x, e^*, y^{**}) \in \Omega$ için sağlanır.

$R : F^* \to L_\infty(\mu)$ operatörü $R(y^*)(x, e^*, y^{**}) = y^{**}(y^*)$ şeklinde tanımlansın ve $Q$, $R^*$'ın $L_1(\mu)$'e kısıtlanışı olsun. $Q \circ I \circ S$ operatörünün, temsilci ölçüsü $\theta$, her Borel alt kümesi $C \subset X \times B(E^*)$ için, $$ \theta(C) = Q(1_{C \times B(F^{**})}) $$ koşulunu sağlayan ve: $$ |\theta|(X \times B(E^*)) \le |\mu|(\Omega) = \|T\|_{\text{int}} $$ olan bir integral operatör olduğunu kontrol etmek doğrudan bir işlemdir.

Dahası, $C(X, E)$'nin $C(X \times B(E^*))$ içine şu şekilde izometrik olarak gömüldüğüne dikkat ediniz: her $f \in C(X, E)$ ve $(x, e^*) \in X \times B(E^*)$ için, $$ f(x, e^*) = e^*(f(x)) $$ olur. Her $f \in C(X, E)$ için: $$ J \circ T (f) = Q \circ I \circ S (f) $$ olduğunu görmek kolaydır, dolayısıyla: $$ T(f) = \int_{X \times B(E^*)} e^*(f(x)) d\theta(x, e^*) $$ ve: $$ \|T\|_{\text{int}} \le \|Q \circ I \circ S\|_{\text{int}} \le |\theta|(X \times B(E^*)) $$ elde edilir. Bu durum Lemma 2'nin kanıtını tamamlar. $\quad \square$

Şimdi bu makalenin ana sonucunu ifade edip kanıtlamaya hazırız.

Teorem 3. $X$ bir kompakt Hausdorff uzayı, $E$ ve $F$ Banach uzayları ve $T : C(X, E) \to F$, temsilci ölçüsü $G$ olan sınırlı bir doğrusal operatör olsun. O halde $T$ bir integral operatördür ancak ve ancak $X$'in her Borel alt kümesi $B$ için, $G(B) : E \to F$ operatörü integral ise ve $G$ ölçüsü, integral normu ile donatılmış $I(E, F)$ uzayında değerler alan bir vektör ölçüsü olarak sınırlı değişime sahipse.

Kanıt. $T : C(X, E) \to F$ operatörünün bir integral operatör olduğunu varsayalım. $G$, $T$ operatörünü temsil eden vektör ölçüsünü göstersin, dolayısıyla $X$'in her Borel alt kümesi $B$ ve her $e \in E$ için: $$ G(B)e = T^{**}(1_B \otimes e) $$ olur. Bu aşamada, $T^{**}$ operatörü de integral olduğundan [4, s. 236], $X$'in her Borel alt kümesi $B$ için $G(B) : E \to F$ operatörünün, $T^{**}$ ile her $e \in E$ elemanına $1_B \otimes e$ elemanını atayan sınırlı doğrusal $E \to C(X, E)^{**}$ operatörünün bileşkesi olarak bir integral operatör olduğu açıktır.

Aşağıda $\|G(B)\|_{\text{int}}$ değerini tahmin etmeye odaklanacağız. Bunun için, Lemma 2 uyarınca, $X \times B(E^*)$'ın Borel alt kümesi olan $\sigma$-algebra üzerinde tanımlı, her $f \in C(X, E)$ için: $$ T(f) = \int_{X \times B(E^*)} e^*(f(x)) d\theta(x, e^*) $$ ve: $$ \|T\|_{\text{int}} = |\theta|(X \times B(E^*)) $$ koşullarını sağlayan regüler bir $F^{**}$-değerli $\theta$ ölçüsünün var olduğuna dikkat ediniz.

Buradan, her $y^* \in F^*$ ve $f \in C(X, E)$ için: $$ \langle T^*y^*, f \rangle = \int_{X \times B(E^*)} e^*(f(x)) d\theta_{y^*}(x, e^*) $$ yazılır; burada $\theta_{y^*}$, $X \times B(E^*)$ üzerinde her Borel alt kümesi $C$ için, $$ \theta_{y^*}(C) = \theta(C)(y^*) $$ şeklinde tanımlanan skaler ölçüdür.

$X$'in her Borel alt kümesi $B$ ve her $e \in E$ için: $$ G(B)e = \int_{B \times B(E^*)} e^*(e) d\theta(x, e^*) \tag{*} $$ olduğunu iddia ediyoruz.

Bunun için, $y^* \in F^*$ olduğunu ve $K$'nın $X$'in kompakt bir $G_\delta$ alt kümesi olduğunu varsayalım. Her $n \ge 1$ için $0 \le u_n \le 1$ olan ve $u_n$ fonksiyon dizisi $1_K$'ya noktasal yakınsayan sürekli reel değerli fonksiyonların bir dizisi $(u_n)_{n \ge 1}$ olsun. Eğer $e \in E$ ise, o zaman: $$ \begin{aligned} \langle G(K)e, y^*\rangle &= \langle e, G_{y^*}\rangle(K) \\ &= \lim_{n \to \infty} \langle y^*, T(u_n \otimes e)\rangle \\ &= \lim_{n \to \infty} \int_{X \times B(E^*)} u_n(x) e^*(e) d\theta_{y^*}(x, e^*) \\ &= \int_{X \times B(E^*)} 1_K(x) e^*(e) d\theta_{y^*}(x, e^*) \\ &= \int_{K \times B(E^*)} e^*(e) d\theta_{y^*}(x, e^*) \end{aligned} $$ olur. Dolayısıyla: $$ G(K) e = \int_{K \times B(E^*)} e^*(e) d\theta(x, e^*) $$ elde edilir.

Dahası, her $y^* \in F^*$ için $E^*$-değerli $G_{y^*}$ vektör ölçüsü regüler olduğundan, $X$'in tüm Borel alt kümeleri $B$ için: $$ G(B) e = \int_{B \times B(E^*)} e^*(e) d\theta (x, e^*) $$ olduğu sonucu çıkar. Bu durum iddiamızı kanıtlar.

Eğer $p : X \times B(E^*) \to E^*$ ile her $(x, e^*) \in X \times B(E^*)$ elemanına $B(E^*)$ içindeki $e^*$ elemanını atayan izdüşüm dönüşümünü gösterirsek, o zaman $X$'in her Borel alt kümesi $B$ için, $\lambda_B$ ile $B(E^*)$'ın Borel alt kümelerinin $\sigma$-algebrası üzerinde şu şekilde tanımlanan regüler $F^{**}$-değerli ölçüyü gösterelim: $B(E^*)$'ın her Borel alt kümesi $V$ için, $$ \lambda_B(V) = \theta(B \times V) $$ olsun.

Bir başka deyişle $\lambda_B = \theta|_{B \times B(E^*)} \circ p^{-1}$ olup, bu $\theta$'nın $B \times B(E^*)$'a kısıtlanışının $p$ vasıtasıyla görüntü ölçüsüdür (image measure). Bu durum, her $e \in E$ için şunu gerektirir: $$ \int_{B(E^*)} e^*(e) d\lambda_B(e^*) = \int_{B \times B(E^*)} e^*(e) d\theta(x, e^*). \tag{**} $$

($$) ve ($*$) denklemleri, $\lambda_B$ ölçüsünün $G(B) : E \to F$ operatörünü temsil eden regüler bir $F^{**}$-değerli ölçü olduğunu gösterir. Böylece Önerme 1 uyarınca: $$ \|G(B)\|_{\text{int}} \le |\lambda_B|(B(E^*)) = |\theta|(B \times B(E^*)) $$ ve dolayısıyla: $$ \|G(B)\|_{\text{int}} \le |\theta|(B \times B(E^*)) \tag{$\dagger$} $$ elde edilir.

Böylece $T$ operatörünü temsil eden $G$ vektör ölçüsü değerlerini $I(E, F)$ içinde alır ve ($\dagger$) eşitsizliğinden şu sonuç çıkar: $$ |G|_{\text{int}}(X) \le |\theta|(X \times B(E^*)). $$

Burada elbette $|G|_{\text{int}}(X) = \sup \sum_{B_i \in \pi} \|G(B_i)\|_{\text{int}}$ olup, supremum $X$'in Borel alt kümelerine olan tüm sonlu $\pi$ bölüntüleri (partitions) üzerinden alınır.

Aksine, $T : C(X, E) \to F$ operatörünün, $G : \Sigma \to I(E, F)$ ve $|G|_{\text{int}}(X) < \infty$ koşullarını sağladığını varsayalım. $T$'nin bir integral operatör olduğunu göstermemiz gerekir. Bunun için, $J$, $F$'den $F^{**}$'a giden doğal gömmeyi göstermek üzere, [4, s. 233] uyarınca $J \circ T : C(X, E) \to F^{**}$ operatörünün bir integral operatör olduğunu göstermek yeterlidir. $J$ dönüşümü, her $U \in I(E, F)$ için şu şekilde tanımlanan bir $\hat{J} : I(E, F) \to I(E, F^{**})$ dönüşümü indükler: $$ \hat{J}(U) = J \circ U. $$

Bu da tüm $B \in \Sigma$ için: $$ \hat{G}(B) = \hat{J}(G(B)) $$ olacak şekilde bir $\hat{G} : \Sigma \to I(E, F^{**})$ vektör ölçüsü indükler. $\hat{G}$'nin, $J \circ T$ operatörünü temsil eden ölçü olduğu hemen görülür. $|G|_{\text{int}}(X) < \infty$ olduğundan, kolayca $|\hat{G}|_{\text{int}}(X) < \infty$ elde edilir. Dahası, $I(E, F^{**})$ uzayı enjeksiyonel tensör çarpımı $E \hat{\otimes}_\epsilon F^*$'ın dual uzayına izometrik olduğundan [4, s. 237], $\hat{G}$'nin, dual uzay $(E \hat{\otimes}_\epsilon F^*)^*$ içinde değerler alan sınırlı değişimli bir vektör ölçüsü olduğu sonucu çıkar. $|\hat{G}|_{\text{int}}(X) < \infty$ olduğundan, [4, sayfa 7] uyarınca $\hat{G}$ strongly additive (kuvvetli toplayan) bir ölçüdür. Her $e \in E$ and $y^* \in F^*$ için, skaler $\langle e, G_{y^*} \rangle$ ölçüsünün $M(X)$ içinde olduğunu hatırlayınız. Dolayısıyla, $u = \sum_{i=1}^n e_i \otimes y^*_i \in E \hat{\otimes}_\epsilon F^*$ için, $\langle u, \hat{G} \rangle$ skaler ölçüsü $X$ üzerinde şu şekilde tanımlansın: her Borel alt kümesi $B \subset X$ için, $$ \begin{aligned} \langle u, \hat{G} \rangle (B) &= \hat{G}(B)(u) \\ &= \sum_{i=1}^n \langle G(B) e_i, y_i^* \rangle \\ &= \sum_{i=1}^n \langle e_i, G_{y_i^*} \rangle (B) \end{aligned} $$ olsun.

Bu durum, her $u \in E \hat{\otimes}_\epsilon F^*$ için $\langle u, \hat{G} \rangle \in M(X)$ olmasını gerektirir. Bu durum özel olarak, $\hat{G} : \Sigma \to (E \hat{\otimes}_\epsilon F^*)^*$ ölçüsünün, $(E \hat{\otimes}_\epsilon F^*)^*$ üzerindeki zayıf$^*$ topolojiye göre sayılabilir toplayan (countably additive) olduğunu gösterir. $\hat{G}$ strongly additive olduğundan, $G$'nin sayılabilir toplayan olduğu kolayca çıkar. Son olarak, $\hat{G}$ zayıf$^*$ regüler olduğundan, [4, sayfa 157]'ye bir bakış onun aynı zamanda regüler olduğunu gösterir.

Buradan $\hat{G}$'nin $C(X, E \hat{\otimes}_\epsilon F^*)^*$ dual uzayının bir elemanını tanımladığı sonucu çıkar, dolayısıyla [5, sayfa 269] uyarınca, her $x \in X$ için $\|h(x)\|_{\text{int}} = 1$ $|\hat{G}|_{\text{int}}$-h.h.yerde, $\hat{G} = h |\hat{G}|_{\text{int}}$ koşullarını sağlayan ve her $f \in C(X, E \hat{\otimes}_\epsilon F^*)$ için: $$ \langle f, \hat{G} \rangle = \int_X \langle f(x), h(x) \rangle d|\hat{G}|_{\text{int}}(x) $$ olacak şekilde bir zayıf$^*$ $|\hat{G}|_{\text{int}}$-integrallenebilir: $$ h : X \to I(E, F^{**}) \simeq (E \hat{\otimes}_\epsilon F^*)^* $$ fonksiyonu mevcuttur.

Özel olarak, eğer $\phi \in C(X, E)$ ve $y^* \in F^*$ ise, $f = \phi \otimes y^*$ ifadesi her $x \in X$ için, $$ \phi \otimes y^*(x) = \phi(x) \otimes y^* $$ şeklinde tanımlanan $C(X, E \hat{\otimes}_\epsilon F^*)$ elemanı olsun, o halde: $$ \langle \phi \otimes y^*, \hat{G} \rangle = \int_X y^* \langle h(x), \phi(x) \rangle d|\hat{G}|_{\text{int}}(x) $$ olur.

Fakat aynı zamanda şuna da sahibiz: $$ \langle J \circ T\phi, y^* \rangle = \langle \phi, \hat{G}_{y^*} \rangle \tag{***} $$ burada $\hat{G}_{y^*}$, her Borel alt kümesi $B \subset X$ için, $$ \hat{G}_{y^*}(B) = y^*(\hat{G}(B)) = y^*(G(B)) $$ koşulunu sağlayan $M(X, E^*)$ elemanıdır.

Böylece $\hat{G} = h |\hat{G}|_{\text{int}}$ olduğundan, $X$'in her Borel alt kümesi $B$ için: $$ \hat{G}_{y^*}(B) = \int_B y^* h(x) d|\hat{G}|_{\text{int}}(x) $$ sonucu çıkar. Bu durum, her $\phi \in C(X, E)$ için: $$ \langle \phi, \hat{G}_{y^*} \rangle = \int_X y^* \langle h(x), \phi(x) \rangle d|\hat{G}|_{\text{int}}(x) \tag{****} $$ olmasını gerektirir.

Böylece, eğer $\sum_{i=1}^n \phi_i \otimes y^*_i$, $C(X, E) \otimes_\epsilon F^*$ içinde ve $\left\| \sum_{i=1}^n \phi_i \otimes y^*_i \right\|_\epsilon \le 1$ ise, o zaman her $x \in X$ için: $$ \left| \left\langle h(x), \sum_{i=1}^n \phi_i(x) \otimes y^*_i \right\rangle \right| \le \|h(x)\|_{\text{int}} $$ olur, çünkü: $$ \left\| \sum_{i=1}^n \phi_i(x) \otimes y_i^* \right\|_\epsilon \le \left\| \sum_{i=1}^n \phi_i \otimes y^*_i \right\|_\epsilon \le 1 $$ sağlanır. Buradan ($***$) ve ($****$) ifadeleri uyarınca: $$ \left\| \sum_{i=1}^n \langle T\phi_i, y_i^* \rangle \right\| \le |\hat{G}|_{\text{int}}(X) < \infty $$ elde edilir. Dolayısıyla $J \circ T$, $I(C(X, E), F^{**})$'ın bir elemanıdır ve bu da $T \in I(C(X, E), F)$ olmasını gerektirir. Bu durum kanıtı tamamlar. $\quad \square$

Uygulamalar

$C(X, E)$ uzayları üzerindeki integral operatörlerin incelenmesi, $C(X, E)$ uzayları üzerindeki nükleer operatörlerle ilgili olarak [8]'de ortaya çıkan bazı problemlerden kaynaklanmıştır. İki Banach uzayı $Y$ ve $Z$ arasındaki bir $T$ operatörünün, eğer $Y^*$ ve $Z$ içinde sırasıyla $\sum_n \|y_n^*\| \|z_n\| < \infty$ koşulunu sağlayan ve her $y \in Y$ için: $$ Ty = \sum_n y_n^*(y) z_n $$ olacak şekilde $(y^*_n)$ ve $(z_n)$ dizileri mevcutsa bir nükleer operatör olduğu hatırda tutulmalıdır.

Nükleer norm şu şekilde tanımlanır: $$ \underline{S}T\|_{\text{nuc}} = \inf \left\{ \sum_n \|y_n^*\| \|z_n\| \right\} $$ burada infimum, her $y \in Y$ için $Ty = \sum_n y_n^*(y)z_n$ koşulunu sağlayan tüm $(y_n^*)$ ve $(z_n)$ dizileri üzerinden alınır. $N(Y, Z)$ ile nükleer norm altındaki $Y$'den $Z$'ye tüm nükleer operatörlerin uzayını göstereceğiz.

$C(X, E)$ uzayları üzerindeki nükleer operatörlerin incelenmesi ilk olarak, skaler durumdaki bilinen bazı sonuçların genişletildiği [1]'de başlatılmıştır. $C(X, E)$ uzayları üzerindeki nükleer operatörler [2]'de de ele alınmış ve burada, eğer $T : C(X, E) \to F$ bir nükleer operatör ise, $X$'in her Borel alt kümesi $B$ için $G(B) : E \to F$ operatörünün nükleer olduğu gösterilmiştir. [8]'de ise, bir nükleer operatörün temsilci ölçüsü $G$'nin aslında değerlerini $N(E, F)$ içinde alan bir vektör ölçüsü olarak sınırlı değişime sahip olduğu gösterilmiştir. Dolayısıyla yukarıda bilinen tüm sonuçlar şu şekilde özetlenebilir:

Önerme 4. $X$ bir kompakt Hausdorff uzayı ve $E$ ve $F$ iki Banach uzayı olsun. Eğer $T$, temsilci ölçüsü $G$ olan $C(X, E)$'den $F$ içine giden bir nükleer operatör ise:

Kolay örnekler, yukarıdaki (i) ve (ii) koşullarının $C(X, E)$ uzayları üzerindeki nükleer operatörleri karakterize etmediğini göstermektedir. Aslında, [8]'de gösterildiği üzere, değer kümesi $F$ Banach uzayı Radon-Nikodym özelliğine (RNP) (bkz. [4]) sahip olmadığında hemen karşı örnekler verilebilmektedir. Bu durumda ortaya çıkan ilginç soru şudur:

Soru 5. $F$ uzayının (RNP) özelliğine sahip olduğunu ve $T : C(X, E) \to F$ operatörünün temsilci ölçüsü $G$'nin Önerme 4'ün (i) ve (ii) koşullarını sağladığını varsayalım, o halde $T$ bir nükleer operatör müdür?

Aşağıda, Teorem 3'ün, $F$ uzayının biduali içinde tümlenmiş (complemented) olduğunun varsayılması durumunda Soru 5'e nasıl olumlu bir cevap vermek için kullanılabileceğini göstereceğiz.

Teorem 6. $F$, Radon-Nikodym özelliğine sahip bir Banach uzayı olsun ve $F$'nin kendi biduali içinde tümlenmiş olduğunu varsayalım. Sınırlı doğrusal bir $T : C(X, E) \to F$ operatörü, onu temsil eden $G$ vektör ölçüsü aşağıdaki koşulları sağladığında nükleerdir:

Kanıt. İlk olarak, keyfi bir $F$ Banach uzayı için $N(E, F)$ içindeki herhangi bir $U$ elemanının, $\|U\|_{\text{int}} \le \|U\|_{\text{nuc}}$ koşuluyla $I(E, F)$ içinde olduğuna dikkat ediniz. Dolayısıyla Teorem 3 uyarınca, yukarıdaki (i) ve (ii) koşullarını sağlayan bir $T : C(X, E) \to F$ operatörü gerçekten integraldir. Bu nedenle, ek olarak $F$'nin kendi biduali $F^{**}$ içinde tümlenmiş olduğunu varsaydığımızda, $T$ operatörü Pietsch integral (ayrıca kesin integral / strictly integral olarak da adlandırılır) haline gelir, bkz. [4, s. 235]. Bu koşullar altında ve eğer $F$'nin Radon-Nikodym özelliğine sahip olduğu varsayılırsa, $T$'nin bir nükleer operatör haline geldiği iyi bilinmektedir [4, s. 175]. Bu durum kanıtı tamamlar. $\quad \square$

Açıklama. Gördüğümüz gibi, Teorem 6 bu makalenin ana sonucunun doğrudan bir uygulamasıdır. Teorem 6'nın, $F$ bir dual uzay olduğunda ve $F$ bir Banach kafesi (Banach lattice) olduğunda Soru 5'e olumlu bir cevap verdiği belirtilmelidir.

Kaynakça