cobordismo
In matematica, nella topologia differenziale, teoria del c. (ideata da R. Thom attorno al 1954): se si considera la totalità delle varietà differenziabili compatte, prive di frontiera e aventi una stessa dimensione n, si può introdurre una relazione di equivalenza chiamando cobordanti due varietà M1, M2, quando la loro unione costituisce la frontiera di una varietà n+1-dimensionale. È anzi possibile operare secondo due punti di vista differenti, ossia considerare le varietà provviste o no di orientazione. Si arriva così, per ogni valore della dimensione n, a due gruppi abeliani detti gruppi di cobordismo. Si dimostra ( teorema di Thom) che essi sono isomorfi a certi gruppi di omotopia; per quanto riguarda poi i gruppi di c. che attengono alle varietà orientate, se la dimensione n non è multipla di 4, il gruppo è finito, se invece n=4k il gruppo ha tanti generatori indipendenti quante sono le partizioni di k (➔ partizione). Il problema topologico di calcolare i gruppi di c. è così ricondotto al problema aritmetico, purtroppo non ancora risolto, di valutare le partizioni di k.