Henri Lebesgue: Modern İntegralin Mimari

Kırsal Fransa'dan Sorbonne'a

Henri Léon Lebesgue 1875'te Fransa'nın küçük bir kasabası Beauvais'de doğdu. Babası tipograf, annesi öğretmendi. Babası tüberkülozdan kaybedildiğinde Henri henüz çocuktu; annesi onu zor şartlarda büyüttü ama matematik yeteneğinden vazgeçmedi. Burslarla École Normale Supérieure'a girdi ve 1902'de doktorasını verdi.

Doktora tezi (1902): "Intégrale, longueur, aire" — yani "İntegral, uzunluk, alan." 130 sayfalık bu çalışma matematik tarihinin en etkili tezlerinden biri olarak kabul edilir. Çünkü içinde modern analiz devriminin tohumu vardı.

Riemann'ın sorunu

Lebesgue'den önce integralin standart tanımı Bernhard Riemann'a aitti. Riemann integrali fonksiyonun grafiği altındaki alanı dikey ince şeritlere bölerek toplar:

$\int_a^b f(x)\,dx \approx \sum_{i=1}^{n} f(x_i) \cdot \Delta x$

Düzgün eğriler için harika çalışır. Ama bazı garip fonksiyonlar Riemann'ı kandırır. Klasik örnek Dirichlet fonksiyonu:

$D(x) = \begin{cases} 1 & x \text{ rasyonel ise} \\ 0 & x \text{ irrasyonel ise} \end{cases}$

Bu fonksiyon $[0,1]$ aralığında Riemann anlamında integrallenmez — şeritlere bakıldığında her şeritte hem 1 hem 0 vardır, yaklaşım kararsız. Oysa "sezgisel" olarak bu fonksiyonun integrali 0 olmalıdır çünkü irrasyonel sayılar rasyonellerden kıyaslanamayacak kadar çoktur.

Lebesgue'in fikri: yatay dilimleme

Lebesgue durumu tersine çevirdi. Fonksiyonun değerlerine göre topla, $x$ eksenine göre değil. "Hangi $x$ değerleri için $f(x) \approx y$?" diye sor ve o $x$ kümesinin uzunluğunu (ölçüsünü) $y$ ile çarp.

$\int f\,d\mu = \sum_y y \cdot \mu(\{x : f(x) = y\})$

(Tabii bu sezgisel form; gerçek tanım limit ve infimum/supremum ile yapılır.)

Bu görüşle Dirichlet fonksiyonunun integrali rahatlıkla 0 çıkar: çünkü rasyonel sayılar kümesinin Lebesgue ölçüsü sıfırdır (sayılabilir çoktur). 0 ile irrasyoneller üzerinden integre edilirse sonuç 0.

Ölçü teorisi: nelerin "büyüklüğü" tanımlanabilir?

Lebesgue integrali, ona yol açan ölçü teorisi (measure theory) olmadan eksiktir. Lebesgue ölçüsü, $\mathbb{R}$'nin alt kümelerine bir "uzunluk" atar:

• $[a,b]$ kapalı aralığının ölçüsü $b-a$.
• Tek noktanın ölçüsü 0.
• Sayılabilir bir kümenin (örn. tüm rasyoneller) ölçüsü 0.
• Cantor kümesi gibi sayılamaz ama ölçüsü 0 olan kümeler vardır — sezgiye meydan okur.

Ama bir bomba sorun: Bazı alt kümeler hiç ölçülemez (Vitali kümesi, Banach-Tarski paradoksu). Bunu kabul etmek matematik için pahalı ama gerçek bir adım oldu.

Modern analiz onunla doğdu

Lebesgue'in keşfi 20. yüzyılın matematik altyapısını kurdu:

• Fonksiyon uzayları ($L^p$ uzayları) Lebesgue integraline dayanır. Modern Fourier analizinin, kısmi türev denklemlerinin, kuantum mekaniğinin matematiksel iskeleti budur.
• Olasılık teorisinin tam matematiksel temeli (Kolmogorov, 1933) ölçü teorisi üzerinde yükselir. "Bir olayın olasılığı" demek, "bir kümenin Lebesgue tipi ölçüsü" demektir.
• Fonksiyonel analiz, operatör teorisi, dinamik sistemler — hepsi Lebesgue'in çatısı altında inşa edildi.
• Sinyal işlemenin Fourier teorisi, görüntü sıkıştırma (JPEG), MP3 — hepsinde Lebesgue integralinin izleri vardır.

Sade akademisyen

Lebesgue gösterişten uzaktı. Sorbonne'da matematik profesörü oldu (1921), Collège de France'a geçti, Bilimler Akademisi'ne seçildi. Ama hayatı boyunca sade bir öğretmen kaldı; öğrencilere matematiği sezgisel motivasyonla anlatmaya özen gösterirdi. 1941'de Paris'te öldü.

İlginç bir not: Lebesgue ölümünden önce kendisi hakkında "Matematikte fazla yeniliklere izin verilmemeli, ihtiyat lazım" demişti — kendi devrimine rağmen muhafazakâr bir entelektüeldi. Belki tam da bu yüzden devrim yapan adımlarını eski dilde açıklayabildi: Riemann'a hakaret etmedi, onu kapsayıcı bir şey yaptı.

Bugün bir üniversite öğrencisi analiz dersinde "Lebesgue integrali" diye bir kavramla karşılaştığında, aslında modern matematiğin başlangıç noktasıyla karşılaşmış olur. Riemann bir devrim yaptı; Lebesgue bir paradigma kurdu.