наверно все-таки из теоремы пуанкаре, а не ферма? Хотя само понятие односвязности возникает не из теоремы, оно появляется раньше. Так вот, представьте себе какую-нибудь поверхность, например сферу. Потом обмотайте ее каким-либо образом ниткой и свяжите концы нитки, чтобы получилась замкнутая петля. Пусть нитка эластичная и умеет бесконечно сжиматься и растягиваться. Так вот если обмотанная вокруг сферы нитка начнет сжиматься (не отрываясь при этом от поверхности), довольно очевидно, что она сможет так сжаться до нулевой длины, в точку. Ей как-будто не за что зацепиться. А теперь представьте себе тор (бублик). На него можно натягивать петли разными способами, и довольно очевидно. некоторые из них никак не стянуть в точку.
Те поверхности, все петли на которых стягиваются в точку, называются односвязными