Hellys teoremi - Hellys theorem - Wikipedia

Helly'nin Öklid düzlemi için teoremi: Bir dışbükey kümeler ailesinin her üçlü küme için boş olmayan bir kesişim noktası varsa, o zaman tüm ailenin boş olmayan bir kesişim noktası vardır.

Helly teoremi temel bir sonuçtur ayrık geometri üzerinde kavşak nın-nin dışbükey kümeler. Tarafından keşfedildi Eduard Helly 1913'te^[1] ancak 1923'e kadar onun tarafından yayınlanmadı, bu zamana kadar alternatif ispatlar Radon (1921) ve König (1922) zaten ortaya çıkmıştı. Helly'nin teoremi, bir Helly ailesi.

Beyan

İzin Vermek $X 1, ..., X n$ dışbükey alt kümelerinin sınırlı bir koleksiyonu olmak $R d$ , ile $n > d + 1$ . Her birinin kesişimi $d + 1$ bu kümelerden biri boş değildir, bu durumda tüm koleksiyonun boş olmayan bir kesişim noktası vardır; yani,

{ displaystyle bigcap _ {j = 1} ^ {n} X_ {j} neq varnothing.}

Sonsuz koleksiyonlar için kompaktlık varsayılmalıdır:

İzin Vermek ${X α}$ koleksiyonu olmak kompakt dışbükey alt kümeleri $R d$ , öyle ki her bir koleksiyon kardinalite en çok $d + 1$ boş olmayan kesişme noktasına sahiptir. Sonra tüm koleksiyonun boş olmayan kesişim noktası olur.

Kanıt

Sonlu sürümü kullanarak kanıtlıyoruz Radon teoremi ispatında olduğu gibi Radon (1921). Sonsuz versiyon daha sonra sonlu kesişim özelliği karakterizasyonu kompaktlık: Kompakt bir uzayın kapalı alt kümelerinden oluşan bir koleksiyon, ancak ve ancak her sonlu alt koleksiyonun boş olmayan bir kesişimine sahip olması durumunda (tek bir kümeyi düzelttiğinizde, diğerlerinin hepsinin kesişimi, sabit bir alanın kapalı alt kümeleridir) kompakt alan).

Kanıt şudur: indüksiyon:

Temel durum: İzin Vermek $n = d + 2$ . Varsayımlarımıza göre, her biri için $j = 1, ..., n$ bir nokta var $x j$ bu hepsinin ortak kesişim noktasında $X ben$ olası istisnası ile $X j$ . Şimdi başvuruyoruz Radon teoremi sete $Bir = {x 1, ..., x n},$ bize ayrık alt kümeler sağlayan $Bir 1, Bir 2$ nın-nin $Bir$ öyle ki dışbükey örtü nın-nin $Bir 1$ dışbükey gövde ile kesişir $Bir 2$ . Farz et ki $p$ bu iki dışbükey gövdenin kesiştiği noktadır. Biz iddia ediyoruz

{ displaystyle p in bigcap _ {j = 1} ^ {n} X_ {j}.}

Gerçekten, herhangi birini düşünün $j \in {1, ..., n}.$ Kanıtlayacağız $p \in X j .$ Unutmayın ki tek unsur $Bir$ içinde olmayabilir $X j$ dır-dir $x j$ . Eğer $x j \in Bir 1$ , sonra $x j \notin Bir 2$ , ve bu nedenle $X j \supset Bir 2$ . Dan beri $X j$ dışbükeydir, daha sonra dışbükey gövdesini de içerir. $Bir 2$ ve bu nedenle ayrıca $p \in X j$ . Aynı şekilde, eğer $x j \notin Bir 1$ , sonra $X j \supset Bir 1$ ve aynı mantıkla $p \in X j$ . Dan beri $p$ her şeyde $X j$ , aynı zamanda kesişme noktasında da olmalıdır.

Yukarıda, noktaların $x 1, ..., x n$ hepsi farklı. Eğer durum bu değilse, söyle $x ben = x k$ bazı $ben \neq k$ , sonra $x ben$ setlerin her birinde $X j$ ve yine kesişimin boş olmadığı sonucuna varıyoruz. Bu, davadaki ispatı tamamlar $n = d + 2$ .

Endüktif Adım: Varsayalım $n > d + 2$ ve bu ifade için doğrudur $n -1$ . Yukarıdaki argüman, herhangi bir alt koleksiyonun $d + 2$ kümeler boş olmayan kesişim içerecektir. Daha sonra iki seti değiştirdiğimiz koleksiyonu düşünebiliriz $X n -1$ ve $X n$ tek set ile $X n -1 \cap X n$ . Bu yeni koleksiyonda, her bir koleksiyon $d + 1$ kümeler boş olmayan kesişim içerecektir. Bu nedenle tümevarım hipotezi geçerlidir ve bu yeni koleksiyonun boş olmayan kesişme noktasına sahip olduğunu gösterir. Bu, orijinal koleksiyon için de aynı anlama gelir ve ispatı tamamlar.

Renkli Helly teoremi

renkli Helly teoremi Helly teoreminin bir uzantısıdır, burada tek bir koleksiyon yerine dDışbükey alt kümelerinin +1 koleksiyonları $R d$ .

Eğer, için her bir seçim enine - her koleksiyondan bir set - seçilen tüm setlerin ortak bir noktası vardır, o zaman en az bir Koleksiyonun tüm setlerinin ortak bir noktası var.

Mecazi olarak, kişi d+1 koleksiyonları d+1 farklı renk. O zaman teorem, her renk başına bir set seçeneğinin boş olmayan bir kesişimine sahip olması durumunda, o rengin tüm kümelerinin boş olmayan bir kesişim içerecek şekilde bir rengin var olduğunu söyler.^[2]

Kesirli Helly teoremi

Her biri için a > 0 biraz var b > 0 öyle ki, eğer $X 1, ..., X n$ vardır n dışbükey alt kümeleri $R d$ ve en azından bir a-fraksiyonu (d+1) -tupleların ortak bir noktası var, sonra en azından bir kesri b setlerin ortak bir noktası var.^[2]

Ayrıca bakınız

Notlar

^ Danzer, Grünbaum ve Klee (1963).
^ ^a ^b Gil Kalai (2019-03-15), "Kesirli Helly, Colorful Helly ve Radon ile İlgili Haberler", Kombinatorikler ve daha fazlası, alındı 2020-07-13

Referanslar

Bollobás, B. (2006), "Problem 29, Kesişen Konveks Kümeler: Helly Teoremi", Matematik Sanatı: Memphis'te Kahve Zamanı, Cambridge University Press, s. 90–91, ISBN 0-521-69395-0.
Danzer, L .; Grünbaum, B.; Klee, V. (1963), "Helly teoremi ve akrabaları", Dışbükeylik, Proc. Symp. Saf Matematik., 7, Amerikan Matematik Derneği, s. 101–180.
Eckhoff, J. (1993), "Helly, Radon ve Carathéodory tipi teoremler", Konveks Geometri El Kitabı, A, B, Amsterdam: North-Holland, s. 389–448.
Heinrich Guggenheimer (1977) Uygulanabilir Geometri, sayfa 137, Krieger, Huntington ISBN 0-88275-368-1 .
Helly, E. (1923), "Über Mengen konvexer Körper mit gemeinschaftlichen Punkten", Jahresbericht der Deutschen Mathematiker-Vereinigung, 32: 175–176.
König, D. (1922), "Über konvexe Körper", Mathematische Zeitschrift, 14 (1): 208–220, doi:10.1007 / BF01215899.
Radon, J. (1921), "Mengen konvexer Körper, die einen gemeinsamen Punkt enthalten", Mathematische Annalen, 83 (1–2): 113–115, doi:10.1007 / BF01464231.

[1] Danzer, Grünbaum ve Klee (1963).

[:0-2] Gil Kalai (2019-03-15), "Kesirli Helly, Colorful Helly ve Radon ile İlgili Haberler", Kombinatorikler ve daha fazlası, alındı 2020-07-13

[1]

[2]