On olemas injektiivne funktsioon B→A, kuid puudub süstimisfunktsioon A→B. Nii et kui kasutame seda oma määratlusena, on tuviaugu põhimõte mitte tõestuse küsimus – selle asemel on see osa definitsioonist, mida tähendab, et üks komplekt on teisest suurem.
Kuidas tõestate tuviaugu põhimõtet?
(Tuviaugu põhimõte, lihtne versioon.) Kui k+1 või enam tuvi on jaotatud k tuviaugu vahel, sisaldab vähem alt üks tuvi kaks või enam tuvi Tõestus. Väite kontrapositiivsus on: Kui igas tuviaugus on kuni üks tuvi, siis on tuvisid maksimaalselt k.
Miks me vajame tuviaugu põhimõtet?
Kui on n inimest, kes saavad üksteisega kätt suruda (kus n > 1), näitab tuviaugu põhimõte, et alati on paar inimest, kes suruvad kätt sama arvuga inimesed Selle põhimõtte rakendamisel on 'auk', kuhu inimene on määratud, selle inimese poolt surutud käte arv.
Kas teete tuviaugu põhimõtet vastav alt juhistele?
See illustreerib üldist põhimõtet, mida nimetatakse tuviaugu põhimõtteks, mis ütleb, et kui tuvisid on rohkem kui tuvisid, siis peab olema vähem alt üks tuviauk, milles on vähem alt kaks tuvi.
Kas tuviaugu põhimõte on aksioom?
Tuviaugu põhimõte on matemaatika põhiaksioom, mis väidab, et puudub üks-ühele kaardistamine m tuvist n auguni, m > n. See väljendab väga elementaarset fakti hulkade kardinaalsuste kohta ja seda kasutatakse kõikjal peaaegu kõigis matemaatika valdkondades.
