Dışbükey Cisimlerin Gölgeleri

yazan

Keith Ball¹
Trinity College, Cambridge
ve
Texas A&M Üniversitesi, College Station, Texas

Özet. Eğer \(C\), \(\mathbb{R}^n\) içinde bir dışbükey cisim ise, \(C\)'nin (sıfırdan farklı hacme sahip) afin bir \(\widetilde{C}\) görüntüsünün var olduğu kanıtlanmıştır, öyle ki eğer \(P\) herhangi bir 1-eşboyutlu (1-codimensional) dik izdüşüm ise, \[ |P\widetilde{C}| \ge |\widetilde{C}|^{\frac{n-1}{n}} \] sağlanır. Sayılar teorisine dair bir uygulama da belirtilmiştir.

arXiv:math/9201204v1 [math.MG] 26 Eki 1989

Bu makalede tartışılan problemler, dışbükey cisimlerin gölgelerinin (dik izdüşümlerinin) alanları ve daha az ölçüde de bu tür cisimlerin yüzey alanları ile ilgilidir. Eğer \(C\), \(\mathbb{R}^n\) içinde bir dışbükey cisim ve \(\theta\) bir birim vektör ise, \(P_\theta C\), \(C\)'nin \(\theta\)'ya dik olan 1-eşboyutlu uzay üzerindeki dik izdüşümünü gösterecektir.
Dışbükey cisimlerin hacimleri ve alanları
Dışbükey cisimlerin gölgeleri ile yüzey alanları arasındaki ilişki, Cauchy'nin meşhur formülüyle ifade edilir. Her \(n \in \mathbb{N}\) için, \(v_n\) \(n\)-boyutlu Öklid birim yuvarının hacmi olsun ve \(\sigma = \sigma_{n-1}\), \(S^{n-1}\) birim küresi üzerindeki dönme altında değişmez olasılık ölçüsü olsun. Cauchy formülü, eğer \(C\) \(\mathbb{R}^n\) içinde bir dışbükey cisim ise, onun yüzey
\(\mathbb{R}^n\) uzayındaki klasik izoperimetrik eşitsizlik, herhangi bir cismin yüzey alanının, en azından aynı hacme sahip bir Öklid yuvarınınki kadar büyük olduğunu belirtir. Bu makalenin ilk bölümü, yalnızca büyük bir yüzey alanına (veya ortalama gölgeye) sahip olmaktan ziyade, tüm cisimlerin büyük gölgelere sahip olduğunu gösteren "yerel" bir izoperimetrik eşitsizliğin kanıtına ayrılmıştır. Bu sonuç için temel motivasyon, bunun Vaaler'in bir varsayımı ve bunu çevreleyen önemli problemlerle olan ilişkisidir. Bu teorem ve onun Vaaler varsayımı ile olan bağlantısı

Dışbükey cisimler teorisinde, bir dışbükey cismin "izdüşüm cismi" (projection body) olarak adlandırılan kavram önemli bir rol oynar. Politoplar göz önüne alınarak kolayca görülebilir ki, her dışbükey \(C\) cismi için, \(\mathbb{R}^n\) üzerinde, her \(\theta \in S^{n-1}\) için \(\|\theta\| = |P_\theta C|\) koşulunu sağlayan ve birim yuvarı \(C\)'nin izdüşüm cismi olan bir \(\|\cdot\|\) normu mevcuttur. \(\mathbb{R}^n\) üzerindeki dışbükey cisimlerin sınıfını, \(\mathbb{R}^n\) üzerindeki \(L_1\) uzayının \(n\)-boyutlu alt uzaylarının gösterimlerinin birim yuvarlarının koleksiyonuna götüren \(\Pi^*\) dönüşümü kapsamlı bir şekilde incelenmiştir: örneğin bkz. [B-L]. \(\Pi^*\) dönüşümünün merkezi simetrik dışbükey cisimler sınıfına kısıtlamasının birebir (injective) olduğu Aleksandrov tarafından gösterilmiştir: eğer \(C\) ve \(D\) merkezi simetrik dışbükey cisimler ise ve tüm \(\theta \in S^{n-1}\) için \(|P_\theta C| = |P_\theta D|\) ise, o halde \(C = D\)'dir. Merkezi simetri koşulu kaldırıldığında, \(C\) ve \(D\) eş (kongrüent) bile olmayabilir: \(\mathbb{R}^2\) içindeki Reuleaux üçgeninin tüm 1-boyutlu gölgeleri, bir diskin gölgeleriyle aynı uzunluktadır.

\(\Pi^*\) dönüşümünün örten (surjective) olduğu Minkowski tarafından gösterilmiştir. Minkowski'nin kanıtının gerçekte verdiği şey (en azından politoplar bağlamında), Bölüm 2'de Lemma 6 olarak belirtilen sonuçtur. (Minkowski teoreminin bu oldukça ayrıntılı ifadesine, büyük gölgelere sahip patolojik bir cismin inşası için ihtiyaç duyulacaktır.)

Petty'nin [P] önemli bir gözlemi şudur: eğer \(T\), \(\mathbb{R}^n\) üzerinde determinantı \(1\) olan bir lineer operatör ise, her \(C\) için, \[ \Pi^*(TC) = T(\Pi^*(C)). \tag{1} \]

Kısmen Aleksandrov'un \(\Pi^*\) dönüşümünün birebirliği üzerine olan teoreminden esinlenen Shephard, eğer \(C\) ve \(D\) aşağıdaki koşulu sağlayan merkezi simetrik dışbükey cisimler ise, \[ |P_\theta C| \ge |P_\theta D| \quad \text{her } \theta \in S^{n-1} \text{ için} \] zorunlu olarak \(|C| \ge |D|\) olup olmayacağını sormuştur. Bu soru, [P] ve [S] çalışmalarında birbirlerinden bağımsız olarak Petty ve Schneider tarafından olumsuz bir şekilde yanıtlanmıştır. (Gölgeler yerine kesitler için olan benzer soru [B-P]'de ortaya atılmış ve (yine olumsuz olarak) [L-R] tarafından yanıtlanmıştır.) Bu makalenin ikinci bölümü, Shephard'ın sorusuna güçlü bir olumsuz yanıt içermektedir. \(\ell_\infty^{2n}\) uzayının "rastgele" bir \(n\)-boyutlu alt uzayının, tüm gölgeleri aynı hacme sahip bir Öklid yuvarınınkilerle karşılaştırıldığında çok büyük olan bir birim yuvara sahip olduğu gösterilecektir. Bu tür örnekler, Shephard probleminin kesitler için olan Busemann-Petty probleminden daha az hassas olduğunu düşündürmektedir: ikincisi için son derece patolojik örneklerin var olup olmadığı önemli bir açık sorudur. Bu soru genellikle

§1. Yerel bir izoperimetrik eşitsizlik.

[V]'de Vaaler, her \(n \in \mathbb{N}\), \(\mathbb{R}^n\) içindeki her simetrik dışbükey \(C \subset \mathbb{R}^n\) cismi ve her \(k < n\) için, \(\mathbb{R}^n\)'nin bir \(T\) otomorfizması için \(C\)'nin afin bir \(TC\) görüntüsünün var olduğunu ve böylece \(\mathbb{R}^n\)'nin her \(k\)-boyutlu \(H\) alt uzayı için \[ |H \cap TC| \ge |TC|^{\frac{k}{n}} \] koşulunun sağlandığını varsaymıştır (Vaaler aslında biraz daha güçlü bir şey varsaymıştı ki bu \(k\)'nin küçük değerleri için yanlıştır). Bu varsayım, yukarıda bahsedilen dilimleme (slicing) problemini güçlendirir; yani: her \(n\) ve \(C\) için, \(\mathbb{R}^n\)'nin \[ |H \cap C| \ge \delta |C|^{\frac{n-1}{n}} \] koşulunu sağlayan 1-eşboyutlu bir \(H\) alt uzayının var olmasını sağlayan bir \(\delta > 0\) mevcuttur. Vaaler varsayımının (keyfi \(n\) ve \(C\) için) \(k = 1\) durumu, sonucun bir hacim oranı tahmini olarak ifade edildiği [B1]'de bu makalenin yazarı tarafından kanıtlanmıştır. \(k = 1\) için olan kanıt, gerçekte 1-boyutlu gölgelerin hacimlerini tahmin eder ve ardından bir dışbükey cismin en küçük 1-boyutlu kesitinin onun en küçük 1-boyutlu gölgesi olduğu gerçeğini kullanır. Boyutu 1'den büyük olan alt uzaylar için minimum kesitler ve minimum gölgeler özdeş olmadığından, \(k > 1\) ise böyle bir argüman kullanılamaz: ancak Vaaler varsayımının (1'den farklı boyuttaki) gölgeler için, kesitler için olan çözülmemiş problemden bağımsız olarak kanıtlanıp kanıtlanamayacağını sormak doğaldır. Bu makalenin temel sonucu en önemli durum olan \(k = n-1\) durumuyla ilgilenmektedir.

Teorem 1. \(C\), \(\mathbb{R}^n\) içinde bir dışbükey cisim olsun. \(C\)'nin (sıfırdan farklı hacme sahip) afin bir \(\widetilde{C}\) görüntüsü vardır, öyle ki her \(\theta \in \mathbb{R}^n\) birim vektörü için, \[ |P_\theta \widetilde{C}| \ge |\widetilde{C}|^{\frac{n-1}{n}} \] sağlanır. Bu sonuç, küpün gösterdiği üzere tam olarak mümkün olan en iyi sonuçtur.

Teorem 1'in kanıtı, dışbükey cisimleri içeren minimum hacimli elipsoitler hakkındaki John teoreminden yararlanır. Bu sonuç burada şu şekilde ifade edilmiştir:

Lemma 2. \(K\), \(\mathbb{R}^n\) içinde simetrik bir dışbükey cisim olsun. \(K\)'yi içeren minimum hacimli elipsoit Öklid birim yuvarı \(B_2^n\) olması için gerek ve yeter koşul \(K\)'nin \(B_2^n\) içinde yer alması ve \(K\)'nin \(\partial K\) sınırı üzerinde Öklid birim vektörleri \((u_i)_{1}^{m}\) (bazı \(m \in \mathbb{N}\) için) ve pozitif sayılar \((c_i)_{1}^{m}\) bulunmasıdır, öyle ki \[ \sum_{i=1}^{m} c_i u_i \otimes u_i = I_n \] sağlanır. (Burada \(u_i \otimes u_i\), \(u_i\)'nin gerdiği alt uzay üzerine alışılagelmiş rank-1 dik izdüşümdür ve \(I_n\), \(\mathbb{R}^n\) üzerindeki birim dönüştürür.) Yukarıdaki özdeşlik, \(u_i\)'lerin her \(x \in \mathbb{R}^n\) için \[ |x|^2 = \sum_{i=1}^{m} c_i \langle u_i, x\rangle^2 \] olması bakımından ortonormal bir tabana oldukça benzer şekilde dağıldığını ifade eder. Yukarıda görünen operatörlerin izlerinin eşitliği şunu gösterir: \[ \sum_{i=1}^{m} c_i = n . \]

Teorem 3. \(C\), \(\mathbb{R}^n\) içinde bir dışbükey cisim, \((u_i)_{1}^{m}\), \(\mathbb{R}^n\) içinde birim vektörlerin bir dizisi ve \((c_i)_{1}^{m}\), \(\sum_{i=1}^{m} c_i u_i \otimes u_i = I_n\) koşulunu sağlayan pozitif sayıların bir dizisi olsun. O halde, \[ |C|^{\frac{n-1}{n}} \le 2^n \left( \prod_{i=1}^{m} |P_{u_i} C|^{c_i} \right)^{1/n} . \]

Teorem 3, Teorem 1'in kanıtındaki en önemli yeni bileşendir. Bir cismin hacmini, onun gölgelerinin hacimlerinin bir ortalaması (bu durumda geometrik ortalama) cinsinden tahmin etmesi bakımından dikkate değerdir. Buradaki kilit nokta, işin içine giren gölgelerin "sayısının", Teorem 1'deki yerel izoperimetrik eşitsizliğin elde edilmesine yetecek kadar küçük olmasıdır.

Teorem 1'in Kanıtı. \(\Pi^*\) dönüşümünün lineer dönüşümlerle olan sarmal (intertwining) özelliği (1) nedeniyle, \(C\)'nin afin bir \(\widetilde{C}\) görüntüsü vardır, öyle ki \(\Pi^*(\widetilde{C})\)'yi içeren minimum hacimli elipsoit Öklid yuvarı \(B_2^n\)'dir. Bu, \(\Pi^*(\widetilde{C})\)'nin Lemma 2'nin koşulunu sağlamasını güvence altına alır: toplamları \(n\) olan birim vektörler \((u_i)\) ve pozitif sayılar \(c_i\) mevcuttur, öyle ki \(\sum c_i u_i \otimes u_i = I_n\) ve her \(i\) için \(|P_{u_i} \widetilde{C}| = 1\) olur. Bu durumda Teorem 3, \(|\widetilde{C}|^{\frac{n-1}{n}} \le 2^n\) eşitsizliğini verir ve her \(i\) için \(|P_{u_i} \widetilde{C}| = 1\) olduğundan iddia elde edilir.

Teorem 3'ün kanıtı bu bölümün geri kalanını kaplamaktadır. Zonotopların hacimlerini alttan tahmin eden bir lemmaya dayanır.

Karışık hacimler (mixed volumes) hakkındaki ilgili bilgiler, eksiksiz olması amacıyla buraya dahil edilmiştir. \(\mathbb{R}^n\) içindeki dışbükey cisimlerin kümesi, Minkowski toplamı ve negatif olmayan skalerlerle çarpma işlemleri altında bir dışbükey koni olarak düşünülebilir. Dışbükey cisimler \(C_1, \dots, C_n\) için, \[ V : \underbrace{\mathcal{C} \times \dots \times \mathcal{C}}_{n \text{ defa}} \to [0, \infty) \] olmak üzere simetrik bir çoklu lineer fonksiyon mevcuttur ve bu fonksiyonun \((C_1, \dots, C_n)\) noktasındaki değeri karışık hacim \(V(C_1, \dots, C_n)\)'dir. Minkowski teoreminin bir sonucu olarak, \(|C + tD|\) hacmi (\(t \in [0, \infty)\) için) \(t\)'ye göre bir polinom olarak açılabilir: \[ |C + tD| = \sum_{k=0}^{n} \binom{n}{k} v_{n-k}(C, D) t^k , \] burada \[ v_{n-k}(C, D) = V(\underbrace{C, \dots, C}_{n-k}, \underbrace{D, \dots, D}_{k}) \] şeklindedir ve \(C\) ile \(D\)'nin \((n-k)\)-ıncı karışık hacmi olarak adlandırılır.

Brunn-Minkowski eşitsizliği, \(|C + tD|^{1/n}\) ifadesinin (\([0, \infty)\) üzerinde) \(t\)'nin içbükey (konkav) bir fonksiyonu olduğunu belirtir. (2) ifadesinin \(t = 0\) noktasında türevinin alınması Minkowski eşitsizliğini verir: \[ |C|^{\frac{n-1}{n}} |D|^{\frac{1}{n}} \le v_{n-1}(C, D). \tag{3} \] Eğer \(D = B_2^n\) Öklid birim yuvarı ise, (3) ifadesi klasik izoperimetrik eşitsizliktir. Eşitsizlik (3), burada uygun bir \(D\) seçimiyle kullanılacaktır.

Doğru parçalarının bir Minkowski toplamı \[ Z = \sum_{i=1}^{m} \alpha_i [-u_i, u_i] = \left\{ x \in \mathbb{R}^n : x = \sum_{i=1}^{m} \lambda_i u_i \text{ her } (\lambda_i)_{1}^{m} \text{ dizisi için öyle ki } |\lambda_i| \le \alpha_i, \, 1 \le i \le m \right\} \] bir zonotop olarak adlandırılır. Böyle bir zonotop için, \[ v_{n-1}(C, Z) = 2 \sum_{i=1}^{m} \alpha_i |P_{u_i} C|. \tag{4} \] Eğer \(C = Z\) ise Minkowski eşitsizliğinde (3) eşitlik sağlanır ve yukarıdaki gibi bir \(Z\) ile \[ |Z| = \frac{2}{n} \sum_{i=1}^{m} \alpha_i |P_{u_i} Z|. \tag{5} \] Bu özdeşlik genellikle zonotoplar için hacim formülü olarak adlandırılır. \(|Z|\) için \(\alpha_i\)'ler ve \(u_i\)'lerden oluşturulan kare matrislerin determinantları cinsinden bir ifade elde etmek için basit bir tümevarım argümanı kullanılabilir. Aşağıdaki lemmada, \(|Z|\) için gerçek değerinden daha kolay kullanılabilen bir tahmin elde etmek amacıyla benzer bir tümevarımsal argüman kullanılmıştır.

Lemma 4. \((u_i)_{1}^{m}\), \(\mathbb{R}^n\) içinde birim vektörlerin bir dizisi, \((c_i)_{1}^{m}\) \[ \sum_{i=1}^{m} c_i u_i \otimes u_i = I_n , \] koşulunu sağlayan pozitif sayıların bir dizisi ve \((\alpha_i)_{1}^{m}\) ise başka bir pozitif sayılar dizisi olsun. Eğer \[ Z = \sum_{i=1}^{m} \alpha_i [-u_i, u_i] , \] ise o halde \[ |Z| \ge 2^n \prod_{i=1}^{m} \left( \frac{\alpha_i}{c_i} \right)^{c_i} . \]

Kanıt. Kanıt, \(n\) üzerinden tümevarımla yapılır. \(n = 1\) için tek bir indis için \(u_i = \pm 1\) ve \(c_i = 1\)'dir ve eşitsizlik, \(c_i = 1\) olduğundan aritmetik-geometrik ortalama eşitsizliği uyarınca sağlanan \(|Z| = 2\alpha_i \ge 2 (\alpha_i/c_i)^{c_i}\) halini alır. Daha büyük \(n\) değerleri için, hacim formülü (5) \(P_i = P_{u_i}\) olmak üzere şunu gösterir: \[ |Z| = \frac{2}{n} \sum_{i=1}^{m} \alpha_i |P_i Z| = 2 \sum_{i=1}^{m} c_i \left( \frac{\alpha_i}{c_i} |P_i Z| \right) \ge 2 \prod_{i=1}^{m} \left( \frac{\alpha_i}{c_i} |P_i Z| \right)^{c_i} \tag{6} \] çünkü \(\sum c_i = n\) şeklindedir. Her bir \(i\) için \(P_i Z\), \(P_i(\mathbb{R}^n)\) içinde (\(\mathbb{R}^{n-1}\) ile özdeşleştirilmiş), \(v_{ij}\) \(P_i(\mathbb{R}^n)\) içinde bir birim vektör ve \(\gamma_{ij} = |P_i u_j|\) olmak üzere \(P_i u_j = \gamma_{ij} v_{ij}\) izdüşürülmüş vektörleri tarafından üretilen bir zonotoptur. \(c_j\)'ler şunu sağlar: \[ P_i = \sum_{j=1}^{m} c_j P_i u_j \otimes P_i u_j = \sum_{j=1}^{m} c_j \gamma_{ij}^2 v_{ij} \otimes v_{ij} \] ve \(P_i\), \(P_i(\mathbb{R}^n)\) üzerinde birim dönüşüm (özdeşlik) olarak işlev görür. O halde, tümevarım varsayımı uyarınca, \[ |P_i Z| \ge 2^{n-1} \prod_{j=1}^{m} \left( \frac{\alpha_j \gamma_{ij}}{c_j \gamma_{ij}^2} \right)^{c_j \gamma_{ij}^2} \] burada eğer \(\gamma_{ij} = 0\) ise \(j\)-inci çarpanın 1 olduğu kabul edilir (böylece özel olarak \(i\)-inci çarpan da 1'dir). Her bir \(i\) için elde edilen eşitsizliklerin (6) ifadesinde yerine yazılması şunu gösterir: \[ |Z| \ge 2^n \prod_{i,j=1}^{m} \left( \frac{\alpha_j}{c_j \gamma_{ij}} \right)^{c_i c_j \gamma_{ij}^2} \] ve bu ifade en az \[ 2^n \prod_{i=1}^{m} \left( \frac{\alpha_i}{c_i} \right)^{c_i} \] kadardır, çünkü tüm \(i\) ve \(j\) için \(\prod_{j} \gamma_{ij}^{-c_i c_j \gamma_{ij}^2} \ge 1\) olup her \(j\) için, \[ \sum_{i=1}^{m} c_i c_j \gamma_{ij}^2 = c_j \sum_i c_i (1 - \langle u_i, u_i \rangle^2) = n c_j - c_j = (n-1) c_j \] sağlanır. Bu da tümevarımı tamamlar.

Teorem 3'ün Kanıtı. \(C\), \((u_i)_{1}^{m}\), \((c_i)_{1}^{m}\) ve \((P_i)_{1}^{m}\) teoremin ifadesindeki gibi olsun. Her \(i\) için şöyle tanımlayalım: \[ \alpha_i = \frac{c_i}{|P_{u_i} C|}. \] \(Z = \sum_{i=1}^{m} \alpha_i [-u_i, u_i]\) olmak üzere, denklem (4) bize şunu verir: \[ v_{n-1}(C, Z) = \frac{2}{n} \sum_{i=1}^{m} \alpha_i |P_{u_i} C| = \frac{2}{n} \sum_{i=1}^{m} c_i = 2, \] çünkü \(\sum c_i = n\) şeklindedir. Minkowski eşitsizliği (3) o halde bize şunu verir: \[ |C|^{\frac{n-1}{n}} |Z|^{\frac{1}{n}} \le v_{n-1}(C, Z) = 2. \] Böylece, \[ |C|^{n-1} \le 2^n |Z|^{-1} . \] Şimdi Lemma 4 uyarınca, \[ |Z| \ge 2^n \prod_{i=1}^{m} \left( \frac{\alpha_i}{c_i} \right)^{c_i} = 2^n \prod_{i=1}^{m} |P_{u_i} C|^{-c_i}, \] bu da \[ |Z|^{-1} \le 2^{-n} \prod_{i=1}^{m} |P_{u_i} C|^{c_i}. \] olduğunu gösterir. Bu iki eşitsizlik birleştirildiğinde şunu elde ederiz: \[ |C|^{n-1} \le \prod_{i=1}^{m} |P_{u_i} C|^{c_i}. \] Bu da kanıtı tamamlar.

§2. Shephard problemi üzerine bir not.

Bu bölüm, girişte açıklanan Shephard problemine güçlü bir olumsuz çözüm içermektedir. Petty ve Schneider ([P] ve [S]), \(\mathbb{R}^n\) içinde aşağıdaki koşulları sağlayan \(C\) ve \(D\) cisim çiftleri inşa etmişlerdir: \[ |P_\theta D| \le |P_\theta C| \quad \text{her } \theta \in S^{n-1} \text{ için}, \] ancak \(|D| > |C|\) olur. Schneider ayrıca, eğer \(C\) bir zonoid (zonotopların Hausdorff metriğindeki limiti) ise, \(|D| \le |C|\) sonucunun gerçekten de geçerli olduğunu göstermiştir. Biraz daha genel olarak, eğer \(C\) ve \(D\) (7) koşulunu sağlayan dışbükey cisimler ve \(Z = \sum_{i=1}^{m} \alpha_i [-u_i, u_i]\) (\(u_i \in S^{n-1}, 1 \le i \le m\) olmak üzere) \(C\) içinde yer alan bir zonotop ise, Teorem 3'ün kanıtındakine benzer şekilde, \[ |D|^{\frac{n-1}{n}} |Z|^{\frac{1}{n}} \le v_{n-1}(D, Z) = \frac{2}{n} \sum_{i=1}^{m} \alpha_i |P_{u_i} D| \le \frac{2}{n} \sum_{i=1}^{m} \alpha_i |P_{u_i} C| = v_{n-1}(C, Z). \] Böylece \(\frac{|D|}{|C|} \le \sup_{Z \subset C} \left( \frac{v_{n-1}(C,Z)}{v_{n-1}(D,Z)} \right)^{\frac{n}{n-1}}\) elde edilir. Buradaki özel durum, \(Z \subset C\) ise \(|P_\theta Z| \le |P_\theta C|\) olması gerçeğinden açıkça görülmektedir. Ancak, \(\mathbb{R}^n\) içinde hacmi 1 olan ve tüm gölgelerinin hacmi yaklaşık olarak \(\sqrt{n}\) olan bir cismin var olduğu gösterilecektir (Teorem 5).

Teorem 5. Bir \(\delta > 0\) sabiti mevcuttur öyle ki her \(n \in \mathbb{N}\) için, \(\mathbb{R}^n\) içinde her bir \(\theta \in \mathbb{R}^n\) birim vektörü için, \[ |P_\theta K| \ge \delta \sqrt{n} |K|^{\frac{n-1}{n}} \] koşulunu sağlayan simetrik bir dışbükey \(K\) cismi mevcuttur.

Teorem 5'in kanıtı, verilen izdüşümlere sahip cisimlerin varlığına ilişkin Minkowski teoremine büyük ölçüde dayanır. Bu teoremin uygun düzeyde ayrıntılı bir ifadesi aşağıda Lemma 6 olarak verilmiştir: aşağıdaki gösterime ihtiyaç duyulmaktadır. \(\mathbb{R}^n\) uzayını geren birim vektörlerin bir dizisi \((u_i)_{1}^{m}\) ve pozitif sayıların bir dizisi \((\gamma_i)_{1}^{m}\) için, \(\mathcal{F} = \mathcal{F}((u_i), (\gamma_i))\) aşağıdaki formdaki dışbükey cisimlerin ailesi olsun: \[ \{ x \in \mathbb{R}^n : |\langle x, u_i\rangle| \le t_i, \, 1 \le i \le m \} \] burada \(t_i > 0\) olup her \(i\) için \(|P_{u_i} C| = \gamma_i\) şeklindedir. Minkowski teoremi, \(\mathcal{F}\) ailesinin homoteti farkıyla tek bir maksimal \(K\) elemanı içerdiğini belirtir; bu eleman bazı \(t_i\)'ler için \(K\)'nin \(\{x : |\langle x, u_i\rangle| \le t_i\}\) şeritlerinin kesişimi olması özelliğiyle karakterize edilir ve onun destek fonksiyonu (support function) \(|\langle \cdot, u_i\rangle|\) fonksiyonlarının lineer kombinasyonudur. Ayrıca \(K\)'nin hacmi şu şekilde verilir: \[ |K| = \frac{1}{n} \sum_{i=1}^{m} t_i \gamma_i . \] Buradan, herhangi bir \(\theta\) için hayati öneme sahip şu özellik elde edilir: \[ |P_\theta K| = \frac{n |K|}{2} \sum_{i=1}^{m} \frac{\gamma_i}{t_i} |\langle u_i, \theta\rangle| . \]

Bu inşa ayrıca \(\mathbb{R}^n\) üzerinde iyi derecede eşdeğer olan normlar hakkında basit bir lemmayı da kullanacaktır.

Lemma 7. Bir \(\delta > 0\) sabiti mevcuttur öyle ki \(n \in \mathbb{N}\) için \(\mathbb{R}^n\) içinde her vektör \(x \in \mathbb{R}^n\) için \[ \sum_{i=1}^{2n} |\langle x, u_i\rangle| \ge \delta \sqrt{n} |x| \] koşulunu sağlayan birim vektörler \(u_1, \dots, u_{2n}\) bulunur.

İhtiyaç duyulacak son lemma, Vaaler'in [V] \(\mathbb{R}^n\) içindeki küpün kesitlerinin hacimleriyle ilgili bir sonucudur. Burada gerekli olan form şu şekildedir.

Lemma 8. \((u_i)_{1}^{m}\), \(\mathbb{R}^n\) içinde birim vektörlerin bir dizisi olsun. O halde sınır fonksiyonelleri bu vektörler olan simetrik dışbükey cismin hacmi şu eşitsizliği sağlar: \[ |\{x \in \mathbb{R}^n : |\langle x, u_i\rangle| \le 1, \, 1 \le i \le m\}|^{1/n} \ge 2 \sqrt{\frac{n}{m}} . \]

Teorem 5'in Kanıtı. \((u_i)_{1}^{2n}\), Lemma 7'de açıklanan özelliğe sahip bir vektör dizisi olsun. \(m = 2n\) alalım ve \(1 \le i \le m\) için \(\gamma_i = \frac{1}{m}\) olmak üzere Lemma 6'yı uygulayalım. \(\mathcal{F}\) ailesindeki maksimal hacme sahip \(K\) cismi şunu sağlar: \[ |P_\theta K| = \frac{n |K|}{2} \sum_{i=1}^{m} \frac{1/m}{t_i} |\langle u_i, \theta\rangle| . \] Şimdi, \(\mathcal{F}\) ayrıca şu cismi de içerir: \[ C = \{ x \in \mathbb{R}^n : |\langle x, u_i\rangle| \le 1, \, 1 \le i \le m \}. \] Dolayısıyla (\(K\)'nin maksimal olması uyarınca), \(|K| \ge |C|\) olur. Ancak Lemma 8 uyarınca, \[ |C|^{1/n} \ge 2 \sqrt{\frac{n}{m}} = \sqrt{2} , \] ve böylece \(|K|^{1/n} \ge \sqrt{2}\) olur. Dahası, \(K\) için \(t_i\) sayıları en fazla \(\sqrt{n}\) kadardır (\(K\)'nin \(u_i\) yönündeki genişliği \(2t_i\) olduğundan ve \(K \supset \text{bazı yuvarlar}\)). Lemma 7 kullanılarak, \[ \sum_{i=1}^{2n} \frac{1}{t_i} |\langle u_i, \theta\rangle| \ge \frac{1}{\sqrt{n}} \sum_{i=1}^{2n} |\langle u_i, \theta\rangle| \ge \delta \] elde edilir. Böylece, \[ |P_\theta K| = \frac{n |K|}{2} \cdot \frac{1}{2n} \sum \frac{1}{t_i} |\langle u_i, \theta\rangle| \ge \frac{|K|}{4} \delta \] olur. Bu da uygun bir sabitle istenen eşitsizliği verir.

Not. Yukarıdaki argüman, \(\ell_\infty\) uzayının alt uzaylarının yüzey alanının hacme oranını tahmin etmek için biraz genişletilebilir. Eğer \(iq(X)\), sonlu boyutlu normlu \(X\) uzayının (tanımlar için bkz. [Schü]) izoperimetrik oranı (isoperimetric quotient) ise ve \(iq(\ell_2^n) = 1\) olacak şekilde normalize edilmişse, o halde \(\ell_\infty^m\) uzayının her \(n\)-boyutlu \(X\) alt uzayı için, \[ iq(X) \ge \frac{\delta \sqrt{n}}{1 + \log \frac{m}{n}} . \]

Kaynakça

[B1] K.M. Ball, Volumes of sections of cubes and related problems, Israel Seminar (G.A.F.A.) 1988, Springer-Verlag, Lecture Notes #1376, (1989), 251–260.

[B2] K.M. Ball, Volume ratios and a reverse isoperimetric inequality, Hazırlanma aşamasında.

[B-L] J. Bourgain and J. Lindenstrauss, Projection bodies, Israel Seminar (G.A.F.A.) 1986–87, Springer-Verlag, Lecture Notes #1317, (1988), 250–269.

[Br-L] Herm Jan Brascamp and Elliott H. Lieb, Best constants in Young’s inequality, its converse and its generalization to more than three functions, Advances in Math. 20 (1976), 151–173.

[B-P] H. Busemann and C.M. Petty, Problems on convex bodies, Math. Scand. 4 (1956), 88–94.

[F-L-M] T. Figiel, J. Lindenstrauss and V.D. Milman, The dimension of almost spherical sections of convex bodies, Acta Math. 139 (1977), 53–94.

[J] F. John, Extremum problems with inequalities as subsidiary conditions, Courant Anniversary Volume, Interscience, New York, 1948, 187–204.

[L-R] D.G. Larman and C.A. Rogers, The existence of a centrally symmetric convex body with central sections that are unexpectedly small, Mathematika 22 (1976), 164–175.

[L-W] L.H. Loomis and H. Whitney, An inequality related to the isoperimetric inequality, Bull. Amer. Math. Soc. 55 (1949), 961–962.

[M-S] V.D. Milman and G. Schechtman, Asymptotic Theory of Finite Dimensional Normed Spaces, Springer-Verlag, Lecture Notes #1200, (1986), 64–104.

[P] C.M. Petty, Projection bodies, Proc. Colloq. on Convexity, Copenhagen (1967), 234–241.

[S] R. Schneider, Zur einem Problem von Shephard über die Projektionen konvexer Körper, Math. Z. 101 (1967), 71–82.

[Schü] C. Schütt, The isoperimetric quotient and some classical Banach spaces, yayınlanacak.

[V] J.D. Vaaler, A geometric inequality with applications to linear forms, Pacific J. Math. 83 (1979), 543–553.