Matematik ; sayılar, felsefe, uzay ve fizik gibi konularla ilgilenir. Matematikçiler ve filozoflar arasında matematiğin kesin kapsamı ve tanımı konusunda görüş ayrılığı vardır.
Matematik felsefesi, matematiğin varlıksal, bilgisel ve yöntemsel sorunlarını inceleyen, matematiğin temelleriyle ilgili ana kavramları irdeleyen bir felsefe dalıdır.
Matematiğin temelleri olarak bilinen matematik dalı matematiğin tümü için geçerli olan en temel kavramları ve mantıksal yapıları inceler. Sayı, küme, fonksiyon, matematiksel tanıt, matematiksel tanım, matematiksel aksiyom, algoritma gibi kavramlar Matematiksel mantık, Aksiyomatik Küme Teorisi, Tanıtlama Teorisi, Model Teorisi, Hesaplama teorisi, Kategori Teorisi gibi yine matematiğim temelleri olarak anılan alanlarda incelenir. Bununla birlikte matematiğin temellerinin araştırılması matematik felsefesinin ana konularından biridir. Bu daldaki can alıcı soru matematiksel önermelerin hangi nihai esaslara göre "doğru" ya da "gerçek" kabul edilebileceğidir.
Modeller kuramı, matematiksel konseptleri küme kuramı temelinde inceleyen ya da başka bir deyişle matematiksel sistemlerin dayandığı modelleri araştıran matematik dalıdır. Modeller kuramı, 'dış dünyada' matematiksel nesnelerin var olduğunu varsayar ve nesneler, nesneler arasında bazı işlemler ya da bağıntılar ve bir aksiyomlar kümesi verildiğinde, nelerin nasıl tanıtlanabileceğine ilişkin sorular sorar.
Matematikte soyutlama, matematiksel bir kavramın, başlangıçta ilişkili olabileceği herhangi bir gerçel dünya nesnesine olan bağımlılığı ortadan kaldırıp genelleştirerek daha geniş bir uygulama alanı sağlamak için, özünü çıkarma işlemidir.
Cebir sayılar teorisini, geometriyi ve analizi içine alan geniş bir matematik dalıdır. Temel matematik işlemlerinden, çember ve daire alanları bulmayı kapsayan geniş bir ilgi alanına sahiptir. Cebir, mühendislik ve eczacılık gibi birçok alanda kullanılmaktadır. Kuramsal cebir, ileri matematiğin bir dalı olmakla birlikte sadece uzmanlar tarafından çalışılan bir koldur.
Soyut cebir veya soyut matematik, matematiğin bir alanı olup, cebirsel yapılar üzerinde çalışır. Cebirsel yapılar, elemanları üzerinde belirli işlemlerin uygulandığı kümelerdir ve gruplar, halkalar, alanlar, modüller, vektör uzayları, kafesler ve alan üzerindeki cebirler içerir. Soyut cebir terimi, 20. yüzyılın başlarında temel cebirden ayırmak amacıyla türetilmiştir. Soyut cebir ileri matematik için temel hale geldikçe basitçe "cebir" olarak adlandırılırken, "soyut cebir" terimi pedagoji dışında nadiren kullanılır.
Kombinatorik, genellikle sonlu soyut nesneleri konu alan soyut matematik dalıdır. Dalla ilgilenen matematikçilere kombinatoryalist veya kombinatorist denir. Matematiğin, cebir, olasılık kuramı, ergodik teori ve geometri gibi farklı dallarıyla da ilgili olan kombinatorik ayrıca bilgisayar bilimi ve istatistiksel fizik gibi dallarda uygulanmıştır. Kombinatorik dahilindeki konulardan bazıları; belirli kriterleri karşılayan nesnelerin "sayılması", kriterlerin ne zaman karşılanmış olacağına karar vermek, kriterleri karşılayan nesnelerin inşa edilmesi ve analiz edilmesi, "en büyük", "en küçük" veya "optimal" nesneleri bulmak ve bu nesnelerin sahip olabileceği cebirsel yapıları bulmaktır.
Cebirsel geometri, matematiğin bir dalıdır. Adından anlaşılabileceği gibi, soyut cebirin, özellikle değişmeli cebirin yöntemleri ile geometrinin dili ve problemlerini bir araya getirir. Çağdaş matematik içerisinde merkezi bir rol üstlenmesinin yanında, karmaşık analiz, topoloji, sayılar kuramı gibi matematiğin diğer dallarıyla yakın ilişkisi vardır.
Ayrık matematik veya bazen kullanılan diğer adıyla sonlu matematik ya da kesikli matematik, matematiğin ayrık yapılarıyla ilgilenen süreklilik içermeyen konularını kapsayan matematik dalıdır.
Matematiksel fizik, matematik ve fizik arasındaki alakayla ilgilinen bilimsel disiplindir. Matematiksel fiziğin neyi içerip içermediği ile ilgili tam bir mutabakat yoktur. Ancak Journal of Mathematical Physics konuyla ilgili bir tanım yapar: Matematiğin fiziksel sorunlara uygulanması ve fiziksel kuramlar için matematiksel yöntemlerin uygunluğunun geliştirilmesi.
Matematiğin vektör uzaylarıyla ve bu uzayların üzerinde tanımlı operatörlerle uğraşan bir alt dalı. Kökleri fonksiyon uzayları kuramının geliştirilmesine; hatta diferansiyel ve integral denklemlerinin çalışılmasına kadar gitmektedir. Özelde mesela Fourier dönüşümü gibi fonksiyon dönüşümlerinin çalışılmasında da kullanılmıştır. Fonksiyonel kelimesinin ilk kullanımı varyasyonlar hesabına kadar takip edilebilir. Ancak, genel anlamda kullanımı İtalyan matematikçi ve fizikçi Vito Volterra'ya atfedilmektedir. Yine de temeli büyük ölçüde Stefan Banach ve çevresindeki Polonyalı matematikçiler tarafından atılmış ve geliştirilmiştir. Çağdaş anlamda, fonksiyonel analiz bir topolojiye sahip vektör uzaylarının çalışılmasında, özellikle sonsuz boyutlu uzaylarda, gözükmektedir. Tanımdan yola çıkılarak fonksiyon analizinin sonlu boyutlu uzaylar kuramını da içerdiği düşünülebilir; ancak bu uzayları bir topolojisi olmadan inceleyen alan doğrusal cebirdir. Fonksiyonel analizin önemli bir işlevlerinden biri de ölçü, integral ve olasılık kuramı gibi genel kuramları sonsuz boyutlu uzaylara yaymaktır ki bu işlevin özelde adı sonsuz boyutlu analizdir.
Kümeler teorisi, matematiğin, matematiksel nesneler olan kümeleri inceleyen dalıdır. Neredeyse bütün matematik kümeler kuramının kendi dilinde ifade edilebilir. Alman matematikçi Georg Cantor tarafından 1874 ile 1895 yılları arasında geliştirilen ve daha sonrasında, Ernst Zermelo, Kurt Gödel gibi 20. yüzyılın oldukça tanınmış matematikçileri tarafından aksiyomatikleştirilen teoridir.
Matematikte çokludoğrusal cebir, doğrusal cebir yöntemlerinin genişletilmişidir. Vektör uzayı kümesinde yalnızca doğrusal cebir olarak ele alınır ve vektör uzayı kuramı geliştirilir. p vektörleri ve çokluvektör kavramlarını inceleyebilmek için çokludoğrusal cebirden faydalanılır.
Eşyapı ya da izomorfizma (ya da izomorfi), aynı kategoride(grupta) olan benzer iki matematiksel obje arasında bir gönderim olup matematiksel vücut tersi yapıda da muhafaza edilir. Aralarında bu şekilde eşyapı bulunan objelere eşyapısal ya da izomorf(ik) objeler denir. Örneğin iki küme arasında eşyapı, birebir, örten bir gönderimdir. Kümelerin üzerinde elemanlara sahip olma haricinde bir oluşum olmadığından, eşyapı gönderiminin koruyacağı başka bir yapı yoktur. Soyut cebirde iki grup arasında bir eşyapı, birebir, örten bir gönderimdir; dahası, iki gruptaki işleme saygı gösterir, bu iki işlemin birbirleriyle etkileşim halinde olmasını sağlar.
Teorik bilişim biliminde ve matematikte hesaplanabilirlik teorisi, belirli bir hesap modeline ait soruların uygun bir komut silsilesi ile ne kadar verimli bir şekilde çözülebileceğiyle ilgilenen daldır. Alan, üç yan ana dala ayrılmaktatır. Otomat teorisi ve dil, hesaplanabilirlik kuramı ve hesapsal karmaşıklık kuramı ki bunlar şu soru ile birbirine bağlanır:'Bilgisayarların temel kabiliyetleri ve sınırlamaları nelerdir?'
Tarih boyunca matematiğin konu çeşitliliği ve derinliği artmaktadır, matematiği kavrama, birçok konuyu matematiğin daha genel alanlarına göre sınıflandırma ve düzenleme için bir sistem gerektirir. Bir dizi farklı sınıflandırma şeması ortaya çıkmıştır ve bazı benzerlikleri paylaşsalar da, kısmen hizmet ettikleri farklı amaçlara bağlı olarak farklılıkları vardır. Ek olarak, matematik geliştirilmeye devam ettikçe, bu sınıflandırma şemaları da yeni oluşturulan alanları veya farklı alanlar arasında yeni keşfedilen bağlantıları dikkate alacak şekilde değişmelidir. Farklı alanlar arasındaki sınırı aşan, genellikle en aktif olan bazı konuların sınıflandırılması daha zor hale gelir.
Bu sayfa teoremlerin bir listesidir. Ayrıca bakınız:
- Sonlu basit grupların sınıflandırılması
- Temel teoremlerin listesi
- Yardımcı teoremler listesi
- Varsayımların listesi
- Eşitsizliklerin listesi
- Matematiksel kanıtların listesi
- Yanlış adlandırılmış teoremlerin listesi
Matematik, sayı, uzay, matematiksel yapı ve değişim gibi konuları araştıran bir çalışma alanıdır. Matematik ve bilim arasındaki ilişki hakkında daha fazla bilgi Matematik ve bilim bölümünde bulunabilir.
Matematik konularının listesi, matematik ile ilgili çeşitli konuları kapsar. Bu listelerden bazıları yüzlerce makaleye bağlantı içerir; bazıları sadece birkaç tane ile bağlantılıdır. Bu makale, aynı içeriği, göz atmaya daha uygun bir şekilde organize halde bir araya getirmektedir. Listeler, temel ve ileri matematik, metodoloji, matematiksel ifadeler, integraller, genel kavramlar, matematiksel nesneler ve referans tablolarının özelliklerini kapsar. Ayrıca insanların adını taşıyan denklemleri, matematiksel toplulukları, matematikçileri, matematik dergilerini ve meta listeleri de kapsar.
