Bilangan kardinal: Perbedaan antara revisi
Konten dihapus Konten ditambahkan
Tidak ada ringkasan suntingan |
kTidak ada ringkasan suntingan |
||
Baris 1:
'''Bilangan
Bilangan ini pertama kali ditemukan oleh [[Georg Cantor]] pada tahun [[1874]].
== Definisi formal ==
Formally, the order among cardinal numbers is defined as follows: |''X''| ≤ |''Y''| means that there exists an [[injective]] function from ''X'' to ''Y''. The [[Cantor–Bernstein–Schroeder theorem]] states that if |''X''| ≤ |''Y''| and |''Y''| ≤ |''X''| then |''X''| = |''Y''|. The [[axiom of choice]] is equivalent to the statement that given two sets ''X'' and ''Y'', either |''X''| ≤ |''Y''| or |''Y''| ≤ |''X''|.<ref name="Enderton">Enderton, Herbert. "Elements of Set Theory", Academic Press Inc., 1977. {{ISBN|0-12-238440-7}}</ref><ref>{{citation | author=[[Friedrich M. Hartogs]] | editor=[[Felix Klein]] |editor2=[[Walther von Dyck]] |editor3=[[David Hilbert]] |editor4=[[Otto Blumenthal]] | title=Über das Problem der Wohlordnung | journal=Math. Ann. | volume=Bd. 76 | number=4 | publisher=B. G. Teubner | location=Leipzig | year=1915 | pages=438–443 | issn=0025-5831 |url=http://gdz.sub.uni-goettingen.de/index.php?id=11&PPN=PPN235181684_0076&DMDID=DMDLOG_0037&L=1 | doi=10.1007/bf01458215}}</ref>
== Pranala luar ==
|