Cebirsel topoloji: Revizyonlar arasındaki fark

'''Cebirsel topoloji''', [[topolojik uzaylar]]ı cebirsel gereç ve yöntemlerle inceleyen matematik dalı. Matematikte bir kümenin üzerine döşenecek yapı, yönelinen matematik dalını belirler. Bir kümeye bir ya da birkaç işlem konarak [[sayılar kuramı]] ya da [[cebir]] yapmaya başlanabilir. Kümenin üzerine bir [[topoloji]] koyaraksa topoloji ve, ayrıca uzunluk koyarsak, geometri yapmaya başlanır. Üzerine topoloji konmuş bir uzayı (örneğin herhangi boyutlu bir Öklit uzayı) incelemek için kimi [[cebirsel]], [[aritmetik]] veya [[topolojik]] [[değişmez]]ler tanımlanır; bunlar aracılığıyla topolojik uzayın özellikleri ayırdedilir. Örneğin [[tıkızlık]], [[bağlantılılık]], [[sayılabilirlik]] bu tür değişmezlerdir. [[Topolojik eşyapı]]sal (birbirlerine homeomorfik) iki uzaydan biri bu değişmeze sahipse diğeri de buna sahip olmalıdır. Yani, eğer iki uzay için ayrı ayrı bakılan bir değişmez ''aynı'' değilse, bu iki uzay eşyapısal olmayacaktır. Yukarıda anılan en eski değişmezlerin hemen ardından inşa edilen klasik değişmezler cebirsel olanlardır.