Geometrik cisimlerin nitel özelliklerini ve bağıl konumlarını biçimlerinden ve büyüklüklerinden bağımsız bir şekilde inceleyen geometri dalıdır.
Örnek vermemiz gerekirse; bir tenis topuyla herhangi bir küre, bir kahve fincanıyla bir araba lastiği ve hatta simit, topolojik olarak aynıdır.
Matematiksel Tanımı
X herhangi bir küme, T ise X kümesinin altkümelerinin bir kısmından oluşan bir küme olsun. Eğer T aşağıdaki koşulları sağlıyorsa T’ye X’in üzerinde bir topoloji denir:
- Boşküme ve X, T’nin elemanları olmalıdır.
- T’nin herhangi sayıda elemanının (X’in altkümesi olarak) birleşimi yine T’nin elemanı olmalıdır.
- T’nin sonlu sayıda elemanının kesişimi yine T’nin elemanı olmalıdır.
Bu koşulların sağlanması durumunda T ile donatılmış X kümesine bir topolojik uzay denir.