TL; DR: Sí
La función [matemáticas] abs: x \ longmapsto | x | [/ math] definido en [math] \ mathbb {R} _ + [/ math] es trivialmente invertible (en el sentido de la composición) porque es igual a la función de identidad (que es una biyección) en este conjunto.
Esto muestra por qué es crucial definir una función como un triplete [matemático] (E, F, G) [/ matemático] de conjuntos donde [matemático] E [/ matemático] es el conjunto fuente, [matemático] F [/ matemático ] el codominio y [math] G [/ math] el gráfico, que es un subconjunto del producto cartesiano [math] E \ times F [/ math] en el que [math] \ forall (x, y) \ en G, \ y = f (x) [/ matemáticas]
¡Porque las propiedades inyectivas y sobreyectivas de una función asociada a una expresión dependen de la fuente y el codominio!
- Si [matemáticas] x ^ 3 = 3 ^ x [/ matemáticas], ¿cómo se calcula [matemáticas] x [/ matemáticas]?
- Si x ^ 3 = 2, ¿cuál es el valor de x?
- ¿Cuál es la expansión de la serie Maclaurin de x ^ y [o pow (x, y)]?
- Si x + iy = 3 / (2 + cosA + isinA), ¿a qué equivale x ^ 2 + y ^ 2?
- ¿Cuántas soluciones existen que satisfacen x ^ 2 + 5 [x] + 6 = 0, donde [x] es el entero más grande menor o igual que x?
La función de valor absoluto del que está hablando es:
[math] (\ mathbb {R_ +}, \ mathbb {R} _ +, G) [/ math] donde [math] G = \ {(x, y) \ in \ mathbb {R} _ + ^ 2, \ y = abs (x) \} [/ math]
Y de hecho es a la vez inyectivo y sobreyectivo.
Sin embargo, el “valor absoluto” similar que, rigurosamente, no es la misma función:
[math] (\ mathbb {R}, \ mathbb {R} _ +, G) [/ math] con el mismo [math] G [/ math] que antes, ya no es inyectivo.