Absolute value (object)

From Maths
Revision as of 05:25, 21 November 2016 by Alec (Talk | contribs) (Created page with "{{Stub page|grade=C|msg=Needed for work with series weirdly enough!}} : '''For other meanings of absolute value see ''Absolute value (disambiguation)''''' __TOC__ ==Relati...")

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
Stub grade: C
This page is a stub
This page is a stub, so it contains little or minimal information and is on a to-do list for being expanded.The message provided is:
Needed for work with series weirdly enough!
For other meanings of absolute value see Absolute value (disambiguation)

Relation to norm

The reader will find this definition is very similar to that of a norm, a norm, denoted [ilmath]\Vert\cdot\Vert_v[/ilmath] instead is a map with the same properties on a vector space an absolute value is defined on a field instead. Note that all fields are vector spaces; so this really is little more than a special case.

Definition

Let [ilmath]F[/ilmath] be a field. An absolute value (AKA: real valuation[1] or real valued valuation[1]) on [ilmath]F[/ilmath] is a mapping, [ilmath]v[/ilmath], with the special notation defined as follows[1]:

  • [ilmath]\vert\cdot\vert_v:F\rightarrow\mathbb{R} [/ilmath] given by [ilmath]\vert\cdot\vert_v:x\mapsto \vert x\vert_v[/ilmath]

Such that:

  1. [ilmath]\forall x\in F[\vert x\vert_v\ge 0][/ilmath]
  2. [ilmath]\forall x\in F[(\vert x\vert_v\eq 0)\iff(x\eq 0)][/ilmath] where [ilmath]0[/ilmath] is the additive identity element of the field.
  3. [ilmath]\forall x,y\in F[\vert xy\vert_v\eq \vert x\vert_v\vert y\vert_v][/ilmath]
  4. [ilmath]\forall x,y\in F[\vert x+y\vert_v\le \vert x\vert_v+\vert y\vert_v][/ilmath]

We may omit the [ilmath]v[/ilmath] and just write [ilmath]\vert x\vert[/ilmath] or use something more meaningful than [ilmath]v[/ilmath] such as [ilmath]\infty[/ilmath] as in [ilmath]\vert\cdot\vert_\infty[/ilmath] to allow one to distinguish between various absolute values in play.

Trivial absolute value

The trivial absolute value is [ilmath]\vert\cdot\vert_T:F\rightarrow\mathbb{R} [/ilmath] (for any field [ilmath]F[/ilmath]) and acts as follows: [ilmath]\vert\cdot\vert_T:x\mapsto 1[/ilmath]. That is to say: [ilmath]\vert x\vert_T:\eq 1[/ilmath]

See also

  • Norm - denoted [ilmath]\Vert\cdot\Vert_v:V\rightarrow\mathbb{R} [/ilmath] for a vector space [ilmath]V[/ilmath] with almost exactly the same set of properties (3 requires modification)

References

  1. 1.0 1.1 1.2 Abstract Algebra - Pierre Antoine Grillet