Discussão:Cardinalidade
Adicionar tópico | Este artigo foi avaliado automaticamente com qualidade 2 e faz parte do âmbito de 2 WikiProjetos: Matemática e WP Offline. | |
|---|---|---|
 |  | Para o WikiProjeto:Matemática este artigo possui importância ainda não avaliada. Se você se interessa pelo assunto, visite o projeto para conhecer as tarefas e discussões em curso. |
 |  | Para o WikiProjeto Wikipédia Offline este artigo possui importância 3. Se você se interessa pelo assunto, visite o projeto para conhecer as tarefas e discussões em curso. |
| Se não tiver suas questões respondidas nesta página de discussão procure o(s) wikiprojeto(s) acima. | ||
Não seria melhor fundir esse artigo com número cardinal? Albmont 10:47, 15 Dezembro 2006 (UTC)
Da maneira como está, realmente poderia estar num artigo só. Mas penso que há espaço para dois artigos. Como está na wikipédia inglesa, There are two approaches to cardinality – one which compares sets directly using bijections and injections, and another which uses cardinal numbers. Salgueiro discussão 12:17, 15 Dezembro 2006 (UTC)
- Ok, mas o que são números cardinais? São conjuntos bem definidos, únicos, cuja propriedade é representarem os outros conjuntos de mesma cardinalidade - ou seja, esses dois aproaches são a mesma coisa com outras palavras. Albmont 14:35, 15 Dezembro 2006 (UTC)
- Convenceu-me. Não me oponho à fusão. Eu preferiria colocar os dois artigos sob cardinalidade, mas se o Albmont os quiser colocar em número cardinal, por mim tudo bem. Salgueiro discussão 08:56, 16 Dezembro 2006 (UTC)
- Por outro lado, dá para escrever sobre cardinalidade apenas com base nos axiomas, sem jamais falar de número cardinal. A definição de |A| = |B| é pelas funções bijetivas, |A| = |B| -> |B| = |A| é imediato, |A| = |B| e |B| = |C| -> |A| = |C| vem pela composição de funções, em seguida define-se |A| < |B| (e as outras relações de ordem), define-se o que se entende por |A| = |B| + |C| , |A| = |B| x |C|, |A| = |B|^|C| (tem que se provar que essas definições são consistentes, ou seja, que se |B| = |D| e |C| = |E| então |B| ## |C| = |D| ## |E| para cada operação ##), e, para finalizar, cita-se que |A| <= |B| ou |A| > |B| e que se |A| <= |B| e |B| <= |A| então |A| = |B|. Nada disso requer que |A| esteja definido! Albmont 01:48, 17 Dezembro 2006 (UTC)