Pafnuty Chebyshev: Rus Matematik Okulunun Kurucusu ve Olasılığın Ünlü Eşitsizliği

19. yüzyıl boyunca matematik dünyasının ağırlık merkezi Fransa ve Almanya'ydı. Paris ve Göttingen, dönemin matematik üretiminin başkentleri. Ama yüzyılın ortasında, St. Petersburg'da, bu Batılı geleneklere paralel ama bağımsız bir matematik geleneği doğmaya başladı. Bu geleneğin kurucusu, Pafnuty Lvoviç Chebyshev (1821–1894) idi.

Bugün Chebyshev'in adı, modern olasılığın en sık kullanılan araçlarından biri olan Chebyshev eşitsizliği ile yaşar. Ama matematik tarihinde rolü çok daha geniştir: asal sayıların dağılımı üzerine derin sonuçlar; ortogonal polinom teorisinin temelleri; mekanik mühendislik için Chebyshev bağlantısı; ve belki de en önemlisi, Markov, Lyapunov gibi öğrenciler ve onlardan Kolmogorov, Smirnov, Lebesgue, Bernstein çizgisine uzanan Rus matematik okulunun başlatıcısı olması.

Bir asilzâdenin çocukluğu

Pafnuty Chebyshev, 14 Mayıs 1821'de Borovsk yakınlarında, asilzâde bir Rus ailesinin oğlu olarak doğdu. Babası, Napoléon savaşlarında çarpışmış bir generaldi. Anne tarafından da soylu bir aileden geliyordu.

Çocukluğunda bir bacağında deformasyon vardı; bu, onu yaşadığı çağın aristokrat oyunlarından (av, askerlik vb.) uzaklaştırdı. Bunun yerine matematik ve mekanik aletlerle ilgilenmeye başladı. Yedi yaşında ilk Latince derslerini aldı; matematiği annesinden ve bir kuzeninden öğrendi. Sonradan onun yaşamı boyunca süren mekanik aletlere olan tutkusunun bu çocukluk merakından geldiği söylenir.

1832'de aile Moskova'ya taşındı. Pafnuty, Moskova Devlet Üniversitesi'nde matematik okudu (1837–1841). Mezuniyet tezini "Olasılık Teorisi Elemanları" üzerine yazdı; sonradan üniversite ona doktora çalışması için altın madalya verdi.

St. Petersburg yılları

1847'de St. Petersburg Üniversitesi'ne doçent olarak atandı. Sonraki 35 yıl boyunca (1882'ye kadar) burada ders verdi. Bu süre, modern Rus matematiğinin doğum dönemi oldu.

Chebyshev sadece bir profesör değil aynı zamanda bir matematik okulu kurdu. Öğrencileri arasında Andrei Markov (Markov zincirlerinin atası), Aleksandr Lyapunov (dinamik sistemler kararlılık teorisi), Vladimir Steklov (modern Rus matematiğinin örgütleyicisi) gibi isimler vardır. Bu zincir, sonraki kuşakta Kolmogorov'a kadar uzandı.

Chebyshev'in pedagojik mottosu şuydu: "Matematik bir alettir, müşterilerine hizmet etmelidir." Yani matematik için matematik değil, doğanın ve mühendisliğin sorularına cevap üreten matematik. Bu pragmatik tutum, sonraki Rus matematik okulunun ayırt edici bir özelliği oldu.

Asal sayılar üzerine: Bertrand önermesinin ispatı

Chebyshev'in matematik tarihindeki ilk büyük başarısı, asal sayıların dağılımı üzerine 1850'de yayımladığı çalışmasıdır.

İddia (Bertrand önermesi): "Her $n > 1$ doğal sayı için, $n$ ile $2n$ arasında en az bir asal sayı vardır."

Bu iddia 1845'te Joseph Bertrand tarafından numerik olarak $n \le 3 \cdot 10^6$ için doğrulandı; ama matematiksel kanıtı yoktu. Chebyshev, 1850'de tam kanıtı verdi.

Bunun ötesinde, Chebyshev asal sayı teoremine önemli bir adım attı. Karl Gauss ve Adrien-Marie Legendre, daha önce $n$'e kadar asal sayı sayısı $\pi(n)$ için yaklaşık $n / \ln(n)$ formülü önermişlerdi. Chebyshev, bu iddianın doğru sınırlar dahilinde olduğunu kanıtladı:

$0{,}92 \cdot \frac{n}{\ln n} \le \pi(n) \le 1{,}11 \cdot \frac{n}{\ln n}$

Yani $n$ büyüdükçe oran $1$'e gider. Tam asal sayı teoreminin kanıtı 1896'da Hadamard ve La Vallée Poussin tarafından bağımsız olarak verildi; ama Chebyshev'in eseri, bu son kanıt için zemini hazırladı.

Chebyshev eşitsizliği

Chebyshev'in modern dünyada en çok kullanılan formülü, Chebyshev eşitsizliğidir:

Bir rastgele değişken $X$ için, ortalaması $\mu$ ve varyansı $\sigma^2$ ise:

$P(|X - \mu| \ge k\sigma) \le \frac{1}{k^2}$

Yani, bir rastgele değişkenin ortalamasından $k$ standart sapma uzaklıkta olma olasılığı, $1/k^2$'den büyük olamaz. Hangi dağılım olursa olsun bu doğrudur — normal dağılım, binom dağılım, sinüs benzeri kapalı dağılım, herhangi bir tuhaf yapı.

Örnekler:

• $k = 2$: ortalamadan 2 standart sapma uzaklıkta olma olasılığı en fazla $1/4 = \%25$.
• $k = 3$: ortalamadan 3 standart sapma uzaklıkta olma olasılığı en fazla $1/9 \approx \%11$.
• $k = 10$: ortalamadan 10 standart sapma uzaklıkta olma olasılığı en fazla $1/100 = \%1$.

Bu eşitsizlik çok geneldir. Pratikte verdiği sınır gevşektir (gerçek olasılık genellikle çok daha küçük); ama "dağılım hakkında hiçbir şey bilmediğimde bile bu sınırı verebilirim" demek, istatistik açısından son derece güçlü bir araçtır.

Chebyshev eşitsizliği, Büyük Sayılar Yasasının klasik ispatının kalbidir. Modern istatistik, makine öğrenmesi ve risk yönetimi tahminlerinde tekrar tekrar karşımıza çıkar.

Ortogonal polinomlar

Chebyshev, Chebyshev polinomları denilen bir polinom ailesini de ortaya koydu:

$T_n(\cos\theta) = \cos(n\theta)$

İlk birkaçı: $T_0(x) = 1$, $T_1(x) = x$, $T_2(x) = 2x^2 - 1$, $T_3(x) = 4x^3 - 3x$, ...

Bu polinomların ortogonal olması (belirli bir ağırlık fonksiyonu altında integralleri sıfır olur), sayısal analizdeki fonksiyon yaklaşımı için son derece kullanışlıdır. Bir fonksiyonu polinom serileri olarak yazmak istediğinizde, Chebyshev polinomları Runge fenomeni gibi tuzaklara karşı en güvenli seçeneklerden biridir.

Modern bilgisayar grafiklerinde, sinyal işlemede, sayısal analiz kütüphanelerinde (örneğin MATLAB, Python'un NumPy/SciPy'si) Chebyshev polinomları sürekli karşımıza çıkar.

Chebyshev bağlantısı: mekanik mühendislik

Chebyshev'in matematik dışındaki tutkularından biri mekanik mühendislikti. Özellikle, dairesel hareketi düz çizgi hareketine çevirmenin matematik mekaniği üzerine çalıştı.

Onun 1850'lerde tasarladığı Chebyshev bağlantısı, bir tür mekanik bağlantı sistemidir; bir cismin hareketini yaklaşık olarak düz bir çizgi boyunca hareket ettirir. Tam doğrusal değildi (matematik olarak imkânsız, James Watt da deneyimiştir) ama yeterince yakındı. Bu, dönemin buharlı makineler tasarımında ve sonraki yüzyıllarda mekanik saatlerin, mühendislik aletlerinin tasarımında kullanılan teknikti.

Chebyshev, çoğu zaman makine atölyelerine gider ve kendi tasarımlarını test ederdi. Bilim için matematik teorisinin somut bir ürüne dönüşmesini her zaman önemserdi.

Diğer katkılar

• Hatalar teorisi: Ölçüm hatalarının istatistiksel analizi.
• Çok-değişkenli fonksiyonlar: İnterpolasyon teorisine katkılar.
• Mekanik kuvvetlerin minimum problemleri: Varyasyonlar hesabı.
• Sayma teorisi: Pratik kombinatorik problemleri.

Modern dilde söylersek, Chebyshev bir "genelci"ydi — herhangi bir saf matematik dalına özelleşmemişti. Her zaman matematik teorisi ile somut problemler arasındaki köprüleri ararı.

Mirası ve Rus matematik okulu

Chebyshev, 8 Aralık 1894'te St. Petersburg'da öldü. 73 yaşındaydı; son nefesine kadar matematik üzerine çalışıyordu.

Onun ölümünden sonra Rus matematik okulu kuvvetlenerek devam etti:

• Markov (1856–1922) — olasılık ve Markov zincirleri
• Lyapunov (1857–1918) — dinamik sistemler kararlılık teorisi
• Steklov (1864–1926) — modern Rus matematik kurumlarının örgütleyicisi
• 20. yüzyılda Luzin, Aleksandrov, Kolmogorov, Gelfand, Arnold, Manin ve daha pek çoğu.

Bu okul, 20. yüzyıl matematiğine — özellikle olasılık, dinamik sistemler, fonksiyonel analiz, sayılar teorisi alanlarında — derin damgalar vurdu.

Bugün:

• Chebyshev Matematiksel Cemiyeti (Saint Petersburg) hâlâ aktif.
• Chebyshev Ödülü, Rusya'daki en prestijli matematik ödüllerinden biri.
• Ay'da bir krater ve bir asteroid onun adını taşır.

Bir hayat dersi

Chebyshev'in hayatı, bir tek profesörün matematik tarihinin yönünü değiştirebileceğini gösterir. Onun St. Petersburg'a 1847'de gelmesi olmasaydı, modern Rus matematik geleneği muhtemelen oluşmazdı; ya da çok geç oluşurdu. Onun pedagojik tutkusu ve "matematik somut sorulara hizmet eder" felsefesi, sonraki 100 yıl boyunca Rus matematik araştırmalarının yönünü belirledi.

Bir hayat dersi olarak: bilim sadece bireysel dehâlardan değil, aynı zamanda iyi öğretmenlerden ve iyi okullardan oluşur. Bir kuşağı yetiştirmek, bir teorem kanıtlamaktan kalıcı bir sonuç verir.

Bir sonraki sefer istatistikte "ortalamadan 3 sigma uzaklıkta olma olasılığı" üzerine düşündüğünüzde, Chebyshev'in 1860'larda St. Petersburg'da yazdığı eşitsizliğin sizinle ne kadar yakın olduğunu hatırlayabilirsiniz. Onun bir bacak deformasyonu nedeniyle "av kapısı dışında" kalan çocukluğu, modern matematiğin sessiz devlerinden birinin doğmasına yol açtı.