Bien definido

En matemáticas, el término bien definido se usa para especificar que un concepto (una función, una propiedad, una relación, etc.) se define de forma lógicamente consistente usando un conjunto de axiomas básicos sin ambigüedad alguna. Usualmente las definiciones se enuncian sin ambigüedad, y no hay preguntas acerca de su buena definición. Ocasionalmente, sin embargo, se enuncia una definición por una elección arbitraria por motivos de economía; entonces uno debe comprobar que la definición es independiente de dicha elección.

Una de las situaciones más comunes en matemáticas es aquella en que el término "bien definido" se usa al tratar con clases laterales en la teoría de grupos. Es tan importante verificar que se obtenga el mismo resultado independientemente de qué representante de la clase lateral se elija como lo es que se obtenga siempre el mismo resultado cuando se practican operaciones aritméticas (por ejemplo, nunca sucede que $2+3\neq 5$).

Más generalmente, dados los conjuntos $X$ y $Y$ no vacíos, una relación de equivalencia $\sim$ en $X$, y una función $f:X\to Y$. Supongamos que $f$ respeta la relación, es decir, $f(x)=f(y)$ cuando $x\sim y$, para todo $x,y\in X$. Uno puede estar interesado en saber si existe alguna función $g:X/\sim \to Y$ , donde $X/\sim$ es el conjunto cociente de X respecto a la relación $\sim$. Es decir, si $[x]$ es una clase de equivalencia en $X/\sim$, entonces uno puede intentar definir $g([x])=f(x)$, para toda $[x]\in X/\sim$. Sean $x,y\in X$. Si $x\sim y$, se concluye que $g\left([x]\right)=g\left([y]\right)$; de lo anterior se deduce que $g$ está bien definida. Visto de esta forma, uno dice que $g$ está bien definida si el diagrama conmuta. Esto es, que $f$ se factoriza a través de $\gamma$, donde $\gamma :X\to X/\sim$ es el mapeo de proyección canónica, tal que $f=g\gamma$. A esto lo llamamos propiedad universal del conjunto cociente.

El concepto de buena definición es importante para las matemáticas y ciencias para no tener que depender de la intuición humana, la cual es subjetiva e imprecisa. Por ejemplo, podría decirse que un objeto puede tener la propiedad de ser "rojo"; sin embargo, esta propiedad no está definida porque hay una amplia variedad de colores que algunos individuos percibirían como un tono de rojo, cuando otros insistirían que es naranja. Tal propiedad solamente estaría bien definida si reglas estrictas determinaran cuales frecuencias de luz visible el objeto estuviera permitido para emitir o reflejar para que sea "rojo".

Otro ejemplo sería que la mayoría de la gente aceptaría que 999 es casi tanto como 1000. Sin embargo, no hay una frontera clara que marque donde casi tanto como comienza o termina (hay, sin embargo, una noción bien definida de conjuntos infinitos que son casi otros).

Véase también

• División por cero
• Forma indeterminada

Referencias

Bibliografía

• Contemporary Abstract Algebra, Joseph A. Gallian, 6th Edition, Houghlin Mifflin, 2006, ISBN 0-618-51471-6.
• Algebra: Chapter 0, Paolo Aluffi, ISBN 978-0821847817. Page 16.
• Abstract Algebra, Dummit and Foote, 3rd edition, ISBN 978-0471433347. Page 1.

• Datos: Q371730