No. Para discutir esto formalmente, configuremos una función [math] f: \ mathbb {R} \ to \ mathbb {R} [/ math] definida como [math] f (x): = 1 ^ x [/ math ] para todos [math] x \ in \ mathbb {R} [/ math].
Dependiendo de cómo se asignan los elementos del dominio a los elementos del codominio, hay dos tipos de funciones, una función inyectiva (uno-uno) y una función no inyectiva (muchas-uno).
Una función inyectiva [matemática] g: X \ a Y [/ matemática] es una que nunca asigna elementos distintos del dominio al mismo elemento en el codominio. En otras palabras, cada elemento del dominio se asigna a un elemento diferente / único en el codominio. En otras palabras, tenemos
[matemáticas] \ para todos x_1, x_2 \ en X \; \; g (x_1) = g (x_2) \ implica x_1 = x_2 [/ math]
- ¿Cuál es la solución general sinx (cosx / 4-2sinx) + (1 + sinx / 4-2cosx) cosx = 0?
- Cómo encontrar el límite: – [matemáticas] \ displaystyle \ lim_ {x \ to0} \ dfrac {\ sin \ left (\ pi \ cos ^ 2x \ right)} {x ^ 2}
- Dado [matemática] u = \ frac {\ ln (x)} {\ ln (y)} [/ matemática] y [matemática] z = u ^ {- u} [/ matemática], ¿es posible resolver para x ?
- Cómo practicar para ser bueno en teorías matemáticas como trigonometría, diferenciación, cálculo, álgebra y lineal.
- Cómo resolver [math] \ sum _ {- \ infty} ^ {\ infty} \ dfrac {\ sin ^ 33 ^ k} {3 ^ k} [/ math]
, que es equivalente a
[matemáticas] \ para todos x_1, x_2 \ en X \; \; x_1 \ neq x_2 \ implica g (x_1) \ neq g (x_2) [/ math]
Una función no inyectiva [matemática] h: X \ a Y [/ matemática] es una función que no es inyectiva. Es decir, hay elementos distintos en el dominio que se asignan al mismo elemento en el codominio. En otras palabras, existe [matemática] x_1 \ neq x_2 [/ matemática] para la cual [matemática] h (x_1) = h (x_2) [/ matemática].
[matemáticas] \ existe x_1, x_2 \ en X \; \; x_1 \ neq x_2 \ text {y} h (x_1) = h (x_2) [/ math].
Por ejemplo, la función [math] F: \ {\ mathrm {e}, – \ sqrt {10} \} \ to \ {\ sqrt {2}, – 1, -2 \} [/ math] definida por [ matemática] F (\ mathrm {e}): = – 1, F (- \ sqrt {10}): = \ sqrt {2} [/ math] es inyectiva. Mientras que la función [matemática] G: \ {0,1 \} \ to \ {\ sqrt {2}, – 1, -2 \} [/ matemática] definida como [matemática] G (\ matemática {e}) : = – 1, G (- \ sqrt {10}): = – 1 [/ math] no es inyectivo.
La conclusión del argumento anterior es que si una función [matemática] K [/ matemática] es inyectiva, entonces uno ciertamente tiene [matemática] x_1 = x_2 [/ matemática] siempre que [matemática] K (x_1) = K (x_2) [/matemáticas]. Sin embargo, si [matemática] K [/ matemática] no era inyectiva, entonces [matemática] K (x_1) = K (x_2) [/ matemática] no significa necesariamente que [matemática] x_1 = x_2 [/ matemática]. Por ejemplo, en el ejemplo anterior tenemos [math] G (\ mathrm {e}) = G (- \ sqrt {10}) [/ math] pero [math] \ mathrm {e} \ neq – \ sqrt {10 } [/ math] ya que la función [math] G [/ math] no es inyectiva.
Ahora, volviendo a la pregunta original, la función [matemáticas] f [/ matemáticas] no es inyectiva. De hecho, es todo lo contrario de una función inyectiva en el sentido de que cada [math] x \ in \ mathbb {R} [/ math] se asigna a un solo elemento, a saber [math] 1 [/ math], ya que [matemática] 1 ^ x = 1 [/ matemática] para todos [matemática] x \ in \ mathbb {R} [/ matemática]. Como [math] f [/ math] no es inyectable, no se puede concluir que [math] x_1 = x_2 [/ math] siempre que [math] f (x_1) = f (x_2) [/ math]. En particular, es ridículo decir que [matemáticas] 0 = 1 [/ matemáticas] ya que [matemáticas] 1 ^ 0 = f (0) = f (1) = 1 ^ 1 [/ matemáticas].