(a soma ordinal e a soma cardinal coincidem PARA ORDINAIS FINITOS, na
mensagem anterior, claro)
Em quarta-feira, 3 de maio de 2023 às 13:34:15 UTC-3, samuel escreveu:
> 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
---
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/23624a82-03ef-48e0-93e7-639736a35d4fn%40dimap.ufrn.br.