Teori order: Perbedaan antara revisi

← Revisi sebelumnya Revisi selanjutnya →

Konten dihapus Konten ditambahkan

Sebaris

Revisi per 7 Desember 2018 00.10

Teori order (Inggris: order theory) atau teori tatanan (= teori keteraturan) adalah suatu cabang matematika yang meneliti pandangan intuitif manusia terhadap tatanan atau keteraturan dengan menggunakan hubungan biner. Teori ini memberikan kerangka formal untuk mengungkapkan pernyataan-pernyataan seperti "ini lebih kecil dari itu" atau "ini mendahului itu". Dalam artikel ini diperkenalkan bidang ini dan memberikan definisi dasar.

Latar belakang dan motivasi

Tatanan dapat dijumpai di mana-mana dalam matematika atau bidang-bidang terkait seperti sains komputer. Tatanan pertama yang sering didiskusikan dalam sekolah dasar adalah tatanan baku pada bilangan asli misalnya "2 lebih kecil dari 3", "10 lebih besar dari 5", atau "Apakah Toto mempunyai lebih sedikit kue daripada Siti?". Konsep intuitif ini dapat dikembangkan kepada tatanan-tatanan dalam himpunan bilangan yang lain, seperti bilangan bulat dan bilangan real. Konsep "lebih besar dari" atau "lebih kecil dari" suatu bilangan lain adalah salah satu intuisi dasar dalam sistem bilangan secara umum, meskipun orang juga tertarik untuk mengetahui perbedaan (yaitu pengurangan) dua bilangan, yang tidak diberikan oleh tatanan. Contoh umum lain adalah tatanan (atau urutan leksikografi) kata-kata dalam suatu kamus.

Definisi dasar

Bagian ini memperkenalkan sejumlah himpunan tertata yang dibangun di atas konsep-konsep teori himpunan, aritmetika, dan relasi biner.

Himpunan dengan tatanan parsial

Tatanan merupakan relasi biner khusus. Misalkan P adalah suatu himpunan dan ≤ adalah relasi terhadap P, maka ≤ merupakan "tatanan parsial" (partial order) jika bersifat refleksif, antisimetri, dan transitif, yaitu untuk setiap a, b dan c dalam P, didapatkan:

a ≤ a (refleksivitas)

jika a ≤ b dan b ≤ a maka a = b (antisimetri)

jika a ≤ b dan b ≤ c maka a ≤ c (transitivitas).

Suatu himpunan dengan tatanan parsial di dalamnya dikatakan himpunan dengan tatanan parsial (partially ordered set), poset, atau hanya himpunan tertata (ordered set) jika maknanya sudah jelas. Dengan memandang sifat-sifat ini, langsung dapat dilihat tatanan yang sudah dikenal dalam bilangan asli, bilangan bulat, bilangan rasional dan bilangan real yang semuanya adalah tatanan dalam makna di atas. Namun, ada juga sifat tambahan tatanan total (total order), yaitu untuk setiap a dan b dalam P, didapatkan:

a ≤ b atau b ≤ a (totalitas).

Tatanan-tatanan ini dapat juga disebut tatanan linear (linear order) atau rantai (chain). Banyak tatanan klasik bersifat linear, tetapi tatanan subset pada himpunan memberi contoh kapan hal ini tidak benar. Contoh lain dapat diberikan dari relasi divisibilitas "|". Untuk dua bilangan asli n dan m, ditulis n|m jika n dibagi oleh m tanpa sisa. Dapat dengan mudah dilihat bahwa ini menghasilkan tatanan parsial.

Elemen khusus dalam suatu tatanan

Dalam suatu himpunan dengan tatanan parsial ada sejumlah elemen yang berperan penting. Contoh paling dasar adalah "elemen terkecil" dalam suatu poset. Misalnya, 1 adalah elemen terkecil dari bilangan bulat positif dan himpunan kosong adalah himpunan terkecil di bawah tatanan subset. Secara formal, suatu elemen m merupakan elemen terkecil jika:

m ≤ a, untuk semua elemen a dalam tatanan itu.

Notasi 0 sering dijumpai pada elemen terkecil, meskipun tidak melibatkan bilangan apapun. Namun, dalam tatanan suatu himpunan bilangan, notasi ini tidak tepat dan bahkan menimbulkan kerancuan, karena bilangan 0 tidak selalu yang terkecil. Contohnya adalah pada tatanan divisibilitas |, di mana 1 adalah elemen terkecil karena bilangan itu membangi semua bilangan yang lain. Sebaliknya, bilangan 0 merupakan bilangan yang dapat dibagi oleh semua bilangan lain. Jadi bilangan 0 merupakan elemen terbesar dari tatanan tersebut. Istilah lain untuk "terkecil" dan "terbesar" adalah "terendah" ("terbawah", "paling dasar"; bottom) dan "tertinggi" ("teratas"; top) dan juga "nol" (zero) dan "unit" ("satuan").

Sejarah

Sebagaimana dijelaskan sebelumnya, tatanan sangat banyak ditemuai dalam matematika. Namun, penyebutan eksplisit paling awal mengenai tatanan parsial dapat dilacak setelah abad ke-19. Dalam konteks ini karya George Boole dianggap sangat penting. Di samping itu Charles Sanders Peirce, Richard Dedekind, dan Ernst Schröder juga membahas konsep teori order.

Istilah "poset" sebagai singkatan dari "partially ordered set", yaitu "himpunan dengan tatanan parsial", digagas oleh Garrett Birkhoff dalam edisi kedua bukunya yang berpengaruh Lattice Theory.^[1]^[2]

Lihat pula

Referensi

^ Birkhoff 1948, p.1
^ Earliest Known Uses of Some of the Words of Mathematics

Pustaka

Birkhoff, Garrett (1940). Lattice Theory. 25 (edisi ke-3rd Revised). American Mathematical Society. ISBN 978-0-8218-1025-5.
Burris, S. N.; Sankappanavar, H. P. (1981). A Course in Universal Algebra. Springer. ISBN 978-0-387-90578-5.
Davey, B. A.; Priestley, H. A. (2002). Introduction to Lattices and Order (edisi ke-2nd). Cambridge University Press. ISBN 0-521-78451-4.
Gierz, G.; Hofmann, K. H.; Keimel, K.; Mislove, M.; Scott, D. S. (2003). Continuous Lattices and Domains. Encyclopedia of Mathematics and its Applications. 93. Cambridge University Press. ISBN 978-0-521-80338-0.

Pranala luar

Orders at ProvenMath partial order, linear order, well order, initial segment; formal definitions and proofs within the axioms of set theory.
Nagel, Felix (2013). Set Theory and Topology. An Introduction to the Foundations of Analysis

[1] Birkhoff 1948, p.1

[2] Earliest Known Uses of Some of the Words of Mathematics

[1]

[2]

@@ Baris 1: / Baris 1: @@
 <!--{{Outline|Outline of order theory}}-->
-'''Teori order''' ({{lang-en|order theory}}) atau '''teori tatanan''' (= teori keteraturan) adalah suatu cabang [[matematika]] yang meneliti pandangan intuitif manusia terhadap tatanan atau keteraturan dengan menggunakan hubungan [[biner]]. Teori ini memberikan kerangka formal untuk mengungkapkan pernyataan-pernyataan seperti "ini lebih kecil dari itu" atau "ini mendahului itu". Dalam artikel ini diperkenalkan bidang ini dan memberikan definisi dasar. <!--A list of order-theoretic terms can be found in the [[order theory glossary]].-->
+'''Teori order''' ({{lang-en|order theory}}) atau '''teori tatanan''' (= teori keteraturan) adalah suatu cabang [[matematika]] yang meneliti pandangan intuitif manusia terhadap tatanan atau keteraturan dengan menggunakan hubungan [[biner]]. Teori ini memberikan kerangka formal untuk mengungkapkan pernyataan-pernyataan seperti "ini lebih kecil dari itu" atau "ini mendahului itu". Dalam artikel ini diperkenalkan bidang ini dan memberikan definisi dasar.<!--A list of order-theoretic terms can be found in the [[order theory glossary]].-->
 == Latar belakang dan motivasi ==
@@ Baris 51: / Baris 51: @@
 : ''s'' ≤ ''b'', for all ''s'' in ''S''.
-Lower bounds again are defined by inverting the order. For example, -5 is a lower bound of the natural numbers as a subset of the integers. Given a set of sets, an upper bound for these sets under the subset ordering is given by their [[union (set theory)|union]]. In fact, this upper bound is quite special: it is the smallest set that contains all of the sets. Hence, we have found the '''[[least upper bound]]''' of a set of sets. This concept is also called '''supremum''' or '''join''', and for a set ''S'' one writes sup(''S'') or v''S'' for its least upper bound. Conversely, the '''[[greatest lower bound]]''' is known as '''[[infimum]]''' or '''meet''' and denoted inf(''S'') or ^''S''. These concepts play an important role in many applications of order theory. For two elements ''x'' and ''y'', one also writes ''x''&nbsp;v&nbsp;''y'' and ''x''&nbsp;^&nbsp;''y'' for sup({''x'',''y''}) and inf({''x'',''y''}), respectively. <!-- Using Wikipedia's [[meta:MediaWiki User's Guide: Editing mathematical formulae|TeX markup]], one can also write <math>\vee</math> and <math>\wedge</math>, as well as the larger symbols <math>\bigvee</math> and <math>\bigwedge</math>. Note however, that all of these symbols may fail to match the font size of the standard text and should therefore preferably be used in extra lines. The rendering of ∨ for v and ∧ for ^ is not supported by many of today's [[web browser]]s across all platforms and therefore avoided here.-->
+Lower bounds again are defined by inverting the order. For example, -5 is a lower bound of the natural numbers as a subset of the integers. Given a set of sets, an upper bound for these sets under the subset ordering is given by their [[union (set theory)|union]]. In fact, this upper bound is quite special: it is the smallest set that contains all of the sets. Hence, we have found the '''[[least upper bound]]''' of a set of sets. This concept is also called '''supremum''' or '''join''', and for a set ''S'' one writes sup(''S'') or v''S'' for its least upper bound. Conversely, the '''[[greatest lower bound]]''' is known as '''[[infimum]]''' or '''meet''' and denoted inf(''S'') or ^''S''. These concepts play an important role in many applications of order theory. For two elements ''x'' and ''y'', one also writes ''x''&nbsp;v&nbsp;''y'' and ''x''&nbsp;^&nbsp;''y'' for sup({''x'',''y''}) and inf({''x'',''y''}), respectively.<!-- Using Wikipedia's [[meta:MediaWiki User's Guide: Editing mathematical formulae|TeX markup]], one can also write <math>\vee</math> and <math>\wedge</math>, as well as the larger symbols <math>\bigvee</math> and <math>\bigwedge</math>. Note however, that all of these symbols may fail to match the font size of the standard text and should therefore preferably be used in extra lines. The rendering of ∨ for v and ∧ for ^ is not supported by many of today's [[web browser]]s across all platforms and therefore avoided here.-->
 <!--
 For another example, consider again the relation | on natural numbers. The least upper bound of two numbers is the smallest number that is divided by both of them, i.e. the [[least common multiple]] of the numbers. Greatest lower bounds in turn are given by the [[greatest common divisor]].