En análisis matemático , la desigualdad de Minkowski establece que los espacios L p son espacios vectoriales normativos . Deje que S sea un espacio de medida , deja 1 ≤ p <∞ y dejar que f y g sea elementos de L p ( S ). Entonces f + g está en L p ( S ), y tenemos la desigualdad del triángulo
con igualdad para 1 < p <∞ si y solo si f y g son positivamente dependientes linealmente , es decir, f = λg para algún λ ≥ 0 o g = 0 . Aquí, la norma viene dada por:
si p <∞, o en el caso p = ∞ por el supremo esencial
La desigualdad de Minkowski es la desigualdad del triángulo en L p ( S ). De hecho, es un caso especial del hecho más general
donde es fácil ver que el lado derecho satisface la desigualdad triangular.
Al igual que la desigualdad de Hölder , la desigualdad de Minkowski se puede especializar en secuencias y vectores mediante el uso de la medida de conteo :
para todos los números reales (o complejos ) x 1 , ..., x n , y 1 , ..., y n y donde n es la cardinalidad de S (el número de elementos en S ).
La desigualdad lleva el nombre del matemático alemán Hermann Minkowski .
Prueba
Primero, probamos que f + g tiene una p -norm finita si f y g la tienen, lo que sigue por
De hecho, aquí utilizamos el hecho de que es convexo sobre R + (para p > 1 ) y, por lo tanto, según la definición de convexidad,
Esto significa que
Ahora, podemos hablar legítimamente sobre . Si es cero, entonces se mantiene la desigualdad de Minkowski. Ahora asumimos queno es cero. Usando la desigualdad del triángulo y luego la desigualdad de Hölder , encontramos que
Obtenemos la desigualdad de Minkowski multiplicando ambos lados por
Desigualdad integral de Minkowski
Suponga que ( S 1 , μ 1 ) y ( S 2 , μ 2 ) son dos espacios de medida σ- finitos y F: S 1 × S 2 → R es medible. Entonces la desigualdad integral de Minkowski es ( Stein 1970 , §A.1), ( Hardy, Littlewood & Pólya 1988 , Teorema 202) :
con modificaciones obvias en el caso p = ∞ . Si p > 1 , y ambos lados son finitos, entonces la igualdad sólo se cumple si | F ( x , y ) | = φ ( x ) ψ ( y ) ae para algunas funciones medibles no negativas φ y ψ .
Si μ 1 es la medida de conteo en un conjunto de dos puntos S 1 = {1,2}, entonces la desigualdad integral de Minkowski da la desigualdad de Minkowski habitual como un caso especial: para poner f i ( y ) = F ( i , y ) para i = 1, 2 , la desigualdad integral da
Esta notación se ha generalizado a
por , con . Usando esta notación, la manipulación de los exponentes revela que, si, luego .
Desigualdad inversa
Cuándo la desigualdad inversa se mantiene:
Además, necesitamos la restricción de que tanto y son no negativos, como podemos ver en el ejemplo y : .
La desigualdad inversa se deriva del mismo argumento que el Minkowski estándar, pero utiliza que la desigualdad de Holder también se invierte en este rango. Véase también el capítulo sobre Desigualdad en Minkowski. [1]
Usando el Minkowski inverso, podemos probar que poder significa con , como la media armónica y la media geométrica son cóncavas.
Generalizaciones a otras funciones
La desigualdad de Minkowski se puede generalizar a otras funciones más allá de la función de poder . La desigualdad generalizada tiene la forma
Varias condiciones suficientes en han sido encontrados por Mulholland [2] y otros. Por ejemplo, para un conjunto de condiciones suficientes de Mulholland es
- es continuo y estrictamente creciente con .
- es una función convexa de .
- es una función convexa de .
Ver también
Referencias
- ^ Bullen, Peter S. Manual de medios y sus desigualdades. Vol. 560. Springer Science & Business Media, 2013.
- ^ Mulholland, HP (1949). "Sobre generalizaciones de la desigualdad de Minkowski en forma de desigualdad triangular". Actas de la London Mathematical Society . p. 2-51 (1): 294-307. doi : 10.1112 / plms / s2-51.4.294 .
- Hardy, GH ; Littlewood, JE ; Pólya, G. (1952). Desigualdades . Biblioteca matemática de Cambridge (segunda ed.). Cambridge: Cambridge University Press. ISBN 0-521-35880-9.
- Minkowski, H. (1953). "Geometrie der Zahlen". Chelsea. Cite journal requiere
|journal=
( ayuda ). - Stein, Elias (1970). "Integrales singulares y propiedades de diferenciabilidad de funciones". Prensa de la Universidad de Princeton. Cite journal requiere
|journal=
( ayuda ). - MI Voitsekhovskii (2001) [1994], "Desigualdad de Minkowski" , Enciclopedia de Matemáticas , EMS Press
- Lohwater, Arthur J. (1982). "Introducción a las Desigualdades" .