(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 <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/23624a82-03ef-48e0-93e7-639736a35d4fn%40dimap.ufrn.br.