#fundamental group #base point #nullhomotopic #contractible #topology #algebraic topology #pi_1