SimReal: Number - Real - Equal Sets - Def UiA Logo


[SimReal] [Library]
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.

MatRIC Logo