MIT Açık Ders Malzemeleri Bu materyallerden alıntı yapmak veya Kullanım Koşulları hakkında bilgi almak için

Benzer belgeler
MIT Açık Ders Malzemeleri Bu materyallerden alıntı yapmak veya Kullanım Koşulları hakkında bilgi almak için

MIT Açık Ders Malzemeleri Bu materyallerden alıntı yapmak veya Kullanım Koşulları hakkında bilgi almak için

MIT Açık Ders Malzemeleri Bu materyallerden alıntı yapmak veya Kullanım Koşulları hakkında bilgi almak için

MIT Açık Ders Malzemeleri Bu materyallerden alıntı yapmak veya Kullanım Koşulları hakkında bilgi almak için

MIT Açık Ders Malzemeleri Bu materyallerden alıntı yapmak veya Kullanım Koşulları hakkında bilgi almak için

MIT Açık Ders Malzemeleri Bu materyallerden alıntı yapmak veya Kullanım Koşulları hakkında bilgi almak için

MIT Açık Ders Malzemeleri Bu materyallerden alıntı yapmak veya Kullanım Koşulları hakkında bilgi almak için

MIT Açık Ders Malzemeleri Bu materyallerden alıntı yapmak veya Kullanım Koşulları hakkında bilgi almak için

MIT Açık Ders Malzemeleri Bu materyallerden alıntı yapmak veya Kullanım Koşulları hakkında bilgi almak için

MIT Açık Ders Malzemeleri Bu materyallerden alıntı yapmak veya Kullanım Koşulları hakkında bilgi almak için

1.4 Tam Metrik Uzay ve Tamlaması

Fonksiyonel Analize Giriş I Ara S nav Sorular 29 Kas m Bir metrik uzayda her kapal yuvar kapal bir kümedir. Ispatlay n z.

(14) (19.43) de v yi sağlayan fonksiyona karşılık gelen u = F v fonksiyonunun ikinci türevi sürekli, R de 2π periodik ve

X normlu bir uzay olsun.x üzerindeki tüm gerçel veya karmaşık değerli sürekli (sınırlı) fonksiyoneller,x deki x ve α sayıları için

İleri Diferansiyel Denklemler

Ankara Üniversitesi Kütüphane ve Dokümantasyon Daire Başkanlığı Açık Ders Malzemeleri. Ders izlence Formu

İç-Çarpım Uzayları ÜNİTE. Amaçlar. İçindekiler. Yazar Öğr. Grv. Dr. Nevin ORHUN

Cebir 1. MIT Açık Ders Malzemeleri

ANAL IZ III Aras nav Sorular

İleri Diferansiyel Denklemler

SORU 1: En az iki elemana sahip bir X kümesi ile bunun P (X) kuvvet. kümesi veriliyor. P (X) üzerinde 0 ; A = 1 ; A

İleri Diferansiyel Denklemler

Şimdi de [ ] vektörünün ile gösterilen boyu veya büyüklüğü Pisagor. teoreminini iki kere kullanarak

1. Metrik Uzaylar ve Topolojisi

İleri Diferansiyel Denklemler

MIT OpenCourseWare Ekonomide İstatistiksel Yöntemlere Giriş Bahar 2009

İleri Diferansiyel Denklemler

Doğrusal Olmayan Devreler, Sistemler ve Kaos

MIT Açık Ders Malzemeleri Bu materyallerden alıntı yapmak veya Kullanım Koşulları hakkında bilgi almak için

FONKS IYONEL ANAL IZE G IR IŞ I Aras nav Sorular

GENİŞLEMEYEN DÖNÜŞÜMLER İÇİN SABİT NOKTA YAKLAŞIM METOTLARI VE VARYASYONEL EŞİTSİZLİK PROBLEMLERİ İbrahim KARAHAN Doktora Tezi Matematik Anabilim

Ad ve Soyad : Numaras : Analiz III Aras nav Sorular

PAMUKKALE ÜNİVERSİTESİ FEN BİLİMLERİ ENSTİTÜSÜ TOPLANABİLEN VEYA SINIRLI OLAN DİZİ UZAYLARI ARASINDAKİ DÖNÜŞÜMLERİN ÖZELLİKLERİ

MATEMATİK ÖĞRETMENLİK ALAN BİLGİSİ - DENEME SINAVI DENEME. Diğer sayfaya geçiniz.

T I M U R K A R A Ç AY - H AY D A R E Ş C A L C U L U S S E Ç K I N YAY I N C I L I K A N K A R A

6. Ders. Mahir Bilen Can. Mayıs 16, 2016

ANALİZ III. Mert Çağlar

SORU 1: Herbir A R kümesi için A G ve λ (A) = λ (G) olacak şekilde. ÇÖZÜM 1: B sayılabilir bir küme olsun. Bu durumda λ (B) = 0 gerçeklenir.

MIT Açık Ders Malzemeleri Bu materyallerden alıntı yapmak veya Kullanım Koşulları hakkında bilgi almak için

KONU 4: DOĞRUSAL PROGRAMLAMA MODELİ İÇİN ÇÖZÜM YÖNTEMLERİ I

; k = 1; 2; ::: a (k)

Analiz III Ara S nav Sorular 24 Kas m 2010

AFYON KOCATEPE ÜNİVERSİTESİ FEN BİLİMLERİ ENSTİTÜSÜ MATEMATİK ANABİLİM DALI BAŞKANLIĞI YÜKSEK LİSANS PROGRAMI

Reel Analiz I (MATH 244) Ders Detayları

İleri Diferansiyel Denklemler

3. Ders. Mahir Bilen Can. Mayıs 11, Önceki Dersteki Sorular ile İlgili Açıklamalar

13.Konu Reel sayılar

FEM ile, Hapsolmuş Kuantum Mekaniksel Sistemlerin Çözümü

AFYON KOCATEPE ÜNİVERSİTESİ FEN BİLİMLERİ ENSTİTÜSÜ MATEMATİK ANABİLİM DALI BAŞKANLIĞI DOKTORA PROGRAMI

Lineer Dönüşümler ÜNİTE. Amaçlar. İçindekiler. Yazar Öğr. Grv.Dr. Nevin ORHUN

ab H bulunur. Şu halde önceki önermenin i) koşulu da sağlanır ve H G bulunur.

İleri Diferansiyel Denklemler

7. BÖLÜM İÇ ÇARPIM UZAYLARI İÇ ÇARPIM UZAYLARI İÇ ÇARPIM UZAYLARI İÇ ÇARPIM UZAYLARI .= Genel: Vektörler bölümünde vektörel iç çarpım;

1 Vektör Uzayları 2. Lineer Cebir. David Pierce. Matematik Bölümü, MSGSÜ mat.msgsu.edu.tr/~dpierce/

İleri Diferansiyel Denklemler

İleri Diferansiyel Denklemler

28/04/2014 tarihli LYS-1 Matematik-Geometri Testi konu analizi SORU NO LYS 1 MATEMATİK TESTİ KAZANIM NO KAZANIMLAR 1 / 31

Soru 1. Soru 5. Soru 2. Soru 6. Soru 3. Soru 7.

VEKTÖR UZAYLARI 1.GİRİŞ

Lineer Cebir. Doç. Dr. Niyazi ŞAHİN TOBB. İçerik: 1.1. Lineer Denklemlerin Tanımı 1.2. Lineer Denklem Sistemleri 1.3. Matrisler

İleri Diferansiyel Denklemler

14.Konu Reel sayılarının topolojisi. 1.Tanım:, verilsin. açık aralığına noktasının -komşuluğu denir. { } kümesine nın delinmiş -komşuluğu denir.

T.C. İNÖNÜ ÜNİVERSİTESİ FEN BİLİMLERİ ENSTİTÜSÜ

A; e A; A kümelerini tan mlay n z. (x) = fb 2 B : x 2 Bg

Özdeğer ve Özvektörler

sonlu altörtüsü varsa bu topolojik uzaya tıkız diyoruz.

Bu tanım aralığı pozitif tam sayılar olan f(n) fonksiyonunun değişim aralığı n= 1, 2, 3,, n,

DEĞİŞMELİ BANACH CEBİRLERİNİN GELFAND SPEKTRUMLARI ÜZERİNE

Şekil 23.1: Düzlemsel bölgenin alanı

7. Ders. Mahir Bilen Can. Mayıs 17, 2016

1.4. KISMİ SIRALAMA VE DENKLİK BAĞINTILARI

İÇİNDEKİLER ÖNSÖZ Bölüm 1 SAYILAR 11 Bölüm 2 KÜMELER 31 Bölüm 3 FONKSİYONLAR

TOPOLOJ TEST B. (d) Dizinin limiti yoktur; y lma noktas yoktur. 4. Dizisel süreklilik hangi uzaylarda süreklili e denktir?

İleri Diferansiyel Denklemler

MIT OpenCourseWare Ekonomide İstatistiksel Yöntemlere Giriş Bahar 2009

12. Ders. Mahir Bilen Can. Mayıs 24, Son dersten hatırlayacağınız üzere simetrikleştirme operasyonundan elde ettiğimiz fonksiyon.

Hamel Taban ve Boyut Teoremi

Cebir 1. MIT Açık Ders Malzemeleri

ANADOLU ÜNİVERSİTESİ AÇIKÖĞRETİM FAKÜLTESİ İLKÖĞRETİM ÖĞRETMENLİĞİ LİSANS TAMAMLAMA PROGRAMI. Lineer. Cebir. Ünite

Cebir 1. MIT Açık Ders Malzemeleri

' : (X; kk)! (R; jj) ; ' (x) = kxk fonksiyonunun

Lineer Bağımlılık ve Lineer Bağımsızlık

Diziler. Tanım 9.1. a i0, a i1, a i2,..., a in,... (9.2)

Tanım 2.1. X boş olmayan bir küme olmak üzere X den X üzerine bire-bir fonksiyona permütasyon denir.

Soru Toplam Puanlama Alınan Puan

LİNEER CEBİR ve MÜHENDİSLİK UYGULAMALARI (MEH111) Dersi Final Sınavı 1.Ö

ANALİZ IV. Mert Çağlar

ÇUKUROVA ÜNİVERSİTESİ FEN BİLİMLERİ ENSTİTÜSÜ

TOPOLOJ TEST A. 1. A³a dakilerden hangisi topoloji tanmlama yöntemi de ildir?

LYS MATEMATİK DENEME - 1

KPSS MATEMATÝK. SOYUT CEBÝR ( Genel Tekrar Testi-1) N tam sayılar kümesinde i N için, A = 1 i,i 1

2 1 fonksiyonu veriliyor. olacak şekilde ortalama değer teoremini sağlayacak bir c sayısının var olup olmadığını araştırınız. Eğer var ise bulunuz.

İleri Diferansiyel Denklemler

Matris Cebiriyle Çoklu Regresyon Modeli

İleri Diferansiyel Denklemler

Topolojik Uzaylarda Süreklilik Çeşitleri Üzerine

TOPOLOGY TEST A³a dakilerden hangisi bir süzgeç de ildir? 3. A³a dakilerden hangisi a³kn bir süzgeç de ildir?

Ç NDEK LER II. C LT KONULAR Sayfa Öz De er Öz Vektör.. 2. Lineer Cebir ve Sistem Analizi...

Bu durumu, konum bazında bileşenlerini, yani dalga fonksiyonunu, vererek tanımlıyoruz : ) 1. (ikx x2. (d)

9.Konu Lineer bağımsızlık, taban, boyut Germe. 9.1.Tanım: V vektör uzayının her bir elemanı

Transkript:

MIT Açık Ders Malzemeleri http://ocw.mit.edu Bu materyallerden alıntı yapmak veya Kullanım Koşulları hakkında bilgi almak için 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 147

18.102 Fonksiyonel Analize Giriş Bahar Dönemi 2009 DERS 18. KOMPAKT DÖNÜŞÜMLER Geçen derste izi sonlu boyutlu dönüşümlerin yanısıra ayrılabilir bir Hilbert uzayı üzerindeki sınırlı dönüşümlerden oluşan dönüşüm cebiri B(H) ele aldık. Izi sonlu boyutlu dönüşümler hem bir ideal hem de eşlenik alma altında kapalıdırlar. Izi sonlu dönüşümlerin norm-limitlerinden oluşan dönüşümler de bir ideal oluştururlar. Bu ideal de norm ve eşlenik alma altında kapalıdır. Tanım H ayrılabilir bir Hilbert uzayı olmak üzere, K B(H) kompakt dönüşüm olması bu dönüşüm altında kapalı birim yuvarın izinin önkompakt olmasıdır. Yani,kapanışı kompakt bir kümedir- K{u H : } kümesinin kapanışı kompakttır. Önteorem 12 Bir K B(H) dönüşümünün kompakt olması için yeter ve gerek koşul, zayıf yakınsayan her (u n ) dizisinin izi K(u n ) nin norm yakınsamasıdır. Kanıt Önce (u n) dizisinin zayıf yakınsayan bir dizi ve K dönüşümünüm kompakt olduğunu varsayalım. (u n ) dizisi norm sınırlı, yani u n C olduğundan Ku n dizisi CKB(0, 1) içindedir.(kuşkusuz D kümesi kompakt ise, her c sabiti için cd kümesi de kompakttır.) Böylece Ku n dizisinin her altdizisinin yakınsayan bir altdizisi olduğunu ve limitin ise Ku olduğunu elde ederiz.( bu esasında her sınırlı dönüşüm için geçerli olan bir özelliktir: görmek için sadece (18.1) (Ku n, v) = (u n, K v) (u, K v) = (Ku, v)) hesaplamak yeterlidir. Ancak bir metrik uzayda her altdizinin aynı limite yakınsayan altdizisinin varlığı dizinin yakınsamasını gerektirir( bunu anımsamıyorsanız, işte bir anımsatma: bir (v n ) v noktasına yakınsamasın. Bir ɛ > 0 sayısı için d(v nk, v) ɛ sağlayan altdizi vardır. Ancak bu her altdizisinin sabit bir v ye yakınsadığı altdizisi olan bir dizi için olanaksızdır. Ters yöndeki kanıt için K dönüşümünün zayıf yakınsayan dizileri normda yakınsayan dizilere dönüştürdüğünü kabul edelim. Göstermek istediğimiz K(B(0, 1)) kümesinin kapanışının kompakt olduğudur. Ancak bu K(B(0, 1)) kümesindeki her dizinin normda yakınsayan bir altdizisi olmasına denktir-burada limitin kümede olup, olmaması sorun değildir. Böylesi bir dizi u n, öğeleri B(0, 1) yuvarından olmak üzere Ku n biçimindedir. Ancak birim yuvarın zayıf kompakt olduğunu biliyoruz, yani bir u vektörüne zayıf yakınsayan u nj altdizisi bulabiliriz. Önteoremin nın varsayımından, Ku nj dizisinin normda Ku yakınsadığını biliyoruz. Dolayısı ile gerçekten u n dizisinin yakınsayan bir altdizisi vardır ve K(B(0, 1)) kümesinin kapanışı kompaktır. 148

Önerme 25 Ayrık Hilbert uzayı H üzerindeki K B(H) dönüşümünün kompakt olması için gerek ve yeter koşul izi sonlu bir dönüşüm dizisinin norm limiti olmasıdır. Başka bir deyişle kompakt dönüşümler ideali, izi sonlu olan dönüşümler idealinin norm kapanışıdır. Kanıt. İlk yapmamız gereken kompakt bir dönüşümün izi sonlu dönüşümlerden oluşan bir dizinin norm limiti olduğunu göstermektir. Bunun için ayrılabilir bir Hilbert uzayın kompakt altkümelerinin-daha önce gördüğümüz- bir betimlenişini kullanacağız. Buna göre eğer e i, H uzayı için bir ortonormal taban ise I H altkümesinin kompakt olması için gerek ve yeter koşul I nın kapalı, sınırlı ve her ɛ > 0 için (18.2) (v, e i ) 2 < ɛ 2, v I i>n sağlamasıdır. Şimdi bunu, K kompakt bir dönüşüm olmak üzere K(B(0, 1)) kümesine uygulayacağız. K(B(0, 1)) kümesi kompakt bir küme içindedir, dolayısı ile (18.2) buna uygulanabilir. Yani, her ɛ > 0 için öyle n vardırki (18.3) (Ku, e i ) 2 < ɛ 2, u H, u 1 i>n her n için bu serilerin ilk kısımlarını düşünelim ve (18.4) K n u = k n(ku, e i )e i tanımlıyalım. Bu dönüşüm doğrusal ve izi sonludur- çünkü izi (e i ) dizisinin ilk n öğesinin gerdiği uzay içinde kalmaktadır. Ancak bu bir ortonormal taban olduğundan, (18.5) Ku K n u 2 H = (Ku, e i ) 2 i>n (18.3), Ku K n u ɛ olduğunu gösterir. Artan n ile Ku K n u küçüldüğünden, verilen ɛ > 0 için bulunacak n ve ondan büyük N değerleri için (18.6) K K N 2 B(H) = sup u 1 Ku K n u ɛ sağlanır. Dolayısı ile gerçekten norm da K n K ve kompakt operatörler sonlu ranklı dönüşümlerin norm kapanışında bulunmaktadırlar. 149

Şimdi tersine T n dönüşümleri sonlu ranklı olmak üzere T n dönüşümlerinin norm da K dönüşümüne yakınsadığını varsayalım- burada izlerin sonlu olmaları dışında iz hakkında başka bir şey bilmiyoruz. Göstermek istediğimiz K dönüşümünün kompakt, yani KB(o, 1) kümesinin önkompakt olmasıdır. Bu küme K dönüşümünün normu ile sınırlıdır. Ayrılabilir bir Hilbert uzayında kompakt kümeleri betimleyen daha önceki bir sonuç tan ötürü KB(0, 1) kümesinde zayıf yakınsayan her dizinin norm yakınsayan bir altdizisi olduğunu göstermek yeterli olacaktır. Burada limitin KB(0, 1) kümesinde olması gerekmez sadece varlığı, KB(0, 1) kümesinin kapanışının kompaktlığı için yeterli olacaktır. Dolayısı ile v k, KB(0, 1) içinde zayıf yakınsayan bir dizi olsun. Bu dizi, u k lar birim yuvarda olmak üzere Ku k biçiminde olacaklardır. Birim yuvar zayıf topolojide kompakt olduğundan bu dizinin bir u vektörüne yakınsayan altdizisi olacaktır ama bu yakınsayan altdiziyi de u k ile gösterirsek, u k u zayıf yakınsaması vardır. Şimdi tüm T n dönüşümleri sonlu izli olduğundan her n için, k iken (T n v k ) normda yakınsamalıdırlar- sonlu boyutlu bir uzayda (T n v k, w) = (v k, T nw) zaten sağlandığından, üçgen eşitsizliği ve dönüşüm normunun tanımından (18.7) Kv k Kv l Kv k T n v k + T n v k T n v l + T n v l Kv l 2 K T n + T n v k T n v l Şimdi verilen ɛ > 0 için n yeterince büyük seçilerek K T n < ɛ/3 sağlanır. Böylece n sabitlendikten sonra, aynı n için T n v k dizisinin Cauchy dizisi olduğu kullanılarak her k, l > p için T n v k T n v l ɛ/3 sağlatan p tamsayısı belirlenir. Şimdi (18.7) den T v k dizisinin Cauchy dizisi olduğu elde edilir. Hilbert uzayının tamlığından bu Cauchy dizisinin yakınsadığı ve böylece K dönüşümünün kompaktlığı elde edilir. Buradan kompakt dönüşümler idealinin kapalı olduğu elde edilir- bunu doğrudan yukarıdan görebileceğiniz gibi sonlu ranklı dönüşümlerin kapanışı olmalarından da elde edebilirsiniz. 150

PROBLEMLER 8 İN ÇÖZÜMLERİ Problem 8.1 Sürekli bir fonksiyon K : [0, 1] L 2 (0, 2π) nın her x [0, 1] için K(x) L 2 (0, 2π) nın Fourier serisinin düzgün yakınsadığını gösteriniz, yani: K n (x), k n üzerinde Fourier serisinin toplamı ise K n : [0, 1] L 2 (0, 2π) süreklidir ve (18.8) sup x [0,1] K(x) K n (x) L 2 (0,2π) 0. İp ucu: Daha önce kanıtı verilen Hilbert uzayında bir kompaktlık özelliğini kullanınız. Problem 8.2 Çekirdeği K C([0, 1] 2 ) olan L 2 (0, 1) de tanımlı integral dönüşümünü ele alalım, yani (18.9) T (u)(x) = K(x, y)u(y). T nın L 2 de sürekli olduğunu ve sonlu ranklı dönüşümlerin norm kapanışında olduğunu gösteriniz. İp ucu: Önceki problemi kullanınız. Bu şekilde tanımlanan sürekli fonksiyon K için, x [0, 1] K(x,.) C([0, 1]) fonksiyonunun sürekli olduğunu ve böylece K : [0, 1] L 2 (0, 1) sürekli, dolayısıyla az önceki problem aralık yeniden ayarlanarak uygulanır. Daha detaylı bir yardımcı görüş: K(x, y) yi L 2 (0, 1) de değer alan x değişkenli bir fonksiyon olarak ele alabiliriz. K n (x, y) önceki problemde verilen değişkenleri x, y olan fonksiyon olsun. Bu fonksiyonun n noktasında y değişkenine göre Fourier serisinin budanmış halini alalım. Bu fonksiyonun L 2 (0, 1) de sonlu ranklı bir dönüşüm tanımladığını gösteriniz. Sürekli fonksiyonlarda değer aldığı kuşkusuz. Ama aynı zamanda görüntüler kare integrallenebilir. Buradaki fikir n büyüdükçe fark dönüşümünün olan K K n dönüşüm normunun sıfıra gitmesidir. Bunu göstermek açıklayıcı olabilir. Diğer durum için x ve y lerin rolleri değiştirilir. Problem 8.3 Bir değişkenli Lebesgue integrallenebilir fonksiyonlara odaklanılmasına karşın, bir yerde, örtme önteoremi 2 boyut için kanıtlandı. Burada yapılan tartışmayı iki boyuta taşımaktı. L 2 ((0, 2π) 2 ) nin bir Hilbert uzayı olduğunu gösterdiğinizi varsayalım. Kanıt için bilmedikleriniz bir listesini yaparak exp(ikx+iyl), (k, l Z) fonksiyonlarının tam ortonormal taban olduğunun 2π gösterilmesidir. (0,1) 151