• Sonuç bulunamadı

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

N/A
N/A
Protected

Academic year: 2021

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

Copied!
3
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

130

(2)

18.102 Fonksiyonel Analize Giri¸s Bahar D¨ onemi 2009

Ders 15. AC ¸ IK D ¨ ON ¨ US ¸ ¨ UM VE KAPALI GRAF˙IK TEOREM˙I Banach uzaylarının temel ¨ ozelliklerini ve ayrılabilir bir Hilbert uzayında tanımlı sınırlı d¨ on¨ u¸s¨ umlerin B(H) nın cebir yapısını hatırlayalım. ¨ Ozel olarak bu uzay

(15.1) kAk = sup

||u||=1

kAuk

H

normuna g¨ ore bir Banach uzayıdır ve

(15.2) kABk ≤ kAk kBk e¸sitsizli˘ gi sa˘ glanır.

A¸cık d¨ on¨ u¸s¨ um teoremini tekrar ifade ederek kanıtını verdik.

Teorem 13 (A¸cık D¨ on¨ u¸s¨ um). B

1

ve B

2

Banach uzayları arasında verilen A : B

1

→ B

2

sınırlı do˘ grusal d¨ on¨ u¸s¨ um¨ u A(B

1

) = B

2

sa˘ glıyor, yani ¨ orten ise, A a¸cıktır:

(15.3) her a¸cık k¨ ume O ⊂ B

1

i¸cin A(O) ⊂ B

2

a¸cıktır

Kanıt. Ders 13 de. Bunun iki sonu¸cu: A : B

1

→ B

2

sınırlı, 1-1 ve ¨ orten ise tersi de sınırlıdır. Ikincisi olarak Kapalı Grafik Teoremi ele aldık. Bunların hepsi Ders 13 nın notlarında. D¨ uzg¨ un Sınırlılık Teoreminin ikinci uygula- ması olarak-d¨ on¨ u¸s¨ umlerin kuvvetli yakınsamasından bahsedilmi¸sti. Ayrılabilir bir Hilbert uzayında verilen sınırlı bir d¨ on¨ u¸s¨ um dizisi A

n

∈ B(H) kuvvetli yakınsaması her u ∈ H i¸cin A

n

(u) nın yakınsaması anlamındadır. Buradan limitin sınılı bir d¨ on¨ u¸s¨ um oldu˘ gu g¨ or¨ ul¨ ur- ya da istenirse tanım olarak ek- lenebilir. D¨ uzg¨ un Sınırlılık Teoremi A

n

kuvvetli yakınsak ise sup

n

kA

n

k < ∞ oldu˘ gunu g¨ osterir. Bu haftanın problemlerinde buna gereksinim duyulacak.

Kaydırma operat¨ or¨ u S : l

2

→ l

2

(15.4) S(

X

j=0

c

j

e

j

) =

X

j=1

c

j

e

j+1

tanımlanmı¸s-dizinin her elemanı ’bir ¨ uste’ kaydırılmı¸s ve sıfır vekt¨ or¨ u ile ba¸slanmı¸stı.

Bunun hakkında konu¸sulmu¸stu. Bu sınırlı d¨ on¨ u¸s¨ umlerin bir ¨ orne˘ gidir ve a¸cıkca kSk = 1, Au = 0 ise u = 0 oldu˘ gundan 1 − 1 fakat ¨ orten de˘ gildir. Ger¸cekten S’nin g¨ or¨ unt¨ u k¨ umesi

(15.5) H

1

= {u ∈ L

2

: (u, e

1

) = 0}

131

(3)

altuzayıdır.

Do˘ grudan ya da A¸cık D¨ on¨ u¸s¨ um Teoremi kullanılarak, S’nin H dan H

1

’e sınırlı do˘ grusal olarak tersinir oldu˘ gunu fakat H da ¨ orten olmadı˘ gını g¨ ostermek kolaydır. Bu haftanın alı¸stırmalarında g¨ or¨ ulebilece˘ gi gibi, k¨ u¸c¨ uk permutasy- onlarla tersinir yapılamaz. Bu ayrıca, B(H) nın tersinir elemanlarının k¨ umesi yo˘ gun olmadı˘ gını g¨ osterir-bu sonlu boyutlu olma durumundan epey farklıdır.

Sonu¸cta tersinebilir elemanlar hakkında konu¸sulmaya ba¸slandı:

(15.6) GL(H) = {A ∈ B(H) : ∃ B ∈ B(H), BA = AB = Id}.

Onteorem 10. A ∈ B(H) ve kAk < 1 ise ¨

(15.7) Id − A ∈ GL(A).

Kanıt. Neumann serileri. kAk < 1 ise kA

j

k ≤ kAk

j

ve buradan Neumann serileri,

(15.8) B =

X

j

A

j

,

P

j=0

kA

j

k yakınsak oldu˘ gundan, B(H) da mutlak toplanabilirdir. Ustelik, ¨

¸carpımın norma g¨ ore s¨ ureklili˘ ginden

(15.9) AB = A lim

n→∞

n

X

j=0

A

j

= lim

n→∞

n+1

X

j=1

A

j

= B − Id

elde edilir. Benzer bi¸cimde BA = B − Id. Bu (Id − A)B = B(Id − A) = Id oldu˘ gunu g¨ osterir. B¨ oylece B, Id − A nın 2-taraflı tersidir.

Onerme 22. B(H) uzayının tersinir elemanlarının grubu GL(H) a¸cık fakat ¨ yo˘ gun de˘ gildir .(H sonsuz boyutlu ise ).

Kanıt. Bir sonraki derste ele alınacaktır.

132

Referanslar

Benzer Belgeler

Genel olarak sınırlı ¨ oze¸slenik d¨ on¨ u¸s¨ umlerin oldukca yerle¸smi¸s spektral kuramı olmasına kar¸ın burada yer verilmeyecektir.. Ayrıca ¨ oze¸slenik olmayan

¨ Ustelik maksimum yada minumumu sıfır de˘ gil ise, bu, A’nın bir ¨ ozvekt¨ or¨ unde alınan, ¨ ozde˘

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

Integral d¨ on¨ u¸s¨ umleri diliyle elde edilen A w ’nin a¸cık yazılımından a¸sa˘

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..

Bu tanımlanan dizilerin bir vekt¨ or uzayı olduklarını ve tanımlanan normun norm olmak i¸cin sa˘ glaması gereken ¨ u¸c ko¸sulu sa˘ gladı˘ gının g¨ osterilmesi

C ¸ ¨ oz¨ um: Herhangi bir k¨ umeden de˘ gerlerini bir vekt¨ or uzayında alan fonksiy- onların vekt¨ or uzayı oldu˘ gunu biliyoruz- buradaki toplama i¸slemi de˘ gerlerin

(3) Birele¸simleri bir dikd¨ ortgen i¸erisinde kalan sayılabilir ayrık dikd¨ ortgenler toplulu˘ gunun alanlarının toplamı i¸cinde kalan dikd¨ ortgenin alanının toplamından