¿Es y = x ^ {sin (x + y ^ 2)} una función? ¿Por qué o por qué no?

Deje que ([math] y (x) [/ math]) sea una función definida recursivamente en términos de sí misma, pero que carece de un caso base para la recursión. Tampoco simplifica su definición a medida que desentraña la recursión, sino que desarrolla indefinidamente lo que uno llamaría una “torre de energía”.

Dado esto, podemos concluir que incluso si [math] y (x) [/ math] fuera una función de [math] x [/ math], no podría evaluarse a un número para ningún valor de [math] x [ /matemáticas]. Por lo tanto, dado que [math] y (x) [/ math] tiene un codominio indefinido, no es una función en el sentido teórico de las matemáticas contemporáneas.


Por otro lado, [math] y = x ^ {\ sin \ left (x + y ^ 2 \ right)} [/ math] es una ecuación. Por supuesto, no es simple, pero es una ecuación. Y posiblemente se puede refundir en una forma que separe las variables [matemática] x [/ matemática] y [matemática] y [/ matemática] en lados opuestos de la igualdad, desde la cual puede ser posible expresar [matemática] y [/ math] como una variable dependiente de [math] x [/ math] y finalmente nos permite definir la variable dependiente [math] y [/ math] como una función en términos de [math] x [/ math] , diga [math] y (x) [/ math], como usted (el OP) pudo haber pensado

Nota: Hacer crujir el álgebra se deja como ejercicio para el lector. No es particularmente esclarecedor o interesante.

No.

La ecuación [matemática] \ displaystyle y = x ^ {\ sin (x + y ^ 2)} [/ matemática] produce una relación entre [matemática] x [/ matemática] y [matemática] y [/ matemática], pero eso la relación no es una función de [matemáticas] x [/ matemáticas] ni de [matemáticas] y [/ matemáticas].

Aquí hay una gráfica de la relación cerca del origen:

Observe que no pasa la “prueba de línea” horizontal ni vertical.