En matemáticas , el término esencialmente único se utiliza para describir una forma más débil de unicidad, donde un objeto que satisface una propiedad es "único" sólo en el sentido de que todos los objetos que satisfacen la propiedad son equivalentes entre sí. La noción de unicidad esencial presupone alguna forma de "igualdad", que a menudo se formaliza mediante una relación de equivalencia .
Una noción relacionada es una propiedad universal , donde un objeto no solo es esencialmente único, sino único hasta un isomorfismo único [1] (lo que significa que tiene un grupo de automorfismo trivial ). En general puede haber más de un isomorfismo entre ejemplos de un objeto esencialmente único.
En el nivel más básico, existe un conjunto esencialmente único de cualquier cardinalidad dada , ya sea que se etiqueten los elementos o . En este caso, la no unicidad del isomorfismo (por ejemplo, hacer coincidir 1 con o 1 con ) se refleja en el grupo simétrico .
Por otro lado, existe un conjunto esencialmente único y totalmente ordenado de cualquier cardinalidad finita dada que es único hasta un isomorfismo único: si se escribe y , entonces el único isomorfismo que conserva el orden es el que asigna 1 a , 2 a , y 3 a .
El teorema fundamental de la aritmética establece que la factorización de cualquier número entero positivo en números primos es esencialmente única, es decir, única hasta el ordenamiento de los factores primos . [2] [3]
En el contexto de la clasificación de grupos , existe un grupo esencialmente único que contiene exactamente 2 elementos. [3] De manera similar, también hay un grupo esencialmente único que contiene exactamente 3 elementos: el grupo cíclico de orden tres. De hecho, independientemente de cómo se elija escribir los tres elementos y denotar la operación del grupo, se puede demostrar que todos esos grupos son isomórficos entre sí y, por lo tanto, son "iguales".
Por otro lado, no existe un grupo esencialmente único con exactamente 4 elementos, ya que en este caso hay dos grupos no isomorfos en total: el grupo cíclico de orden 4 y el grupo de cuatro de Klein . [4]
Hay una medida esencialmente única que es invariante en la traducción , estrictamente positiva y localmente finita en la recta real . De hecho, cualquier medida de este tipo debe ser un múltiplo constante de la medida de Lebesgue , especificando que la medida del intervalo unitario debe ser 1, antes de determinar la solución de forma única.
Existe una variedad esencialmente única, bidimensional, compacta y simplemente conectada : la biesfera . En este caso, es único hasta el homeomorfismo .
En el área de la topología conocida como teoría de nudos , existe un análogo del teorema fundamental de la aritmética: la descomposición de un nudo en una suma de nudos primos es esencialmente única. [5]
Un subgrupo compacto máximo de un grupo de Lie semisimple puede no ser único, pero lo es hasta la conjugación .
Un objeto que es el límite o colimit sobre un diagrama dado es esencialmente único, ya que existe un isomorfismo único con respecto a cualquier otro objeto limitante/colimitante. [6]
Dada la tarea de utilizar palabras de 24 bits para almacenar 12 bits de información de tal manera que se puedan detectar errores de 7 bits y corregir errores de 3 bits, la solución es esencialmente única: el código binario extendido Golay . [7]