Note per Studenti Esercizio 17 - verificare se una funzione è l'inversa di un'altra

Esercizio 17

Testo (Lezione 7, esempio). Siano f(x)=x−1f(x) = \sqrt{x - 1} e g(x)=x2+1g(x) = x^2 + 1, con i loro domini naturali. gg è l'inversa di ff?


Passo 0: i domini naturali

I domini contano: l'inversaLa funzione che torna indietro: se f(x)=yf(x) = y allora f−1(y)=xf^{-1}(y) = x. Parte dall'immagine di ff e arriva nel dominio di ff.Funzioni iniettive, suriettive e inverse → di ff deve partire dall'immagine di ff e tornare nel suo dominio.

Passo 1: cosa bisogna verificare

gg è l'inversa di ffCaratterizzazione dell'inversa: g(f(x))=xg(f(x)) = x su tutto il dominio di ff e f(g(y))=yf(g(y)) = y su tutto il dominio di gg.Funzioni iniettive, suriettive e inverse → se e solo seDoppia implicazione: le due affermazioni sono entrambe vere o entrambe false.Logica e quantificatori → valgono entrambe:

  1. g(f(x))g(f(x))Funzione composta: prima si applica ff a xx, poi si applica gg al risultato.Composizione e operazioni tra funzioni → =x= x per ogni x∈x \in Dom(f)\mathrm{Dom}(f)Il dominio di ff: l'insieme delle xx su cui ff è definita.Funzioni - definizione, dominio e grafico →;
  2. f(g(y))=yf(g(y)) = y per ogni yy nel dominio di gg (che dovrebbe essere l'immagine di ff).

Passo 2: la condizione 1

Per x≥1x \ge 1:

g(f(x))=(x−1)2+1=(x−1)+1=xg(f(x)) = \left(\sqrt{x - 1}\right)^2 + 1 = (x - 1) + 1 = x

(per x≥1x \ge 1 il numero x−1x - 1 è ≥0\ge 0 e (t)2=t(\sqrt{t})^2 = tLa radice quadrata di t≥0t \ge 0 è il numero ≥0\ge 0 il cui quadrato è tt: elevandola al quadrato si ritrova tt.Funzioni potenza → per ogni t≥0t \ge 0). La condizione 1 è vera per ogni x∈[1,+∞)x \in [1, +\infty) ✓.

Passo 3: la condizione 2

Per ogni x∈Rx \in \mathbb{R} (dominio di gg):

f(g(x))=(x2+1)−1=x2=∣x∣f(g(x)) = \sqrt{(x^2 + 1) - 1} = \sqrt{x^2} = |x|

(ricorda: x2=∣x∣\sqrt{x^2} = |x|, non xx; vedi Valore assoluto (modulo)x2\sqrt{x^2} è il numero ≥0\ge 0 il cui quadrato è x2x^2: vale xx se x≥0x \ge 0 e −x-x se x<0x < 0, cioè il modulo di xx.Valore assoluto (modulo) →). Quindi f(g(x))=xf(g(x)) = x solo per x≥0x \ge 0; per x<0x < 0 si ottiene ∣x∣=−x≠x|x| = -x \ne x. Esempio: x=−2x = -2: g(−2)=5g(-2) = 5, f(5)=4=2≠−2f(5) = \sqrt{4} = 2 \ne -2.

La condizione 2 è falsa su R\mathbb{R}.

Conclusione

gg, definita su tutto R\mathbb{R}, non è l'inversa di ff: vale solo una delle due condizioni.

Come si sistema. Il problema è che gg è definita anche sui negativi, che ff non raggiunge mai (l'immagine di ff è [0,+∞)[0, +\infty)). Se si considera g(x)=x2+1g(x) = x^2 + 1 con dominio [0,+∞)[0, +\infty)Una funzione è data da formula e dominio: cambiando il dominio si ottiene una funzione diversa, detta restrizione.Funzioni - definizione, dominio e grafico →, allora per x≥0x \ge 0 si ha ∣x∣=x|x| = x, la condizione 2 diventa vera, e questa gg è l'inversa di ff:

f:[1,+∞)→[0,+∞),f−1:[0,+∞)→[1,+∞),f−1(x)=x2+1f : [1, +\infty) \to [0, +\infty), \qquad f^{-1} : [0, +\infty) \to [1, +\infty), \quad f^{-1}(x) = x^2 + 1

Verifica con il metodo standardPer trovare l'inversa si ricava xx da y=f(x)y = f(x), poi si scambiano i nomi delle variabili.Funzioni iniettive, suriettive e inverse →. Da y=x−1y = \sqrt{x - 1} (con y≥0y \ge 0): y2=x−1y^2 = x - 1, quindi x=y2+1x = y^2 + 1; scambiando le lettere, f−1(x)=x2+1f^{-1}(x) = x^2 + 1 per x≥0x \ge 0 (il vincolo y≥0y \ge 0 diventa x≥0x \ge 0). Il grafico di f−1f^{-1} è il ramo destro della parabola, simmetrico rispetto a y=xy = xIl grafico dell'inversa si ottiene ribaltando quello di ff sulla bisettrice y=xy = x, perché si scambiano xx e yy.Funzioni iniettive, suriettive e inverse → del grafico di x−1\sqrt{x - 1}.

Grafico interattivo: f(x) = √(x − 1), definita per x ≥ 1, con valori ≥ 0

Grafico interattivo: g(x) = x² + 1 ristretta a x ≥ 0: è il ramo destro della parabola, ed è l'inversa di f (simmetrica rispetto a y = x)

Morale

  • Si verificano sempre entrambe le condizioni: qui la prima era vera e la seconda no.
  • Una funzione è data insieme al suo dominio: la stessa formula x2+1x^2 + 1 è o non è l'inversa di ff a seconda del dominio scelto.
  • x2=∣x∣\sqrt{x^2} = |x|.

Lezioni in cui compare

Teoria collegata