Processing math: 100%
Akademisyenler öncülüğünde matematik/fizik/bilgisayar bilimleri soru cevap platformu
3 beğenilme 0 beğenilmeme
1.9k kez görüntülendi
(X,τ), (Y,τ) iki topolojik uzay, f:XY bir fonksiyon olsun.

A={xX:f, x'de süreksiz}X olsun.

(Eğer AX ise, XA de alt uzay topolojisi alalım) fXA:XAY (kısıtlanmış fonksiyon) sürekli olur mu?
bir cevap ile ilgili: Süreklilik Üzerine-II
Lisans Matematik kategorisinde (6.2k puan) tarafından  | 1.9k kez görüntülendi
Ben de "kendini bu kadar iyi ifade eden biri nasıl olur da bunun cevabını bilemez" diye kendi kendime soruyordum. Meğer soruyu Doğan Hocamız sormuş...
Karisiklik olmamasi icin f:XY ve ˆf:XAY seklinde orjinal ve kisitlanmis fonksiyon arasinda ayrim yapmak istedim.

XA uzerindeki topoloji τXA={U(XA):Uτ} seklinde veriliyor yanilmiyorsam. Y uzayindaki her acik kumenin ongoruntusunun acik olmasini istiyoruz ki ˆf surekli olsun.

 

2. Duzeltme sonrasi](

xX icin  f xde sureksiz ise, ˆf1(f(x)) bos kume olacak yani acik kume.

Yok eger f x de surekli ise f(x) e eleman olarak sahip olan her acik kume V icin τ da oyle bir U kumesi var ki xU ve Uf1(V).

x f te surekli oldugu icin xXA. Yukarida verilen her U nun XA ile kesisimi alt kume topolojisinde olacak. Her acik kumenin ongoruntusu acik kume oldugu icin onerme dogrudur.
)

 

[1. Duzeltme sonrasi](

xX icin  f xde sureksiz ise, ˆf in ongoruntusu bos kume olacak yani acik kume.

Yok eger f x de surekli ise f in ongoruntusu τ nun elemani (oyle mi gercekten?) dolayisiyla τXA nin da elemani.
)

[Orjinal]

(

yY icin  f yde sureksiz ise, ˆf in ongoruntusu bos kume olacak yani acik kume.

Yok eger f y de surekli ise f in ongoruntusu τ nun elemani (oyle mi gercekten?) dolayisiyla τXA nin da elemani.
)
Gibi bir sekilde akil yuruttum dogru mu acaba?
"yY icin  f, y de sureksiz ise" pek anlamlı değil.

"xXA olsun" şeklinde başlayablirsin.
Ah evet tesekkurler. Duzeltiyorum simdi

"f nin ongoruntusu"  hangi kümenin öngörüntüsü?

Cok Tesekkurler hocam yeniden degistirdim.
"f, x de sureksiz ise, f1(f(x)) bos kume olacak "

Bundan emin misin?
Emin degilim. O yuzden stratejimi degistiriyorum. Bir fonksiyon her noktada surekli ise o fonksiyon sureklidir. yanlis kanitimin yarisinda her xXA icin f in surekli oldugunu gosterdigimi dusunuyorum.
uyuyup salim kafayla yeniden bakayim ben buna bence :)
"τ nun elemani (oyle mi gercekten?) dolayisiyla τXA nin da elemani. "

ττXA mi?
hayir degil . f1(x)τ ve bundan dolayi f1(x)(XA)τXA demek istemistim. Ama boyle olsa bile oncesinde noktadaki surekliligin tanimina verdigim sey yanlis, sonraki duzeltmemde noktasal surekliligin tanimina bakip degistirdim.

Siz hep tek noktanın ters görüntüsünü bulmaya çalışıyorsunuz.

Sürekllikte açık kümelerin ters görüntüsü önemlidir.

Bu O soruda, Z nin topolojisi ayrık topoloji olduğu (ve ayrık topolojide tek nokta kümeler bir baz olduğu) için, tek noktanın ters görüntüsü incelendi.

1 cevap

1 beğenilme 0 beğenilmeme
En İyi Cevap
aXA  ve  VU(f(a))=U(f|XA(a))  yani  V  kümesi,  f|XA(a)=f(a)  noktasının bir açık komşuluğu olsun.

aXAf, a'da sürekliVU(f(a))=U(f|XA(a))}(UU(a))(f[U]V)aXA}

 
(U(XA)UXA(a))(f[U]V)T:=U(XA)}

 
(TUXA(a))(f|XA[T]f[U]V).
 

O halde f|XA fonksiyonu a noktasında süreklidir. a noktasını keyfi seçtiğimize göre fXA fonksiyonu XA kümesindeki her noktada süreklidir. Dolayısıyla f|XA fonksiyonu süreklidir.
(11.5k puan) tarafından 
tarafından seçilmiş
Bu ispatı 2 teorem kullanarak şöyle kısaltabiliriz:

İçerme dönüşümü ı:XAX,(ı(x)=x) (alt uzay topolojisi kullandığımız için) süreklidir.

xXA için ı, x de süreklidir (sürekliliğin eşdeğer şekli. Genellikle, topoloji derslerinde teorem olarak ispatlanır.)

xXA için f, x=ı(x) de süreklidir.

xXA için, bileşke fı=fXA, x de süreklidir. (Genellikle, topoloji derslerinde teorem olarak ispatlanır.)

fXA  süreklidir (sürekliliğin eşdeğer şekli).
Hocam ι, i ve f ne? benim kafam karisti

İkisi aynı (ben yukarıda düzelttim). EK: f, verilen (f:XY herhangi bir) fonksiyon

Orada da yazdığım gibi xXA için ı(x)=x

ı :içerme=inclusion

20,289 soru
21,830 cevap
73,517 yorum
2,621,238 kullanıcı