Stefan Banach: İskoç Kafe ve Modern Analizin Polonyalı Dahisi

Kraków'da bir buluntu

Stefan Banach 30 Mart 1892'de Kraków'da, evlilik dışı doğdu. Annesi onu doğumun hemen ardından bir çamaşırcıya bıraktı. Babası bir vergi memuruydu — Banach'ı tanıdı ama hayatına çok az dahil oldu. Genç Stefan bir aile arkadaşının evinde büyüdü.

Lise yıllarında matematiğe büyük yetenek gösterdi. Mühendislik okumaya başladı (matematiği akademik kariyer için pratik görmüyordu) ama Birinci Dünya Savaşı geldi; eğitimi yarım kaldı. Kraków'da yol işçiliği, özel dersler, kütüphane okuma — her şeyi yaptı.

Kraków parkındaki tesadüf

1916 yazında bir gün Kraków'da bir parkta otururken, bir matematikçi grubu Lebesgue integralinin karmaşık bir özelliğini tartışıyordu. Hugo Steinhaus (önemli bir Polonyalı matematikçi) konuşmayı duydu. Banach söze girdi, sezgisel ama doğru bir çözüm önerdi. Steinhaus şaşırdı: bu kim?

Steinhaus o gün için yıllarca "hayatımın en büyük matematik buluşu Banach'ı buluşumdu" dedi. Hemen Banach'ı destekledi; ortak makaleler yazdılar; akademik dünyaya tanıttı.

Doktorasız profesör

Banach'ın resmi matematik diploması yoktu. Ama Steinhaus onu Lwów Üniversitesi'ne tavsiye etti. Banach 1920'de doktora teziyle ünlü oldu: "Sur les opérations dans les ensembles abstraits et leur application aux équations intégrales" (Soyut Kümelerde İşlemler ve İntegral Denklemlere Uygulanması). Bu tez fonksiyonel analizin doğum belgesidir.

Kısa sürede Lwów Üniversitesi'nde profesör oldu. Yıllar içinde Banach uzayı, Hahn-Banach teoremi, Banach-Steinhaus teoremi, Banach sabit nokta teoremi, Banach-Tarski paradoksu gibi onlarca temel sonuca imza attı.

"Banach uzayı": ne demek?

Banach'ın en büyük katkısı, soyut matematiğe yeni bir nesne tanıtmasıdır: Banach uzayı.

Bir Banach uzayı, üzerinde bir norm (büyüklük ölçüsü) tanımlı, tam (Cauchy dizilerin yakınsadığı) bir vektör uzayı. Önemi: sonsuz boyutlu uzaylarda fonksiyonların kendisini vektör olarak ele alma imkânı verir.

Örnek: $L^2[0,1]$ uzayı — $[0,1]$ aralığında kareleri integrali sonlu olan fonksiyonların uzayı. Her fonksiyon bir "vektör", iki fonksiyonun "iç çarpımı" tanımlanabilir. Bu, modern kuantum mekaniğinin, Fourier analizinin, dalga denklemlerinin matematik dilidir.

Bugün:

• Kuantum mekaniği: Hilbert uzayı (özel bir Banach uzayı) üzerinde operatör teorisi.
• Sinyal işleme: Fourier ve dalgacık dönüşümleri.
• Makine öğrenmesi: Reproducing kernel Hilbert spaces (RKHS) — kernel yöntemlerinin temeli.
• Diferansiyel denklemler: Çözüm uzaylarının çoğu Banach.

— hepsi Banach'ın icat ettiği çerçeve içinde çalışır.

İskoç Kafe (Kawiarnia Szkocka)

Lwów'da matematikçiler 1930'larda İskoç Kafe (Polonyaca: Kawiarnia Szkocka) adlı bir kahvehanede toplanırdı. Banach merkezi figürdü. Burada saatlerce çalışırlar, mermer masaların üzerine doğrudan matematik teoremleri yazarlardı.

Kafenin sahibi başta bu yazılardan rahatsızdı — masaları silmek zorunda kalıyordu. Sonunda Banach'ın eşi bir defter satın aldı ve kafeye bıraktı; matematikçiler bundan sonra "İskoç Defter" (Scottish Book) denilen bu deftere yazdılar.

İskoç Defter'de 193 numaralı problem vardı. Her problemin yanında bir ödül belirtilirdi — bir kahve, bir bira, bir kaz, hatta canlı bir tavşan. Bu defter II. Dünya Savaşı sonrası kaybolduğunu sanılıyordu ama kopyaları kurtuldu; bugün matematik tarihinin değerli bir kaynağıdır. İçindeki problemlerin bazıları (örneğin Mazur'un kazları için problemi) hâlâ açıktır.

Polonyalı matematikçiler İskoç Kafe'nin meşhur müdavimleriydi: Mazur, Ulam, Steinhaus, Sierpinski, ziyaretçiler von Neumann ve diğerleri. Banach bu çevrenin kalbi.

Banach-Tarski paradoksu (1924)

Banach'ın Alfred Tarski ile birlikte 1924'te yazdığı makale ile küme teorisinin en şaşırtıcı sonuçlarından birini kanıtladı:

"Bir küre, sonlu sayıda parçaya ayrılıp, bu parçaların yer değişimi ve döndürülmesi ile eşit hacimde iki küre haline getirilebilir."

Yani matematiksel olarak bir küreyi ikiye katlayabilirsiniz — fiziksel olarak imkansız, ama matematiksel olarak (seçim aksiyomu kullanılarak) kanıtlı bir sonuç.

Bu paradoks seçim aksiyomunun sınırlarını sorgulattı; matematiğin temelleri tartışmasına merkezi bir katkıdır. Kanıtın güzelliği: parçalar "ölçülemez kümeler"dir; fiziksel olarak mümkün değil, ama matematiksel olarak vardır.

Naziler ve son yıllar

İkinci Dünya Savaşı 1939'da Lwów'a geldi. Sovyetler, sonra Naziler şehri kuşattı. Polonya bilim camiası dağıtıldı; pek çok matematikçi sürgüne veya kamplara gönderildi.

Banach savaş yıllarında Naziler'in tifüs araştırma laboratuvarında çalıştı — kendisini bit (lice) besleyen olarak kullandılar. Vücudundaki bitler vücuduyla beslendi, sonra tifüs aşısı geliştirmek için kullanıldı. Bu, Banach'ı korudu (Nazi sistemi onu "yararlı" gördü) ama sağlığı çöktü.

1945'te savaş bittiğinde Banach akciğer kanseri'nden çok zayıflamıştı; aynı yıl Lwów'da öldü. 53 yaşındaydı.

Mirası

Banach'ın matematikteki yeri benzersizdir. Fonksiyonel analiz denilen alanın kurucusu olarak anılır; modern matematiğin neredeyse her köşesinde "Banach" kelimesi vardır:

• Banach uzayı
• Banach algebrası
• Banach-Steinhaus uniform boundedness teoremi
• Banach-Alaoglu teoremi
• Banach sabit nokta teoremi
• Banach-Tarski paradoksu
• Hahn-Banach teoremi

Polonya matematik okulunun ruhu, İskoç Kafe efsanesi, Lwów'un altın çağı — hepsi onun adıyla anılır. Bugün Polonya'nın en prestijli matematik ödülü Stefan Banach Ödülü'dür; Kraków ve Warszawa'da onun adına anıtlar vardır.

Evlilik dışı bir çocuk, üniversite diploması olmadan, bir park sohbetinde keşfedildi — sonra 20. yüzyıl matematiğinin yıldızlarından biri oldu. Stefan Banach'ın hikâyesi, matematiğin kim olduğunuza değil, ne keşfettiğinize baktığının kanıtı.