Topoloji Nedir?

Topoloji, matematikte uzayların ve bu uzaylardaki şekillerin sürekli dönüşümler altındaki özelliklerini inceleyen bir alandır. Bu alan, nesnelerin şekilsel özelliklerinin, koparma veya yapıştırma olmadan nasıl değiştirilebileceğini araştırır. Örneğin, bir çemberin bir kareye veya bir kahve fincanının bir simite dönüşebilmesi topolojinin inceleme alanına girer. Bu tür nesneler arasında sürekli dönüşümler varsa, bu nesneler topolojik olarak eşdeğerdir. Topolojik uzay, belirli bir küme üzerinde tanımlanmış açık kümeler ailesi ile tanımlanır ve bu aile belirli aksiyomları sağlamalıdır.

Bir topolojik uzay $(X, \tau)$ tanımı altında $X$ bir küme, $\tau$ ise bu kümenin açık kümeler ailesidir. Bu açık kümeler, uzayın her noktasındaki lokal özellikleri belirlemektedir. Topoloji, belirli bir uzayın alt kümelerinin sürekli fonksiyonlar altındaki davranışlarını inceler. Örneğin, $\tau$ ailesinin özellikleri şu şekildedir: Boş küme ve $X$ kendisi açık kümedir; herhangi iki açık kümenin kesişimi yine açık bir kümedir; ve herhangi bir açık kümeler ailesinin birleşimi de açık bir kümedir.

Ayrıca, bir topolojik uzayın bağlantılılık ve kompaktlık gibi özellikleri de önemlidir. Bir uzayın bağlantılı olması, bu uzayın iki ayrık açık küme olarak ayrılmaması anlamına gelir. Kompaktlık ise bir uzayın her açık örtüsünün sonlu bir alt örtüsü bulunması durumunu ifade eder. Örneğin, $\mathbb{R}$ reel sayı doğrusu üzerinde kapalı bir aralık olan $[a, b]$, Heine-Borel teoremine göre kompakttır. Kompaktlıkla ilgili olarak, her açık örtü ${U_i}$ için, ${U_i} \quad \text{üzerinde sonlu bir alt küme}; {U_{i_1}, U_{i_2}, \ldots, U_{i_n}} \quad \text{bulunur.}$