Mostrar código-fonte de Cardinalidade

[[Ficheiro:Cantor-Bernstein-Schröder.png|miniaturadaimagem|Diz-se que a cardinalidade de dois conjuntos A e B é igual, se e só se existir uma função f que corresponde cada elemento do conjunto A, a um só elemento do conjunto B (isto é, se f for bijetiva).]]
Na [[matemática]], a '''cardinalidade''' de um [[conjunto]] é uma medida do "número de [[Elemento (matemática)|elementos]] do conjunto". Por exemplo, o conjunto A={2,4,6} contém 3 elementos e por isso possui cardinalidade 3. Existem duas abordagens para cardinalidade - uma que compara conjuntos diretamente, usando [[Função bijectiva|funções bijetoras]] e [[Função injectiva|funções injetoras]], e outra que usa [[Número cardinal|números cardinais]]<ref>Weisstein, Eric W. "Cardinal Number." From MathWorld--A Wolfram Web Resource. http://mathworld.wolfram.com/CardinalNumber.html</ref>.

A cardinalidade de um conjunto A é usualmente denotada |A|, com uma [[barra vertical]] de cada lado; trata-se da mesma notação usada para [[valor absoluto]], por isso o significado depende do [[ambiguidade|contexto]]. A cardinalidade de um conjunto pode ser denotada ainda <math>\overline{\overline{A}}\,</math> ou #&thinsp;''A''.

== Comparação de conjuntos ==

=== Caso 1: |A|=|B| ===
:Dois conjuntos A e B possuem a mesma cardinalidade se existe uma [[Função bijectiva|bijeção]], ou seja, uma [[função (matemática)|função]] que seja simultaneamente [[Função injectiva|injetora]] e [[Função sobrejectiva|sobrejetora]], entre eles.

:Por exemplo, o conjunto E={0, 2, 4, 6, ...} dos [[números pares e ímpares|números pares]] [[não-negativo]]s tem a mesma cardinalidade do conjunto N={0, 1, 2, 3, ...} dos [[Número natural|números naturais]], uma vez que a função ''f''(''n'')=''2n'' é uma bijeção de N para E.

=== Caso 2: |A|≥|B| ===
:A tem cardinalidade maior ou igual que a cardinalidade de B se existe uma função injetora de B para A.

=== Caso 3: |A|>|B| ===
:A tem cardinalidade estritamente maior do que a cardinalidade de B se existe uma função injetora de B para A, mas não existe nenhuma função bijetora de B para A.

: Por exemplo, o conjunto '''R''' de todos os [[Número real|números reais]] tem cardinalidade estritamente maior do que a cardinalidade do conjunto '''N''' de todos os [[Número natural|números naturais]] pois a função identidade ''i'':'''N'''→'''R''', definida como i(x)=x, é injetora. Por outro lado, é possível demonstrar a inexistência de uma função bijetora de '''N''' para '''R''' (veja [[Argumento de diagonalização de Cantor|Argumento de Diagonalização de Cantor]] ou a [[Primeira Prova da Incontabilidade de Cantor]]).

== Números cardinais ==
{{main|Número cardinal}}

Acima, "cardinalidade" foi definida de forma funcional. ou seja, a "cardinalidade" de um conjunto não foi definida como um objeto específico independente. No entanto, tal objeto pode ser definido como segue.

A relação de possuir a mesma cardinalidade é chamada [[equipotência]], e ela é uma [[relação de equivalência]] sobre a [[Classe (teoria dos conjuntos)|classe]] de todos os conjuntos. A [[classe de equivalência]] de um conjunto A sob essa relação consiste, então, de todos os conjuntos que possuem a mesma cardinalidade de A. Existem duas formas de definir a "cardinalidade de um conjunto":

# A cardinalidade de um conjunto ''A'' é definida como a sua classe de equivalência sob a equipotência.
# Um conjunto representativo é designado para cada classe de equivalência. A escolha mais comum recai sobre o [[ordinal inicial da classe]]. Esta consiste, usualmente, na definição de [[número cardinal]] na [[teoria dos conjuntos]].

As cardinalidades de conjuntos infinitos são denotadas:
:<math>\aleph_0 < \aleph_1 < \aleph_2 < \ldots . </math>
Para cada [[número ordinal|ordinal]] α, {{unicode|&alefsym;}}<sub>α + 1</sub> é o menor número cardinal maior do que  {{unicode|&alefsym;}}<sub>α</sub>.

A cardinalidade dos [[Número inteiro|números inteiros]] é denotada [[aleph (matemática)|aleph-zero]] ({{unicode|&alefsym;}}<sub>0</sub>), enquanto que a cardinalidade dos [[Número real|números reais]] é denotada '''c''', e também conhecida como [[cardinalidade do contínuo]]. É possível mostrar que '''c''' = 2<sup>{{unicode|&alefsym;}}<sub>0</sub></sup> ; esta também é a cardinalidade do conjunto de todos os subconjuntos dos números inteiros. A [[Hipótese do Continuum|Hipótese do Contínuo]] diz que {{unicode|&alefsym;}}<sub>1</sub> = 2<sup>{{unicode|&alefsym;}}<sub>0</sub></sup>, isto é, que 2<sup>{{unicode|&alefsym;}}<sub>0</sub></sup> é o menor número cardinal maior que {{unicode|&alefsym;}}<sub>0</sub>, ou seja, que não existe conjunto cuja cardinalidade esteja situada estritamente entre a dos números inteiros e a dos números reais. A hipótese do contínuo permanece não-solucionada num sentido "absoluto"<ref>{{Citation|first=R|last=[[Roger Penrose|Penrose]]|title=The Road to Reality: A Complete guide to the Laws of the Universe|publisher=Vintage Books|year=2005|ISBN=0-099-44068-7}}</ref>.  [[Cardinalidade#Cardinalidade do continuum|Veja abaixo]] para mais detalhes sobre a cardinalidade do contínuo.

== Conjuntos finitos, contáveis e incontáveis ==
Caso o [[axioma da escolha]] seja verdadeiro, então a [[tricotomia (matemática)|Lei da Tricotomia]] é verdadeira para a cardinalidade. Portanto, é possível fazer as seguintes definições:

* Qualquer conjunto ''X'' com cardinalidade menor que a do conjunto dos [[Número natural|números naturais]], ou |&thinsp;''X''&thinsp;| < |&thinsp;'''N'''&thinsp;|, é dito [[conjunto finito]].
* Qualquer conjunto X que tenha a mesma cardinalidade do conjunto dos números naturais, ou |&thinsp;''X''&thinsp;| = |&thinsp;'''N'''&thinsp;| = {{unicode|&alefsym;}}<sub>0</sub>, é denominado [[conjunto contável|conjunto infinitamente contável]].
* Qualquer conjunto ''X'' com cardinalidade maior que a do conjunto dos números naturais, ou |&thinsp;''X''&thinsp;| > |&thinsp;'''N'''&thinsp;|, por exemplo |&thinsp;'''R'''&thinsp;| = '''c''' > |&thinsp;'''N'''&thinsp;|, é denominado [[conjunto não-enumerável|incontável]].

== Conjuntos infinitos ==
A intuição obtida com os [[Conjunto finito|conjuntos finitos]] desaparece quando se lida com [[Conjunto infinito|conjuntos infinitos]]. No final do século dezenove, [[Georg Cantor]], [[Gottlob Frege]], [[Richard Dedekind]] e outros, rejeitaram a ideia de Galileu (por sua vez derivada de [[Euclides]]) de que o todo não pode ter o mesmo tamanho da parte. Um exemplo disso é o [[Hotel de Hilbert|Paradoxo do Hotel de Hilbert]].

A razão disso é que as várias caracterizações do significado de um conjunto A ser maior do que um conjunto B, ou de ter o mesmo tamanho que um conjunto B, e que são todas equivalentes para conjuntos finitos, não são mais equivalentes para conjuntos infinitos. Diferentes caracterizações podem produzir resultados diferentes. Por exemplo, na caracterização popular de tamanho escolhida por Cantor, pode acontecer de um conjunto infinito A ser maior (nesse sentido) do que um conjunto infinito B; outras caracterizações podem dar como resultado que um conjunto infinito A tem sempre o mesmo tamanho de um conjunto infinito B.

Para conjuntos finitos, a contagem é apenas uma [[Função bijectiva|bijeção]] (correspondência um-para-um) entre o conjunto sendo contado e um segmento inicial dos inteiros positivos. Portanto, não existe noção equivalente para a ''contagem'' de conjuntos infinitos. Enquanto que, aplicada aos conjuntos finitos, a contagem produz um resultado único, um conjunto infinito pode ser colocado numa correspondência um-para-um com muitos [[Número ordinal|números ordinais]] diferentes, dependendo de como se escolhe "contar" (ordenar) o mesmo.

Adicionalmente, diferentes caracterizações de tamanho, quando estendidas para conjuntos infinitos, irão violar diferentes regras válidas para conjuntos finitos. Quais regras serão violadas varia de caracterização para caracterização. Por exemplo, a caracterização de Cantor, que por um lado preserva a regra de que às vezes um conjunto é maior do que outro, viola a regra de que a exclusão de um elemento torna o conjunto menor. Outra caracterização poderia preservar a regra de que a exclusão de um elemento torna o conjunto menor, mas violaria outra regra. Além disso, uma caracterização pode não violar uma regra diretamente, mas ela pode também não sustentá-la diretamente, no sentido de que qualquer que seja o caso se dependa de um axioma controverso tal como o axioma da escolha ou a hipótese do contínuo. Portanto, existem três possibilidades. Cada caracterização violará algumas regras, manterá outras e será inconclusiva em relação a outras.

Se forem considerados os [[multiconjunto]]s, outras regras, válida para multiconjuntos finitos, serão violadas (considerando-se a abordagem de Cantor). Dados dois multiconjuntos A e B, A não sendo maior do que B, e B não sendo maior do que A, não necessariamente implica que A tem o mesmo tamanho de B. Essa regra é válida para multiconjuntos que sejam finitos. A lei de tricotomia é explicitamente violada nesse caso, em oposição ao caso dos conjuntos, onde ela é equivalente ao axioma da escolha.

Dedekind simplesmente definiu um conjunto infinito como sendo aquele que possui o mesmo tamanho (no sentido de Cantor) de pelo menos um [[Subconjunto|subconjunto próprio]] seu. Essa noção de infinitude é denominada [[Sistema infinito de Dedekind|Infinito de Dedekind]]. Essa definição, no entanto, é válida apenas na presença de alguma forma do axioma da escolha, por isso ela não é considerada válida por alguns matemáticos.

Cantor introduziu os acima-mencionados números cardinais, e mostrou (no sentido de Cantor) que alguns conjuntos infinitos são maiores do que outros. A menor cardinalidade infinita é aquela dos números naturais ({{unicode|&alefsym;}}<sub>0</sub>).

=== Cardinalidade do contínuo ===
Um dos resultados mais importantes do trabalho de Cantor foi a demonstração de que a [[cardinalidade do contínuo]] (<math>\mathfrak{c}</math>) é maior do que aquela dos números naturais ({{unicode|&alefsym;}}<sub>0</sub>); ou seja, existem mais números reais em '''R''' do que números inteiros em '''N'''. Cantor provou que
:<math>\mathfrak{c} = 2^{\aleph_0} > {\aleph_0}</math>
:(veja [[Argumento de diagonalização de Cantor]]).

A [[Hipótese do Continuum]] diz que não existe [[número cardinal]] entre a cardinalidade dos números reais e a cardinalidade dos números naturais, ou seja, 

:<math>\mathfrak{c} = \aleph_1 = \beth_1</math>
:(veja [[Número Beth]] 1)

No entanto, essa hipótese não pode ser nem provada nem refutada dentro da amplamente aceita [[Teoria dos conjuntos|Teoria Axiomática dos Conjuntos]] de [[Axiomas de Zermelo-Fraenkel|ZFC]], se ela for consistente.

A aritmética de cardinais pode ser usada para mostrar não apenas que o número de pontos na [[reta real]] é igual ao número de pontos em qualquer [[Segmento de reta|segmento]] dessa reta, mas também que esse número é igual ao número de pontos num plano e, também, em qualquer espaço dimensional finito. Esses resultados são altamente contra-intuitivos, pois eles implicam a existência de [[Subconjunto|subconjuntos próprios]] e [[Subconjunto|superconjuntos próprios]] de um conjunto infinito S que possuem o mesmo tamanho de S, apesar de S conter elementos que não pertencem aos seus subconjuntos e os superconjuntos de S conterem elementos que não estão incluídos nele.

O primeiro desses resultados é aparente considerando-se, por exemplo, a [[Função trigonométrica|função tangente]], que estabelece uma [[Função bijectiva|correspondência um-para-um]] entre o [[intervalo (matemática)|intervalo]] (&minus;½p, ½p) e '''R''' (veja também o [[Hotel de Hilbert|Paradoxo do Hotel de Hilbert]]).

O segundo resultado foi demonstrado pela primeira por Cantor em 1878, mas ficou mais aparente em 1890, quando [[Giuseppe Peano]] introduziu as [[curvas de preenchimento de espaço]], linhas curvas que se torcem e dobram o suficiente para preencher a totalidade de um quadrado, um cubo, um [[hipercubo]] ou espaço dimensional finito. Essas curvas não são uma [[prova direta]] de que a linha tem o mesmo número de pontos que um espaço dimensional finito, mas elas podem ser facilmente usadas para obter tal prova.

Cantor também mostrou a existência de conjuntos com cardinalidade estritamente maior do que <math>\mathfrak c</math> (veja o seu  [[Argumento de diagonalização de Cantor|argumento diagonal generalizado]] e [[Teorema de Cantor|teorema]]). Eles incluem, por exemplo:

* o conjunto de todos os subconjuntos de '''R''', i.e., o [[Conjunto de partes|conjunto potência]] de '''R''', denotado ''P''('''R''') ou 2<sup>'''R'''</sup>
* o conjunto '''R'''<sup>'''R'''</sup> de todas as funções de '''R''' para '''R'''

Ambos possuem cardinalidade
:<math>2^\mathfrak {c} = \beth_2 > \mathfrak c </math>
:(veja [[Número Beth]] 2).

As [[igualdade cardinal|igualdades cardinais]] <math>\mathfrak{c}^2 = \mathfrak{c},</math> <math>\mathfrak c^{\aleph_0} = \mathfrak c,</math> e <math>\mathfrak c ^{\mathfrak c} = 2^{\mathfrak c}</math> podem ser demonstradas usando-se a [[Número cardinal|aritmética cardinal]]:
:<math>\mathfrak{c}^2 = \left(2^{\aleph_0}\right)^2 = 2^{2\times{\aleph_0}} = 2^{\aleph_0} = \mathfrak{c},</math>
:<math>\mathfrak c^{\aleph_0} = \left(2^{\aleph_0}\right)^{\aleph_0} = 2^{{\aleph_0}\times{\aleph_0}} = 2^{\aleph_0} = \mathfrak{c},</math>
:<math> \mathfrak c ^{\mathfrak c} = \left(2^{\aleph_0}\right)^{\mathfrak c} = 2^{\mathfrak c\times\aleph_0} = 2^{\mathfrak c}.</math>

== Exemplos e propriedades ==
* Se ''X'' = {''a'', ''b'', ''c''} e ''Y'' = {maçãs, laranjas, pêssegos}, então |&thinsp;''X''&thinsp;| = |&thinsp;''Y''&thinsp;| pois {(''a'', maçãs), (''b'', laranjas), (''c'', pêssegos)} é uma bijeção entre os conjuntos ''X'' e ''Y''. A cardinalidade de ambos os conjuntos é 3.
* Se |&thinsp;''X''&thinsp;| &lt; |&thinsp;''Y''&thinsp;|, então existe ''Z'' tal que |&thinsp;''X''&thinsp;| = |&thinsp;''Z''&thinsp;| e ''Z'' ⊆ ''Y''.
* [[Conjuntos com a cardinalidade do contínuo]]

== Grupo de Montagem ==
O Grupo de Montagem é um exemplo de organização que sempre mantém a cardinalidade.

==Ver também==
{{commons category}}
*[[Aleph (matemática)|Número Aleph]]
*[[Número Beth]]
*[[Tipo de ordem]]
*[[Conjunto contável]]

{{Referências}}


{{Teoria dos conjuntos}}
{{Portal3|Matemática}}

[[Categoria:Cardinalidade| ]]