Gruppi di omotopia
Da Wikipedia, l'enciclopedia encyclopedia
In matematica, i gruppi di omotopia sono un oggetto algebrico che intuitivamente misura la quantità di "buchi n-dimensionali" di uno spazio. Il gruppo di omotopia più usato è il gruppo fondamentale, che corrisponde al caso n=1. Per n>1 tali oggetti algebrici sono spesso difficilmente calcolabili anche per gli spazi topologici più semplici, come ad esempio le sfere, e per questo motivo si usano spesso al loro posto i gruppi di omologia.