Sonsuz küçük

Sonsuz küçükler, ölçülemeyecek kadar küçük cisimleri tarif etmek için kullanılır. Sonsuz küçüklerden yararlanmaktaki asıl amaç nicelik bakımından çok küçük olsalar da hala açı, eğim gibi belirli özelliklere sahip olmalarıdır. Sonsuz küçük kelimesi (İng. İnfinitesimal) 17. Yüzyıl Modern Latin uydurma sözcüğü olan bir dizideki “sonsuzuncu” terim anlamına gelen infitesimustan gelmektedir. İlk olarak 1670 yılı civarında Nicolas Marecator ya da Gottfried Wilhelm Leibniz tarafından kullanılmıştır. Genel anlamla sonsuz küçük bir cisim herhangi bir uygulanabilir ölçümden küçük olan ama boyut olarak sıfırdan farklı ya da çok küçük olan ve bu nedenle sıfırdan ayırt edilemeyecek durumdaki cisimdir. Bundan dolayı sonsuz küçük ifadesi sıfat olarak kullanıldığında aşırı derecede küçük anlamına gelmektedir. Bir anlam verebilmek için genellikle aynı bağlamdaki başka bir sonsuz küçük ile karşılaştırılması gerekir (türevde olduğu gibi). Sonsuz miktarda çok sonsuz küçük bir integral üretmek amacıyla toplanır. Arşimet “Mekanik Teoremlerin Metodu” adı verilen çalışmasında katı cisimlerin hacimlerini ve bölgelerin alanlarını bulmak için Bölünmezler Yöntemi olarak bilinen yöntemi kullanmıştır. Yayımlanan resmi bilimsel eserlerinde aynı problemleri Tüketme Yöntemi ile çözmüştür. 15. Yüzyılda Cusalı Nicholas’ın üzerinde çalıştığı bir çemberin alanını çemberi sonsuz kenarlı bir çokgen olarak hesaplama yöntemi 17. Yüzyılda Johannes Kepler tarafından geliştirilmiştir. Simon Stevin’in 16. Yüzyılda tüm sayıların ondalık gösterimi üzerine yaptığı çalışmalar gerçek sürekliliğe temel hazırladı. Bonaventura Cavalieri’nin bölünmezler yöntemi klasik yazarların sonuçlarını genişletmesine olanak sağladı. Bölünmezler yöntemi, eş boyutlu varlıklardan oluşan geometrik figürler ile ilişkilidir. John Wallis’in sonsuz küçük görüşü geometrik figürleri figürle aynı boyuta sahip sonsuz yapı bloğuna bölmesi ile bölünmezler yönteminden ayrılır. Bu görüş integral kalkülüsünün genel yöntemleri için temel hazırlamıştır. Sonsuz küçükleri alan hesabında  ile göstermiştir. Leibniz tarafından kullanılan sonsuz küçükler, sonlu ve sonsuz sayılar için başarılı olan Süreklilik Kuramı ve belirlenemez miktarlar için gösterimi değiştirmenin yönteminin sadece belirlenebilir olanları göstererek yapılacağını anlatan Aşkın Homojenite Yasası gibi bulgusal prensiplere dayanmaktaydı. 18. Yüzyıl sonsuz küçüklerin Leonard Euler ve Joseph-Louis Lagrange gibi matematikçiler tarafından sıklıkla kullanıldığı bir zaman aralığı olmuştur. Augustin-Louis Cauchy sonsuz küçükleri Cour d’Analyse adlı eserinde sürekliliği açıklamak için ve Dirac delta fonksiyonunun ilk formlarından birini tanımlarken kullanmıştır. Tıpkı Cantor ve Dedekind’ın Stevin’in sürekliliğinin daha soyut bir halini geliştirdikleri gibi Paul du Bois-Reymond da sonsuz küçük ile zenginleştirilmiş süreklilik üzerine fonksiyonların artış oranını temel alan bir seri çalışma yapmıştır. Du Bois-Reymond’un çalışması Emile Boral ve Thoralf Skolem’ e ilham verdi. Borel Bois-Reymond’un çalışmalarını Cauchy’nin sonsuz küçüklerin artış oranına dair çalışmalarıyla bağlantı kurdu. Skolem 1934’te aritmetiğin standart dışı ilk modellerini geliştirdi. Süreklilik ve sonsuz küçük yasalarının matematiksel “implementasyonu” Abraham Robinson tarafından 1961’de yapılmıştır. Robinson ayrıca Edwin Hewirr’in 1948’de ve Jerzy Łoś’un 1955’teki çalışmalarına dayanarak standart dışı analizi geliştirmiştir. Hipergerçekler sonsuz küçük ile zenginleştirilmiş sürekliliği sağlar ve transfer prensibi de Leibniz’in süreklilik yasasını sağlar.

Sonsuz Küçüklerin Tarihçesi

Sonsuz sayıdaki küçük miktarlar fikri ilk olarak Elea Okulunda tartışılmıştır. Yunan matematikçi Arşimet Mekanik Teoremler Metodu adlı eserinde ilk kez sonsuz küçüklerin mantıksal tanımını yapmıştır. Bulduğu Arşimet özelliği , Bir x sayısı eğer |x|>1, |x|>1+1, |x|>1+1+1, ..., şartını sağlıyorsa bu x sayısına sonsuz, eğer x sıfırdan farklı ise ve benzer şartı 1/x için ve pozitif tam sayıların tersi için sağlıyorsa sonsuz küçüktür. Bir sayı sistemi sonsuz ve sonsuz küçük içermiyorsa Arşimetçi sayı sistemi denir. Hindistanlı matematikçi Bhāskara II’daki değişimi gösteren çarpı cinsinden bir geometrik teknik oluşturmuştur. Kalkülüs’ün keşfinden önce matematikçiler Pierre de Fermat’ın yeterlilik yöntemi ve Rene Descartes’in normal yöntemi ile tanjant doğrularını hesaplayabiliyorlardı. Bu yöntemin doğada sonsuz küçük ya da cebirsel olduğuna dair bir tartışma vardır. Newton ve Leibniz kalkülüsü icat ettiğinde sonsuz küçükleri kullandılar. Bishop Berkeley’in The Alayst adlı eserinde sonsuz küçüklerin yanlış olduğu savunuldu. Matematikçiler, bilim insanları ve mühendisler sonsuz küçükleri kullanarak doğru sonuçlar elde etmeye devam ettiler. 19. Yüzyılın ikinci yarısında, kalkülüs Augustin-Louis Cauchy, Bernard Bolzano, Karl Weiestrss, ve Dedekind tarafından limitin tanımı ve küme kuramı kullanılarak tekrar formüle edildi. Cantor, Dedekind, ve Weierstrass’ın takipçileri tıpkı felsefi müttefikleri olan Bertnard Russel ve Rudolf Carnap gibi sonsuz küçükleri uydurma bir konu olarak görüp analizde sonsuz küçüklerden kurtulmak için uğraştılar. Hermann Cohen ve onun takipçileri sonsuz küçüklerin çalışma mantığını anlamak için uğraştılar. Sonsuz küçükleri içeren matematiksel sistemler üzerindeki çalışmalar Levi-Civita ve Paul du Bois-Reymond’un çalışmalarına kadar (19. Yüzyıl sonları ve 20. Yüzyılın başlarına kadar) devam etmiştir. 20. Yüzyılda sonsuz küçüklerin kalkülüs ve analiz için bir temel oluşturabileceği keşfedilmiştir.

Laurent Serileri

Yukarda verilen 1 numaralı negatif kuvvetli sonlu terimlerden oluşan Laurent serileridir. Örneğin, Laurent serilerinin içerdiği sabit olan 1, sadece gerçek sayı olan 1 ile tanımlanmıştır ve sadece x doğrusal terimi içeren seriler diğer sonsuz küçüklerin türetildiği en basit sonsuz küçük olarak kabul edilir. X’in büyük kuvvetlerinin küçükler ile karşılaştırıldığında yok sayılabildiği sözlüksel sıralama kullanılır. David O. Tall bu sistemi Dales ve Woodin’in süper gerçek sayı sistemiyle karıştırmamak için süper-gerçekler olarak adlandırılır. Taylor serileri savlarının hala bir Laurent serisi olması nedeniyle beraber değerlendirilmelerinden dolayı, bu sistem analitik deneyüstü fonksiyonlarda kalkülüs hesabı yapmakta kullanılabilir. Bu sonsuz küçükler, gerçek sayılardan farklı birinci dereceden özelliklere sahiptirler çünkü örneğin, temek sonsuz küçük x’in karekökü yoktur.

Levi- Civita Alanı

Levi – Civita alanı Laurent serilerine benzer ama cebirsel olarak kapalıdır. Örneğin, temel sonsuz küçük x’in bir karekökü vardır. Bu alan önemli miktarda analiz yapılmasına imkân verecek kadar büyüktür ama elemanları bilgisayarda hala gerçek sayıların kayan noktada gösterildiği gibi gösterilebilir.

Süpergerçekler

Dales ve Woodin süpergerçek sayı sistemi hipersayıların genelleştirilmiş halidir. David Tall’ın geliştirdiği süper-gerçek sistemden farklıdır Kolaylaştırılmış Sonsuz küçük Analizi Sentetik differansiyel geometri veya kolaylaştırılmış sonsuz küçük analizi kategori kuramında bazı köklere sahiptir. Bu yaklaşım geleneksel matematikte kullanılan klasik mantıktan farklıdır. Bir Nilpotent sonsuz küçük kavramı otaya atılabilir. Bu x² = 0 ‘ın doğru olduğu ancak x = 0’ın doğru olmasına gerek olmadığı bir x sayısıdır. Sonsuz küçük Delta Fonksiyonları Cauchy, 1827’de sonsuz küçük  ‘yı kullanarak sonuzca uzun ve dar Dirac tipi fonksiyon olan  satisfying  fonksiyonunu yazdı. Cauchy sonsuz küçüğü 1821’de sıfıra yönelen diziler olarak tanımlamıştır.