N-連通

在數學的分支拓撲學中 ， 一個拓撲空間 X 稱爲 n - 連通的當且僅當它是道路連通的且其開始 n 個同倫群爲平凡群 ， 即 這裏左邊是第 i 個同倫群的記號 。 道路連通的條件也能表達爲 0 - 連通 ， 當定義 “ 0 維同倫群 ” 爲 ： 一個拓撲空間 X 是道路連通的當且僅當其 0 維同倫群消失 ， 因爲道路連通性意味着 X 中任何兩點x1 和 x2 能用以 x1 爲起點 ， x2 爲終點一條連續道路連接起來 ， 這和從 S0 （ 兩個點的離散集 ） 到 X 的任何映射能形變爲常映射 。 有了這種定義 ， 我們可以定義 X 爲 n - 連通當且僅當