惠特尼連通性定理

圖論中，惠特尼連通性定理（Whitney's theorem on connectivity），簡稱惠特尼定理（Whitney's theorem），是美國數學家哈斯勒·惠特尼於1932年提出的關於2連通圖等價性質的定理，該定理提供了關於2連通圖的不同點對之間的連通性質刻畫，描述了2連通圖的特殊性質。

## 定理陳述

對一個圖$G$，若$G$至少存在3個點，則$G$是2連通的若且唯若對$G$中任意兩個點$u, v$，$G$中至少存在連接$u, v$的2條內部不相交路徑，即除首尾相同（皆為$u, v$）外，沒有其他公共頂點的路徑。

## 定理證明

### 必要性

因為任意兩點之間均存在路徑，於是$G$是連通的。

進一步，對於任意兩點之間有至少存在兩條內部不相交路徑，所以考慮刪除$G$中任意一點，其均不會造成$G$不連通。於是$G$是2連通的。

### 充分性

$G$是2連通的，希望證明對於任意兩點$u, v\in V(G)$，能找到至少兩條連接$u, v$的內部不相交路徑。

下面通過對$u, v$之間的距離$d(u, v)$進行歸納來由數學歸納法證明：

- 對於$d(u, v) = 1$，此時$uv$是$G$的一條邊。而由於$\kappa(G)\geq 2$，根據惠特尼不等式，$\lambda(G) \geq \kappa(G)$，於是$\lambda(G)\geq 2$。那麼$G$至少需要刪兩條邊才會導致不連通，於是$G$刪一條邊之後仍然還是連通的。則考慮$G-uv$，其仍然是連通圖，於是對於$u, v$，$G-uv$仍然存在一條路徑連接$u, v$。於是$G$中至少存在兩條連接$u, v$的內部不相交路徑。
- 假設對於$d(u, v) = k - 1$，$G$中都存在至少兩條連接$u, v$的內部不相交路徑，則考慮$d(u, v) = k$。
- 由於$u, v$之間距離為$k$，則$G$中一定存在一條連接$u, v$的路徑$P$，且$P$的長度（其包含的邊的數量）為$k$，如圖1所示。此時考慮$P$中$v$的鄰居$w$，$w$一定滿足$d(u, w) = k - 1$。這是因為對於$w$在$P$中已經有$u$到$w$長度為$k-1$的路徑，而如果還存在其他路徑長度小於$k-1$，那麼也存在$u$到$v$的路徑長度小於$k$，與$d(u, v) = k$矛盾。於是對於$u, w$，根據歸納假設，存在至少2條連接$u, w$的內部不相交路徑$P, P'$。於是$P\cup P'$構成了一個環，如圖2所示。
- 如果$v\in P\cup P'$，即$v$已經在這個環上，如圖3所示，則對於$u$與$v$這兩個環上的點，它們之間也存在環上兩條相反的繞行方向的路徑，於是$u$與$v$存在兩條內部不相交的路徑。
- 如果$v\notin P\cup P'$，那麼由於$G$是2連通的，則考慮$G-w$，其仍然是連通的。那麼對於$u, v$，此時存在另一條連接$u, v$的路徑$Q$。此時，如果$Q$與$P$以及$P'$除了$u$之外沒有其他交點，如圖4所示，則顯然$Q$與$P\cup wv$就構成了連接$u, v$的兩條內部不相交路徑；否則，令$z$為$Q$與$P\cup P'$相交的最後一個交點，根據$P, P'$的對稱性，不妨假設$z$就在$P$上，如圖所示。那麼考慮$\underbrace{(u\rightsquigarrow z)}_P\cup \underbrace{(z\rightsquigarrow v)}_Q$和$\underbrace{(u\rightsquigarrow w)}_{P'}\cup wv$，這兩條路徑則構成了連接$u, v$的內部不相交路徑。
- 於是無論如何，當$d(u, v) = k$時，均能至少找到連接$u, v$的兩條內部不相交路徑。

於是根據數學歸納法，當$G$是2連通圖時，對於任意兩點$u, v\in V(G)$，能找到至少兩條連接$u, v$的內部不相交路徑。

## 推論

根據惠特尼定理的結論，可以得到關於2連通圖的等價描述的推論：

- 圖$G$是連通且沒有割點（即圖$G$是2連通的）。
- 對於圖$G$中任意兩點$u, v$，$G$中存在至少兩條連接$u, v$的內部不相交路徑。
- 對於圖$G$中任意兩點$u, v$，$G$中存在一個環$C$且$u, v$均在$C$上。
- 圖$G$的最小度至少為1，且對於圖$G$中的任意兩條邊$e_1, e_2$，$G$中存在一個環$C$且$e_1, e_2$均在$C$上。

### 推論證明

- 描述1$\Leftrightarrow$描述2：直接運用惠特尼定理即可。
- 描述2$\Leftrightarrow$描述3：關係是顯然的。若這兩點之間存在至少兩條連接它們的內部不相交路徑，則這兩條內部不相交路徑的並形成了環且這兩點在環上；若存在這兩點同時位於環上，則這兩點之間在環上的不同繞行方向的路徑形成了連接它們的兩條內部不相交路徑。
- 描述4$\Leftrightarrow$描述3：對任意的兩點$u, v\in V(G)$，由於$\delta(G)\geq 1$，則$u, v$均存在鄰居，$\exists ux, vy\in E(G)$。考察$ux, vy$。
- 若$ux\cap vy = \varnothing$即$ux, vy$兩條邊完全分離，則由於任意兩條邊均位於一個環上，於是$ux, vy$位於同一個環上，於是$u, v$也位於該環上。
- 若$ux\cap vy = z$即$ux, vy$兩條邊有一個公共點$z$，此時$ux, vy$仍然是兩條不同的邊，則同樣由於任意兩條邊均位於一個環上，於是$ux, vy$位於同一個環上，於是$u, v$也位於該環上。
- 若$ux\cap vy = uv$即$ux, vy$實際上只是一條邊$uv$，此時$uv$與其他任意一條邊仍然位於同一個環上，所以$u, v$仍然位於環上。
- 描述123$\Leftrightarrow$描述4：首先根據描述1，圖$G$是連通的，所以$\delta(G)\geq 1$。其次，對於圖$G$中的任意兩條邊$uv, xy$，下面證明它們位於同一個環上。

令$G' = G\cup \{w, z\}\cup \{uw, vw, xz, yz\}$。首先$G'$仍然是2連通的，這是因為，$G'$的構造過程是加入兩個點且兩個點均與原圖$G$中兩個點相連，則考慮$G'$中的割集$S$。若割集中含有新加入的點$\{w, z\}$，則除去新加入的點，$S - \{w, z\}$是原圖$G$的割集，而根據描述1，$G$本是2連通的，則$|S| \geq 2+1=3$或$|S| \geq 2+2=4$；若割集中不含有新加入的點，如果割集取自$\{u, v, x, y\}$，則$|S| \geq 2$，否則$S$實際上是原圖$G$的割集，所以同樣，$|S| \geq 2$。所以無論如何，對於$G'$的任意割集，其大小至少為2，故$G'$仍然是2連通的。實際上，關於向$k$-連通圖加入輔助點的更一般的結論稱為「擴展引理」（expansion lemma），它也在證明門格爾定理中發揮了作用。

那麼根據描述3，對於$G'$，一定存在環$C$，$w, z$均位於$C$上。而$w, z$的度均為2，所以$uw, vw, xz, yz$也位於$C$上，且$C$的其他邊均來自原圖$G$。於是可以將$uwv$替換成$uv$，$xzy$替換成$xy$，從而$uv, xy$均位於原圖中的一個環上。

## 影響及意義

惠特尼定理提供了對於2連通性的更具體的性質刻畫，從而提供了另一種對於2連通性的具體證明方向。