Este equipo de trabajo ha estado mucho tiempo investigando la respuesta a tus preguntas, te regalamos la soluciones por eso nuestro objetivo es resultarte de mucha ayuda.
Solución:
Lo que estoy tratando de decir es que el rango de $sen x$ es $(-1,1)$.
Cometiste un error aquí. El rango del seno es un intervalo cerrado, que denotamos con PS[-1, 1]PSno uno abierto $(-1,1)$.
Mientras que según mi comprensión, el codominio es $Re$(numeros reales).
Sí, números reales. Pero generalmente se denotan con $matemáticas R$ (LaTeX/Math Jax mathbb R), no $Re$ (Re).
Pero definir el codominio de $sen x$ como decir $(-2,2)$ no va a cambiar nada.
Te equivocas. Redefinir el codominio puede cambiar las propiedades de una función. Dando a la función seno un codominio de $(-2,2)$ no lo cambia mucho, pero darle PS[-1,1]PS cambia mucho:
$$sin : mathbb R to [-1,1]$$
es una sobreyección (una función “sobre”), mientras que
$$sen : mathbb R to mathbb R$$
no es.
Redefinir un dominio también puede cambiar las propiedades de la función:
$$sin : left[0, tfracpi 2right] to mathbb R$$
es una inyección (una función “en”), mientras que
$$sin : left[0, piright] to mathbb R$$
no es.
Para responder específicamente a la última oración de la pregunta:
¿Qué obligó a los matemáticos a definir el codominio? ¿Por qué no estaban contentos con el concepto de rango solamente?
Aquí copio lo que agregué anteriormente en el comentario a continuación:
necesitamos codominios, porque a veces necesitamos considerar funciones, cuya definición se conoce junto con un codominio, pero se desconoce el rango. A veces ni siquiera tenemos la definición, sólo algunos se conocen las propiedades y nos conformamos con conocer el codominio sin restringirlo al rango (“supongamos $f$ es una función de valor real tal que…; show $f$ es constante” – sabemos que el codominio es $matemáticas R$ y solo necesitamos mostrar que el rango es de un punto, no necesariamente cual una).
Expansión:
Tenga en cuenta también que el rango de una función puede ser difícil de describir. Para funciones reales continuas, consideramos en las escuelas que el rango es a menudo un intervalo o una suma de intervalos, pero esos son casos especiales. Hay funciones con rangos mucho menos regulares.
Por ejemplo, consulte esta pregunta en Math.SE: demuestre que la función f es continua solo en los puntos irracionales para una función descrita también en Wikipedia: la función de Thomae: se define en números reales, pero su rango es un conjunto de recíprocos de todos números naturales y cero: $$mathbb R to \tfrac 1n:ninmathbb N\cup .$$
Uno puede declarar fácilmente una función cuyo rango es literario ninguna conjunto no vacío predefinido $Ssubconjuntomathbb R$ – solo elige cualquiera $sin S$ y definir: $$f:xmapsto begincasesx&textsi xin S,\s&textde lo contrario.endcases$$
En un enfoque más general, el rango puede ser aún más difícil de describir analíticamente.
Considere una función, cuyo parámetro es real y los valores son pares de números reales (o números complejos, que es equivalente a este último gracias al plano complejo de Jean-Robert Argand). Si la función es continua, su rango es una curva en un plano. Por ejemplo, si la función es la posición de un proyectil en términos de altura y distancia, obtenemos una trayectoria completa. No es muy probable que sea necesario comparar tales trayectorias; por lo general, nos interesará la altura máxima y la distancia máxima alcanzable en algunas condiciones, pero no la forma completa. De todos modos, es posible. Pero, ¿cómo compararías la curva de una trayectoria balística con un simple cuadrado? …a un copo de nieve de Koch? … al Círculo de Varsovia? …o a un dragón de Heighway?
¿Y qué hay de las funciones no continuas, o aquellas definidas en algunos subconjuntos de $matemáticas R$, cuyos rangos pueden convertirse en cualquier figura en el plano, por ejemplo, una familia de círculos concéntricos cortados por una familia de líneas paralelas? …o el interior de un anillo?
Las cosas se vuelven aún más extrañas si el ‘espacio objetivo’ de una función es un conjunto más complejo, como un espacio de secuencias enteras, un espacio de matrices reales $5veces 5$, un espacio de funciones reales integrables en un intervalo unitario, etc. No siempre necesitas saber el rango de una función, a menudo es suficiente saber cuál es su codominio.
Generalmente funcionan $f=(F,A,B)$ se define por triple, donde $A$, $B$ son conjuntos, $F$ es grafo funcional y dominio $pr_1F=A$ como lo es en “Teoría de Conjuntos” N. Bourbaki. Entonces puedes considerar diferentes triples y obtener diferentes funciones.
Denotemos, por ejemplo, por PECADO gráfico para $pecado$. Luego
$$(textPECADO,mathbbR, [-1, 1])$$$$(textPECADO,mathbbR,[-2,2])$$
Son funciones formalmente diferentes.
Si te ha sido de ayuda este artículo, te agradeceríamos que lo compartas con el resto entusiastas de la programación y nos ayudes a difundir este contenido.