f:A dan A ya
g:A dan A ya
f ve g örten fonksiyondur. fog un örten olduğunu ispatlayınız.
Bu haliyle f∘g tanımlı değil maalesef. f∘g demek ilk önce g'yi yap, elde ettiğin şeye de f'yi uygula demek. Senin durumunda İlk önce g'yi yaptığında elde ettiğin şey A'nin içerisinde. Ama f'yi A×A'ya uygulayabiliyorsun sadece, A'ya değil.
Adım adım gidelim.
Yapman gereken şey şu: A'dan herhangi bir eleman al: a. Şunu göster: Öyle bir z∈A vardır ki (f∘g)(z)=a olur.
Yapman gereken şeyin bu olduğunda anlaşabiliyor muyuz?
Ozgur f∘g icin sadece ortenligin tanimini yazmis. Burada anlasmak lazim, cunku tanim bu. Su an anlasiyor muyuz?f∘g=h olarak gor ve h icin oten olmanin ne oldugunu yaz, bu gelecek.
f:A→A ise zaten A'dan aldigin bir eleman A'ya gitmeli. Bu otenlik degil. Orten olmali karsi tarafi ortmek, yani ikinci A'dan aldigin bir y degeri icin birinci A'dan "her zaman" f(x)=y olacak sekilde bir x elemani bulman. Bu durumda ikinci A'yi tamamen ortmus oluruz.
Soruma yorum yaparak yardımcı olmaya çalıştığınız için teşekkür ederim sonunda ispatı yapmayı başardım:)
En sevdiğim yardım şekli. Leb diyip beklemek. Leblebi geliyor, iki gün sonra bile olsa. (Unuttum diyemediğim için kıvırıyorum).