Processing math: 100%
Akademisyenler öncülüğünde matematik/fizik/bilgisayar bilimleri soru cevap platformu
0 beğenilme 0 beğenilmeme
844 kez görüntülendi
R2 ve R3 üzerindeki alışılmış topolojileri sırasıyla U2 ve U3 ile gösterelim. D2={(x,y)|x2+y21}R2 ve S2={(x,y,z)|x2+y2+z2=1}R3 olduğuna göre (D2,U2D2)(S2,U3S2) olduğunu yani (D2,U2D2) topolojik uzayının (S2,U3S2) topolojik uzayına homeomorf olmadığını gösteriniz.
Lisans Matematik kategorisinde (88 puan) tarafından 
tarafından yeniden etikenlendirildi | 844 kez görüntülendi

Şuradaki fikir (biraz değişirerek) ile yapılabilir.

tamam hocam biraz daha irdeleyeyim teşekkür ederim ilginiz için.
Kure contractible degildir ama disk contractibledir yani aralarinda homeomorfizma olamaz desem dogru olur mu ?
@eloi:

Kürenin büzülemez olduğunu göstermek kolay mı?

@ Bilge zc:

Soruyu çözerken daha önce doğruluğu gösterilmiş (ispatlanmış) önermeler kullanmalısın.

Esas grup (veya homoloji/kohomoloji) bilmeden bu problemin çözümü biraz zor görünüyor.
Dogan Hocam, Brouwer in sabit nokta teoremi ile ispatini yapmistik diye hatirliyorum derste, notlarima bakacagim. Bir baska strateji ise diskin R2 ye homemorf oldugunu gostermek olabilir diye dusundum, daha sonra kurenin kompakt ama R2 nin kompakt olmadigini soylerek gene arada homeomorfi olmadigini soyleyebiliriz.

 

Duzenleme sonrasi: Acik disk olsa dediklerim dogruydu sanirim ama disk kapaliymis

 

Duzenlemeden bir sonrasi : Euler sayilari farkli icin homeomorf degildirler desek ?
Sabit noktası olmayan bir f:S2S2 sürekli dönüşümünü bulabilsen, homeomorfik olmadıklarını ispatlayabilir misin?
Brouwer sabit nokta teoremi, kompakt konveks bir kumeden kendisine giden surekli donusumlerde illa ki bir sabit nokta olacagini soyluyor. Kapali disk kompakt ve konveks.  

f1:DS

f2:SS

f11:SD

fonksiyonlarina bakalim. Diyelim ki bunlarin hepsi surekli olsun. Bunlari arka arkaya dizersek , diskten diske giden surekli bir donusumumuz olmali. O zaman bu donusumun sabit bir noktasi olmali.

Ama f2 sizin dediginiz gibi bir fonksiyon ise bu olamaz celiski
(Duzenleme sonrasi : biraz daha baktim da yazdiklarima cok sacma seyler soyledim gibi hissettim. Ozellikle "celiski" dedigim kisima cok hizli atladim. Ama sanki boyle bir yapi ile sonuca ulasabilirmis gibi hissediyorum)
gibi dusundum.

 

Peki boyle bir f2 var mi?

Bu fonksiyonun varligini da bize kirpi teoremi veriyor olmali. Yanlis hatirlamiyorsam bu teorinin sonuclarindan biri kureden kureye giden surekli donusumlerin, ya sabit noktasinin olacagini yada antipodlari birbirine gonderecegini soyluyor.

 

pek emin degilim soylediklerimden.

 

Soyle baska bir cozum onerim daha var. Kureyi ve Diski ucgenleyip Euler sayisini hesaplayalim. Kure icin bu iki cikmali (3 kose - 3 kenar + 2 yuz = 2). Kapali disk icin ise 1 gelmeli cevap (3 kose - 3 kenar + 1 yuz = 1). Euler sayisi topolojik bir sabit oldugu icin (oyle dimi ?) Kure ile kapali disk birbirine homeomorf degildir diyemem mi ?
20,314 soru
21,870 cevap
73,591 yorum
2,881,206 kullanıcı