Conjunto unitario
En matemáticas conjunto de unidades (a veces singletón, del inglés singleton) es un conjunto con exactamente un elemento. Por ejemplo, el conjunto { null } es un singleton que contiene el elemento null.
El término también se usa para una tupla de 1 (una secuencia con un miembro).
Propiedades
En el marco de la teoría de conjuntos de Zermelo-Fraenkel, el axioma de regularidad garantiza que ningún conjunto es un elemento de sí mismo. Esto implica que un singleton es necesariamente distinto del elemento que contiene, por lo que 1 y {1} no son lo mismo, y el conjunto vacío es distinto del conjunto que contiene solo el conjunto vacío. Un conjunto como es un singleton ya que contiene un solo elemento (que en sí mismo es un conjunto, sin embargo, no un singleton).
Un conjunto es un singleton si y solo si su cardinalidad es 1. En la construcción teórica de conjuntos de von Neumann de los números naturales, el número 1 se define como el singleton
En la teoría axiomática de conjuntos, la existencia de singletons es una consecuencia del axioma de emparejamiento: para cualquier conjunto A, el axioma aplicado a A y A afirma que la existencia es la misma que la del singleton (ya que contiene A y ningún otro conjunto). conjunto, como un elemento).
Si A es cualquier conjunto y S es cualquier singleton, entonces existe precisamente una función de A a S, la función que envía todos los elementos de A al único elemento de S. Así cada singleton es un objeto terminal en la categoría de conjuntos.
Un singleton tiene la propiedad de que cada función desde él hasta cualquier conjunto arbitrario es inyectiva. El único conjunto no singleton con esta propiedad es el conjunto vacío.
Cada conjunto singleton es un prefiltro ultra. Si es un conjunto y entonces la parte superior de en la que está el conjunto es un ultrafiltro principal on Además, todo ultrafiltro principal on es necesariamente de esta forma. El lema del ultrafiltro implica que existen ultrafiltros no principales en cada conjunto infinito (estos se llaman ultrafiltros libres). Cada red valorada en un subconjunto singleton de es una ultrared en
La secuencia de números enteros de Bell cuenta el número de particiones de un conjunto (OEIS: A000110), si se excluyen los singletons, los números son más pequeños (OEIS: A000296).
En teoría de categorías
Las estructuras construidas sobre singletons a menudo sirven como objetos terminales u objetos cero de varias categorías:
- La declaración anterior muestra que los conjuntos singleton son precisamente los objetos terminales en la categoría Conjunto de conjuntos. Ningún otro conjunto es terminal.
- Cualquier singleton admite una estructura espacial topológica única (ambos subconjuntos están abiertos). Estos espacios topológicos singleton son objetos terminales en la categoría de espacios topológicos y funciones continuas. Ningún otro espacio es terminal en esa categoría.
- Cualquier singleton admite una estructura de grupo único (el elemento único que sirve como elemento de identidad). Estos grupos singleton son objetos cero en la categoría de grupos y homomorfismos de grupos. Ningún otro grupo es terminal en esa categoría.
Definición por funciones indicadoras
Sea S una clase definida por una función indicadora
Entonces S se llama singleton si y solo si hay alguno tal que para todo
Definición en Principia Mathematica
La siguiente definición fue introducida por Whitehead y Russell' Df.
El símbolo ' denota el singleton y denota la clase de objetos idénticos a aka. Esto ocurre como una definición en la introducción, que, en algunos lugares, simplifica el argumento en el texto principal, donde aparece como la proposición 51.01 (p.357 ibíd.). La proposición se utiliza posteriormente para definir el número cardinal 1 como ' Df.
Es decir, 1 es la clase de singletons. Esta es la definición 52.01 (p.363 ibid.)
Contenido relacionado
Prefijo métrico
Cálculo lambda
Función sobreyectiva