平面图 (图论)

華格納定理

在隨後的1937年，德國數學家克勞斯·華格納提出了類似的禁用定理，華格納定理：
一個簡單圖是平面圖若且唯若它不是 K₅ 或 K3,3 的次圖。
其中，一個圖的次圖是將它做有限多次的取子圖(刪除部分頂點和邊)和做邊收縮(將某邊縮成一個頂點)所得到的圖。

平面圖和球面嵌入

說一個圖是平面圖，其實等價於說存在一個從空間到平面的連續的單射，能夠將這個圖投射到平面上。從這樣的角度看來，平面圖是空間的一部份在二維平面上的一個嵌入。然而，圖在二維平面的嵌入和在球面的嵌入是等價的：
能夠畫在平面上的圖，必然也能畫在球面上，使得不同的邊互不交疊，反之亦然。
證明是顯而易見的：首先，如果一個圖是平面圖，那麼將它畫在一張紙上，並在「墨跡未乾」之時將這張紙「拓印」在一個足夠大的球面上（這樣紙基本不會皺）。於是，就得到了一個畫在球面上的同樣的圖。反過來，如果能把一個圖畫在球面上而沒有交互重疊的邊，那麼，把球放在一個無限大平面上，並將球稍作滾動，使得球的最高點不在圖的邊或頂點上。然後，以最高點為中心，把球面（出了最高點）投影在平面上，那麼，得到的平面圖形和原來的圖是一樣的，而且沒有交互重疊的邊，所以原來的圖也是平面圖。
依此準則，空間中的各種凸多面體對應的圖都是平面圖，因為只要在多面體的內部找一個合適的球，然後將多面體的頂點和邊都投影在這個球面上，就完成了相應的圖在球面的嵌入（由於多面體是凸的，投影得到的圖形的邊之間不會交疊）。比如說，所有的正多面體對應的圖都是平面圖。

硬幣圖

一個硬幣圖的頂點是由許多圓的圓心組合而成，這些圓兩兩外切或外離，兩頂點之間連邊若且唯若以兩頂點唯圓心的兩圓外切。1936 年，保羅·克伯首次證明填裝球定理：一個圖是平面圖若且唯若它是一個硬幣圖。
法里定理是填裝球定理的一個直接推論，敘述是每個平面圖都可以被畫在平面上，使得各邊對應到不相交的線段。事實上，只要考慮平面圖對應到的硬幣圖，以圓心為頂點，以兩相切的圓的圓心連線段為邊，則所以得邊是不會相交的。

極大平面圖

一個簡單圖被稱作是極大平面圖如果他是平面圖而且任加一條邊再不相鄰的頂點上都會得到非平面圖。所以，極大平面圖所有的面，包括外圍面在內，都恰好被三條邊包圍，因此，極大平面圖又被稱為平面三角分割。所有極大平面圖都是3-連通的。
一個包含 v 點的極大平面圖 (v>2) 恰有 3v-6 條邊和 2v-4 個面。
在原本一個大三角形的內部加一個點並與三點連上邊，也就是將大三角形分割成三個小三角形。不斷的重複上述步驟，所得到的圖稱為阿波羅尼奧斯網絡，是極大平面圖的其中一類。事實上，阿波羅尼奧斯網絡是一個平面的3-樹。
所有末梢環都是三角形的圖稱為絞窄圖。因為平面圖的導出環是一個面，所以末梢環也是。於是推得極大平面圖是絞窄圖。

外圍平面圖

外圍平面圖是一個平面圖滿足存在一個畫在平面上的方法使得外圍面的邊界包含所有頂點，該畫法被稱為該圖一個外圍平面嵌入。外圍平面圖一定是平面圖但反過來不一定成立，例如完全圖 K₄ 是平面圖但並非外圍平面圖。庫拉托夫斯基定理友在外圍平面圖上的版本：一個圖是外圍平面圖若且唯若它並不包含一個是 K₄或 K2,3 的分割的子圖。事實上，該版本是下述事實的直接推論：圖是外圍平面圖若且唯若在外面加一個頂點，連邊到的所有頂點，所得到的圖是平面圖。
圖的 1-外圍平面嵌入是一般的外圍平面嵌入。對所有 k>1，一個圖的平面嵌入是 k-外圍平面嵌入若且唯若將他刪掉外圍面邊界上的所有頂點會形成一個 (k-1)-外圍平面嵌入。一個圖如果有一個 k-外圍平面嵌入則被稱為是一個 k-外圍平面圖。

不環繞嵌入圖

所有圖都可以被嵌入三維空間中使得各邊不交叉，特別的，如果該圖存在一個嵌入額外滿足圖中的兩個互斥環對應到三維空間中的兩個互不環繞的封閉曲線(環繞數為0)，則該圖被稱為是一個不環繞嵌入圖。不環繞嵌入圖可以被看做是平面圖的三維空間版本，所以也有類似華格納定理的禁用結果：一個簡單圖是平面圖若且唯若它不是佩特森圖族中所有的 7 個圖之一的次圖。類似的，平面圖和外圍平面圖分別對應到科蘭·德·韋迪耶爾不變量小於等於 2 和 3 的圖，而環繞嵌入圖對應到科蘭·德·韋迪耶爾不變量小於等於 4 的圖。

哈林圖

哈林圖是一個平面圖，是將一個不包含度數為 2 的頂點的樹的葉子由一個環連結起來所得到的圖。等價的，哈林圖是一個多面體圖滿足有一個面與其他所有的面都相鄰。如同外圍平面圖，哈林圖的樹寬值也很低，因此哈林圖相關的演算法問題會比一般的平面圖來的好處理許多。

其他相關的圖

一個圖是尖點圖如果它可以刪去某一個頂點之後變成平面圖，一個圖是 k-尖點圖如果如果它可以刪去某 k 個頂點之後變成平面圖。
一個圖是1-平面圖如果它可以畫在平面上使得每條邊至多和所有其他邊交叉一次，一個圖是 k-平面圖如果它可以畫在平面上使得每條邊至多和所有其他邊交叉 k 次。
給定一個地圖，滿足上面的各個區域都是單連通且兩兩只在邊界上有交集。將各個區域視為頂點，兩區域的邊界若有交集則連邊，所獲得的圖稱為地圖圖。如果在原地圖上，至多三個區域有共同交集，則定義出來的地圖圖是平面圖，但若存在四個以上的區域相交在同一個點上，在定義出來的地圖圖可能是非平面圖。
一個圖被稱為環面圖如果它可以被嵌入環面使得各邊不交叉。更廣義的來說，一個圖的虧格被定義為所有該圖可以嵌入而邊不交叉的曲面中虧格的最小值。因此，平面圖的虧格為 0 而非平面的環面圖的虧格為 1。
一個向上平面圖是可以被畫在平面上的有向無環圖，使得各個有向邊都是斜向上的。並不是所有平面有向無環圖都是向上平面圖，事實上，決定任意給定有向圖是否為向上平面圖的難度是 NP完全的。

平面圖的數量估計

若將頂點標號，有 n 個頂點的平面圖的數量的漸近式由給出，其中常數、；若不將頂點標號，有 n 個頂點的平面圖的數量則界在 和 之間。 
幾乎所有的平面圖的自同構數量隨著頂點數的增加呈現指數增長。

其他性質與定義

四色定理敘述說任何平面圖都可以被 4-著色。
法里定理說所有簡單平面圖都從在一種平面嵌入法使得各邊對應到互相不相交的線段，在平面上一個有 n 點地集合被稱為泛頂點集如果所有 n 點的平面圖都可將頂點對應到它們，而且邊是互不相的直線。例如 4 個頂點的泛頂點集是所有滿足其中一個點在另外三個點圍成的三角形的內部。任何外圍平面圖可以被畫在平面上滿足所有頂點在給定的圓上面，所有邊是互不相的直線且都落在圓裡面。
一個平面圖被稱作是凸 的如果他可以被畫在平面上，使得各個面，包括外圍面，都是凸多邊形。一個圖是凸平面圖若且唯若它是一個3-連通平面圖的分割。
謝納曼猜想 (現在是定理) 說所有平面圖都可以表示成平面上一些線段的交集圖。
平面圖分離定理說給定任何包含 n 個頂點的平面圖，都可以藉由移除至多 個點來將原圖分開成兩個部分，並且各部份的頂點數不超過 個。由此可推得平面圖的樹寬值和分支寬值至多 。
存在複雜度為 O(n) 演算法來判斷兩個 n 點的平面圖是否同構，參見圖同構問題。

對偶圖

設 G 是一個平版圖，G 不見得是簡單圖，定義 G 的對偶圖 G* 如下述。在 G 中的每個面 (包括外圍面) 取一個點，作為 G* 的頂點，對於 G 中的每個邊 e，畫一條 G* 中的邊 e* 連接與 e 相鄰的兩個面中的頂點，而且 e* 要穿過 e。如果與 e 相鄰的兩面是同一個，則對該面中的點畫一個穿過 e 的自環，如果 G 中兩相鄰面的交界包含多個邊，則 G* 中的兩點之間要連多條邊，如右圖。
此時對偶圖 G* 也是平版圖，而且如果 G 是連通的，則 G** 與 G 在球面上是拓樸等價的，換句話說，他們是相同的平面映射。如果 G 是多面體 Γ 對應到的多面體圖，則 G* 是 Γ* 對應到的多面體圖，其中 Γ* 是 Γ 的對偶多面體。
對偶圖的重要性在於，對偶圖和原圖的性質的關係往往是易於刻劃的，因此，有時研究一個平版圖 (或平面圖) 的對偶圖的性質有助於對原圖的了解。注意到，一個平版圖的對偶圖在拓樸等價下是唯一的，但一個平面圖可能有多種平面嵌入的方式，因此可能會對應到多個不同的對偶圖。