Difference between revisions of "Absolute value"

m (wikify/cleanup)
m
Line 1: Line 1:
 
{{wikify}}
 
{{wikify}}
  
The '''absolute value''' of a [[real number]] <math>x</math>, denoted <math>|x|</math>, is its distance from 0 on a [[number line]]. Therefore, if <math>x\ge 0</math>, then <math>|x|=x</math>, and if <math>x<0</math>, then <math>\displaystyle |x|=-x</math>. This is equivalent to "dropping the minus sign."
+
The '''absolute value''' of a [[real number]] <math>x</math>, denoted <math>|x|</math>, is its distance from [[zero]] on a [[number line]]. If <math>x\ge 0</math>, then <math>|x|=x</math>, and if <math>x<0</math>, then <math>\displaystyle |x|=-x</math>. This is equivalent to "dropping the minus sign."
  
 
Similarly, the absolute value of a [[complex number]] <math>z=x+iy</math>, where <math>x,y\in\mathbb{R}</math>, is <math>|z|=\sqrt{x^2+y^2}</math>.
 
Similarly, the absolute value of a [[complex number]] <math>z=x+iy</math>, where <math>x,y\in\mathbb{R}</math>, is <math>|z|=\sqrt{x^2+y^2}</math>.
 
  
 
== Example Problems ==
 
== Example Problems ==
Line 20: Line 19:
 
Now, try to solve it by yourself.
 
Now, try to solve it by yourself.
  
Solution: We first get rid of the absolute value by making two equations: <math>7x=49</math> and <math>7x=-49</math>. Divide both sides of both equations by 7 to get the answer: <math>x=\{-7,\,7\}</math>.
+
Solution: We first get rid of the absolute value by making two equations: <math>7x=49</math> and <math>7x=-49</math>. Divide everything by 7 to get the answer: <math>x=\{-7,\,7\}</math>.
  
 
=== Practice Problems ===
 
=== Practice Problems ===
Line 50: Line 49:
 
We call ''any'' function satisfying these three properties ''an absolute value'', or a ''norm''.
 
We call ''any'' function satisfying these three properties ''an absolute value'', or a ''norm''.
  
Another example of an absolute value is the ''p''-[[p-adic|adic]] absolute value on <math>\mathbb{Q}</math>, the [[rational number]]s. Let <math>x=\prod_{i=1}^n p_i^{e_i}</math>, where the <math>p_{i}</math>'s are distinct [[prime number]]s, and the <math>e_i</math>'s are ([[positive]], [[negative]], or [[zero (constant) | zero]]) [[integer]]s. Define <math>|x|_{p_i}=p_i^{-e_i}</math>. This defines an absolute value on <math>\mathbb{Q}</math>. This absolute value satisfies a stronger triangle inequality:
+
Another example of an absolute value is the [[p-adic]] absolute value of <math>\mathbb{Q}</math>, the [[rational number]]s. Let <math>x=\prod_{i=1}^n p_i^{e_i}</math>, where the <math>p_{i}</math>'s are distinct [[prime number]]s, and the <math>e_i</math>'s are ([[positive]], [[negative]], or [[zero (constant) | zero]]) [[integer]]s. Define <math>|x|_{p_i}=p_i^{-e_i}</math>. This defines an absolute value on <math>\mathbb{Q}</math>. This absolute value satisfies a stronger triangle inequality:
  
 
*<math> |x+y|\le\max(|x|,|y|)</math>.
 
*<math> |x+y|\le\max(|x|,|y|)</math>.
Line 59: Line 58:
  
 
==See Also==
 
==See Also==
 
+
* [[Algebraic number theory]]
*[[Algebraic number theory]]
+
* [[Completion]]
*[[Completion]]
+
* [[Valuation]]
*[[P-adic number]]
 
*[[Valuation]]
 

Revision as of 12:17, 4 November 2006

Template:Wikify

The absolute value of a real number $x$, denoted $|x|$, is its distance from zero on a number line. If $x\ge 0$, then $|x|=x$, and if $x<0$, then $\displaystyle |x|=-x$. This is equivalent to "dropping the minus sign."

Similarly, the absolute value of a complex number $z=x+iy$, where $x,y\in\mathbb{R}$, is $|z|=\sqrt{x^2+y^2}$.

Example Problems

Simple Absolute Value Problems

$|x|=5$

Solution: You have to isolate the variable, and then make two equations; one negative, the other positive. The variable is already isolated, so we can make the two equations: $x=5$ and $x=-5$. This works because x can be both positive and negative, and will still give the same result. The answer is $x=\{-5,\,5\}$.


Now, let's say that you have functions outside your absolute value: $4+3|7x|=151$.

Just like in the other problem, you must isolate the variable. First, sutract 4 from both sides to get $3|7x|=147$. Then, divide by three to get $|7x|=49$.

Now, try to solve it by yourself.

Solution: We first get rid of the absolute value by making two equations: $7x=49$ and $7x=-49$. Divide everything by 7 to get the answer: $x=\{-7,\,7\}$.

Practice Problems

$-|x|=x-6$

$|7b|=21$

$5+8|4x|=69$

Word Problems

Absolute Value Functions are also very useful for solving problems.

Lets say you have a problem that goes like this:

In Mrs. Barnett's class, the scores on a certain test varied 28 points from 71. What were the minumum and maximum scores on the test?

You would have $|x-71|=28$ as your equation, and if you solve it, you get 99 as the maximum and 43 as the minimum.

Problems from Competitions

Generalized Absolute Values

The absolute value functions listed above have three very important properties:

We call any function satisfying these three properties an absolute value, or a norm.

Another example of an absolute value is the p-adic absolute value of $\mathbb{Q}$, the rational numbers. Let $x=\prod_{i=1}^n p_i^{e_i}$, where the $p_{i}$'s are distinct prime numbers, and the $e_i$'s are (positive, negative, or zero) integers. Define $|x|_{p_i}=p_i^{-e_i}$. This defines an absolute value on $\mathbb{Q}$. This absolute value satisfies a stronger triangle inequality:

  • $|x+y|\le\max(|x|,|y|)$.

An absolute value satisfying this strong triangle inequality is called nonarchimedian. If an absolute value does not satisfy the strong triangle inequality, then it is called archimedian. The ordinary absolute value on $\mathbb{R}$ or $\mathbb{C}$ is archimedian.

The theory of absolute values is important in algebraic number theory. Let $K/\mathbb{Q}$ be a finite Galois extension with $[K:\mathbb{Q}]=n$, and let $\sigma_1,\ldots,\sigma_n$ be the field automorphisms of $K$ over $\mathbb{Q}$. Then the only absolute values are the archimedian ones given by $|x|_i=|\sigma_i(x)|$ (the ordinary real or complex absolute values) and the nonarchimedian ones given by $|x|_{\mathfrak{p}}$ for some prime ${\mathfrak{p}}$ of $K$.

See Also