Kekisi lengkap: Perbedaan antara revisi
Konten dihapus Konten ditambahkan
kTidak ada ringkasan suntingan |
k pembersihan kosmetika dasar |
||
(2 revisi perantara oleh 2 pengguna tidak ditampilkan) | |||
Baris 1:
Dalam [[matematika]], '''kisi lengkap''' adalah himpunan yang [[Infimum dan supremum|tersusun]] [[Himpunan berurutan sebagian|sebagian]] di mana ''semua'' himpunan bagian memiliki [[Infimum dan supremum|supremum]] (gabung) dan [[Infimum dan supremum|infimum]] (pertemuan). Kisi lengkap pada aplikasi dalam matematika dan [[ilmu komputer]]. Sebagai contoh khusus dari [[Kisi (order)|kisi]], dengan [[Teori order|teori urutan]] dan [[aljabar universal]].
Baris 31 ⟶ 29:
* [[Himpunan pangkat|Himpunan daya]] dari [[Himpunan pangkat|himpunan]], diurutkan dengan [[Himpunan bagian|penyertaan]]. Supremum dari [[Gabungan (teori himpunan)|gabungan]] dan minimal dari [[Irisan (teori himpunan)|irisan]] himpunan bagian.
* [[Interval satuan]] [0,1] dan [[Garis bilangan real ekstensi|garis bilangan real]], dengan urutan total dikenal serta [[Infimum dan supremum|suprema]] dan [[Infimum dan supremum|infima biasa]]. Maka, himpunan dari total (dengan [[Urutan topologi|topologi]]) adalah [[Ruang kompak|kompak]] sebagai [[ruang topologi]] jika lengkap sebagai kisi.
* [[Bilangan bulat]] non-negatif, diurutkan berdasarkan [[
* Subgrup dari grup tertentu dalam inklusi. (Sementara [[Infimum dan supremum|infimum]] adalah potongan teori-himpunan biasa, [[Infimum dan supremum|supremum]] dari himpunan subgrup adalah subgrup ''dihasilkan'' dari satuan teori-himpunan dari subgrup, bukan satuan teori-himpunan). Jika ''e'' adalah identitas dari ''G'', maka grup trivial { ''e'' } adalah subgrup [[Himpunan berurutan sebagian|minimum]] dari ''G'', sedangkan subgrup [[Himpunan berurutan sebagian|maksimum]] adalah grup ''G''.
* Submodul [[Modul (matematika)|modul]], diurutkan berdasarkan penyertaan. Supremum dari jumlah submodul dan infimum oleh persimpangan.
Baris 72 ⟶ 70:
== Referensi ==
<references />
[[Kategori:Operasi prnutupan]]
[[Kategori:Teori kisi]]
|