Dominio de una Función
El dominio de una función es el conjunto completo de todos los valores de entrada posibles para los cuales la función está definida.
Definition
El dominio es el conjunto de todas las entradas permitidas para una función, todo valor de $x$ que se te permite sustituir para que la función produzca una salida real y definida. Restricciones comunes: los denominadores no pueden ser cero, y las expresiones bajo radicales pares deben ser no negativas. Formalmente, para una función $f: A \to B$, el dominio es el conjunto $A$; en análisis, el dominio natural de una función de valores reales es el subconjunto máximo de $\mathbb{R}$ en el que la expresión está bien definida, y para funciones complejas los dominios se extienden a subconjuntos de $\mathbb{C}$, donde la continuación analítica puede extenderlos aún más.
Example
Piensa en el dominio como la lista de invitados a una fiesta: solo quienes están en la lista pueden entrar y recibir una salida. Para la función "raíz cuadrada de $x$," solo puedes sustituir $0$ o números positivos, así que el dominio es todos los números mayores o iguales a $0$. Para $f(x) = 1/(x - 3)$, $x$ no puede ser igual a $3$ (división entre cero), así que el dominio es todos los números reales excepto $3$, escrito $(-\infty, 3) \cup (3, \infty)$; para $g(x) = \sqrt{x + 2}$, necesitamos $x + 2 \ge 0$, así que $x \ge -2$ y el dominio es $[-2, \infty)$. La función gamma extiende el factorial a todos los números complejos excepto los enteros no positivos, mostrando cómo el concepto de dominio se aplica mucho más allá de las funciones elementales.
Key Insight
Cuando no se indica un dominio, se asume el dominio natural, el mayor conjunto de números reales para el cual la expresión está definida. En topología, el dominio lleva una estructura topológica, y la continuidad, la diferenciabilidad y la integrabilidad son todas propiedades enunciadas en relación con él.