En matemáticas , el término esencialmente único se usa 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 utilizando una relación de equivalencia . [1]
Una noción relacionada es una propiedad universal , donde un objeto no solo es esencialmente único, sino único hasta un isomorfismo único [2] (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.
Ejemplos de
Teoría de conjuntos
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 (p. Ej., Emparejar 1 con o 1 a ) se refleja en el grupo simétrico .
Por otro lado, existe un conjunto ordenado esencialmente único de cualquier cardinalidad finita dada: si uno escribe y , entonces el único isomorfismo que conserva el orden es el que asigna 1 a , 2 a, Y 3 a.
Teoría de los números
El teorema fundamental de la aritmética establece que la factorización de cualquier entero positivo en números primos es esencialmente única, es decir, única hasta el orden de los factores primos. [3] [1] [4]
Teoría de grupos
En el contexto de la clasificación de grupos , existe un grupo esencialmente único que contiene exactamente 2 elementos. [4] 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 de grupo, se puede demostrar que todos esos grupos son isomorfos 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 Klein cuatro . [5]
Teoría de la medida
Existe una medida esencialmente única que es la traducción : invariante , estrictamente positiva y localmente finita en la línea 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.
Topología
Existe un colector bidimensional, compacto y de conexión sencilla esencialmente único : el de 2 esferas . 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. [6]
Teoría de la mentira
Un subgrupo compacto máximo de un grupo de Lie semisimple puede no ser único, pero es único hasta la conjugación.
Teoría de categorías
Un objeto que es el límite o colimit sobre un diagrama dado es esencialmente único, ya que existe un isomorfismo único para cualquier otro objeto limitante / colimitante. [7]
Teoría de la codificación
Dada la tarea de usar 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 . [8]
Ver también
- Teorema de clasificación
- Módulo , un término matemático perteneciente a la equivalencia de objetos
- Propiedad universal
- Hasta
Referencias
- ^ a b "El glosario definitivo de jerga matemática superior - esencialmente único" . Bóveda de matemáticas . 2019-08-01 . Consultado el 22 de noviembre de 2019 .
- ^ "Propiedad universal - Enciclopedia de las matemáticas" . www.encyclopediaofmath.org . Consultado el 22 de noviembre de 2019 .
- ^ Garnier, Rowan; Taylor, John (9 de noviembre de 2009). Matemáticas discretas: pruebas, estructuras y aplicaciones, tercera edición . Prensa CRC. pag. 452. ISBN 9781439812808.
- ^ a b Weisstein, Eric W. "Esencialmente único" . mathworld.wolfram.com . Consultado el 22 de noviembre de 2019 .
- ^ Corry, Scott. "Clasificación de grupos de orden n ≤ 8" (PDF) . Universidad de Lawrence . Consultado el 21 de noviembre de 2019 .
- ^ Lickorish, WB Raymond (6 de diciembre de 2012). Introducción a la teoría de los nudos . Springer Science & Business Media. ISBN 9781461206910.
- ^ "límite en nLab" . ncatlab.org . Consultado el 22 de noviembre de 2019 .
- ^ Báez, John (1 de diciembre de 2015). "Código Golay" . Visión visual . Sociedad Matemática Estadounidense . Consultado el 2 de diciembre de 2017 .