Özet
$\mathbb{R}^n$ üzerindeki olasılık ölçüleri için, $(\tau)$ Özelliği adını verdiğimiz bir konsantrasyon (yoğunlaşma) özelliği tanımlıyoruz; bu özelliğin çarpımlar ve büzülmeler (contractions) altında ilginç bir kararlılığa (stabiliteye) sahip olduğunu gösteriyoruz (Lemma 1, 2, 3). $(\tau)$ özelliğini kullanarak, Talagrand'a ait yakın tarihli bir sapma eşitsizliği için kısa bir kanıt sunuyoruz. Üçüncü bölümde, yaklaşımımızı kullanarak Gauss ölçüleri için bilinen yoğunlaşma sonuçlarını da yeniden elde ediyoruz.
Giriş
Çok kaba bir ifadeyle, bir $\mu$ olasılık ölçüsü için ölçü yoğunlaşması (concentration of measure) fenomeni, $\mu(A) \ge \frac{1}{2}$ koşulunu sağlayan herhangi bir ölçülebilir $A$ alt kümesi verildiğinde, $A$'nın (kesinleştirilecek bir anlamda) genişlemelerinin neredeyse 1 ölçüsüne sahip olması anlamına gelir. Bu durumun önemli bir örneği, Paul Lévy'nin $\mathbb{R}^{n+1}$'in $S_n$ birim küresi için izoperimetrik eşitsizliğinin bir sonucudur. Bu sonuç şöyledir: $\mu_n$, $S_n$ üzerindeki normalize edilmiş ve dönme altında değişmez ölçüyü göstersin; $\mu_n(A) \ge \frac{1}{2}$ koşulunu sağlayan her ölçülebilir $A \subseteq S_n$ alt kümesi için şuna sahibiz: $$\mu_n(\{ x \in S_n ; x \notin A_\varepsilon \}) \le \sqrt{\frac{\pi}{8}} e^{-n \varepsilon^2 / 2}$$ burada $A_\varepsilon$, $S_n$ içinde jeodezik uzaklığı $A$'ya $\varepsilon$'dan küçük olan tüm noktaların alt kümesini belirtir (bkz. [8]).
Bu sonuç, V. Milman [7] tarafından verilen (dışbükey cisimlerin neredeyse küresel kesitleri hakkındaki) Dvoretzky teoreminin kanıtı için hayati önem taşır (ayrıca bkz. Figiel, Lindenstrauss ve Milman [4]). Lévy'nin sonucunu kullanan Borell [1], $\mathbb{R}^n$ üzerindeki Gauss ölçüsü için benzer bir izoperimetrik sonuç kanıtlamayı başarmıştır (ayrıca bkz. Ehrhard [3]). Küre durumunda olduğu gibi, Borell'in izoperimetrik sonucu bir Gauss ölçü yoğunlaşması ilkesini gerektirir. Daha sonra, Pisier ve yazar, Dvoretzky teoreminin kanıtı için gerekli olan Gauss yoğunlaşma ilkesi için çok basit bir kanıt sunmuşlardır (bkz. [9], [8] ve [10]).
Yakın zamanda Talagrand, $\mathbb{R}^n$ üzerinde üstel yoğunluklara sahip ölçüler için Gaussunkinden daha güçlü olan bir yoğunlaşma ilkesi kanıtlamıştır (aşağıdaki Sonuç 1; bu Sonuç, [12]'de, bizim kanıtımızdan elde edilmeyen daha kesin bir izoperimetrik eşitsizliğin sonucu olarak ortaya çıkmaktadır). Burada Talagrand'ın yoğunlaşma sonucu için, $(\tau)$ Özelliği adını verdiğimiz bir özelliği kullanarak bir kanıt sunuyoruz. Bu özellik Bölüm I'de tanımlanmakta ve bu özelliğe dair genel kararlılık (stabilite) sonuçları ifade edilmektedir (Lemma 1, 2, 3); ayrıca Bölüm I'de $(\tau)$ özelliğinin yoğunlaşma ile neden ilişkili olduğunu açıklıyoruz (Lemma 4). Bölüm II'de, $(\tau)$ özelliğini kullanarak Talagrand eşitsizliğinin nasıl elde edileceğini gösteriyoruz. Bölüm III'te, Gauss durumunu benzer şekilde yeniden elde ediyoruz (Sonuç 2). Son bölümde, $(\tau)$ özelliğinin bir varyasyonu olan dışbükey $(\tau)$ özelliğini inceliyoruz; bu varyasyon Talagrand'a ait başka bir sapma eşitsizliği [13] ile ilişkilidir (bkz. Sonuç 5).
I. $(\tau)$ Özelliği
$f$ ve $g$, $\mathbb{R}^n$ üzerinde iki ölçülebilir fonksiyon olsun; $f$ ile $g$'nin inf-konvolüsyonunu (inf-convolution) $f \mathbin{\Box} g$ ile gösteririz, $$(f \mathbin{\Box} g)(x) = \inf \{ f(x-y) + g(y) ; y \in \mathbb{R}^n \}\ .$$
$\mu$, $\mathbb{R}^n$ üzerinde bir olasılık ölçüsü ve $w$, $\mathbb{R}^n$ üzerinde pozitif ölçülebilir bir fonksiyon olsun. Eğer $\mathbb{R}^n$ üzerindeki her sınırlı ölçülebilir $\varphi$ fonksiyonu için $$\left( \int e^{\varphi \mathbin{\Box} w} d\mu \right) \left( \int e^{-\varphi} d\mu \right) \le 1\ .$$ koşulu sağlanıyorsa, $(\mu, w)$ çiftinin $(\tau)$ Özelliğini sağladığını söyleriz.
$+\infty \cdot 0 \le 1$ kabulünü benimsersek, yukarıdaki eşitsizliğin tüm $\overline{\mathbb{R}}$-değerli ölçülebilir $\varphi$ fonksiyonlarına kolayca genişletilebileceğini görürüz.
[13] makalesinin dikkatli okuyucusunun fark edeceği üzere, $(\tau)$ özelliğinin tanımı Talagrand'ın küp için olan izoperimetrik eşitsizliğinden esinlenmiştir.
Lemma 1. Eğer $(\mu_i, w_i)$, $\mathbb{R}^{n_i}$ üzerinde $(\tau)$ özelliğini sağlıyorsa ($i=1,2$), o halde $(\mu_1 \otimes \mu_2, w)$ de $\mathbb{R}^{n_1} \times \mathbb{R}^{n_2}$ üzerinde $(\tau)$ özelliğini sağlar, burada: $$w(x_1, x_2) = w_1(x_1) + w_2(x_2)\ .$$
Kanıt: $\varphi^y(x) = \varphi(x, y)$ fonksiyonunu ele alalım ve $(\tau)$ özelliğini $\psi(y) = \log\left( \int e^{\varphi^y \mathbin{\Box} w_1} d\mu_1 \right)$ fonksiyonuna uygulayalım. $\square$
Lemma 2. Eğer $(\mu_i, w_i)$, $\mathbb{R}^n$ üzerinde $(\tau)$ özelliğini sağlıyorsa ($i=1,2$), o halde $(\mu_1 * \mu_2, w_1 \mathbin{\Box} w_2)$ de $\mathbb{R}^n$ üzerinde $(\tau)$ özelliğini sağlar.
Lemma 3. $(\mu_1, w_1)$, $\mathbb{R}^{n_1}$ üzerinde $(\tau)$ özelliğini sağlasın. $w_2$, $\mathbb{R}^{n_2}$ üzerinde pozitif ölçülebilir bir fonksiyon ve $F$, $\mathbb{R}^{n_1}$'den $\mathbb{R}^{n_2}$'ye, her $x, y$ çifti için $w_2(F x - F y) \le w_1(x - y)$ koşulunu sağlayan bir dönüşüm olsun. $\mu_2$, $\mathbb{R}^{n_2}$ üzerinde $\mu_2 = F(\mu_1)$ şeklinde tanımlanan görüntü (image) olasılık ölçüsü olsun. O halde $(\mu_2, w_2)$ de $(\tau)$ özelliğini sağlar.
Kanıt: $(\varphi \circ F) \mathbin{\Box} w_1 \ge (\varphi \mathbin{\Box} w_2) \circ F$. $\square$
Yukarıdaki $F$ gibi Lipschitz dönüşümleri, Pisier [9] tarafından biraz daha farklı bir bağlamda kullanılmıştır. Onu takip ederek, Bölüm III'te Gauss durumundan $[0, 1]^n$ üzerindeki düzgün olasılık ölçüsüne geçebileceğiz (Sonuç 4).
Belki de bir $(\mu, w)$ çifti için $(\tau)$ özelliğinin neden bir ölçü yoğunlaşması özelliği olduğunu açıklamak gerekir.
Lemma 4. $(\mu, w)$ çiftinin $\mathbb{R}^n$ üzerinde $(\tau)$ özelliğini sağladığını varsayalım. $\mathbb{R}^n$'nin her ölçülebilir $A$ alt kümesi ve her pozitif $t$ gerçel sayısı için şuna sahibiz: $$\mu(\{ x \notin A + \{w < t\} \}) \le (\mu(A))^{-1} e^{-t}\ .$$
Kanıt: $A$, $\mathbb{R}^n$'nin ölçülebilir bir alt kümesi olsun ve $A$ üzerinde $0$'a, dışarıda ise $+\infty$'a eşit olan fonksiyonu $\varphi_A$ ile gösterelim. $x \notin A + \{w < t\} = \{a + y ; a \in A, w(y) < t \}$ olduğunda $(\varphi_A \mathbin{\Box} w)(x) \ge t$ olduğunu görürüz. $(\tau)$ özelliği $\int e^{\varphi_A \mathbin{\Box} w} d\mu \le (\mu(A))^{-1}$ olduğunu gerektirir ve kanıtı Chebyshev eşitsizliği ile tamamlarız. $\square$
II. Talagrand'ın Sapma Eşitsizliği
$\mathbb{R}$ üzerinde bir $W$ fonksiyonunu şu şekilde tanımlayalım: $$W(t) = \begin{cases} \frac{1}{18} t^2 & \text{eğer } |t| \le 2 \\ \frac{2}{9}(|t| - 1) & \text{aksi takdirde} \end{cases}$$ ve $\mu_e$, $\mathbb{R}$ üzerinde yoğunluğu $1_{(0, \infty)}(x) e^{-x}$ olan olasılık ölçüsü olsun.
Önerme. $(\mu_e, W)$ çifti $(\tau)$ özelliğini sağlar.
Lemma 2'den, $\xi$ $\mu_e$ ile onun $(-\infty, 0)$ üzerindeki simetrik görüntüsünün konvolüsyonu ve $U = W \mathbin{\Box} W$ olmak üzere, $(\xi, U)$ çiftinin de $(\tau)$ özelliğini sağladığı görülür. $\xi$'nin $\mathbb{R}$ üzerinde $\frac{1}{2} e^{-|x|}$ yoğunluğuna sahip olduğunu ve şunu sağladığını görmek kolaydır: $$U(t) = 2 W(t/2) = \begin{cases} \frac{1}{36} t^2 & \text{eğer } |t| \le 4 \\ \frac{2}{9}(|t| - 2) & \text{aksi takdirde.} \end{cases}$$
Şimdi Lemma 1'den, $\xi_n$ $\xi$'nin $n$ adet kopyasının çarpımı ve $U_n(x) = \sum_{i=1}^n U(x_i)$ olmak üzere, $(\xi_n, U_n)$ çiftinin her $n$ için $\mathbb{R}^n$ üzerinde $(\tau)$ özelliğini sağladığını elde ederiz. $W$ veya $U_n$ gibi fonksiyonlarla çalışma fikri Talagrand'dan [12] gelmektedir.
Teorem 1. $(\xi_n, U_n)$ çifti her $n$ tam sayısı için $(\tau)$ özelliğini sağlar. Özel olarak, $\mathbb{R}^n$'nin her ölçülebilir $A$ alt kümesi için, $\rho_A = \varphi_A \mathbin{\Box} U_n$ olarak tanımlarsak şuna sahibiz: $$\int e^{\rho_A} d\xi_n \le (\xi_n(A))^{-1}\ .$$
Sonuç 1 (Talagrand). Her $t > 0$ için, $$\xi_n(\{ x ; x \notin A + 6\sqrt{t} B_2 + 9t B_1 \}) \le (\xi_n(A))^{-1} e^{-t}\ ,$$ burada $B_2$ ve $B_1$ sırasıyla alışılagelmiş $\ell_2^n$ ve $\ell_1^n$ yuvarlarıdır.
Kanıt: Lemma 4 uyarınca, yalnızca şunu göstermemiz yeterlidir: $$\{ U_n < t \} \subset 6\sqrt{t} B_2 + 9t B_1\ .$$ $U_n(x) < t$ olduğunu varsayalım ve $y$ ile $z$'yi şu şekilde tanımlayalım: $|x_i| \le 4$ ise $y_i = x_i$, aksi takdirde $y_i = 0$; $|x_i| > 4$ ise $z_i = x_i$, aksi takdirde $z_i = 0$. O halde $x = y + z$ olur ve $\|y\|_2 \le 6\sqrt{t}$, $\|z\|_1 \le 9t$ olduğunu kontrol etmek kolaydır. $\square$
Şimdi yukarıdaki Önermenin kanıtını sunuyoruz. $\varphi$, $(0, +\infty)$ üzerinde sınırlı ölçülebilir bir fonksiyon olsun ve $\psi$, $\varphi \mathbin{\Box} W$ fonksiyonunu göstersin.
$I_0 = \int_0^\infty e^{-\varphi(x) - x} dx$ ve $I_1 = \int_0^\infty e^{\psi(y) - y} dy$ olsun. $t \in (0, 1)$ için, $x(t)$ ve $y(t)$'yi şu bağıntılarla tanımlayalım: $$\int_0^{x(t)} e^{-\varphi(x) - x} dx = t I_0\ , \quad \int_0^{y(t)} e^{\psi(y) - y} dy = t I_1\ .$$
Türev alarak şunları elde ederiz: $$x'(t) = I_0 e^{\varphi(x(t)) + x(t)}\ , \quad y'(t) = I_1 e^{-\psi(y(t)) + y(t)}\ .$$
$\psi(y(t)) \le \varphi(x(t)) + W(x(t) - y(t))$ olduğu göz önüne alındığında, şunu elde ederiz: $$y'(t) \ge I_1 e^{-\varphi(x(t)) - W(x(t) - y(t)) + y(t)}\ .$$
Şimdi $z(t) = \frac{1}{2}(x(t) + y(t)) - W(x(t) - y(t))$ olsun. Şuna sahibiz: $$z'(t) = \left( \frac{1}{2} - W'(x(t) - y(t)) \right) x'(t) + \left( \frac{1}{2} + W'(x(t) - y(t)) \right) y'(t)\ .$$
$\mathbb{R}$ üzerinde $|W'| \le 1/2$ olduğu gerçeğini kullanırsak (basitlik adına $x(t)$ ve $y(t)$ yerine sırasıyla $x$ ve $y$ yazarak ve $a = e^{\varphi(x)}$ olmak üzere $\frac{1}{2}(ua + v/a) \ge \sqrt{uv}$ eşitsizliğini kullanarak) şunu elde ederiz: $$z'(t) \ge (1 - 2W'(x-y)) I_0 e^x \frac{e^{\varphi(x)}}{2} + (1 + 2W'(x-y)) I_1 e^{-W(x-y)+y} \frac{e^{-\varphi(x)}}{2}$$ $$\ge \sqrt{1 - 4W'(x-y)^2} \sqrt{I_0 I_1} e^{\frac{1}{2}(x+y) - \frac{1}{2}W(x-y)}$$ $$= \sqrt{I_0 I_1} e^{z(t)} \sqrt{1 - 4W'(x-y)^2} e^{\frac{1}{2}W(x-y)}\ .$$
Her $s$ için şunu iddia ediyoruz: $$(1 - 4W'(s)^2) e^{W(s)} \ge 1\ .$$
Buradan $e^{-z(t)} z'(t) \ge \sqrt{I_0 I_1}$ olduğu elde edilir ve $0$ ile $1$ arasında entegre edildiğinde şu sonucu verir: $$1 \ge \sqrt{I_0 I_1}\ ,$$ ve bu da Önermemizi kanıtlar. $\square$
İddianın Kanıtı: $W$ çift fonksiyon olduğundan yalnızca $s \ge 0$ durumunu incelememiz yeterlidir. $s \ge 2$ için $W'$ sabittir ve $W$ artandır; bu nedenle $0 \le s \le 2$ durumunu kontrol etmek yeterlidir. Bu da şuna indirgenir: $$e^{-u/18} \le 1 - 4u/81 \quad \text{her } u \in (0, 4) \text{ için}\ ,$$ bu da temel kalkülüs kullanılarak kanıtlanır. $\square$
III. Gauss Durumu
$\gamma$, $\mathbb{R}$ üzerinde yoğunluğu $\frac{1}{\sqrt{2 \pi}} e^{-x^2 / 2}$ olan standart Gauss olasılık ölçüsü ve $\gamma_n$ de $\gamma$'nın $n$ adet kopyasının çarpımı olsun. Bu bölüm boyunca norm, $\mathbb{R}^n$ üzerindeki Öklid normu olacaktır.
Teorem 2. $\left( \gamma_n, \frac{1}{4} \|x\|^2 \right)$ çifti her $n$ tam sayısı için $(\tau)$ özelliğini sağlar.
Kanıt: İlk olarak $(\gamma, x^2 / 4)$ çiftinin $\mathbb{R}$ üzerinde $(\tau)$ özelliğine sahip olduğunu kontrol edelim; kanıt Önermenin kanıtına benzer ancak daha basittir: $x(t)$ ve $y(t)$ benzer şekilde tanımlanır ve $z(t)$ basitçe $\frac{1}{2}(x(t) + y(t))$'ye eşittir. Lemma 1'den, $\left( \gamma_n, \frac{1}{4} \|x\|^2 \right)$ çiftinin her $n$ tam sayısı için $(\tau)$ özelliğine sahip olduğu elde edilir.
Prékopa ve Leindler [11], [6] tarafından verilen (ayrıca bkz. [10]) fonksiyonel Brunn-Minkowski eşitsizliğini kullanarak doğrudan bir kanıt da sunabiliriz: Eğer $f, g, h$, $\mathbb{R}^n$ üzerinde alttan sınırlı ölçülebilir fonksiyonlar olup tüm $x$ ve $u$ değerleri için $\frac{1}{2}(f(x+u) + g(x-u)) \ge h(x)$ koşulunu sağlıyorsa, o halde: $$\left( \int e^{-f(x)} dx \right) \left( \int e^{-g(x)} dx \right) \le \left( \int e^{-h(x)} dx \right)^2\ .$$
Bu eşitsizliği $\psi = \varphi \mathbin{\Box} w$, $w(y) = \frac{1}{4} \|y\|^2$ olmak üzere $f(x) = \varphi(x) + \frac{1}{2} \|x\|^2$, $g(y) = -\psi(y) + \frac{1}{2} \|y\|^2$ ve $h(z) = \frac{1}{2} \|z\|^2$ fonksiyonlarına uygularız. $\square$
Not 1. Teorem 2'nin ikinci kanıtı, yalnızca $f$ $\mu$'nün yoğunluğu olmak üzere $-\log f$ fonksiyonunun düzgün dışbükeylik (uniform convexity) özelliklerini kullanır.
Not 2. Talagrand tarafından belirtildiği gibi, Gauss yoğunlaşma sonucu, $\xi_n$'yi $\gamma_n$'ye dönüştüren uygun bir dönüşüm kullanılarak Sonuç 1'in bir sonucu olarak elde edilir. Daha kesin olarak, Lemma 3 ve Teorem 1, bazı $a > 0$ değerleri için $(\gamma_n, a \|x\|^2)$ çiftinin her $n$ için $(\tau)$ özelliğini sağladığını gösterir. Ancak, Teorem 2'nin kanıtı daha iyi bir $a$ sabiti verir ve daha basittir.
Şimdi Teorem 2'nin, [9] makalesindeki Gauss yoğunlaşma sonucunun ana çıkarımını yeniden elde etmemizi sağladığını göstereceğiz.
Sonuç 2. $\varphi$, $\mathbb{R}^n$ üzerinde 1-Lipschitz bir fonksiyon ve $X, Y$ dağılımları $\gamma_n$'ye eşit olan iki bağımsız $n$-boyutlu Gauss vektörü olsun. Her $\lambda$ gerçel sayısı için şuna sahibiz: $$E e^{\frac{\lambda}{\sqrt{2}} (\varphi(X) - \varphi(Y))} \le e^{\lambda^2 / 2}\ .$$
Not 3. $\varphi$ normu bir olan doğrusal bir fonksiyonel olduğunda eşitlik sağlandığından, bu eşitsizlik optimaldir.
Kanıt: $\varphi$ fonksiyonu $\mathbb{R}^n$ üzerinde 1-Lipschitz, $w(y) = \frac{1}{4} \|y\|^2$ ve $\lambda > 0$ olmak üzere $\psi = \frac{\lambda \varphi}{\sqrt{2}} \mathbin{\Box} w$ olsun. $(\tau)$ özelliğini uygulamak ve $\psi(x) \ge \frac{\lambda \varphi}{\sqrt{2}}(x) - \lambda^2 / 2$ olduğunu fark etmek yeterlidir. $y$, $$\psi(x) = \frac{\lambda \varphi}{\sqrt{2}}(y) + \frac{1}{4} \|x-y\|^2$$ olacak şekilde bir nokta olsun. O halde: $$\psi(x) \ge \frac{\lambda \varphi}{\sqrt{2}}(x) - \frac{\lambda}{\sqrt{2}} \|x-y\| + \frac{1}{4} \|x-y\|^2$$ $$\ge \frac{\lambda \varphi}{\sqrt{2}}(x) + \min \left\{ \frac{1}{4} u^2 - \frac{\lambda}{\sqrt{2}} u ; u \in \mathbb{R} \right\} = \frac{\lambda \varphi}{\sqrt{2}}(x) - \lambda^2 / 2\ . \quad \square$$
Bir sonraki Sonucun ilk kısmı bilinmektedir (bu, Chen [2] tarafından verilen Poincaré tipi bir eşitsizliktir).
Sonuç 3. Eğer $\varphi$, $\mathbb{R}^n$ üzerinde bir Lipschitz fonksiyonu ise şuna sahibiz: $$\frac{1}{2} \int (\varphi(x) - \varphi(y))^2 d\gamma_n(x) d\gamma_n(y) \le \int \|\nabla \varphi\|^2 d\gamma_n\ .$$ Daha genel olarak, bu sonuç, $w$ fonksiyonu 0'ın bir komşuluğunda dışbükey ve $\frac{1}{4} \|x\|^2$ değerinden büyük olmak üzere, $(\mu, w)$'nin $(\tau)$ özelliğini sağladığı $\mathbb{R}^n$ üzerindeki her $\mu$ olasılık ölçüsü için geçerlidir.
Kanıt: $u$, $u \le w$ ve 0'ın bir komşuluğunda $u(x) = \frac{1}{4} \|x\|^2$ olan dışbükey bir fonksiyon olsun; $\varphi$'nin kompakt destekli bir $C^1$-fonksiyonu olduğunu varsayalım. $t > 0$ için $\varphi_t = t \varphi$ ve $\psi_t = \varphi_t \mathbin{\Box} u$ fonksiyonlarını ele alalım. Şunun sağlandığı kontrol edilebilir: $$\lim_{t \to 0} \frac{\psi_t(x) - \varphi_t(x)}{t^2} = -\|\nabla \varphi(x)\|^2\ ,$$ ve aranan sonuç, $t \to 0$ iken $\varphi_t$'ye uygulanan $(\mu, u)$'nun $(\tau)$ özelliğinden kolayca elde edilir. $\square$
Not 4. Eğer $(\mu, w)$ çifti, $\mu$ ölçüsü $$\frac{1}{2} \int (x - y)^2 d\mu(x) d\mu(y) > 1\ ,$$ koşulunu sağlayan $\mathbb{R}$ üzerinde $(\tau)$ özelliğini sağlıyorsa, $\{ x ; w(x) \ge \frac{1}{4} x^2 \}$ kümesinin 0'ın bir komşuluğu olmadığı sonucuna varmak için Sonuç 3'ü $\varphi(x) = x$ fonksiyonuna uygulayabiliriz.
Ayrıca, $(\mu, w)$ çifti, $\mu$ simetrik ve $\int x^2 d\mu(x) = 1$ olmak üzere $\mathbb{R}$ üzerinde $(\tau)$ özelliğini sağlıyorsa, $\left( \gamma, \frac{1}{2} w''(0) t^2 \right)$ çiftinin de $(\tau)$ özelliğini sağladığı gösterilebilir. Bu durum, $w$ fonksiyonu için 0 noktasında alt-kuadratik (subquadratic) bir davranışın gerekliliğini göstermektedir.
Sonuç 4. $\lambda_n$, $[0, 1]^n$ üzerindeki düzgün olasılık ölçüsünü göstersin. Her $n$ tam sayısı için $(\lambda_n, a \|x\|^2)$ çiftinin $(\tau)$ özelliğini sağlamasını sağlayan bir $a > 0$ mevcuttur ($a = \pi / 2$ alınabilir).
Kanıt: Lemma 3 kullanılarak bu sonuç, tam olarak Pisier'de [9] olduğu gibi Teorem 2'den elde edilir. $\square$
IV. Dışbükey $(\tau)$ Özelliği
$w$, bir $X$ topolojik vektör uzayı üzerinde dışbükey bir fonksiyon ve $\mu$, $X$ üzerinde bir olasılık ölçüsü olsun. Eğer $X$ üzerindeki her dışbükey ölçülebilir $\varphi$ fonksiyonu için $$\left( \int e^{\varphi \mathbin{\Box} w} d\mu \right) \left( \int e^{-\varphi} d\mu \right) \le 1$$ koşulu sağlanıyorsa, $(\mu, w)$ çiftinin dışbükey $(\tau)$ özelliğini sağladığını söyleriz.
Lemma 5. Eğer $(\mu_i, w_i)$, $X_i$ üzerinde dışbükey $(\tau)$ özelliğini sağlıyorsa ($i=1,2$), o halde $(\mu_1 \otimes \mu_2, w)$ de $X_1 \times X_2$ üzerinde dışbükey $(\tau)$ özelliğini sağlar, burada: $$w(x_1, x_2) = w_1(x_1) + w_2(x_2)\ .$$
Kanıt: Lemma 1'in kanıtında olduğu gibi, $X_1 \times X_2$ üzerinde dışbükey bir $\varphi$ fonksiyonu için $\varphi^y(x) = \varphi(x, y)$ fonksiyonunu ele alalım; $\psi$ fonksiyonunun dışbükey olduğunu gözlemlersek, dışbükey $(\tau)$ özelliğini $\psi(y) = \log\left( \int e^{\varphi^y \mathbin{\Box} w_1} d\mu_1 \right)$ fonksiyonuna uygulayabiliriz. $\square$
$\mu$'nün çapı $\le 1$ olan bir küme tarafından desteklendiğini kısaca ifade etmek için $\mu$'nün çapının $\le 1$ olduğunu söyleyeceğiz. Aşağıdaki Teorem, bizim dilimizde Talagrand'a ait bir sonucun [13] ve onun Johnson ve Schechtman [5] tarafından yapılan genellemesinin eşdeğeridir.
Teorem 3. $(X_i)$ normlu uzayların bir ailesi olsun; her $i$ için, $\mu_i$, $X_i$ üzerinde çapı $\le 1$ olan bir olasılık ölçüsü ve $x \in X_i$ için $w_i(x) = \frac{1}{4} \|x\|^2$ olsun. Eğer $\mu$, $(\mu_i)$ ailesinin çarpımı ise, o halde $w(x) = \sum_i w_i(x_i)$ olmak üzere $(\mu, w)$ çifti dışbükey $(\tau)$ özelliğini sağlar.
Kanıt: Lemma 5 uyarınca, sonucu yalnızca bir normlu $X$ uzayı üzerinde çapı $\le 1$ olan tek bir $\mu$ olasılık ölçüsü için kanıtlamamız yeterlidir. $A$, $\mu$'yü destekleyen ve çapı $\le 1$ olan bir küme olsun, ve $\varphi$, $X$ üzerinde dışbükey bir fonksiyon olsun; genelliği kaybetmeden $\inf \varphi(A) = 0$ varsayalım. $w(x) = \frac{1}{4} \|x\|^2$ ve $\psi = \varphi \mathbin{\Box} w$ şeklinde tanımlayalım.
$x \in A$, $\varepsilon > 0$ ve $a \in A$ için $\varphi(a) \le \varepsilon$ olsun. $y = (1-\theta)x + \theta a$ ve $0 \le \theta \le 1$ olmak üzere şuna sahibiz: $$\psi(x) \le \varphi(y) + \frac{1}{4} \|x-y\|^2 \le (1-\theta)\varphi(x) + \theta \varepsilon + \frac{1}{4} \theta^2\ .$$
Optimal bir $\theta$ seçerek, yukarıdaki ifadeden $\psi(x) \le k(\varphi(x))$ olduğunu çıkarırız; burada $k(u)$, $0 \le u \le \frac{1}{2}$ ise $u - u^2$'ye ve $u \ge \frac{1}{2}$ ise $\frac{1}{4}$'e eşittir. Şimdi $e^{k(u)} \le 2 - e^{-u}$ olduğunu iddia ediyoruz. Buradan şu elde edilir: $$\int e^\psi d\mu \le 2 - \int e^{-\varphi} d\mu \le \left( \int e^{-\varphi} d\mu \right)^{-1}\ ,$$ ve bu da kanıtı tamamlar (yukarıdaki hesaplama [5]'ten esinlenmiştir). $\square$
İddianın Kanıtı: $0 \le u \le \frac{1}{2}$ için şunu yazabiliriz: $$\frac{1}{2} (e^{u-u^2} + e^{-u}) = e^{-u^2/2} \cosh(u - u^2/2) \le e^{-u^2/2} \cosh(u) \le 1\ . \quad \square$$
Not 5. $[0, 1]$ üzerinde $\{0\}$ ve $\{1\}$ kümelerine $\frac{1}{2}$ ölçüsü veren $\beta$ olasılığı durumunda, $w$ fonksiyonunu $\frac{1}{4} x^2$ yerine $\frac{1}{2} x^2$ olarak iyileştirmek kolaydır.
Sonuç 5 ([13], [5]). $A$, $[0, 1]^n$ içindeki ölçülebilir bir alt küme ve $B$ onun dışbükey gövdesi (convex hull) olsun. $[0, 1]^n$ üzerindeki her çarpım olasılık ölçüsü $\mu$ için şuna sahibiz: $$\int e^{\frac{1}{4} d_B^2} d\mu \le (\mu(A))^{-1}\ ,$$ burada $d_B$, $B$ kümesine olan Öklid uzaklığını belirtir.
Kaynakça
- [1] C. Borell, The Brunn-Minkowski inequality in Gauss space, Inventiones Math. 30 (1975), 205–216.
- [2] L. Chen, An inequality for the multivariate normal distribution, J. Multivariate Anal. 12 (1982) 306–315.
- [3] A. Ehrhard, Symétrisation dans l’espace de Gauss, Math. Scand. 53 (1983) 281–301.
- [4] T. Figiel, J. Lindenstrauss, V. Milman, The dimension of almost spherical sections of convex bodies, Acta Math. 139 (1977) 53–94.
- [5] W. Johnson, G. Schechtman, Remarks on Talagrand’s deviation inequality for Rademacher functions, Texas Functional Analysis Seminar 1988–89.
- [6] L. Leindler, On a certain converse of Hölder’s inequality, Acta Sci. Math. 33 (1972) 217–223.
- [7] V. Milman, A new proof of the theorem of A. Dvoretzky on sections of convex bodies, Func. Anal. Appl. 5 (1971) 28–37.
- [8] V. Milman, G. Schechtman, Asymptotic theory of finite dimensional normed spaces, Springer Lecture Notes in Math. 1200 (1986).
- [9] G. Pisier, Probabilistic methods in the geometry of Banach spaces, CIME Varenna 1985, Springer Lecture Notes in Math. 1206, 167–241.
- [10] G. Pisier, Volume of convex bodies and Banach spaces geometry, Cambridge University Press.
- [11] A. Prekopa, On logarithmically concave measures and functions, Acta Sci. Math. 34 (1973) 335–343.
- [12] M. Talagrand, yayınlanacak.
- [13] M. Talagrand, An isoperimetric theorem on the cube and the Khintchine-Kahane inequalities, Proc. Amer. Math. Soc. 104 (1988) 905–909.
Université Paris 7, U.F.R. de Mathématiques