Olá,
A sua definição é essencialmente a definição da soma ordinal, acertando
aqui e ali um detalhe,
A questão é que pode se provar por induçao finita que a soma ordinal e a
soma cardinal coincidem.
Nos livros de conjuntos, em geral, a cardinalidade é o menor ordinal para o
qual o conjunto tem bijeção,
no caso de conjuntos finitos esse menor ordinal vai ser um número natural
(e esse natural vai ser único
pelo Princípio da Casa dos Pombos e tal, se quiser manter um approach mais
combinatório no começo).
Então, partindo dessa definição que você sugere, não vai aparecer em livros
de conjuntos. Talvez em Matemática Discreta
alguém defina assim.
Abraços
[]s Samuel
Em domingo, 30 de abril de 2023 às 11:49:16 UTC-3, Petrucio Viana escreveu:
> Bom dia!
>
> Alguém conhece alguma referência que apresente a cardinalidade de
> conjuntos finitos baseada na definição abaixo?
>
> |vazio| = 0
> |A U {a}| = |A|+1
>
> Minha pergunta é sobre uma apresentação formal dessa teoria.
>
> Obrigado,
> P
>
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica
<logica-l@dimap.ufrn.br>
---
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para ver esta discussão na web, acesse
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/acba3eb3-4a0e-458c-85a9-94818dcc2f37n%40dimap.ufrn.br.
