Lemma Zorn
pernyataan ekivalen dengan aksioma pilihan, tentang keberadaan elemen maksimal dalam poset dengan kondisi kaidah maksimal / From Wikipedia, the free encyclopedia
Lemma Zorn, juga dikenal sebagai Kuratowski–Zorn lemma, diambil dari nama Max Zorn dan Kazimierz Kuratowski, adalah proposisi dari teori himpunan. Ini menyatakan bahwa himpunan terurut sebagian berisi batas atas untuk setiap kaidah (yaitu, setiap terurut total himpunan bagian harus berisi setidaknya satu elemen maksimal.
Artikel atau sebagian dari artikel ini mungkin diterjemahkan dari Zorn lemma di en.wikipedia.org. Isinya masih belum akurat, karena bagian yang diterjemahkan masih perlu diperhalus dan disempurnakan. Jika Anda menguasai bahasa aslinya, harap pertimbangkan untuk menelusuri referensinya dan menyempurnakan terjemahan ini. Anda juga dapat ikut bergotong royong pada ProyekWiki Perbaikan Terjemahan. (Pesan ini dapat dihapus jika terjemahan dirasa sudah cukup tepat. Lihat pula: panduan penerjemahan artikel) |
Dibuktikan oleh Kuratowski pada tahun 1922 dan secara independen oleh Zorn pada tahun 1935,[2] ini lemma muncul dalam bukti beberapa teorema yang sangat penting, misalnya Teorema Hahn–Banach dalam analisis fungsional, teorema bahwa setiap ruang vektor memiliki basis,[3] Teorema Tychonoff dalam topologi yang menyatakan bahwa setiap hasil kali ruang kompak adalah kompak, dan teorema dalam aljabar abstrak bahwa dalam cincin dengan identitas setiap ideal yang tepat terkandung dalam ideal maksimal dan bahwa setiap bidang memiliki aljabar tertutup.[4]
Lemma Zorn setara dengan teorema yang tertata dengan baik dan juga aksioma pilihan, dalam arti bahwa salah satu dari ketiganya, bersama dengan aksioma Zermelo–Fraenkel dari teori himpunan, cukup untuk membuktikan dua lainnya.[5] Rumusan awal dari lemma Zorn adalah prinsip maksimum Hausdorff yang menyatakan bahwa setiap total himpunan bagian dari himpunan berurutan sebagian terdapat dalam himpunan bagian terurut total maksimal dari himpunan order sebagian.[2]