Émile Borel: Yazı Yazan Maymundan Modern Ölçü Teorisine

Genç bir Aveyronlu

Félix Édouard Justin Émile Borel 1871'de Fransa'nın Saint-Affrique kasabasında, bir Protestan papaz ailesinin oğlu olarak doğdu. Çocukken matematik yeteneği erken belirginleşti. 18 yaşında Fransa'nın en seçici okuluna — École Normale Supérieure'a — birinci sırada girdi. 22 yaşında doktorasını verdi.

İki yıl sonra Lille Üniversitesi'nde profesör oldu, sonra Paris'e döndü. 1909'da Sorbonne'da kürsü kurdu. 1928'de Henri Poincaré Enstitüsü'nün ilk müdürü oldu — bu enstitü hâlâ Fransız matematik dünyasının kalbidir.

Borel kümeleri (1898)

Doktora tezi ve sonraki çalışmalarıyla Borel ölçü teorisinin temellerini attı. Sorduğu soru: "Reel sayıların hangi alt kümeleri ölçülebilir'dir?" Yani hangi kümelere bir "uzunluk" (veya genel olarak "büyüklük") atayabiliriz?

Borel şu yapıyı önerdi: Tüm açık aralıklardan başla. Onların sayılabilir birleşimi, sayılabilir kesişimi ve tümleyenlerini alıp tekrar tekrar uygula. Bu işlem sonucunda ortaya çıkan kümelere Borel kümeleri denir.

Bu küme ailesi inanılmaz zengindir: tüm açık ve kapalı kümeleri, sayılabilir kümeleri, Cantor kümesini ve aralarındaki sonsuz çeşitli kompozisyonları içerir. Lebesgue, daha sonra bu temel üzerine Lebesgue ölçüsünü inşa edecekti.

Borel kümeleri bugün:

• Modern olasılık (Kolmogorov'un aksiyomları)
• Topoloji ve descriptive küme teorisi
• Stochastic processes (Brownian motion vs.)
• Fonksiyonel analiz ve harmonik analiz

— tüm bu alanların temel kavramlarından biridir.

Sonsuz maymun teoremi (1909)

Borel'in popüler bilime en büyük armağanı: "sonsuz maymun teoremi". 1913'te yayımlanan "Mécanique Statistique et Irréversibilité" makalesinde şu düşünce deneyini sundu:

"Bir milyon maymun, günde 10 saat, ortalama hızda yazarsa, çok sayıda yıl sonunda yazdıkları muhtemelen dünyanın bütün kütüphanelerindeki kitapların tam metnini içerebilir."

Bu, istatistiksel mekanikteki bir teoremin popüler illüstrasyonuydu: küçük ihtimalli olaylar, yeterince çok deneme ile kaçınılmaz olur. Borel sıfır olasılıklı olayların pratikte hiç olmadığı sezgisini sorgulamak istemişti.

Sonsuz maymun teoremi bugün: bilgi teorisi (Shannon), rastgele yazılım üretimi, AI metin üretimi, kuantum mekaniği yorumları — pek çok modern tartışmanın retorik aracıdır.

İlginç bir not: Modern hesaplamalar, evrenin yaşı boyunca tüm atomların 13.8 milyar yıl boyunca yazsalar bile, Shakespeare'in tek bir sonesinin rastgele yazılma olasılığı pratik olarak sıfırdır. Borel'in teoremi matematiksel olarak doğru ama fiziksel olarak imkânsız: zaman ölçeği sınırlıdır.

Oyun teorisi ve "minimax" öncüsü

1920'lerde Borel oyun teorisi'ne öncü katkılar yaptı. Minimax teoreminin ilk biçimini önerdi — bir oyuncunun en kötü durumda en iyi sonucu garantilemek için ne yapacağını analiz etmek. John von Neumann 1928'de bu teoremi genelleştirip kanıtladı (modern oyun teorisinin başlangıcı). Borel'in öncülüğü modern oyun teorisinin "unutulan kurucusu" olarak değerlendirilir.

Politik kariyer: bilim adamından bakana

Borel sadece matematikçi değildi; aktif bir politikacıydı. Cumhuriyetçi-Sosyalist partiden:

• 1924-1936: Fransız Parlamentosu'nda milletvekili.
• 1925: Bahriye Bakanı (Donanma Bakanı) görevi yaptı.

Bilim insanı kimliğini ve siyasi misyonunu birleştirdi: bilimde demokratik eğitimin önemini vurguladı, Fransa'nın araştırma altyapısını geliştirdi, CNRS (Centre National de la Recherche Scientifique) kurumunun kurulmasına katkıda bulundu (1939).

Direniş ve savaş yılları

İkinci Dünya Savaşı sırasında 70 yaşındaydı. Buna rağmen Fransız Direnişi'ne katıldı. Vichy hükümeti tarafından tutuklandı (1940), bir süre Fresnes hapishanesinde kaldı. Yaşı sayesinde serbest bırakıldı ama yakın takipte oldu.

Savaş sonrası bilim politikası çalışmalarına döndü; 1956'da Paris'te öldü.

Olasılık çatısının inşası

Modern olasılık teorisi 1933'te Andrey Kolmogorov tarafından aksiyomatik biçimde kuruldu — ama bu çalışmanın altyapısının çoğu Borel ve Lebesgue tarafından hazırlanmıştı. Borel'in temel kavramları:

• Borel kümeleri (olasılık ölçülebilir olayların alanı)
• Borel-Cantelli lemmasi: Sayılabilir olayların olasılık toplamı sonluysa, sonsuz çoğu zaman gerçekleşme olasılığı sıfırdır.
• Strong law of large numbers (büyük sayılar yasası) için öncül çalışmalar

Modern olasılık öğretiminin her bölümünde adı geçer.

Lebesgue'le rekabet

Borel ve Lebesgue çağdaştı; ikisi de Fransız, ikisi de modern analiz öncüsü. Lebesgue, Borel'in ölçü kavramını genişleterek kendi adıyla anılan ölçüyü inşa etti. İki matematikçi yıllarca dostane ama gergin bir rekabet içinde çalıştı; bazen "Kim önce gördü?" tartışmaları çıktı. Ama matematik tarihinde her ikisi de farklı katkılarla anılır.

Halka açık matematik

Borel halka matematiği açıklamayı önemserdi. Yayınladığı kitaplar:

• "Le Hasard" (Tesadüf, 1914) — popüler olasılık kitabı
• "L'Espace et le Temps" (Uzay ve Zaman, 1922) — Einstein'ın göreliliği için popüler giriş
• "Les Paradoxes de l'Infini" (Sonsuzun Paradoksları, 1946)

Pek çoğu hâlâ basılmaktadır; matematik tarihinin "halka açık entelektüel" geleneğinin Fransız temsilcisi.

Bilim, devlet, halk

Borel'in mirası üç katlıdır:

1. Matematik: Borel kümeleri, Borel-Cantelli, ölçü teorisi öncülüğü.

2. Düşünce kültürü: Sonsuz maymun teoremi, popüler kitaplar.

3. Politik: Bilim politikası, CNRS, bakanlık görevi.

4. yüzyılda bu üç rolü bir arada doldurabilen az sayıda matematikçiden biri. Bilim insanının sadece üniversite duvarları arasında kalmayıp toplumun her köşesine değebileceğinin canlı kanıtı.

Bir maymunun klavyede gezinen parmakları, bir matematikçinin sınırların ötesini sezme yeteneğinin sembolü oldu. Borel hem matematik tarihinin hem de bilimin halkla buluşmasının çağdaş yüzlerinden biri.