Soyut matematik

En genel anlamda, soyut matematik, matematiğin soyut kavramlarını inceleyen bir kolu olarak adlandırılabilir. 18. yüzyıldan bu yana, soyut matematik matematiksel aktivitenin bir kategorisi olarak kabul edilmiştir. Bazen spekülatif matematik olarak da kategorize edildiği olur. Soyut matematik navigasyon, mühendislik, fizik, astronomi gibi çeşitli alanlarda kullanılmaktadır.

Soyut matematiğe dair en güçlü öngörülerden biri de soyut matematiğin ille de uygulamalı matematik olmak zorunda olmadığıdır; soyut şeylerleri onların içsel doğasını anlayarak çalışmak onların doğada nasıl apaçık biçimde nasıl olduğu ile ilgili olmak zorunda değildir. Soyut matematik ve uygulamalı matematik arasındaki felsefi açı farkına rağmen pratikte birçok örtüşme noktalarının olduğu da aşikardır.

O dönemde soyut matematiğin ayrı bir disiplin olarak ele alınması fikri ortaya çıkmış gibi gözüküyor. Gauss'un nesli belirgin bir biçimde soyut ve uygulamalı matematik alanları arasında ayrım yapmadı. Daha sonraki yıllarda uzmanlaşma ve profesyonelleşme (özellikle matematiksel analizdeki Weitrass yaklaşımı) ile alanlar arasındaki ayırım daha da belirginleşti..

20.yy'ın başlarında matematikçiler, David Hilbert'in de güçlü etkisi ile, aksiyomatik metodu kullanmaya başladılar. Soyut matematiğin mantıksal formülasyonu Bertrand Russel tarafından önerildi; niceleyenler yapısındaki önermeler daha makul görünüyordu, matematiğin büyük bir bölümü aksiyomatikleştirildikçe rigourous proof'un basit kriterlerine maruz kaldılar.

Genellemenin sezgi üzerinedeki etkisi hem özneye hem de kişisel tercihler veya kişisel öğrenme metodlarına bağlıdır. Sıklıkla genellemeler sezgiye bir engel olarak görülürler; ama genellemeler, sezgiye bir yardımcı olarak da algılanabilir, özellikle materyal olanı anlamak için analojiler kurarak sezgisi iyi olanlara yardımcı olabilir.

Matematikçiler daima soyut matematik ile uygulamalı matematik fikirlerinde ayrıma düştüler. Bu tartışmaların en ünlü ve modern örneği G. H. Hardy’nin A Mathematician’a Apology’sinde bulunabilir.genellikle Hardy’nin uygulamalı matematiği çirkin ve sıkıcı bulduğu düşünülür. Hardy’ni resim ve şiirle karşılaştırdığı soyut matematiği tercih etse de, soyut matematik ve uygulamalı matematik arasındaki farkı söyle görüyor, uygulamalı matematik fiziksel dünyanın doğrularını ararken, soyut matematik fizikten bağımsız doğruları açıklar. Gerçek matematik olarak adlandırdığı ve estetik değeri olan matematik ile sıkıcı ve pratik değeri olan matematiği böyle ayırır.

Hardy, Einstein ve Dirac gibi bazı fizikçileri matematikçilerin arasında görüyor ama the Apology’i yazdığı zamanda, genel görelilik ve kuantum mekaniğini işlevsiz görüyordu ki bu görüş sadece sıkıcı matematiğin işe yarar olduğunu savunmasını da izin veriyordu. Dahası, kısa süre sonra matrix teorisinin ve grup teorisinin fiziğe uygulanmayla, gerçek matematiğin de işe yarayabileceğini kabul etti.

Geometri uzay ve şekillerle ilgilenen alandır, özellikle uzayı etkileyen dönüşüm gruplarıyla. projectif geometri projectif gerçek projectiv düzlemleri etkileyen dönüşüm gruplarıyla ilgilidir ama tersini geometri hacmi olan kompleks düzlemlere etkiyen tersinir dönüşüm gruplarıyla ilgilidir. Geometri topolojiye genişletilebilir. Topoloji uzayın bağlı olduğu yollarla ilgilenir ve uzaklıkların ve açıların keskin ölçülerini göz ardı eder.