Bölüntü Düzenliliği ve Yapısal Ramsey Kuramı
Yapısal Ramsey kuramı, tam sayıların veya diğer zengin yapıların sonlu sayıda sınıfa bölündüğü durumlarda, bu sınıflardan birinin belirli aritmetik veya kombinatoryal örüntüleri içermesi gerektiğini göstermektedir.
Tanım
Bir sistem veya örüntü, temel kümenin sonlu sayıda sınıfa her bölüntüsü için en az bir sınıfın, örüntünün bir çözümünü veya örneğini içermesi durumunda bölüntü düzenli olarak tanımlanmaktadır; yapısal Ramsey kuramı ise hangi örüntülerin bu özelliğe sahip olduğunu incelemektedir.
Kapsam
Bu konu, tam sayılar üzerindeki bölüntü düzenliliğini – Schur teoremi, van der Waerden'ın monokromatik aritmetik diziler üzerine teoremi ve Rado'nun bölüntü-düzenli denklemlerin karakterizasyonu – ve bunların çoğunun türetildiği soyut kombinatoryal çizgi sonucu olan Hales-Jewett teoremini kapsamaktadır. Ramsey kuramını toplamsal kombinatorik içinde konumlandırmaktadır.
Temel sorular
- Tam sayıların herhangi bir sonlu renklendirmesinin bir sınıfında hangi aritmetik örüntülerin bulunması gerekmektedir?
- Bir doğrusal denklem, her renklendirme altında ne zaman monokromatik bir çözüme sahip olmaktadır?
- Hales-Jewett teoremi bu bölüntü sonuçlarını nasıl birleştirmektedir?
- Bu sonuçlar yoğunluklara ve toplamsal kombinatoriğe nasıl bağlanmaktadır?
Anahtar kavramlar
- Bölüntü düzenliliği
- Schur teoremi
- Van der Waerden teoremi
- Rado teoremi
- Hales-Jewett teoremi
- Kombinatoryal çizgiler
Temel kuramlar
- Van der Waerden teoremi
- Herhangi bir renk sayısı ve herhangi bir hedef uzunluk için, birden N'ye kadar olan tam sayıların her renklendirmesinin o uzunlukta monokromatik bir aritmetik dizi içerdiği bir N tam sayısı bulunmaktadır.
- Hales-Jewett teoremi
- Sabit bir alfabe üzerindeki yüksek boyutlu bir kombinatoryal küpte, her sonlu renklendirme monokromatik bir kombinatoryal çizgi içermektedir; bu, van der Waerden teoremini ve diğer birçok bölüntü sonucunu ima eden bir ana teoremdir.
Klinik önem
Bu bölüntü düzenliliği sonuçları, toplamsal kombinatorik ve sayı teorisinin temel taşları olup, Szemeredi'nin aritmetik diziler üzerine teoremi ve Green-Tao'nun asal sayılar üzerine teoremi ile bağlantılıdır; ayrıca matematiğin genelinde yapı-rastgelelik tartışmalarına ışık tutmaktadır.
Tarihçe
Schur'un 1916 teoremi ve van der Waerden'ın 1927'deki aritmetik diziler üzerine teoremi, tam sayıların bölüntü kuramını başlatmış; bu kuram Rado tarafından sistemleştirilmiş ve 1963 tarihli Hales-Jewett teoremi tarafından soyut olarak birleştirilmiştir.
Öne çıkan isimler
- Bartel van der Waerden
- Issai Schur
- Richard Rado
İlgili konular
Temel eserler
- graham1990
- landman2003
Sıkça sorulan sorular
- Van der Waerden teoremi neyi garanti etmektedir?
- Büyük bir sınıra kadar olan tam sayılar birkaç renk sınıfına nasıl ayrılırsa ayrılsın, bu sınıflardan birinin istenilen uzunlukta, eşit aralıklı bir dizi içermesi gerekmektedir.
- Hales-Jewett teoremi neden bir ana teorem olarak adlandırılmaktadır?
- Çünkü van der Waerden teoremi ve diğer birçok bölüntü sonucu, monokromatik kombinatoryal çizgiler hakkındaki ifadesinin özel durumları olarak ortaya çıkmaktadır.