Aksioma pemilihan: Perbedaan antara revisi
Konten dihapus Konten ditambahkan
Dibuat dengan menerjemahkan halaman "Axiom of choice" |
k typo |
||
| Baris 1: | Baris 1: | ||
[[Berkas:Axiome_du_choix.png|jmpl|250x250px|Ilustrasi dari aksioma pemilihan, dengan masing-masing ''S''<sub>''i''</sub> dan ''x''<sub>''i''</sub> direpresentasikan sebagai botol dan marmer berwarna]] |
[[Berkas:Axiome_du_choix.png|jmpl|250x250px|Ilustrasi dari aksioma pemilihan, dengan masing-masing ''S''<sub>''i''</sub> dan ''x''<sub>''i''</sub> direpresentasikan sebagai botol dan marmer berwarna]] |
||
[[Berkas:Axiom_of_choice.svg|jmpl|465x465px|(S<sub>''i''</sub>) adalah [[Keluarga berindeks (matematika)|keluarga]] berindeks pada [[Bilangan riil|bilangan real]] '''R'''; artinya, ada satu set S<sub>''i''</sub> untuk setiap bilangan real ''i'', dengan sampel kecil yang ditunjukkan di atas. Setiap himpunan berisi setidaknya satu, dan mungkin unsur-unsur yang tidak berhingga banyaknya. Aksioma pemilihan ini memungkinkan kita untuk secara sembarang untu memilih satu anggota dari masing-masing himpunan, membentuk sesuai keluarga anggota (''x''<sub>''i''</sub>) yang juga diindeks di atas bilangan real, dengan ''x''<sub>''i''</sub> yang diambil dari S''i''. Secara umum, kumpulan tersebut dapat diindeks di atas setiap himpunan I, bukan hanya '''R'''.]] |
[[Berkas:Axiom_of_choice.svg|jmpl|465x465px|(S<sub>''i''</sub>) adalah [[Keluarga berindeks (matematika)|keluarga]] berindeks pada [[Bilangan riil|bilangan real]] '''R'''; artinya, ada satu set S<sub>''i''</sub> untuk setiap bilangan real ''i'', dengan sampel kecil yang ditunjukkan di atas. Setiap himpunan berisi setidaknya satu, dan mungkin unsur-unsur yang tidak berhingga banyaknya. Aksioma pemilihan ini memungkinkan kita untuk secara sembarang untu memilih satu anggota dari masing-masing himpunan, membentuk sesuai keluarga anggota (''x''<sub>''i''</sub>) yang juga diindeks di atas bilangan real, dengan ''x''<sub>''i''</sub> yang diambil dari S''i''. Secara umum, kumpulan tersebut dapat diindeks di atas setiap himpunan I, bukan hanya '''R'''.]] |
||
Dalam [[matematika]], '''aksioma pemilihan''', atau '''AC (axiom of choice)''', adalah sebuah [[aksioma]] dari [[Teori himpunan|teori]] himpunan yang setara dengan pernyataan bahwa hasil perkalian Cartesius dari kumpulan himpunan yang tidak kosong adalah ''himpunan yang tidak kosong pula''. Ini menyatakan bahwa untuk setiap [[keluarga berindeks]] <math /> dari himpunan tidak kosong terdapat sebuah keluarga berindeks <math /> dari unsur-unsur tersebut sedemikian sehingga <math /> untuk setiap <math />. Aksioma pilihan dirumuskan pada tahun 1904 oleh [[Ernst Zermelo]] dalam rangka untuk menyusun bukti[[ teorema urutan rapi]]<ref>{{harvnb|Zermelo|1904}}.</ref> |
Dalam [[matematika]], '''aksioma pemilihan''', atau '''AC (axiom of choice)''', adalah sebuah [[aksioma]] dari [[Teori himpunan|teori]] himpunan yang setara dengan pernyataan bahwa hasil perkalian Cartesius dari kumpulan himpunan yang tidak kosong adalah ''himpunan yang tidak kosong pula''. Ini menyatakan bahwa untuk setiap [[keluarga berindeks]] <math /> dari himpunan tidak kosong terdapat sebuah keluarga berindeks <math /> dari unsur-unsur tersebut sedemikian sehingga <math /> untuk setiap <math />. Aksioma pilihan dirumuskan pada tahun 1904 oleh [[Ernst Zermelo]] dalam rangka untuk menyusun bukti [[ teorema urutan rapi]].<ref>{{harvnb|Zermelo|1904}}.</ref> |
||
== Catatan == |
== Catatan == |
||
{{Reflist|30em}} |
{{Reflist|30em}} |
||
Revisi per 1 Oktober 2017 20.24
Dalam matematika, aksioma pemilihan, atau AC (axiom of choice), adalah sebuah aksioma dari teori himpunan yang setara dengan pernyataan bahwa hasil perkalian Cartesius dari kumpulan himpunan yang tidak kosong adalah himpunan yang tidak kosong pula. Ini menyatakan bahwa untuk setiap keluarga berindeks dari himpunan tidak kosong terdapat sebuah keluarga berindeks dari unsur-unsur tersebut sedemikian sehingga untuk setiap . Aksioma pilihan dirumuskan pada tahun 1904 oleh Ernst Zermelo dalam rangka untuk menyusun bukti teorema urutan rapi.[1]
