SimReal: Number - Real - Equal Sets - Def | ![]() |
![]() |
Reelle tall - Like mange - Def To mengder A og B sies å inneholde like mange elementer hvis det finnes en en-entydig (bijektiv = injektiv + surjektiv) avbildning mellom A og B. Hvis en slik avbildning finnes, sies A og B å være likemektige. En-entydig avbildning betyr at det finnes en funksjon f: A->B og en tilsvarende invers funksjon f-1: B->A slik at det til ethvert element i A tilordnes nøyaktig ett element i B og til ethvert element i B tilordnes nøyaktig ett element i A. |