Esta pregunta surgió cuando me iba a determinar el dominio de $f \circ f(x)$.
Deje $f(x) = \dfrac{1-x}{1+x}$.
$f \circ f(x) = x, \quad$ , Pero el dominio no es $\mathbb{R}$ porque $f(x)$ no está definido para $x = -1$.
Esto tenía sentido para mí después de algún pensamiento, $f \circ f(x)$ es sólo equivalente a $x$ si $x \neq -1$, por lo que realmente uno necesita especificar el dominio.
Hasta ahí todo bien, pero luego me empezaron a cuestionar la forma en que me suele simplificar expresiones algebraicas y resolver ecuaciones. Si yo fuera a resolver la ecuación
$p_1(x) = q_1(x)$
Podría empezar a simplificar tanto las expresiones y venir para arriba con una simple ecuación:
$p_1(x) = q_1(x) \iff p_2(x) = q_2(x) \iff ... \iff p_n(x) = q_n(x)$
y aquí las $q_k(x)\iff q_t(x)\quad$ derecho?
Así que traté de subir con los casos cuando sentí que probablemente no iba a molestarse con la especificación de los dominios antes de la simplificación de una expresión, pero probablemente si la expresión se utiliza en una ecuación, como por ejemplo:
$\dfrac{1}{x} + x - \dfrac{1}{x} = 0$
Por lo general, tengo la sensación de que siempre han considerado a la mano izquierda como equivalente a $x$, si sólo le pedí a simplificar el lado izquierdo como una expresión. Pero la ecuación que hace que me confunda. Obviamente $\dfrac{1}{x}$ no está definida cuando $x = 0$, pero de nuevo, $\dfrac{1}{x}$ $-\dfrac{1}{x}$ cancelar el eachother, así que, ¿realmente importa que no están definidos al $x = 0$?
Traté de consultar wolframalpha, pero si puedo conectar en $x = x + \dfrac{1}{x} - \dfrac{1}{x}$, se devuelve true y si puedo conectar en $x + \dfrac{1}{x} - \dfrac{1}{x} = 0$ no dar una respuesta, como si $0$ es sustituido por cualquier número real.
Así que ahora me siento como que he llegado a entender un concepto muy fundamental de las matemáticas, que es cuando las expresiones algebraicas que realmente puede ser visto como equivalente y si importa si son usados en las ecuaciones o no?