Bilangan kardinal

Bilangan kardinal adalah sebuah bilangan yang menunjukkan sebuah kuantitas. Bilangan ini digunakan untuk menyatakan hitungan dalam menghitung benda, menghitung umur, menghitung waktu, menghitung anggota suatu himpunan, dan lain-lain. Bilangan-bilangan tersebut seperti 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 dan seterusnya.

Bilangan ini pertama kali ditemukan oleh Georg Cantor pada tahun 1874.

Definisi formal

Secara formal, urutan di antara bilangan kardinal didefinisikan sebagai berikut: |X| ≤ |Y| berarti bahwa ada fungsi injektif dari X ke Y. Teorema Cantor–Bernstein–Schroeder menyatakan jika |X| ≤ |Y| dan |Y| ≤ |X| maka |X| = |Y|. Aksioma pilihan setara dengan pernyataan yang diberikan dua set X dan Y, baik |X| ≤ |Y| maupun |Y| ≤ |X|.^[1]^[2]

Referensi

^ Enderton, Herbert. "Elements of Set Theory", Academic Press Inc., 1977. ISBN 0-12-238440-7
^ Friedrich M. Hartogs (1915), Felix Klein; Walther von Dyck; David Hilbert; Otto Blumenthal, ed., "Über das Problem der Wohlordnung", Math. Ann., Leipzig: B. G. Teubner, Bd. 76 (4): 438–443, doi:10.1007/bf01458215, ISSN 0025-5831

Pranala luar

Cardinality at ProvenMath formal proofs of the basic theorems on cardinality.
Undergraduate Set Theory^{[pranala nonaktif permanen]} more proofs about cardinality - includes proof of infinite cardinal addition in Section 4.2.

l b s Sistem bilangan
Himpunan terhitung	Bilangan asli ( $\scriptstyle \mathbb {N}$ ) Bilangan bulat ( $\scriptstyle \mathbb {Z}$ ) Bilangan rasional ( $\scriptstyle \mathbb {Q}$ ) Bilangan aljabar ( $\scriptstyle {\overline {\mathbb {Q} }}$ ) Perioda Bilangan terkomputasi Bilangan aritmetis
Bilangan riil dan cabangan	Bilangan riil ( $\scriptstyle \mathbb {R}$ ) Bilangan kompleks ( $\scriptstyle \mathbb {C}$ ) Kuaternion ( $\scriptstyle \mathbb {H}$ ) Oktonion ( $\scriptstyle \mathbb {O}$ ) Sedenion ( $\scriptstyle \mathbb {S}$ ) Aljabar Cayley–Dickson Bilangan rangkap Bilangan kompleks hiperbolik Bilangan hiperkompleks Bilangan superreal Bilangan irasional Bilangan transenden Bilangan hiperreal Bilangan surreal
Sistem lain	Bilangan kardinal Bilangan ordinal Bilangan p-adik Bilangan supernatural

l b s Teori himpunan
Umum	Himpunan (matematika)
Aksioma	Adjungsi Batas ukuran Determinasi Gabungan Himpunan kuasa Keberaturan Kebisadibangunan (V=L) Perluasan Pasangan Pemilihan tercacah terikat global Takhingga Aksioma Martin Skema aksioma penggantian spesifikasi
Operasi	Gabungan Gabungan lepas Himpunan kuasa Hukum De Morgan Irisan Komplemen Produk Kartesius Selisih himpunan Beda setangkup
Konsep Metode	Argumen diagonal Bilangan kardinal (besar) Bilangan ordinal Diagram Venn Elemen pasangan terurut rangkap Hipotesis kontinum Induksi lintas-hingga Kardinalitas Kelas Keluarga Korespondensi satu-ke-satu Pemaksaan Semesta yang bisa dibangun
Jenis himpunan	Himpunan bagian · Superhimpunan Berhingga (turun-temurun) Takhingga (takhingga Dedekind) Kabur Kosong Rekursif Semesta Tercacah Tak tercacah Transitif
Teori	Aksiomatik Alternatif Naif Teorema Cantor Zermelo Umum Principia Mathematica New Foundations (NF, NFU) Zermelo–Fraenkel (ZFC) von Neumann–Bernays–Gödel (NBG) Morse–Kelley Kripke–Platek Tarski–Grothendieck
Paradoks Masalah	Paradoks Russell Masalah Suslin Paradoks Burali-Forti
Teoretisi himpunan	Abraham Fraenkel Bertrand Russell Ernst Zermelo Georg Cantor John von Neumann Kurt Gödel Paul Bernays Paul Cohen Richard Dedekind Thomas Jech Thoralf Skolem Willard Quine