Dudley E. Littlewood: Kanıtlayamadığı Kural

1934 yılında, Galler'deki küçük bir üniversite kolejinde iki matematikçi, belirli cebirsel nesnelerin nasıl çarpıldığını yöneten bir kombinatoryal yasa yayımladı. Bunu bir teorem olarak ifade ettiler. Bunu yalnızca bir avuç basit özel durumda kanıtladılar ve açıklamak için sundukları örnek hatalıydı. Yine de kural doğruydu. Mesleki camianın bunu kanıtlaması kırk yıl sürdü ve o zamana kadar bu kural modern cebirde en yoğun kullanılan sonuçlardan biri haline geldi. Temsil teorisyeni Gordon James'in ifade ettiği gibi, Littlewood-Richardson kuralı "insanları aya götürmeye yardımcı oldu ancak onlar oraya ulaşana kadar kanıtlanmamıştı."

Tottenham'dan Trinity'ye

Dudley Ernest Littlewood, 7 Eylül 1903'te Londra'da doğdu; Ada Piper ve bir avukat kâtibi olan Harry Bramley Littlewood'un tek çocuğuydu. Matematiksel bir miras veya para yoktu; geldiği yere sınavlarla ulaştı. Middlesex'teki Tottenham County Okulu'ndan hem bir devlet bursu hem de Cambridge'deki Trinity College için bir giriş bursu kazandı.

Trinity'de lisans danışmanı, ünlü analist ve Hardy'nin iş birlikçisi John Edensor Littlewood idi; herhangi bir akrabalıkları yoktu ve bu tesadüf o günden beri kaynakçaları karıştırdı. 1925'te Hall ve Hodge ile aynı grupta, Matematiksel Tripos'ta wrangler (yüksek dereceli derece) olarak mezun oldu. Sonra, iki savaş arası dönemdeki akademik piyasa koşullarında hiçbir şey olmadı. Okulda öğretmenlik yaptı. 1928'de University College Swansea'de geçici, yarı zamanlı bir öğretim görevliliği aldı, ardından Dundee'deki Queen's College'da kısa süreli bir pozisyonda çalıştı. 1930'da Muriel Doris Dyson ile evlendi; oğulları 1935'te doğdu.

Swansea ve Richardson

Swansea, matematiksel hayatının gerçek anlamda başladığı yerdir ve bu bir meslektaşı sayesinde olmuştur. Oradaki profesör Archibald Read Richardson, Littlewood'u daha önce çalışmadığı bir alan olan cebirle tanıştırdı. 1930'da yardımcı öğretim görevlisi olarak Swansea'ye döndü ve 1947'ye kadar kalarak 1934'te öğretim görevlisi oldu. Erken dönem makaleleri kuaterniyon cebirleri ve değişmezler teorisi ile ilgiliydi; bunlar gelecek olanın özel bir işaretini vermeyen saygın çalışmalardı.

Bundan sonra gelen, Richardson ile birlikte yazdığı 1934 tarihli "Grup karakterleri ve cebirler" (Group characters and algebras) makalesiydi. Matrisin immanant'ını (immanant) — determinant ile permanent arasında duran bir genelleme — tanıttı ve simetrik ve genel lineer grupların karakterlerini kodlayan, günümüzde evrensel olarak Schur fonksiyonları olarak adlandırılan S-fonksiyonlarını ele aldı. Makale, bir sonraki aşikâr soruyu sordu: iki Schur fonksiyonunu çarptığınızda ne olur? Önerdikleri cevap, çarpımın, katsayıları belirli tabloları — katı kurallar altında sayılarla doldurulmuş kutulardan oluşan kombinatoryal diziler — sayan Schur fonksiyonlarının toplamına ayrıştığıydı.

Kural Neden Önemli?

Bu tek ifade, birkaç alanın kesiştiği bir noktada durduğu ortaya çıktı. Littlewood-Richardson katsayıları, sonlu boyutlu temsillerin tensör çarpımları ayrıştırıldığında ve simetrik grupların temsilleri türetildiğinde çoklukları verir. Bunlar, Schur temelindeki simetrik fonksiyonlar halkasının yapı sabitleridir. Cebirsel geometride ise, Schubert çeşitlerinin (Schubert varieties) nasıl kesiştiğini sayarak Grassmannianlar üzerinde kesişim sayıları olarak yeniden ortaya çıkarlar; bu, 1934'te kimsenin aramadığı bir bağlantıydı. Littlewood'un kendisi, temsil teorisinin kuantum mekaniğine uygulamalarını sürdürdü.

Ancak kanıt eksikti. Gilbert de Beauregard Robinson 1938'de bunu tamamladığını iddia etti, ancak açıklaması o kadar belirsizdi ki içindeki boşluklar on yıllarca fark edilmedi; Ian Macdonald 1995'te bile bazılarını dolduruyordu. Modern standartları karşılayan ilk argümanlar 1974'te Glânffrwd P. Thomas ve 1977'de Marcel-Paul Schützenberger'den geldi ve bu argümanlar, Schensted, Schützenberger ve Donald Knuth tarafından geliştirilen Robinson-Schensted yazışmasının (Robinson–Schensted correspondence) kombinatoryal mekanizması üzerine inşa edilmişti. İddia ile kanıt arasında yaklaşık dört on yıl vardı.

Kitaplar ve Bangor

Littlewood, araştırmasını adını en uzağa taşıyan kitaba dönüştürdü: 1940'ta yayımlanan ve 1950'de ikinci baskısını yapan Grupların Karakterleri ve Matris Temsilleri Teorisi (The Theory of Group Characters and Matrix Representations of Groups) — bir nesil boyunca İngilizce olarak konuyu öğrenmek için standart yerdi. Bunu 1949'da birkaç baskısı daha yapılan genel bir açıklama olan Matematiğin İskelet Anahtarı (The Skeleton Key of Mathematics) ve 1961'de revize edilen 1950 tarihli Üniversite Cebiri (A University Algebra) izledi.

1947'den 1948'e kadar Cambridge'de üniversite öğretim görevlisi olarak çalıştı, ardından 1948'de Bangor'daki Kuzey Galler Üniversite Koleji'nde matematik kürsüsüne geçti ve 1970'teki emekliliğine kadar yirmi iki yıl boyunca bu görevde kaldı. Meslektaşları, her zaman arkadaşça bir gülümsemeyle, nazik ve destekleyici, bilim kurgu okuyan ve felsefe ile dinin matematikten çok daha fazla araştırılmaya değer konular olduğunu düşünen utangaç, kendi halinde bir adamı hatırlıyorlardı — bu, konunun profesöründen gelen alışılmadık bir itiraftı.

Dudley Neden Dahi Olarak Adlandırılıyor?

Bu kelime belirli ve dar bir yeteneğe uygulanır: kimse cebirsel bir mekanizmanın o şekle sahip olduğunu kanıtlayamadan önce o şekli görebiliyordu. Öğrencisi J. A. Green bunu tam olarak şöyle tarif etti — "Littlewood'un matematiksel gücü, belirli cebirsel süreçlerin çalışma biçimine dair olağanüstü içgörüsünde yatıyordu." Meslektaşları, biçimsel matematiğe dair güçlü bir sezgisel kavrayışa sahip olduğunu ve titiz bir türetme yerine kullanılabilir bir formülü açıkça tercih ettiğini not ettiler ve Frobenius, Schur ve Weyl'in yöntemlerini alıp onları yeniden üretmek yerine kendi dilinde yeniden işlediğini gözlemlediler. 1934 kuralı bunun en somut örneğidir. Littlewood ve Richardson, sezginin meşhur bir şekilde güvenilmez olduğu bir alanda, kimsenin tam olarak anlamadığı nesneler hakkında doğru bir kombinatoryal yasaya ulaştılar ve haklıydılar — oysa sonraki kırk yıl boyunca kanıtlamaya çalışan birkaç yetenekli matematikçi yanılmıştı.

Karşı tez gerçektir ve sadece pedantik değildir. Kuralı, sadece kolay özel durumları kanıtladıktan sonra bir teorem olarak yayımladılar ve verdikleri açıklayıcı örnek yanlış hesaplanmıştı. Bir hakem daha katı olsaydı, sonuç bir sanı olarak görünebilirdi ki zaten öyleydi. Bir matematikçinin işi kanıttır ve bu standarda göre Littlewood'un en ünlü katkısı kırk yıl boyunca eksikti ve kendisinde olmayan araçları kullanan diğer insanlar tarafından tamamlandı. Daha geniş çalışma alanı — üç kitap ve değişmezler, kuaterniyon cebirleri ve grup karakterleri üzerine bir dizi makale — çığır açıcı olmaktan ziyade sağlam ve kullanışlıdır ve kariyerini disiplinin merkezlerinin çok dışında, Swansea ve Bangor'da geçirdi. Dürüst hüküm şudur: gerçekten olağanüstü bir matematiksel içgüdüye sahipti, ancak bunu gerçekleştirmek için gereken titizlikle eşit düzeyde eşleşemedi; meslek doksan yılını bu içgüdüden faydalanarak ve titizliği onararak geçirdi.

Miras

1970'te emekli oldu ve 76. yaş gününden kısa bir süre sonra, bacağını kırdığı bir düşüşün ardından 6 Ekim 1979'da Llandudno'da öldü. Llanrhos'ta gömülüdür; Muriel ondan on yıl daha fazla yaşadı. Adı bugün, hakkında başka hiçbir şey bilmeyen insanlar tarafından, simetrik fonksiyonların modern çalışmasını, klasik grupların temsil teorisini ve Schubert kalkülüsünü temel alan bir kurala bağlı olarak her gün anılmaktadır. Çok az matematikçinin adını taşıyan bir teoremi vardır. Kanıtlanmadan önce ün kazanan bir teorem için daha da azı söylenebilir.