En matemáticas , el término indefinido suele utilizarse para referirse a una expresión a la que no se le asigna una interpretación o un valor (como una forma indeterminada , que tiene la posibilidad de asumir valores diferentes). [1] El término puede adquirir varios significados diferentes según el contexto. Por ejemplo:
En la antigüedad, los geómetras intentaron definir cada término. Por ejemplo, Euclides definió un punto como "aquello que no tiene parte". En los tiempos modernos, los matemáticos reconocen que intentar definir cada palabra conduce inevitablemente a definiciones circulares y, por lo tanto, dejan algunos términos (como "punto") sin definir (consulte la noción primitiva para obtener más información).
Este enfoque más abstracto permite generalizaciones fructíferas. En topología , un espacio topológico puede definirse como un conjunto de puntos dotados de ciertas propiedades, pero en el contexto general, la naturaleza de estos "puntos" queda completamente indefinida. Asimismo, en la teoría de categorías , una categoría consta de "objetos" y "flechas", que nuevamente son términos primitivos e indefinidos. Esto permite aplicar teorías matemáticas tan abstractas a situaciones concretas muy diversas.
La expresión no está definida en aritmética, como se explica en la división por cero (la expresión se usa en cálculo para representar una forma indeterminada ).
Los matemáticos tienen diferentes opiniones sobre si 0 0 debe definirse como igual a 1 o dejarse sin definir.
El conjunto de números para los cuales se define una función se llama dominio de la función. Si un número no está en el dominio de una función, se dice que la función está "indefinida" para ese número. Dos ejemplos comunes son , que no está definido para , y , que no está definido (en el sistema de números reales) para negativo .
En trigonometría, para todos , las funciones y no están definidas para todos , mientras que las funciones y no están definidas para todos .
En análisis complejo , un punto donde una función holomorfa no está definida se llama singularidad . Se distingue entre singularidades removibles (es decir, la función se puede extender holomorfamente a ), polos (es decir, la función se puede extender meromorfamente a ), y singularidades esenciales (es decir, no puede existir ninguna extensión meromorfa a ).
En la teoría de la computabilidad , si es una función parcial de y es un elemento de , entonces esto se escribe como y se lee como " f ( a ) está definida ". [3]
Si no está en el dominio de , entonces se escribe como y se lee como " no está definido ".
Es importante distinguir entre "lógica de la existencia" (la estándar) y "lógica de la certeza". Ambas flechas no están bien definidas como predicados en la lógica de la existencia, que normalmente utiliza la semántica de funciones totales. El término f(x) es un término y tiene algún valor, por ejemplo , pero al mismo tiempo puede ser un valor legítimo de una función. Por tanto el predicado "definido" no respeta la igualdad, por tanto no está bien definido.
La lógica de la precisión tiene un cálculo de predicados diferente; por ejemplo, la especialización de una fórmula con cuantificador universal requiere que el término esté bien definido. Además, requiere la introducción de una noción de cuasiigualdad, lo que hace necesaria la reformulación de los axiomas. [4]
En análisis , teoría de la medida y otras disciplinas matemáticas, el símbolo se utiliza con frecuencia para denotar un pseudonúmero infinito, junto con su negativo . El símbolo no tiene un significado bien definido por sí solo, pero una expresión como es una abreviatura de una secuencia divergente , que en algún momento es eventualmente mayor que cualquier número real dado.
La realización de operaciones aritméticas estándar con los símbolos no está definida. Algunas extensiones, sin embargo, definen las siguientes convenciones de suma y multiplicación:
No existe una extensión sensata de la suma y la multiplicación con en los siguientes casos:
Para obtener más detalles, consulte la recta de números reales extendida .