Matematik (Yunanca μάθημα máthēma, "bilgi, çalışma, öğrenme"); 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ç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. Matematiksel 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.
Matematik kelimesi köken olarak Grekçe: máthēma (μάθημα) kelimesinden gelir ve 'bilirim' anlamına gelmektedir.[1] 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.[2]Nümeroloji ve astroloji gibi bazı sahte bilim türleri, o zamanlar matematikten açıkça ayırt edilmiyordu.[3]
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[4] 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.[5]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.[6]
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ı.[7][8]
2020 Matematik Konu Sınıflandırması en az altmış üç birinci düzey alan içerir.[9] 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.[10]
Cebirsel geometri ve teknikleri, robot ve bilgisayar oyunu modellemelerinde kullanılır.
ÖklidDiferansiyel 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.
Bu, asal sayıların dağılımını gösteren Ulam spirali'dir. Sarmaldaki koyu köşegen çizgiler, artık Hardy ve Littlewood'un Sanısı F olarak bilinen bir varsayım olan ikinci dereceden bir polinomun asal olması ile bir değeri olması arasındaki varsayımsal yaklaşık bağımsızlığa işaret eder.
Sayı teorisi, sayıların, yani doğal sayılar'nin işlenmesiyle başladı ve daha sonra tam sayılara ve rasyonel sayılara 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.[11] Sayı teorisinin kökeni eski Babil ve muhtemelen Çin'e dayanmaktadır. Önde gelen ilk sayı teorisyenleri Öklid ve Diophantus idi.[12] 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.[13]
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ı.[14]
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.[15]
Bir kürenin yüzeyinde, Öklid geometrisi yalnızca yaklaşık olarak doğrudur. Daha büyük ölçeklerde üçgenin açılarının toplamı 180°'ye eşit değildir.
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ı.[26]
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.[27][28]
Ö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.[29]
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.[26]
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ü.[8][30] 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.[31]
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
^Kleiner, Israel (Şubat 2000). "From Fermat to Wiles: Fermat's Last Theorem Becomes a Theorem". Elemente der Mathematik. 55: 19-37. doi:10.1007/PL00000079.
.jpg)
