Ayrılık ilişkisi - Separation relation - Wikipedia

İçinde matematik, bir ayrılık ilişkisi yönsüz bir daire içinde bir dizi nesneyi düzenlemenin resmi bir yoludur. Olarak tanımlanır kuaterner ilişki S(abcd) bazı aksiyomları tatmin etmek, ki bu da şunu iddia ediyor olarak yorumlanır: a ve c ayrı b itibaren d.[1]

Oysa bir doğrusal sıra pozitif uç ve negatif uçlu bir kümeyi bahşeder, bir ayırma ilişkisi sadece hangi sonun hangisi olduğunu değil, aynı zamanda uçların nerede olduğunu da unutur. Bu şekilde, son, daha da zayıflayan bir kavramdır. aralarındaki ilişki ve bir döngüsel düzen. Unutulabilecek başka hiçbir şey yoktur: ilgili birbiriyle tanımlanamazlık duygusuna kadar, bu üç ilişki önemsiz olan tek ilişkidir. azaltır sıralı setin rasyonel sayılar.[2]

Uygulama

Ayırma, göstermede kullanılabilir. gerçek yansıtmalı düzlem bir tam alan. Ayrılık ilişkisi 1898'de aksiyomlarla tanımlanmıştır. Giovanni Vailati.[3]

  • abcd = badc
  • abcd = adcb
  • abcd ⇒ ¬ Acbd
  • abcdacdbadbc
  • abcdacdeabde.

Noktaların ayrılması ilişkisi AC // BD tarafından yazılmıştır. H. S. M. Coxeter ders kitabında Gerçek Projektif Düzlem.[4] Kullanılan süreklilik aksiyomu "Her monoton nokta dizisinin bir sınırı vardır." Ayırma ilişkisi, tanımları sağlamak için kullanılır:

  • {Birn} dır-dir monoton ≡ ∀ n > 1
  • M bir limit ≡ (∀ n > 2 ) ∧ (∀ P ⇒ ∃ n ).

Referanslar

  1. ^ Huntington, Edward V. (Temmuz 1935), "Dört Ana Düzen Türü Arasındaki İlişkiler" (PDF), Amerikan Matematik Derneği İşlemleri, 38 (1): 1–9, doi:10.1090 / S0002-9947-1935-1501800-1, alındı 8 Mayıs 2011
  2. ^ Macpherson, H. Dugald (2011), "Homojen yapıların incelenmesi" (PDF), Ayrık Matematik, doi:10.1016 / j.disc.2011.01.024, alındı 28 Nisan 2011
  3. ^ Bertrand Russell (1903) Matematiğin İlkeleri, sayfa 214
  4. ^ H. S. M. Coxeter (1949) Gerçek Projektif Düzlem, Bölüm 10: Süreklilik, McGraw Tepesi