Pagina 1 di 1

Bigettività

Inviato: 30 mar 2012, 14:57
da pepperoma
Siano$ f,g $ due funzioni di $ N $ in sè, con la proprietà che $ f(g(f(n)))=n $ per ogni numero naturale $ n $. Provare che $ f $ e $ g $ sono bigettive.

Re: Bigettività

Inviato: 30 mar 2012, 17:53
da balossino
Cominciamo col dimostrare che $ f(n) $ è iniettiva. La tesi è vera sempre se lo è in qualunque intervallo da $ 0 $ a $ N $ arbitrario (in pratica, non è possibile trovare un intervallo tale che contiene valori distinti di $ n $ a cui corrispondono eguali valori di $ f(n) $). In questo intervallo vi sono esattamente $ N $ valori distinti di $ n $, a cui corrispondono $ a \leq N $ valori distinti di $ f(n) $, a cui corrispondono $ b \leq a \leq N $ valori distinti di $ g(f(n)) $, a cui corrispondono $ c \leq b \leq a \leq N $ valori distinti di $ f(g(f(n)))=n $. Ma deve valere l'uguaglianza, perciò $ c=N $, e in sintesi a ogni valore di $ n $ corrisponde un solo valore di $ f(n) $

Ora dimostriamo l'iniettività di $ g $.

$ f(g(f(n)))=n $

applico a entrambi i membri la funzione composta f(g(n))

$ f(g(f(g(f(n)))))=f(g(n)) $

ma $ f(g(f(n)))=n $ per ogni $ n $. Quindi:

$ g(f(n))=f(g(n) $ (c'è UN SOLO $ g(f(n)) $ che può essere sostituito nell'argomento della seconda $ f $ in modo che la relazione sia vera, e questo equivale a $ f(g(n)) $)

sostituiamo $ f(n) $ a $ n $ e abbiamo

$ g(f(f(n))=n $

al che possiamo tornare ad applicare il ragionamento di prima e concludere che $ g(n) $ è iniettiva.

Concludiamo mostrando che entrambe le funzioni sono suriettive. $ f(g(f(n)))=n $ ci dice che possiamo dare qualsiasi valore naturale a n, cosicché al variare di un valore $ k $ (che si calcola come $ g(f(n)) $), $ f(k) $ genera tutti i numeri naturali. Stesso discorso per $ g(f(f(n))=n $ e $ g $. Concludiamo che ogni valore del codominio è immagine di un qualche valore nel dominio, ed entrambe le funzioni sono suriettive.

Re: Bigettività

Inviato: 01 apr 2012, 11:13
da balossino
E' giusta la soluzione? Non vorrei aver preso qualche abbaglio... :?

Re: Bigettività

Inviato: 01 apr 2012, 11:27
da fph
Mi sembra tutto ok!