Cauchy-Schwarz Eşitsizliği: Matematiğin En Yararlı Tek Satırı

Bir cümlede

Cauchy-Schwarz eşitsizliği şudur:

$\left( \sum_{i=1}^n a_i b_i \right)^2 \;\leq\; \left( \sum_{i=1}^n a_i^2 \right) \left( \sum_{i=1}^n b_i^2 \right)$

Veya vektör notasyonuyla daha temiz:

$|\vec a \cdot \vec b| \;\leq\; \|\vec a\| \cdot \|\vec b\|$

İki vektörün iç çarpımının mutlak değeri, boylarının çarpımından küçük veya eşittir. Eşitlik ancak iki vektör paralelse sağlanır.

Bu kadar. Tek bir satır — ama matematik tarihinde belki de en sık kullanılan eşitsizlik.

Geometrik sezgi

İki vektör arasındaki açı $\theta$ olsun. Tanım gereği:

$\vec a \cdot \vec b = \|\vec a\| \cdot \|\vec b\| \cdot \cos\theta$

$|\cos\theta| \leq 1$ olduğundan:

$|\vec a \cdot \vec b| = \|\vec a\| \cdot \|\vec b\| \cdot |\cos\theta| \leq \|\vec a\| \cdot \|\vec b\|$

Yani Cauchy-Schwarz aslında "$|\cos\theta| \leq 1$" ifadesinin sade matematiksel formudur. Bu yüzden geometrik olarak hep doğrudur.

Bir satırlık kanıt

En zarif kanıt "diskriminant" yöntemiyle:

$\lambda$ herhangi bir reel sayı olsun. Şu nicelik her zaman ≥ 0:

$f(\lambda) = \sum_i (a_i - \lambda b_i)^2 = \sum a_i^2 - 2\lambda \sum a_i b_i + \lambda^2 \sum b_i^2 \geq 0$

Bu $\lambda$ cinsinden bir parabol. Her $\lambda$ için ≥ 0 olabilmesi için diskriminant ≤ 0 olmalıdır:

$\left( 2 \sum a_i b_i \right)^2 - 4 \sum a_i^2 \sum b_i^2 \leq 0$

Düzenlersek:

$\left( \sum a_i b_i \right)^2 \leq \sum a_i^2 \sum b_i^2$

Kanıt bitti. Beş satır.

Adı niye iki kişiye?

Augustin-Louis Cauchy ayrık halini 1821'de "Cours d'analyse" eserinde yayımladı. Hermann Schwarz 1888'de aynı eşitsizliği integral formunda gösterdi:

$\left( \int f g \,dx \right)^2 \leq \int f^2 \,dx \cdot \int g^2 \,dx$

Daha sonra Viktor Bunyakovsky (1859) integralin sürekli formunu Schwarz'dan önce vermişti — bu yüzden Doğu Avrupa'da bazen Bunyakovsky-Cauchy-Schwarz olarak anılır.

Nerede karşımıza çıkar?

1) Olimpiyat çözümleri

Tipik bir lise olimpiyat sorusu: "$x + y + z = 1$ ise $x^2 + y^2 + z^2$ en az kaçtır?" Cauchy-Schwarz tek satırda halleder:

$1 = (1 \cdot x + 1 \cdot y + 1 \cdot z)^2 \leq (1+1+1)(x^2+y^2+z^2) = 3(x^2+y^2+z^2)$

Yani $x^2+y^2+z^2 \geq 1/3$. Eşitlik $x=y=z=1/3$'te.

2) İstatistik: korelasyon katsayısı

Pearson korelasyon katsayısı:

$r = \frac{\text{Cov}(X,Y)}{\sigma_X \sigma_Y}$

Cauchy-Schwarz size $|r| \leq 1$ olduğunu garanti eder. İki değişken arasındaki istatistiksel ilişkinin "mükemmel" sayılma sınırı bu eşitsizlikten gelir.

3) Kuantum mekaniği: Heisenberg belirsizlik ilkesi

Kuantum mekaniğinin temel sonuçlarından biri olan Heisenberg belirsizlik ilkesi, $\Delta x \cdot \Delta p \geq \hbar/2$ — Cauchy-Schwarz'ın (Hilbert uzaylarındaki versiyonunun) doğrudan bir sonucudur. Bir parçacığın konum ve momentum belirsizliği arasındaki bağ, üç noktalı bir vektör hesabıyla çıkar.

4) Makine öğrenmesi: kosinüs benzerliği

İki belge veya iki görüntü arasındaki benzerliği ölçmek için kullanılan kosinüs benzerliği:

$\text{sim}(\vec a, \vec b) = \frac{\vec a \cdot \vec b}{\|\vec a\| \cdot \|\vec b\|}$

Cauchy-Schwarz size bunun her zaman $[-1, 1]$ aralığında olduğunu söyler. Modern arama motorları, tavsiye sistemleri, dil modellerinin tümü bu metriği kullanır.

5) Analiz: üçgen eşitsizliği kanıtı

İç çarpım uzaylarında üçgen eşitsizliği'nin (|\vec a + \vec b| \leq |\vec a| + |\vec b|) standart kanıtı tamamen Cauchy-Schwarz'a dayanır.

Cauchy-Schwarz'ın evrenselliği

Bu eşitsizliğin gücü çok genel olmasından gelir. İç çarpım tanımlanan her yerde geçerlidir:

• Sonlu boyutlu vektörler ($\mathbb{R}^n$, $\mathbb{C}^n$)
• Sonsuz boyutlu fonksiyon uzayları ($L^2$, Hilbert uzayları)
• Olasılık uzayları (rastgele değişkenlerin "iç çarpımı" beklenen değer)
• Operatörler ve matrisler

Bir matematikçinin "Cauchy-Schwarz" demesi neredeyse "buradan zarif bir sınır gelecek" demektir — alanı ne olursa olsun.

Tek satır, sonsuz uygulama

Bir öğretmenin söylediği gibi: "Cauchy-Schwarz öyle bir eşitsizliktir ki problem çözerken aklınıza ilk gelecek araç odur. Çünkü çoğu zaman da işe yarar." Lise olimpiyatından kuantum dünyasına, basit bir kosinüs sınırı evrenin dilini kuruyor.