Diferenças entre edições de "Número cardinal"

22 bytes adicionados ,  19h54min de 22 de junho de 2012
sem resumo de edição
 
Um conjunto ''A'' é pelo menos tão grande como, ou maior do que, ou igual a um conjunto ''B'', se houver um mapeamento (um-para-um) [[injetivo]] a partir dos elementos de ''B'' para os elementos de ''A''. Um mapeamento um-para-um identifica cada elemento do conjunto ''B'' com um único elemento do conjunto de ''A''. Isto é mais facilmente compreendida por um exemplo; suponha que temos os conjuntos ''B'' = {1,2,3} e ''A'' = {a, b, c, d }, então usando a noção do tamanho, observa-se que não há um mapeamento:
 
1 → a
 
 
O exemplo clássico utilizado é o do paradoxo hotel infinito, também chamado [[Paradoxo de Hilbert do Grand Hotel]]. Suponha que você é um estalajadeiro em um hotel com um número infinito de quartos. O hotel está cheio, e então um novo hóspede chega. É possível hospedar o hóspede extra perguntando a quem estava no quarto 1 para ir para o quarto 2, o hóspede do quarto 2 mover-se para o quarto 3, e assim por diante, deixando o espaço 1 vago. Nós podemos escrever explicitamente um segmento deste mapeamento:
 
1 ↔ 2
 
Para esta definição fazer sentido, é preciso mostrar que este ordinal existe, e que ele é único. Se o conjunto <math>A</math> é não vazio, então pelo [[Axioma da escolha]] pode ser bem ordenado e, portanto, equipotente a algum ordinal. Ou seja, o conjunto dos ordinais equipotentes a <math>A</math> é não vazio. Novamente, pelo ''Axioma da escolha'', existe um menor ordinal equipotente a <math>A</math>.
 
Formalmente, assumindo o axioma da escolha, a cardinalidade de um conjunto <math> A </math> é o menor ordinal α tal que existe uma bijeção entre <math>A </math> e α. Esta definição é conhecida como a [[atribuição do cardinal de von Neumann]]. A mais antiga definição da cardinalidade de um conjunto <math>A </math> (implícito e explícito de Cantor, Frege e [[Principia Mathematica]]) é como a classe <math> [A] </math> de todos os conjuntos que são equinumeráveis com <math>A</math>. Isso não funciona em [[ZFC]] ou outros sistemas relacionados da [[teoria axiomática dos conjuntos]], pois se <math>A</math> é não vazio, esta coleção é muito grande para ser um conjunto. De fato, para <math>A ≠</math> vazio há uma injeção do universo em <math> [A] </math>pelo mapeamento de um conjunto de ‘’m’’''m'' para ‘’''{m}’’ ×'' <math>A</math> e assim por limitação de tamanho, <math> [A] </math> é uma classe adequada. A definição funciona, no entanto, em [[teoria de tipo]] e em [[novas bases]] e sistemas relacionados. No entanto, se restringir desta classe para aqueles equinumeráveis com <math>A</math> que tenham o mínimo de classificação, então ele vai trabalhar (isto é um truque devido à [[Dana Scott]]: <ref>[Deiser, Oliver (May 2010). "On the Development of the Notion of a Cardinal Number". History and Philosophy of Logic 31 (2): 123–143. DOI:10.1080/01445340903545904] </ref> funciona porque a coleção de objetos com qualquer classificação dada é um conjunto ).
 
Formalmente, a ordem entre números cardinais é definida como segue: <math>| A |</math><math>| B |</math> significa que existe uma função injetiva de <math>A</math> a <math>B</math>. O [[teorema de Cantor-Bernstein-Schroeder]] declara que se <math>| A | ≤ | B |</math> e <math>| B |</math><math>| A |</math> então <math>| A | = | B |</math>. O [[axioma da escolha]] é equivalente à afirmação de que dados dois conjuntos <math>A</math> e <math>B</math>, ou <math>| A |</math><math>| B |</math> ou <math>| B |</math><math>| A |</math>. <ref>[Enderton, Herbert. "Elements of Set Theory", Academic Press Inc., 1977. ISBN 0-12-238440-7] </ref>
 
Um conjunto A é um [[infinito de Dedekind]] se existe um subconjunto próprio <math>B</math> de <math>A</math> com <math>| A | = | B |</math> e [[finito de Dedekind]] se um subconjunto não existe. Os cardinais finitos são apenas os números naturais, ou seja, um conjunto <math>A</math> é finito se e somente se <math>| A | = | n | = n</math> para algum número natural ‘’n’’''n''. Qualquer outro conjunto é infinito. Assumindo o axioma da escolha, pode ser provado que as noções de Dedekind correspondem aos padrões. Ele também pode provar que o cardinal <math>\aleph_0</math> ([[aleph nulo]] ou aleph-0, onde Aleph é a primeira letra do alfabeto hebraico, representada <math>\aleph</math>) do conjunto dos números naturais é o menor cardinal infinito, por exemplo, qualquer conjunto infinito tem um subconjunto de cardinalidade <math>\aleph_0</math>. O próximo cardinal maior é denotado por <math>\aleph_1</math> e assim por diante. Para cada ordinal α há um número cardinal <math>\aleph_ α</math> e esta lista esgota todos os infinitos números cardinais.
 
 
8

edições