Alıştırmalara yanıtlar

Benzer belgeler
Ders 2: Manifold, kritik noktaları ve indisleri

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

Ders 2: RP 1 ve RP 2 - Reel izdüşümsel doğru ve

x 2i + A)( 1 yj 2 + B) u (v + B), y 1

Ders 8: Konikler - Doğrularla kesişim

Ders 10: Düzlemde cebirsel eğriler

3. V, R 3 ün açık bir altkümesi olmak üzere, c R. p noktasında yüzeye dik olduğunu gösteriniz.(10

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

Cebir 1. MIT Açık Ders Malzemeleri

MAT355 Kompleks Fonksiyonlar Teorisi I Hafta 3

Jeodezi

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

Ders 9: Bézout teoremi

1. Hafta Uygulama Soruları

Bir özvektörün sıfırdan farklı herhangi bri sabitle çarpımı yine bir özvektördür.

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

25. f: R { 4} R 28. ( ) 3 2 ( ) 26. a ve b reel sayılar olmak üzere, 27. ( ) eğrisinin dönüm noktasının ordinatı 10 olduğuna göre, m kaçtır?

Üç Boyutlu Uzayda Koordinat sistemi

KUADRATİK FORM. Tanım: Kuadratik Form. Bir q(x 1,x 2,,x n ) fonksiyonu

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

2012 LYS MATEMATİK SORU VE ÇÖZÜMLERİ Niyazi Kurtoğlu

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

1. Metrik Uzaylar ve Topolojisi

Math 103 Lineer Cebir Dersi Final Sınavı

Bölüm-4. İki Boyutta Hareket

LYS YE DOĞRU MATEMATİK TESTİ

Türev Uygulamaları ÜNİTE. Amaçlar. İçindekiler. Yazar Prof.Dr. Vakıf CAFEROV

Nokta uzayda bir konumu belirtir. Noktanın 0 boyutlu olduğu kabul edilir. Herhangi bir büyüklüğü yoktur.

f fonksiyonuna bir üç değişkenli fonksiyon adı verilir. Daha çok değişkenli fonksiyonlar benzer şekilde tanımlanır.

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

VEKTÖR UZAYLARI 1.GİRİŞ

MAT 101, MATEMATİK I, FİNAL SINAVI 08 ARALIK (10+10 p.) 2. (15 p.) 3. (7+8 p.) 4. (15+10 p.) 5. (15+10 p.) TOPLAM

ÖSYM. 1. Bu testte 40 soru vardır. 2. Cevaplarınızı, cevap kâğıdının Matematik Testi için ayrılan kısmına işaretleyiniz AYT/Matematik

MATEMATİK TESTİ LYS YE DOĞRU. 1. Bu testte Matematik ile ilgili 50 soru vardır.

T.C. ÇANAKKALE ONSEKİZ MART ÜNİVERSİTESİ

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

Soru Toplam Puanlama Alınan Puan

Bu bölümde Coulomb yasasının bir sonucu olarak ortaya çıkan Gauss yasasının kullanılmasıyla simetrili yük dağılımlarının elektrik alanlarının çok

8. HOMOMORFİZMALAR VE İZOMORFİZMALAR

Cebirsel Fonksiyonlar

İleri Diferansiyel Denklemler

HOMOGEN OLMAYAN DENKLEMLER

EĞİTİM - ÖĞRETİM YILI 10. SINIF MATEMATİK DERSİ DESTEKLEME VE YETİŞTİRME KURSU KAZANIMLARI VE TESTLERİ


AYT 2018 MATEMATİK ÇÖZÜMLERİ. ai i İçler dışlar çarpımı yapalım. 1 ai i a i 1 ai ai i. 1 ai ai 1 ai ai 0 2ai a 0 olmalıdır.

Konik Kesitler ve Formülleri

İleri Diferansiyel Denklemler

Bölüm 24 Gauss Yasası

9. SINIF Geometri TEMEL GEOMETRİK KAVRAMLAR

LYS MATEMATİK DENEME - 1

İleri Diferansiyel Denklemler

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

Math 103 Lineer Cebir Dersi Final Sınavı

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

Üç Boyutlu Uzayda Koordinat sistemi

ÖZDEĞERLER- ÖZVEKTÖRLER

Çalışma Soruları 1. a) x > 5 b) y < -3 c) xy > 0 d) x 3 < y e) (x-2) 2 + y 2 > 1. ( ) 2x

1984 ÖYS A) 875 B) 750 C) 625 D) 600 E) 500

TÜREVİN UYGULAMALARI. Maksimum ve Minimum Değerler. Tanım : f bir fonksiyon ve D, f nin tanım kümesi olsun.

MAT MATEMATİK I DERSİ

Lineer Denklem Sistemleri

Denklemler İkinci Dereceden Denklemler. İkinci dereceden Bir Bilinmeyenli Denklemler. a,b,c IR ve a 0 olmak üzere,

MAT MATEMATİK I DERSİ

1.4 Tam Metrik Uzay ve Tamlaması

KUTUPSAL KOORDİNATLAR

A A = A 2 x + A 2 y + A 2 z (1) A A. Üç-boyutlu uzayda, iki tane vektörü kartezyen koordinatlarda dikkate alalım: A = Axˆx + A y ŷ + A z ẑ,

Ö.Y.S MATEMATĐK SORULARI ve ÇÖZÜMLERĐ

Alıştırmalar 1. 1) Aşağıdaki diferansiyel denklemlerin mertebesini ve derecesini bulunuz. Bağımlı ve bağımsız değişkenleri belirtiniz.


8.Konu Vektör uzayları, Alt Uzaylar

2(1+ 5 ) b = LYS MATEMATİK DENEMESİ. işleminin sonucu kaçtır? A)2 5 B)3 5 C)2+ 5 D)3+ 5 E) işleminin sonucu kaçtır?

Lys x 2 + y 2 = (6k) 2. (x 2k) 2 + y 2 = (2k 5) 2 olduğuna göre x 2 y 2 =? Cevap: 14k 2

Trigonometrik Fonksiyonlar

Topolojik Uzaylarda Süreklilik Çeşitleri Üzerine

İÇİNDEKİLER. Ön Söz...2. Noktanın Analitik İncelenmesi...3. Doğrunun Analitiği Analitik Düzlemde Simetri...25

III. DERS DİFERENSİYELLENEBİLİR YÜZEYLER

Cebir 1. MIT Açık Ders Malzemeleri

Küre Küre Üzerinde Hesap. Ders Sorumlusu Prof. Dr. Mualla YALÇINKAYA 2018

Öğrenci Seçme Sınavı (Öss) / 18 Haziran Matematik II Soruları ve Çözümleri. = 1 olur.

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

( ) ( ) { } ( ] f(x) = sinx fonksiyonunun x=0 için türevi aşağıdakilerden hangisidir. 3 ün (mod 7) ye göre denk olduğu sayı aşağıdakilerden

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

Genel Olarak Bir Yüzeyin Diğer Bir Yüzeye Projeksiyonu

T I M U R K A R A Ç AY, H AY D A R E Ş, O R H A N Ö Z E R K A L K U L Ü S N O B E L

MAT 103 ANALİTİK GEOMETRİ I FİNAL ÇALIŞMA SORULARI

İleri Diferansiyel Denklemler

Yerel olarak Öklit uzaylarına benzeyen özel topolojik uzaylar olan manifoldlar, bir geometricinin doğal çalışma uzaylarından biri.

Ad ve Soyad : Numaras : Analiz III Aras nav Sorular

T.C. Ölçme, Seçme ve Yerleştirme Merkezi

Math 103 Lineer Cebir Dersi Ara Sınavı

T.C. Ölçme, Seçme ve Yerleştirme Merkezi

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

Üç Boyutlu Uzayda Bazı Yüzeyler ve Koordinat Sistemleri

İleri Diferansiyel Denklemler

Hamel Taban ve Boyut Teoremi

Soru 1: Şekil-1 de görülen düzlem gerilme hali için: b) elemanın saat yönünde 30 0 döndürülmesi ile elde edilen yeni durum için elemana tesir

TRIGONOMETRI AÇI, YÖNLÜ AÇI, YÖNLÜ YAY

Matematikte karşılaştığınız güçlükler için endişe etmeyin. Emin olun benim karşılaştıklarım sizinkilerden daha büyüktür.

BAZI ÖZEL TİP İRRASYONEL DENKLEMLERİN ÇÖZÜM TEKNİKLERİ

Transkript:

Alıştırmalara yanıtlar Alıştırma 7. Derste tanımlanan yama kürenin yalnızca {z S 2 : z > 0} kısmını parametrize etmekte. Yapmamız gereken şey bütün küreyi böyle yamalarla örtmek. Önce ϕ : D 2 S 2, (x 1, x 2 ) (x 1, x 2, 1 x 2 1 x 2 2) parametrizasyonuna bakalım. Bu durumda yükseklik fonksiyonunun kordinatlarda ifadesi ve kritik noktalarını hesaplarsak f ϕ = (x 1, x 2 ) 1 x 2 1 x 2 2 ve D(f ϕ ) = ( ) x 1 x, 2 1 x 2 1 x 2 2 1 x 2 1 x 2 2 buluruz. Türevin 0 değerini aldığı tek nokta olan (0, 0) noktasında Hessian ı hesaplayalım: H(f ϕ )(0, 0) = 1 x 2 2 (1 x 2 1 x2 2 )3/2 x 2 x 1 (1 x 2 1 x2 2 )3/2 x 2 x 1 (1 x 2 1 x2 2 )3/2 1 x2 2 (1 x 2 1 x2 2 )3/2 (0,0) = ( ) 1 0 0 1 Henüz kürenin hepsini parametrize etmiş olmadık ama. Şu an kürenin ekvatorunu oluşturan çember az önce tanımladığımız açık komşulukların hiçbiri tarafından kapsanmıyor. Aslında bir küreyi bu tür parametrizasyonlarla tam olarak kaplayabilmek için 6 adet komşuluğa ihtiyacımız var: z + yarımküresi, z yarımküresi, y + yarımküresi, y yarımküresi, x + yarım küresi, x yarım küresi. Bu parametrizasyonlardan birine bakalım: h : R 2 S 2, (x 1, x 3 ) (x 1, 1 x 2 1 x 2 3, x 3 ). Bu y + yarım küresinin parametrizasyonudur ve bu parametrizasyonda yükseklik fonksiyonu ve Jacobian ı f h = (x 1, x 3 ) x 3, D(f h) = (0 1) olur. Dolayısıyla bu parametrizasyonda yükseklik fonksiyonunun hiçbir kritik noktası görünmüyor beklendiği gibi, çünkü bu yama (1, 0, 0) ve (0, 0, 1) noktalarını içermez. Diğer yarım kürelerin parametrizasyonu da aynı sonucu verecektir. Ayrıca S 2 nin pürüzsüz bir manifold yapısı olduğunu göstermek için 61

parametrizasyonlar arasında geçiş fonksiyonlarının da gıcır olduğunu göstermemiz gerekir. Tanımladığımız parametrizasyon fonksiyonlarının tersi kullandığımız düzlemlere (stereografik) izdüşüm şeklinde. Dolayısıyla yapılması gereken tek şey parametrizasyon düzleminden küreye fonksiyon ile çıkmak sonra geçiş yapmak istediğimiz komşuluğa uygun seçeceğimiz izdüşüm fonsiyonu ile parametrizasyon düzlemine geri gitmek. İzdüşüm fonksiyonu ve parametrizasyon fonksiyonu gıcır olacağından, geçiş fonksiyonu da gıcır olacak. Kürenin Hausdorff ve sonlu açık kümeyle kaplanabilir olması ise R 3 ten gelen topolojisinde barizdir. Alıştırma 8. Birim küre için diğer bir olası parametrizasyon küresel kordinatların θ ve φ açısını kullanmak. Bu durumda tek bir fonksiyon ve değişik komşuluklar seçilerek S 2 parametrize edilebilir. Herbir yama için fonksiyonları h i : U i R 2 S 2 : (θ, φ) (sin φ cos θ, sin φ sin θ, cos φ) alalım. Bu durumda komşulukları U 1 = (0, 2π) (0, π/2), U 2 = (0, 2π) (π/2, π), U 3 = (0, π) (0, π), U 4 = (π, 2π) (0, π), U 5 = (3π/2, π/2) (0, π), U 6 = (π/2, 3π/2) (0, π) olarak seçebiliriz. Parametrizasyon fonksiyonun tersi h 1 : h(u i ) S 2 R 2 : (x, y, z) (arctan(y/x), arccos z) şeklinde verilen gıcır bir fonksiyon olduğu için S 2 üzerine pürüzsüz bir manifold yapısı kurmaya yeterlidir. Bu durumda yükseklik fonksiyonunun herhangi bir komşulukta ifadesi ve Jacobian ını f h i = (θ, φ) cos φ, D(f h i ) = (0 sin φ) buluruz. Dolayısıyla yükseklik fonksiyonunun kritik noktaları sin φ = 0 eşitliğini sağlamalı yani kürenin kuzey ve güney kutupları φ = 0, φ = π kritik noktalar olmalı. Bu alıştırma, metindeki tartışmayla birlikte, kritik noktaların parametrizasyondan bağımsız olduğuna işaret ediyor. Alıştırma 10. Simit, T 2 = S 1 S 1 olarak düşünülebilir. Varsayalım ki ilk çemberin yarıçapı a, diğerinin b olsun. Sabit çemberin açısı θ diğeri üzerinde döndürülen çemberin açısı da φ olsun. φ açısı için φ = 0 simitin tepesine, φ = π ise simitin dibine gelecek şekilde düşünelim (Şekil 19). O zaman istediğimiz parametrizasyon fonksiyonu f : (θ, φ) (a cos θ + b sin φ cos θ, a sin θ + b sin φ sin θ, b cos φ) olacak. Simidin bir noktasının z değerinin b cos φ olduğunu görmek kolay. x ve y değerlerini görmek içinse önce (0, 0, 0) noktasından simit üzerindeki 62

herhangi bir noktaya bir vektör çizin. Simide tepeden baktığınız zaman bu vektörün boyu (a+b sin φ) olacağından bunların x ve y eksenlerine izdüşümünü bulmak kolay. Son olarak Alıştırma 8 in çözümünde küreye yaptığımız gibi, φ φ = 0 θ Şekil 19: simidi kaplayacak komşuluklar bulmamız lazım. Bu durumda dört tane komşuluk yeterli olacaktır: U 1 = (0, 2π) (0, 2π), U 2 = ( π, π) ( π, π), U 3 = ( π/2, 3π/2) (0, 2π) ve U 4 = ( π/2, 3π/2) ( π, π). O zaman koordinatlarda yazılmış yükseklik fonksiyonu ve Jacobian ı h : (θ, φ) b cos φ, J = (0 b sin φ) olur. Dolayısıyla Jacobian ın sıfır değerini aldığı yerler φ = 0 ve φ = π noktaları yani simidin tepesi ve dibi oluyor (Şekil 19). Hessian matrisini de φ = 0 noktalarında H 11 = 1 ve diğer girdileri sıfır olan, φ = π noktalarındaysa H 11 = 1 ve diğer girdileri sıfır olan bir matris olarak buluruz. Kürede yaptığımız yorumu simide de yaparsak, simidin tepesine bir su damlası bıraktığımız zaman sadece tek bir taban vektörü yönünde aşağı doğru akabilir, diğer yönde hareket edemez, simidin tepesinde kalır. Küreden farklı olarak bir tane sıfırdan farklı ve bir tane de sıfır köşegen girdisinin sonucudur bu. Alıştırma 11. İpucu: Sonsuz tane kritik nokta alın. Bunlar yalıtılmış oldukları için etraflarında birbiri ile kesişmeyen açık komşuluklar vardır. Daha sonra dışarısını da uygun bir biçimde açık komşuluklarla kaplayıp bunun sonlu bir açık alt örtüsü olmadığını gösterin. Plan, sonsuz tane birbirinden yalıtılmış kritik nokta etrafında aldığımız kesişmeyen açık kümeleri bir tıkız topolojik uzay içersine sığdıramayacağımızı 63

göstermek. M tıkız topolojik bir uzay, {p α } da kritik noktalar kümesi olsun. Bunlar yalıtılmış olduğu için herbiri etrafında diğer hiçbir kritik noktayı içermeyen U α açık kümeleri alalım. Bunlar açık örtünün ilk üyeleri. Şimdi kalan M \ ( U α ) kısmını dikkatli bir şekilde kaplayacağız. Her açık U α kümesinin içersinde kritik noktaların etrafında içleri boş küme olmayan (niye?) V α kapalı kümesi alabiliriz. V α ların içlerinin birleşiminin kapanışına S diyelim. M \ S açıktır ve M \ U α kümesini kapsar. Artık {S} {U α }, M için bir açık örtü olur. Fakat bu açık örtü içersinde {U α } lardan hiçbirini çıkaramayacağımız için M nin tıkız olmasıyla çelişiriz. Alıştırma 17. İpucu: Bu manifold üzerinde Morse olan bir fonksiyon tanımlayıp, Teorem 11 i kullanarak bu manifoldun f 1 (a) [a, b] ye difeomorf olduğunu gösterin. Bu yüzeyin silindir ile ilişkisinin görmek için düzlemi tanımlayan denklemleri yazıp, bu denklemleri çözerek çember denklemine benzer denklemler elde etmeyi deneyin. z 1 = (x 1, y 1 ) ve z 2 = (x 2, y 2 ) olsun. O zaman sorudaki koşulu sağlayan kompleks sayıların oluşturduğu A yüzeyi şu iki denklem tarafından belirlenir: (i) h(z 1, z 2 ) = x 1 x 2 y 1 y 2 = 1, (ii) g(z 1, z 2 ) = x 1 y 2 + x 2 y 1 = 0. Bu denklemler bize C 2 içersinde 2 boyutlu bir A yüzeyi verecek. Öncelikle ilersi için lazım olacak bir koşulu şimdiden fark etmekte yarar var. Eğer x 1 = 0 olursa bu x 2 y 1 = 0 ve y 1 y 2 = 1 demek olacak; bu da x 2 = 0 ve y 1 0, y 2 0 koşulunu doğuracak. Dolayısıyla x 1 = x 2 = 0 olduğu durumda y 1 ve y 2 sıfır olamayacak. Aynı şekilde y 1 = y 2 = 0 olduğundaysa x 1 ve x 2 sıfır olamayacak. Şimdi A nın bir silindire nasıl homeomorf olabileceği hakkında sezgi edinmek için denklem (ii) yi çözüp (i) in içine koymayı deneyelim: x 1 0, x 2 0 : y 2 = x 2 y 1 /x 1 y 1 0, y 2 0 : x 2 = x 1 y 2 /y 1 olacak. Paydaların birlikte sıfır olduğu bir durum olamayacağı için yalnızca bu iki denklem bize yeterli. Bunları denklem (i) in içine koyarsak sırayla elde edeceğimiz denklemler: (iii) x 1 0, x 2 0 : x 2 1 + y 2 1 = x 1 /x 2, (iv) y 1 0, y 2 0 : x 2 1 + y 2 1 = y 1 /y 2. Bunlar düzlemde çember denklemine oldukça benziyor. Ayrıca burda fark ettiğimiz bir koşul da y 1 ve y 2 nin işaretlerinin birbirinden farklı olması 64

gerektiği çünkü (iv) ün sol tarafı her zaman pozitif. Şimdi öyle bir f fonksiyonu tanımlamalıyız ki bir c R için f 1 (c) ve yukardaki denklemlerle tarif edilen kümelerin kesişimi bize bir çember vermeli. Aynı zamanda Teorem 11 i kullanabilmemiz için, yani elimizdeki A yüzeyini S 1 [a, b] olarak ifade edebilmek için f nin yüzey üzerinde kritik noktası olmaması lazım. (iii) ve (iv) e bakınca iki tane aday makul gözülebilir; birincisi f(z 1, z 2 ) = x 2 x 1, diğeriyse f(z 1, z 2 ) = x 2 x 1. Bu iki fonksiyonun da bir c için geri görüntüsünün yukardaki yüzeyle kesişimi bize çember verecek; bunu en aşağıda göreceğiz. Şimdi f(z 1, z 2 ) = x 2 x 1 fonksiyonunun yüzey üzerinde kritik bir noktası olmadığını göstereceğiz. Bunun için bir kaç yol var. Bunlardan biri yüzeyi parametrize etmek ve fonksiyonun Jacobian ını incelemek. Ama zaten amacımız yüzeyin S 1 [a, b] manifolduna difeomorf olduğunu göstermek. Dolayısıyla bu sefer daha önceki derslerde bahsettiğimiz bir yolu kullanacağız. Eğer f nin bu yüzey üzerinde kritik noktası varsa orada f nin bir sabit değer yüzeyi, A ya teğet olmalı. Bunun olması için öyle bir α, β, γ R \{0} olmalı ki α h + β g = γ f α(x 2, y 2, x 1, y 1 ) + β(y 2, x 2, y 1, x 1 ) = γ( 1, 0, 1, 0) sağlansın. Bu denklemleri çözdüğümüz zaman y 2 = y 1 = γβ ve x β 2 +α 2 2 = x 1 = γα buluruz. Ama bu x β 2 +α 2 1 y 2 + x 2 y 1 = 0 denklemini ancak x 1 = x 2 = y 1 = y 2 = 0 için sağlayabilir bu da olası değil. Dolayısıyla f fonksiyonunun bu yüzey üzerinde hiçbir kritik noktası yoktur. Şimdi f fonksiyonunun bir değer için geri görüntüsüne bakıp bunun bir çember olduğu görülmeli. Size bırakıyoruz. Alıştırma 23. Şu teoremleri kullanın: Yerel olarak tıkız kümeleri tıkız kümeler içersine gömmek mümkündür. Hausdorff uzaylarda bir nokta ve bir tıkız kümeyi ayıran ve kesişmeyen iki açık küme vardır. Hausdorff tıkız uzayların kapalı alt kümeleri tıkızdır. Her tıkız küme kapalıdır. Bizim çalıştığımız manifoldlar topolojik olarak Hausdorff ve yerel olarak R n ye homeomorf oldukları için, yerel olarak da tıkızdırlar, dolayısıyla bu teorem manifoldlar için de geçerlidir. Bu soruyu çözerken bir teorem kullanacağız. M Hausdorff ve yerel olarak tıkız bir uzay olsun. O zaman bu uzayı öyle tıkız bir uzay Ṁ içersine gömebiliriz ki Ṁ \ M tek bir noktadan oluşan bir küme olur. Bu Ṁ uzayına M nin tek nokta ile tıkızlaştırılması denir Şimdi p M ve U M, p etrafında açık bir küme olsun. Amacımız bu açık küme içersinde kapanışı tıkız olan başka bir açık küme bulmak. Öncelikle, K = Ṁ \ U kapalı bir kümedir. Tıkız Hausdorff uzaylarda kapalı alt 65

kümeler tıkız olduğu için K tıkızdır. Hausdorff uzaylarda bir nokta ve tıkız bir kümeyi birbirinden ayıran ve kesişmeyen iki tane açık küme bulunabilir. O zaman p yi ve K yi içeren ayrık açık kümeler sırasıyla W ve Y olsun. W Ṁ olduğu için kapanışı W tıkızdır. Öte yandan W ve Y ayrık kümeler olduğu için de W, K ile kesişmez. Dolayısıyla W U. Alıştırma 24. İpucu: e 1/t tarzı bir fonksiyon kullanın. Bu fonksiyonu analitik bir şekilde inşa etmemiz mümkün değildir çünkü bir komşuluk içersinde her yerde sıfır değerini alan bir fonksiyon, analitikliğinden gelen seri açılımı nedeniyle komşuluğun çevresinde ve böyle böyle tanımlı olduğu her yerde sıfır değerini almak zorunda kalacaktır. Ama manifoldumuz analitik olmadığı zaman şapka fonksiyonu gerçel değerli e 1/x veya e 1/(1 x2 ) gibi fonksiyonlar yardımı ile kurulabilir. İlk önce şöyle bir fonksiyon yaratacağız: f : R R, f(x) = { e 1/x, x > 0 0, x 0 f nin gıcır olmama riskini taşıdığı tek nokta x = 0 noktası. Öncelikle tümevarım ile fonksiyonun n inci türevinin aşağıdaki gibi verildiğini görmek olası: f (n) (x) = p n (x) e 1/x x 2n Burda p n (x) bir polinom. x, sıfıra giderken p n (x) sabit bir sayıya, e 1/x ise x 2n sıfıra gider. Şimdi F (t) = fonksiyonuna bakalım. Bu fonksiyon x 1 için f(2 x) f(2 x) f(2 x) f(2 x)+f(x 1) = 1, (1, 2] aralığında 1 ile 0 arasında, x > 2 içinse 0 değerini alan bir gıcır fonksiyondur. Paydası sıfır değerini asla almaz çünkü f(2 x) ve f(x 1) aynı anda sıfır olamaz ve ikisi de her zaman pozitif değer alır. O zaman şapka fonksiyonunu şöyle tanımlayabiliriz: H : R n [0, 1], H(x p) = F ( x p ) Bu durumda H fonksiyonu p etrafındaki kapalı birim diskte 1 değerini, 2 yarıçaplı kapalı diskle ve birim disk arasında kalan bölgede 1 ile 0 arasında bir değeri ve bu 2 yarıçaplı diskin dışında sıfır değerini alan gıcır bir fonksiyondur. Alıştırma 25. Simetri: Eğer (h, v) p bir teğet vektör ise o zaman denklik ilişkisinin tanımından D(h 1 h)(h 1 (p))v = br TpM(v h 1 (p)) = v 66

olduğundan (h, v) p (h, v) p buluruz. Yansıma: (h, v) p (g, u) p olsun. D(h 1 g)(g 1 (p))v = u olduğundan D(g 1 h)(h 1 (p))u = D(g 1 h)(h 1 (p)) D(h 1 g)(g 1 (p))v = D(g 1 h h 1 g)(g 1 (p))v = br TpMv = v (g, u) p (h, v) p Geçişkenlik: (h, v) p (g, u) p ve (g, u) p (f, w) p olsun. O zaman D(f 1 h)(h 1 (p))v = D(f 1 g g 1 h)(h 1 (p))v = D(f 1 g)(g 1 (p)) D(g 1 h)(h 1 (p))v = D(f 1 g)(g 1 (p))u = w (h, v) p (f, w) p. Alıştırma 29. (1) Derste (fg) = f g + g f olduğunu göstermiştik. O zaman bundan yola çıkarak r R yi M üzerinde sabit değerli bir fonksiyon olarak görürsek (rg) = r (g) + 0 olduğunu söyleyebiliriz. (3) h, p çevresinde bir parametrizasyon, h(p) = p olsun. (f + g)(p) = (f h(p ) + g h(p )) = (f h(p )) + (g h(p )) = f(p) + g(p). Alıştırma 30. Önce l(1) = 0 olduğunu göstereceğiz. Bunun için yine 1 i manifold üzerinde sabit 1 değerli fonksiyon olarak alırsak l(1) = l(1 1) = 1 l(1) + 1 l(1) = 2l(1) l(1) = 0. O zaman derivasyon olmanın birinci özelliğini kullanarak l(c) = l(1 c) = c l(1) = 0 buluruz. Alıştırma 33. Bunun için daha önceki Alıştırma 7 nin çözümünde tanımladığımız parametrizasyonları kullanabiliriz. Yükseklik fonksiyonunun kritik noktalarının kuzey ve güney yarım kürede olduklarını biliyoruz. O noktalarla başlayalım. Kuzey yarım küre için h 1 : D 2 S 2, (x, y) (x, y, 1 x 2 y 2 ) 67

parametrizasyonunda f h 1 = (x, y) 1 x 2 y 2 olarak çalışan yükseklik fonksiyonunun gradyanı x (f h 1 ) = ( 1 x2 y, y 2 1 x2 y ) 2 bulunur. Verilen (0, 0, 1) vektörünün (x, y, z) S 2 izdüşümü, noktasındaki teğet düzleme (0, 0, 1) ((0, 0, 1) (x, y, z)) (x, y, z) = ( x, y, 1 z 2 ) olarak bulunur. Bu vektörün h 1 parametrizasyonunun tersinin türeviyle aşağıya indiği vektör X(x, y) = ( x, y) olur. Bu X vektör alanının f için gradyanımsı olması için, kritik noktalardan uzakta, X(f) > 0 sağlanmalı: X(f) = f X = x 2 1 x2 y 2 + y 2 1 x2 y 2 > 0. 68