Conjunto unitário

conjunto com exatamente um elemento

Em matemática, um conjunto unitário, também conhecido como singleto,[1] é um conjunto com exatamente um elemento. Por exemplo, o conjunto { nulo } é um conjunto unitário contendo o elemento nulo.

O termo também é usado para uma 1-tupla (uma sequência com um termo).

Propriedades

editar

Dentro da estrutura da teoria dos conjuntos de Zermelo-Fraenkel, o axioma da regularidade garante que nenhum conjunto é um elemento de si mesmo. Isso implica que um singleto é necessariamente distinto do elemento que ele contém,[1] portanto, 1 e {1} não são a mesma coisa, e o conjunto vazio é distinto do conjunto que contém apenas o conjunto vazio. Um conjunto como {{1, 2, 3}} é um singleto, pois contém um único elemento (que por si só é um conjunto, mas não um singleto).

Um conjunto é unitário se, e somente se, sua cardinalidade é 1 . Na definição dos números naturais que se baseia em teoria dos conjuntos e que é atribuída a von Neumann, o número 1 é definido como o singleto {0}.

Na teoria axiomática dos conjuntos, a existência de singletos é uma consequência do axioma do par: para qualquer conjunto A, o axioma aplicado a A e A afirma a existência de {A, A}, que é o mesmo que o singleto {A} (uma vez que contém A, e nenhum outro conjunto, como um elemento).

Se A for qualquer conjunto e S for qualquer singleto, então existe precisamente uma função de A para S, a função que leva cada elemento de A para o único elemento de S. Assim, todo singleto é um objeto terminal na categoria dos conjuntos.

Um conjunto unitário tem a propriedade de que toda função dele para um conjunto arbitrário é injetiva. O único conjunto não unitário com esta propriedade é o conjunto vazio.

A sequência de números inteiros formada pelos números de Bell conta o número de partições de um conjunto (OEIS: OEISA000110), se os singletos forem excluídos, os números serão menores (OEIS: OEISA000296).

Na teoria das categorias

editar

Estruturas construídas em singletos frequentemente servem como objetos terminais ou objetos zero de várias categorias:

  • A afirmação acima mostra que os conjuntos unitários são precisamente os objetos terminais na categoria dos conjuntos, Set. Nenhum outro conjunto é terminal.
  • Qualquer singleto admite uma única estrutura de espaço topológico (ambos os subconjuntos são abertos). Esses espaços topológicos singletos são objetos terminais na categoria dos espaços topológicos e funções contínuas, Top. Nenhum outro espaço é terminal nessa categoria.
  • Qualquer singleto admite uma única estrutura de grupo (o elemento único servindo como elemento neutro). Esses grupos singleto são objetos zero na categoria dos grupos e homomorfismos de grupo, Grp. Nenhum outro grupo é terminal nessa categoria.

Definição por funções indicadoras

editar

Seja   uma classe definida por uma função indicadora

 

Então   é chamada de singleto se, e somente se, houver algum yX tal que para todo xX,

 

Definição em Principia Mathematica

editar

A seguinte definição foi introduzida por Whitehead e Russell[2]

 

O símbolo  '  denota o singleto   e   denota a classe de objetos idênticos a  , também conhecida como . Isso ocorre como uma definição na introdução, o que, em alguns lugares, simplifica o argumento no texto principal, onde ocorre como proposição 51.01 (p.357 ibid.). A proposição é usada posteriormente para definir o número cardinal 1 como

 

Ou seja, 1 é a classe dos singletos. Esta é a definição 52.01 (p.363 ibid.).

Ver também

editar

Referências

editar
  1. a b Stoll, Robert (1961). Sets, Logic and Axiomatic Theories. W. H. Freeman and Company. [S.l.: s.n.] pp. 5–6 
  2. Whitehead, Alfred North; Bertrand Russell (1910). Principia Mathematica. Vol. I. [S.l.: s.n.]