Borsuk-Ulam ve Jambon Sandviç Teoremi: Dünyada Sıcaklığı Aynı Olan Antipodal İki Nokta Vardır

Şaşırtıcı bir iddia

Dünyada şu an, birbirine tam zıt (antipodal) iki nokta var ki:

• Sıcaklık tam tamına aynı.
• Aynı zamanda barometrik basınç da aynı.

İsterseniz "rüzgâr hızı" ekleyin, üçüncü bir özelliği kontrol edemezsiniz ama iki tane garantili. Bu iddianın adı Borsuk-Ulam teoremi.

Bu nereden geliyor? Bir matematik teoreminden — basit topolojik bir gerçekten.

Teoremin ifadesi

Borsuk-Ulam teoremi (1933):

"Her sürekli fonksiyon $f: S^n \to \mathbb{R}^n$ için bir nokta $x \in S^n$ vardır ki $f(x) = f(-x)$."

Burada $S^n$ = $n$-boyutlu küre, $-x$ = $x$'in antipodu (tam zıt noktası). Yani küreden $\mathbb{R}^n$'e giden her sürekli fonksiyon, en az bir antipodal nokta çiftinde aynı değeri alır.

İki özel hali:

• $n=1$: $S^1$ (çember) üzerinde sürekli bir $f: S^1 \to \mathbb{R}$ vardır, $f(x) = f(-x)$. Yani çemberde her sürekli sıcaklık dağılımında, çapları kesen iki noktada sıcaklık aynı.
• $n=2$: $S^2$ (küre) üzerinde sürekli bir $f: S^2 \to \mathbb{R}^2$ vardır, $f(x) = f(-x)$. Yani dünyada her iki sürekli özelliği için (sıcaklık + nem) antipodal eşit nokta çifti var.

Tarih

Karol Borsuk (1905-1982), Polonyalı topolog, 1933'te kanıtladı. Borsuk'un kişisel hikâyesi etkileyici: Varşova Polonya Okulu'nun (Sierpiński, Banach, Kuratowski) önemli üyesi; İkinci Dünya Savaşı sırasında Nazi işgali altında yer altı üniversitesinde matematik öğretti.

Stanisław Ulam (Monte Carlo'nun mucidi — başka yazımda) önce 1930'larda fikre yakın bir önerme yazmıştı; Borsuk genelleştirip kanıtladı. İsim Borsuk-Ulam olarak yapıştı.

Sezgisel kanıt fikri (2D durumu)

$n=2$ için: $S^2$ üzerinde $f: S^2 \to \mathbb{R}^2$ sürekli olsun. $g(x) = f(x) - f(-x)$ tanımla. $g$ de süreklidir ve antisimetrik: $g(-x) = -g(x)$.

İddia: $g$ en az bir $x$ noktasında sıfır vektörü olur — yani $f(x) = f(-x)$.

Kanıt için derece teorisi (Brouwer'in derecesi) kullanılır. Antisimetri özelliği, dereceyi 0 yapmaya engel olur; sıfır noktası kaçınılmaz.

Detaylı kanıt 1-2 sayfa, ama fikir kısaca: "topolojik tutuklanma".

Eşdeğer ifadeler

Borsuk-Ulam teoremi şu üç ifadeyle aynıdır:

1. $f: S^n \to \mathbb{R}^n$ sürekli, bir antipodal çiftte değer eşittir.
2. Antipod hareketle uyumlu sürekli fonksiyon $g: S^n \to S^{n-1}$ yoktur.
3. $S^n$'i $n+1$ kapalı kümeyle örtersek, en az biri antipodal nokta çifti içerir (Lyusternik-Shnirelman).

Farklı görünüşler, aynı temel topolojik gerçek.

Jambon sandviç teoremi

Uygulamanın en eğlenceli sonucu jambon sandviç teoremi (Banach 1938, Steinhaus formülüyle):

"Her $n$ ölçülebilir nesne (3D'de hacim, 2D'de alan), tek bir hiperdüzlemle her birini eşit yarılarına bölünebilir."

Somut versiyon (3D): masada bir dilim ekmek, bir dilim peynir, bir dilim jambon (rastgele şekiller, rastgele konumlar). Tek bir bıçak darbesiyle her üçünü tam yarıya bölmek mümkün.

Kanıt Borsuk-Ulam $S^2 \to \mathbb{R}^2$ ile yapılır. Her yönü (küre üzerindeki bir nokta) bir bıçak yönelimi olarak düşün. Her yön için her objeyi yarıya bölecek tek bir konum vardır; bu konumların "ekmek için" ile "peynir için" arasındaki farkı sürekli bir fonksiyon. Borsuk-Ulam bu fonksiyonun bir antipodal çiftinde sıfır olacağını söyler — yani her ikisi de aynı kesim noktasında yarı.

Generalleştirilmiş: $n$ tane $n$-boyutlu nesne, $\mathbb{R}^n$'de tek bir hiperdüzlemle yarıya bölünebilir.

Klasik sonuçlar

1. Dünya antipodları (sıcaklık + nem): her an mevcut.
2. Halka kesme: bir halkayı (toroidal nesne) belirli iki nokta çiftiyle kapsa.
3. Necklace bölme problemi: $k$ tip renkli boncuktan oluşan kolyeyi 2 hırsız adil paylaşabilir mi? Her kişi her tip aynı sayıda alır mı? Cevap: en fazla $k$ kesişle. Borsuk-Ulam genelleştirmesi (Alon-West).
4. Lovász teoremi: Kneser grafının kromatik sayısı. Borsuk-Ulam ile elde edilen ilk topolojik kombinatorik sonuç. Çığır açıcı.

Lovász ve Kneser grafı (1978)

László Lovász'ın 1978'deki Kneser sanısının kanıtı, Borsuk-Ulam'ın kombinatorikte kullanılmasının ilk örneğiydi. Kneser sanısı (1955): $\binom{[n]}{k}$'nin Kneser grafının kromatik sayısı tam $n - 2k + 2$.

Lovász, Borsuk-Ulam'ı doğrudan kullanarak kanıtladı. Bu, topolojik kombinatorik alanını başlattı. Bugün Imre Bárány, Anders Björner, Mark de Longueville gibi matematikçilerin alanı.

Diğer uygulamalar

• Adil bölüm problemi: $n$ kişi arasında torta paylaştırma.
• Eşit ağırlık dağılımı: belirli bir konuma yerleştirilebilir hızla.
• Sınıflandırma teorisi: topolojik veri analizi (TDA), kişiselleştirme algoritmaları.
• Karakteristik sınıfları: Stiefel-Whitney sınıfları Borsuk-Ulam ile bağlantılı.
• Sayısal hesaplama: Bisection metodunun topolojik genelleştirmesi.

Sonuç

Borsuk-Ulam, basit bir teoremin geniş yelpazede zincirleme sonuçlar üretmesinin olağan bir örneği:

• Hava raporlarında garantili rüzgârsız nokta (önceki yazımız: tüylü top teoremi).
• Antipodal sıcaklık eşitliği.
• Jambon sandviç adaleti.
• Adil paylaşım algoritmaları.
• Kombinatoryal kromatik sayıları.

Matematiğin bir teoremi, mutfak masası ile kombinatoryal grafi arasında köprü kurabiliyorsa, kıymetli demektir.