• Sonuç bulunamadı

18.102

N/A
N/A
Protected

Academic year: 2021

Share "18.102"

Copied!
6
0
0

Yükleniyor.... (view fulltext now)

Tam metin

(1)

MIT A¸cık Ders Malzemeleri http://ocw.mit.edu

Bu materyallerden alıntı yapmak veya Kullanım Ko¸sulları hakkında bilgi al- mak i¸cin http://ocw.mit.edu/terms veya http://www.acikders.org.tr adresini ziyaret ediniz.

18.102

Introduction to Functional Analysis Bahar 2009

Prof.Dr.Richard Melrose

(2)

18.102 Fonksiyonel Analize Giri¸s Bahar D¨ onemi 2009

DERS 16. SINIRLI D ¨ ON ¨ US ¸ ¨ UMLER, ¨ UN˙ITER D ¨ ON ¨ US ¸ ¨ UMLER VE ˙IZ˙I SONLU BOYUTLU D ¨ ON ¨ US ¸ ¨ UMLER

Onerme 23. Tersinir d¨ ¨ on¨ u¸s¨ umlerin k¨ umesi GL(H), B(H)’nın a¸cık altk¨ umesidir.

Kanıt. Neumann serilerinin yakınsaklı˘ gını kullanarak A ∈ B(H) ve kAk < 1 ise Id − A d¨ on¨ u¸s¨ um¨ un¨ un tersinir oldu˘ gu g¨ osterilmi¸sti, yani B(H) da 2-y¨ onl¨ u tersi vardır ( bu, A¸cık D¨ on¨ u¸s¨ um Teoreminden dolayı, 1-1 ve ¨ orten olmasına denktir).

Dolayısıyla, G ∈ GL(H) verilsin. Varsayımdan, G’nın 2-y¨ onl¨ u tersinir ve tek bir tersi G −1 ∈ B(H) vardır, yani:

(16.1) G −1 G = GG −1 = Id.

Bu durumda bazı  > 0 i¸cin B(G, ) ⊂ GL(H) oldu˘ gunu g¨ ostermek istiyoruz.

Aslında  = kG −1 k −1 olarak se¸cebilece˘ gimiz g¨ orece˘ giz. Temel fikir G + B nın 1-1 ve ¨ orten ve dolayısıyla tersinir oldu˘ gunu g¨ ostermektir. Bu ama¸cla E k¨ umesini

(16.2) E = G −1 B ⇒ G + B = G −1 (Id + G −1 B).

olarak alalım. Id + G −1 B 1-1 ve ¨ orten ise, G −1 1-1 ve ¨ orten oldu˘ gundan, G + B 1-1 ve ¨ ortendir. ¨ Ote taraftan:

(16.3) G −1 B < 1 ⇒ Id + G −1 B tersinirdir.

kG −1 Bk ≤ kG −1 k kBk oldu˘ gundan, beklenildi˘ gi gibi, kBk < kG −1 k elde edilir.



B¨ oylece GL(H) ⊂ B(H), tersinir elemanların k¨ umesi a¸cıktır. Ayrıca bu gruptur-¸c¨ unk¨ u, G 1 , G 2 ∈ GL(H) ise G 1 G 2 ’nın tersi G −1 2 G −1 1 dır.

Bu grubun daha k¨ u¸c¨ uk bir altgrubu vardır, U (H), a¸ a˘ gıda tanımlanan bir- imsel grup

(16.4) U (H) = {U ∈ GL(H) : U −1 = U }.

Bu ¨ onemli bir konudur ve daha sonra kullanılacaktır.

Ayrılabilir bir Hilbert uzayında birimsel grup n × n bildik matris grupları

U (n) ye ¸cok benzer ¨ ozellikler g¨ osterir. Elbette buradaki grup ¸cok daha b¨ uy¨ ukt¨ ur.

(3)

Aslında daha sonra g¨ osterilece˘ gi gibi ba¸ska ¨ onemli farklar vardır (ya da prob- lemlerde ele alaca˘ gımız gibi). Kanıtını vermeyece˘ gim fakat bilinmesi gereken- lerden biri, U (H) bir metrik uzayı olarak, b¨ uz¨ ulebilirdir- ancak ¨ onemli bir topolojisi yoktur. Buna kar¸sın U (n) nın a¸sikar olmayan, ¨ ozellikle b¨ uy¨ uk n ler i¸cin, bir ¸cok topolojisi vardır- U (H), n → ∞ i¸cin U (n) nin limitine benzemez.

S ¸imdi GL(H) elemanları olarak ”b¨ uy¨ uk” operat¨ orlerin kar¸sıtlarından bahsedile- cek.

Tanım 7. Bir d¨ on¨ u¸s¨ um T ∈ B(H)’nın sonlu ranklı olması, g¨ or¨ unt¨ u uzayının sonlu boyutlu olması anlamındadır (bu durumda boyuta T ’nın rankı denir.) Sonlu ranklı d¨ on¨ u¸s¨ umlerin k¨ umesi R(B) ile g¨ osterilir.

Sonlu ranklı iki d¨ on¨ u¸s¨ um¨ un toplamı da sonlu ranklıdır: C ¸ ¨ unk¨ u g¨ or¨ unt¨ u k¨ umesi g¨ or¨ unt¨ u uzaylarının toplamı i¸cindedir.

(16.6) (T 1 + T 2 )(u) ∈ Ran(T 1 ) + Ran(T 2 ),

burada ge¸cen Ran(T ), T ’nin g¨ or¨ unt¨ u uzayının boyutudur. T ’nin bir sabitle

¸carpılmasıyla edilen d¨ on¨ u¸s¨ um¨ un g¨ or¨ unt¨ us¨ u T ’nin g¨ or¨ unt¨ us¨ un¨ un i¸cnde kalaca˘ gından, sonlu ranklı d¨ on¨ u¸s¨ umlerin k¨ umesi B(H)’nın bir altuzayıdır. Ayrıca

(16.7) B ∈ B(H) ve T ∈ R(B) ise BT ∈ R(B)

dir. Ger¸cekten BT ’nin g¨ or¨ unt¨ u k¨ umesi, B’nin T ’nin g¨ orunt¨ une kısıtlanan d¨ on¨ u¸s¨ um¨ un g¨ or¨ unt¨ u k¨ umesidir. Ve bu, Ran(T )’nin bir tabanının g¨ or¨ unt¨ us¨ u ile ¨ uretilen uzay oldu˘ gundan sonlu boyutludur. Aynı bi¸cimde, T B’nin g¨ or¨ unt¨ u k¨ umesi, T ’nin g¨ or¨ unt¨ us¨ unde kaldı˘ gından T B ∈ R(H) dır. B¨ oylece a¸sa˘ gıdaki

¨

onermenin bir¸cok kısmını kanıtlamı¸s olduk.

Onerme 24. A¸sa˘ ¨ gıdakidaki anlamda sonlu ranklı d¨ on¨ u¸s¨ umler B(H) i¸cinde bir *-kapalı idealdir: Yani a¸sa˘ gıdaki (16.8) sa˘ glayan bir altuzaydır.

(16.8) B 1 , B 2 ∈ B(H), T ∈ R(H) ⇒ B 1 T B 2 , T ∈ R(H).

Kanıt. T sonlu ranklı olsun. T nın sonlu ranklı oldu˘ gunu g¨ osterelim. Di˘ ger kısımlar zaten g¨ osterildi. Bunu yapmak i¸cin sonlu ranklı d¨ on¨ u¸s¨ umlerin a¸cık bir temsilini bulalım. Ran(T ) sonlu boyutlu oldu˘ gundan her u ∈ H i¸cin, f 1 , ..., f N

ler Ran(T ) nin tabanı olmak ¨ uzere

(16.9) T u =

N

X

i=1

c i f i

(4)

olarak yazılabilir. Burada c i ler sabitlerdir. B¨ oylece, f i vekt¨ orleri taban oldu˘ gundan, u → c i fonksiyonellerini tanımlayalım. Bunlar s¨ ureklidir. Ba- sitce f i leri ortonormal olarak se¸cerek f i ile (16.9) daki g¨ osterimi kullanarak,

(16.10) c j = (T u, f j ) = (u, T f j ) buluruz. Ayrıca (Riesz Teoreminden)

(16.11) T u =

N

X

i=1

(u, e i )f i

olacak bi¸cimde e i = T f i ∈ H elemanları vardır. Tersine T , (16.11) deki gibi yazılabiliyorsa, T ’nin g¨ or¨ unt¨ u uzayı f i ile ¨ uretilen uzayın i¸cinde kalaca˘ gından, sonlu ranklıdır.

(16.11) den dolayı,

(16.12) (T v, u) = (v, T u) =

N

X

j=1

(v, f i )(e i , u) ∀u ∈ H ⇒ T v =

N

X

i=1

(u, f i )e i ,

T d¨ on¨ u¸s¨ um¨ u de sonlu ranklıdır. Burada f i ve e i lerin rolleri de˘ gi¸sti.  Daha sonra B(H) i¸cinde R(H) idealinin kapanı¸sının kompakt operat¨ orlerin ideali oldu˘ gu g¨ osterilecek. Kapanı¸s kesinlikle kapalı bir k¨ umedir. ¨ Ustelik,

B 1 , B 2 ∈ B(H) ve normda T n → K olması

(16.13) B 1 T n B 2 → B 1 KB 2 , T n → K gerektirece˘ ginden,R(H) k¨ umesi, *-kapalı idealdir.

Sonu¸c olarak kompakt d¨ on¨ u¸s¨ umler sonlu ranklı operat¨ orlerin kapanı¸sıdır ve kapalı, *-idealdir.

Burada ideal ko¸sulunun ¨ onemi altgrupların normallik ko¸suluna benzemesidir- bir B cebirinin bir I idealine b¨ ol¨ unmesiyle elde edilen b¨ ol¨ um uzayı B/I yine bir cebirdir. Kompakt d¨ on¨ u¸s¨ umler ideali K(H)’nin b¨ ol¨ um¨ u, K kapalı oldu˘ gundan, bir Banach uzayıdır. Buna Calkin cebiri denir.

Onteorem 11 (Satır rank=S¨ ¨ ut¨ un rank). Bir Hilbert uzayında sonlu ranklı her d¨ on¨ u¸s¨ um i¸cin, T ’nin g¨ or¨ unt¨ us¨ un¨ un boyutu T ’nın g¨ or¨ unt¨ us¨ un¨ un boyutuna e¸sittir.

Kanıt. Sonlu ranklı her d¨ on¨ u¸s¨ um¨ un (16.11) bi¸ciminde oldu˘ gu g¨ osterildi.

f i ler T ’nin g¨ or¨ unt¨ us¨ un¨ un bir tabanı ise, N = dimRan(T ), e i ler do˘ grusal

(5)

ba˘ gımsızıdırlar. Ger¸cekten, de˘ gil ise, en az bir e i , e i = P j6=i c j e j bi¸cimindedir.

Bunu (16.11) e yerle¸stirerek

(16.14) T u = X

j6=i

(u, e j )(f j + c j f j )

elde edilir ve buradan g¨ or¨ unt¨ un¨ un boyutu en fazla N − 1 olur, bu f i lerin se¸cimiyle ¸celi¸sir.

e i ler do˘ grusal ba˘ gımsız olduklarından (16.12) den T nın g¨ or¨ unt¨ u uzatının

boyutu N (f i ler do˘ grusal ba˘ gımsız)-her sonlu ranklı operat¨ or i¸cin dimRan(T ) ≤

N ise e¸sitli˘ gi elde etmek i¸cin (T ) = T e¸sitli˘ gini kullanınız.

(6)

PROBLEMLER 8

Problem 8.1 S¨ urekli bir fonksiyon K : [0, 1] → L 2 (0, 2π)’nın her x ∈ [0, 1] i¸cin K(x) ∈ L 2 (0, 2π) nın Fourier serisinin d¨ uzg¨ un yakınsadı˘ gını g¨ osteriniz, yani:

K n (x), |k| ≤ n ¨ uzerinde Fourier serisinin toplamı ise K n : [0, 1] → L 2 (0, 2π) s¨ ureklidir ve

(18.8) sup

x∈[0,1]

kK(x) − K n (x)k L

2

(0,2π) → 0.

˙Ip ucu: Daha ¨once kanıtı verilen bir Hilbert uzayında kompaktlık ¨ozelli˘gini kullanınız.

Problem 8.2 C ¸ ekirde˘ gi K ∈ C([0, 1] 2 ) olan L 2 (0, 1) de tanımlı integral d¨ on¨ u¸s¨ um¨ un¨ u ele alalım, yani

(18.9) T (u)(x) =

Z

(0,1)

K(x, y)u(y).

T ’nın L 2 de s¨ urekli oldu˘ gunu ve sonlu ranklı d¨ on¨ u¸s¨ umlerin norm kapanı¸sında oldu˘ gunu g¨ osteriniz.

˙Ip ucu: ¨ Onceki problemi kullanınız. Bu ¸sekilde tanımlanan s¨ urekli fonksiyon K i¸cin, x ∈ [0, 1] → K(x, .) ∈ C([0, 1]) fonksiyonunun s¨ urekli oldu˘ gunu ve b¨ oylece K : [0, 1] → L 2 (0, 1) s¨ urekli, dolayısıyla az ¨ onceki problem aralık yeniden ayarlanarak uygulanır.

Daha detaylı bir yardımcı g¨ or¨ u¸s: K(x, y) yi L 2 (0, 1) de de˘ ger alan x de˘ gi¸skenli bir fonksiyon olarak ele alabiliriz. K n (x, y) ¨ onceki problemde verilen de˘ gi¸skenleri x, y olan fonksiyon olsun. Bu fonksiyonun n noktasında y de˘ gi¸skenine g¨ ore Fourier serisinin budanmı¸s halini alalım. Bu fonksiyonun L 2 (0, 1) de sonlu ranklı bir d¨ on¨ u¸s¨ um tanımladı˘ gını g¨ osteriniz. S¨ urekli fonksiyonlarda de˘ ger aldı˘ gı ku¸skusuz. Ama aynı zamanda g¨ or¨ unt¨ uler kare integrallenebilirdir. Bu- radaki fikir n b¨ uy¨ ud¨ uk¸ce fark d¨ on¨ u¸s¨ um¨ un¨ un olan K − K n d¨ on¨ u¸s¨ um normunun sıfıra gitmesidir. Bunu g¨ ostermek a¸cıklayıcı olabilir. Di˘ ger durum i¸cin x ve y lerin rolleri de˘ gi¸stirilir.

Problem 8.3 Bir de˘ gi¸skenli Lebesgue integrallenebilir fonksiyonlara odak- lanılmasına kar¸sın, bir yerde, ¨ ortme ¨ onteoremi 2 boyut i¸cin kanıtlandı. Burada yapılan tartı¸smayı iki boyuta ta¸sımaktı. L 2 ((0, 2π) 2 ) nin bir Hilbert uzayı oldu˘ gunu g¨ osterdi˘ ginizi varsayalım. Kanıt i¸cin bilmedikleriniz bir listesini ya- parak exp(ikx+iyl)

2π , (k, l ∈ Z) fonksiyonlarının tam ortonormal taban oldu˘gunun

g¨ osterilmesidir.

Referanslar

Benzer Belgeler

Bu materyallerden alnt yapmak veya Kullanm “artlar hakknda bilgi almak için http://ocw.mit.edu/terms ve http://tuba.acikders.org.tr sitelerini ziyaret

Bu materyallerden alnt yapmak veya Kullanm “artlar hakknda bilgi almak için http://ocw.mit.edu/terms ve http://tuba.acikders.org.tr sitelerini ziyaret

Bu materyallerden alnt yapmak veya Kullanm “artlar hakknda bilgi almak için http://ocw.mit.edu/terms ve http://tuba.acikders.org.tr sitelerini ziyaret

Bu materyallerden alıntı yapmak veya Kullanım Ko¸sulları hakkında bilgi al- mak i¸cin http://ocw.mit.edu/terms veya http://www.acikders.org.tr adresini ziyaret

Bu sorunun yanıtı Hilbert uzaylarında hatta ¨ on Hilbert uzayları i¸cin Riesz Temsil Teoreminden elde edilir, ¸c¨ unk¨ u bu uzaylarda uzayın duali ile kendisi aynydır..

B¨ oylesi bir b¨ ol¨ umme ile elde edilen d¨ ortgenlerin alanlarının toplamının ilk d¨ ortgenin alanına e¸sit oldu˘ gunu g¨ osteriniz.. (2) yarı-a¸cık-kapalı anlamında

Bu materyallerden alıntı yapmak veya Kullanım Ko¸sulları hakkında bilgi al- mak i¸cin http://ocm.mit.edu/terms veya http://tuba.a¸cık ders.org.tr adresini ziyaret

Bu materyallerden alıntı yapmak veya Kullanım Ko¸sulları hakkında bilgi al- mak i¸cin http://ocm.mit.edu/terms veya http://tuba.a¸cık ders.org.tr adresini ziyaret