Can you summarize the following document?
        
  一個n維的流形可理解為由多個同為n維的曲面(超曲面)。一般情況下,因為所有流形可以嵌入歐幾里得空間,流形上的光滑函式就是歐幾里得空間中的光滑函式。歐幾里得空間的優勢在於可以進行微分,透過微分流形(differential manifold)的代數關係,可以將歐幾里得空間中的微積分搬上光滑流形。切空間也可以理解為在該點和流形相切的歐幾里得空間的仿射子空間(affine space)。  所有切線空間可以“膠合在一起”,並形成基於原流形兩倍維度的可微分流形(differentiable manifold),稱之流形的切叢(tangent bundle)。

  上述的非正式描述依賴於嵌入在較大向量空間 R, 使得切向量可以從流形延伸出到更大的空間。切空間更好的定義不依賴於這種嵌入,例如,切向量可以定義為通過該點的曲線的等價類,或者是對光滑函式在該點的在某個方向上的求導。但所有這些定義都是等價的。雖然通過曲線的速度的定義是直觀上最簡單的,但是也是挺麻煩的工作。更加優雅和抽象的方法描述如下。

  在嵌入的流形圖(manifold picture)中,點x處的切向量被認為是通過點x的曲線的“速度”。因此,我們可以取切向量作為通過"x"的曲線的等價類(equivalence class),而在"x"處彼此相切。  假設 M是C流形(),x是M中的點。選擇圖表 :,其中U是包含x的M的開放子集。假設兩個曲線 和,其中,使得和 都可以在0處微分。然後,如果在0處的正常導數(ordinary derivatives)與在0處的正常導數一致(coincide),則"γ" 和 "γ"在0處被稱為等價。這定義此曲線上的等價關係,並且等價類被稱為在"x"處的 M的切線向量。

  假設M是C流形。如果對於每個圖表: 是無限可微的,則實值函式屬於C("M")。C("M")是點積乘積(pointwise product)和函式總和(sum of functions)與標量乘法(scalar multiplication)的實關聯代數(associative algebra)。  在M中選擇一個點"x"。在"x"處的導數是線性對映,其具有對於C("M")中的所有f, g的性質:  根據微積分的乘法規則(product rule)建模。如果我們為這樣的導數定義加法和標量乘法  formula_2 以及 formula_3  我們得到一個實際的向量空間,我們定義為切空間T"M"。

  再一次,我們從C流形M 開始,並且點"x" 在"M"中。考慮由所有函式f 組成的C("M")中的理想I,使得。也就是說,定義通過"x"的曲線或表面之類的函式。然後I和I 是實向量空間,並且T"M"可以被定義為商空間(quotient space )的對偶空間(dual space)。後者之商空間也被稱為x處的流形M 之餘切空間。

  如果 M是R的開子集(open subset),則 M是C流形的自然形式(將圖視為恆等函式),並且切線空間都自然以R加以識別。

  另一種考慮切向量的方法是方向導數。給定R中的向量v定義了在點x處的平滑對映的方向導數  這個對映是自然的導數。此外,結果是C(R)的每個推導具有這種形式。因此,在向量(在一點被認為是切向量)和導數之間存在一對一對映。

  每個平滑(或可微)流形的對映在相應的切線空間之間引導自然線性對映:  如果切線空間通過曲線定義,則地圖定義為  相反,如果通過導數定義切線空間,則  線性圖d"φ"被稱為x的導數、總導數、微分或前推(pushforward)。它經常用各種符號表示:  在某種意義上,導數是對於x附近的φ的最佳線性近似。注意,當時,對映與函式φ的微分的通常概念一致。在區域性座標中,"φ"的導數可由雅可比矩陣給出。
切空間(Tangent space)是在某一點所有的切向量組成的線性空間。向量(切向量)存在多種定義。直觀的講,如果所研究的流形(Manifold)是一個三維空間中的曲面,則在每一點的切向量,就是和該曲面相切的向量,切空間就是和該曲面相切的平面。