Buena pregunta.
Tiene que ver con cómo definimos las funciones. En la escuela secundaria aprendes que [matemáticas] f (x) = x ^ 2 [/ matemáticas] es una función. Si bien eso es técnicamente correcto, es falta de detalles. Una forma más correcta de describir una función es:
[matemáticas] f: \ mathbb {R} \ a \ mathbb {R}: x \ a f (x) [/ matemáticas]
- Cómo encontrar las clases de equivalencia
- ¿Qué se siente ser un estudiante en Cambridge Math Tripos Parte III?
- ¿Es cada espacio euclidiano también una variedad?
- ¿Se pueden representar todos los trillizos pitogóricos en la forma [math] (2m, m ^ 2 - 1, m ^ 2 + 1) [/ math]?
- ¿Se enseñan las matemáticas correctamente hoy en la escuela?
Que se puede leer como: f es una función de la variable x que pertenece a los números reales (El dominio de la función). Esta función devuelve el valor [math] f (x) [/ math] que también pertenece a los números reales (El codominio).
Si usa la descripción anterior, eso aclara un poco su pregunta. [math] g (x) = \ frac {x ^ 2 – 1} {x-1} [/ math] no existe para [math] x = 1 [/ math], así que si queremos describirlo en el arriba, obtenemos:
[math] g: \ mathbb {R} \ setminus \ {1 \} \ to \ mathbb {R}: x \ to \ frac {x ^ 2 – 1} {x-1} [/ math]
Podemos simplificar fácilmente la expresión a la derecha, lo que significa que obtenemos:
[math] g: \ mathbb {R} \ setminus \ {1 \} \ to \ mathbb {R}: x \ to x + 1 [/ math]
Tenga en cuenta que debido a que excluimos el 1 del dominio (y tuvimos que hacerlo, porque la función no estaba definida para [math] x = 1 [/ math]), estos son completamente iguales.
Si no especifica el (co) dominio de una función, entonces la regla general es tenerlo tan grande como sea posible. Entonces describiríamos [matemáticas] x + 1 [/ matemáticas] como:
[matemáticas] h: \ mathbb {R} \ a \ mathbb {R}: x \ a x + 1 [/ matemáticas]
Entonces, si compara las dos funciones gyh, verá que no son exactamente las mismas. Son iguales cuando [math] x \ neq 1 [/ math], pero h se define para [math] x = 1 [/ math] y g no lo está.
Ahora, siento la necesidad de agregar que esto es importante desde una perspectiva matemática analítica, pero no tanto desde una perspectiva más práctica. La función [math] \ frac {x ^ 2 – 1} {x – 1} [/ math] se define para todos los reales excepto [math] x = 1 [/ math]. Solo puedo, a mano, agregar un valor si lo deseo. Puedo decir eso:
La función [matemática] k (x) = \ frac {x ^ 2 – 1} {x – 1} = x + 1 [/ matemática] para todos [matemática] x \ neq 1 [/ matemática] y [matemática] k (1): = 2 [/ matemáticas]
Esta descripción hace que la función k sea igual a la función h, pero técnicamente no es igual a g. Tenga en cuenta que la opción [math] k (1) = 2 [/ math] es natural porque puede mostrar que [math] \ lim_ {x \ to 1} \ frac {x ^ 2 – 1} {x – 1} = 2 [/ matemáticas]. En matemáticas, hacer esto de la nada es pecaminoso. En física, generalmente puedes salirte con la tuya.
De todos modos, la adición de dominio y codominio es importante, son partes fundamentales de una función y, por lo tanto, dejarlos fuera puede llevar a generalizaciones o simplificaciones falsas.