Özet
Düzgün bir dörtyüzlünün içerdiği en büyük diskler, dörtyüzlünün yüzlerinde yer alır. Bu kanıt, konveks cisimlerin içerdiği maksimal hacimli elipsoitleri karakterize eden Fritz John teoremi ile yakından ilişkilidir.
§0. Giriş
1948 yılında Fritz John, $\mathbb{R}^n$ içindeki her konveks cismin benzersiz bir maksimal hacimli elipsoit içerdiğini kanıtladı. Böylece, her konveks cisim, maksimal hacimli elipsoidi Öklid birim yuvarı $B^n_2$ olan bir afin görüntüye sahiptir. John, bu afin görüntüleri aşağıdaki teoremle karakterize etmiştir.
Teorem [J]. Öklid yuvarı, $C \subset \mathbb{R}^n$ konveks cisminin içerdiği maksimal hacimli elipsoittir ancak ve ancak $B^n_2 \subset C$ ise ve bazı $m \ge n$ için $C$'nin sınırında Öklid birim vektörleri $(u_i)^m_1$ ve aşağıdaki koşulları sağlayan pozitif sayılar $(c_i)^m_1$ varsa:
- a) $\sum_i c_i u_i = 0$ ve
- b) $\sum_i c_i u_i \otimes u_i = I_n$, yani $\mathbb{R}^n$ üzerindeki özdeşlik operatörüdür. $\hfill \square$
Teoremdeki $u_i$'ler, $S^{n-1}$ birim küresinin $C$'nin sınırı ile olan temas noktalarıdır. Teorem, bu noktalar kümesine ağırlıkların öyle dağıtılabileceğini söyler ki, a) dağılımın kütle merkezi orijindedir ve b) dağılımın eylemsizlik tensörü özdeşliktir. İlk koşul temas noktalarının hepsinin kürenin "tek bir tarafında" yer almadığını, ikincisi ise hepsinin "öz bir alt uzaya yakın" bulunmadığını gösterir.
Koşul b), $u_i$'lerin bir ortonormal taban gibi davrandığını gösterir, öyle ki iç çarpım şu şekilde temsil edilebilir: $$ \langle x, y \rangle = \sum_i c_i \langle u_i, x \rangle \langle u_i, y \rangle, \quad x, y \in \mathbb{R}^n. $$
b)'deki operatörlerin izlerinin eşitliğinden hemen şu sonuç çıkar: $$ \sum_i c_i = n. \eqno(1) $$
Her bir $u_i$ noktasında, $C$'ye teğet hiperdüzlem (benzersizdir ve) $u_i$'ye diktir (çünkü bu durum Öklid yuvarı için de geçerlidir). Dolayısıyla, $K = \{x \in \mathbb{R}^n : \langle x, u_i \rangle \le 1, 1 \le i \le m\}$ kümesi $C$'yi içerir; yani $C$, $B^n_2$ ile $K$ arasına sıkışmıştır. Buradan (ve bu John teoreminin motivasyonlarından biriydi) $C$'nin, $n$ yarıçaplı Öklid yuvarı olan $n B^n_2$ içinde kaldığı sonucu çıkar. Bunu görmek için, $x \in K$ ve $\|x\| = r$ olduğunu varsayalım. Her $i$ için $-r \le \langle x, u_i \rangle \le 1$ olduğundan, $$ 0 \le \sum_i c_i (1 - \langle x, u_i \rangle)(r + \langle x, u_i \rangle) = r \sum_i c_i + (1 - r) \sum_i c_i \langle x, u_i \rangle - \sum_i c_i \langle x, u_i \rangle^2. $$
a) ve b) özellikleri ile (1) ifadesi, son terimin şu olduğunu gösterir: $$ rn - \|x\|^2 = rn - r^2. $$
Böylece $r \le n$ elde edilir.
John teoremi, sonlu boyutlu normlu uzaylar kuramında defalarca kullanılmıştır. Simetrik konveks cisimler (normlu uzayların birim yuvarları) için a) koşulu gereksizdir ve $x \in K$ için $\|x\| \le \sqrt{n}$ şeklinde daha güçlü bir tahmin elde edilebilir. Bunun bir sonucu olarak, her $n$-boyutlu normlu uzay, izomorfizm sabiti en fazla $\sqrt{n}$ olacak şekilde $n$-boyutlu Öklid uzayına izomorftur.
Bana birkaç ay önce Prof. A. Pełczyński tarafından, literatürün John teoreminin kolay olan ("ise" / "if") kısmına dair çok açık bir kanıt içermediği belirtildi. Bu makalenin ilk bölümü, bu iddianın hızlı bir kanıtını içermektedir. Yaklaşık aynı zamanlarda, birkaç kişi (tamamen bağımsız olmasa da) benden düzgün bir dörtyüzlünün içerdiği en büyük disklerin dörtyüzlünün yüzlerinde yer aldığına dair sezgisel olarak açık olan gerçeğin kanıtını istedi. Makalenin ikinci bölümü, bu gerçeğin düzgün $n$-boyutlu simplekslerin içindeki $k$-boyutlu Öklid yuvarları için olan (benzerinin) kanıtından oluşmaktadır. Her $n$ ve $k < n$ için, $B^n_2$ yuvarını çevreleyen düzgün $n$-boyutlu simpleks, onun $k$-boyutlu yüzlerinin her birinde şu yarıçapa sahip bir $k$-boyutlu Öklid yuvarı içerir: $$ \sqrt{n(n + 1) \over k(k + 1)} = r(n, k) \quad \text{(diyelim),} $$ Makalenin 1. ve 2. Bölümleri arasındaki ilişki, $C$, maksimal hacimli elipsoidi $B^n_2$ olan $\mathbb{R}^n$ içindeki bir konveks cisim ise, $C$'nin hacmi yarıçapı $r(n, k)$ olan bir $k$-boyutlu yuvarın hacminden daha büyük olan $k$-boyutlu elipsoitler içeremeyeceğinin gösterildiği Bölüm 3'te açıklanmaktadır.
Bölüm 3'ün sonucu ve öncelikle Bölüm 2'nin sonucu kesinlikle "elle kontrol edilebilir". $B^n_2$ ile "büyük" bir $k$-boyutlu elipsoidin konveks bükümünün, $B^n_2$'den daha büyük hacimli bir $n$-boyutlu elipsoit içerdiğini göstermek yeterlidir. Ancak işin içindeki hesaplamalar oldukça karmaşıktır. Bölüm 3'te sunulan argüman, John karakterizasyonunun kullanışlılığının basit ama ikna edici bir örneğidir.
§1. John teoreminin 'ise' (if) kısmı
Önerme 1. $(u_i)^m_1$, $\mathbb{R}^n$ içinde birim vektörlerin bir dizisi ve $(c_i)^m_1$ aşağıdaki koşulları sağlayan pozitif sayıların bir dizisi olsun:
- a) $\sum_i c_i u_i = 0$ ve
- b) $\sum_i c_i u_i \otimes u_i = I_n$.
O halde $K = \{x \in \mathbb{R}^n : \langle x, u_i \rangle \le 1, 1 \le i \le m\}$ kümesi, biricik maksimal hacimli elipsoit olarak Öklid birim yuvarını içerir.
Kanıt. $\mathcal{E}$ şu elipsoit olsun: $$ \left\{x \in \mathbb{R}^n : \sum^n_1 \alpha^{-2}_j \langle x - y, v_j \rangle^2 \le 1\right\} $$ bazı $y \in \mathbb{R}^n$, ortonormal taban $(v_j)^n_1$ ve pozitif sayılar $(\alpha_j)^n_1$ için. Problem, eğer $\mathcal{E} \subset K$ ise, o zaman $\prod \alpha_j \le 1$ olduğunu ve eşitliğin ancak tüm $j$ için $\alpha_j = 1$ ve $y = 0$ olduğunda geçerli olacağını göstermektir.
Şimdi, her $i$ ($1 \le i \le m$) için şu nokta: $$ x_i = y + \left( \sum^n_{j=1} \alpha^2_j \langle u_i, v_j \rangle^2\right)^{-{1\over 2}} \sum^n_{j=1} \alpha^2_j \langle u_i, v_j \rangle v_j $$ $\mathcal{E}$'ye aittir ve bu nedenle her $i$ için $\langle u_i, x_i \rangle \le 1$ olur. Buradan: $$ \langle u_i, y \rangle + \left( \sum^n_{j=1} \alpha^2_j \langle u_i, v_j \rangle^2\right)^{1\over 2} \le 1 \eqno(2) $$ her $i$ için. Bunu $c_i$ ile çarpıp $i$ üzerinden toplayarak ve $\sum_i c_i u_i = 0$ gerçeğini kullanarak şunu elde ederiz: $$ \sum_i c_i \left( \sum_j \alpha^2_j \langle u_i, v_j \rangle^2\right)^{1\over 2} \le \sum_i c_i = n. $$
Her $x$ için $\sum_i c_i \langle u_i, x \rangle^2 = \|x\|^2$ olduğundan ve $v_j$'ler bir ortonormal taban oluşturduğundan, $$ \begin{aligned} \sum_j \alpha_j &= \sum_j \sum_i \alpha_j c_i \langle u_i, v_j \rangle^2 \\ &= \sum_i c_i \left( \sum_j \alpha_j \langle u_i, v_j \rangle^2\right) \\ &\le \sum_i c_i \left(\sum_j \alpha^2_j \langle u_i, v_j \rangle^2\right)^{1\over 2} \left( \sum_j \langle u_i, v_j \rangle^2\right)^{1\over 2} \\ &= \sum_i c_i \left( \sum_j \alpha^2_j \langle u_i, v_j \rangle^2\right)^{1\over 2} \le n. \end{aligned} $$
Aritmetik Ortalama-Geometrik Ortalama (AM-GM) eşitsizliğine göre, $\prod \alpha_j \le 1$ olur. Eşitlik ancak tüm $j$ için $\alpha_j = 1$ olduğunda geçerlidir ve bu durumda (2) ifadesi şunu söyler: $$ \langle u_i, y \rangle + \|u_i\| \le 1 \quad \text{her } i \text{ için}, $$ yani her $i$ için $\langle u_i, y \rangle \le 0$ olur. $\sum c_i \langle u_i, y \rangle = 0$ olduğundan, bu durum her $i$ için $\langle u_i, y \rangle = 0$ olmasını gerektirir ve böylece $y = 0$ bulunur. $\hfill \square$
§2. Simpleks
Önerme 2. $T$, $\mathbb{R}^n$ içinde iç yarıçapı 1 olan düzgün bir dolu simpleks olsun. $1 \le k \le n-1$ için, $T$'nin içerdiği en büyük $k$-boyutlu Öklid yuvarları, şu yarıçapa sahip olan ve: $$ \sqrt{n(n + 1) \over k(k + 1)} $$ ve $T$'nin $k$-boyutlu yüzlerinde yer alan yuvarlardır.
Önerme 2'nin kanıtı, Caratheodory teoreminin aşağıdaki iyi bilinen bir uygulamasını kullanır.
Lemma 3. $(x_i)^m_1$, $\mathbb{R}^k$ içinde çapı en fazla $d$ olan bir dizi ise, aşağıdaki koşulu sağlayan bir $x \in \mathbb{R}^k$ noktası vardır: $$ \|x_i - x\| \le r = d\sqrt{k \over 2(k + 1)} \quad \text{her } i \text{ için}. $$ Sınır ancak ve ancak $(x_i)^m_1$ dizisi, hepsi ortalamalarından $r$ uzaklıkta olan bazı $k+1$ noktaları içerdiğinde keskindir.
Kanıt. $x$, $\mathbb{R}^k$'nin $\max_i \|x_i - x\|$ ifadesini minimize eden noktası olsun ve bu maksimumun $s$ olduğunu varsayalım. O halde $x$, kendisinden $s$ uzaklıkta olan $x_i$'lerin konveks bükümü içindedir; aksi takdirde $x$'in $\max_i \|x_i - y\| < s$ koşulunu sağlayan küçük bir $y$ pertürbasyonu var olurdu. Caratheodory teoremine göre, $x$, kendisinden $s$ uzaklıkta olan bazı $k+1$ tane $x_i$ noktasının bir konveks kombinasyonudur; diyelim ki: $$ x = \sum^{k+1}_1 \lambda_i x_i. $$
O halde: $$ \begin{aligned} s^2 &= \sum^{k+1}_1 \lambda_i \|x_i - x\|^2 \\ &= {1\over 2} \sum_{i,j} \lambda_i \lambda_j \|x_i - x_j\|^2 \\ &= {1\over 2} \sum_{i \ne j} \lambda_i \lambda_j \|x_i - x_j\|^2 \\ &\le {1\over 2} d^2 \sum_{i \ne j} \lambda_i \lambda_j = {1\over 2} d^2 \left( \left(\sum \lambda_i\right)^2 - \sum \lambda_i^2\right) \\ &\le {d^2 k \over 2(k + 1)} \end{aligned} $$ olur; burada Cauchy-Schwarz eşitsizliği uyarınca $\sum \lambda^2_i \ge {1\over k+1} \left(\sum \lambda_i\right)^2 = {1\over k+1}$ yazılmıştır.
Tahminin keskin olması için, her $1 \le i \le k+1$ için $\lambda_i = {1\over k+1}$ olması gerekir, bu da lemmanın ikinci iddiasını gerektirir. $\hfill \square$
Önerme 2'nin Kanıtı. $T$'nin şu şekilde verildiğini varsayalım: $$ T = \{x \in \mathbb{R}^n : \langle x, u_i \rangle \le 1, 1 \le i \le n+1\} $$ uygun bir birim vektör dizisi $(u_i)^{n+1}_1$ için ve şunlara dikkat ediniz: $$ \sum_i u_i = 0 \eqno(3) $$ $$ \sum_i u_i \otimes u_i = {n+1\over n} I_n. \eqno(4) $$
$\mathcal{E} = \{x \in \mathbb{R}^n : \sum^k_1 \langle x - y, v_j \rangle^2 \le r^2, \langle x - y, v_j \rangle = 0, k+1 \le j \le n\}$, bazı $y \in \mathbb{R}^n$, $r > 0$ ve ortonormal taban $(v_j)^n_1$ için $T$ içinde yer alan $k$-boyutlu bir yuvar olsun. Önerme 1'in kanıtındaki gibi, $$ \langle u_i, y \rangle + r \left(\sum^k_{j=1} \langle u_i, v_j \rangle^2\right)^{1\over 2} \le 1 \quad \text{her } i \text{ için}. $$
$P$, $\mathbb{R}^n$ uzayının $\text{span}(v_j)^k_1$ üzerine olan ortogonal izdüşümü olsun. O halde tüm $i$ için: $$ \langle u_i, y \rangle + r \|P u_i\| \le 1. \eqno(5) $$
$i$ üzerinden toplayarak ve (3)'ü kullanarak, $$ r \sum_i \|P u_i\| \le n+1 $$ elde edilir, bu yüzden şunu göstermek yeterlidir: $$ \sum_i \|P u_i\| \ge \sqrt{k(k + 1)(n + 1) \over n} \eqno(6) $$ rütbesi (rankı) $k$ olan her ortogonal izdüşüm için.
Şimdi, $\{u_i\}^{n+1}_1$ kümesinin çapı: $$ \sqrt{2(n + 1) \over n} $$ olup, dolayısıyla $\{P u_i\}^{n+1}_1$ kümesinin çapı en fazla bu kadardır. $\{P u_i\}^{n+1}_1$ kümesi $k$-boyutlu bir Öklid uzayında yer aldığından, Lemma 3, aşağıdaki koşulu sağlayan bir $x \in P(\mathbb{R}^n)$ noktasının var olduğunu gösterir: $$ \|P u_i - x\| \le \sqrt{k(n + 1) \over (k + 1)n} \quad \text{her } i \text{ için}. \eqno(7) $$
(4) özdeşliğinden, $$ \sum_i P u_i \otimes P u_i = {n+1\over n} P $$ ve izleri eşitleyerek, $$ \sum_i \|P u_i\|^2 = {n+1\over n} k. $$
$\sum_i P u_i = 0$ olduğundan, $$ \begin{aligned} {n+1\over n} k &= \sum_i \langle P u_i, P u_i \rangle \\ &= \sum_i \langle P u_i, P u_i - x \rangle \\ &\le \sum_i \|P u_i\| \cdot \|P u_i - x\| \\ &\le \sqrt{k(n + 1) \over (k + 1)n} \sum_i \|P u_i\|, \end{aligned} $$ bulunur ki bu da istenen (6) eşitsizliğini verir.
Şimdi, maksimum yarıçapa ulaşıldığını varsayalım. O halde (7)'de eşitlik vardır ve yine Lemma 3 uyarınca, $\{P u_i\}$ kümesi, hepsi ortalamalarından $\sqrt{k(n+1) \over (k+1)n}$ uzaklıkta olan $k+1$ nokta içerir. Ancak $u_i$'lerin her $k+1$ tanesi kendi ortalamalarından bu uzaklıktadır. Dolayısıyla $P$, bazı $k+1$ tane $u_i$ noktasının afin bükümü üzerinde bir izometridir: yani $P$'nin görüntü kümesi bu afin büküme paraleldir. Bu durum, $\mathcal{E}$'nin $T$'nin bir $k$-boyutlu yüzüne paralel olan $k$-boyutlu bir alt uzayda yer aldığını gösterir. Bu gerçek tüm $\|P u_i\|$ sayılarını ve dolayısıyla her $i$ için (5)'te eşitlik sağlandığından $\langle u_i, y \rangle$ sayılarını belirler. Bu sayılar da $y$'yi belirler. $\hfill \square$
§3. Genel durum
Önerme 4. $(u_i)^m_1$, $(c_i)^m_1$ ve $K$, Önerme 1'deki gibi olsun. Eğer $\mathcal{E}$, $K$ içinde yer alan $k$-boyutlu bir elipsoit ise, o zaman $\mathcal{E}$'nin ($k$-boyutlu) hacmi, yarıçapı $\sqrt{n(n+1)\over k(k+1)}$ olan bir $k$-boyutlu yuvarın hacminden daha büyük olamaz.
Bu önerme, Önerme 2'deki argüman olduğu gibi kullanılarak kanıtlanamaz; çünkü hipotezleri sağlayan genel bir $(u_i)^m_1$ dizisi ve $k$ rütbeli ortogonal izdüşüm $P$ için $\sum_i c_i \|P u_i\|$ değeri $k$ kadar küçük olabilir. Bu durum argümanı biraz karmaşıklaştırır: Önerme 2, daha basit bir kanıta sahip olduğu için ayrıştırılmıştır. Önerme 4'ün kanıtı için Lemma 3 yerini daha kolay bir gözleme bırakır.
Lemma 5. $(x_i)^m_1$, $\sum x_i = 0$ koşulunu sağlayan bir vektör dizisi ve $(u_i)^m_1$ bazı Öklid uzaylarında yer alan bir birim vektör dizisi ise, o halde: $$ \left(\sum_i \langle x_i, u_i \rangle\right)^2 \le \sum_{i,j} \|x_i\| \cdot \|x_j\| (1 - \langle u_i, u_j \rangle). $$
Kanıt. Homojenlik nedeniyle, $\sum_i \|x_i\| = 1$ olduğu varsayılabilir. $1 \le i \le m$ için $\lambda_i = \|x_i\|$ ve $u = \sum_i \lambda_i u_i$ olsun. O halde, $$ \begin{aligned} \left(\sum_i \langle x_i, u_i \rangle\right)^2 &= \left(\sum \langle x_i, u_i - u \rangle \right)^2 \\ &\le \left(\sum \|x_i\| \cdot \|u_i - u\|\right)^2 \\ &= \left(\sum \lambda_i \|u_i - u\|\right)^2 \\ &\le \sum \lambda_i \|u_i - u\|^2 = 1 - \|u\|^2 \\ &= \sum_{i,j} \lambda_i \lambda_j (1 - \langle u_i, u_j \rangle). \hfill \square \end{aligned} $$
Önerme 4'ün Kanıtı. $\mathcal{E}$ şu elipsoit olsun: $$ \left\{ x \in \mathbb{R}^n : \sum^k_1 \alpha^{-2}_j \langle x - y, v_j \rangle^2 \le 1, \quad \langle x - y, v_j \rangle = 0, \ k+1 \le j \le n \right\} $$ bazı $y \in \mathbb{R}^n$, ortonormal taban $(v_j)^n_1$ ve pozitif sayılar $(\alpha_j)^k_1$ için. Gösterilmesi gereken şudur: $$ \left(\prod^k_1 \alpha_j\right)^{1\over k} \le \sqrt{n(n + 1) \over k(k + 1)}. $$
Şunu göstermek kesinlikle yeterlidir: $$ \sum^k_1 \alpha_j \le \sqrt{k n (n + 1) \over k + 1}. $$
Önerme 1'nin kanıtındaki gibi, $$ \langle u_i, y \rangle + \left( \sum^k_{j=1} \alpha^2_j \langle u_i, v_j \rangle^2 \right)^{1\over 2} \le 1 $$ her $i$ için. $T : \mathbb{R}^n \to \mathbb{R}^n$ operatörünü şu şekilde tanımlayalım: $$ T x = \sum^k_{j=1} \alpha_j \langle x, v_j \rangle v_j. $$
O halde: $$ \langle u_i, y \rangle + \|T u_i\| \le 1 \quad \text{her } i \text{ için}. \eqno(8) $$
Ayrıca: $$ \sum^k_1 \alpha^2_j = \sum_{i,j} \alpha^2_j c_i \langle u_i, v_j \rangle^2 = \sum_i c_i \|T u_i\|^2 \eqno(9) $$ ve: $$ \sum^k_1 \alpha_j = \sum_{i,j} \alpha_j c_i \langle u_i, v_j \rangle^2 = \sum_i c_i \langle T u_i, u_i \rangle. \eqno(10) $$
Kanıt iki kısma ayrılır; bunlardan ilki birbirlerinden uzak olan $u_i$'leri (sanki cisim simetrikmiş gibi) etkili bir şekilde ele alırken, ikinci ve daha karmaşık olan kısım ise birbirlerine yakın olan $u_i$'leri (sanki cisim bir simpleksmiş gibi) ele alır.
Her $i$ için $\|T u_i\| \le 1 - \langle u_i, y \rangle$ olduğundan ((8) uyarınca), $$ \begin{aligned} \sum_i c_i \|T u_i\|^2 &\le \sum_i c_i (1 - \langle u_i, y \rangle)^2 \\ &= \sum_i c_i - \left\langle \sum_i c_i u_i, y \right\rangle + \sum_i c_i \langle u_i, y \rangle^2 \\ &= n + \|y\|^2. \end{aligned} $$
Böylece (9) uyarınca: $$ {1\over k} \left(\sum_1^k \alpha_j\right)^2 \le \sum_1^k \alpha^2_j \le n + \|y\|^2. \eqno(11) $$
Diğer taraftan, her $1 \le i \le m$ için $x_i = c_i T u_i$ olsun ve $\sum x_i = T\left(\sum c_i u_i\right) = 0$ olduğuna dikkat ediniz. O halde Lemma 5 ve (10) ifadeleri şunu gösterir: $$ \begin{aligned} \left(\sum^k_1 \alpha_j\right)^2 &= \left(\sum_i \langle x_i, u_i \rangle\right)^2 \\ &\le \sum_{i,j} \|x_i\| \cdot \|x_j\| (1 - \langle u_i, u_j \rangle) \\ &= \sum_{i,j} c_i c_j (1 - \langle u_i, u_j \rangle) \|T u_i\| \cdot \|T u_j\|. \end{aligned} $$
Tüm $i$ ve $j$ için $c_i c_j (1 - \langle u_i, u_j \rangle) \ge 0$ olduğundan, (8) tekrar uygulanarak şu elde edilebilir: $$ \left(\sum \alpha_j\right)^2 \le \sum_{i,j} c_i c_j (1 - \langle u_i, u_j \rangle) (1 - \langle u_i, y \rangle)(1 - \langle u_j, y \rangle). $$
Bu çarpım genişletilerek ve $\sum_i c_i u_i = 0$ gerçeği kullanılarak şu elde edilir: $$ \left(\sum \alpha_j\right)^2 \le \left(\sum c_i\right)^2 - \sum_{i,j} c_i c_j \langle u_i, u_j \rangle \langle u_i, y \rangle \langle u_j, y \rangle. $$
$\sum_i c_i \langle u_i, x \rangle \langle u_i, y \rangle = \langle x, y \rangle$ özdeşliğinin iki kez uygulanması şunu gösterir: $$ \left(\sum \alpha_j\right)^2 \le n^2 - \|y\|^2. \eqno(12) $$
Son olarak, bu eşitsizlik (11) ile toplanarak şu elde edilebilir: $$ \left(1 + {1\over k}\right) \left(\sum \alpha_j\right)^2 \le n^2 + n, $$ ve dolayısıyla: $$ \left( \sum \alpha_j\right)^2 \le {k n (n + 1) \over k + 1} $$ istenildiği gibidir. $\hfill \square$
Açıklamalar. $k=1$ için Önerme 4, eğer $C$, maksimal hacimli elipsoidi $B^n_2$ olan bir konveks cisim ise $\text{diam}(C) \le \sqrt{2n(n+1)}$ olduğunu belirtir. Bu gerçek daha basit bir şekilde kanıtlanabilir: eğer $x, y \in C$ ise, giriş kısmında açıklandığı gibi $\|x\|, \|y\| \le n$ olur ve (standart gösterimle) $$ \begin{aligned} 0 &\le \sum_i c_i (1 - \langle u_i, x \rangle)(1 - \langle u_i, y \rangle) \\ &= n + \langle x, y \rangle \end{aligned} $$ olup buradan $$ \begin{aligned} \|x - y\|^2 &= \|x\|^2 + \|y\|^2 - 2 \langle x, y \rangle \\ &\le 2n^2 + 2n = 2n(n + 1). \end{aligned} $$
$x \in C$ için $\|x\| \le n$ olduğu gerçeği, yukarıdaki kanıtın (12) eşitsizliğinden "$k=0$" alınarak çıkarılabilirdi.
Referanslar
- [J] F. John, Extremum problems with inequalities as subsidiary conditions, Courant Anniversary Volume, Interscience, New York, 1948, 187-204.
Pensilvanya Eyalet Üniversitesi (önceden) / Texas A&M Üniversitesi