Conjunto finito: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
m peq. ajustes utilizando AWB |
resumo normal |
||
Linha 1:
Intuitivamente, um [[conjunto]] é '''finito''' quando é possível contar seus elementos e a contagem termina em seguida.
Usualmente, diz-se em [[teoria dos conjuntos]] que um conjunto '''X''' é finito se é [[conjunto vazio|vazio]] ou existe um [[número natural]] {{mvar|n}} tal que '''X''' seja [[Função bijetiva|bijetivo]] com {1,
Esta definição tem o problema de utilizar o conceito de [[número natural]]. Uma definição alternativa, devido a [[Richard Dedekind]], é que um conjunto ''X'' é finito se não existe um [[Subconjunto#Subconjunto pr.C3.B3prio|subconjunto próprio]] <math>Y \subset X\,</math> e uma função bijetiva <math>f: X \to Y\,</math><ref name="ohio.edu">[http://www.ling.ohio-state.edu/~plummer/courses/autumn08/ling680/reading/induction.pdf CHAPTER FOUR: THE NATURAL NUMBERS, INDUCTION, AND RECURSIVE DEFINITION], no ''site'' www.ling.ohio-state.edu</ref>. Um conjunto que é finito segundo esta definição é chamado de ''Dedekind-finito'' (e um conjunto que tem um subconjunto próprio de mesma [[cardinalidade]] é chamado de ''[[Dedekind-infinito]]'').
Linha 10:
==Ver também==
*[[Conjunto infinito]]22222233333
{{Referências}}
| |||