Topoloji, matematiğin ana dallarından biridir. Yunancada yer, yüzey veya uzay anlamına gelen topos ve bilim anlamına gelen logos sözcüklerinden türetilmiştir. Topoloji biliminin kuruluş aşamalarında yani 19. yüzyılın ortalarında, bu sözcük yerine aynı dalı ifade eden Latince analysis situs ür.
Topolojik uzaylar, matematiğin Topoloji dalının başlıca uğraş konularıdır. Bir X kümesi ve bu kümenin alt kümelerinin bir kısmını içeren ve aşağıdaki varsayımları sağlayan S kümesinden oluşurlar:
Tıkızlık, topolojik uzayların sahip olabileceği başlıca özelliklerden biridir. Bir X uzayı ve birleşimleri X uzayını kaplayan herhangi bir açık kümeler topluluğu verildiğinde, bu topluluğun içinden sonlu sayıda açık küme hala X uzayını kaplayabiliyorsa, X uzayına tıkız (kompakt) denir. Gerçel sayılar kümesi (ℜ), üzerindeki standart topolojiye göre tıkız değildir, ancak ℜ’nin her kapalı ve sınırlı alt kümesi altuzay topolojisine göre tıkızdır. Matematiğin diğer pek çok alanında olduğu gibi, sonsuz bir nesnenin sonlu bir nesneye indirgenebilmesi çok önemli avantajlar sağladığı için topoloji alanında ve topolojik yöntemler kullanan diğer alanlarda vazgeçilmez bir kavramdır.
Homeomorfizma veya topolojik eşyapı , matematiksel alanda topolojinin incelediği temel konulardan biridir ve iki uzayın parça koparmadan sürekli olarak birbirine dönüşümünü inceler. Kelime Yunanca homoios "benzer" ve morphē "şekil-şeklini bozmak" kelimelerinden türemiştir. Bu benzeşimler birçok değişken altyapı işlevleri ile açıklanabilir.
Başlangıçta sonsuz küçük hesap veya "sonsuz küçüklerin hesabı" olarak adlandırılan kalkülüs, geometrinin şekillerle çalışması ve cebirin aritmetik işlemlerin genellemelerinin incelenmesi gibi, kalkülüs sürekli değişimin matematiksel çalışmasıdır.
Bölüm topolojisi, bir topolojik uzaydan başka bir topolojik uzay elde etmenin klasik yollarından biridir. Bir topolojik uzayda kimi noktaların birbirine yapıştırılmasıyla (özdeşleştirilmesiyle) elde edilen yeni kümenin üzerine konacak bölüm topolojisi, bu yeni kümeyi yeni bir topolojik uzaya dönüştürür. Bu yeni uzaya bölüm uzayı denir. Örneğin [0,1] kapalı aralığı bir topolojik uzaydır. Bu uzayda 0 ve 1 noktaları özdeşleştirilir ve bu yeni kümeye bölüm topolojisi verilirse oluşturulan topolojik uzay düzlemde birim çember olur. Başka bir örnek: düzlemde yatan birim yarıçaplı dairenin kenarının üst tarafındaki her bir nokta kenarın alt tarafında karşılık gelen noktaya yapıştırılır ve bu yeni kümenin üzerine bölüm topolojisi konursa, bu topolojik uzay 3 boyutlu Öklit uzayında birim yarıçaplı küre olur.
Matematiğin matematiksel fizik alanında ve rassal süreçler teorisinde bir harmonik fonksiyon, Rn'nin U gibi açık bir kümesi üzerinde f : U → R şeklinde tanımlı, Laplace denklemini, yani
Karmaşık analizde açık gönderim teoremi, U, karmaşık düzlem C 'nin bağlantılı açık bir altkümesiyse ve f : U → C sabit olmayan holomorf bir fonksiyonsa, o zaman f 'nin açık gönderim olduğunu ifade eder.
Karmaşık analizde, bir kaldırılabilir tekillik veya daha düzgün bir söylemle, bir holomorf fonksiyonun kaldırılabilir tekilliği, fonksiyonun görünüşte holomorf olmadığı; ancak daha yakın bir incelemeden sonra fonksiyonun tanım kümesinin bu tekilliği de içerecek şekilde genişletilebileceği bir noktadır.
Topolojide, geometrik bir nesne veya uzaya yol bağlantılıysa ve iki nokta arasındaki her yol sürekli bir şekilde bir diğerine dönüştürülebiliyorsa basit bağlantılı adı verilir.
Topolojide tıkız-açık topoloji, bir topolojik uzaydan bir diğerine tüm sürekli gönderimlerin oluşturduğu küme üzerine konan bir topolojidir. Fonksiyonel analizde fonksiyon uzaylarına konan doğal bir topolojidir.
Pürüzsüz (gıcır) çokkatlı, türevli topolojide bir çeşit topolojik çokkatlı. Tanımı sayesinde, üzerinde türev alınabilir bir uzaydır. Örneğin türev ve integralin ilk tanımlandığı gerçel sayılar kümesi, 1 boyutlu pürüzsüz bir çokkatlıdır.
Matematikte deste, bir topolojik uzayın açık altkümelerine ilişkin yerel tanımlı verilerin sistematik olarak incelenmesini sağlayan bir araçtır.
Fonksiyonlar, sahip oldukları özelliklere göre sınıflandırılabilir.
Ayrılma belitleri bir topolojik uzayın üzerine konan ve noktaların ve altkümelerin birbirilerinden ne kadar ayrı olduğunu belirten belitler ailesi. Bir topolojik uzayın bu belitlerden birini sağladığı söylendiğinde, topolojisi hakkında global bir bilgi verilmiş ve topolojinin cinsi daraltılmış olur. Örneğin, topolojinin sahip olduğu açık kümelere bakmaksızın o topolojinin T0 olduğunu söylemek, topolojik uzayda seçilmiş herhangi iki noktanın birbirlerinden ayırt edilebilir olduğunu garanti eder.
Matematikte fonksiyon uzayı bir X kümesinden bir Y kümesine tanımlı fonksiyonların oluşturduğu kümeye verilen bir addır. Fonksiyonlar kümesi yerine fonksiyon uzayı denilmesinin nedeni matematiğin kendi içindeki uygulamalarında bu kümenin genellikle topolojik uzay veya vektör uzayı olarak ortaya çıkmasıdır.
Matematikte bir fonksiyonun limiti, kalkülüs ve analizde kullanılan bir temel kavramdır ve belirli bir girişe yaklaşan bir fonksiyonun davranışı ile ilgilidir.
Holomorf fonksiyonlar karmaşık analizin temel çalışma araçlarından biridir. Bu fonksiyonlar karmaşık düzlemin yani C'nin açık bir altkümesinde tanımlı, bu altkümedeki her noktada karmaşık anlamda türevli ve aldığı değerler yine C içinde olan fonksiyonlardır.
Matematikte, genel topoloji, topolojide kullanılan temel kümeler teorisi tanımları ve yapılarıyla ilgilenen topoloji dalıdır. Diferansiyel topoloji, geometrik topoloji ve cebirsel topoloji dahil diğer birçok topoloji dalının temelini oluşturur.
Matematikte, bir càdlàg fonksiyon, gerçek sayıların bir altkümesi üzerinde tanımlı ve bu tanım kümesinin her noktasında sağdan sürekli, soldan limitli olan bir fonksiyondur. Cadlàg fonksiyonlar, özellikle sıçramaları olan stokastik süreçlerin incelenmesinde önemlidir. Bir tanım kümesi üzerindeki càdlàg fonksiyonların kümesine Skorokhod uzayı denir.
