Valor absoluto

[miniatura| A [Gráfica dunha función|gráfica da función de valor absoluto para números reais]]
miniatura| O valor absoluto dun número pódese considerar como a súa distancia a cero.

En matemáticas, o **valor absoluto** ou **módulo** dun número real x, denotado como |x|, é o valor non negativo de x sen ter en conta o seu signo. É dicir, |x|=x se x é un número positivo e |x|=-x se x é negativo, e |0|=0. Por exemplo, o valor absoluto de 3 é 3, e o valor absoluto de -3 é tamén 3. O valor absoluto dun número pódese considerar como a súa distancia a cero.

As xeneralizacións do valor absoluto dos números reais ocorren nunha gran variedade de escenarios matemáticos. Por exemplo, tamén se define un valor absoluto para os números complexos, os cuaternións, os aneis ordenados, os corpos e os espazos vectoriais. O valor absoluto está intimamente relacionado coas nocións de magnitude, distancia e norma en diversos contextos matemáticos e físicos.

## Definición e propiedades 
### Números reais 
Para calquera  o **valor absoluto** ou **módulo** de x denótase como |x|, cunha barra vertical a cada lado da cantidade, e defínese como  
:|x| =
  \begin{cases}
   x, & \text{if } x \geq 0 \\
   -x, & \text{if } x 

Desde o punto de vista da xeometría analítica, o valor absoluto dun número real é a distancia dese número desde cero ao longo da recta numérica real e, de xeito máis xeral, o valor absoluto da diferenza de dous números reais (a súa diferenza absoluta) é a distancia entre eles. A noción dunha función de distancia abstracta en matemáticas pódese ver como unha xeneralización do valor absoluto da diferenza (ver "Distancia" máis abaixo).

O valor absoluto ten as seguintes catro propiedades fundamentais: a, b son números reais), que se usan para xeneralizar esta noción a outros dominios:

A continuación indícanse algunhas propiedades útiles adicionais. Estas son consecuencia inmediata da definición ou implicadas polas catro propiedades fundamentais anteriores.
\  (se b \ne 0 )
| Conservación da división (equivalente á multiplicidade)
|-
| |a-b| \geq \bigl| \left|a\right| - \left|b\right| \bigr| 
| Desigualdade do triángulo inverso (equivalente a subaditividade)
|}
Outras dúas propiedades útiles sobre as desigualdades son:

Estas relacións pódense utilizar para resolver desigualdades que impliquen valores absolutos. Por exemplo:

### Números complexos 
[dereita|miniatura| O valor absoluto dun [número complexo z é a distancia r de z dende a orixe. Tamén se ve na imaxe que z e o seu complexo conxugado \bar z teñen o mesmo valor absoluto.]]
Xa que os números complexos non están ordeados, a definición dada na parte superior para o valor absoluto real non pode ser directamente aplicada a números complexos. Con todo, a interpretación xeométrica do valor absoluto dun número real como a súa distancia desde 0 pode ser xeneralizada. O valor absoluto dun número complexo é definido pola distancia euclidiana do seu punto correspondente no plano complexo desde a orixe. Isto pode ser computado utilizando o teorema de Pitágoras: para calquera número complexo z = x + iy,

onde x e y  son números reais, o **valor absoluto** ou **módulo** de z denótase como |z|  e é definido por
:|z| = \sqrt{\operatorname{Re}(z)^2 + \operatorname{Im}(z)^2}=\sqrt{x^2 + y^2},

que é a adición pitagórica de x e y, onde \operatorname{Re}(z)=x e \operatorname{Im}(z)=y denotan as partes real e imaxinaria  de z, respectivamente.

Cando un número complexo z exprésase na súa forma polar como z = r e^{i \theta}, o seu valor absoluto é |z| = r.

Xa que o produto de calquera número complexo z e o seu conxugado complexo \bar z = x - iy,  co mesmo valor absoluto, é sempre un número real non negativo \left(x^2 + y^2\right), o valor absoluto dun número complexo z é a raíz cadrada de z \cdot \overline{z},  que, polo tanto, se denomina cadrado absoluto ou *módulo cadrado* de z: 
:|z| = \sqrt{z \cdot \overline{z}}. 

O valor absoluto complexo comparte as catro propiedades fundamentais indicadas anteriormente para o valor absoluto real. A identidade |z|^2 = |z^2| é un caso especial de multiplicidade que adoita ser útil por si só.

## Función valor absoluto 
[miniatura|360x360px| A [Gráfica dunha función|gráfica da función de valor absoluto para números reais]]
[miniatura|332x332px| [Composición de funcións|Composición do valor absoluto cunha función cúbica en diferentes ordes]]
A función de valor absoluto real é continua en todas partes. É diferenciábel en todas partes excepto para . É monótona decrecente no intervalo (−∞, 0] e monótona crecente no intervalo [ 0, +∞). Dado que un número real e o seu oposto teñen o mesmo valor absoluto, é unha función par e, polo tanto, non é invertíbel. A función de valor absoluto real é unha función linear e convexa por tramos.

### Relación coa función signo 
A función de valor absoluto dun número real devolve o seu valor independentemente do seu signo, mentres que a función signo  devolve o signo dun número independentemente do seu valor. As seguintes ecuacións mostran a relación entre estas dúas funcións:

: |x| = x \sgn(x),\quad  ou \quad |x| \sgn(x) = x,

e para  ,

: \sgn(x) = \frac{x} = \frac{x}.

### Relación coas funcións max e min 
Deixe s,t\in\R, entón

: |t-s|= -2 \min(s,t)+s+t

e

: |t-s|=2 \max(s,t)-s-t.

### Derivada 
A función de valor absoluto real ten unha derivada para todo , mais non é diferenciábel en . A súa derivada para  vén dada pola función escalonada:  

: \frac{d\left|x\right|}{dx} = \frac{x} = \begin{cases} -1 & x0. \end{cases}

A función de valor absoluto real é un exemplo de función continua que acada un mínimo global onde non existe a derivada.

### Antiderivada 
A antiderivada (integral indefinida) da función de valor absoluto real é

: \int \left|x\right| dx = \frac{x\left|x\right|}{2} + C,

onde  é unha constante arbitraria de integración. Esta non é unha antiderivada complexa porque as antiderivadas complexas só poden existir para funcións diferenciábeis complexas ( holomorfas), que non é a función de valor absoluto complexo.

## Distancia 
O valor absoluto está intimamente relacionado coa idea de distancia.

A distancia euclidiana estándar entre dous puntos

: a = (a_1, a_2, \dots, a_n)  e b = (b_1, b_2, \dots, b_n) 

no n-espazo euclidiano defínese como:

: \sqrt{\textstyle\sum_{i=1}^n(a_i-b_i)^2}. 

As propiedades do valor absoluto da diferenza de dous números reais ou complexos: a non negatividade, a identidade dos indiscerníbeis, a simetría e a desigualdade do triángulo dada anteriormente, poden verse como motivación da noción máis xeral dunha función de distancia do seguinte xeito:

Unha función de valor real  nun conxunto  chámase métrica (ou *función de distancia*) en &nbsp;, se cumpre os catro axiomas seguintes: 
:

## Xeneralizacións 
### Aneis ordenados 
A definición de valor absoluto dada para os números reais anterior pódese estender a calquera anel ordenado. É dicir, se&nbsp; é un elemento dun anel ordenado&nbsp;*R*, entón o **valor absoluto** de&nbsp;, denotado por , defínese como: 

: |a| = \left\{
  \begin{array}{rl}
   a, & \text{if } a \geq 0 \\
   -a, & \text{if } a 

onde  é a inversa aditiva de&nbsp;, 0 é a identidade aditiva, e d(x, y) \leq \max(d(x,z),d(y,z)) para todos os , ,  en .
*  \left\{ v\left( \sum_{k=1}^n \mathbf{1}\right) : n \in \N \right\}  está limitado en **R**.
*  v\left({\textstyle \sum_{k=1}^n } \mathbf{1}\right) \le 1\  para todo n \in \N.
*  v(a) \le 1 \Rightarrow v(1+a) \le 1\  for all a \in F.
*  v(a + b) \le \max \{v(a), v(b)\}\  para todo a, b \in F.

Un valor absoluto que satisfaga  todas as condicións anteriores dise que é **non arquímediano**, se non, dise que é arquimediano.

### Valor absoluto -ádico 
Dada a valoración **-ádica** dun enteiro n  definida como
:
\nu_p(n)=
\begin{cases}
\mathrm{max}\{k \in \mathbb{N}_0 : p^k \mid n\} & \text{if } n \neq 0\\
\infty & \text{if } n=0,
\end{cases}
 
e a valoración dun racional como 
:
\nu_p\left(\frac{r}{s}\right)=\nu_p(r)-\nu_p(s).
 
Temos que o  valor absoluto -ádico (ou norma -ádica, aínda que non é unha norma no sentido de análise) sobre \mathbb{Q} é a función
:|\cdot|_p \colon \Q \to \R_{\ge 0} 
definido por
:|r|_p = p^{-\nu_p(r)} .

Así, |0|_p = p^{-\infty} = 0 para todos os p e
por exemplo, |{-12}|_2 = 2^{-2} = \tfrac{1}{4} e \bigl|\tfrac{9}{8}\bigr |_2 = 2^{-(-3)} = 8 .

O valor absoluto -ádico satisfai as seguintes propiedades.

:

### Espazos vectoriais 
Unha función con valores reais nun espazo vectorial&nbsp; sobre un corpo&nbsp;, representado como , chámase **valor absoluto**, pero máis habitualmente unha **norma**, se cumpre os seguintes axiomas:
:
Para todos os  en&nbsp;, e ,  en  ,

A norma dun vector tamén se chama a súa *lonxitude* ou *magnitude*.

No caso do espazo euclidiano \mathbb{R}^n, a función definida por

: \|(x_1, x_2, \dots, x_n) \| = \sqrt{\textstyle\sum_{i=1}^{n} x_i^2}

é unha norma chamada norma euclidiana. Cando os números reais \mathbb{R} considéranse como espazo vectorial unidimensional \mathbb{R}^1, o valor absoluto é unha norma, e é a  -norma (ver espazo L  ) para calquera  . De feito, o valor absoluto é a "única" norma \mathbb{R}^1, no sentido de que, para cada norma  ||\cdot||  en \mathbb{R}^1,  ||x|| = || 1|| \cdot |x| .

## Notas 
## Véxase tamén 
### Bibliografía 
* Bartle; Sherbert; *Introduction to real analysis* (4th ed.), John Wiley & Sons, 2011 .
* Nahin, Paul J.; *An Imaginary Tale*; Princeton University Press; (hardcover, 1998). .
* Mac Lane, Saunders, Garrett Birkhoff, *Algebra*, American Mathematical Soc., 1999. .
* Mendelson, Elliott, ''Schaum's Outline of Beginning Calculus'', McGraw-Hill Professional, 2008. .
* O'Connor, J.J. and Robertson, E.F.; "Jean Robert Argand".
* Schechter, Eric; *Handbook of Analysis and Its Foundations*, pp.&nbsp;259–263, "Absolute Values", Academic Press (1997) .

### Outros artigos 
* Mínimas desviacións absolutas.
* Número p-ádico
### Ligazóns externas 
* 
* 
*