Iz ne sledi da jer nemaš pretpostavku o injektivnosti .

Ako skup Z ima samo jedan element, postoji samo jedno preslikavanje iz Y u njega, pa sa njime nećeš ništa uraditi. Izaberi skup Z sa bar dva elementa, preslikaj y sa g1 i g2 u različite elemente skupa Z (što je moguće ako ima bar dva elementa), a sve ostale elemente skupa Y preslikaj sa g1 i g2 na isti način.

Da, u pravu si.

Evo, moze li ovako:

Neka je , , . . , , pa npr. uzmem slucaj , pa je , pa g1 = g2, i to je kontradikcija, jer je alfa razlicito od beta?

Pa, trebalo je definisati g1 i g2 i za ostale vrednosti skupa Y - na isti način.

Aha, evo, mislim da sam se snasla.

Neka je . Postoji tako da za svako , .
Neka je:





Neka je proizvoljno.






, sledi , sto ne moze, jer .

Da, dobro je. Moglo je i sa bilo kojim skupom Z sa bar dva elementa.

Ok. Hvala puno! :)