Himpunan terurut parsial

Satu contoh familiar dari himpunan yang tersusun sebagian adalah sekumpulan orang yang diurutkan berdasarkan silsilah keturunan. Beberapa pasang orang memiliki relasi keturunan, tetapi pasangan orang lainnya (misal, sesama saudara kandung) tidak dapat dibandingkan, karena tidak ada yang menjadi keturunan dari yang lain.

 Definisi 
Urutan parsial mendefinisikan konsep perbandingan. Dua elemen  dan  dapat berada di salah satu dari empat hubungan yang disjoin satu sama lainnya: antara    atau  dan  tidak dapat dibandingkan.

Sebuah himpunan yang dilengkapi urutan parsial disebut himpunan terurut parsial (juga disebut poset). Istilah "himpunan terurut" terkadang digunakan, selama konteks urutan yang dimaksud jelas. Alasannya, himpunan terurut total juga dapat disebut "himpunan terurut", khususnya di bidang matematika yang lebih lazim menemui struktur tersebut ketimbang poset. Relasi urutan pada sebuah poset dapat divisualisasikan lewat diagram Hasse poset tersebut.

Secara formal, relasi urutan parsial adalah sebuah relasi homogen yang bersifat transitif dan antisimetris. Ada dua subdefinisi umum untuk relasi urutan parsial, yakni relasi urutan parsial yang reflektif dan yang tak-reflektif, yang masing-masing disebut dengan "tak-tegas" dan "tegas". Kedua definisi ini dapat digabungkan dalam korespodensi satu-satu; sehingga setiap urutan parsial tegas berhubungan dengan tepat satu urutan parsial tak-tegas, dan sebaliknya. Istilah urutan parsial umumnya mengacu pada versi tak-tegas dari relasi urutan.

 Urutan parsial tak-tegas 
Urutan parsial reflektif, lemah, atau tak-tegas, adalah relasi homogen ≤ pada sebuah himpunan  yang bersifat reflektif, antisimetris, dan transitif. Dengan kata lain, untuk setiap  akan berlaku:

 Relasi reflektif: , maksudnya, setiap elemen berelasi dengan dirinya sendiri.
 Relasi antisimetri: jika  dan  maka , mengartikan tidak ada dua elemen berbeda yang saling mendahului.
 Relasi transitif: jika  dan  maka .

Urutan parsial tak-tegas juga dikenal sebagai pratatanan antisimetris.

 Urutan parsial tegas 
Urutan parsial irreflektif, kuat, atau tegas, adalah relasi homogen < pada sebuah himpunan  yang bersifat reflektif, antisimetris, dan transitif. Dengan kata lain, urutan ini memenuhi sifat-sifat berikut, untuk semua 

 Relasi irreflektif: Tidak , maksudnya, tidak ada elemen yang berelasi dengan dirinya sendiri (relasi ini juga disebut anti-reflektif).
 Relasi antisimetri: Jika  maka tidak .
 Relasi transitif: Jika  dan  maka .

Sifat irreflektif dan transitif bersamaan mengimplikasikan sifat asimetri. Selain itu, sifat asimetri juga menyebabkan sifat irreflektif. Dengan kata lain, relasi yang transitif bersifat asimetri jika dan hanya jika juga bersifat irreflektif. Lemma 1.1 (iv). This source refers to asymmetric relations as "strictly antisymmetric". Hal ini mengakibatkan definisi diatas tidak berubah bahkan jika relasi irreflektif atau asimetri (namun tidak keduanya) tidak disertakan. Urutan parsial tegas juga dikenal sebagai pratatanan tegas.

 Korespodensi relasi tegas dan tak-tegas 

Urutan parsial tegas dan tak-tegas pada himpunan  memiliki hubungan yang erat. Urutan parsial tak-tegas  dapat diubah menjadi urutan parsial tegas dengan menghilangkan semua hubungan yang memiliki bentuk  artinya, himpunan parsial tegas adalah himpunan  dengan  adalah relasi identitas pada  dan  menyatakan operasi pengurangan pada himpunan. Urutan parsial tegas  pada  dapat diubah menjadi urutan parsial tak-tegas dengan menggabungkannya dengan realsi identitas; yakni . Akibatnya, jika  adalah urutan parsial tak-tegas, maka urutan parsial tegas  yang berkorespodensi dengannya adalah  irreflexive kernel:Sebalinya, jika < adalah urutan parsial tegas, maka urutan parsial tak-tegas  yang berkorespodensi dengannya reflexive closure:

 Notasi 
Poset dapat disajikan sebagai rangkap-3 , dengan  adalah relasi parsial tak-tegas pada ,  adalah relasi parsial tegas yang berkorespodensi pada  (irreflexive kernel dari ). Simbol  digunakan untuk menunjukkan dual dari , dan  untuk menunjukkan dual dari .

Salah satu dari empat relasi parsial  pada suatu himpunan akan secara unik menentukan tiga relasi yang lain. Akibatnya, bentuk  atau  dapat digunakan sebagai notasi, dan berasumsi bahwa relasi-relasi yang lain akan didefinisikan secara wajar. Pendefinisian menggunakan urutan parsial tak-tegas  adalah yang paling umum. Beberapa penulis menggunakan simbol selain , seperti  dan , untuk membedakannya dengan urutan total.

Ketika mengacu pada urutan parsial,  sebaiknya tidak dianggap sebagai komplemen dari . Relasi  adalah konvers irreflexive kernel dari , yang akan selalu berupa subset komplemen dari , tetapi  sama dengan komplemen dari   jika, dan hanya jika,  adalah urutan total.

 Contoh 

 Urutan pada produk Kartesius dari himpunan urutan sebagian 
urutan leksikografis: (a,b) ≤ (c,d) jika a < c atau (a = c dan b ≤ d);
urutan produk: (a,b) ≤ (c,d) jika a ≤ c dan b ≤ d;
penutupan refleksif dari produk langsung dari pesanan ketat yang sesuai:    (a,b) ≤ (c,d) jika (a < c dan b < d) atau (a = c dan b = d).

Ketiganya dapat didefinisikan secara serupa untuk produk Kartesius lebih dari dua himpunan.

Diterapkan ke ruang vektor terurut di atas bidang yang sama, hasilnya dalam setiap kasus juga merupakan ruang vektor terurut.

Lihat pula urutan pada produk Kartesius dari himpunan berurutan total.

 Jumlah himpunan yang diurutkan sebagian 
Cara lain untuk menggabungkan dua poset adalah jumlah ordinal (or jumlah linear), Z = X ⊕ Y, ditentukan pada penyatuan himpunan yang mendasari  X  dan  Y  berdasarkan urutan a ≤Z b jika dan hanya jika:
 a, b ∈ X dengan a ≤X b, atau
 a, b ∈ Y dengan a ≤Y b, atau
 a ∈ X dan b ∈ Y.

Jika dua poset urutan rapi, maka jumlah ordinalnya juga.
Operasi penjumlahan ordinal adalah salah satu dari dua operasi yang digunakan untuk membentuk urutan parsial deret-paralel, dan dalam konteks ini disebut komposisi seri. Operasi lain yang digunakan untuk membentuk tatanan ini, penyatuan dua himpunan yang terurut sebagian (tanpa hubungan keteraturan antara unsur satu himpunan dan unsur himpunan lainnya) disebut dalam komposisi paralel konteks ini.

 Pemetaan antar poset 
Jika (U, ≤) juga merupakan himpunan yang dipesan sebagian, dan keduanya f: S → T dan g: T → U menjaga keteraturan, komposisi mereka g∘f : S → U juga menjaga ketertiban.
Sebuah fungsi f: S → T disebut urutan refleksi jika untuk  x  dan  y  pada  S , f(x) ≤ f(y) menyiratkan x ≤ y.
Jika  f  baik untuk menjaga ketertiban maupun mencerminkan ketertiban, maka ini disebut urutan pembenaman dari (S, ≤) menjadi (T, ≼).
Dalam kasus terakhir,  f  harus injektif, karena f(x) = f(y) menyiratkan x ≤ y dan y ≤ x. Jika ada urutan pembenaman antara dua himpunan terurut parsial S dan T, satunya dikatakan bahwa S dapat menjadi terbenam ke dalam T . Jika urutan pembenaman f: S → T adalah bijektif, ini disebut  'isomorfisme tatanan' , dan urutan parsial (S,≤) dan (T ,≤) dikatakan menjadi isomorfik. Ordo isomorfik memiliki struktur serupa diagram Hasse (lih. Gambar kanan). Dapat ditunjukkan bahwa jika peta pelestarian pesanan f: S → T dan g: T → S dirumuskan g∘f dan f∘g menghasilkan fungsi identitas pada S  dan T , lalu S dan T adalah urutan-isomorfik.
.thumb|Isomorfisme urutan antara pembagi 120 (sebagian diurutkan berdasarkan pembagian) dan himpunan bagian tertutup pembagi dari } (diurutkan sebagian oleh penyertaan himpunan)Misalnya, pemetaan f: ℕ → ℙ(ℕ) dari himpunan bilangan asli (diurutkan berdasarkan pembagian) ke himpunan daya dari bilangan asli (diurutkan berdasarkan set inklusi) dapat ditentukan dengan mengambil setiap bilangan ke himpunan pembagi utama. Ini menjaga keteraturan: jika  x  membagi  y , maka setiap pembagi utama dari  x  juga merupakan pembagi utama dari  y . Namun, ini bukan injektif (karena memetakan 12 dan 6 ke {2, 3}) atau mencerminkan urutan (karena 12 tidak membagi 6). Mengambil alih-alih setiap bilangan ke himpunan pangkat utama -nya mendefinisikan peta g: ℕ → ℙ(ℕ) yaitu memelihara ketertiban, mencerminkan ketertiban, dan karenanya merupakan penyematan pesanan. Ini bukan isomorfisme urutan (karena misalnya tidak memetakan nomor apa pun ke himpunan {4}), tapi bisa dibuat dengan membatasi kodomain menjadi g(ℕ). Gambar kanan menunjukkan subhimpunan dari ℕ dan gambar isomorfiknya di bawah  g . Konstruksi isomorfisme-tatanan semacam itu ke dalam himpunan daya dapat digeneralisasikan ke kelas luas tatanan parsial, disebut kekisi distributif, lihat "Teorema wakilan Birkhoff".

 Konsep yang berkaitan 

 Ekstrema 
 Elemen terbesar dan elemen terkecil: Sebuah elemen  g  dalam  P  adalah elemen terbesar jika untuk setiap elemen  a  dalam  P , a ≤ g. Sebuah elemen  m  dalam  P  adalah elemen terkecil jika untuk setiap elemen  a  dalam  P ,  a  ≥  m . Poset hanya dapat memiliki satu elemen terbesar atau terkecil.
 Elemen maksimal dan elemen minimal: Elemen  g  di P adalah elemen maksimal jika tidak ada elemen  a  di  P  sehingga  a >  g . Demikian pula, elemen  m  di  P  adalah elemen minimal jika tidak ada elemen  a  di P sehingga  a  <  m . Jika poset memiliki elemen terbesar, itu harus menjadi elemen maksimal yang unik, tetapi jika tidak, bisa ada lebih dari satu elemen maksimal, dan juga untuk elemen terkecil dan elemen minimal.
 Batas atas dan bawah: Untuk subset  A  dari  P , elemen  x  dalam  P  adalah batas atas dari  A  if  a  ≤ x, untuk setiap elemen a pada A. Secara khusus,  x  tidak perlu berada di  A  untuk menjadi batas atas dari  A . Demikian pula, elemen  x  dalam  P  adalah batas bawah dari  A  jika a ≥ x, untuk setiap elemen  a  di  A . Unsur terbesar dari  P  adalah batas atas  P , dan unsur terkecil adalah batas bawah  P .

 Banyaknya urutan parsial 
Urutan [ A001035] di OEIS memberikan jumlah urutan parsial pada satu himpunan unsur dinamakan n :

Jumlah urutan parsial ketat sama dengan jumlah pesanan parsial.

Jika hitungan dilakukan hanya hingga isomorfisme, urutan 1, 1, 2, 5, 16, 63, 318,…  diperoleh.

 Ekstensi linear 

Dalam ilmu komputer, Algoritma untuk menemukan ekstensi linier dari urutan parsial (diwakilkan sebagai jangkauan urutan grafik asiklik terarah) disebut penyortiran topologis.

 Dalam teori kategori 
Setiap poset (dan setiap set praorder) dapat dianggap sebagai kategori di mana, untuk objek  x  dan  y , paling banyak ada satu morfisme dari  x  hingga  y . Lebih eksplisit lagi, maka hom(x, y) = {(x, y)} if x ≤ y (dan sebalik himpunan kosong) dan (y, z)∘(x, y) = (x, z). Kategori seperti itu kadang disebut posetal .

Poset adalah ekuivalen satu sama lain jika dan hanya jika poset tersebut isomorfik. Dalam poset, elemen terkecil, jika ada, adalah objek awal, dan elemen terbesar, jika ada, adalah objek terminal. Selain itu, setiap set yang dipesan sebelumnya setara dengan poset. Akhirnya, setiap subkategori poset adalah isomorfisme tertutup.

 Urutan parsial dalam ruang topologi 

Jika  P  adalah himpunan terurut parsial yang juga telah diberi struktur ruang topologi, maka biasanya diasumsikan bahwa  adalah subhimpunantertutup dari topologi ruang produk . Di bawah asumsi ini, hubungan urutan parsial berperilaku baik pada batas dalam arti jika , dan , dan untuk ,   , kemudian .

 Lihat pula 

 Antimatroid, formalisasi urutan pada satu set yang memungkinkan kelompok urutan yang lebih umum daripada poset
 Himpunan kausal, pendekatan berbasis poset untuk gravitasi kuantum
 Grafik komparabilitas
 Urutan kompleks
 Himpunan terarah
 Poset dinilai
 Aljabar insiden
 kisi
 Poset hingga secara lokal
 Fungsi Mbius pada posets
 Himpunan nested
 Politico urutan
 Grup urutan
 Topologi poset, sejenis ruang topologi yang dapat didefinisikan dari poset manapun
 Kontinuitas Scott - kontinuitas fungsi antara dua orde parsial.
 Semikisi
 Semiorder
 Dominasi stokastik
 Pengurutan lemah – urutan parsial ketat "<" di mana relasi   bersifat transitif.
 Total urutan
 Pohon (struktur data set inclusion)
 Lemma Zorn

 Catatan 

 Referensi 





 Pranala luar 




Kategori:Teori order
Kategori:Relasi biner