Akademisyenler öncülüğünde matematik/fizik/bilgisayar bilimleri soru cevap platformu
1 beğenilme 0 beğenilmeme
955 kez görüntülendi

Yukarıda sözel ifadesini verdiğimiz teoremi formel olarak aşağıdaki gibi ifade edebiliriz.

Teorem: $f:X\to Y$ fonksiyon olmak üzere

$$f, \text{ örten}\Leftrightarrow \left(\exists g\in X^Y\right)(f\circ g=I_Y) $$

Lisans Matematik kategorisinde (11.4k puan) tarafından 
tarafından düzenlendi | 955 kez görüntülendi

1 cevap

1 beğenilme 0 beğenilmeme

Varsayalım ki $f:X\to Y$  bir $g:Y\to X$  sağ terse sahip olsun. Bir $b\in Y$  için $g(b)$  mevcuttur. $g$  bir sağ ters olduğundan $f\circ g(b)=b$ olup $Y$  nin her elemanı  $X$  de bir ön görüntüye sahiptir. Dolayısıyla $f$  örten olur.

Şimdi varsayalım ki $f:X\to Y$ örten olsun. $f$  örten olduğundan  $X$  nın boştan farklı bir alt kümesi  $A$ olmak üzere her $a\in A$  ve her  $b\in Y$   için  $f(a)=b$  olacak şekilde bir  $a\in A$  vardır. $A$  nın keyfi bir elemanı $x$  olmak üzere  $g:b\to x$   fonksiyonunu tanımlayalım. Bu durumda her $b\in Y$   için  $f(g(b))=b$   olup $g$  fonksiyonu  $f$  nin bir sağ tersidir.

(2.7k puan) tarafından 
tarafından düzenlendi
20,200 soru
21,726 cevap
73,275 yorum
1,887,836 kullanıcı