Valor absoluto

En matemáticas, o valor absoluto ou módulo dun número real x {\displaystyle x}, denotado como | x | {\displaystyle |x|}, é o valor non negativo de x {\displaystyle x} sen ter en conta o seu signo. É dicir, | x |
x {\displaystyle |x|
x} se x {\displaystyle x} é un número positivo e | x |
− x {\displaystyle |x|
-x} se x {\displaystyle x} é negativo, e | 0 |
0 {\displaystyle |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 número real x {\displaystyle x}, o valor absoluto ou módulo de x {\displaystyle x} denótase como | x | {\displaystyle |x|}, cunha barra vertical a cada lado da cantidade, e defínese como | x |
{ x, if x ≥ 0 − x, if x < 0. {\displaystyle |x|
{\begin{cases}x, &{\text{if }}x\geq 0\\-x, &{\text{if }}x<0. \end{cases}}} 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 {\textstyle a}, b {\textstyle 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. 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
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 + i y, {\displaystyle z
x+iy, } onde x e y son números reais, o valor absoluto ou módulo de z denótase como | z | {\displaystyle |z|} e é definido por | z |
Re ⁡ ( z ) 2 + Im ⁡ ( z ) 2
x 2 + y 2, {\displaystyle |z|
{\sqrt {\operatorname {Re} (z)^{2}+\operatorname {Im} (z)^{2}}}
{\sqrt {x^{2}+y^{2}}}, } que é a adición pitagórica de x {\displaystyle x} e y {\displaystyle y}, onde Re ⁡ ( z )
x {\displaystyle \operatorname {Re} (z)
x} e Im ⁡ ( z )
y {\displaystyle \operatorname {Im} (z)
y} denotan as partes real e imaxinaria de z {\displaystyle z}, respectivamente.
Cando un número complexo z {\displaystyle z} exprésase na súa forma polar como z
r e i θ, {\displaystyle z
re^{i\theta }, } o seu valor absoluto é | z |
r. {\displaystyle |z|
r. } Xa que o produto de calquera número complexo z {\displaystyle z} e o seu conxugado complexo z ¯
x − i y {\displaystyle {\bar {z}}
x-iy}, co mesmo valor absoluto, é sempre un número real non negativo ( x 2 + y 2 ) {\displaystyle \left(x^{2}+y^{2}\right)}, o valor absoluto dun número complexo z {\displaystyle z} é a raíz cadrada de z ⋅ z ¯, {\displaystyle z\cdot {\overline {z}}, } que, polo tanto, se denomina cadrado absoluto ou módulo cadrado de z {\displaystyle z}: | z |
z ⋅ z ¯. {\displaystyle |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 | {\displaystyle |z|^{2}
|z^{2}|} é un caso especial de multiplicidade que adoita ser útil por si só. Función valor absoluto
A función de valor absoluto real é continua en todas partes. É diferenciábel en todas partes excepto para x 0. É 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 ), {\displaystyle |x|
x\operatorname {sgn}(x), \quad } ou | x | sgn ⁡ ( x )
x, {\displaystyle \quad |x|\operatorname {sgn}(x)
x, } e para x ≠ 0, sgn ⁡ ( x )
| x | x
x | x |. {\displaystyle \operatorname {sgn}(x)
{\frac {|x|}{x}}
{\frac {x}{|x|}}. }
Relación coas funcións max e min
Deixe s, t ∈ R {\displaystyle s, t\in \mathbb {R} }, entón | t − s |
− 2 min ( s, t ) + s + t {\displaystyle |t-s|
-2\min(s, t)+s+t} e | t − s |
2 max ( s, t ) − s − t. {\displaystyle |t-s|
2\max(s, t)-s-t. }
Derivada
A función de valor absoluto real ten unha derivada para todo x ≠ 0, mais non é diferenciábel en x
0. A súa derivada para x ≠ 0 vén dada pola función escalonada: d | x | d x
x | x |
{ − 1 x < 01 x > 0. {\displaystyle {\frac {d\left|x\right|}{dx}}
{\frac {x}{|x|}} {\begin{cases}-1&x<0\\1&x>0. \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 é ∫ | x | d x
x | x | 2 + C, {\displaystyle \int \left|x\right|dx
{\frac {x\left|x\right|}{2}}+C, } onde C é 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, …, a n ) {\displaystyle a
(a_{1}, a_{2}, \dots, a_{n})} e b
( b 1, b 2, …, b n ) {\displaystyle b
(b_{1}, b_{2}, \dots, b_{n})} no n-espazo euclidiano defínese como: ∑ i
1 n ( a i − b i ) 2. {\displaystyle {\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 d nun conxunto X × X chámase métrica (ou función de distancia) en X, 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 a é un elemento dun anel ordenado R, entón o valor absoluto de a, denotado por |a|, defínese como: | a |
{ a, if a ≥ 0 − a, if a < 0. {\displaystyle |a|
\left\{{\begin{array}{rl}a, &{\text{if }}a\geq 0\\-a, &{\text{if }}a<0. \end{array}}\right. } onde −a é a inversa aditiva de a, 0 é a identidade aditiva, e < e ≥ teñen o significado habitual con respecto á ordenación no anel.
Corpos
Unha función con valor real v nun corpo F denomínase valor absoluto (tamén módulo, magnitude, valor ou valoración) se cumpre os seguintes catro axiomas: Onde 0 indica a identidade aditiva de F. Da definición positiva e da multiplicatividade despréndese que v(1) 1, onde 1 denota a identidade multiplicativa de F. Os valores absolutos reais e complexos definidos anteriormente son exemplos de valores absolutos para un corpo arbitrario.
Se v é un valor absoluto on F, entón a función d en F × F, definido por d(a, b)
v(a − b), é unha métrica e as seguintes son equivalentes: d satisfai a desigualdade ultramétrica d ( x, y ) ≤ max ( d ( x, z ), d ( y, z ) ) {\displaystyle d(x, y)\leq \max(d(x, z), d(y, z))} para todos os x, y, z en F. { v ( ∑ k
1 n 1 ): n ∈ N } {\textstyle \left\{v\left(\sum _{k
1}^{n}\mathbf {1} \right): n\in \mathbb {N} \right\}} está limitado en R. v ( ∑ k
1 n 1 ) ≤ 1 {\displaystyle v\left({\textstyle \sum _{k 1}^{n}}\mathbf {1} \right)\leq 1\ } para todo n ∈ N {\displaystyle n\in \mathbb {N} }. v ( a ) ≤ 1 ⇒ v ( 1 + a ) ≤ 1 {\displaystyle v(a)\leq 1\Rightarrow v(1+a)\leq 1\ } for all a ∈ F {\displaystyle a\in F}. v ( a + b ) ≤ max { v ( a ), v ( b ) } {\displaystyle v(a+b)\leq \max\{v(a), v(b)\}\ } para todo a, b ∈ F {\displaystyle 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 p-ádico
Dada a valoración p-ádica dun enteiro n {\displaystyle n} definida como ν p ( n )
{ m a x { k ∈ N 0: p k ∣ n } if n ≠ 0 ∞ if n
0, {\displaystyle \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 ν p ( r s )
ν p ( r ) − ν p ( s ). {\displaystyle \nu _{p}\left({\frac {r}{s}}\right)
\nu _{p}(r)-\nu _{p}(s). } Temos que o valor absoluto p-ádico (ou norma p-ádica, aínda que non é unha norma no sentido de análise) sobre Q {\displaystyle \mathbb {Q} } é a función | ⋅ | p: Q → R ≥ 0 {\displaystyle |\cdot |_{p}\colon \mathbb {Q} \to \mathbb {R} _{\geq 0}} definido por | r | p
p − ν p ( r ). {\displaystyle |r|_{p}
p^{-\nu _{p}(r)}. } Así, | 0 | p
p − ∞
0 {\displaystyle |0|_{p}
p^{-\infty }
0} para todos os p {\displaystyle p} e
por exemplo, | − 12 | 2
2 − 2
14 {\displaystyle |{-12}|_{2}
2^{-2}
{\tfrac {1}{4}}} e | 98 | 2
2 − ( − 3 )
8. {\displaystyle {\bigl |}{\tfrac {9}{8}}{\bigr |}_{2}
2^{-(-3)}
8. } O valor absoluto p-ádico satisfai as seguintes propiedades.
Espazos vectoriais
Unha función con valores reais nun espazo vectorial V sobre un corpo F, representado como Modelo: Norm, chámase valor absoluto, pero máis habitualmente unha norma, se cumpre os seguintes axiomas: Para todos os a en F, e v, u en V,
A norma dun vector tamén se chama a súa lonxitude ou magnitude.
No caso do espazo euclidiano R n {\displaystyle \mathbb {R} ^{n}}, a función definida por ‖ ( x 1, x 2, …, x n ) ‖
∑ i
1 n x i 2 {\displaystyle \|(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 R {\displaystyle \mathbb {R} } considéranse como espazo vectorial unidimensional R 1 {\displaystyle \mathbb {R} ^{1}}, o valor absoluto é unha norma, e é a p -norma (ver espazo L <sup id
"mwAn4">p</sup> ) para calquera p. De feito, o valor absoluto é a "única" norma R 1 {\displaystyle \mathbb {R} ^{1}}, no sentido de que, para cada norma | | ⋅ | | {\displaystyle ||\cdot ||} en R 1 {\displaystyle \mathbb {R} ^{1}}, | | x | |
| | 1 | | ⋅ | x | {\displaystyle ||x|| ||1||\cdot |x|}.