Sıra ve Kafes Kuramı
Sıra kuramı, bir elemanın diğerinden önce geldiği bir kavramla donatılmış kümeleri incelerken, kafes kuramı ise her eleman çiftinin en küçük üst sınırı ve en büyük alt sınırı bulunduğu sıralamaları incelemektedir.
Tanım
Kısmi sıralamaların (yansımalı, antisimetrik, geçişli ilişkiler) ve her iki elemanın bir birleşimi (supremum) ve bir kesişimi (infimum) olduğu kısmi sıralı kümeler olan kafeslerin matematiksel incelemesidir.
Kapsam
Bu alan, kısmi sıralı kümeleri ve diyagramlarını, zincirleri ve anti-zincirleri, sıra koruyan haritaları, hem sıralı hem de cebirsel yapılar olarak kafesleri, dağıtıcı ve Boole kafeslerini ve temsil teoremlerini kapsamaktadır. Kombinatoryal yapılar için birleştirici bir dil sağlamakta ve ayrık matematiği cebir, mantık ve teorik bilgisayar bilimine bağlamaktadır.
Alt konular
Temel sorular
- Elemanlar arasındaki öncelik ilişkisi nasıl biçimlendirilebilir ve görselleştirilebilir?
- Sıralı bir küme ne zaman supremum ve infimumlara sahip olur ve onu bir kafes yapar?
- Hangi kafesler dağıtıcıdır ve nasıl temsil edilirler?
- Sıra-kuramsal ikilikler ve sabit nokta teoremleri nasıl ortaya çıkar?
Anahtar kavramlar
- Kısmi sıralama
- Hasse diyagramı
- Zincirler ve anti-zincirler
- Birleşim ve kesişim
- Dağıtıcı kafes
- Boole cebiri
Klinik önem
Sıra ve kafes kuramı, programlama dillerinin semantiğinin (alan kuramı ve sabit noktalar), veri madenciliğindeki biçimsel kavram analizinin, mantık cebirinin ve kapsama veya inceltmeye göre sıralanmış kombinatoryal ailelerin yapısının temelini oluşturmaktadır.
Tarihçe
Kafes kuramı, 1930'larda Birkhoff tarafından, Dedekind'in 19. yüzyıl çalışmalarına dayanarak bağımsız bir disiplin olarak geliştirilmiştir; kombinatoryal yönü ise Rota'nın kısmi sıralı kümeler üzerindeki Mobius fonksiyonları kuramı ile ilerletilmiştir.
Öne çıkan isimler
- Garrett Birkhoff
- Richard Dedekind
- Gian-Carlo Rota
İlgili konular
Temel eserler
- davey2002
Sıkça sorulan sorular
- Kısmi sıralama ile tam sıralama arasındaki fark nedir?
- Tam sıralamada herhangi iki eleman karşılaştırılabilirken, kısmi sıralama, kapsama göre sıralanmış alt kümelerde olduğu gibi bazı çiftleri karşılaştırılamaz bırakabilmektedir.
- Bir kafes neden hem bir sıralama hem de bir cebirdir?
- Bir kafes, birleşimlerin ve kesişimlerin bulunduğu bir sıralama ile veya eşdeğer olarak kafes aksiyomlarını sağlayan iki ikili işlemle tanımlanabilmektedir; bu iki bakış açısı aynı yapıyı tanımlamaktadır.