Caratterizzazione della funzione composta.

Messaggioda Pasquale 90 » 16/06/2020, 13:45

Buonasera,

Volevo chiarire alcuni passi della seguente dimostrazione.
Siano $S,T,V$ non vuoti, $f:S to T$ e $g:T to V$, allora:
Se $\ g circ f $ è iniettiva e $f$ suriettiva, allora $g$ è iniettiva.

La tesi consiste nel far vedere che presi $y , y' in T \:\ g(y)=g(y') \to\ y=y'$
Siano infatti $y, y' in T$ per cui $g(y)=g(y')$, inoltre dalla suriettività della funzione $f$, abbiamo
$exists x, x' in S \:\ y=f(x) \"e"\ y=f(x')$, quindi per la definizione della funzione composta abbiamo
$g(y)=g(f(x))=(gcircf)(x)$
$g(y')=g(f(x'))=(gcircf)(x')$
allora
$g(y)=g(y') leftrightarrow (gcircf)(x)=(gcircf)(x')$ dall'iniettività della composta risulta $x=x'.$
Quindi ad elementi uguali corrispondo immagini uguali, cioè
$y=f(x)=f(x')=y' \to\ y=y'$, quindi la tesi.

Volevo sapere se ci sono problemi oppure va bene.

Ciao
Pasquale 90
Average Member
Average Member
 
Messaggio: 178 di 806
Iscritto il: 14/11/2019, 11:24

Re: Caratterizzazione della funzione composta.

Messaggioda Pasquale 90 » 17/06/2020, 21:25

Nessun commento ? :(
Pasquale 90
Average Member
Average Member
 
Messaggio: 180 di 806
Iscritto il: 14/11/2019, 11:24

Re: Caratterizzazione della funzione composta.

Messaggioda luca69 » 18/06/2020, 11:11

Supponi per assurdo che $g$ non sia iniettiva. In tal caso, $\EE t,t'\in T, t\ne t'$, tali che $g(t)=g(t')$; ma poichè $f$ è suriettiva, $\EE s,s'\in S$ tali che $t=f(s), t'=f(s')$ e quindi tali che $g(f(s))=g(f(s'))$; ora, per l'iniettività di $gf$, dev'essere $s=s'$, da cui $t=t'$: contraddizione. Quindi $g$ è iniettiva.

Comunque la tua dimostrazione mi sembra corretta.
Ultima modifica di luca69 il 18/06/2020, 11:24, modificato 1 volta in totale.
luca69
Junior Member
Junior Member
 
Messaggio: 130 di 319
Iscritto il: 14/06/2017, 12:44

Re: Caratterizzazione della funzione composta.

Messaggioda l'abatefarina » 18/06/2020, 11:23

@pasquale 90
secondo me la tua dimostrazione è corretta
l'abatefarina
Average Member
Average Member
 
Messaggio: 62 di 554
Iscritto il: 09/06/2020, 19:13

Re: Caratterizzazione della funzione composta.

Messaggioda Pasquale 90 » 18/06/2020, 11:35

Vi ringrazio, sostanzialmente lo so che la dimostrazione è corretta essendo la dimostrazione del mio libro.
Infatti ho commentato i passaggi per essere sicuro che l'abbia capita e confrontarmi con voi.

Comunque grazie ancora.
Pasquale 90
Average Member
Average Member
 
Messaggio: 182 di 806
Iscritto il: 14/11/2019, 11:24


Torna a Algebra, logica, teoria dei numeri e matematica discreta

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite