В каком источнике можно посмотреть разбор факта, что область замкнутой поверхности стягиваема (гомотопически эквивалентна точке) тогда и только тогда, когда в результате приклеивания диска

по границе этой области получается сфера

?
Я не думаю, что это верно так, как написано. Граница стягиваемой области может быть очень плохой, в том числе, по-видимому, и не гомеоморфной

. В этом случае непонятно, что значит "в результате приклеивания диска по границе".