• 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 11. KAPALI KONVEKS K ¨ UMELER VE UZUNLU ˘ GUN M˙IN˙IMALLES ¸T˙IR˙ILMES˙I

Yeni kavramları ¨ o˘ grenece˘ giz. Bunlar ¸ce¸sitli ders kitaplarında ve ders not- larında var.Bu nedenle bunları ¨ ozet olarak verece˘ giz.

(1) Konveks k¨ umelerde uzunlu˘ gun minimalle¸stirilmesi

A¸sa˘ gıdaki sonu¸c i¸cin Hilbert uzayın ayrılabilir olması gerekmez ve bazı yeni sonu¸cların, ¨ ozellikle de t¨ um genelli˘ gi ile Riesz Temsil Teoreminin kanıtlanmasına olanak verir.

Onerme 17 Bir Hilbert uzayı H’nın altk¨ ¨ umesi C a¸sa˘ gıdaki ¨ ozellikleri sa˘ glasın.

(a) bo¸s k¨ umeden farklı, (b) kapalı,

(c) konveks, yani v 1 , v 2 ∈ C ise 1 2 (v 1 + v 2 ) ∈ C,

Bu durumda orijine en yakın bir v ∈ C noktası vardır. Yani (11.1) kvk H = inf

u∈C kuk H .

Kanıt. Infimumun tanımı gere˘ gi kv n k → d = inf u∈C kuk olacak bi¸cimde C de bir (v n ) dizisi vardır. (v n ) dizisinin yakınsak oldu˘ gunu g¨ osterece˘ gız ve bunun limit noktası aradı˘ gımız nokta olacak. Paralelkenar kuralı

(11.2) kv n − v m k 2 = 2kv n k 2 + 2kv m k 2 − 4

v n + v m 2

2

.

kv n k → d oldu˘ gundan, N yeterince b¨ uy¨ uk se¸cilerek verilen her  > 0 ve her n > N i¸cin 2 kv n k 2 < 2d 2 +  2

2

sa˘ glanır. Konvekslikten dolayı (v

n

+v 2

m

) ∈ C ve dolayısıyla v

n

+v 2

m

2 ≥ d 2 . Bunları birle¸stirerek

(11.3) n, m > N ⇒u ∈ C, kuk H ≤ 4d 2 +  2 − 4d 2

elde edilir, dolayısıyla (v n ) Cauchy dizisidir. H tam oldu˘ gundan v n → v ∈ C,

¸c¨ unk¨ u C kapalıdır. ¨ Ustelik norm s¨ urekli ve dolayısıyla kvk H = lim n→∞ kv n k = d.

B¨ oylece v’nin varlı˘ gını g¨ osterdik. Tekli˘ gi ise yine paralelkenar kuralından elde edilir. v ve v 0 C’nin iki noktası ve kv k=k v 0 k = d ise (v+v 2

0

) ∈ C ve dolayısıyla

(11.4) kv − v 0 k 2 = 2kvk 2 + 2kv 0 k 2 − 4

v + v 0 2

2

≤ 0 ⇒ v = v 0 .

(3)

(2) Dikt¨ umleyenler

Onerme 18. H bir Hilbert uzayı ve W ⊂ H bir altuzay ise ¨ (11.5) W = {u ∈ H : (u, w) = 0 ∀w ∈ W } bir do˘ grusal altuzaydır ve W ∩ W = {0} dır. Ayrıca W kapalı ise

(11.6) H = W ⊕ W

dir. Yani her u ∈ H i¸cin u = w + w olacak bi¸cimde tek w ∈ W ve tek w ∈ W vardır.

Kanıt. (11.5) deki W ’nın do˘ grusal altuzay oldu˘ gu onu tanımlayan ko¸suldan g¨ or¨ ul¨ ur. u ∈ W ve u ∈ W ise u⊥u, tanımdan, (u, u) = kuk 2 = 0 ve u = 0 elde edilir.

S ¸imde W ’nın kapalı oldu˘ gunu varsayalım. W = H ise W = {0} ve bu durumda g¨ osterecek bir¸sey yoktur. Dolayısıyla u ∈ H ve u 6∈ W olsun.

(11.7) C = u + W = {u 0 ∈ H : u 0 = u + w, w ∈ W }

k¨ umesini ele alalım. Bu durumda w n , W de bir dizi olmak ¨ uzere, u 0 n = u + w n i¸cin u 0 n ile w n nin yakınsak olmaları denk olduklarından C kapalıdır. u ∈ C oldu˘ gundan C bo¸s k¨ umeden farklıdır. u 0 = u+w 0 ve u 00 = u+w 00 elemanlarının C de olması u

0

+u 2

00

= u + w

0

+w 2

00

∈ C olmasını gerektirdi˘ ginden C konveksdir.

B¨ oylece yukarıdaki sonu¸ctan uzunlu˘ gun minimalle¸stirilmesi uygulanarak kvk = inf u

0

∈C ku 0 k e¸sitli˘ gini sa˘ glayan tek bir v ∈ C bulunur. Iddiamız v’nın W ’ye dik oldu˘ gudur -iki ger¸cel boyutta bir resmini ¸cizmek yararlı olacaktır! Bunu g¨ ormek i¸cin keyfi w ∈ W noktasını alalım ve λ ∈ C olsun. Bu durumda v + λw ∈ C ve

(11.8) kv + λwk 2 = kvk 2 + 2Re(λ(v, w)) + |λ| 2 kwk 2 .

e (v, w) = |(v, w)| ≥ 0 olacak bi¸cimde λ = te se¸celim. G¨ osterilmek istenen (11.9) t(2 |(v, w)| + tkwk 2 ) ≥ 0 ∀t ∈ R ⇒ |(u, w)| = 0

anlamında kvk nın minimal oldu˘ gudur.

Bu ger¸cekten verilen u / ∈ W i¸cin in¸sa edilen v ∈ W vekt¨ or¨ un¨ un u = v + w

sa˘ gladı˘ gını verir. Teklik, 0 nın 0+0 ayrı¸stırmasına indirgenece˘ ginden, (11.6) yı

(4)

biricik ayrı¸stırmayla verir. Bu da W ∩ W = {0}’ı demektir.

(3) Riesz Theoremi : Bu sonu¸cların en ¨ onemli uygulaması Riesz Temsil Teoreminin kanıtlanması i¸cindir (Hilbert uzayları i¸cin ¨ ol¸c¨ umle ilgili bir ba¸ska uygulaması vardır).

Theorem 7 H bir Hilbert uzayı ise verilen s¨ urekli do˘ grusal fonksiyonel T : H → C i¸cin

(11.10) T (u) = (u, φ), ∀u ∈ H olacak bi¸cimde tek bir φ ∈ H vardır.

Kanıt. (a) ¨ Onceki ¨ onteorem kullanılmadan 10. dersde hızlıca verilen kanıt verilecek. T sıfır fonksiyoneli ise w = 0, (11.10)’nı sa˘ glar. Di˘ ger durumda T (u 0 ) 6= 0 olacak bi¸cimde u 0 ∈ H vardır. u = T (u u

00

) diyelim. u ∈ H ve T (u) = 1 dır. B¨ oylece

(11.11) C = {u ∈ H : T (u) = 1} = T −1 ({1})

bo¸s k¨ umeden farklıdır. T ’nin s¨ ureklili˘ gi ve ikinci bi¸cimi, bir s¨ urekli fonksiyonun ters g¨ or¨ unt¨ us¨ u altında kapalı bir k¨ umenin g¨ or¨ unt¨ us¨ u kapalı oldu˘ gundan, C kapalıdır. ¨ Ustelik

(11.12) T ( u + u 0

2 ) = (T (u) + T (u 0 )) 2

oldu˘ gundan C konveksdir. B¨ oylece minimal uzunlukta olan bir v ∈ C noktası vardır. Yukarıdaki kanıtta oldu˘ gu gibi, buradan her w ∈ W ve λ ∈ C i¸cin kv + λwk 2 ≥ kvk 2 elde edilir ve buradan da v ∈ W bulunur.

Kanıta a¸sa˘ gıdaki gibi devam edilir.

(b) Yukarıdaki dikt¨ umleyeni kullanarak 11. dersde verilen kanıt burada tekrarlanacaktır. T s¨ urekli oldu˘ gundan sıfır uzayı

(11.13) W = T −1 ({0}) = {u ∈ H : T (u) = 0}

kapalı do˘ grusal altuzaydır. B¨ oylece yukarıdaki ¨ Onerme 18 gere˘ gi (11.14) H = W ⊕ W

vardır. S ¸imdi, e˘ ger T = 0 fonksiyoneli ise W = H ve E = {0} ve w = 0 se¸cimi (11.10) i¸cin ¸calı¸sır. Di˘ ger durumda W de olmayan v 0 ∈ W vardır, yani, T (v 0 ) 6= 0 ve b¨ oylece v ∈ W ve T (v) = 1 sa˘ glanır. Buradan her u ∈ H i¸cin u − T (v)v a¸sa˘ gıdaki ifadeyi sa˘ glar:

(11.15) T (u − T (u)v) = T (u) − T (u)T (v) = 0 ⇒ u = w + T (u)v, w ∈ W.

(5)

(w, v) = 0 oldu˘ gundan (u, v) = T (u)kvk 2 . B¨ oylece, e˘ ger φ = kvk v

2

ise (11.16) u = w + (u, φ)v ⇒ T (u) = (u, φ)T (v) = (u, φ) dır 

(4) Sınırlı d¨ on¨ u¸s¨ umlerin e¸slenikleri.

Riesz Teoreminin bir uygulaması olarak bir Hilbert uzayında sınırlı her d¨ on¨ u¸s¨ um¨ un,

(11.17) A : H → H, kHuk H ≤ Ckuk H ∀u ∈ H, nın tek bir tane e¸slenik d¨ on¨ u¸s¨ um¨ u oldu˘ gu g¨ osterilmi¸sti. Yani

(11.18) (Au, v) H = (u, A v) ∀u, v ∈ H

olacak bi¸cimde tek bir tane sınırlı A : H → H d¨ on¨ u¸s¨ um vardır. A ’nın varlı˘ gını g¨ ormek i¸cin, A v dı¸sında, her bir v ∈ H i¸cin A v’nın nasıl olması gerekti˘ gini g¨ ormemiz gerekir. (11.18) deki gibi bir v’yi sabitliyelim. Yani

(11.19) H → C, u → (Au, v) ∈ C yi ele alalım. Bu do˘ grusal d¨ on¨ u¸s¨ umd¨ ur ve

(11.20) |(Au, v)| ≤ kAuk H kvk H ≤ (Ckvk H )kuk H

oldu˘ gundan sınırlıdır. B¨ oylece H da v’ye ba˘ glı bir s¨ urekli do˘ grusal fonksiyonel vardır. Aslında bu a¸sa˘ gıdaki iki s¨ urekli fonksiyonelin birle¸simidir:

(11.21) H → H → C, u → Au, w → (w, v).

Riesz teoremi gere˘ gi H da tekbir eleman vardır, bunu A v ile g¨ osterelim (A sadece v’ye ba˘ glı oldu˘ gundan),

(11.22) (Au, v) = (u, A v), ∀u ∈ H

sa˘ glanır. B¨ oylece A : H → H tanımlanır fakat do˘ grusal ve s¨ urekli oldu˘ gunu kontrol etmeliyiz. Do˘ grusallık Riesz teoreminin teklik kısmından g¨ or¨ ul¨ ur.

B¨ oylece v 1 , v 2 ∈ H ve c 1 , c 2 ∈ C ise

(11.23) (Au, c 1 v 1 + c 2 v 2 ) = c 1 (Au, v 1 ) + c 2 (Au, v 2 )

(6)

= c 1 (u, A v 1 ) + c 2 (u, A v 2 ) = (u, c 1 A v 2 + c 2 A v 2 ),

burada A v 1 ve A v 2 nın tanımları kullanılarak, teklikten dolayı, A (c 1 v 1 + c 2 v 2 ) = c 1 A v 1 + c 2 A v 2 oldu˘ gu elde edilir.

Cauchy e¸sitsizli˘ ginin optimalli˘ ginden (11.24) kvk H = sup

kuk=1

|(u, v)| ,

(do˘ gru mu? de˘ gil ise u = kvk v alınız.) ve buradan da (11.25) kA vk = sup

kuk=1

|(u, A v)| = sup

kuk=1

|(Au, v)| ≤ kAk kvk elde edilir. B¨ oylece

(11.26) kA k ≤ kA k .

(A ) = A olmasından, bu e¸sitsizli˘ gin tersi de do˘ grudur ve b¨ oylece (11.27) kA k = kA k

bulunur.

Referanslar

Benzer Belgeler

sa˘ glayan bir

S nin t¨ urevlenebilir bir y¨ uzey oldu˘ gunu g¨ osterirken olu¸sturulan yamalarda bazı de˘ gi¸siklikler yaparak yeni ya- malar olu¸sturaca˘ gız.. Bu yamaların d¨ uzg¨ un ve

Bu topolojiye g¨ore t¨ um kapalı aralıkların kapalı k¨ ume oldu˘ gunu g¨ osteriniz2. Kapalı aralık olmayan bir kapalı k¨

E˘ger f bir a noktasında maksimum de˘ gerine ula¸sıyor ise f nin a da s¨ urekli oldu˘ gunu g¨

[r]

The Alya Group holds interests in several business opera�ng primarily in the contract &amp; project, upholstery tex�le collec�ons, interior design solu�ons, contract furniture,

It turns out that for a general domain G in the complex plane there is always a SOT continuous up to the boundary of harmonic mapping on G for a given SOT continuous function on

Bu kuralları olu¸sturmak i¸ cin kul- landıˇ gımız fikir ¸sudur: ger¸ cek sa¸ cılım davranı¸sını temsil eden s¨ ozl¨ uk elemanı y¨ onlendirme grafiˇ ginin i¸ cinde