Can you summarize the following document?
        
  一個半賦範向量空間("E","p")由一個向量空間 "E" 以及一個 "E" 上的半範數 "p" 構成。  一個賦範向量空間("E",||·||)由一個向量空間 "E" 以及一個 "E" 上的範數 ||·|| 構成。

  設("E",||·||)是一個賦範向量空間,那麼由範數 ||·|| 很自然地定義了一個拓撲上的距離:  由此就定義了一個 "E" 上的拓撲結構,稱為範數 ||·||誘導的自然拓撲。這也是使得函式 ||·|| 連續的最弱的拓撲。此外,這個自然拓撲和向量空間的線性結構相容,因為:  對於半賦範向量空間,可以定義類似的函式,這時 "E" 成為一個半度量空間(弱於度量空間)。在其中我們也可以定義連續和收斂等概念。更抽象地說,每個半賦範向量空間都是一個拓撲空間,其拓撲結構由它的半範數誘導。  在賦範向量空間中,完備的賦範向量空間特別重要,稱為巴拿赫空間。每個賦範向量空間都是一個巴拿赫空間的稠密子空間,這個巴拿赫空間由此賦範向量空間唯一確定,稱為它的完備空間。  在拓撲的角度來說,有限維的向量空間上的任意兩個範數都是等價的,即它們誘匯出相同的拓撲結構(儘管由它們各自定義的度量空間並不相同)。由於歐幾里得空間是完備的,我們可以推出每個有限維的賦範向量空間都是巴拿赫空間。實際上對自然拓撲來說,任意有限維的賦範向量空間都同胚於歐幾里得空間R。  一個賦範向量空間被稱為區域性緊緻的,如果單位球formula_3 是緊集。由里斯引理可知,一個賦範向量空間區域性緊緻當且僅當它的維數有限。實際上,這個定理證明了對任意的拓撲空間(不一定是由範數誘導的度量空間)都有這個結論。

  在賦範向量空間之間的線性變換中,最重要的是連續線性變換,賦範向量空間和連續線性變換一起構成一個範疇。  範數自身,作為函式,是連續的。任意兩個有限維的賦範向量空間之間的線性變換也都是連續的。  兩個賦範向量空間之間的一個等距變換 "f" 是指使得對任意向量 "v" 都有||"f"("v")|| = ||"v"|| 的線性變換。保距變換總是連續的單射。如果兩個賦範向量空間之間的一個等距變換是滿射,那麼稱其為一個等距同構。兩個保距同構的賦範向量空間在拓撲的意義上可以說是相等的(擁有相同的性質;在一者中成立的命題,在另一者中也成立)。  對於在域 "K" 上的賦範向量空間("E",||·||),我們可以考慮它關於||·||的對偶空間 "E ",也就是所有從 "E" 射到 "K" 的連續線性變換(一般稱為“函子”)構成的空間。對於一個函子 formula_4,定義它的範數是formula_5的上確界,其中 "v" 是 "E" 中範數為 1 的所有向量。由於函子是連續的,這個上確界存在。這樣我們就將 "E "定義成為一個賦範向量空間。 關於賦範向量空間上的連續線性函子有哈恩-巴拿赫定理。

  很多賦範向量空間(特別是巴拿赫空間)的定義涉及到空間上定義的半範數。賦範向量空間可以定義為一個空間關於半範數為零的元素的商空間。比如說,對於L空間的定義,考慮所有函式組成的空間上的函式:  是一個半範數,它對所有能使式子右邊勒貝格可積的函式有定義。然而,對於任意定義在勒貝格測度為 0 的支撐上的函式,其半範數皆為 0 。在“除掉”這些函式(將它們歸為 0 函式的等價類)之後,得到的商空間就是一個賦範向量空間:L空間。

  給定 "n" 個半賦範向量空間("E","q"),我們可以定義它們的直積空間 "X"為:  其中向量的加法定義為:  數量乘法定義為:  我們定義一個函式 "q":  比如說:  這是 "X" 上的一個半範數。"q" 是範數當且僅當 "q" 都是範數。  對大於 1 的 "p","q" 也可以定義為:  這些半範數都是等價的。通過泛代數的結論可以證明,任意的有限維半賦範向量空間都可以表示成一個賦範向量空間和一個有平凡的半範數的半賦範向量空間的直積空間。因此,半賦範向量空間的比較有趣或“反常”的例子都是無限維的。
在數學中,賦範向量空間是具有“長度”概念的向量空間。是通常的歐幾里得空間 R 的推廣。R中的長度被更抽象的範數替代。“長度”概念的特徵是: