Para que una función sea justamente función para un valor del dominio debe existir un solo valor de la imagen. Piensa en la raíz cuadrada, donde para el valor 4 tenés 2 valores posibles en la imagen (+2, -2) y por eso la raíz cuadrada no es una función (salvo que la definas como solo los valores positivos, o solo los negativos).
En el gráfico esto lo ves, porque si trazas rectas paralelas al eje 'y', la función la debe cortar solo en un punto...
En este caso, tenemos que ver cuando las paralelas el eje 'x' cortan a la función en un solo punto, y vemos que una recta horizontal en y=2 corta a la función en un solo punto (justamente el punto (3,2) y si subes en el eje 'y' la empiezas a cortar en 2 puntos (uno a izquierda y otro a derecha del eje de simetría). Es por esta razón que hay que definir el dominio como una función que vaya del - infinito hasta el vértice (o desde el vértice hasta + infinito).
Espero que esto te aclare un poco más el resultado (insisto en que te hagas la gráfica para interpretar los resultados).
Creo que me había quedado pendiente el tema de la función inversa, para eso conviene escribir la función de otra forma
f(x) = x^2 - 6x + 11
Completamos cuadrados
f(x) = (x - 3)^2 - 9 + 11
f(x) = (x - 3)^2 + 2
(Fijate que esa expresión es equivalente a la primera)
Ahora es "más fácil" despejar x
y = (x - 3)^2 + 2
y - 2 = (x - 3)^2
sqrt(y-2) = x-3
x = sqrt(y-2) + 3
Ahora volvemos a escribirla como función 'y(x)', que por supuesto tiene dos formas posibles (por lo que te decía antes de la raíz cuadrada) que serían:
Primer posibilidad:
y = + sqrt(y-2) + 3
Segunda posibilidad:
y = -sqrt(y-2) + 3
Nota: sqrt es la raíz cuadrada.
Salu2