內積誘導範數同一實內積以向量自內積的非負平方根定義範數；三角不等式依Cauchy–Schwarz全稱證書。atlas-inner-product-induced-norm · canonical_mko內積誘導範數前置節點實內積空間自然數冪與主平方根實數大小與順序