Topologija (gr. τοπος = topos 'paviršius, vieta' + λογος = logos 'mokslas') – mokslas apie tolydžius (netrūkius) paviršius, apie erdvės savybes, kurios nepakinta, atliekant tolydžias deformacijas, pavyzdžiui, transformuojant (tempiant, lenkiant, bet ne perplėšiant ar suklijuojant) paviršius ir keičiant paviršiaus elementų susietumą ir (ar) orientuojamumą.[1] Griežtai matematiškai tai yra atvirų aibių rinkinių tyrimas, kai tam tikra aibė vaizduojama kaip topologinė erdvė. Svarbios topologinės savybės yra susietumas ir kompaktiškumas.
Topologijos tyrimų sritis atsiskyrė jungiant tam tikrus geometrijos dalykus ir aibių teoriją, siekiant išsiaiškinti tokias sąvokas kaip erdvė, jos matavimai ir transformacijos. Pirmines idėjas sutinkame Gotfrydo Leibnico veikaluose, kuris jau XVII a. kalbėjo apie lot. geometria situs (graikų ir lotynų kalbų hibridinis darinys, reiškiantis „vietos geometriją“) ir lot. analysis situs (vietos analizė). Oilerio Septynių Karaliaučiaus tiltų problema ir briaunainio savybė neginčytinai yra pirmosios teoremos, kuriomis grindžiama topologija. Topologijos terminą XIX a. įvedė Johanas Listingas (Johann Benedict Listing), bet pati topologinės erdvės idėja buvo suformuluota tik pirmame XX a. dešimtmetyje. Nepaisant neskubios pradžios, XX a. viduryje topologija jau tapo svarbia matematikos šaka.
Šiuolaikinę topologiją sudaro kelios specializuotos šakos: