date due generiche funzioni f(x) e g(x) il dominio della composizione
g◦f(x) := g(f(x)) è l'insieme delle x appartenenti al dominio della f(x) tale che la loro immagine (f(x) sia un elemento del dominio della g(x). In forma simbolica
dom g◦f(x) := {x ∈ dom f(x) : f(x) ∈ dom g(x)}
Nel nostro caso, le funzioni date sono
$\begin{align} f\colon [0, +\infty) &\to [0,+\infty)\\ x &\mapsto \sqrt{x} \end{align}$
$\begin{align} g\colon ℝ &\to ℝ\\ x &\mapsto x^2-1 \end{align}$
per cui
- $ dom \, \, (g\circ f(x)) = \{x \in [0,+\infty) : \sqrt{x} \in ℝ\} \implies$
- $ dom \, \, (f\circ g(x)) = \{x \in ℝ : x^2 - 1 \in [0, +\infty)\} \implies$
- $x^2 - 1 \ge 0$
- $x \le -1 \, \lor x \, \ge 1$