Norm (mathematics): Difference between revisions

Content deleted Content added
Vicgraus (talk | contribs)
 
(3 intermediate revisions by 3 users not shown)
Line 1:
{{Short description|Length in a vector space}}
{{About|normsthe ofconcept [[normedin vectornormed space]]sspaces|field theory|Field norm|ideals|Ideal norm|commutative algebra|Absolute value (algebra)|group theory|Norm (group)|norms in descriptive set theory|prewellordering}}
 
In [[mathematics]], a '''norm''' is a [[function (mathematics)|function]] from a real or complex [[vector space]] to the non-negative real numbers that behaves in certain ways like the distance from the [[Origin (mathematics)|origin]]: it [[Equivariant map|commutes]] with scaling, obeys a form of the [[triangle inequality]], and is zero only at the origin. In particular, the [[Euclidean distance]] in ana [[Euclidean space]] is defined by a norm on the associated [[Euclidean vector space]], called the [[#Euclidean norm|Euclidean norm]], the [[#p-norm|2-norm]], or, sometimes, the '''magnitude''' or '''length''' of the vector. This norm can be defined as the [[square root]] of the [[inner product]] of a vector with itself.
 
A [[seminorm]] satisfies the first two properties of a norm, but may be zero for vectors other than the origin.<ref name="Knapp">{{cite book|title=Basic Real Analysis|publisher=Birkhäuser|author=Knapp, A.W.|year=2005|page=[https://books.google.com/books?id=4ZZCAAAAQBAJ&pg=279] |isbn=978-0-817-63250-2}}</ref> A vector space with a specified norm is called a [[normed vector space]]. In a similar manner, a vector space with a seminorm is called a ''seminormed vector space''.
Line 45 ⟶ 46:
 
The [[absolute value]]
<math display="block">\|x\| = |x|</math>
is a norm on the [[Dimension (vector space)|one-dimensional]] vector space formed by the [[real number|real]] or [[complex number]]s. The (complex numbers, althoughform representeda in[[dimension two(vector dimensions,space)|one-dimensional canvector formspace]] over themselves and a two-dimensional vector space ofover dimensionthe one)reals; the absolute value is a norm for these two structures.
 
Any norm <math>p</math> on a one-dimensional vector space <math>X</math> is equivalent (up to scaling) to the absolute value norm, meaning that there is a norm-preserving [[isomorphism]] of vector spaces <math>f : \mathbb{F} \to X,</math> where <math>\mathbb{F}</math> is either <math>\R</math> or <math>\Complex,</math> and norm-preserving means that <math>|x| = p(f(x)).</math>