Singleton (matemáticas)

En matemáticas , un singleton (también conocido como conjunto unitario ^[1] o conjunto de un punto ) es un conjunto con exactamente un elemento . Por ejemplo, el conjunto es un singleton cuyo único elemento es . ${\estilo de visualización \{0\}}$${\estilo de visualización 0}$

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, ^[1] por lo tanto 1 y no son la misma cosa, 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, pero no un singleton). ${\estilo de visualización \{1\}}$${\estilo de visualización \{\{1,2,3\}\}}$

Un conjunto es un singleton si y solo si su cardinalidad es 1. En la construcción de los números naturales basada en la teoría de conjuntos de von Neumann , el número 1 se define como el singleton.${\estilo de visualización \{0\}.}$

En la teoría de conjuntos axiomáticos , la existencia de singletons es una consecuencia del axioma de emparejamiento : para cualquier conjunto A , el axioma aplicado a A y A afirma cuya existencia es la misma que la del singleton (ya que contiene a A , y a ningún otro conjunto, como elemento). ${\displaystyle \{A,A\},}$${\estilo de visualización \{A\}}$

Si A es un conjunto cualquiera y S es un singleton cualquiera, entonces existe precisamente una función de A a S , la función que envía cada elemento de A al elemento único de S . Por lo tanto, cada singleton es un objeto terminal en la categoría de conjuntos .

Un singleton tiene la propiedad de que toda función que lo une a cualquier conjunto arbitrario es inyectiva. El único conjunto no singleton con esta propiedad es el conjunto vacío .

Todo conjunto singleton es un ultraprefiltro . Si es un conjunto y entonces el superior de en el que es el conjunto es un ultrafiltro principal en ^[2] Además, todo ultrafiltro principal en es necesariamente de esta forma. ^[2] El lema del ultrafiltro implica que existen ultrafiltros no principales en cada conjunto infinito (estos se denominan ultrafiltros libres ). Toda red valorada en un subconjunto singleton de es una ultrared en${\estilo de visualización X}$${\displaystyle x\en X}$${\estilo de visualización \{x\}}$${\estilo de visualización X,}$${\displaystyle \{S\subseteq X:x\en S\},}$ ${\estilo de visualización X.}$${\estilo de visualización X}$${\estilo de visualización X}$${\estilo de visualización X.}$

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 ).

Las estructuras construidas sobre singletons a menudo sirven como objetos terminales u objetos cero de varias categorías :

• La afirmació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 son 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 única (el elemento único que sirve como elemento identidad ). Estos grupos singleton son objetos cero en la categoría de grupos y homomorfismos de grupo . Ningún otro grupo es terminal en esa categoría.

Sea S una clase definida por una función indicadora. Entonces S se llama singleton si y solo si existe alguno tal que para todo$${\displaystyle b:X\to \{0,1\}.}$$${\displaystyle y\en X}$${\displaystyle x\en X,}$ $${\displaystyle b(x)=(x=y).}$$

La siguiente definición fue introducida por Whitehead y Russell ^[3]

${\displaystyle \iota}$' Df.${\displaystyle x={\hat {y}}(y=x)}$

El símbolo ' denota el singleton y denota la clase de objetos idénticos a aka . Esto aparece como una definición en la introducción, que, en algunos lugares, simplifica el argumento en el texto principal, donde aparece como proposición 51.01 (p.357 ibid.). La proposición se utiliza posteriormente para definir el número cardinal 1 como ${\displaystyle \iota}$${\estilo de visualización x}$${\estilo de visualización \{x\}}$${\displaystyle {\hat {y}}(y=x)}$${\estilo de visualización x}$${\estilo de visualización \{y:y=x\}}$

${\displaystyle 1={\hat {\alpha }}((\existe x)\alpha =\iota }$' Df.${\estilo de visualización x)}$

Es decir, 1 es la clase de singletons. Ésta es la definición 52.01 (p.363 ibid.)

• Clase (teoría de conjuntos)  : Colección de conjuntos en matemáticas que se pueden definir en función de una propiedad de sus miembros.
• Punto aislado  – Punto de un subconjunto S alrededor del cual no hay otros puntos de S
• Cuantificación de unicidad  : propiedad lógica de ser el único objeto que satisface una condición
• Urelement  – ​​Concepto en la teoría de conjuntos

• Dolecki, Szymon; Mynard, Frédéric (2016). Fundamentos de convergencia de la topología . Nueva Jersey: World Scientific Publishing Company. ISBN 978-981-4571-52-4.OCLC 945169917  .