範數

擁有不同範數的單位圓

範數（英語：Norm），是具有「長度」概念的函數。在線性代數、泛函分析及相關的數學領域，是一個函數，其為向量空間內的所有向量賦予非零的正長度或大小。另一方面，半範數（英語：seminorm）可以為非零的向量賦予零長度。

舉一個簡單的例子，一個二維度的歐氏幾何空間$\R^2$就有歐氏範數。在這個向量空間的元素（譬如：(3,7)）常常在笛卡爾座標系統被畫成一個從原點出發的箭號。每一個向量的歐氏範數就是箭號的長度。

擁有範數的向量空間就是賦範向量空間。同樣，擁有半範數的向量空間就是賦半範向量空間。

定義

假設V是域F上的向量空間；V的半範數是一個函數$p:V\to\mathbb{R}; x\mapsto{}p(x)$，滿足：

$\forall a \in F,\forall u,v \in V$,

1. $p(v) \ge 0$（具有半正定性）
2. $p(a v) = |a| p(v)$（具有絕對一次齊次性）
3. $p(u + v) \le p(u) + p(v)$ （滿足三角不等式，或稱次可加性）

範數是一個半範數加上額外性質：

4. $p(v)=0$,當且僅當$v$是零向量（正定性）

如果拓撲向量空間的拓撲可以被範數導出，這個拓撲向量空間被稱為賦範向量空間。

例子

• 所有範數都是半範數。
• 平凡半範數，即$p(x) = 0, \forall x \in V$。
• 絕對值是實數集上的一個範數。
• 對向量空間上的線性型f可定義一個半範數：$\boldsymbol x \to |f(\boldsymbol x)|$。

絕對值範數

絕對值範數為

$\|\boldsymbol{x}\|=\sum_i^n|x_i|$

是在由實數或虛數構成的一維向量空間中的範數。

絕對值範數是曼哈頓範數的特殊形式。

歐幾里德範數

主條目：歐幾里德距離

在n維歐幾里德空間$\mathbb R ^n$上，向量$\boldsymbol x = (x_1,x_2,\,\ldots\,,x_n)^{\mathrm T}$的最符合直覺的長度由以下公式給出

$\|\boldsymbol{x}\|_2 := \sqrt{x_1^2 + \cdots + x_n^2}.$

根據畢氏定理，它給出了從原點到點$\boldsymbol x$之間的（通常意義下的）距離。歐幾里德範數是$\mathbb R ^n$上最常用的範數，但正如下面舉出的，$\mathbb R ^n$上也可以定義其他的範數。然而，以下定義的範數都定義了同一個拓撲結構，因此它們在某種意義上都是等價的。

在一個n維複數空間$\mathbb C ^n$中，最常見的範數是：

$\|\boldsymbol{z}\| := \sqrt{|z_1|^2 + \cdots + |z_n|^2}= \sqrt{z_1 \bar z_1 + \cdots + z_n \bar z_n}.$

以上兩者又可以以向量與其自身的內積的平方根表示：

$\|\boldsymbol{x}\| := \sqrt{\boldsymbol{x}^* \boldsymbol{x}},$

其中x是一個列向量($[x_1,x_2,\,\ldots\,,x_n]^{\mathrm T}$)，而$\boldsymbol x ^ *$表示其共軛轉置。

以上公式適用於任何內積空間，包括歐式空間和複空間。在歐幾里得空間裏，內積等價於點積，因此公式可以寫成以下形式：

$\|\boldsymbol{x}\| := \sqrt{\boldsymbol{x} \cdot \boldsymbol{x}}.$

特別地，$\mathbb R ^{n+1}$中所有的歐幾里得範數為同一個給定正實數的向量的集合是一個n維球面。

複數的歐幾里得範數

如果將複數平面看作歐幾里得平面$\mathbb R ^2$，那麼複數的歐幾里得範數是其絕對值（又稱為模）。這樣，我們可把$x+i\,y$視為歐幾里得平面上的一個向量，由此，這個向量的歐幾里得範數即為$\sqrt{x^2 +y^2}$（最初由歐拉提出）。

參見

• 內積
• 賦範向量空間
• 矩陣範數
• 曼哈頓距離
• Lp範數

參考文獻

• Bourbaki, Nicolas. Chapters 1–5. Topological vector spaces. Springer. 1987. ISBN 3-540-13627-4. 
• Prugovečki, Eduard. Quantum mechanics in Hilbert space 2nd. Academic Press. 1981: 20. ISBN 0-12-566060-X. 
• Trèves, François. Topological Vector Spaces, Distributions and Kernels. Academic Press, Inc. 1995: 136–149, 195–201, 240–252, 335–390, 420–433. ISBN 0-486-45352-9. 
• Khaleelulla, S. M. Counterexamples in Topological Vector Spaces. Lecture Notes in Mathematics 936. Springer-Verlag. 1982: 3–5. ISBN 978-3-540-11565-6. Zbl 0482.46002.