Dizayn Geometrisi

Dizayn geometrisi, sonlu ya da sonsuz nokta kümelerinin belirli kombinatoryal özelliklere sahip alt kümelerle (bloklar) düzenlenmesini inceleyen matematik dalıdır. Bu alan, kombinatorik, geometri ve cebirin kesişiminde yer alır.

Burada X bir nokta kümesi, $\mathcal{B}$ ise X'in alt kümelerinden oluşan bloklar ailesidir. Dizayn geometrisi, bu yapıların özelliklerini ve ilişkilerini matematiksel olarak inceler.

Geometrik yapı, noktalar ve bloklar (çizgiler, düzlemler vb.) arasındaki insidans ilişkilerini tanımlayan bir sistemdir.

Temel Tanım:

Bir geometrik yapı $\mathcal{S} = (P, \mathcal{L}, I)$ üçlüsü ile tanımlanır:

$(p, L) \in I$ olması "p noktası L çizgisi üzerindedir" anlamına gelir.

Temel Aksiyomlar:

Sonlu Yapılar:

Nokta sayısı sonlu olan geometrik yapılardır. Sonlu bir yapı için:

Sonsuz Yapılar:

Nokta veya blok sayısı sonsuz olan yapılardır. Örneğin, Öklid geometrisi sonsuz bir yapıdır.

Tekrarlı Bloklu Yapı:

İki ya da daha fazla bloğun aynı nokta kümesini içerdiği yapılardır.

İndirgenmiş Yapı:

Tekrarlı blokların her biri yalnızca bir kez sayıldığı yapıdır. Çoğu dizayn teorisi çalışması indirgenmiş yapılar üzerinde yapılır.

Ayrık Eleman:

Bir geometrik yapıda, hiçbir bloğa ait olmayan noktaya ayrık eleman denir.

Standartlaştırılmış Yapı:

Ayrık elemanı olmayan yapılara standartlaştırılmış yapı denir. Bu yapılarda her nokta en az bir bloğa aittir.

Tam Standartlaştırılmış Yapı:

Her noktanın aynı sayıda bloğa ait olduğu yapılardır. Bu sayıya noktanın derecesi veya tekrar sayısı (r) denir.

Üzerinde Olma (İnsidans) Matrisi:

Bir geometrik yapıyı temsil etmenin en yaygın yolu insidans matrisi kullanmaktır. v noktalı ve b bloklı bir yapı için v×b boyutunda bir matris M tanımlanır:

    B₁ B₂ B₃ B₄
1 [ 1  1  1  0 ]
2 [ 1  1  0  1 ]
3 [ 1  0  1  1 ]
4 [ 0  1  1  1 ]
                            

0-1 Matrisleri:

İnsidans matrisleri, elemanları sadece 0 ve 1 olan 0-1 matrisleri sınıfına aittir. Bu matrislerin özellikleri:

Permütasyon Matrisleri:

Her satır ve her sütunda tam olarak bir tane 1, diğerleri 0 olan matrislerdir. Geometrik yapılar arasındaki izomorfizmleri temsil eder.

Fano Düzlemi:

En küçük sonlu projektif düzlemdir. 7 nokta ve 7 çizgi içerir, her çizgide 3 nokta bulunur.

Steiner Üçlü Sistemi S(2,3,7):

Fano düzlemi aynı zamanda bir Steiner üçlü sistemidir. Herhangi iki nokta tam olarak bir üçlüde (bloğa) birlikte bulunur.

Tam Grafik K₄:

4 noktalı tam grafik, kenarları blok olarak düşünürsek bir geometrik yapıdır.

Afin Düzlem AG(2,3):

3 elemanlı cisim üzerinde 2 boyutlu afin düzlem. 9 nokta ve 12 çizgi içerir.

İzomorfizm Tanımı:

İki geometrik yapı $\mathcal{S}_1 = (P_1, \mathcal{B}_1)$ ve $\mathcal{S}_2 = (P_2, \mathcal{B}_2)$ arasında bir izomorfizm, insidans yapısını koruyan bir birebir ve örten fonksiyondur.

Öyle ki: $p \in B \Leftrightarrow \phi(p) \in \psi(B)$

Otomorfizm:

Bir yapının kendisi ile izomorfizmine otomorfizm denir. Otomorfizmler yapının simetrisini tanımlar.

Sonlu Yapılar Arasında İzomorfizm Sayısı:

v elemanlı iki sonlu yapı arasındaki izomorfizm sayısı en fazla v! olabilir (tüm permütasyonlar).

Blok Düzenlilik:

Tüm blokların aynı büyüklükte (aynı sayıda nokta içeren) olduğu yapılara blok düzenli yapı denir. Blok büyüklüğüne k denir.

Temel Sayma İlişkisi:

Blok düzenli ve tam standartlaştırılmış bir yapıda önemli bir ilişki vardır:

Dengeli Eksik Blok Dizaynı (BIBD):

Blok düzenli yapıların en önemli türlerinden biri BIBD'dir. Parametreleri (v,b,r,k,λ) ile gösterilir:

t-Yapı (t-Design):

Bir t-(v,k,λ) yapı, v noktalı bir sistemde her t-elemanlı alt kümenin tam olarak λ tane k-elemanlı blokta yer aldığı yapıdır.

Steiner Sistemi S(t,k,v):

λ = 1 olan t-yapılara Steiner sistemi denir ve S(t,k,v) ile gösterilir.

Karesel Yapı:

v = b ve r = k olan dizaynlara simetrik veya karesel yapı denir. İnsidans matrisi kare matristir.

Geometrik Dizayn:

Projektif veya afin geometrilerden elde edilen dizaynlara geometrik dizayn denir.

Fisher Eşitsizliği:

Bir 2-(v,k,λ) dizaynında k < v ise:

Yani blok sayısı nokta sayısından az olamaz.

Temel İlişkiler:

Varlık Koşulları:

Bir dizaynın var olması için gerekli sayısal koşullar:

Tamamlayıcı Dizayn:

Bir 2-(v,k,λ) dizaynından, her bloğun tamamlayıcısını alarak 2-(v,v-k,b-2r+λ) dizaynı elde edilir.

Rezidüel ve Türev Dizaynlar:

Bir dizayndan yeni dizaynlar oluşturma teknikleri:

Örnek: Fano Düzleminin Analizi

Örnek: 2-(13,4,1) Dizaynı

Uygulama: Şehir Planlama

Dizayn teorisi, şehir planlamasında önemli uygulamalara sahiptir. Örneğin, acil servis istasyonlarının yerleşimi, ulaşım ağlarının tasarımı ve bölgelerin organizasyonu.

Problem Tanımı:

Bir şehirde n mahalle (nokta) ve m bölge (blok) olsun. Her bölge belirli sayıda mahalleyi kapsamalı ve herhangi iki mahalle belirli sayıda bölgede birlikte bulunmalıdır.

Ulaşım Ağı Dizaynı:

Kaynak Dağıtımı:

BIBD dizaynları, kaynakların dengeli dağıtımı için idealdir:

Sensör Ağı Yerleşimi:

Dizayn geometrisinin temellerini öğrendikten sonra daha ileri düzey konulara geçebilirsiniz:

Açık Problemler:

BIBD Parametreleri:

t-Dizayn Notasyonu:

Steiner Sistemi:

Blok Sayısı Formülü:

Dizayn geometrisi, matematik, bilgisayar bilimi ve uygulamalı bilimlerin kesişiminde yer alan zengin bir alandır. Soyut yapılardan gerçek dünya problemlerine köprü kurar.