VEKTÖREL İNTEGRALLER Mine IŞIN YÜKSEK LİSANS TEZİ

advertisement
VEKTÖREL İNTEGRALLER
Mine IŞIN
YÜKSEK LİSANS TEZİ
MATEMATİK
GAZİ ÜNİVERSİTESİ
FEN BİLİMLERİ ENSTİTÜSÜ
TEMMUZ 2013
ANKARA
Mine IŞIN tarafından hazırlanan
VEKTÖREL İNTEGRALLER adlı bu tezin
Yüksek Lisans tezi olarak uygun olduğunu onaylarım.
Doç. Dr. Cüneyt ÇEVİK
…………………………………………
Tez Danışmanı, Matematik Anabilim Dalı
Bu çalışma, jürimiz tarafından oy birliği ile Matematik Anabilim Dalında Yüksek
Lisans tezi olarak kabul edilmiştir.
Prof. Dr. Bahri TURAN
…………………………………………
Matematik Anabilim Dalı, Gazi Üniversitesi
Doç. Dr. Cüneyt ÇEVİK
…………………………………………
Matematik Anabilim Dalı, Gazi Üniversitesi
Doç. Dr. İbrahim BÜYÜKYAZICI
…………………………………………
Matematik Anabilim Dalı, Ankara Üniversitesi
Tez Savunma Tarihi: 10 / 07 / 2013
Bu tez ile G.Ü. Fen Bilimleri Enstitüsü Yönetim Kurulu Yüksek Lisans derecesini
onamıştır.
Prof. Dr. Şeref SAĞIROĞLU
Fen Bilimleri Enstitüsü Müdürü
…………………………………………
iii
TEZ BİLDİRİMİ
Tez içindeki bütün bilgilerin etik davranış ve akademik kurallar çerçevesinde elde
edilerek sunulduğunu, ayrıca tez yazım kurallarına uygun olarak hazırlanan bu
çalışmada bana ait olmayan her türlü ifade ve bilginin kaynağına eksiksiz atıf
yapıldığını bildiririm.
Mine IŞIN
iv
VEKTÖREL İNTEGRALLER
(Yüksek Lisans Tezi)
Mine IŞIN
GAZİ ÜNİVERSİTESİ
FEN BİLİMLERİ ENSTİTÜSÜ
Temmuz 2013
ÖZET
Bu tezin amacı fonksiyonun veya integralin vektör değerli olduğu durumdaki
integral çeşitlerini açıklamaktır. Bochner integrallenebilir fonksiyonlar,
Kluvanek-Lewis tipi integrallenebilir fonksiyonlar ve daha genel olarak tensör
integrallenebilir
fonksiyonlar
ve
bunların
uzayları
ile
ilgili
teoriler
incelenmiştir. Bu uzaylarda vektör ölçü teorisindeki bazı temel teoremler
verilmiştir.
Bilim Kodu
: 204.1.095
Anahtar Kelimeler : Vektör ölçüsü, Banach lattice, Bochner integrali,
Bartle-Dunford-Pettis integrali, Tensör integrali
Sayfa Adedi
: 59
Tez Yöneticisi
: Doç. Dr. Cüneyt ÇEVİK
v
VECTORIAL INTEGRATIONS
(M.Sc. Thesis)
Mine IŞIN
GAZİ UNIVERSITY
GRADUATE SCHOOL OF NATURAL AND APPLIED SCIENCES
July 2013
ABSTRACT
The aim of the thesis is to clarify the types of integral being on value of vector of
integral or function. Bochner integrable functions, the functions of KluvanekLewis type and more generally tensor integrable functions and the theories
related to spaces of these were analized. Some main theorems in vector
measuring theory on these spaces were made clear.
Science Code
: 204.1.095
Key Words
: Vector measure, Banach lattice, Bochner integral,
Bartle-Dunford-Pettis integral, Tensör integral
Page Number
: 59
Adviser
: Assoc. Prof. Dr. Cüneyt ÇEVİK
vi
TEŞEKKÜR
Çalışmalarım boyunca yardım ve katkılarıyla beni yönlendiren, kaynaklarla
destekleyen ve değerli zamanlarını bana ayıran sayın hocam Doç. Dr. Cüneyt
ÇEVİK’e ve destekleriyle beni hiç yalnız bırakmayan anneme, babama ve eşim
Mehmet IŞIN’a teşekkürü bir borç bilirim.
vii
İÇİNDEKİLER
Sayfa
ÖZET……………………………………………………………………….........
iv
ABSTRACT………………………………………………………………….......
v
TEŞEKKÜR……………………………………………………………………… vi
İÇİNDEKİLER…………………………………………………………………… vii
1. GİRİŞ………………………………………………….…………………........
1
2. TEMEL KAVRAMLAR………………………………………………………
3
2.1. Riesz Uzayları ve Banach Örgüleri……………………………………....
3
2.2. Reel Değerli Fonksiyonların Reel Değerli Ölçüye göre İntegrali……….
5
2.3. İşaret ve Kompleks Ölçüsü…………………………………………….....
10
3. İNTEGRAL ÇEŞİTLERİ………………………………………………….......
16
3.1. Vektör Ölçüleri………………………………………………………..….
16
3.2. Reel Değerli Fonksiyonların Vektör Değerli Ölçüye göre İntegrali……..
20
3.3. Vektör Değerli Fonksiyonların Reel Değerli Ölçüye göre İntegrali……..
28
4. TENSÖR İNTEGRALLENEBİLİR FONKSİYONLAR….………………….. 44
4.1. Tensör Çarpımları………………………………………………………… 44
4.2. Vektör Değerli Fonksiyonların Vektör Değerli Ölçüye göre İntegrali…..
47
5. SONUÇ VE ÖNERİLER……………………………………………………… 57
KAYNAKLAR…………………………………………………………………... 58
ÖZGEÇMİŞ……………………………………………………………………… 59
1
1. GİRİŞ
Radon-Nikodym Teoremi Johann Radon tarafından 1913 yılında özel durum olarak
 n uzayında ispatlanmıştır ve Otto Nikodym 1930 yılında bu teoremi genel olarak
ispatlamıştır. Riesz uzayı teorisinde bu teorem bir sonuç olarak alınır.
2001 yılında Stefansson çalıştığımız konuyla ilgili olan “Vektör uzaylarında integral”
adında makale çıkardı. Bu makalede vektör değerli fonksiyonların vektör değerli
ölçüye göre integral tanımı yapılıp bu integralin özellikleri çalışıldı. Bu integrali
Stefansson tensör integrali olarak adlandırmıştır ve tensör integrallenebilir fonksiyonların uzayını L 1 (v,X,Y) ile göstermiştir.
2007 yılında Chakraborty ve Santwana, Stefansson’ın makalesinin devamı olan
“Tensör integrallenebilir fonksiyonlar uzayının özellikleri” adı altında makale çıkarmışlardır. Bu makalelerinde bizim de dördüncü bölümde bahsettiğimiz L1 ( v, X , Y )
uzayının sıra sürekli Banach örgüsü olduğunu göstermişlerdir.
Genel olarak bizim çalışmamız, fonksiyonun veya integralin vektör değerli olduğu
durumdaki integral çeşitleri üzerinedir. Bu integral çeşidi için farklı integral
çeşitlerini ele alıp inceledikten sonra bazı özelliklerini vermeyi amaçladık. Ayrıca
fonksiyonun değer uzayı Banach uzayı iken Radon-Nikodym Teoremini sağladığında
fonksiyonun
Radon-Nikodym
özelliğine
sahip
olduğu
da
bu
çalışmamız
içerisindedir.
İkinci bölümde tezin daha iyi anlaşılması için gerekli altyapıyı kurduk. Riesz
uzayları ve Banach örgüleri ile ilgili temel kavramları ve bazı özellikleri hatırlattık.
Daha sonra Lebesgue integralini açıkladık. Lebesgue integralin uzayının ve esas
sınırlı fonksiyonlar uzayının Banach uzayı olduğunu belirttik. Ölçü teorisi ile ilgili
hatırlatmalar yaptıktan sonra da işaretli ve kompleks ölçülerinden bahsedip klasik
Radon-Nikodym Teoremini ve ispatını verdik.
2
Üçüncü bölümde integral çeşitlerini ele aldık. İntegral çeşitlerinden önce ilk olarak
vektör ölçülerinden bahsedip vektör ölçüsüne göre varyasyon ve yarıvaryasyon
tanımını verip aralarındaki durumu hatırlattık. Sonraki kısımda v -integrallenebilir
fonksiyonların L1 (v) uzayını ele aldık. L1 (v) nin bazı temel sonuçlarını verdik ve
Banach uzayı olduğunu belirttik. Ayrıca L1 (v) uzayı için Lebesgue Baskın
Yakınsaklık Teoreminden ve sonucundan da bahsettik.
Üçüncü bölümün üçüncü kısmında ise Bochner integrallenebilir, Borel ölçülebilir ve
güçlü ölçülebilir fonksiyonların özelliklerini inceledik. Bochner integrallenebilir
fonksiyonların ve esas sınırlı ölçülebilir fonksiyonlar uzayının Banach uzayı
olduğuna değindik. Bochner integrali için Baskın Yakınsaklık Teoremi, HahnBanach Teoremleri ve bir sonucunu verdik. Vektör değerli olan diğer
fonksiyonlardan Dunford ve Pettis integrallenebilir fonksiyonları hatırlatıp, bu
integral çeşitlerinin varyasyon ve yarıvaryasyonla ilgili durumunu ele aldık. Ayrıca
Radon-Nikodym özelliğini ve bu özellik ile ilgili örneklere yer verdik.
Dördüncü bölümde ise tensör çarpımından tezimiz için gerekli yerleri hatırlattıktan
sonra integrallenebilir fonksiyonun nasıl
oluştuğundan bahsedilerek tensör
integralinin tanımı yapıldı ve bazı özellikleri ele alındı. Tensör integralinin Baskın
Yakınsaklık Teoremini sağladığını ve tensör integrallenebilir fonksiyonlar uzayı
L1 (v, X , Y ) nin Banach uzayı olduğunu verdik. Ayrıca X sıra sürekli Banach örgüsü
olduğunda L1 (v, X , Y ) nin de sıra sürekli Banach örgüsü olduğunu belirttik.
Beşinci bölümde, elde edilen sonuçların ilgili teoriye katkısından ve bu sonuçların
kullanılmasıyla yapılacak çalışmaların öneminden bahsedilmiştir.
3
2. TEMEL KAVRAMLAR
Bu bölüm, ileride sık sık kullanmak zorunda kalacağımız çeşitli temel kavramları,
önemli tanımları, mantıksal işlemlerle bunlardan çıkartılabilen ve de ele alacağımız
konu çerçevesinde bilinmesi gerekli bazı özellikleri kısaca gözden geçirerek hatırlatmayı amaçlamaktadır.
2.1. Riesz Uzayları ve Banach Örgüleri
Burada geçenler hakkında daha fazla bilgiye sahip olmak için [1] ve [7] e bakılabilir.
2.1. Tanım (Sıralama Bağıntısı, Sıralı Küme, Örgü)
(a) Herhangi bir E ≠ ∅ kümesinde ≤ bağıntısı
• her x ∈ E için x ≤ x ,
• her x, y ∈ E için x ≤ y ve y ≤ x ise y = x,
• her x, y, z ∈ E için x ≤ y ve y ≤ z ise x ≤ z
özelliklerini sağlıyorsa ≤ sıralama bağıntısıdır ve ( E , ≤) ikilisine sıralı küme denir.
E kümesinin herhangi iki elemanı karşılaştırılıyor, yani x, y ∈ E için x ≤ y ya da
y ≤ x ise E kümesine tam sıralı küme denir.
(b) ( E , ≤) sıralı küme olsun. Her x, y ∈ E için x ∨ y ve x ∧ y E ye ait ise E ye
örgü (veya latis) denir. (Burada x ∨ y =
sup { x, y} ve x ∧ y =
inf { x, y} dir)
2.2. Tanım (Sıralı Vektör Uzayı, Riesz Uzayı, Banach Örgüsü)
(a) E reel vektör uzayı ve üzerindeki sıralama bağıntısı ≤ olmak üzere, x ≤ y iken
her z ∈ E ve her λ ∈  + için x + z ≤ y + z ve λ x ≤ λ y oluyorsa E ye sıralı vektör
4
uzayı denir.
(b) E sıralı vektör uzayı ve örgü ise E ye Riesz uzayı (veya vektör örgüsü)
(c) E Riesz uzayı ve üzerindeki norm ⋅ olmak üzere her x, y ∈ E için x ≤ y iken
x ≤ y oluyorsa ⋅ normuna örgü normu, E örgü normuna göre tam ise E ye
Banach örgüsü denir. Burada x = x ∨ (− x) dir.
Şimdi Riesz uzayındaki bazı özellikleri verelim.
E Riesz uzayı ve x, y, z ∈ E olsun. Aşağıdaki özellikler sağlanır:
1) x ∨ y =−[(− x) ∧ (− y )] ve x ∧ y =−[(− x) ∨ (− y )]
2) x + y = ( x ∨ y ) + ( x ∧ y )
3) x + ( y ∨ z ) = ( x + y ) ∨ ( x + z ) ve x + ( y ∧ z ) = ( x + y ) ∧ ( x + z )
4) Her λ ≥ 0 için λ ( x ∨ y ) = λ x ∨ λ y ve λ ( x ∧ y ) = λ x ∧ λ y (Theorem 1.3 [1]).
2.3. Tanım (Arşimedyan Riesz Uzayı, Dedekind Tam Riesz Uzayı, σ - Dedekind
Tam Riesz Uzayı)
E Riesz uzayı olmak üzere,
(a) Her x ∈ E + için n −1 x ↓ 0 oluyorsa E ye Arşimedyan Riesz uzayı,
(b) E nin üstten sınırlı her altkümesi supremuma sahipse, E ye Dedekind tam Riesz
uzayı,
(c) E nin sayılabilir ve üstten sınırlı her alt kümesinin supremumu varsa, E ye σ Dedekind tam Riesz uzayı denir.
2.4. Tanım (Pozitif Operatör, Sıra Sürekli Operatör, Riesz Homomorfizması)
E ve F Riesz uzayları, T : E → F operatör (lineer dönüşüm) olmak üzere,
5
(a) E nin her x ≥ 0 elemanı için F de Tx ≥ 0 oluyorsa T ye pozitif operatör,
(b) E de xα → 0 iken F de Txα → 0 ise T ye sıra sürekli operatör,
(c) Her x, y ∈ E için T ( x ∨ y )= T ( x) ∨ T ( y ) oluyorsa T ye Riesz homomorfizması
denir.
2.2. Reel Değerli Fonksiyonların Reel Değerli Ölçüye Göre İntegrali
Bu kesim için ayrıntılı bilgiye [2] den ulaşılabilir.
2.5. Tanım (Cebir, σ -Cebir, Ölçülebilir Uzay)
Ω bir küme Σ Ω nın alt kümelerinin bir sınıfı olsun. Σ sınıfı
1) Ω ∈ Σ
2) Her A∈ Σ için Ac ∈ Σ
3) Her A, B ∈ Σ ise A  B ∈ Σ
şartlarını sağlıyorsa Σ ya Ω üzerinde bir cebir denir. (3) yerine
3 ) ( An ) ⊆ A dizisi için
∞
 A ∈Σ
n
sağlanıyorsa A ya σ -cebir denir. (Ω, Σ) ikilisine
n =1
de ölçülebilir uzay denir.
2.6. Tanım (Ölçü Fonksiyonu, Ölçülebilir Fonksiyon)
(Ω, Σ) bir ölçülebilir uzay olsun.
(a) µ : A →   {+∞} fonksiyonu
1) µ (∅) =0
∞
 ∞
2) ( An ) ⊆ Σ ayrık kümelerden oluşan dizi için µ   An  = ∑ µ ( An )
 n =1  n =1
şartlarını sağlıyorsa µ ye ölçü veya ölçü fonksiyonu,
6
(b) f : Ω →  bir fonksiyon olmak üzere, her α ∈  için { x ∈ Ω : f ( x) > α } kümesi
ölçülebilir ise f ye Ω üzerinde ölçülebilir fonksiyon denir.
• f ölçülebilir fonksiyon ise f
p
ölçülebilirdir.
2.7. Tanım (Karakteristik Fonksiyon, Basit Fonksiyon ve Standart Temsili, Adım
Fonksiyon)
1, t ∈ A
fonksiyonuna A nın karakteristik
A ⊆ Ω olmak üzere, χ A : Ω → ; χ A (t ) =
0, t ∉ A
fonksiyonu denir. ϕ : Ω →  sonlu değerli ölçülebilir fonksiyonsa, ϕ ye basit
n
fonksiyon denir. Farklı a1 ,..., an değerleri için ϕ = ∑ ai χ Ai yazımına ϕ nin standart
i =1
temsili denir. Buradaki kümeler ölçülebilir ve ayrıktır. B j ler sonlu ölçülebilir
m
kümeler iken ϕ = ∑ b j χ B j yazımına sahip ϕ basit fonksiyonuna adım fonksiyon
j =1
denir.
• Basit fonksiyonun adım fonksiyon olması için, sonlu ölçülü bir kümenin dışında
sıfır olması gerekir ve yeter. Basit fonksiyonların ve adım fonksiyonların toplulukları
fonksiyon uzayları, hatta fonksiyon cebirleridir.
n
ϕ = ∑ ai χ A standart temsiliyle verilen adım fonksiyonun integrali
i
i =1
n
*
∫ ϕ d µ = ∑ ai µ ( Ai )
i =1
biçiminde tanımlanır ve temsilden bağımsızdır. Bu integral, lineer, monoton ve sıra
süreklidir.
7
2.8. Tanım (Üst Fonksiyon)
f : Ω →  fonksiyonu için ϕ n ↑ f hhy ve lim ∫ ϕ n d µ < ∞ olacak biçimde (ϕ n )
adım fonksiyonlar dizisi ( f nin üreten dizisi) varsa, f ye üst fonksiyon denir.
Başka bir adım fonksiyonlar dizisi (ψ n ) için ψ n ↑ f hhy ise, (ψ n ) de f nin üreten
dizisidir.
• Üst fonksiyonların topluluğu vektör uzayı değil; ancak örgüdür. Üst fonksiyonun
integrali
∫ fd µ = lim ∫ ϕ d µ
n
biçiminde tanımlanır ve üreten diziden bağımsızdır. Bu integral, lineer değil; ancak
monoton ve sıra süreklidir.
2.1. Teorem
f ve g iki üst fonksiyon olmak üzere aşağıdakiler sağlanır:
1) f + g üst fonksiyondur ve ∫ ( f + g )d µ =∫ fd µ + ∫ gd µ
2) Her α ≥ 0 için α f üst fonksiyondur ve ∫ (α f )d µ = α ∫ fd µ
3) f ∨ g ve f ∧ g üst fonksiyondur (Theorem 21.4 [2])
İspat
f ve g için {ϕn } ve {ψ n } adım fonksiyonların iki dizisini seçelim.
1) {ϕn +ψ n } adım fonksiyonların dizisi olduğu açıktır ve ϕn +ψ n ↑ f + g hhy
sağlanır.
8
∫ (ϕ
n
+ψ n )d µ =
∫ ϕ d µ + ∫ψ
n
n
d µ ↑ ∫ fd µ + ∫ gd µ
eşitliğinden sonuç elde edilir.
2) Her α ≥ 0 için {αϕn } adım fonksiyonların dizisidir ve αϕn ↑ αϕ hhy sağlanır.
=
) d µ ∫ αϕ
∫ (αϕ
n
d µ ↑ ∫α f d µ
n
eşitliğinden sonuç elde edilir.
3) Üst fonksiyon tanımından ϕn ↑ f ve ψ n ↑ g olur. ϕn ≤ f ∨ g ve ψ n ≤ f ∨ g
olduğundan {ϕn ∨ ψ n } için f ∨ g üst sınırdır. Başka bir üst sınır h olsun. ϕn ≤ h ve
ψ n ≤ h ; f ≤ h ve g ≤ h olduğundan f ∨ g ≤ h olur. O halde ϕn ∨ ψ n ↑ f ∨ g hhy
olur. Ayrıca üst fonksiyon tanımından
olduğundan
lim ∫ (ϕ n ∨ ψ n )d µ < ∞
olur.
lim ∫ ϕ n d µ < ∞
ve
lim ∫ψ n d µ < ∞
ϕ n ∨ ψ n = ϕ n + ψ n − ϕ n ∧ψ n
eşitliğini
kullanırsak
∫ (ϕ
n
∨ ψ=
n )d µ
∫ ϕ d µ + ∫ψ
n
n
d µ − ∫ ϕ n ∧ψ n d µ < ∞
elde edilir. Buradan ∫ (ϕn ∨ ψ=
n )d µ
∫ ϕ d µ ↑ ∫ f d µ + ∫ gd µ − ∫ f ∧ gd µ < ∞ olur. O
n
halde f ∨ g üst fonksiyondur.
f ∧ g nin üst fonksiyon olduğu benzer şekilde gösterilir.
2.9. Tanım (Lebesgue integrallenebilir fonksiyon)
Herhangi bir f : Ω →  fonksiyonu için f= f1 − f 2 olacak biçimde f1 ve f 2 üst
fonksiyonları varsa, f ye Lebesgue integrallenebilir fonksiyon denir.
9
Lebesgue integrallenebilir fonksiyonların topluluğu fonksiyon uzayıdır. Lebesgue
integrallenebilir fonksiyonun integrali
fd µ ∫ f d µ − ∫ f d µ
∫=
1
2
veya =
∫ fd µ
∫f
+
d µ − ∫ f −d µ
biçiminde tanımlanır ve fonksiyonun fark yazımından bağımsızdır. Bu integral, lineer ve monotondur. Yukarıda verilen tanımlardan bir f fonksiyonu için
adım fonksiyon ⇒ üst fonksiyon ⇒ integrallenebilir fonksiyon ⇒ ölçülebilir
fonksiyon
gerektirmeleri sağlanır.
0 < p < ∞ olmak üzere,
f
p
Lebesgue integrallenebilir olacak biçimdeki
f
ölçülebilir fonksiyonlarının topluluğu Lp ( µ ) ile gösterilir. f , g ∈ Lp ( µ ) için "
f g⇔ f =
g µ -hhy" biçiminde tanımlanan bağıntı denklik bağıntısıdır ve
böylece Lp ( µ ) yi denklik sınıflarına ayırır. Lp ( µ ) Riesz uzayıdır. 1 ≤ p < ∞ iken
f
p

=∫ f
Ω
1
p
p
dµ 

eşitliği ile tanımlanan normla Lp ( µ ) Banach örgüsüdür. f ∈ Lp ( µ ) ve ( f n ) ⊆ Lp ( µ )
için lim f n = f µ -hhy iken lim f n
p
= f
p
ise, lim f n − f
p
=
0 sağlanır.
f : Ω →  olmak üzere, bir λ sayısı için f ≤ λ µ -hhy oluyorsa, f ye esas sınırlı
fonksiyon, λ ya da f nin esas sınırı denir. Esas sınırlı ölçülebilir fonksiyonların
topluluğu L∞ ( µ ) ile gösterilir. L∞ ( µ ) Riesz uzayıdır
=
f ∞ inf {λ ≥ 0 : λ , f nin esas sınırı}
10
eşitliği ile tanımlanan normla L∞ ( µ ) Banach örgüsüdür. Burada yine normun tanımlı
olabilmesi için herhangi iki fonksiyon, hemen hemen her yerde eşit olduklarında
özdeş olarak alınır.
2.3. İşaretli ve Kompleks Ölçüler
İşaretli ve kompleks ölçüleri vermeden önce ölçü teorisi hakkında bilgi verelim. Bu
kesim için ayrıntılı bilgiye [2] ve [8] den ulaşılabilir.
2.10. Tanım (İşaretli Ölçü)
Σ, Ω ≠ ∅ üzerinde σ -cebiri olsun. µ : Σ → [ −∞, +∞ ] fonksiyonu
(a) Her A∈ Σ için µ ( A) < ∞ veya µ ( A) > −∞
∞
 ∞
∞
(b) ( An )n =1 ⊂ Σ ayrık dizisi için µ   An  = ∑ µ ( An )
 n =1  n =1
özelliklerini sağlıyorsa µ ye işaretli ölçü denir.
Aşağıdaki özellikler sağlanır.
• Her ölçü işaretli ölçüdür.
• µ işaretli ölçü ise − µ de işaretli ölçüdür.
• µ1 ve µ2 ölçülerinden en az biri sonlu ise, µ1 − µ2 işaretli ölçüdür.
2.2. Teorem
Σ, Ω ≠ ∅ üzerinde σ -cebiri ve µ
Ω üzerinde işaretli ölçü olmak üzere
=
µ ( L) inf {µ ( A) : A ∈ Σ=
} ve µ ( M ) sup {µ ( A) : A ∈ Σ}
11
olacak biçimde L, M ∈ Σ vardır (Theorem 7.1 [15]).
Yukarıdaki sonucun ilginç durumu vardır, µ Σ üzerinde her A∈ Σ için
−∞ < µ ( A) < ∞
(2.1)
şartını sağlayan işaretli ölçü olduğunda,
−∞ < inf {µ ( A) : A ∈ Σ} ≤ sup {µ ( A) : A ∈ Σ} < ∞
olur. (2.1) özelliğini sağlayan işaretli ölçüye sonlu işaretli ölçü denir.
2.11. Tanım (Kompleks Ölçü)
Σ, Ω ≠ ∅ üzerinde σ -cebiri olmak üzere µ : Σ →  küme fonksiyonu ayrık
( An )n=1 ⊂ Σ
∞
∞
 ∞
dizisi için σ -toplamsal, yani µ   An  = ∑ µ ( An ) eşitliği sağlanıyorsa
 n =1  n =1
µ ye Σ üzerinde kompleks ölçü denir. µ : Σ →  kompleks ölçü olması için Re µ
ve Im µ sonlu işaretli ölçü olması gerekir ve yeter.
2.3. Teorem
Σ σ -cebiri ve µ Σ üzerinde işaretli ölçü veya kompleks ölçü olsun. Σ üzerinde
her A∈ Σ için
∞
∞

∞
=
µ ( A) sup ∑ µ ( Ak ) : ( Ak )k =1 ⊂
=
Σ, ikili ayrık,  Ak A
k =1
 k =1

tanımlanır (Theorem 7.4 [15]).
(2.2)
12
2.12. Tanım (Ölçünün Varyasyonu)
(2.2) de tanımlı µ ölçüsü µ nün varyasyonu veya varyasyon ölçüsü olarak
adlandırılır. Her A∈ Σ için µ ( A) ≤ µ ( A) sağlanır.
• Σ σ -cebirinde µ işaretli ölçü veya kompleks ölçü olsun. v Σ üzerinde herhangi
bir ölçü iken her A∈ Σ için µ ( A) ≤ v( A) ise µ ( A) ≤ v( A) olur. Bu durum ayrık
( An )n=1 ⊂ Σ dizisi için,
∞
∞
∑ µ ( An ) ≤
∞
∑ v( A )
n 1=
n 1
=
n
∞
A
n
= A iken
n =1
v( A)
=
eşitsizliği sağlandığından, sol tarafın supremumu alınarak elde edilir.
2.1. Sonuç
µ , Σ σ -cebiri üzerinde sonlu işaret ölçüsü veya kompleks ölçüsü olsun. µ
varyasyonu ölçüsü sonludur.
İspat
= µ + + µ − (Theorem 1.5 [1])
µ sonlu işaretli ölçü ise, µ + ve µ − sonlu ölçülerdir. µ
olduğundan µ de sonlu olur. µ kompleks ölçü ise, µ= v + iη olacak biçimde v
ve η sonlu işaretli ölçüleri vardır. O halde v ve η sonludur. Her A∈ Σ için
µ ( A) = v( A) + iη ( A) ≤ v( A) + η ( A) ≤ v ( A) + η ( A)
olduğundan µ ≤ v + η olur. µ nün sonluluğu v ve η nün sonlu olmasından
sağlanır.
13
2.13. Tanım (Mutlak Süreklilik)
v işaretli ölçü olmak üzere, A∈ Σ ve µ ( A) = 0 iken v( A) = 0 olacak şekilde başka
bir µ
işaretli ölçüsü varsa v ye µ ye göre mutlak sürekli denir ve v  µ veya
µ  v şeklinde yazılır.
2.4. Teorem (Klasik Radon-Nikodym Teoremi)
( Ω, Σ, µ ) σ -sonlu
v( E ) = ∫ fd µ
ölçü uzayı ve v Σ üzerinde v  µ olsun. Her E ∈ Σ için
olacak biçimde f : Ω → [ 0, +∞ ) ölçülebilir fonksiyonu vardır ve
E
tektir. f ye v nin µ ye göre Radon-Nikodym türevi denir ve f =
dv
şeklinde
dµ
yazılır.
İspat
( Ω, Σ, µ )
sonlu ölçü uzayı olsun ve Radon-Nikodym türevinin tekliğini ve varlığını
gösterelim.

=
F f

f : Ω → [ 0, +∞ ] ölçülebilir fonksiyon ve her E ∈ Σ için v( E ) ≥

∫ fd µ 
E
olsun. F sıfır fonksiyonunu içerdiğinden boştan farklıdır. s = sup ∫ fd µ olsun. F
f ∈F Ω
de ( f n ) dizisi vardır öyleki lim ∫ f n d µ = s dir.
n →∞
Ω
f1 , f 2 ∈ F olsun. Her E ∈ Σ için,
14
∫f
1
∨=
f2d µ
∫
f1 ∨ f 2 d µ +
∫
f1d µ +
{x∈E: f1 ( x ) ≥ f 2 ( x )}
E
=
{ x∈E: f1 ( x ) ≥ f 2 ( x )}
∫
{x∈E: f1 ( x ) < f 2 ( x )}
∫
{x∈E: f1 ( x ) < f 2 ( x )}
f1 ∨ f 2 d µ
f2d µ
≤ v ({ x ∈ E : f1 ( x) ≥ f 2 ( x)} ) + v ({ x ∈ E : f1 ( x) < f 2 ( x)} )
= v( E )
olduğundan f1 ∨ f 2 ∈ F bulunur.
n
f n = ∨ hk olsun. ( f n ) F de negatif olmayan artan bir dizidir ve lim ∫ f n d µ = s olur.
n →∞
k =1
Ω
x ∈ X için g ( x) = lim f n ( x) olacak şekilde g fonksiyonunu tanımlayalım. Monoton
n →∞
=
Yakınsaklık Teoreminden her E ∈ Σ için
∫ gd µ
E
ve ∫ gd µ
bize g ∈ F olduğunu gösterir=
Ω
lim ∫ f n d µ ≤ v( E ) olur. Bu da
n →∞
lim ∫ f n d µ
=
n →∞
E
s olur.
Ω
( E ) v( E ) − ∫ gd µ
v0 : Σ → [ 0, +∞ ) ; v0 =
E
şeklinde v0 fonksiyonu tanımlayalım, v0 bir ölçüdür. v0 = 0 olduğunu gösterirsek g
istenen fonksiyondur. Farzedelim ki v0 ≠ 0 olsun. v0 (Ω) > 0 ve µ (Ω) < ∞ , ε > 0
var öyleki v0 (Ω) − εµ (Ω) > 0 dır.
{ A, B}
v0 − εµ işaretli ölçüsü için Hahn ayrıımı
olsun. Her E ∈ Σ için v0 ( A  E ) − εµ ( A  E ) ≥ 0 dır. Bundan dolayı
v( E ) =v0 ( E ) + ∫ gd µ ≥ v0 ( A  E ) + ∫ gd µ ≥ εµ ( A  E ) + ∫ gd µ =∫ ( g + εχ A ) d µ
E
E
dır. O halde g + εχ A ∈ F dir. µ ( A) > 0 ise
E
∫ ( g + εχ
Ω
A
)d µ >
E
∫ gd µ
=
s olur, bu
Ω
g + εχ A ∈ F olması ile çelişir. µ ( A) > 0 ise v  µ olduğundan v( A) = 0 dır.
15
v0 ( A) = v( A) − ∫ gd µ ≤ v( A) = 0 olduğundan v0 ( A) = 0 olur. Sonuç olarak
A
v0 (Ω) − εµ (=
Ω)
v0 ( B) − εµ ( B) ≤ 0 elde edilir. Bu v0 (Ω) − εµ (Ω) > 0 olması ile
çelişir. O halde v0 = 0 dır, her E ∈ Σ için v( E ) = ∫ gd µ olur. Yani v nin µ ye göre
E
Radon-Nikodym türevi vardır.
v( E )
Şimdi tekliğini gösterelim. Herhangi E ∈ Σ için =
=
∫ gd µ
E
Buradan
0
olduğundan
∫ ( f − g )d µ =
E
∫
∫ fd µ
olsun.
E
( f − g )d µ =
0
olur.
Bu
{ f − g ≥ 0}
{ x ∈ Ω : f ( x) ≥ g ( x)}
kümesi üzerinde f = g hhy olduğunu gösterir. Benzer şekilde
{ x ∈ Ω : f ( x) < g ( x)}
kümesinde f = g hhy olur. Böylece Ω kümesi üzerinde
f = g hhy olur.
16
3. İNTEGRAL ÇEŞİTLERİ
Bu bölümde ölçü ve fonksiyonun reel değerli veya vektör değerli olmasına göre
integral çeşitlerini tanıtıyoruz.
3.1. Vektör Ölçüleri
Vektör ölçüleriyle ilgili daha fazla bilgiye sahip olmak için [7] ve [12] e bakılabilir.
3.1. Tanım (Vektör Ölçüsü, Sıra Sınırlı Vektör Ölçüsü)
(Ω, Σ) ölçülebilir uzay, X Banach uzayı olmak üzere, v : Σ → X dönüşümü için
∞
 ∞
( An ) , Σ de ayrık dizi iken v   An  = ∑ v( An ) oluyorsa v ye vektör ölçüsü denir.
 n =1  n =1
E Riesz uzayı iken v : Σ → E vektör ölçüsü için sup { v( A) : A ∈ Σ} ∈ E oluyorsa, v
ye sıra sınırlı vektör ölçüsü denir. E Dedekind tam Riesz uzayı olmak üzere, sıra
sınırlı vektör ölçülerinin topluluğunu V (Σ, E ) ile gösterelim. V (Σ, E ) Dedekind tam
Riesz uzayıdır. E Dedekind tam Banach örgüsü ise, V (Σ, E ) de Dedekind tam
Banach örgüsüdür.
• (Ω, Σ) ölçülebilir uzay, M (Σ) E üzerinde tanımlı skalar (sonlu işaretli veya
kompleks) ölçülerin vektör uzayı olsun.
⋅ : M (Σ ) →  ; µ = µ (Ω)
biçiminde tanımlı dönüşümle
( M (Σ), ⋅ )
Banach uzayıdır. Burada µ , µ nün
varyasyonudur; yani,

n

µ : Σ → [−∞, ∞] ; µ ( A) = sup ∑ µ ( Ai ) : { A1 , A2 ,..., An } A nın parçalanışı 
 i =1

17
dönüşümüdür.
Şimdi skalar durum için varyasyon ve yarıvaryasyon tanımını vektör ölçüsü için
verelim.
3.2. Tanım (Vektör Ölçüsünün Varyasyonu, Sınırlı Varyasyonlu Vektör Ölçüsü,
Vektör Ölçüsünün Yarıvaryasyonu)
Skalar durumdakine benzer olarak v vektör ölçüsünün varyasyonu
 n

v 1 : Σ → [ 0, ∞ ] ; v 1( A) = sup ∑ v( Ai ) : { A1 , A2 ,..., An } A nın parçalanışı 
 i =1

biçiminde tanımlanır. v 1 monoton, negatif olmayan, genişletilmiş reel değerli
fonksiyondur. Vektör ölçüsünün varyasyonu sonlu değerli olmak zorunda değildir.
Her A∈ Σ için v 1 ( A) < ∞ (denk olarak v 1 (Ω) < ∞ ) oluyorsa v ye sınırlı
varyasyonlu vektör ölçüsü denir. v sınırlı varyasyonlu vektör ölçüsü ise, bu durumda
v 1 Σ üzerinde sonlu ölçü olur.
• F (Σ, X ) , Σ üzerinde tanımlı X Banach uzayında değer alan sınırlı varyasyonlu
vektör ölçülerinin vektör uzayı olsun.
⋅ 1 : F (Σ, X ) →  ; v 1 = v 1(Ω)
biçiminde tanımlanan dönüşümle
( F (Σ, X ), ⋅ )
1
Banach uzayıdır. ( ⋅
1
normuna
varyasyon normu denir. )
Şimdi sınırlı varyasyonlu olan ve olmayan vektör ölçüleri için iki örnek verelim:
18
3.1. Örnek
,α
Σ =P() =
(α n ) ∈ c0 ve en
Schauder bazı olmak üzere
v : P() → c0 ; µ ( A) =
∑ α nen
n∈E
biçiminde tanımlanan dönüşüm c0 -değerli vektör ölçüsüdür ve bu vektör ölçüsünün
varyasyonu v 1 ( A) = ∑ α n olur. v nin sınırlı varyasyonlu vektör ölçüsü olması için
n∈E
gerek ve yeter şart α ∈ 1 olmasıdır.
3.2. Örnek
Σ , [ 0,1] aralığının Lebesgue ölçülebilir altkümelerin σ -cebiri ve
v : Σ → Lp [ 0,1] ; v( A) = χ A
olsun. 1 ≤ p < ∞ iken v vektör ölçüsüdür. p = ∞ iken v vektör ölçüsü değildir, ancak
sonlu toplamsaldır. p = 1 alınırsa v 1 ( E ) = λ ( E ) olduğundan v sınırlı varyasyonlu
olur. 1 < p < ∞ alınırsa v 1 ([ 0,1]) = ∞ olduğundan v sınırsız varyasyonludur.
Şimdi vektör ölçüleri için verilen varyasyon tanımına alternatif olacak, sınırlılığın
daima sağlanacağı bir yaklaşımı açıklayalım.
X Banach uzayı ve X * , X in dual uzayı, v : Σ → X vektör ölçüsü iken her x* ∈ X *
için x*v Σ üzerinde tanımlı skalar ölçüdür. Bu durumda
Tv : X * → M (Σ) ; Tv ( x* ) =
x *v
19
biçiminde lineer dönüşüm tanımlayabiliriz. Kapalı Grafik Teoreminden Tv sınırlıdır.
Böylece Tv yardımıyla v vektör ölçüsünün yarıvaryasyonu
=
 ; v ∞ ( A)
v ∞ :Σ →
{
}
sup x*v ( A) : x* ∈ X * , x* ≤ 1
biçiminde tanımlanır ve her A∈ Σ için
v ∞ ( A) ≤ v 1 ( A) ve
sağlanır. v ∞
v ∞ ( A) ≤ v ∞ (Ω) =Tv
 nin sınırlı bir altkümesinde değer alan, monoton ve sayılabilir
alttoplamsal bir fonksiyondur. Ancak, v ∞ genelde sayılabilir toplamsal değildir. Diğer
yandan her A∈ Σ için
v( A) ≤ v ∞ ( A) ≤ 4 sup { v( B) : B ∈ Σ, B ⊆ A}
sağlanır. O halde her A∈ Σ için
=
v( A) ≤ v ∞ ( A) ≤ v ∞ (Ω
)
Tv
< ∞
olduğundan her (sayılabilir toplamsal) vektör ölçüsü sınırlıdır.
M (Σ, X ) Σ üzerinde tanımlı X Banach uzayında değer alan vektör ölçülerinin
vektör uzayı olsun.
⋅
∞
: M ( Σ, X ) →  ; v =
∞
v ∞ (Ω=
)
Tv
(
biçiminde tanımlanan yarıvaryasyon normu ile M (Σ, X ), ⋅
∞
) Banach uzayıdır.
20
3.1. Teorem (Rybakov Teoremi)
v : Σ → X sayılabilir toplamsal vektör ölçüsü olsun. v  x*v (yani A∈ Σ ve
x*v ( A) = 0 iken v( A) = 0 ) olacak biçimde x* ∈ X * vardır (Chapter 9 Theorem 2 [7]).
v vektör ölçüsünün kontrol ölçüsü her A∈ Σ için v( A) =
0 ⇔ µ ( A) =
0 olacak
biçimdeki µ ölçüsüdür. Herhangi bir vektör ölçüsünün bir kontrol ölçüsü vardır.
Rybakov Teoreminden x*v ≤ v ∞  x*v olacak biçimde x* ∈ X * vardır; yani
x*v , v nin kontrol ölçüsüdür. Böylece v ∞ -hhy ve x*v -hhy kavramları birbirine
denktir.
v ∞ (Ω) < ∞ ise v ye sınırlı vektör ölçüsü denir. Her A∈ Σ için
v ∞ ( A) < v 1 ( A) ise v ye sınırlı vektör ölçüsü denir. Sıra sınırlı vektör ölçüsü
sınırlıdır.
3.2. Reel Değerli Fonksiyonların Vektör Değerli Ölçüye Göre İntegrali
Bu kesim için ayrıntılı bilgiye [2] ve [11] den ulaşılabilir.
3.3. Tanım ( v -integrallenebilir fonksiyon)
X Banach uzayı, f : Ω →  ölçülebilir fonksiyon ve v : Σ → X sınırlı vektör
ölçüsü olmak üzere; f
her x* ∈ X * için x*v -integrallenebilir ve A∈ Σ iken
x* ( x A ) = ∫ fdx*v olacak biçimde x A ∈ X varsa f ye v -integrallenebilir denir.
A
f v -integrallenebilir ise x A elemanı
∫ fdv
ile gösterilir ve f nin A üzerinde v -
A
integrali olarak adlandırılır. v -integrallenebilir fonksiyonların topluluğu L1 (v) ile
gösterilir. f , g ∈ L1 (v) için " f  g ⇔ f =
g v ∞ -hhy" biçiminde tanımlanan bağıntı
denklik bağıntısıdır ve böylece L1 (v) yi denklik sınıflarına ayırır. L1 (v) vektör uzayı
21


=
f v sup  ∫ f d x*v : x* ∈ X * , x* ≤ 1
Ω

normuyla donatıldığında ( L1 (v),
v
) Banach uzayıdır.
X Banach uzayı yerine E
Banach örgüsü alındığında doğal v ∞ -hhy sıralamasıyla L1 (v) Banach örgüsü olur.
v -integrallenebilir ise, v ∞ ( A) = 0 olacak şekilde A ∈ M (Σ) vardır öyle ki
• f
f χΩ/ A
M (Σ) -ölçülebilirdir (Proposition 1.1.18 [11]).
f χΩ/ A
Ω
da
v-
integrallenebilir ise, f nin Ω da v -integrallenebilir olduğunu söyleyebiliriz. O
halde E ∈ M (Σ) iken
∫ fdv
∫ fχ
=
E
Ω/ A
E
dv ve
∫ fdv
Ω
=
∫ fχ
Ω/ A
dv
B
tanımlayabiliriz.
f
v -ölçülebilir ve burada E = B  C , C ∈ M (Σ) , B ⊆ A ,
v ∞ ( A) = 0 dır.
v ∞ ( A1 ) = 0 ile A1 ∈ M (Σ) öyle ki f χ Ω / A1 M (Σ) -ölçülebilir ise, f χ Ω / A 1 nın Ω da
v -integrallenebilir olduğu ve A ∈ M (Σ)  {Ω} için
∫ fχ
A
Ω/ A
dv = ∫ f χ Ω / A 1 dv olduğu
A
görülür. Sonuç olarak, yukarıdaki tanımın v -null A kümesinin seçimine bağlı
∫ fdv tanımlanır.
olmadan
A
3.2. Teorem
f : Ω → IK veya [ −∞, ∞ ] ve φ basit fonksiyon olsun. Aşağıdakiler vardır:
r
(a) φ = ∑ α i χ Ai basit (α i )1r ⊂ IK , ( Ai )1 ⊂ Σ ve i ≠ j için Ai  Aj = ∅ , φ Ω da v
1
r
22
r
integrallenebilirdir ve A ∈ M (Σ) için ∫ φ dv = ∑ α i v ( Ai  A ) dır. Sonuç olarak,
1
A


=
v ∞ ( A) sup  ∫ φ dv : φ basit, φ (t ) ≤ χ A (t), t ∈ Ω 
 A

olur.
(b) f Ω da v -integrallenebilir ise, γ (.) : M (Σ) → X , γ (.) =
∫ fdv
σ -toplamsaldır.
(.)
(c) γ (.) , (b) deki gibi ise, A ∈ M (Σ) için
i) γ ( A) = sup ∫ f dv( x*v),
x* ≤1 A
ii) =
lim γ ( A)
v ( A )→0
=
lim γ ( A) 0 .
v ( A )→0
(d) I (v) Ω üzerinde v -integrallenebilir olan v -ölçülebilir skalar fonksiyonların
sınıfı olsun. I (v) skalar çarpım ve noktasal toplamsal ile IK üzerinde vektör
uzayıdır. Ayrıca, A ∈ M (Σ) için f → ∫ fdv I (v) üzerinde lineerdir. Sonuç olarak,
A
( Ai )1 ⊂ P
r
r
ayrık olmasına bağlı olmadan φ = ∑ α i χ Ai
ve
A ∈ M (Σ )
için
1
r
∫ φ dv = ∑ α i v( Ai  A) dır.
A
i =1
=
Σ A
(e) Ω daki bir A kümesi için
{B  A :
B ∈ Σ} olsun. f , Ω da v -ölçülebilir
fonksiyon ve f , A∈ Σ kümesinde v -esas sınırlı ise, f her B ∈ Σ  A için v integrallenebilirdir ve B ∈ M (Σ)  A =
Σ  A için
23
∫ fdv
B
≤  ess sup f (t )  . v ∞ ( B)
t∈ A


dır. Sonuç olarak; Σ, S de σ -halkası ve f , Ω da v -esas sınırlı ve f , Ω da v integrallenebilir ise her A ∈ S için
∫ fdv
A
≤  ess sup f (t )  . v ∞ ( A) ≤  ess sup f (t )  . v ∞ (Ω)
t∈Ω
t∈Ω




dır. ( v ∞ (Ω) < ∞ dır [11]).
(f) ϕ , v -esas sınırlı ve Ω da v -ölçülebilir skalar fonksiyon ise, ϕ . f
Ω da v -
integrallenebilirdir. Özellikle, f Ω da v -integrallenebilir ve A ∈ M (Σ) ise, χ A f Ω
da v -integrallenebilirdir ve
∫ fdv = ∫ χ
A
fdv dir.
Ω
A
(g) (Baskınlık Özelliği). f , Ω da v -ölçülebilir skalar fonksiyon ve g ∈ I (v) Ω da
f (t ) ≤ g (t )
v -hhy ise f ∈ I (v) dır. Sonuç olarak, f : Ω → IK
v -ölçülebilir
fonksiyonu aşağıdakileri sağlar:
(i) f ∈ I (v) ,
(ii) f ∈ I (v) ,
(iii) f ∈ I (v) ,
(iv) Re f ∈ I (v) ve Im f ∈ I (v) ,
(v) ( Re f ) , ( Im f ) , ( Re f ) , ( Im f )
+
Ayrıca;
+
−
−
∈ I (v)
f1 , f 2 : Ω →  v -ölçülebilir ve v -integrallenebilir ise max ( f1 , f 2 ) ve
min ( f1 , f 2 ) v -ölçülebilirdir ve I (v) ye aittir.
24
(h) u ∈ L( X , Y ) , uv : Σ → Y σ -toplamsal ise f Ω da v -integrallenebilir olduğunda


f , Ω da uv -integrallenebilirdir. Bu durumda A ∈ M (Σ) için u  ∫ fdv  = ∫ fd (uv)
A
 A
olur. (Theorem 2.1.5 [11])
3.3. Teorem (Lebesgue Baskın Yakınsaklık Teoremi)
n∈
Her
için
f n , IK veya [ −∞, ∞ ]
üzerinde
değerli
v -ölçülebilir
ve
g : Ω → IK , Ω da v -integrallenebilir olsun. Her n için Ω da f n (t ) ≤ g (t ) v -hhy
alalım. f : Ω → IK ve Ω da f n (t ) → f (t ) v -hhy ise, f , f n , n ∈ , Ω da v integrallenebilirdir ve A ∈ M (Σ) için
∫ fdv
A
= lim ∫ f n dv
n
A
limiti düzgündür. Ayrıca
lim sup
∫
x ≤1 Ω
*
f n − f dv( x*v) =
0
olur (Theorem 2.1.7 [11]).
İspat
Tanımdan, genelliği bozmaksızın v -ölçülebilir fonksiyonlar burada da M (Σ)
( A)
ölçülebilir olsun. v=
∫ gdv, A ∈ M (Σ) olsun. Teorem 3.2 (b) den, v
M (Σ) de σ -
A
toplamsaldır. Hipotez ve Teorem 3.2 (g) den, Her n ∈  için f n , Ω da v integrallenebilirdir. Ω da f n → f v -hhy, f M (Σ) -ölçülebilir olduğu açıktır ve
böylece f v -ölçülebilirdir. Tanımdan f M (Σ) -ölçülebilir olsun. Ayrıca Ω da
25
f ≤ g v -hhy dir. O halde Teorem 3.2 (g) den f Ω da hemen hemen v integrallenebilirdir. Hipotezden
M ∈ M (Σ )
v ( M ) = 0 vardır.
g, Ω / M
de
sonludur ve t ∈ Ω / M için f n (t ) → f (t ) olur.
=
F
∞
 N( f
M)
n )  (Ω /=
∞
 N( f χ
n
Ω/ M
)
=
n 1=
n 1
olsun. F ∈ M (Σ) ve Ω da f n χ Ω / M → f χ Ω / M noktasaldır. (Proposition 1.1.13 [11])
dan v µ : M (Σ) → [ 0, ∞ ) kontrol ölçüsüne sahiptir. Bu yüzden, ε > 0 veridiğinde
δ > 0 vardır öyle ki µ ( A) < δ , v ∞ ( A) <
ε
3
sağlanır. Egoroff-Lusin teoreminden
µ ( N ) = 0 sağlayacak şekilde N ∈ M (Σ)  F vardır ve Fk ↑ F \N ile
( Fk )1
∞
⊂P
dizisi Fk üzerinde f n → f düzgün yakınsar. µ (F \N\ Fk ) ↓ 0, k0 vardır ve k ≥ k0
için µ (F \N\ Fk ) < δ olur. µ ( N ) = 0 , v ∞ ( N ) = 0 ve v ∞ ( M ) = 0 , Teorem 3.2 (c)
den v ∞ ( M ) = 0 bulunur. Fk0 da f n → f düzgün, n0 var öyle ki n ≥ n0 için
fn − f
Fk0
. v ∞ ( Fk0 ) <
ε
3
. A ∈ M (Σ) ve x* ≤ 1 için, (Proposition 4 [11]) den
*
x* ∫ f n dv − x* ∫ fdv =
∫ ( f n − f )d ( x v)
A
A
A
≤ ∫ f n − f d ( x *v )
A
≤
∫
f n − f d ( x *v ) +
∫
f n − f d ( x *v )
A ( Ω / Fk0 )
A Fk0
olur. (Proposition 8 [11]) den n ≥ n0 için
∫
A Fk0
f n − f d ( x *v ) ≤
fn − f
Fk0
.v( x*v)( Fk0 ) <
ε
3
26
olur, x* ≤ 1 için v( x*v)( Fk0 ) ≤ v ∞ ( Fk0 ) .
Teorem 3.2 (c) (i) den
∫
f n − f dv( x*v) ≤ 2
A ( Ω / Fk0 )
∫
g dv( x*v)
A ( F / N / Fk0 )


+2  ∫ g dv( x*v) + ∫ g dv( x*v) 


E M
 EN

≤ 2 v ∞ ( F / N / Fk0 ) + 2 v ∞ ( N ) + 2 v ∞ ( M )
<
2ε
3
v ∞ ( N ) v=
( M ) 0 dır. Sonuç olarak, n ≥ n0 ve her A ∈ M (Σ)
µ (F \N\ Fk ) < δ ve =
∞
için
∫ f dv − ∫ fdv
≤ sup ∫ f n − f dv( x*v) ≤ ε
n
A
x* ≤1 A
A
olur.
3.1. Sonuç (Lebesgue Sınırlı Yakınsaklık Teoremi)
Σ, S de σ -halkası olsun. f n , n ∈ , IK veya [ −∞, ∞ ] da değerli v -ölçülebilir ve K
pozitif sabit olsun öyleki her n için Ω da f n (t ) ≤ K v -hhy. f : Ω → IK ve Ω da
f n (t ) → f (t ) v -hhy ise, f , f n , n ∈  Ω da v -integrallenebilirdirler ve E ∈ S için
∫ fdv = lim ∫ f dv
A
n
n
A
dır, A ∈ S için limit düzgündür (Corollary 2.1.8 [11])
27
İspat
Σ =S σ -halkasıdır, Teorem 3.2. (e) nin son bölümünden sabit fonksiyonlar Ω da v integrallenebilirdir ve böylece (Theorem 2.1.7 [11]) dan sonuç sağlanır.
3.2. Sonuç
f Ω da v -integrallenebilir olsun. (φn ) ⊆ Iφ dizisi için Ω da φn (t ) → f (t ) v -hhy ve
φn (t ) ↑ f (t ) v -hhy dir. Her
(φn )
ve A ∈ M (Σ) için
∫ fdv = lim ∫ φ dv
A
n
n
limit
A
düzgündür. Sonuç olarak, A ∈ M (Σ) için

v ∞ ( A) = sup 


=sup 


:
(
),
da
(
)
1
-hhy
hdv
h
I
v
A
h
t
v
∈
≤

∫A

∫ hdv
A

: h ∈ I (v), A da h(t ) ≤ 1 

dır (Corollary 2.1.9 [11]).
İspat
(Proposition 1.1.18 [11]) dan (φn ) nin varlığı garantidir. İkinci sonuç (Theorem 2.1.7
[11]) a bağlıdır. Teorem 3.2 (a) nın son bölümünden ve Iφ ⊂ I (v) den

=
v ∞ ( A) sup 


≤ sup 


≤ sup 

∫ φ dv
A
∫ fdv
A
∫
A

: φ ∈ Iφ , φ ≤ χ A 


: f ∈ I (v), f ≤ χ A 


fdv : f ∈ I (v), Ω da f ≤ χ A v-hhy 

28
olur. Teorem 3.2 (a) nın son bölümünden ve şimdiki sonucun ikinci bölümünden, Ω
da f ≤ χ A v -hhy ile f ∈ I (v) için
∫ fdv ≤ v
∞
( A) dır. Böylece sonucun son kısmı
A
elde edilir.
3.3. Vektör Değerli Fonksiyonların Reel Değerli Ölçüye Göre İntegral
( Ω, Σ, µ )
sonlu ölçü uzayı, X vektör uzayı olmak üzere ϕ : Ω → X fonksiyonu için
n
ϕ = ∑ xi χ A olacak biçimde x1 ,..., xn ∈ X ve A1 ,..., An ∈ Σ varsa, ϕ ye vektör
i =1
i
değerli (veya X -değerli) basit fonksiyon denir (burada χ Ai , Ai nin karakteristik
0
fonksiyonudur). X Banach uzayı iken f : Ω → X fonksiyonu için lim ϕn − f =
µ -hhy olacak biçimde (ϕn ) vektör değerli basit fonksiyonlar dizisi varsa, f µ ölçülebilir fonksiyon; her x* ∈ X * için x* f µ -ölçülebilir fonksiyon oluyorsa, f
zayıf µ -ölçülebilir fonksiyon olarak adlandırılır.
3.4. Tanım (Bochner integrallenebilir fonksiyon)
f
0 olacak biçimde (ϕn ) vektör
µ -ölçülebilir fonksiyonu için lim ∫ ϕn − f d µ =
Ω
değerli basit fonksiyonlar dizisi varsa, f ye Bochner integrallenebilir fonksiyon
denir.
3.4. Teorem
f :Ω → X
olması için,
fonksiyonu µ -ölçülebilir fonksiyonunun Bochner integrallenebilir
∫
Ω
f d µ < ∞ olması gerekir ve yeter (Theorem 2 [7]).
29
nin Bochner integrali A∈ Σ iken
f
∫ fd µ = lim ∫ ϕ d µ
n
A
biçiminde tanımlanır.
A
Buradaki ϕ n ler tanımdaki şartı sağlayan vektör değerli basit fonksiyonlardır ve f
nin Bochner integrali (ϕn ) dizisinden bağımsızdır. f ve g Bochner integrallenebilir
fonksiyonlar olmak üzere, " f  g ⇔ f =
g µ -hhy" biçiminde tanımlanan bağıntı
denklik bağıntısıdır. Bu bağıntıya göre Bochner integrallenebilir fonksiyonların
(denklik sınıflarının) topluluğu L1 ( µ , X ) ile gösterilir. L1 ( µ , X ) vektör uzayı
f
1
= ∫ f dµ
Ω
normuyla donatıldığında Banach uzayıdır. E Banach örgüsü iken doğal µ -hhy
sıralamasıyla L1 ( µ , E ) Banach örgüsüdür. E -değerli esas sıra sınırlı ve µ ölçülebilir fonksiyonların (denklik sınıflarının) topluluğu da L∞ ( µ , E ) ile gösterilir.
f
∞
= ess sup f
normu ve doğal µ -hhy sıralamasıyla L∞ ( µ , E ) Banach örgüsüdür.
Ölçülebilir
olmayan
ancak
zayıf
integralinden bahsedilemez. Ayrıca,
ölçülebilir
f
olan
fonksiyonların
Bochner
integrallenebilir değilse f fonksiyonunun
integrali için doğrudan Bochner integral teorisini kullanmak mümkün değildir.
f : Ω → X zayıf µ -ölçülebilir fonksiyonu için x* ∈ X * iken x* f ∈ L1 ( µ ) oluyorsa,
her A∈ Σ için x* ∈ X * iken
*
*
x**
A ( x ) = ∫ x fd µ
A
*
olacak biçimde x**
A ∈ X vardır (2, Lemma1 [7]).
30
3.5. Tanım (Borel Ölçülebilir Fonksiyon, Güçlü Ölçülebilir Fonksiyon)
( Ω, Σ )
ölçülebilir uzay, X Banach uzay ve B(X), X in Borel altkümelerinin σ -
cebiri olsun (yani B(X), X in açık altkümelerinin ürettiği σ -cebiri). f : Ω → X Σ
ve B(X)’ e göre ölçülebilir ise f ye Borel ölçülebilir fonksiyon, f Borel ölçülebilir
ve
ayrılabilir görüntüye sahipse f ye güçlü ölçülebilir fonksiyon denir. Basit
fonksiyonun güçlü ölçülebilir olması için Borel ölçülebilir olması gerekir ve yeter.
• f Borel ölçülebilir ise x → f ( x) Σ -ölçülebilirdir.
• X ayrılabilir ise, her X -değerli Borel ölçülebilir fonksiyonu güçlü ölçülebilirdir.
Diğer ifadeyle, X ayrılabilir değil ve ( Ω, Σ ) =( X , B ( X ) ) ise Ω dan X özdeşlik
dönüşümleri Borel ölçülebilirdir, fakat güçlü ölçülebilir değildir.
3.1. Önerme
( Ω, Σ )
ölçülebilir uzay ve X Banach uzay olsun. Aşağıdakiler sağlanır.
(a) Ω dan X ’e Borel ölçülebiler fonksiyonların sınıfı noktasal limit altında
kapalıdır.
(b) Ω dan X ’e güçlü ölçülebiler fonksiyonların sınıfı noktasal limit altında
kapalıdır (Proposition E.1. [8]).
3.2. Önerme
( Ω, Σ )
ölçülebilir uzay, X Banach uzayı ve f : Ω → X güçlü ölçülebilir olsun. Her
x ∈ Ω ve her n için
31
f ( x) = lim f n ( x) ve f n ( x) ≤ f ( x)
n
olacak biçimde
( fn )
güçlü ölçülebilir basit fonksiyonlar dizisi vardır (Proposition
E.2 [8]).
İspat
Farzedelim ki f (Ω) X in sıfırdan farklı en az bir elemanını içersin. C f (Ω) nın
sayılabilir yoğun alt kümesi; C  , C nin elemanlarının rasyonel toplamlarının
kümesi ve ( yn ) C  nın sıralaması olsun. y1 = 0 alalım. Her y ∈ f (Ω) ve her ε > 0
için
ym ≤ y ve ym − y < ε
(3.1)
olacak biçimde ym terimi vardır. Her x ∈ Ω ve her pozitif n tamsayısı için X in
An ( x) altkümesini
{
An ( x) =y j : j ≤ n ve y j ≤ f ( x)
}
şeklinde tanımlayalım. y1 = 0 olduğundan An ( x) ≠ ∅ dir.
Şimdi ( f n ) dizisini oluşturalım. f n ( x) f ( x) e yakınsayan An ( x) in elemanı olsun.
f ( x) =
− y j inf
{ f ( x) − y
j
}
: y j ∈ An ( x)
(3.2)
An ( x) in birkaç y j elemanı, f n ( x) = y j0 olsun, j0 An ( x) e ait ve (3.2) yi sağlayan
y j için j nin en küçük değeri j0 olsun. Her n ve x için f n basit fonksiyon ve
32
f n ( x) ≤ f ( x) olduğu açıktır. { x ∈ X : f n ( x) =
y j } şeklinde f ( x) , y j
j = 1, 2,..., n
ve f ( x) − y j her f n güçlü ölçülebilir içeren küme tanımlayabiliriz. (3.1) den ( f n )
f ye noktasal yakınsar (yani ym ym ≤ f ( x) sağlar ve ym − f ( x) < ε ise her n ≥ m
için f n ( x) − f ( x) < ε olur).
Önerme 3.1 ve 3.2 nin sonuçlarını verelim. İlk sonuç Ω dan X e güçlü ölçülebilir
fonksiyondur ⇔
Borel (veya güçlü) ölçülebilir basit fonksiyonların limiti
noktasaladır. İkinci sonuç aşağıda verilmiştir.
3.3. Sonuç
( Ω, Σ )
ölçülebilir uzay ve X Banach uzayı olsun. Ω dan X e güçlü ölçülebilir
fonksiyonların kümesi vektör uzayıdır (Corollary E.3. [8]).
İspat
Farzedelim ki f ve g güçlü ölçülebilir, a ve b reel (veya kompleks) sayı olsun.
( fn )
f ye
( gn )
(Önerme 3.2).
g ye yakınsayan güçlü ölçülebilir basit fonksiyonlar olsun
{af n + bg n }
af + bg ye noktasal yakınsaktır, ve af n + bg n güçlü
ölçülebilirdir. (Önerme 3.1) den af + bg güçlü ölçülebilirdir.
Banach uzayında değerli fonksiyonların integraline dönelim. ( Ω, Σ, µ ) ölçü uzayı ve
X Banach uzayı olsun. f : Ω → X fonksiyonu güçlü ölçülebilir ve x → f ( x)
integrallenebilir ise f integrallenebilirdir (veya güçlü integrallenebilirdir, veya
Bochner integrallenebilirdir).
Fonksiyonların integrali aşağıdaki gibi tanımlanmıştır. Farzedelimki f : Ω → X
basit ve integrallenebilir fonksiyon olsun. a1 ,..., an f nin sıfırdan farklı değerleri
33
olsun, ve bu değerler A1 ,..., An kümelerine ait olsun. (Önerme 2.3.9 [12]) den
x → f ( x) reel değerli fonksiyonu her Ai için sonlu ölçüye sahiptir.
ifadesi f nin integralini verir ve
∫ fd µ < ∫
∫ fd µ
n
∑ a µ( A )
i
i =1
i
şeklinde yazılır.
f dµ
(3.3)
eşitsizliğini görmek kolaydır. f ve g basit integrallenebilir fonksiyonlar ve a ve b
reel (veya kompleks) sayılar ise, af + bg de basit integrallenebilir fonksiyondur.
∫ (af + bg )d µ =a ∫ fd µ + b ∫ gd µ
f
(3.4)
keyfi integrallenebilir fonksiyon olsun. Her x ∈ Ω için
sağlayacak şekilde ( f n ) dizisini seçelim ve
x → sup f n ( x)
f ( x) = lim f n ( x)
n
fonksiyonu da
n
integrallenebilirdir (Önerme 3.2). Reel değerli fonksiyonların baskın yakınsaklık
0 dır ve böylece lim ∫ ( f m − f n )d µ =
teoreminden lim ∫ ( f n − f )d µ =
0 olur. (3.3) ve
n
(3.4) den
m,n
{∫ f d µ}
n
X de Cauchy dizisidir ve yakınsaktır. f nin integrali (veya
Bochner integrali), yani
∫ fd µ , {∫ f d µ}
n
dizisinin limiti olarak tanımlıdır. ( ∫ fd µ
nin değeri ( f n ) nin seçimine bağlı değildir: ( f n ) nin özelliklerine sahip başka ( g n )
dizisi var ise, lim ∫ f n − g n d µ =
0 dır ve buradan lim ∫ ( f n − g n )d µ =
0 elde ederiz.
n
n
O halde lim ∫ f n d µ = lim ∫ g n d µ olur.)
n
n
Bochner integralin birkaç özelliğini verelim.
34
3.3. Önerme
(Ω, Σ, µ ) ölçü uzayı ve X Banach uzayı olsun. f , g : Ω → X integrallenebilir ve
a, b reel (veya kompleks) sayı olsun. af + bg integrallenebilirdir ve
∫ (af + bg )d µ = a ∫ fd µ + b ∫ gd µ
(3.5)
dır (Proposition E.4. [8]).
İspat
Sonuç
3.3’ten
ve
integrallenebilirdir.
fonksiyonların
(af + bg )( x) ≤ a f ( x) + b g ( x)
( fn )
dizisidir
f
ye,
öyle
( gn )
ki
g
eşitsizliğinden
af + bg
ye yakınsayan integrallenebilir
x → sup f n ( x)
n
ve
x → sup g n ( x)
n
integrallenebilirdir. af n + bg n fonksiyonu basit fonksiyondur ve integrallenebilirdir,
ve
∫ (af
n
+ bg n )d µ = a ∫ f n d µ + b ∫ g n d µ
(3.6)
sağlanır (3.4 den). Ayrıca x → sup (af n + bg n )( x) integrallenebilirdir ve integralin
n
tanımından (3.6) dan limit alırsak (3.5) i elde ederiz.
3.4. Önerme
(Ω, Σ, µ ) ölçü uzayı ve X Banach uzayı olsun. f : Ω → X
∫ fd µ ≤ ∫
f d µ dır (Proposition E.5. [8]).
integrallenebilir ise
35
İspat
f integrallenebilir fonksiyon, ( f n ) integrallenebilir fonksiyonların dizisi ve her
x ∈ Ω için sup f n ( x) ≤ f ( x) , f ( x) = lim f n ( x) sağlasın (Önerme 3.2). (3.3) den
n
n
∫ f dµ ≤ ∫
n
fn d µ ≤ ∫ f d µ
olur. O halde
∫ fd µ = lim ∫ f d µ
n
n
olur ve ispat elde edilir.
Baskın Yakınsaklık teoremini X -değerli fonksiyonlar için verelim.
3.5. Teorem
(Ω, Σ, µ ) ölçü uzayı ve X
Banach uzayı ve g : Ω → [ 0, ∞ ] integrallenebilir
fonksiyon olsun. f ( x) = lim f n ( x) ve f n ( x) < g ( x), hhh x, n = 1, 2,... olacak biçimde
n
f ve f1 , f 2 ,... Ω da X -değerli güçlü ölçülebilir fonksiyonları integrallenebilirdir
ve
∫ fd µ = lim ∫ f d µ
n
n
sağlanır (Theorem E.6. [8]).
İspat
f ve f1 , f 2 ,... integrallenebilir olsun. f n − f ≤ 2 g hhy sağlansın ve reel değerli
fonksiyonlar
için
Baskın
Yakınsaklık
teoreminden
lim ∫ ( f n − f )d µ =
0 olur. Önerme 3.3 ve Önerme 3.4’ten
n
(Teorem
2.4.4
∫ fd µ = lim ∫ f d µ
n
n
[8])
elde
edilir.
• L1 (Ω, Σ, µ , X ) , Ω üzerinde X değerli integrallenebilir fonksiyonların kümesi
olsun. (Önerme 3.3) den L1 (Ω, Σ, µ , X ) vektör uzayıdır. L1 (Ω, Σ, µ , X ) elemanlarının
36
denklik sınıfından L1 (Ω, Σ, µ , X ) vektör uzayı olduğu gösterilebilir ve
f
1
= ∫ f dµ
(3.7)
formülü L1 (Ω, Σ, µ , X ) de normdur ( (3.7) L1 (Ω, Σ, µ , X ) de yarınormdur).
L1 (Ω, Σ, µ , X ) nin . 1 altında tam olduğu gösterilerek de yapılabilir.
Şimdi Hahn-Banach teoremini verelim.
3.6. Teorem
X normlu lineer uzay, Y
X in lineer alt uzayı ve ϕ0 , Y de sürekli lineer
fonksiyonel olsun. X de ϕ sürekli lineer fonksiyoneli vardır öyleki ϕ = ϕ0 Y de
ϕ nin kısıtlamasıdır (Theorem E.7 [8]).
Hahn-Banach teoreminin sonucunu verelim:
3.4. Sonuç
X sıfırı içermeyen normlu lineer uzay olsun. Her y ∈ X için X de ϕ sürekli lineer
fonksiyonel vardır öyleki ϕ = 1 ve ϕ ( y ) = y dir (Corollary E.8 [8]).
İspat
y , X in sıfırdan farklı elemanı; Y y nin katlarını içeren X in altkümesi ve ϕ0 , Y
de ϕ0 (ty ) = t y
şeklinde tanımlı lineer fonksiyonel olsun. ϕ0 ,
ϕ0 = 1 ve
ϕ0 ( y ) = y sağlar, Teorem 3.5 den ϕ0 için ϕ fonksiyonelini elde ederiz. (Eğer
y = 0 , ϕ = 1 sağlayan ϕ keyfi lineer fonksiyoneli vardır.)
37
Teorem 3.5 ve Sonuç 3.1. den vektör değerli fonksiyonları çalışalım.
3.7. Teorem
(Ω, Σ) ölçülebilir uzay ve X Banach uzay olsun. f : Ω → X güçlü ölçülebilir
olması için gerek ve yeter şart (a) f (Ω) ayrılabilirdir, (b) X * da her ϕ için ϕ  f Σ
-ölçülebilir olmasıdır (Theorem E.9. [8]).
Bu teoremin ispatı için aşağıdaki lemmaya ihtiyacımız vardır.
3.1. Lemma
X ayrılabilir normlu lineer uzay olsun. X * ın elemanlarının {ϕ n } dizisi var öyle ki
her y ∈ X için
=
y sup
=
{ ϕn ( y) : n 1, 2,...}
(3.8)
dır (Lemma E.10. [8]).
İspat
X yalnızca sıfırı içermesin. X in yoğun altkümesine sahip
Sonuç 3.3 den her n için ϕ n = 1 ve ϕn ( yn ) = yn
{ yn }
dizisini seçelim.
sağlayacak şekilde ϕn ∈ X *
seçebiliriz. {ϕn } nin uygun dizi olduğunu kontrol edelim. Her y ∈ X için
sup { ϕ n (=
y ) : n 1, 2,...} ≤ y
olduğu açıktır (her ϕ n için ϕ n = 1 sağlanır). Keyfi y ∈ X için y ye yakınsayan
{ y n } dizisi bulabiliriz. Buradan
38
ϕ n ( y ) = ϕ n ( y − yn ) + ϕ n ( yn ) = ϕ n ( y − yn ) + yn
elde ederiz ve ϕn ( y − yn ) ≤ ϕn y − yn = y − yn den
y ≤ sup { ϕ n ( y ) : n =
1, 2,...}
elde edilir. O halde (3.8) eşitliği sağlanır.
Bu lemmadan sonra Teorem 3.7 nin ispatını verebiliriz.
İspat
 üzerindeki Banach uzayından ispat yapalım,  üzerindeki de benzeridir.
f güçlü ölçülebilir ise (a) ve (b) (Lemma 7.2.1 ve Önerme 2.6.1 [13]) den sağlanır.
f (a) ve (b) yi sağlasın. (a) f nin Borel ölçülebilir olduğunu göstermek için
yeterlidir. X 0 ,
f (Ω) yı içeren en küçük kapalı lineer altuzayı olsun. X 0
ayrılabilirdir. f nin Borel ölçülebilir olduğunu göstermek yeterlidir (Lemma 7.2.2.
[8]).
{ϕn } , ( X 0 )* da her
y ∈ X 0 için
=
y sup
=
{ ϕn ( y) : n 1, 2,...}
(3.9)
sağlayan dizi olsun (Lemma 3.1). X 0 da her sürekli lineer fonksiyonel X * ın bir
elemanının X 0 a kısıtlaması olduğundan (Teorem 3.5), (b) den dolayı her n için
ϕn  f Σ -ölçülebilirdir. B , X 0 da y0 merkezli r yarıçaplı kapalı yuvar ise,
39
f −1 ( B) =
{ x : ϕ ( f ( x)) − ϕ ( y ) ≤ r}
n
n
0
n
dir ve Σ ya aittir. X 0 da her açık yuvar kapalı yuvarların sayılabilir koleksiyonun
birleşimidir ve X 0 ın her açık altkümesi açık yuvarların sayılabilir koleksiyonunun
birleşimidir ( X 0 ayrılabilirdir), kapalı yuvarların koleksiyonu B( X 0 ). (Önerme 2.6.2
[12]) e göre f , Σ ve B( X 0 ) göre ölçülebilirdir.
3.5. Önerme
(Ω, Σ, µ ) ölçü uzayı, X Banach uzay ve f : Ω → X integrallenebilir olsun. Her
ϕ ∈ X * için
∫ (ϕ  f ) d µ = ϕ ( ∫ fd µ )
(3.10)
dır (Proposition E.11. [8]).
İspat
f
integrallenebilir olduğundan ϕ  f
nin integrallenebilir olduğunu görmek
kolaydır. f integrallenebilir fonksiyon ve A1 ,..., Ak kümelerindeki a1 ,..., ak sıfırdan
farklı değerler ise, (3.10) daki eşitliğin her iki tarafı
k
∑ ϕ (a ) µ ( A )
i =1
i
i
olur, yani (3.10)
basit fonksiyonlar için sağlanır. Şimdi keyfi f integrallenebilir fonksiyonu ve
{ fn }
basit fonksiyonların dizisi için x ∈ Ω iken f ( x) = lim f n ( x) ve sup f n ( x) ≤ f ( x)
n
n
olduğunu kabul edelim (Önerme 3.2). Teorem 3.2 den ∫ (ϕ  f n )d µ = ϕ
O halde (3.10) eşitliği sağlanır.
( ∫ f d µ ) olur.
n
40
3.8. Tanım (Dunford integrallenebilir fonksiyon ve Pettis integrallenebilir fonksiyon)
Her x* ∈ X * için x* f ∈ L1 ( µ ) şartını sağlayan f : Ω → X zayıf µ -ölçülebilir
fonksiyonuna Dunford integrallenebilir fonksiyon denir. f nin A∈ Σ üzerindeki
**
Dunford integrali yukarıdaki eşitliği ile verilen x**
elemanıdır. Her A∈ Σ
A ∈X
x**
A ∈ X oluyorsa, f ye Pettis integrallenebilir fonksiyon denir. Bu durumda f nin
A∈ Σ üzerindeki Pettis integrali her x* ∈ X * için
x* ( x A ) = ∫ x* fd µ
A
olacak biçimdeki x A ∈ X elemanıdır. Bu eleman ( P) − ∫ fd µ ile gösterilir.
A
Pettis integrallenebilir fonksiyonların (denklik sınıflarının) vektör uzayı


=
f sup  ∫ x* f d µ : x* ∈ X * , x* ≤ 1
Ω

biçiminde tanımlanan dönüşümle normlu uzaydır. Bu uzayın tamlayanı P( µ , X ) ile
gösterilir.
f bir λ pozitif ölçüsüne göre integrallenebilir skalar bir fonksiyon ise
µ : Σ → [ 0, ∞ ) ; µ ( E ) =∫ fd λ
E
biçiminde tanımlanan µ dönüşümü bir ölçüdür ve µ 1 ( E ) = ∫ f d λ olur. Bu durum
E
Pettis integrali kullanılarak vektör ölçüleri için verilebilir.
41
3.6. Önerme
λ , Σ σ -cebiri üzerinde sonlu pozitif ölçü olsun.
a) f : Ω → X λ ya göre Pettis integrallenebilir ise
µ : Σ → X ; µ ( E ) =∫ fd λ
E
biçiminde tanımlanan dönüşüm vektör ölçüsüdür ve bu dönüşümün yarıvaryasyonu
her E ∈ Σ için


=
µ ∞ ( E ) sup  ∫ ϕ f d λ : ϕ ∈ BX * 
E

olur.
b) f
λ ya göre Bochner integrallenebilir fonksiyon ise, µ sınırlı varyasyona
sahiptir ve her E ∈ Σ için
µ 1 (E) = ∫ f d µ
E
olur. Ayrıca
µ1= f
1
sağlanır (Proposition 5.4. [12]).
3.9. Tanım (Radon-Nikodym Özelliği)
f nin değer uzayı X Banach uzayı iken Radon-Nikodym teoremi sağlanırsa X
Banach uzayına Radon-Nikodym özelliğine sahiptir denir. Yani; Σ , Ω kümesinin
altkümelerinin σ -cebiri ve µ : Σ → X λ sonlu ölçüsüne göre mutlak sürekli, sınırlı
42
varyasyonlu vektör ölçüsü ise her E ∈ Σ için µ ( E ) = ∫ fd λ olacak biçimde
E
f : Ω → X λ -Bochner integrallenebilir fonksiyonu vardır.
3.3. Örnek
l1 uzayı Radon-Nikodym özelliğine sahiptir.
Σ , Ω kümesinin altkümelerinin σ -cebiri ve µ l1 de değerli Σ de vektör ölçüsü
olsun. ( µn ) skalar ölçülerin dizisi için µ ( E ) = ( µn ( E )) yazabiliriz. µ sınırlı
varyasyondur gerek ve yeter şart ( µn ) dizisi M (Σ) de mutlak toplamsaldır. (Burada
= µ (Ω) normu ile Σ de skalar ölçülerin Banach uzayıdır.) Her E
M (Σ ) , µ
ölçülebilir kümesi için
∞
µ 1 ( E ) = ∑ µn ( E )
n =1
dir. µ mutlak sürekli ise µn ölçüleri de mutlak süreklidir. O halde f n ∈ L1 (λ ) var
öyleki her n için d µn = f n d λ olur. µ mutlak sürekli ise µn ölçüleri de mutlak
süreklidir. Böylece f n ∈ L1 (λ ) var öyleki her n için d µn = f n d λ olur.
∞
fn d λ
∑∫ =
∞
∑µ
=
n 1=
n 1
Ω
olduğundan
∞
∑
n =1
n
<∞
f n (ω )
serisi hemen hemen heryerde yakınsaktır. Böylece
f : Ω → l1 , f (ω ) =( f n (ω )) biçiminde f
tanımlayabiliriz.
∞
fn d λ
∑∫ =
∞
∑µ
=
n 1=
n 1
Ω
n
<∞
Bochner integrallenebilir fonksiyonunu
43
olduğundan
∞
∑
n =1
f n (ω )
serisi hemen hemen her yerde yakınsaktır. Böylece
f : Ω → l1 , f (ω ) =( f n (ω )) biçiminde f
Bochner integrallenebilir fonksiyonunu
tanımlayabiliriz. Her E ∈ Σ için


=
µ ( E ) =
fnd λ 
∫
E

∫ fd λ
E
olduğundan
∞
fn d λ
∑∫ =
∞
∑µ
=
n 1=
n 1
Ω
n
<∞
olur.
3.4.Örnek
L1[0,1] uzayı Radon-Nikodym özelliğine sahip olmadığını görelim.
Σ [ 0,1] in Lebesgue ölçülebilir altkümelerin σ -cebiri olsun ve L1[0,1] de değer alan
µ ( E ) = χ E vektör ölçüsünü ele alalım. Her E ∈ Σ için µ 1 = λ ( E ) olduğundan µ λ
ya göre mutlak süreklidir. Ancak,
{χ E : E ∈ Σ}
olmadığından µ Bochner integrali ile verilemeyebilir.
kümesi L1[0,1] de kompakt
44
4. TENSÖR İNTEGRALLENEBİLİR FONKSİYONLAR
Bu bölümde farklı integral çeşidi olarak vektörel integral kavramına en çok uyan
vektör değerli fonksiyonların vektör ölçüsüne göre integral tanımı verilecektir. Böyle
fonksiyonlara tensör integrallenebilir fonksiyonlar diyeceğiz. Bu teori için ihtiyaç
duyulacak kavramlar tensör çarpımının ilgili konusundadır. İlk kesimde bu
kavramları hatırlatacağız.
4.1. Tensör Çarpımları
Tensör çarpımlarıyla ilgili daha fazla bilgiye sahip olmak için [3], [5] ve [7] e
bakılabilir.
vektör uzayları olmak üzere T : X × Y → Z
X ,Y , Z
( X ×Y , Z )
topluluğunu
(α T ) ( x, y ) = α T ( x, y )
b
olarak gösterelim.
işlemleri ile
( X ×Y , Z )
bilineer dönüşümlerinin
(T + S ) ( x, y ) =T ( x, y) + S ( x, y)
b
ve
vektör uzayıdır. X × Y üzerinde
tanımlanan bilineer fonksiyonellerin uzayını ( X × Y ) ile, bu uzay üzerindeki lineer
b
fonksiyonellerin uzayını da
(
x ⊗ y ∈ ( X ×Y )
)
b *
(( X × Y )
)
b *
elemanını f ∈ ( X × Y )
ile gösterelim. x ∈ X
b
iken
ve y ∈ Y için
f ( x, y )
( x ⊗ y)( f ) =
biçiminde
tanımlayalım. Bu durumda
( x1 + x2 ) ⊗ y
x ⊗ ( y1 + y2 )
α ( x ⊗ y)
=
=
x1 ⊗ y + x2 ⊗ y
x ⊗ y1 + x ⊗ y2
= (α x ) ⊗ y =x ⊗ (α y )
eşitlikleri sağlanır. x ∈ X ve y ∈ Y için x0 ≠ 0 ve y0 ≠ 0 iken x* ( x0 ) ≠ 0 ve
y* ( y0 ) ≠ 0 olacak biçimde x* ∈ X * ve
eşitliğiyle
tanımlanan
f ∈ ( X ×Y )
b
y* ∈ Y * alınırsa
için
( x0 ⊗ y0 ) ( f )=
f ( x, y ) = x * ( x ) y * ( y )
f ( x0 , y0 ) ≠ 0 ;
yani
45
x0 ⊗ y0 ≠ 0 olur.
(( X × Y ) )
b *
X ⊗ Y= sp { x ⊗ y : ( x, y ) ∈ X × Y }
uzayının
biçiminde tanımlanan
altuzayına X ve Y nin tensör çarpımı denir.
h : X × Y → X ⊗ Y ; h ( x, y ) = x ⊗ y
kanonik dönüşümünü göz önüne alalım.
ψ : L ( X ⊗ Y , Z ) → ( X × Y , Z ) ;ψ (T ) =
T h
b
dönüşümü yardımıyla L ( X ⊗ Y , Z ) ve
( X ⊗Y )
*
ve
( X ×Y )
b
eşyapılı olur.
( X ×Y , Z )
b
vektör uzayları; özel olarak
( x0 , y0 ) ∈ X × Y
ve
( f0 , g0 ) ∈ X * × Y *
için
sırasıyla X * × Y * ve X × Y üzerinde
φ( x , y ) ( f , g ) = f ( x0 ) g ( y0 ) ve ψ ( f
0
0
eşitlikleriyle
(X
ψ(f
*
φ( x , y )
0
× Y * )  ( X * × Y * ) ve
b
ψ(f
ve
0
*
0 , g0 )
( x, y ) = f 0 ( x ) g 0 ( y )
bilineer
0 , g0 )
( X ×Y )
b
fonksiyonellerini
 ( X × Y ) olduğundan φ( x0 , y0 ) ∈ ( X * ⊗ Y * ) ve
*
∈ ( X ⊗ Y ) alabiliriz. Diğer yandan x* ∈ X * ve y* ∈ Y * için
*
0 , g0 )
(( X × Y ) )  (( X
*
*
* b
*
⊗Y * )
) X
* *
*
tanımlayalım.
⊗Y *
olduğundan x* ⊗ y* ∈ X * ⊗ Y * dir. Her ( x, y ) ∈ X × Y için
x* ⊗ y* (φ( x , y ) )= φ( x , y ) ( x* , y* )= x* ( x) y* ( y ) = ψ ( x* , y* ) ( x, y )
*
46
olduğundan x* ⊗ y* ∈ ( X ⊗ Y ) olur. Böylece X * ⊗ Y * ⊆ ( X ⊗ Y ) elde edilir.
*
*
X ve Y Banach uzayları olmak üzere X ⊗ Y üzerinde
x⊗ y
α
x y ; x* ∈ X * , y * ∈ Y * ⇒ x* ⊗ y * ∈ ( X ⊗ Y ) ; x* ⊗ y *
≤
*
özelliklerini sağlayan ⋅
⋅
α
α
α*
≤
normuna uygun çapraznorm denir (burada ⋅
normunun fonksiyonel normudur).
x* y *
α*
normu,
X ⊗ Y üzerinde uygun çapraznormlardan
birisi
u ε=
sup
{ ( x ⊗ y ) (u)
*
biçiminde tanımlanır.
⋅ε≤ ⋅
α
}
: x* ∈ X * , y* ∈ Y * ; x* ≤ 1, y* ≤ 1
*
⋅
olduğundan ⋅
ε
X ⊗ Y üzerinde başka bir uygun çapraznorm iken
α
normu X ⊗ Y üzerinde en küçük uygun çapraznorm veya
injektif tensör norm olarak adlandırılır. Bu norma göre X ⊗ Y nin X ⊗ε Y ile
gösterilen tamlayanına X ve Y nin injektif tensör çarpımı denir. E ve F Banach
örgüleri olmak üzere, her =
u
n
∑x ⊗ y ∈E⊗F
i =1
i
i
için
n
Tu : E * → F ; Tu ( x* ) =
∑ x* ( xi ) yi
i =1
dönüşümleri yardımıyla
Ci = {u ∈ E ⊗ F : 0 ≤ x* ∈ E * ⇒ 0 ≤ T ( x* ) ∈ F }
biçiminde tanımlanan koniye injektif koni denir. Wittstock, E ⊗ F üzerinde pozitif
injektif tensör normu
47
{ {
}
=
u ε inf sup Tv ( x* ) : 0 ≤ x* ∈ E * , x* ≤ 1 : v ∈ Ci , v ± u ∈ Ci
}
biçiminde tanımlamıştır. Bu norma göre E ⊗ F nin E ⊗ ε F ile gösterilen tamlayanı,
Ci pozitif konisinin tanımladığı sıralamayla Banach örgüsüdür ve Wittstock injektif
tensör çarpımı olarak adlandırılır.
4.2. Vektör Değerli Fonksiyonların Vektör Değerli Ölçüye Göre İntegrali
X ve Y Banach uzayları, ( Ω, Σ ) ölçülebilir uzay, v : Σ → Y sınırlı ve sayılabilir
toplamsal ölçü, y* ∈ Y * , y* ≤ 1 iken v nin y*v kontrol ölçüsü (yani v ∞  y*v )
(
)
için Ω, Σ, y*v tam ölçü uzayı (yani A ⊆ E için y*v ( E ) = 0 ise, A∈ Σ ) olsun.
0 v -hhy olacak biçimde (ϕn ) X -değerli
f : Ω → X fonksiyonu için lim ϕ n − f =
basit fonksiyonlar dizisi varsa, f v-ölçülebilir fonksiyon; her x* ∈ X * için x* f
v ∞ -ölçülebilir fonksiyon oluyorsa,
f
zayıf v -ölçülebilir fonksiyon olarak
adlandırılır. f nin v -ölçülebilir olması için y*v -ölçülebilir olması gerekir ve yeter.
n
ϕ = ∑ xi χ A standart temsiliyle verilen X -değerli basit fonksiyonun integrali A∈ Σ
i
i =1
iken
dv
∫ ϕ=
A
n
∑ x ⊗ v( A  A )
i =1
i
i
biçiminde tanımlanır ve v nin toplamsallığından dolayı bu integral ϕ nin
temsilinden bağımsızdır. Ayrıca x* ∈ X * , y* ∈ Y * ; x* ≤ 1, y* ≤ 1 iken


 n

x* ⊗ y*  ∫ ϕ dv  =
x* ⊗ y*  ∑ xi ⊗ v ( A  Ai ) 
 i =1

A

48
=
n
∑x
*
i =1
=
⊗ y* ( xi ⊗ v ( A  Ai ) )
n
∑ x ( x ) y (v ( A  A ))
*
i =1
*
i
i
n
≤ ∑ x* ( xi ) y* ( v ( A  Ai ) )
i =1
n
≤ ∑ x* ( xi ) y*v ( A  Ai )
i =1
n
≤ ∑ xi y*v ( A  Ai )
i =1
= ∫ ϕ d y *v
A
olduğundan ∫ ϕ dv , X ⊗ε Y nin bir elemanı olarak ele alındığında
A
∫ ϕ dv
A
ε


≤ sup  ∫ ϕ d y*v : y* ∈ Y * , y* ≤ 1
A

olur. Bu durum bize Bochner integrallenebilmenin genelleştirilmişi olan tensör integrallenebilme tanımı için gerekli şartı verir.
4.1. Tanım (Tensör İntegrallenebilir Fonksiyon)
f


0
v -ölçülebilir fonksiyonu için lim sup  ∫ ϕn − f d y*v : y* ∈ Y * , y* ≤ 1 =
Ω

49
olacak biçimde
(ϕ n )
X -değerli basit fonksiyonlar dizisi varsa, f
ye tensör
integrallenebilir fonksiyon denir.
Bu tanımdaki (ϕn ) v -basit fonksiyonlar dizisi ile oluşturulan X ⊗ε Y içindeki


 ∫ ϕn dv  dizisi Cauchy dizisidir ve
A

∫ fdv = lim ∫ (ϕ )dv
n
A
(ϕ n )
f
nin tensör integrali
A∈ Σ
iken
olarak tanımlanan bu dizinin limitidir. f nin tensör integrali
A
dizisinden bağımsızdır. Gösterimi kolaylaştırmak için f : Ω → X v -ölçülebilir
fonksiyonu iken


N ( f ) sup  ∫ f d y*v :y* ∈ Y * 
=
Ω

tanımlamasını yapalım.
4.1. Teorem
f :Ω → X
fonksiyonu v -ölçülebilir fonksiyonunun tensör integrallenebilir olması
için, f nin v -integrallenebilir olması gerekir ve yeter (Theorem 1 [13]).
İspat
Gerek şartı ispatlayalım. f tensör integrallenebilir fonksiyon ve (φn ) basit fonksiyonların dizisi ve lim N ( f − φn ) =
0 olsun. Eğer φn (.) nin esas supremununu M n
n
ile gösterirsek
N (φn ) ≤ M n v ∞ (Ω)
50
olur ve sonuç olarak N ( f ) < ∞ dır. f
f ∈ ω − L1 (v)
dir. ( f ∈ ω − L1 (v)
v ile genelleştirilmiş integrale sahiptir, yani
uzayı
v -integrallenebilir fonksiyonların


=
f v sup  ∫ f d y*v : y* ∈ BY *  normu ile Banach uzayını temsil eder) O halde
Ω

f − φn
v
dir. O halde
≤ N ( f − φn )
(φ )
n
ω − L1 (v) de f ye yakınsar. Çünkü her φn ∈ L1 (v) ve L1 (v)
ω − L1 (v) nin kapalı alt uzayı olduğundan f
Yeter şartı ispatlayalım.
f
L1 (v) nin bir elemanıdır.
v -integrallenebilir olsun. v de
f
nin tanımsız
integrali sayılabilir toplamsal Y -değerli ölçüdür ve lim N ( f .χ E ) = 0 dır.
v ( E ) →0
(Sonuç B [13]) yi kullanırsak, sayılabilir değerli fonksiyonların
f − fn ≤
( fn )
dizisi
1
1
v ∞ -hhy dir. f n ≤ f + ve böylece (Sonuç 2 [13] ) den her n için
n
n
f n v -integrallenebilirdir. Özellikle
lim N ( f n .χ E ) = 0
v ( E ) →0
dır. i ≠ j iken En ,i  En , j = ∅ , En ,k ∈ Σ ve xn ,k ∈ X olmak üzere
∞
f n = ∑ xn ,k χ En ,k
k =1
olsun. Her n için yeteri kadar büyük pn seçilerek (4.1) eşitliğinden
(4.1)
51
∫
sup
y* ≤1
 En ,k
f n d y *v <
v ∞ (Ω)
n
k > pn
elde edilir. φn =
∑x
k ≤ pn
n,k
χE
n ,k
alırsak φn basit fonksiyondur ve
N ( f − φn ) ≤ N ( f − f n ) + N ( f n − φn ) ≤
2 v ∞ (Ω)
n
sağlanır.
4.1. Sonuç
v -ölçülebilir ve sınırlı ise f tensör integrallenebilirdir (Corollary 1 [13]).
f
4.2. Sonuç
f ve g iki v -ölçülebilir fonksiyonlar olsun. g tensör integrallenebilir ve f ≤ g
v∞
-hhy ise f tensör integrallenebilirdir (Corollary 2 [13]).
4.2. Teorem (Baskın Yakınsaklık Teoremi)
( fn )
bir
f
fonksiyonu için
v∞
-hhy yakınsayan tensör integrallenebilir
fonksiyonların dizisi olsun. Tensör integrallenebilir bir g fonksiyonu var ve
fn ≤ g
v∞
-hhy ise f tensör integrallenebilirdir ve E ∈ Σ iken
52
lim ∫ f n dv = ∫ fdv
n
E
E
olur. Buradaki limit E ∈ Σ ye göre düzgün limittir (Theorem 3 [13]).
İspat
v ∞ -hhy olduğunu not edelim. O halde Sonuç 4.2’den
f ≤ g
f
tensör
integrallenebilirdir. ε > 0 , her n için
E=
n
{ω ∈ Ω :
f (ω ) − f n (ω ) ≥ ε }
Her E ∈ Σ ve ( x* , y* ) ∈ BX * × BY * için
∫x (f − f
*
n
)dy*v ≤
E
∫
x* ( f − f n )dy*v +
∫
x* ( f − f n )dy*v
E  En
E / En
≤ ε v ∞ ( E / En ) + 2 µ g
≤ ε v ∞ (Ω) + 2 µ g
∞
∞
( E  En )
( En )
dir. Böylece
∫ fdv − ∫ f dv
n
E
≤ ε v ∞ (Ω) + 2 µ g ( En )
∞
E
olur. lim µ g ( En ) = 0 ve ε keyfi olduğundan sonuç sağlanır.
n
• f ve g tensör integrallenebilir fonksiyonlar olmak üzere, " f  g ⇔ f =
g v∞-
53
hhy" biçiminde tanımlanan bağıntı denklik bağıntısıdır. Bu bağıntıya göre tensör
integrallenebilir fonksiyonların (denklik sınıflarının) topluluğu L1 (v, X , Y ) ile
gösterilir.
4.3. Teorem


f 1 sup  ∫ f d y*v : y* ∈ Y * , y* ≤ 1
L1 (v, X ,=
Y) ,
Ω

normuyla
donatıldığında
Banach uzayıdır (Theorem 4 [13]).
İspat
( f n ) , L1 (v, X , Y ) de Cauchy dizisi ise ( f n ) her y* ∈ BY * için L1 ( y*v , X ) de Cauchy
dizisidir. f y* L1 ( y*v , X ) de ( f n ) nin limiti olsun.
v ∞  z *v sağlayan z * ∈ BY * bulalım. Ez* ∈ Σ kümesi vardır ve
( fn )
nin
( f ) alt
nk
dizisi için Ez* da
lim f nk (ω ) = f z* (ω )
k
vardır. E y*  Ez*
kümesinde f y* (ω ) = f z* (ω ) olur. Çünkü
(
)
y *v E y*  E z * = 0 ,
f z* ∈ L1 ( y*v , X ) ve f z* = f y* y*v -hhy dir. Böylece f z* ∈ L1 ( y*v , X ) , her y* ∈ BY *
için, ve lim N ( f z* − f n ) =
0 . f = f z* olsun.
n
Geriye f nin tensör integrallenebilir olduğunu göstermek kalır. Her f n tensör
integrallenebilirdir, o halde N ( f n − φn ) <
(φn ) dizisini bulabiliriz. Buradan
1
sağlayacak şekilde adım fonksiyonların
n
54
N ( f − φn ) ≤ N ( f − φn ) + N ( f n − φn ) < N ( f − φn ) +
1
n
olur. Böylece f tensör integrallenebilirdir.
4.4. Teorem
E sıra sürekli Banach örgüsü ise L1 (v, E , Y ) sıra sürekli Banach örgüsüdür (Theorem
1 [4]).
İspat
N (.) normu ve alışıldık sıralama ( f1 ≤ f 2 ω ∈ Ω için f1 (ω ) ≤ f 2 (ω ) v ∞ -hhy) ile
L1 (v, E , Y )
nin sıra sürekliliğini göstermek zordur. Bunun için aşağıdaki
karakterizasyonu kullanalım.
Banach örgünün sıra sürekli olması için her sıra sınırlı artan dizinin norm yakınsak
olması gerekir ve yeter (Proposition 1.a.8 [10]).
{ fn } ,
L1 (v, E , Y ) de sıra sınırlı artan
dizi olsun. Farzedelim ki 0 ≤ f n ≤ f n +1 ≤ g , g ∈ L1 (v, X , Y ) olsun.
f (ω ) = sup f n (ω )
n
alalım. X sıra tamdır ve
bilirdir ve
f ≤ g
{ fn }
artandır, f (ω ) = lim f n (ω ) ve böylece f v -ölçülen
v ∞ -hhy dir. (Sonuç 2 [12]) den g ∈ L1 (v, X , Y ) olduğundan
f ∈ L1 (v, X , Y ) dir. ε > 0 olsun.
f n (ω ) → f (ω ) noktasal yakınsaktır, Egoroff
teoreminden bir A kümesi var öyleki v ∞ ( A) < δ ve f n → f
Ω / A da düzgün
yakınsar. Yani; her ω ∈ Ω / A ve n ≥ n0 için f n (ω ) − f (ω ) < ε dır.
55


N ( f n − f ) ≤ sup  ∫ f n (ω ) − f (ω ) d y*v : y* ∈ BY * 
Ω / A



+ sup  ∫ f n (ω ) − f (ω ) d y*v : y* ∈ BY * 
A



≤ ε v (Ω / A) + sup  ∫ f n (ω ) − f (ω ) d y*v : y* ∈ BY * 
A


≤ ε v (Ω / A) + sup 

( f1 − f )

f n (ω ) − f (ω ) d y*v : y* ∈ BY * 

∫
A
tensör integrallenebilir olduğundan
φ ( A)
(Theorem 1 [12] ). Eğer=
∫
f1 − f
(4.2)
v -integrallenebilirdir
f1 (ω ) − f (ω ) dv ise φ  v ∞ (Theorem 2.2 [9] )
A
dir. Böylece v ∞ ( A) < δ , φ ( A) < δ sağlanır. Yani;


sup  ∫ f1 (ω ) − f (ω ) d y*v : y* ∈ BY *  < ε
A

olur. (4.2) den n ≥ n0 iken
N ( f n − f ) ≤ ε v ∞ (Ω / A) + ε ≤ ε v ∞ (Ω=
) + ε ε ( v ∞ (Ω) + 1)
olur. Böylece L1 (v, E , Y ) de
{ fn }
f ye yakınsaktır. O halde
L1 (v, E , Y ) sıra
süreklidir.
• E sıra sürekli norma sahip Banach örgüsü iken doğal v ∞ -hhy sıralamasıyla
L1 (v, E , Y ) sıra sürekli norma sahip Banach örgüsüdür. E -değerli esas sıra sınırlı ve
v -ölçülebilir fonksiyonların (denklik sınıflarının) topluluğu da L∞ (v, E , Y ) ile
56
gösterilir.
f
∞
= ess sup f
normu ve doğal v ∞ -hhy sıralamasıyla L∞ (v, E , Y )
Banach örgüsüdür.
4.3. Sonuç
Y =  ise L1 (v, E , Y ) = L1 (v, E ) dir. Böylece L1 (v, E ) sıra sürekli norma sahip
Banach örgüdür (sayfa 59 [6] ).
4.4. Sonuç
E =  ise L1 (v, E , Y ) = L1 (v) dir. Böylece L1 (v) sıra sürekli norma sahip Banach
örgüdür (sayfa 319 [6]).
57
5. SONUÇ VE ÖNERİLER
Bu tezde farklı integral çeşitleri ele alınıp özellikleri incelenmiştir.
v -integrallenebilir fonksiyonların L1 (v) uzayını ele alındı. L1 (v) nin bazı temel
sonuçlarını verildi ve Banach uzayı olduğunu belirttik. Ayrıca L1 (v) uzayı için
Lebesgue Baskın Yakınsaklık Teoreminden ve sonucundan da bahsedildi.
Diğer yandan, vektör değerli olan fonksiyon çeşitlerinden Bochner integrallenebilir
fonksiyonları incelendi. Bochner integrali için Baskın Yakınsaklık Teoremini, HahnBanach Teoremini ve bir sonucunu verildi. Ayrıca fonksiyonun değer uzayı Banach
uzayı iken hangi şartlar altında Radon-Nikodym özelliğine sahip olacağına da
değinildi.
Son olarak, tensör integralinin Baskın Yakınsaklık Teoremini sağladığını ve tensör
integrallenebilir fonksiyonlar uzayı
L1 (v, X , Y )
nin Banach uzayı olduğu
gösterilmiştir. Ayrıca X sıra sürekli Banach örgüsü olduğunda L1 (v, X , Y ) nin de
sıra sürekli Banach örgüsü olduğunun ispatı verildi.
Ölçü Teorisinde integral tanımının en genel formunun hem fonksiyonun, hem de
ölçünün vektör değerli olarak ele alındığında verilmesi ve özelliklerinin geliştirilmesi
üzerine yapılan çalışmalar oldukça yenidir. Reel anlamda bilinen kavram ve yapıların
bu anlamda genişletilmesi ilgili teoriye önemli katkılar sağlayacaktır. Biz de bundan
sonraki çalışmalarımızı bu konu üzerine yoğunlaştırmak niyetindeyiz.
58
KAYNAKLAR
1. Aliprantis, C.D., Burkinshaw, O., ‘‘Positive Operators’’, Academic Press,
London, 1-3, 45-46, 181-182 (1985).
2. Aliprantis, C.D., Burkinshaw, O., ‘‘Principles of Real Analysis ’’, 3rd edition,
Academic Press, Inc., San Diego, CA, 161-173, 254-261, 346-348 (1998).
3. Bu, Q., Buskes, G., Kusraev, A.G., “Bilinear Maps on Products of Vector Lattices:
A Survey.”, Positivity, Trends Math., Birkhäuser, Basel, 97–126 (2007).
4.Chakraborty, N. D., Basu, S., ‘‘On some properties of the space of tensör
integrable Functions’’, Anal. Math. 1:1-16, 33 (2007).
5.Cristescu, R., “Topological Vector Spaces”, Noordhoff International Publishing,
Leyden, 105-107 (1977).
6. Curbera, G. P., ‘‘Operators into L1 of a vector measure and applications to Banach
lattices’’, Math. Ann., 293:317-330(1992).
7. Diestel, J., Uhl, J.J., ‘‘Vector measures’’, Math. Surveys, no. 15, Amer. Math.
Soc., Providence, R.I., 1-6, 41-47, 61, 221-228 (1977).
8. Donald, L. C., ‘‘Measure Theory’’ , Birkhauser, Boston, 350-356 (1980).
9. Lewis, D. R., ‘‘Integration with respect to vector measures’’, Pacific J. Math. 33:
157-165 (1970).
10. Lındenstrauss, J., Tzafriri, L., ‘‘Classical Banach Spaces 2’’, Springer, BerlinHeidelberg-New York, 7-8 (1979).
11. Panchapagesan, T.V., ‘‘The Bartle Dunford Schwartz Integral’’, Birkhauser,
Boston, 18-26 (2000).
12. Ryan, R.A., ‘‘Introduction to Tensor Products of Banach Spaces’’, SpringerVerlag, London, 93-103 (2002).
13. Stefansson, G.F., ‘‘Integration in vector spaces’’, Illinois J. Math., 45(3):925938, (2001).
14. Zaanen, A.C., ‘’Riesz Spaces II’’, North-Holland Mathematical Library, 30.
North-Holland Publishing Co., Amsterdam, 651-686 (1983).
15. İnternet: Nagy, G., “Real Analysis”, http://www.math.ksu.edu/~nagy/real-an/307-sgn-meas.pdf (2013).
59
ÖZGEÇMİŞ
Kişisel Bilgiler
Soyadı, adı
: IŞIN, Mine
Uyruğu
: T.C.
Doğum Tarihi
: 08.07.1987
Doğum Yeri
: Havza
Medeni Hali
: Evli
Telefon
: 0 (312) 244 57 65
e-mail
: mi06ne@gmail.com
Eğitim
Derece
Eğitim Birimi
Tezsiz Yüksek Lisans
Kırıkkale Üniversitesi
2010
Lisans
Gazi Üniversitesi-Matematik Bölümü
2009
Lise
Mehmetçik Lisesi
2004
Mezuniyet Tarihi
İş Deneyimi
Yıl
2012-
Yer
Sarı Süleyman Çok Programlı Lisesi
Görev
Matematik Öğretmeni
Yabancı Dil
İngilizce
Sempozyum
M.Öztürk, C.Çevik, “Radon-Nikodym Property for Vector Valued Measures”, 1st
International Eurasian Conference on Mathematical Sciences and Applications, 0307 September 2012, Prishtine.
Download