Can you summarize the following document?
        
  有一種方法論把歐幾里得平面看作滿足可依據距離和角表達的特定聯絡的點所成的集合。其一是平移,它意味著移動這個平面就使得所有點都以相同方向移動相同距離。其二是關於在這個平面中固定點的旋轉,其中在平面上的所有點關於這個固定點旋轉相同的角度。歐幾里得幾何的一個基本原則是,如果通過一序列的平移和旋轉可以把一個圖形變換成另一個圖形,平面的兩個圖形(也就是子集)應被認為是等價的(全等)。(參見歐幾里得群)。  為了使這些在數學上精確,必須明確定義距離、角、平移和旋轉的概念。標準方式是定義歐幾里得平面為裝備了內積的二維實數的向量空間。有著: 一旦歐幾里得平面用這種語言描述了,擴充套件它的概念到任意維度就是簡單的事情了。對於大多數部分,詞彙、公式、和計算對更高維的出現不造成任何困難。(但是,旋轉在高維中是非常微妙,而高維空間的視覺化仍很困難,即使對有經驗的數學家也一樣)。  歐幾里得空間的最後問題是它在技術上不是向量空間,而是向量空間作用於其上仿射空間。直覺上,區別在於對於原點應當位於這個空間的什麼地方沒有標準選擇,因為它可以到處移動。這種技術本文中很大程度上被忽略了。

  以formula_2表示實數域。對任意一個正整數n,實數的n元組的全體構成了formula_3上的一個n維向量空間,用formula_4來表示。有時稱之為實數座標空間。  formula_4中的元素寫作formula_6,這裡的formula_7都是實數。formula_4作為向量空間,其運算是這樣定義的:  通常引入實數座標空間formula_4的標準正交基:  於是formula_4中任意的向量可以表示成下面的形式:  n維實數座標空間是實n維向量空間的原型。事實上,每一個n維向量空間formula_18都可以看作實數座標空間——formula_18與formula_4是同構的(isomorphic)。不過這個同構不是正則(Canonical)的,每個同構的選擇都相當於在formula_18中選擇了一組基(即formula_4的n個標準基在formula_18中的同構像)。我們有時候只著眼於任意n維向量空間而不是具體的formula_4,這是因為不希望為座標的概念所束縛(即,有時候不必選擇formula_18中特定的一組基)。

  至於歐幾里得空間,則是在formula_4上再新增一些內容:歐幾里得結構。 為了做歐氏幾何,人們希望能討論兩點間的距離,直線或向量間的夾角。一個自然的方法是在formula_4上,對任意兩個向量formula_28、formula_29,引入它們的「標準內積」formula_30(一些文獻上稱為點積,記為formula_31):  也就是說,formula_4中的任意兩個向量對應著一個實數值。 我們把formula_4及這樣定義的內積,稱為formula_4上的歐幾里得結構;此時的formula_4也被稱為n維歐幾里得空間,內積"<,>"稱為歐氏內積。  利用這個內積,可以建立距離、長度、角度等概念:  這裡的長度函式滿足範數所需的性質,故又稱為formula_4上的歐氏範數。  這裡的formula_43為反餘弦函式。  這個距離函式稱為歐幾里得度量,它可以看作勾股定理一種形式。  這裡的formula_4僅指實數向量空間,而加入瞭如上定義的歐幾里得結構後才稱為歐氏空間;有些作者會用符號formula_47來標記之。歐氏結構使formula_47具有這些空間結構:內積空間、希爾伯特空間、賦範向量空間以及度量空間。

  因為歐氏空間是一個度量空間,因此也是一個具有由度量推匯出的自然拓撲的拓撲空間。formula_47上的度量拓撲被稱為是歐氏拓撲。歐氏拓撲中的集是開的當且僅當它包含了該集的每一點周邊的開球。可以證明,歐氏拓撲等價於formula_4上的積拓撲。  關於formula_4上拓撲的一個並不淺顯易懂的重要結論是,魯伊茲·布勞威爾的區域不變性。任意formula_4的子集(以及其子拓撲)與另外一個formula_4的子集同胚的話,那麼這個子集自己是開的。這個結果的一個直接的結論就是formula_54與formula_4不同胚,當formula_56。

  在現代數學中,歐幾里得空間形成了其他更加複雜的幾何物件的原型。特別是流形,它是邏輯上同胚於歐幾里得空間的豪斯多夫拓撲空間。  formula_1維歐氏空間是n維流形的典型例子,事實上也就是光滑流形。對於formula_58,任意與formula_4同胚的可微n維流形,也是微分同胚的。值得驚奇的結果是,1982年西蒙·唐納森證明了對於formula_60的情況不成立;其反例被稱為是怪R。  歐氏空間也被理解為線性流形。一個formula_4中的m維線性子流形是一個(作為仿射空間)嵌入其中的m維歐氏空間。例如,任意高維(formula_62)歐氏空間中的任意直線是該空間中的一個1維線性子流形。  一般的說,流形的概念包含了歐幾里得幾何和非歐幾里得幾何二者。在這個觀點上,歐幾里得空間的根本性質為它是平坦的,也就是非彎曲的。現代物理學特別是相對論,展示我們的宇宙不是真正的歐幾里得時空。儘管這在理論上甚至在某些實際問題如全球定位系統和航空中是重要的,歐幾里得模型仍足夠精確的用於大多數其他實際問題。
歐幾里得幾何是在約公元前300年,由古希臘數學家歐幾里得建立的角和空間中距離之間聯絡的法則。歐幾里得首先開發了處理平面上二維物體的“平面幾何”,他接著分析三維物體的“立體幾何”,所有歐幾里得的公理被編排到幾何原本。