Aksioma pemilihan

Ilustrasi dari aksioma pemilihan, dengan masing-masing S i dan x i direpresentasikan sebagai botol dan kelereng berwarna

Dalam matematika, aksioma pemilihan, atau AC (axiom of choice), adalah sebuah aksioma dari teori himpunan yang setara dengan pernyataan bahwa hasil kali Kartesius dari kumpulan dari himpunan tidak kosong adalah himpunan tidak kosong pula. Ini menyatakan bahwa untuk setiap keluarga berindeks $(S_i{)}_{i\in I}$ dari himpunan tidak kosong terdapat sebuah keluarga berindeks $(x_i{)}_{i\in I}$ dari unsur-unsur tersebut sedemikian sehingga $x_i\in S_i$ untuk setiap $i\in I$. Secara sederhananya, aksioma pemilihan menyatakan bahwa apabila diberikan sebarang kumpulan wadah, dengan tiap-tiap wadah memuat setidaknya satu benda, maka dapat dipilih tepat satu benda dari tiap wadah, walaupun kumpulan tersebut tak hingga. Aksioma pilihan dirumuskan pada tahun 1904 oleh Ernst Zermelo dalam rangka untuk menyusun bukti teorema urutan rapi.

Sumber dan atribusi

Konten artikel ini diadaptasi dari Wikipedia bahasa Indonesia, revisi 24111903 (2023-09-01T02:11:31Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Gambar pada artikel ini bersumber dari Wikimedia Commons dan mengikuti ketentuan lisensi masing-masing berkas. Mohon gunakan konten dan media secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.