Can you summarize the following document?
        
  莫比烏斯變換是定義在擴充複平面上的(擴充複平面是指在普通的複平面加入無窮遠點構成的集合)  擴充複平面可以看做是一個球面,它的另一個名稱就是黎曼球面。每個莫比烏斯變換都是從黎曼球面到它自身的一一對應的共形變換。事實上,所有這樣的變換都是莫比烏斯變換。  所有莫比烏斯變換的集合在函式複合作用下構成一個群,稱為“莫比烏斯群”,記作 formula_3。這個群是黎曼球面(作為一個黎曼曲面)的自同構群,因此有時也被記作:  莫比烏斯群同構於三維雙曲空間中的保向等距同構群,因此在三維雙曲空間中的子流形的研究中佔有重要地位。

  莫比烏斯變換的常見形式為: 其中"a"、"b"、"c"、"d"是任何滿足 "ad" − "bc" ≠ 0 的複數(當"ad" = "bc" 的時候這個表示式退化成一個常數,通常約定常數函式不是莫比烏斯變換)。當"c"≠0 時,定義 這樣便將莫比烏斯變換擴充套件到整個黎曼球面上。  如果"c"=0,那麼定義 這樣定義後莫比烏斯變換就成為了黎曼球面上的一個一一對應的全純函式。  由於對莫比烏斯變換的每一個係數乘上一個相同的係數formula_9後不會改變這個變換:formula_10,所以也有的定義中將"ad" − "bc" ≠ 0 的條件改成 "ad" − "bc" = 1. 這樣的定義下得到的莫比烏斯變換可以說是“約簡後”的莫比烏斯變換。

  莫比烏斯變換的實質與反演密切相關。實際上,一個形如 的莫比烏斯變換可以分解成四個變換: 這四個變換的複合就是莫比烏斯變換:  在這種分解之下,我們可以清楚地看出莫比烏斯變換的不少基本性質。首先,由於以上分解中的每個變換都是可逆的(它們的逆變換也十分清楚),因此可以容易地看出,莫比烏斯變換的逆變換也是一個莫比烏斯變換,而且其表示式可以具體計算。具體來說,設變換函式formula_17,其中每一個formula_18都是相應的formula_19的逆變換(反函式), 那麼莫比烏斯變換"f"的逆變換就是:

  由於莫比烏斯變換可以分解為平移、反演、位似與旋轉變換,因此能夠保持所有反演變換的性質。一個基本的例子是保角性:由於平移、反演、位似與旋轉變換都保持角度不變,因此兩個複數(或向量)之間的幅角差(夾角)在經過莫比烏斯變換後不變。  此外,一個廣義圓經過莫比烏斯變換後,仍會對映到一個廣義圓。廣義圓是指黎曼球面上的圓,包括普通的圓形和帶無窮遠點的直線(可以認為是一個半徑無限大的圓)。這也是反演保持廣義圓的結果。當然莫比烏斯變換並不是將圓對映到圓,將直線對映到直線,經過對映後直線可能變成圓,圓也可能變成直線。

  莫比烏斯變換也可以保持複數的複比不變。設有四個兩兩不同的複數formula_22,對應擴充複平面上四個不同的點,它們經過莫比烏斯變換後變成formula_23四點,那麼複比:  當 formula_22 中有一個或多個是無窮大時,複比就定義為相應逼近的極限。比如說當四個複數是 formula_26 時,複比就是:

  給定平面上三個不同點 formula_28,存在著唯一的一個莫比烏斯變換formula_29,使得formula_30 分別等於 formula_31。這個莫比烏斯變換就是: 而由於對於另外的三個不同點 formula_33,也唯一存在一個莫比烏斯變換formula_34,使得formula_35 分別等於 formula_31。因此,對於任意一組出發點 formula_28,任意一組到達點 formula_33,都唯一存在一個莫比烏斯變換,將formula_28 分別對映到點 formula_33。具體地說,這個變換就是formula_41。作為推論,如果一個莫比烏斯變換有三個不動點,那麼它是恆等變換。

  莫比烏斯變換構成的莫比烏斯群formula_42和由二階復可逆矩陣所構成的二階復係數一般線性群formula_43有同態的關係。事實上,考慮一個二階的可逆矩陣:formula_44,其中formula_45,那麼由矩陣的係數 formula_46 可以寫出一個莫比烏斯變換: 而如果考慮對映: 則經過計算可以知道,formula_50,也就是說: 因此formula_52是一個群同態。  注意到對所有的複數formula_9,formula_54,所以變換formula_55。因此,可以將起始空間由一般線性群縮小到特殊線性群formula_56。而由於有且僅有單位矩陣formula_57和負單位矩陣formula_58在群同態formula_52下對應的莫比烏斯變換是恆等變換,所以formula_52的核是formula_61。根據群同態基本定理,有以下群同構關係: 其中formula_63為複平面上的射影特殊線性群。
在幾何學裡, 莫比烏斯變換是一類從黎曼球面對映到自身的函式。用擴充套件複平面上的複數表示的話,其形式為: