XXX를 벡터 공간이라고 하자. 아래의 세 조건을 만족하는 함수 ∥⋅∥:X→R\left\| \cdot \right\| : X \to \mathbb{R}∥⋅∥:X→R가 존재하면 ∥⋅∥\left\| \cdot \right\|∥⋅∥를 XXX의 세미 놈semi norm, 반놈이라 한다
(a) ∥x∥≥0,∀ x∈X\left\| x \right\| \ge 0,\quad \forall\ x \in X∥x∥≥0,∀ x∈X
(b) ∥cx∥=∣c∣∥x∥,∀ x∈X, ∀ c∈C\|cx\|=|c|\left\| x \right\|,\quad \forall\ x\in X,\ \forall\ c \in\mathbb{C}∥cx∥=∣c∣∥x∥,∀ x∈X, ∀ c∈C
(c) ∥x+y∥≤∥x∥+∥y∥,∀ x,y∈X\left\| x + y \right\| \le \left\| x \right\| + \left\| y \right\|,\quad \forall\ x,y\in X∥x+y∥≤∥x∥+∥y∥,∀ x,y∈X
놈의 정의에서 ∥x∥=0 ⟺ x=0\left\| x \right\|=0 \iff x = 0∥x∥=0⟺x=0이 빠진 것이다.
Robert A. Adams and John J. F. Foutnier, Sobolev Space (2nd Edition, 2003), p101 ↩︎