Moc zbioru: Różnice pomiędzy wersjami
[wersja nieprzejrzana] | [wersja nieprzejrzana] |
Usunięta treść Dodana treść
m →Oznaczenia: drobne techniczne |
To "łączenie w pary" jest trochę potoczne. A propos - nie mam pojęcia dlaczego w mojej przedpoprzedniej edycji zniknęło słowo "różnowartościowa", albo straciłem na chwilę poczytalność, albo.... |
||
Linia 2:
'''Moc zbioru''' – własność zbioru, która opisuje jego ''liczebność''. Nieformalnie, moc zbioru jest tym ''większa'' im ''większy'' jest zbiór.
Pojęcie mocy zbioru opiera się na pojęciu '''równoliczności''' dwóch zbiorów – zbiory ''A'' i ''B'' są równoliczne, gdy
Zbiory mają tę samą ''moc'', gdy są równoliczne. Moce zbiorów są konkretnymi obiektami matematycznymi, nazywanymi '''liczbami kardynalnymi''' i są to [[Klasa (matematyka)|klasy]] zbiorów wzajemnie równolicznych. Liczba kardynalna jest naturalnym uogólnieniem liczby elementów zbioru skończonego, w szczególności moc zbioru ''n''–elementowego wynosi ''n''.
[[Georg Cantor]], twórca teorii mnogości, określał moc zbioru jako tę własność, którą otrzymamy abstrahując od charakteru elementów zbioru i ich wzajemnych [[Relacja (matematyka)|relacji]] takich, jak np. [[częściowy porządek|uporządkowanie]].
|