Matematik: Nicelik, yapı, uzay ve değişim gibi konularla ilgilenen bilim dalı

Matematikçiler ve filozoflar arasında matematiğin kesin kapsamı ve tanımı konusunda görüş ayrılığı vardır.

Matematikçiler örüntüleri araştırır ve bunları yeni konjektürler formüle etmekte kullanırlar. Bu konjektürlerin doğruluğunu veya yanlışlığını matematiksel ispat yoluyla çözmeye çalışırlar. Matematiksel yapılar gerçek fenomenleri iyi modelize ettiklerinde matematiksel düşünce doğa hakkında tahmin yürütmemizi ve onun iç yüzünü anlamamızı sağlayabilir. Matematik soyutlama ve mantığı kullanarak ve sistemli çalışmayla fiziksel objelerin şekillerini ve hareketlerini saymayı, hesaplamayı ve ölçmeyi mümkün kılar ve böylece gelişir. Pratik matematik yazılı kayıtlardan beri insan etkinliği olagelmiştir. Matematik problemlerinin çözümü için gerekli araştırma yıllarca hatta yüzyıllarca süren bir çaba gerektirebilmektedir.

İlk titiz kayıtlara Yunan matematiğinde rastlanır. (Özellikle Öklid'in Elementler kitabında) Giuseppe Peano (1858-1932), David Hilbert (1862-1943) ve diğerlerinin geç 19 yüzyılda belitsel sistemler üzerine kurdukları çalışmalarından beri matematiksel araştırmada doğruyu kurmanın geleneği değişti. (Artık uygun olarak seçilen aksiyom ve tanımlardan titiz bir şekilde tümdengelim yapılmaktadır.) Matematik Rönesans'a kadar görece yavaş gelişti. Sonra matematikteki yenilikler diğer yeni bilimsel keșiflerle etkileșerek matematiksel keșiflerde günümüzde hâlâ devam eden hızlı bir artış sağladı.

Galileo Galilei (1564-1642) "Kainat dediğimiz kitap, yazıldığı dil ve harfler öğrenilmedikçe anlaşılamaz. O, matematik dilinde yazılmış; harfleri üçgen, daire ve diğer geometrik şekillerdir. Bu dil ve harfler olmaksızın kitabın tek bir kelimesinin anlaşılmasına olanak yoktur. Bunlar olmaksızın yapılan karanlık bir labirentte amaçsızca dolaşmaktır." Carl Friedrich Gauss (1777-1855) matematiği bilimlerin kraliçesine benzetmiştir. Benjamin Peirce (1809-1880) matematik için bilimlerin sonuçlarının çizilmesi için gereken bilim demiştir. David Hilbert "Biz burada gelişigüzel konuşmayız. Matematik şart koşulan rastgele kuralların olduğu bir oyun gibi değildir. O yalnızca içsel gerekliliğin olduğu kavramsal bir sistemdir, aksi hiçbir şey değil." Albert Einstein (1879-1955), "Matematik kesin olduğunda gerçeği yansıtmaz, gerçeği yansıttığında kesin değildir." Fransız matematikçi Claire Voisin, "Matematikte yaratıcı itki, her yerinde kendini ifade etmeyi denemesidir." der.

Matematik dünya genelinde doğa bilimleri, mühendislik, teknoloji ve maliye gibi birçok alanın temel aracıdır. Uygulamalı matematik, matematiksel bilginin diğer alanlara uygulanmasıyla ilgilidir. Bu uygulamalar sayesinde istatistik ve oyun teorisi gibi tamamıyla yeni matematik disiplinleri doğmuştur. Ayrıca matematikçiler soyut matematikle akıllarında herhangi bir kullanım olmadan da yalnızca matematik yapmak için uğraşırlar. Soyut matematikle uygulamalı matematiği ayıran belirgin bir çizgi yoktur. Soyut matematikteki keşifler sıklıkla pratik matematik uygulamalarının başlatıcısı olurlar.

Antik Yunanca Grekçe: matesis kelimesi matematik kelimesinin köküdür ve bilirim anlamına gelmektedir. Daha sonradan sırasıyla bilim, bilgi ve öğrenme gibi anlamlara gelen Grekçe: μάθημα (máthema) kelimesinden türemiştir. Grekçe: μαθηματικός (mathematikós) öğrenmekten hoşlanan anlamına gelir. Osmanlı Türkçesinde ise "riyaziye" denilmiştir. Matematik kelimesi Türkçeye Fransızca: mathématique kelimesinden gelmiştir.

Matematik, bilimde olduğu kadar günlük hayatta da bir insanın sık sık karşısına çıkar. Matematik, temeli mantığa dayanan bir sistemdir ve zihni geliştiren bir araç olarak kişiye rasyonel bakış açısı kazandırır. Kişiye özgür ve ön yargısız bir düşünce ortamı yaratır. İnsanın sistemli, mantıklı, tutarlı düşünmesini sağlar. Bu yüzden matematik dersi ilköğretimden yükseköğretim programlarına kadar her alanda yer alır. İlköğretimde ortaöğretime hazırlık olarak, ortaöğretimde yükseköğretime hazırlık olarak matematik öğretimi yapılır.

Rönesans'tan önce matematik iki ana alana ayrılıyordu: sayıların işlenmesiyle ilgili olarak aritmetik ve şekillerin incelenmesiyle ilgili olarak geometri. Nümeroloji ve astroloji gibi bazı sahte bilim türleri, o zamanlar matematikten açıkça ayırt edilmiyordu.

Rönesans sırasında iki alan daha ortaya çıktı. Matematiksel gösterim, kabaca formüllerin çalışılmasından ve işlenmesinden oluşan cebir'e yol açtı. Sonsuz küçükler hesabı ve integral hesabı olmak üzere iki alt alandan oluşan Kalkülüs, değişkenler ile temsil edildiği şekliyle değişen nicelikler arasındaki tipik doğrusal olmayan ilişkileri modelleyen sürekli fonksiyonlar çalışmasıdır. Aritmetik, geometri, cebir, hesap olmak üzere dört ana alana bölünme 19. yüzyılın sonuna kadar sürdü. Ardından Gök mekaniği ve katı mekaniği gibi alanlar matematikçiler tarafından incelendi ancak artık bunlar fiziğin konularıdır. Kombinatorik konusu kayıtlı tarihin büyük bir bölümünde çalışıldı ancak on yedinci yüzyıla kadar ayrı bir matematik dalı haline gelmedi.

19. yüzyılın sonunda, matematiğin temel krizi ve sonuçta aksiyomatik yöntemin sistemleştirilmesi matematiğin yeni alanlarının patlamasına yol açtı.

2020 Matematik Konu Sınıflandırması en az altmış üç birinci düzey alan içerir. Bu alanlardan bazıları sayı teorisi (yüksek aritmetik'in modern adı) ve geometri ile ilgili olduğu gibi eski bölüme karşılık gelir. Diğer bazı birinci seviye alan adlarında "geometri" vardır veya genellikle geometrinin parçası olarak kabul edilirler. Cebir ve hesap, birinci düzey seviye olarak görülmez ama birkaç birinci seviye alanına ayrılır. Matematiksel mantık ve temeller gibi diğer birinci seviye alanlar 20. yüzyılda ortaya çıktı veya daha önce matematik olarak kabul edilmemişlerdi.

• Cebirsel geometri ve teknikleri, robot ve bilgisayar oyunu modellemelerinde kullanılır.

•  

  Diferansiyel denklemler ve sayısal analiz teknikleri uçak ve motor modellemelerinde, uydu yapımında ve daha genel olarak dinamik sistemlerin değişimlerinin ölçümünde kullanılır.
• Fraktallar, anten teknolojisinde hacmi küçük, yüzey alanı büyük antenlerin yapımında kullanılır. Ayrıca fraktal geometri, canlılarda kılcal damarların düzeni ve kanın akışının izahında kullanılır.
• Kendini kopyalayabilen makineler ve sembolik otomatlar, uzay istasyonlarından Dünya'ya gönderilen dijital verinin kaybolan parçalarının yeniden inşa edilmesinde kullanılır.
• Fourier analizi ve teknikleri, iletişim ağlarında verinin çok uzak mesafelere gönderilebilmesi ve kaybın en az olması için kullanılır. Ayrıca, Fourier teknikleri resim, video ve dijital müziğin sıkıştırılmasında kullanılır.
• Hücresel otomatlar, biyolojik canlıların üremelerini ve hastalıkların yayılmalarını modellemek için kullanılır.
• Cebirsel topolojinin bir alt dalı olan uygulamalı homoloji, dijital verinin matematiksel topolojisini belirlemek için kullanılır. Buna en iyi örnek, uzak gezegenlerin fotoğraflarından gezegen yüzeyinin coğrafyasının belirlenmesidir.
• Algoritmik teknikler programcılıkta kullanılır.
• Soyut mantık, elektrik devresi ve bilgisayar dizaynında kullanılır.
• Graf teorisi, veri tabanının topolojik ve kombinatorik olarak incelenmesinde kullanılır. Örnek olarak, bir ülkedeki hastanelerin bulundukları yer ile aralarındaki uzaklıkların ideal olup olmadığının belirlenmesini verebiliriz. Bir başka örnek ise internet sitelerinin dağılımlarının incelenmesidir.

Sayı teorisi

 

Sayı teorisi, sayıların, yani doğal sayılar ${\displaystyle (\mathbb {N} ),}$ 'nin işlenmesiyle başladı ve daha sonra tam sayılara ${\displaystyle (\mathbb {Z} )}$  ve rasyonel sayılara ${\displaystyle (\mathbb {Q} ).}$  doğru geliştirildi. Eskiden sayı teorisine aritmetik denirdi ancak günümüzde bu terim çoğunlukla sayısal hesaplamalar için kullanılır. Sayı teorisinin kökeni eski Babil ve muhtemelen Çin'e dayanmaktadır. Önde gelen ilk sayı teorisyenleri Öklid ve Diophantus idi. Sayı teorisinin soyut biçimindeki modern çalışması büyük ölçüde Pierre de Fermat ve Leonhard Euler'e atfedilir. Alan, Adrien-Marie Legendre ve Carl Friedrich Gauss'un katkılarıyla meyvesini verdi. Kolayca ifade edilen birçok sayı probleminin, matematiğin her yerinden gelişmiş yöntemler gerektiren çözümleri vardır. Öne çıkan bir örnek Fermat'nın son teoremi‘dir. Bu varsayım 1637'de Pierre de Fermat tarafından ifade edildi ancak yalnızca 1994 yılında Andrew Wiles tarafından cebirsel geometri, kategori teorisi ve homolojik cebir'den şema teorisini içeren araçlar kullanılarak kanıtlandı.

Başka bir örnek, 2'den büyük her çift tam sayının iki asal sayı'nın toplamı olduğunu öne süren Goldbach hipotezi'dir. 1742'de Christian Goldbach tarafından ifade edilen, büyük çabalara rağmen bugüne kadar kanıtlanmamıştır.

Sayı teorisi, analitik sayı teorisi, cebirsel sayı teorisi, sayıların geometrisi (yöntem yönelimli), diophantine denklemleri ve aşkınlık teorisi dahil olmak üzere birçok alt alanı içerir.

${\displaystyle 0,1,2,3,4...\,\!}$	${\displaystyle -2,-1,0,1,2\,\!}$	${\displaystyle -2,{\frac {2}{3}},1.21\,\!}$	${\displaystyle {\sqrt {2}},\pi \,\!}$	${\displaystyle -e,{\sqrt {2}},3,\pi \,\!}$	${\displaystyle 2,i,-2+3i,2e^{i{\frac {4\pi }{3}}}\,\!}$	${\displaystyle a+bi+cj+dk\,\!}$	${\displaystyle 2,3,5,7\,\!}$	${\displaystyle e,\pi \,\!}$
Doğal sayılar	Tam sayılar	Rasyonel sayılar	İrrasyonel sayılar	Reel sayılar	Karmaşık sayılar	Dördeyler	Asal sayılar	Sabitler

${\displaystyle a+\mathbf {h} b\,\!}$	${\displaystyle \mathbf {e} _{3}^{2}=1\,\!}$	${\displaystyle z=\pm \sum _{i=k}^{\infty }a_{i}\cdot p^{i}\,\!}$	${\displaystyle 1+2+3....n=n.(n+1)/2\,\!}$	π,e	${\displaystyle 6,28,496\,\!}$	${\displaystyle 1_{2},10_{2}\,\!}$	${\displaystyle 0\,\!}$
Hiperbolik sayılar	Çifte karmaşık sayılar	P-sel sayılar	Ardışık sayılar	Aşkın sayı	Mükemmel sayı	İkili sayılar	Sıfır

Geometri

 

Geometri, matematiğin en eski dallarından biridir. Doğrular, açılar ve daireler gibi şekillerle ilgili ampirik tariflerle başladı ve esasen yerölçümünün ve mimari'nin ihtiyaçları için geliştirildi ancak o zamandan beri diğer birçok alt alana yayıldı.

Temel yenilik eski Yunanlar tarafından kanıtlar kavramının getirilmesiydi ve her iddianın "kanıtlanması" gerekliliği vardı. Örneğin iki uzunluğun eşit olduğunu ölçerek doğrulamak yeterli değildir. Uzunlukların eşit olup olmadıkları önceden kabul edilmiş sonuçlardan (teoremler) ve birkaç temel ifadeden çıkarım yapılarak kanıtlanmalıdır. Temel ifadeler apaçık anlaşılabilir olduklarından (varsayımlar) veya çalışma konusu tanımın parçası olduklarından (aksiyomlar) ispata tabi değildirler. Tüm matematiğin temelini oluşturan bu ilke ilk olarak geometri için geliştirildi ve Öklid tarafından MÖ 300 civarında Elementler adlı kitabında sistemleştirildi.

Ortaya çıkan Öklid geometrisi Öklid düzleminde (düzlem geometrisi) ve üç boyutlu Öklid uzayındaki çizgilerden, düzlemlerden ve dairelerden inşa edilmiş şekillerin ve düzenlemelerinin incelenmesidir.

Öklid geometrisi, René Descartes'ın Kartezyen koordinatları tanıttığı 17. yüzyıla kadar yöntem veya kapsam değişikliği olmadan geliştirildi. Bu büyük bir paradigma değişikliği idi. Çünkü gerçek sayıları doğru parçalarının uzunlukları olarak tanımlamak yerine (bkz. sayı doğrusu), noktaların koordinatlarını (sayılar) kullanarak temsiline imkan verdi. Bu, kişinin geometrik problemleri çözmek için cebiri (ve daha sonra kalkülüsü veya hesabı) kullanmasına imkan verir. Bu, geometriyi iki yeni alt alana ayırdı: tamamen geometrik yöntemler kullanan sentetik geometri ve sistematik olarak koordinatları kullanan analitik geometri.

Analitik geometri, daireler ve doğrularla ilgili olmayan eğrilerin çalışılmasına izin verir. Bu tür eğriler fonksiyonların grafiği olarak tanımlanabilir (çalışması diferansiyel geometri'ye yol açtı). Ayrıca kapalı denklemler, genellikle cebirsel denklemleri (cebirsel geometri'yi doğuran) olarak da tanımlanabilir. Analitik geometri ayrıca üç boyuttan daha yüksek Öklid uzaylarını dikkate almayı mümkün kılar.

19. yüzyılda matematikçiler, paralel varsayımı izlemeyen Öklid dışı geometrileri keşfettiler. Bu varsayımın doğruluğunu sorgulayarak, bu keşfin Matematiğin temellerini ortaya çıkarmada Russel paradoksu ile birleştiği görüldü. Krizin bu yönü, aksiyomatik yöntemi sistematik hale getirerek ve seçilen aksiyomların doğruluğunun matematiksel bir problem olmadığını benimseyerek çözüldü. Buna karşılık aksiyomatik yöntem ya aksiyomları değiştirerek ya da uzay'ın belirli dönüşümleri altında değişmez olan özellikleri dikkate alarak elde edilen çeşitli geometrilerin incelenmesine imkan verir.

Günümüzde geometrinin alt alanları şunlardır:

• 16. yüzyılda Girard Desargues tarafından tanıtılan Projektif geometri, paralel çizgiler'in kesiştiği sonsuzda noktalar ekleyerek Öklid geometrisini büyütür. Bu, kesişen ve paralel çizgiler için işlemleri birleştirerek klasik geometrinin birçok yönünü kolaylaştırır.
• Afin geometri, paralellik ile ilgili ve uzunluk kavramından bağımsız özelliklerin incelenmesi.
• Diferansiyel geometri, diferansiyel fonksiyonları kullanılarak tanımlanan eğrilerin, yüzeylerin ve bunların genellemelerinin incelenmesi
• Manifold teorisi, daha geniş uzaya gömülü olması gerekmeyen şekillerin incelenmesi
• Riemann geometrisi, eğri uzaylarda mesafe özelliklerinin incelenmesi
• Cebirsel geometri, polinomlar kullanılarak tanımlanan eğrilerin, yüzeylerin ve bunların genellemelerinin incelenmesi
• Topoloji, sürekli deformasyonlar altında tutulan özelliklerin incelenmesi
  • Cebirsel topoloji, cebirsel yöntemlerin, özellikle homolojik cebirin topolojide kullanımı
• Ayrık geometri, geometride sonlu yapılanmaların incelenmesi
• Dışbükey geometri, önemini optimizasyon uygulamalarından alan dışbükey kümelerin incelenmesi,
• Karmaşık geometri, gerçek sayıların karmaşık sayılar ile yer değiştirilmesiyle elde edilen geometri

Cebirsel geometri -- Analitik geometri -- Diferansiyel geometri -- Diferansiyel topoloji -- Cebirsel topoloji -- Lineer cebir --Fraktal geometri

Geometri	Trigonometri	Diferansiyel geometri	Topoloji	Fraktal geometri

Hesap

Aritmetik -- Analiz -- Türev -- Kesirli hesap -- Fonksiyonlar -- Trigonometrik fonksiyonlar

Kalkülüs	Vektör hesabı	Diferansiyel denklemler	Dinamik sistem	Kaos teorisi

Temel matematiksel yapılar

Monoid -- Öbek (matematik) -- Halkalar -- Cisim (Cebir) -- Topolojik Uzaylar -- Çokkatlılar -- Hilbert aksiyomları -- Sıralamalar

Temel matematiksel kavramlar

Cebir -- Kümeler -- Sayılar -- Bağıntılar--Fonksiyonlar -- Limit -- Süreklilik -- Türev ve Türevlenebilirlik -- Analitik geometri -- İntegrallenebilirlik -- Matris --Determinantlar -- Eşyapı -- Homotopi -- İyi-sıralılık ilkesi -- Sayılabilirlik -- Soyutluk -- Oran -- Orantı -- Polinom -- Permütasyon -- Kombinasyon -- Logaritma -- Diziler -- Seriler -- Lineer cebir

Matematiğin ana dalları

Soyut cebir -- Sayılar teorisi -- Cebirsel geometri -- Grup teorisi -- Analiz -- Topoloji -- Graf teorisi -- Genel cebir -- Kategori teorisi -- Matematiksel mantık -- Türevsel denklemler -- Kısmi türevsel denklemler -- Olasılık -- Kompleks fonksiyonlar teorisi

Sayılar teorisi	Soyut cebir	Grup teorisi	Graf teorisi

Sonlu matematik

Kombinatorik -- Saf küme teorisi -- Olasılık -- Hesap teorisi -- Sonlu matematik -- Kriptografi -- Graf teorisi -- Oyun teorisi

${\displaystyle {\begin{matrix}(1,2,3)&(1,3,2)\\(2,1,3)&(2,3,1)\\(3,1,2)&(3,2,1)\end{matrix}}}$
Kombinatorik	Hesap teorisi	Kriptografi	Graf teorisi

Uygulamalı matematik

Mekanik -- Sayısal analiz -- Optimizasyon -- Olasılık -- İstatistik -- Finansal matematik

•  
  Matematiksel fizik
•  
  Akışkanlar mekaniği
•  
  Sayısal analiz
•  
  Optimizasyon
•  
  Olasılık teorisi
  Olasılık
•  
  İstatistik
•  
  Finansal matematik
•  
  Oyun teorisi

Ünlü teoriler ve hipotezler

Fermat'nın son teoremi -- Riemann hipotezi -- Süreklilik hipotezi -- P=NP -- Goldbach hipotezi -- Gödel'in yetersizlik teoremi -- Poincaré hipotezi -- Cantor'un diagonal yöntemi -- Pisagor teoremi -- Merkezsel limit teoremi -- Hesabın temel teoremi -- İkiz asallar hipotezi -- Cebirin temel teoremi -- Aritmetiğin temel teoremi -- Dört renk teoremi -- Zorn önsavı -- Fibonacci dizisi

Temeller ve yöntemler

Matematik felsefesi -- Sezgici matematik -- Oluşturmacı matematik -- Matematiğin temelleri -- Kümeler teorisi -- Sembolik mantık -- Model teorisi -- Kategori teorisi -- Teorem ispatlama -- Mantık -- Tersine matematik -

${\displaystyle p\Rightarrow q\,}$
Matematiksel mantık	Küme	Kategori Teorisi

• Fx Draw
• Macsyma
• MAP
• Maple
• Math Type
• Mathcad
• Mathematica
• MathML
• Matlab
• Maxima
• Mupat
• GeoGebra

• Fields madalyası
• Matematiğin ana hatları
• Matematik ödülleri listesi
• Matematik yarışmalarının listesi
• Matematiksel sembollerin listesi
• Matematik konularının listesi
• Matematik toplulukları listesi
• Matematik tarihi konularının listesi
• Fen, teknoloji, mühendislik ve matematik
• Matematiğin dalları
• Matematik eğitimi
• Matematik felsefesi
• Ayrık matematik
• Matematik mühendisliği
• Matematik Dünyası
• Amerikan Matematik Topluluğu
• Uluslararası Matematik Olimpiyatı
• Sembolik matematik
• Antik Mısır matematiği
• Popüler matematik
• Matematik Ansiklopedisi
• Matematik hikayeleri
• Matematik tarihçileri listesi

• Toplum ve bilimler açısından matematik 14 Kasım 2012 tarihinde Wayback Machine sitesinde arşivlendi.
• Matematik Felsefesi 3 Nisan 2013 tarihinde Wayback Machine sitesinde arşivlendi.
• Açıköğretim- Matematik öğretimi Hakkında Bilgi
• Matematik Öğretimi Hakkında 12 Temmuz 2014 tarihinde Wayback Machine sitesinde arşivlendi.
• Açıköğretim Matematik Öğrenmek
• Modern Matematik 25 Ağustos 2014 tarihinde Wayback Machine sitesinde arşivlendi.