Reshetnyaks limteorem är ett nyckelresultat av Alexanders geometri . Satsen låter en konstruera CAT(k)-mellanrum genom att limma CAT(k)-mellanrum över konvexa mängder.
Teoremet formulerades och bevisades av Yuri Reshetnyak 1968.
Låt vara CAT (k) utrymmen , och vara konvexa delmängder isometriska till varandra, och låt vara lite isometri. Då är utrymmet som erhålls genom att limma från till också ett CAT(k)-mellanrum .
I synnerhet, om och är Hadamard-utrymmen , är det också ett Hadamard-utrymme.