Kekisi dikomplemenkan: Perbedaan antara revisi

Konten dihapus Konten ditambahkan
Klasüo (bicara | kontrib)
←Membuat halaman berisi 'thumb|[[Diagram Hasse dari kisi dikomplemenkan. Sebuah titik {{mvar|p}} dan garis {{mvar|l}} dari bidang Fano adalah komple...'
Tag: Suntingan perangkat seluler Suntingan peramban seluler
 
HsfBot (bicara | kontrib)
k clean up
Baris 17:
Kisi dengan sifat yang dilengkapi setiap interval (dipandang sebagai sub kisi) disebut '''kisi dikomplemen relatif'''. Dengan kata lain, kisi dikomplemen relatif dicirikan dengan sifat bahwa untuk setiap elemen ''a'' dalam interval [''c'', ''d''] elemen ''b'' sedemikian rupa maka
::''a'' ∨ ''b'' = ''d'' dan ''a'' ∧ ''b'' = ''c''.
Unsur ''b'' disebut pelengkap dari ''a'' relatif terhadap interval.
 
Kisi distributif dikomplemenkan jika dan hanya jika dibatasi dan relatif komplekmen.<ref>Grätzer (1971), Lemma I.6.2, hal. 48. Hasil ini berlaku lebih umum untuk kisi modular, lihat Latihan 4, hal. 50.</ref><ref>Birkhoff (1961), Corollary IX.1, hal. 134</ref> Kisi subruang dari ruang vektor memberikan contoh kisi komplementer yang secara umum tidak distributif.