En matemáticas , el valor absoluto o módulo de un número real , denotado , es el valor no negativo de sin tener en cuenta su signo . Es decir, si es un número positivo , y si es negativo (en cuyo caso negar hace positivo), y . Por ejemplo, el valor absoluto de 3 es 3 y el valor absoluto de −3 también es 3. El valor absoluto de un número puede considerarse como su distancia a cero.
Las generalizaciones del valor absoluto de los números reales ocurren en una amplia variedad de entornos matemáticos. Por ejemplo, también se define un valor absoluto para los números complejos , los cuaterniones , los anillos ordenados , los campos y los espacios vectoriales . El valor absoluto está estrechamente relacionado con las nociones de magnitud , distancia y norma en diversos contextos matemáticos y físicos.
En 1806, Jean-Robert Argand introdujo el término módulo , que significa unidad de medida en francés, específicamente para el valor absoluto complejo , [1] [2] y fue tomado prestado al inglés en 1866 como el equivalente latino módulo . [1] El término valor absoluto se utiliza en este sentido desde al menos 1806 en francés [3] y 1857 en inglés. [4] La notación | x | , con una barra vertical a cada lado, fue introducido por Karl Weierstrass en 1841. [5] Otros nombres para valor absoluto incluyen valor numérico [1] y magnitud . [1] En lenguajes de programación y paquetes de software computacional, el valor absoluto de generalmente se representa mediante o una expresión similar.abs(x)
La notación de barra vertical también aparece en otros contextos matemáticos: por ejemplo, cuando se aplica a un conjunto, denota su cardinalidad ; cuando se aplica a una matriz , denota su determinante . Las barras verticales denotan el valor absoluto sólo para objetos algebraicos para los cuales se define la noción de valor absoluto, en particular un elemento de un álgebra de división normada , por ejemplo un número real, un número complejo o un cuaternión. Una notación estrechamente relacionada pero distinta es el uso de barras verticales para la norma euclidiana [6] o la norma sup [7] de un vector en , aunque las barras verticales dobles con subíndices ( y , respectivamente) son una notación más común y menos ambigua. .
Para cualquier número real , el valor absoluto o módulo de se denota por , con una barra vertical a cada lado de la cantidad, y se define como [8]
Por tanto, el valor absoluto de es siempre un número positivo o cero , pero nunca negativo . Cuando él mismo es negativo ( ), entonces su valor absoluto es necesariamente positivo ( ).
Desde el punto de vista de la geometría analítica , el valor absoluto de un número real es la distancia de ese número al cero a lo largo de la recta numérica real y, de manera más general, el valor absoluto de la diferencia de dos números reales (su diferencia absoluta ) es la distancia entre ellos. . [9] La noción de una función de distancia abstracta en matemáticas puede verse como una generalización del valor absoluto de la diferencia (ver "Distancia" más abajo).
Dado que el símbolo de la raíz cuadrada representa la única raíz cuadrada positiva , cuando se aplica a un número positivo, se deduce que | x | =x2. {\displaystyle |x|={\sqrt {x^{2}}}.} Esto es equivalente a la definición anterior y puede usarse como una definición alternativa del valor absoluto de los números reales. [10]
El valor absoluto tiene las siguientes cuatro propiedades fundamentales ( , son números reales), que se utilizan para la generalización de esta noción a otros dominios:
La no negatividad, la precisión positiva y la multiplicatividad se desprenden fácilmente de la definición. Para ver que se cumple la subaditividad, primero observe que donde , con su signo elegido para que el resultado sea positivo. Ahora bien, dado que y , se deduce que cualquiera que sea el valor de , se tiene para todos los reales . En consecuencia, como se desea.
Algunas propiedades útiles adicionales se dan a continuación. Éstas son consecuencias inmediatas de la definición o están implícitas en las cuatro propiedades fundamentales anteriores.
Otras dos propiedades útiles relativas a las desigualdades son:
Estas relaciones se pueden utilizar para resolver desigualdades que involucran valores absolutos. Por ejemplo:
El valor absoluto, como "distancia desde cero", se utiliza para definir la diferencia absoluta entre números reales arbitrarios, la métrica estándar de los números reales.
Dado que los números complejos no están ordenados , la definición dada en la parte superior para el valor absoluto real no se puede aplicar directamente a los números complejos. Sin embargo, la interpretación geométrica del valor absoluto de un número real como su distancia del 0 puede generalizarse. El valor absoluto de un número complejo está definido por la distancia euclidiana de su punto correspondiente en el plano complejo desde el origen . Esto se puede calcular usando el teorema de Pitágoras : para cualquier número complejo donde y son números reales, el valor absoluto o módulo de se denota y se define mediante [11] la suma pitagórica de y , donde y denota las partes real e imaginaria de , respectivamente. Cuando la parte imaginaria es cero, esta coincide con la definición del valor absoluto del número real .
Cuando un número complejo se expresa en su forma polar como su valor absoluto es
Dado que el producto de cualquier número complejo y su conjugado complejo , con el mismo valor absoluto, es siempre el número real no negativo , el valor absoluto de un número complejo es cuya raíz cuadrada se llama por tanto cuadrado absoluto o módulo cuadrático de : Esto generaliza la definición alternativa de reales: .
El valor absoluto complejo comparte las cuatro propiedades fundamentales dadas anteriormente para el valor absoluto real. La identidad es un caso especial de multiplicatividad que muchas veces resulta útil por sí misma.
La función de valor absoluto real es continua en todas partes. Es diferenciable en todas partes excepto en x = 0 . Es monótonamente decreciente en el intervalo (−∞, 0] y monótonamente creciente en el intervalo [0, +∞) . Dado que un número real y su opuesto tienen el mismo valor absoluto, es una función par y, por tanto, no es invertible . La función de valor absoluto real es una función convexa lineal por partes .
Tanto para números reales como complejos, la función de valor absoluto es idempotente (lo que significa que el valor absoluto de cualquier valor absoluto es él mismo).
La función de valor absoluto de un número real devuelve su valor independientemente de su signo, mientras que la función signo (o signum) devuelve el signo de un número independientemente de su valor. Las siguientes ecuaciones muestran la relación entre estas dos funciones:
o
y para x ≠ 0 ,
Vamos entonces
y
La función de valor absoluto real tiene una derivada para cada x ≠ 0 , pero no es diferenciable en x = 0 . Su derivada para x ≠ 0 viene dada por la función escalonada : [12] [13]
La función de valor absoluto real es un ejemplo de función continua que alcanza un mínimo global donde la derivada no existe.
El subdiferencial de | x | en x = 0 es el intervalo [−1, 1] . [14]
La función de valor absoluto complejo es continua en todas partes pero compleja diferenciable en ninguna porque viola las ecuaciones de Cauchy-Riemann . [12]
La segunda derivada de | x | con respecto a x es cero en todas partes excepto cero, donde no existe. Como función generalizada , la segunda derivada puede tomarse como dos veces la función delta de Dirac .
La primitiva (integral indefinida) de la función de valor absoluto real es
donde C es una constante arbitraria de integración . Esta no es una antiderivada compleja porque las antiderivadas complejas solo pueden existir para funciones diferenciables complejas ( holomórficas ), lo que no es así con la función de valor absoluto complejo.
Las dos fórmulas siguientes son casos especiales de la regla de la cadena :
si el valor absoluto está dentro de una función, y
si otra función está dentro del valor absoluto. En el primer caso, la derivada siempre es discontinua en en el primer caso y en el segundo caso.
El valor absoluto está estrechamente relacionado con la idea de distancia. Como se señaló anteriormente, el valor absoluto de un número real o complejo es la distancia desde ese número hasta el origen, a lo largo de la recta numérica real, para números reales, o en el plano complejo, para números complejos y, de manera más general, el valor absoluto. de la diferencia de dos números reales o complejos es la distancia entre ellos.
La distancia euclidiana estándar entre dos puntos.
y
en euclidiano el espacio n se define como:
Esto puede verse como una generalización, ya que para y real, es decir, en un espacio 1, según la definición alternativa del valor absoluto,
y para números complejos, es decir, en un espacio de 2,
Lo anterior muestra que la distancia de "valor absoluto", para números reales y complejos, concuerda con la distancia euclidiana estándar, que heredan como resultado de considerarlos como espacios euclidianos unidimensionales y bidimensionales, respectivamente.
Se puede considerar que las propiedades del valor absoluto de la diferencia de dos números reales o complejos: no negatividad, identidad de indiscernibles, simetría y desigualdad triangular dadas anteriormente, motivan la noción más general de función de distancia de la siguiente manera:
Una función de valor real d en un conjunto X × X se llama métrica (o función de distancia ) en X , si satisface los siguientes cuatro axiomas: [15]
La definición de valor absoluto dada anteriormente para los números reales se puede extender a cualquier anillo ordenado . Es decir, si a es un elemento de un anillo ordenado R , entonces el valor absoluto de a , denotado por | un | , se define como: [16]
donde − a es el inverso aditivo de a , 0 es la identidad aditiva y < y ≥ tienen el significado habitual con respecto al orden en el anillo.
Las cuatro propiedades fundamentales del valor absoluto de los números reales se pueden utilizar para generalizar la noción de valor absoluto a un campo arbitrario, de la siguiente manera.
Una función de valor real v en un campo F se llama valor absoluto (también módulo , magnitud , valor o valoración ) [17] si satisface los siguientes cuatro axiomas:
Donde 0 denota la identidad aditiva de F. De la definición positiva y la multiplicatividad se deduce que v ( 1 ) = 1 , donde 1 denota la identidad multiplicativa de F . Los valores absolutos reales y complejos definidos anteriormente son ejemplos de valores absolutos para un campo arbitrario.
Si v es un valor absoluto en F , entonces la función d en F × F , definida por d ( a , b ) = v ( a − b ) , es una métrica y las siguientes son equivalentes:
Un valor absoluto que satisface cualquiera (por lo tanto todas) de las condiciones anteriores se dice que no es de Arquímedes ; de lo contrario, se dice que es de Arquímedes . [18]
Nuevamente se pueden utilizar las propiedades fundamentales del valor absoluto de los números reales, con una ligera modificación, para generalizar la noción a un espacio vectorial arbitrario.
Una función de valor real en un espacio vectorial V sobre un campo F , representada como ‖ · ‖ , se llama valor absoluto , pero más generalmente norma , si satisface los siguientes axiomas:
Para todo a en F y v , u en V ,
La norma de un vector también se llama longitud o magnitud .
En el caso del espacio euclidiano , la función definida por
Es una norma llamada norma euclidiana . Cuando los números reales se consideran como el espacio vectorial unidimensional , el valor absoluto es una norma , y es la norma p (ver L espacio p ) para cualquier p . De hecho, el valor absoluto es la "única" norma en , en el sentido de que, para cada norma ‖ · ‖ en , ‖ x ‖ = ‖ 1 ‖ ⋅ | x | .
El valor absoluto complejo es un caso especial de la norma en un espacio producto interno , que es idéntica a la norma euclidiana cuando el plano complejo se identifica como plano euclidiano .
Cada álgebra de composición A tiene una involución x → x * llamada conjugación . El producto en A de un elemento x y su conjugado x * se escribe N ( x ) = xx * y se llama norma de x .
Los números reales , los números complejos y los cuaterniones son todos álgebras de composición con normas dadas por formas cuadráticas definidas . El valor absoluto en estas álgebras de división viene dado por la raíz cuadrada de la norma del álgebra de composición.
En general, la norma de un álgebra de composición puede ser una forma cuadrática que no es definida y tiene vectores nulos . Sin embargo, como en el caso de las álgebras de división, cuando un elemento x tiene una norma distinta de cero, entonces x tiene un inverso multiplicativo dado por x */ N ( x ).