En matemáticas , una expresión bien definida o expresión inequívoca es una expresión cuya definición le asigna una interpretación o valor único. En caso contrario, se dice que la expresión no está bien definida , mal definida o ambigua . [1] Una función está bien definida si da el mismo resultado cuando se cambia la representación de la entrada sin cambiar el valor de la entrada. Por ejemplo, si toma números reales como entrada y si no es igual , entonces no está bien definido (y por lo tanto no es una función). [2] El término bien definido también se puede utilizar para indicar que una expresión lógica es inequívoca o no contradictoria.
No es lo mismo una función que no está bien definida que una función que no está definida . Por ejemplo, si , entonces aunque no esté definido no significa que la función no esté bien definida, sino simplemente que 0 no está en el dominio de .
Sean conjuntos, dejen y "definan" como si y si .
Entonces está bien definido si . Por ejemplo, si y , entonces estaría bien definido y sería igual a .
Sin embargo, si , entonces no estaría bien definido porque es "ambiguo" para . Por ejemplo, si y , entonces tendrían que ser 0 y 1, lo que lo hace ambiguo. Como resultado, este último no está bien definido y, por tanto, no es una función.
Para evitar las comillas alrededor de "definir" en el simple ejemplo anterior, la "definición" de podría dividirse en dos pasos lógicos simples:
Si bien la definición del paso 1 se formula con la libertad de cualquier definición y es ciertamente efectiva (sin necesidad de clasificarla como "bien definida"), la afirmación del paso 2 debe ser probada. Es decir, es una función si y sólo si , en cuyo caso –como función– está bien definida. Por otro lado, si , entonces para an , tendríamos eso y , lo que hace que la relación binaria no sea funcional (como se define en Relación binaria#Tipos especiales de relaciones binarias ) y, por lo tanto, no esté bien definida como función. Coloquialmente, la "función" también se llama ambigua en un punto (aunque , por definición, nunca existe una "función ambigua"), y la "definición" original no tiene sentido. A pesar de estos sutiles problemas lógicos, es bastante común utilizar anticipadamente el término definición (sin apóstrofes) para "definiciones" de este tipo, por tres razones:
La cuestión de la buena definición de una función surge clásicamente cuando la ecuación definitoria de una función no (solo) se refiere a los argumentos en sí, sino (también) a los elementos de los argumentos que sirven como representantes . A veces esto es inevitable cuando los argumentos son clases laterales y la ecuación se refiere a representantes de clases laterales. El resultado de la aplicación de una función no debe depender entonces de la elección del representante.
Por ejemplo, considere la siguiente función
donde y son los números enteros módulo m y denota la clase de congruencia de n mod m .
NB: es una referencia al elemento y es el argumento de .
La función está bien definida porque
Como contraejemplo, la definición inversa
no conduce a una función bien definida, ya que, por ejemplo, es igual en , pero la primera se asignaría a , mientras que la segunda se asignaría a , y y no son iguales en .
En particular, el término bien definido se utiliza con respecto a operaciones (binarias) en clases laterales. En este caso se puede ver la operación como una función de dos variables y la propiedad de estar bien definida es la misma que la de una función. Por ejemplo, la suma en el módulo de números enteros algunos n se puede definir naturalmente en términos de suma de enteros.
El hecho de que esto esté bien definido se deriva del hecho de que podemos escribir cualquier representante de as , donde es un número entero. Por lo tanto,
y de igual modo para cualquier representante de , haciendo así el mismo independientemente de la elección del representante.
Para números reales, el producto es inequívoco porque (y por tanto se dice que la notación está bien definida ). [1] Esta propiedad, también conocida como asociatividad de la multiplicación, garantiza que el resultado no depende de la secuencia de multiplicaciones, por lo que se puede omitir una especificación de la secuencia.
La operación de resta , en cambio, no es asociativa. Sin embargo, existe una convención que es una abreviatura de , por lo que está "bien definida".
La división tampoco es asociativa. Sin embargo, en el caso de , las convenciones de paréntesis no están tan bien establecidas, por lo que esta expresión a menudo se considera mal definida.
A diferencia de las funciones, las ambigüedades de notación se pueden superar más o menos fácilmente mediante definiciones adicionales (p. ej., reglas de precedencia , asociatividad del operador). Por ejemplo, en el lenguaje de programación C, el operador -
de resta es asociativo de izquierda a derecha , lo que significa que a-b-c
se define como (a-b)-c
, y el operador =
de asignación es asociativo de derecha a izquierda , lo que significa que a=b=c
se define como a=(b=c)
. [3] En el lenguaje de programación APL sólo hay una regla: de derecha a izquierda , pero primero los paréntesis.
Se dice que una solución de una ecuación diferencial parcial está bien definida si está determinada por las condiciones de contorno de manera continua a medida que cambian las condiciones de contorno. [1]