Ensino Superior ⇒ Matematica discreta (conjuntos finitos)

[Squ3let0n]

Utilize o seguinte teorema
(*) Sejam n [tex3]\epsilon [/tex3] [tex3]\mathbb{N}[/tex3], A um conjunto e f : A [tex3]\rightarrow J_{n}[/tex3] uma bijeção. Se B é um subconjunto p´roprio de A então não existe bijeção H: B [tex3]\rightarrow J_{n}[/tex3].



Exercicio:
Utilize o teorema (*) para provar o seguinte resultado: se A é um conjunto finito, então NÃO existe bijeção de A em um subconjunto próprio de A

[snooplammer]

Tem essa questão no Elonzão, dá uma olhada lá.

[Squ3let0n]

Tem essa questão no Elonzão, dá uma olhada lá.

O senhor pode me mandar o link no privado ?

[snooplammer]

Squ3let0n, https://drive.google.com/file/d/1LwZaWN ... sp=sharing

Vou deixar aqui, daí qualquer pessoa que ver vai conseguir acessar também. Em específico, é o corolário 2 do capitulo 3.