Kelompok 2

Sejarah Teori Himpunan

 Pengertian Himpunan

Himpunan adalah kumpulan objek yang berbeda yang mempunyai syarat dan ketentuan. Himpunan
merupakan konsep dasar dari semua cabang matematika. Objek yang dimaksud dapat berupa bilangan,
manusia, hewan, tumbuhan, negara dan sebagainya. Objek ini selanjutnya dinamakan anggota atau
elemen dari himpunan itu. Syarat tertentu dan jelas dalam menentukan anggota suatu himpunan ini
sangat penting karena untuk membedakan mana yang menjadi anggota himpunan dan mana yang bukan
merupakan anggota himpunan. Inilah yang kemudian dinamakan himpunan yang terdefinisi dengan baik
(well-defined set).
Teori himpunan, yang baru diciptakan pada akhir abad ke-19, sekarang merupakan bagian yang tersebar dalam pendidikan
matematika yang mulai diperkenalkan bahkan sejak tingkat sekolah dasar. Teori ini merupakan bahasa untuk menjelaskan
matematika modern. Teori himpunan dapat dianggap sebagai dasar yang membangun hampir semua aspek dari matematika
dan merupakan sumber dari mana semua matematika diturunkan.
Georg Ferdinand Ludwig Phillipp Cantor (1845-1918) dikenal sebagai penemu teori himpunan. Di tahun 1862 Cantor
berhasil mendapat restu ayahnya untuk mempelajari matematika setelah sebelumnya ia belajar teknik di Horere
Gewerbeschule dan Polytechnic of Zurich. Cantor mempelajari matematika di Zurich. Akan tetapi, karena kematian
ayahnya pada Juni 1863, ia pindah ke University of Berlin. Di tahun 1867, ia berhasil mempertahankan disertasinya
mengenai teori bilangan “De Aequationibus Secundi Gradus Indeterminatis. Sampai akhir abad ke19, ada beberapa
referensi mengenai himpunan dalam literatur-literatur matematika. Karya George Cantor yang paling berpengaruh pada
masa itu yang diterbitkan oleh Crelle‟s Jornal pada tahun 1874. Dia mengenalkan konsep himpunan tak berhingga yang
lengkap, sebuah inovasi yang membuat dia diakui sebagai penemu teori himpunan. Georg Cantor meninggal pada tanggal
6 Januari 1918 di Halle.
 Sejarah Penemuan dan Awal Perkembangan Teori Himpunan
Matematikawan telah menggunakan himpunan sejak awal subjek. Misalnya, ahli
matematika Yunani telah mendefinisikan lingkaran sebagai himpunan poin pada jarak r
tetap dari titik tetap P. Namun, konsep 'himpunan tak terhingga' dan himpunan berhingga
menghindari ahli matematika dan filsuf selama berabad-abad. Misalnya, pemikiran Hindu
dipahami tak terbatas dalam Ishavasy teks kitab suciopanishad mereka sebagai berikut:
"Keseluruhan ada di sana. Keseluruhan berada di sini. Dari lubang imanates keseluruhan.
Menyingkirkan keseluruhan dari keseluruhan, apa tersisa masih satu Utuh”. Phythagoras
(585-500 SM), seorang matematikawan Yunani, berhubungan baik dan jahat dengan
terbatas dan tidak terbatas, masing-masing. Aristoteles (384322 SM) mengatakan, "Tak
terbatas tidak sempurna, belum selesai dan karena itu, tak terpikirkan, itu tak berbentuk
dan bingung." Kaisar Romawi dan filsuf Marcus Aqarchus (121-180 M) mengatakan tak
terhingga adalah sebuah teluk yg tak dpt diduga, di mana segala sesuatu lenyap "filsuf.
Inggris Thomas Hobbes (1588-1679) berkata, "Ketika kita mengatakan sesuatu adalah tak
terbatas, kami hanya menandakan bahwa kita tidak bisa hamil berakhir dan batas-batas hal
yang bernama".
Ahli matematika bekerja, serta jalan, jarang berkaitan dengan pertanyaan yang tidak biasa yaitu : apa itu angka?
Namun upaya untuk menjawab pertanyaan ini justru telah mendorong banyak pekerjaan oleh matematikawan dan
filsuf di dasar matematika selama seratus tahun terakhir. Karakterisasi bilangan bulat, bilangan rasional dan
bilangan real telah menjadi masalah klasik pusat untuk penelitian dari Weierstrass, Dedekind, Kronecker, Frege,
Peano, Russel, Whitehead, Brouwer, dan lain-lain. Peneliti dari Georg Cantor sekitar 1870 dalam teori dengan
rangkaian tanpa batas dan topik terkait analisis memberikan arah baru bagi perkembangan teori himpunan. Cantor,
yang biasanya dianggap sebagai pendiri teori himpunan sebagai suatu disiplin matematika, dipimpin oleh karyanya
menjadi pertimbangan himpunan tak terbatas atau kelas karakter sewenang-wenang. Namun, hasil Cantor tidak
segera diterima oleh orang-orang sezamannya. Juga, ditemukan bahwa definisi tentang menetapkan mengarah ke
kontradiksi dan paradoks logis. Yang paling terkenal di kalangan ini diberikan pada 1918 oleh Bertrand Russell
(1872-1970), sekarang dikenal sebagai's paradoks Russell. Dalam upaya untuk menyelesaikan paradoks ini, reaksi
pertama matematikawan adalah untuk 'axiomatize' Teori himpunan intuitif's Cantor. Axiomatization berarti sebagai
berikut: dimulai dengan satu himpunan pernyataan jelas disebut aksioma, kebenaran yang diasumsikan, seseorang
dapat menyimpulkan semua sisa proposisi teori dari aksioma menggunakan aksioma inferensi logis. Russell dan
Alfred North Whitehead (1861-1974) pada tahun 1903 mengusulkan teori aksiomatik himpunan dalam tigavolume
kerja mereka yang disebut Principia Matematikawan merasa canggung untuk digunakan.
Sebuah Teori himpunan aksiomatik yang dapat dikerjakan dan logistik sepenuhnya
diberikan pada tahun 1908 oleh Ernst Zermello (1871-1953). wa ini meningkat pada tahun
1921 oleh Fraenkel A. Ibrahim (1891-1965) dan T. Skolem (1887-1963) dan sekarang
dikenal sebagai 'Zermello-Frankel (ZF) teori aksiomatikhimpunan. Matematikawan yang
berkecimpung di dunia himpunan yaitu Georg Ferdinand Ludwig Philipp Cantor (1845-
1918), Bolzano, Russell dan Alfred North Whitehead (1861-1974), Ernst Zermello (1871-
1953), Fraenkel A. Ibrahim (18911965) dan T. Skolem (1887-1963). Orang yang pertama
kali menemukan teori himpunan adalah Georg Ferdinand Ludwig Philipp Cantor pada akhir
abad 19. Georg Cantor (1845-1918) adalah seorang matematikawan asal Jerman keturunan
Yahudi lahir di St Petersburg, Russia 3 Maret 1845 dan meninggal di Halle, Jerman 6
Januari 1918. Beliau dianggap sebagai bapak teori himpunan karena beliaulah yang pertama
kali mengembangkan cabang matematika ini. Walaupun pada waktu itu teori beliau sangat
kontroversial tapi saat ini teori Georg Cantor sangat luas kegunaannya.
Aturan himpunan yang di perkenalkan Georg Cantor antara lain sebagai berikut.
1. Himpunan A dan B dikatakan sama jika elemen dari himpunan A dan B tersebut sama.
2. Himpunan A merupakan bagian dari himpunan B, jika elemen himpunan A merupakan elemen
himpunan B.
3. Jika himpunan A sama dengan himpunan B, maka himpunan A subset himpunan B.
4. Jika himpunan A merupakan himpunan bagian dari B, dan ada sedikitnya satu elemen B yang bukan
merupakan elemen himpunan A maka A adalah proper subset B.
5. Himpunan tediri dari stu elemen maupun tidak mempunyai elemen.
6. Himpunan yang tidak mempunyai anggota disebut himpunan kosong.
Hal ini sama dengan himpunan bagian dari setiap himpunan yang terdiri dari n elemen, maka himpunan
bagian = 2^n. Selain itu terdapat teorema yang menyatakan himpunan kosong merupakan himpunan bagian
dari semua himpunan. Untuk membuktikan bahwa himpunan kosong merupakan himpunan bagian dari
setiap himpunan. Misalkan Ø € A Jika kita mengambil sebarang elemen pada Ø maka elemen itu juga
merupakan elemen pada A. Padahal kita ketahui bahwa Ø tidak mempunyai anggota sehingga pernyataan
pertama adalah salah. Karena syarat cukup tidak terpenuhi atau bernilai salah sehingga pernyataan di atas
bernilai benar.
Demikian pula ide-idenya mengenai himpunan terutama dalam menentukan anggota suatu himpunan tak
hingga. Ide infinity telah menjadi subjek pemikiran yang mendalam sejak zaman Yunani. Zeno dari Elea , di
sekitar 450 SM, dengan masalah tak terbatas, membuat kontribusi awal yang besar. Pembahasan abad
pertengahan tentang konsep tak terbatas telah menyebabkan penemuan konsep himpunan tak terbatas.
Misalnya Albert dari Sachsen , disubtilissime Questiones dilibros de celo et Mundi, membuktikan bahwa balok
panjang tak terbatas memiliki volume yang sama seperti ruang (3 dimensi). Beliau membuktikan hal ini dengan
menggergaji balok menjadi potongan-potongan imajiner yang kemudian merakit ke dalam cangkang konsentris
yang berurutan yang mengisi ruang. Bolzano adalah seorang filsuf dan matematikawan pemikir besar. Pada
1847 beliau menganggap himpunan sebagai perwujudan dari ide atau konsep yang dibayangkan ketika
menganggap susunan komponen sebagai masalah ketidakpedulian. Bolzano membela konsep sebuah himpunan
tak terhingga. Bolzano memberi contoh bahwa tidak seperti untuk menetapkan terbatas, unsur-unsur dari suatu
himpunan tak terhingga bisa dimasukkan ke dalam korespondensi 1-1 dengan unsur-unsur dari salah satu
himpunan bagian yang tepat.
Penelitian dari Georg Cantor sekitar 1870 dalam teori rangkaian tanpa batas dan topik terkait analisis memberikan arah baru bagi
perkembangan teori himpunan. Namun, hasil Cantor tidak segera diterima oleh orang-orang sejamannya. Juga, ditemukan bahwa definisi
mengarah ke kontradiksi dan paradoks logis. Pada 1918 oleh Bertrand Russell (1872-1970), sekarang dikenal sebagai paradoks Russell.
Dalam upaya untuk menyelesaikan paradoks ini, reaksi pertama matematikawan adalah aksiomatis teori himpunan intuitif Cantor.
Aksiomatisasi berarti suatu himpunan pernyataan jelas disebut aksioma, kebenaran yang diasumsikan, seseorang dapat menyimpulkan
semua sisa proposisi teori dari aksioma menggunakan aksioma inferensi logis. Russell dan Alfred North Whitehead (1861-1974) pada
tahun 1903 mengusulkan teori aksiomatik himpunan dalam Principia. Sebuah teori himpunan aksiomatik yang dapat dikerjakan dan logis
sepenuhnya diberikan pada tahun 1908 oleh Ernst Zermello (1871-1953). Hal ini meningkat pada tahun 1921 oleh Fraenkel A. Ibrahim
(1891-1965) dan T. Skolem (1887-1963) dan sekarang dikenal sebagai 'Zermello-Frankel (ZF) teori aksiomatikhimpunan. Cantor meneliti
asal teori himpunan pada tahun antara 1874 dan 1884. Sebelum pekerjaan ini, konsep dari suatu himpunan yang mendasar telah
digunakan secara implisit sejak awal matematika seperti ide-ide Aristoteles . Tidak ada seorang pun menyadari bahwa teori himpunan
punya konten trivial. Sebelum Cantor, hanya ada himpunan yang terbatas (yang mudah dimengerti) dan "tak terbatas" (yang dianggap
topik untuk filosofis, bukan matematika, diskusi). Dengan membuktikan bahwa ada (tak terbatas) ukuran banyak kemungkinan untuk
himpunan yang tak terbatas, Cantor menetapkan bahwa teori himpunan tidak sepele, dan itu perlu dipelajari. Teori himpunan telah datang
untuk memainkan peran sebagai teori dasar dalam matematika modern, dalam arti bahwa beliau menafsirkan proposisi tentang objek
matematika (misalnya, angka dan fungsi) dari seluruh wilayah tradisional matematika (seperti aljabar , analisis dan topologi ) dalam teori
tunggal, dan menyediakan satu himpunan standar aksioma untuk membuktikan atau menyangkal mereka.
Cantor juga membuktikan bahwa himpunan bilangan real adalah "lebih banyak" dari himpunan bilangan
asli , ini menunjukkan bahwa tidak ada himpunan tak terbatas yang berbeda ukuran. Beliau juga yang
pertama menemukan korespondensi satu-satu (selanjutnya dilambangkan "korespondensi 1-1") dalam
menetapkan teori. Dia menggunakan konsep ini untuk mendefinisikan himpunan terbatas dan tak terbatas .
Pengelompokan yang terakhir ke Denumerable himpunan (atau countably tak terbatas) dan himpunan
terhitung (himpunan terbatas nondenumerable). Pada tahun 1874 kertas Crelle Cantor adalah yang pertama
menjelaskan korespondensi 1-1, meskipun beliau tidak menggunakan frase itu. Beliau kemudian mulai
mencari korespondensi 1-1 antara titik-titik dari unit persegi dan poin dari unit segmen garis. Dalam sebuah
surat 1877 untuk Dedekind, Cantor membuktikan jauh lebih kuat. Hasilnya untuk tiap himpunan n bilangan
bulat positif, terdapat korespondensi 1-1 antara titik-titik pada ruas garis unit dan semua titik dalam ruang n-
dimensi . Hal ini Cantor menulis kepada Dedekind: "Je le vois, mais je ne le crois pas!" ("Aku melihatnya,
tapi saya tidak percaya!"). Hasil yang beliau menemukan begitu menakjubkan memiliki implikasi untuk
geometri dan konsep dimensi . Pada tahun 1878, Cantor menyerahkan kertas lain untuk Jurnal Crelle, di
mana ia mendefinisikan secara akurat konsep korespondensi 1-1, dan memperkenalkan konsep " kekuasaan
"(istilah yang diambilnya dari Jakob Steiner ) atau "kehimpunanaraan" himpunan : dua himpunan adalah
himpunan sama (memiliki kekuatan yang sama) jika terdapat korespondensi 1-1 di antara mereka.
 Cantor mendefinisikan himpunan dapat dihitung (atau himpunan denumerable) sebagai himpunan yang dapat
dimasukkan ke dalam korespondensi 1-1 dengan bilangan asli , dan membuktikan bahwa bilangan rasional adalah
Denumerable. Cantor mengembangkan konsep penting dalam topologi dan hubungannya dengan kardinalitas.
Misalnya, beliau menunjukkan bahwa himpunan Cantor memiliki kardinalitas yang sama dengan himpunan semua
bilangan real. Cantor diperkenalkan konstruksi fundamental dalam teori himpunan, seperti kekuatan himpunan dari
himpunan A, yang merupakan himpunan semua kemungkinan himpunan bagian dari A. Beliau kemudian
membuktikan bahwa ukuran dari kekuatan himpunan adalah sangat lebih besar dari ukuran A, bahkan ketika A
adalah himpunan yang tak terbatas. Hasil ini dikenal sebagai Teorema Cantor . Cantor mengembangkan seluruh
teori dan aritmatika terbatas pada himpunan , yang disebut kardinal dan ordinal dari alam nomor. Notasinya untuk
nomor kardinal adalah surat Ibrani ( aleph ) dengan subskrip nomor alam, karena ordinal menggunakan huruf Yunani
ω (omega ). Notasi ini masih digunakan sampai sekarang. Awal teori himpunan sebagai cabang matematika sering
ditandai dengan terbitnya tahun 1874 artikel Cantor, "Über eine Eigenschaft des Inbegriffes aller reellen
algebraischen Zahlen" ("Pada Properti dari Koleksi Semua Nomor Aljabar Real") . Artikel ini adalah yang pertama
untuk memberikan bukti ketat yang ada lebih dari satu jenis tak terbatas. Beliau juga membuktikan bahwan-dimensi
Euclidean ruang R n memiliki kekuatan yang sama dengan bilangan real R, seperti halnya countably tak terbatas
produk salinan R. Sementara ia membuat bebas menggunakan akuntabilitas sebagai sebuah konsep, ia tidak menulis
kata "dihitung" sampai 1883. Cantor juga membahas pemikirannya tentang dimensi , menekankan bahwa pemetaan
antara selang satuan dan unit persegi bukan terus menerus satu. Antara 1879 dan 1884, Cantor menerbitkan
serangkaian enam artikel dalam Mathematische Annalen merupakan sebuah pengantar teori himpunannya.
Pada tahun 1885, Cantor memperluas teori tipe order sehingga angka-angka ordinal hanya menjadi kasus khusus
dari tipe order. Pada tahun 1891, beliau menerbitkan sebuah kertas yang berisi "argumen diagonal " untuk
keberadaan sebuah himpunan terhitung. Beliau menerapkan ide yang sama untuk membuktikan Teorema Cantor :
yang kardinalitas dari himpunan kekuatan himpunan A adalah sangat lebih besar dari kardinalitas A. Argumennya
adalah fundamental dalam solusi dari masalah untuk menghentikan bukti dari teorema ketidaklengkapan Gödel
yang ditulis Cantor pada dugaan Goldbach pada tahun 1894. Pada tahun 1895 dan 1897, Cantor menerbitkan
kertas dua bagian dalam Mathematische Annalen di bawah keredaksian Felix Klein . Makalah terakhirnya yang
signifikan pada teori himpunan. Makalah pertama dimulai dengan mendefinisikan himpunan, bagian , dll, dengan
cara yang akan sangat diterima sekarang. Para kardinal dan ordinal aritmatika ditinjau. Cantor ingin kertas kedua
untuk menyertakan bukti dari rangkaian hipotesa, tetapi harus menetapkan nomor urut. Cantor mencoba untuk
membuktikan bahwa jika A dan B adalah himpunan sama dengan A merupakan subhimpunan dari B dan B
merupakan subhimpunan ari A, maka A dan B adalah himpunan sama. Ernst Schröder telah menyatakan teorema
ini sedikit lebih dulu, tapi bukti, seperti juga dengan kisah Cantor, adalah cacat.
Felix Bernstein diberikan bukti yang benar pada tahun 1898 tesis PhDnya; maka dinamakan teorema Cantor-
Bernstein-Schroeder . Diskusi himpunan-teori paradoks mulai muncul sekitar akhir abad ke-19. Beberapa
masalah mendasar yang tersirat dengan program menetapkan teori Cantor. Dalam makalah 1897 pada topik
yang tidak berhubungan, Cesare Burali-Forti menetapkan paradoks seperti pertama, Burali-Forti paradoks :
yang nomor urut dari himpunan semua ordinals harus menjadi ordinal dan ini menyebabkan kontradiksi.
Cantor ditemukan paradoks ini pada tahun 1895, dan menggambarkannya dalam sebuah surat tahun 1896
untuk Hilbert . Pada tahun 1899, Cantor menemukan paradoks : apa jumlah kardinal dari himpunan semua
himpunan? Namun untuk tiap himpunan A, jumlah kardinal dari himpunan kuasa dari A adalah sangat lebih
besar dari jumlah kardinal A (fakta ini sekarang dikenal sebagai Teorema Cantor ). Paradoks ini, bersama
dengan Burali-Forti, yang dipimpin Cantor untuk merumuskan konsep yang disebut pembatasan ukuran
yang menurutnya koleksi semua ordinals, atau dari semua kelompok, merupakan sebuah "multiplisitas tidak
konsisten" yang "terlalu besar" untuk menjadi satu himpunan. Koleksi tersebut kemudian dikenal sebagai
kelas yang tepat.