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 v2.04b - Fixed using Wikipedia:ProyekWiki Cek Wikipedia (Templat dengan kontrol karakter Unicode)
 
(2 revisi perantara oleh 2 pengguna tidak ditampilkan)
Baris 1:
[[Berkas:Fano plane Hasse diagram.svg|thumb|[[Diagram Hasse]] dari kisi dikomplemenkan. Sebuah titik {{mvar|p}} dan garis {{mvar|l}} dari [[bidang Fano]] adalah komplemen iff {{mvar|p}} tidak terletak di {{mvar|l}}.]]
Dalam [[matematika]] disiplin [[teori tatanan]], sebuah '''kisi dikomplemenkan''' adalah [[kisi (tatanan)|kisi]] ​​dengandengan [[elemen terkecil]] 0 dan [[elemen terbesar]] 1, dimana setiap elemen ''a'' memiliki '''dikomplemenkan''', yaitu elemen ''b'' memuaskan ''a'' ∨ ''b'' = 1 dan ''a'' ∧ ''b'' = 0.
Dikomplemen tidak menggunakan sifat unik.
 
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.
Baris 60:
== Referensi ==
* {{Cite book | last1=Birkhoff | first1=Garrett | title=Lattice Theory | publisher=American Mathematical Society | year=1961 }}
* {{Cite book | last1=Grätzer | first1=George | title=Lattice Theory: First Concepts and Distributive Lattices | url=https://archive.org/details/latticetheoryfir0000grat | publisher=W. H. Freeman and Company | isbn=978-0-7167-0442-3 | year=1971 }}
* {{Cite book | last1=Grätzer | first1=George | title=General Lattice Theory | publisher=Birkhäuser | location=Basel, Switzerland | isbn=978-0-12-295750-5 | year=1978 | postscript=<!--Tidak ada-->}}
* {{cite book | first = Daniel Edwin | last = Rutherford | year = 1965 | title = Introduction to Lattice Theory | publisher = Oliver and Boyd }}