Связная сумма

Связная сумма — конструкция в топологии, позволяющая построить связное ${\displaystyle n}$-мерное многообразие по двум данным связным ${\displaystyle n}$-мерным многообразиям.

Связная сумма многообразий ${\displaystyle M}$ и ${\displaystyle N}$ обычно обозначается ${\displaystyle M\#N}$.

Для построения связной суммы ${\displaystyle M\#N}$ необходимо вырезать из ${\displaystyle M}$ и ${\displaystyle N}$ по открытому шару и склеить полученные сферические края по гомеоморфизму. Если оба многообразия ориентируемы, то при склеивании учитывается ориентация.

Для определения связной суммы в гладкой категории, склеивают воротнички у края по диффеоморфизму.

Эта операции однозначно определена с точностью до гомеоморфизма и соответственно диффеоморфизма.

• ${\displaystyle S^{n}\#M^{n}$ гомеоморфно ${\displaystyle M^{n}$.

• Операция связной суммы коммутативна с точностью до диффеоморфизма; то есть, ${\displaystyle M\#N}$ диффеоморфно ${\displaystyle N\#M}$.
• Относительно операции связной суммы, гладкие структуры на сфере образуют группу.

• Связная сумма узлов^[англ.]