Interpretación geométrica del funcional de Minkowski
En matemáticas, en el campo del análisis funcional, un funcional de Minkowski (en referencia al matemático alemán Hermann Minkowski) o función de calibre es una aplicación que establece una noción de distancia en un espacio lineal.
Si es un subconjunto de un espacio vectorial real o complejo, entonces el funcional de Minkowski o calibre de se caracteriza como la función , sobre la recta real extendida, definida por
,
donde el ínfimo del conjunto vacío se define como el infinito positivo , (que no es un número real, por lo que no tendría entonces un valor real).
A menudo se supone (o se elige) que el conjunto tenga algunas propiedades determinadas, como ser un disco absorbente en , lo que garantiza que será una seminorma de valor real en .
De hecho, cada seminorma en es igual al funcional de Minkowski (es decir, ) de cualquier subconjunto de que satisfaga que (donde los tres conjuntos son necesariamente absorbentes en y el primero y el último también son discos).
Así, cada seminorma (que es una función definida por propiedades puramente algebraicas) puede asociarse (de forma no única) con un disco absorbente (que es un conjunto con ciertas propiedades geométricas) y, a la inversa, cada disco absorbente puede asociarse con su funcional de Minkowski (que necesariamente será una seminorma).
Estas relaciones entre seminormas, funcionales de Minkowski y discos absorbentes son una de las principales razones por las que los funcionales de Minkowski se estudian y utilizan en el análisis funcional. En particular, a través de estas relaciones, los funcionales de Minkowski permiten traducir ciertas propiedades geométricas de un subconjunto de y asociarlas con ciertas propiedades algebraicas de una función en .
La función de Minkowski siempre es no negativa (es decir, ). Esta propiedad de ser no negativa contrasta con otras clases de funciones, como la función sublineal y el funcional lineal real, que sí permiten valores negativos. Sin embargo, es posible que no tenga un valor real, ya que para cualquier , dado, el valor es un número real si y solo si no es vacío.
En consecuencia, generalmente se supone que tiene propiedades (como ser absorbente en , por ejemplo) que garantizarán que tenga un valor real.
Definición
Sea un subconjunto de un espacio vectorial real o complejo . Se define el calibre de o el funcional de Minkowski asociado o inducido por como la función , valorada en los números reales extendidos, definida por
donde se debe recordar que el ínfimo del conjunto vacío es , (es decir, ). Aquí, es la abreviatura de .
Para cualquier , si y solo si no está vacío. Las operaciones aritméticas en se pueden extender para operar en , donde para todos los reales distintos de cero. Los productos y permanecen sin definir.
Algunas condiciones que hacen que un calibre tenga valor real
En el campo del análisis de convexidad, que la aplicación tome el valor de , no es necesariamente un problema. Sin embargo, en el análisis funcional casi siempre tiene un valor real (es decir, nunca toma el valor de ,), lo que ocurre si y solo si el conjunto no está vacío para cada .
Para que tenga valor real basta con que el origen de pertenezca al interior algebraico o núcleo de en .[1]
Si es absorbente en , debe recordarse que esto implica que , entonces el origen pertenece al interior algebraico de en y, por lo tanto, tiene un valor real.
A continuación se detallan las caracterizaciones de cuándo tiene un valor real.
Ejemplos motivadores
Ejemplo 1
Considérese un espacio vectorial normado, con la norma y sea la bola unitaria en . Entonces, para cada , . Por lo tanto, el funcional de Minkowski es solo la norma en .
Ejemplo 2
Sea un espacio vectorial sin topología con campo escalar subyacente . Sea cualquier funcional lineal en (no necesariamente continuo). Fijar . Sea el conjunto
y sea el funcional de Minkowski de .
Entonces
.
La función tiene las siguientes propiedades:
Es subaditiva:
Es absolutamente homogénea: para todos los escalares
Es no negativa:
Por lo tanto, es una seminorma sobre , con una topología inducida. Esto es característico de los funcionales de Minkowski definidos mediante conjuntos agradables. Existe una correspondencia uno a uno entre las seminormas y el funcional de Minkowski dado por tales conjuntos. Lo que se entiende precisamente por agradable se analiza en la siguiente sección.
Obsérvese que, a diferencia de un requisito más estricto para una norma, no tiene por qué implicar que . En el ejemplo anterior, se puede tomar un distinto de cero del núcleo de . En consecuencia, la topología resultante no tiene por qué ser de Hausdorff.
Las condiciones comunes que garantizan los calibres son seminormas
Para garantizar que , se asumirá en adelante que .
Para que sea una seminorma, basta con que sea un disco (es decir, convexo y equilibrado) y absorbente en , que son los supuestos más comunes que se le hacen a .
Teorema[2]
Si es un discoabsorbente en un espacio vectorial , entonces el funcional de Minkowski de , que es la aplicación definida por
es una seminorma en .
Además,
De manera más general, si Error al representar (SVG (MathML puede ser habilitado mediante un plugin de navegador): respuesta no válida («Math extension cannot connect to Restbase.») del servidor «http://localhost:6011/es.wikipedia.org/v1/»:): {\displaystyle K} es convexo y el origen pertenece al interior algebraico de , entonces es un funcional sublineal no negativo en , lo que implica en particular que es subaditivo y homogéneo positivo. Si es absorbente en , entonces es homogéneo positivo, lo que significa que para todos los reales donde .[3]
Si es una función de valor real no negativa en que es homogénea positiva, entonces los conjuntos y satisfacen que y Si además es absolutamente homogéneo, entonces tanto como son conjuntos equilibrados. [3]
Calibres de discos absorbentes
Podría decirse que los requisitos más comunes impuestos a un conjunto para garantizar que sea una seminorma son que sea un discoabsorbente en . Debido a lo comunes que son estas suposiciones, a continuación se van a investigar las propiedades de un funcional de Minkowski cuando es un disco absorbente. Dado que todos los resultados mencionados anteriormente hacen pocas (si es que hay alguna) suposición sobre , se pueden aplicar en este caso especial.
Teorema
Supóngase que es un subconjunto absorbente de . Entonces, se demuestra que:
Demostración de que el calibre de un disco absorbente es una seminorma:
Convexidad y subaditividad
Un argumento geométrico simple que muestra que la convexidad de implica subaditividad es el siguiente: Supóngase por el momento que . Entonces, para todo , . Dado que es convexo y , entonces también es convexo. Por lo tanto, . Por definición del funcional de Minkowski
Pero el lado izquierdo de la ecuación es , por lo que
.
Dado que era arbitrario, se deduce que , es la desigualdad buscada. El caso general se obtiene tras la modificación obvia.
La convexidad de , junto con el supuesto inicial de que el conjunto no está vacío, implica que es absorbente.
Equilibrio y homogeneidad absoluta
Observe que el hecho de que esté equilibrado implica que
Por lo tanto:
Propiedades algebraicas
Sea un espacio vectorial real o complejo y sea un disco absorbente en .
donde es el interior y es la clausura topológica de en .[6] Es importante destacar que no se asumió que era continuo ni que tuviera propiedades topológicas.
Además, el funcional de Minkowski es continuo si y solo si es un entorno del origen en .[6] Si es continuo, entonces[6]
.
Requisitos mínimos en el conjunto
En esta sección se investiga el caso más general del calibre de cualquier subconjunto de . El caso especial más común en el que se supone que es un discoabsorbente en se analizó anteriormente.
Propiedades
Todos los resultados de esta sección se pueden aplicar al caso en el que sea un disco absorbente.
En todo momento, es cualquier subconjunto de .
Sumario
Supóngase que es un subconjunto de un espacio vectorial real o complejo . Entonces:
Una aplicación se llama homogénea no negativa[7] si para todo y todo no negativo real. Dado que no está definido, una aplicación que toma el infinito como valor no es homogénea no negativa.
Valor real: es el conjunto de todos los puntos en los que tiene un valor real. Entonces tiene valor real si y solo si , en cuyo caso .
Valor en : si y solo si si y solo si .
Núcleo: Si entonces si y solo si si y solo si existe una secuencia divergente de números reales positivos tal que para todo . Además, el conjunto cero de es .
Comparación con una constante: Si entonces para cualquier , si y solo si . Este enunciado se puede reformular como: Si entonces .
Se deduce que si es real entonces , donde el conjunto del lado derecho denota y no su subconjunto . Si entonces estos conjuntos son iguales si y solo si contiene a .
En particular, si o entonces , pero, lo que es más importante, lo contrario no es necesariamente cierto.
Comparación de calibre: Para cualquier subconjunto , si y solo si ; y por lo tanto si y solo si .
La asignación es de orden inverso en el sentido de que si entonces .[8]
Debido a que el conjunto satisface que , se deduce que reemplazar con no cambiará el funcional de Minkowski resultante. Lo mismo ocurre con y con .
Si entonces y tienen la propiedad particularmente conveniente de que si es real entonces si y solo si o .[nota 1] Además, si es real entonces si y solo si .
Subaditividad/desigualdad triangular: es subaditivo si y solo si es convexo. Si es convexo, entonces también lo son y y, además, es subaditivo.
Escalado del conjunto: Si es un escalar, entonces para todos los . Por lo tanto, si es real, entonces .
Función homogénea: para todos los y todos los escalares de longitud unitaria [nota 2] si y solo si para todos los escalares de longitud unitaria , en cuyo caso para todos los y todos los escalares no nulos. Si además también es real-valorado, entonces esto es válido para todos los escalares (es decir, es[nota 3] absolutamente homogéneo).
para todas las longitudes unitarias si y solo si para todas las longitudes unitarias .
para todos los escalares unitarios si y solo si para todos los escalares unitarios si este es el caso, entonces para todos los escalares unitarios .
es simétrico (es decir, para todos los ) si y solo si , lo que ocurre si y solo si .
Absorbente: Si es convexo, o está equilibrado y si entonces es absorbente en .
Si un conjunto es absorbente en y , entonces es absorbiente en .
Si es convexo y entonces , en cuyo caso .
Restricción a un subespacio vectorial: Si es un subespacio vectorial de y si denota el funcional de Minkowski de en , entonces , donde denota la restricción de a .
Demostración
Las demostraciones de estas propiedades básicas son ejercicios sencillos, por lo que solo se dan las pruebas de las afirmaciones más importantes.
La prueba de que un subconjunto convexo que satisface es necesariamente absorbente en es sencilla y se puede encontrar en el artículo sobre conjuntos absorbentes.
Para cualquier real
de modo que tomando el mínimo de ambos lados se comprueba que
.
Esto demuestra que los funcionales de Minkowski son estrictamente homogéneos positivos. Para que esté bien definido, es necesario y suficiente que , por lo tanto, para todo y todo valor real no negativo si y solo si tiene un valor real.
La hipótesis del enunciado (7) permite concluir que para todo y todos los escalares que satisfacen . Todo escalar tiene la forma para algún real donde y son reales si y solo si es real. Los resultados de la afirmación sobre la homogeneidad absoluta se derivan inmediatamente de la conclusión antes mencionada, de la estricta homogeneidad positiva de , y de la homogeneidad positiva de cuando tiene un valor real.
Ejemplos
Si es una colección no vacía de subconjuntos de , entonces para todos los , donde .
Por lo tanto, para todos los .
Si es una colección no vacía de subconjuntos de y satisface
entonces para todos los .
Los siguientes ejemplos muestran que la inclusión podría ser adecuada.
Ejemplo: Si y entonces pero , lo que demuestra que es posible que sea un subconjunto propio de cuando .
El siguiente ejemplo muestra que la inclusión puede ser propia cuando . El ejemplo se puede generalizar a cualquier real. Suponiendo que , el siguiente ejemplo es representativo de cómo sucede que satisface pero .
Ejemplo: Sea distinto de cero y para que y . De se deduce que . Que se deduce de observar que para cada , , que contiene a . Así, y . Sin embargo, para que , sea lo deseado.
La homogeneidad positiva caracteriza a los funcionales de Minkowski
El siguiente teorema muestra que los funcionales de Minkowski son exactamente aquellas funciones que tienen cierta propiedad puramente algebraica que se encuentra comúnmente.
Teorema
Sea cualquier función. Las siguientes declaraciones son equivalentes:
Si es válido para todos los y real, entonces de modo que .
Sólo (1) implica que (3) será demostrado porque después, el resto del teorema se sigue inmediatamente de las propiedades básicas de los funcionales de Minkowski descritas anteriormente, propiedades que en adelante se utilizarán sin comentarios.
Entonces, supóngase que es una función tal que para todo y todo real, y sea .
Para todos los , reales, tomando por ejemplo, se deduce que o que .
Sea . Entonces, queda por demostrar que .
A continuación se demuestra que si o entonces , de modo que en particular se sigue que . Entonces, supóngase que o en cualquier caso para todos los reales. Ahora bien, si , entonces esto implica que ese es para todo real (desde ), lo que implica que , tal como se quería comprobar. De manera similar, si entonces para todos los reales, lo que implica que . Por lo tanto, en adelante se supondrá que es un número real positivo y que (sin embargo, es importante destacar que aún no se ha descartado la posibilidad de que sea o ).
Recuérdese que al igual que , la función satisface que para todos los reales. Puesto que , si y solo si se asume sin pérdida de generalidad que y queda por demostrar que . Dado que , , esto implica que (en particular, está garantizado). Queda por demostrar que , que debe recordarse que ocurre si y solo si . Así que supóngase, para obtener una contradicción, que y sean y tales que , donde debe tenerse en cuenta que implica que . Entonces .
Este teorema se puede ampliar para caracterizar ciertas clases de aplicaciones con valores (por ejemplo, la función sublineal con valores reales) en términos de funcionales de Minkowski. Por ejemplo, se puede utilizar para describir cómo cada función homogénea real (como los funcionales lineales) se puede escribir en términos de un funcional de Minkowski único que tiene una determinada propiedad.
Caracterización de los funcionales de Minkowski en los conjuntos con forma de estrella
Proposición[9]
Sea cualquier función y cualquier subconjunto. Las siguientes declaraciones son equivalentes:
es (estrictamente) homogéneo positivo, , y
.
es el funcional de Minkowski de (es decir, ), contiene el origen y tiene forma de estrella respecto al origen.
El conjunto tiene forma de estrella respecto al origen si y solo si siempre que y . Un conjunto que tiene forma de estrella respecto al origen a veces se denomina conjunto en estrella.[10]
Caracterización de los funcionales de Minkowski que son seminormas
En el siguiente teorema, que se sigue inmediatamente de las afirmaciones anteriores, se supone que no es absorbente en y, en cambio, se deduce que es absorbente cuando es una seminorma. Tampoco se supone que sea equilibrado (que es una propiedad que a menudo se requiere que tenga ). En su lugar, está la condición más débil de que para todos los escalares que satisfacen que . El requisito común de que sea convexo también se reduce a exigir únicamente que sea convexo.
Teorema
Sea un subconjunto de un espacio vectorial real o complejo . Entonces, es una seminorma en si y solo si se cumplen todas las condiciones siguientes:
Es suficiente (pero no necesario) que sea convexo.
para todos los escalares unitarios .
Esta condición se cumple si es equilibrado o más generalmente si para todos los escalares unitarios .
en cuyo caso y tanto como serán subconjuntos convexos, equilibrados y absorbentes de .
Por el contrario, si es una seminorma en , entonces el conjunto satisface las tres condiciones anteriores (y por lo tanto también las conclusiones) y también . Además, es necesariamente convexo, equilibrado, absorbente y satisface que .
Corolario
Si es un subconjunto convexo, equilibrado y absorbente de un espacio vectorial real o complejo , entonces es una seminorma en .
Funciones sublineales positivas y funcionales de Minkowski
Se puede demostrar que una función subaditiva con valor real en un espacio vectorial topológico arbitrario es continua en el origen si y solo si es uniformemente continua, donde si además es no negativa, entonces es continua si y solo si es un entorno abierto en .[11] Si es subaditivo y satisface que , entonces es continuo si y solo si su valor absoluto es continuo.
Una función sublineal no negativa es una función homogénea no negativo que satisface la desigualdad triangular. De los resultados siguientes se deduce inmediatamente que para dicha función , si entonces . Dado que , la función de Minkowski es una función sublineal si y solo si es de valor real y subaditiva, lo que sucede si y solo si y son convexos.
Correspondencia entre conjuntos convexos abiertos y funciones sublineales continuas positivas
Teorema[11]
Supóngase que es un espacio vectorial topológico (no necesariamente localmente convexo o de Hausdorff) sobre los números reales o complejos. Entonces, los subconjuntos convexos abiertos no vacíos de son exactamente aquellos conjuntos que tienen la forma para algún y alguna función sublineal positiva continua en .
Demostración
Sea un subconjunto convexo abierto de .
Si , entonces sea y, en caso contrario, considérese que sea arbitrario. Sea el funcional de Minkowski de , donde este entorno abierto convexo del origen satisface que . Entonces, es una función sublineal continua en , ya que es convexo, absorbente y abierto (aunque no es necesariamente una seminorma, ya que no es necesariamente absolutamente homogénea). De las propiedades de los funcionales de Minkowski, se tiene que , de lo cual se deduce que y así . Dado que , esto completa la demostración.
↑En general, es falso que si y solo si (por ejemplo, considérese cuando es una norma o una seminorma). La afirmación correcta es: Si entonces si y solo si o .
↑La aplicación se llama absolutamente homogénea si está bien definida y para todos los y todos los escalares (no solo los escalares distintos de cero).
Berberian, Sterling K. (1974). Lectures in Functional Analysis and Operator Theory. Graduate Texts in Mathematics 15. New York: Springer. ISBN 978-0-387-90081-0. OCLC 878109401.
Bourbaki, Nicolas (1987) [1981]. Topological Vector Spaces: Chapters 1–5 (Eggleston, H.G.; Madan, S., trad.). Elementos de matemática. Berlin New York: Springer-Verlag. ISBN 3-540-13627-4. OCLC 17499190.
Conway, John (1990). A course in functional analysis. Graduate Texts in Mathematics 96 (2nd edición). New York: Springer-Verlag. ISBN 978-0-387-97245-9. OCLC 21195908.
Diestel, Joe (2008). The Metric Theory of Tensor Products: Grothendieck's Résumé Revisited16. Providence, R.I.: American Mathematical Society. ISBN 9781470424831. OCLC 185095773.
Dineen, Seán (1981). Complex Analysis in Locally Convex Spaces. North-Holland Mathematics Studies 57. Amsterdam New York New York: North-Holland Pub. Co., Elsevier Science Pub. Co. ISBN 978-0-08-087168-4. OCLC 16549589.
Dunford, Nelson; Schwartz, Jacob T. (1988). Linear Operators. Pure and applied mathematics 1. New York: John Wiley & Sons. ISBN 978-0-471-60848-6. OCLC 18412261.
Edwards, Robert E. (1995). Functional Analysis: Theory and Applications. New York: Dover Publications. ISBN 978-0-486-68143-6. OCLC 30593138.
Grothendieck, Alexander (1973). Topological Vector Spaces (Chaljub, Orlando, trad.). New York: Gordon and Breach Science Publishers. ISBN 978-0-677-30020-7. OCLC 886098.
Hogbe-Nlend, Henri (1977). Bornologies and Functional Analysis: Introductory Course on the Theory of Duality Topology-Bornology and its use in Functional Analysis. North-Holland Mathematics Studies 26. Amsterdam New York New York: North Holland. ISBN 978-0-08-087137-0. MR 0500064. OCLC 316549583.
Hogbe-Nlend, Henri; Moscatelli, V. B. (1981). Nuclear and Conuclear Spaces: Introductory Course on Nuclear and Conuclear Spaces in the Light of the Duality "topology-bornology". North-Holland Mathematics Studies 52. Amsterdam New York New York: North Holland. ISBN 978-0-08-087163-9. OCLC 316564345.
Kubrusly, Carlos S. (2011). The Elements of Operator Theory (Second edición). Boston: Birkhäuser. ISBN 978-0-8176-4998-2. OCLC 710154895.
Jarchow, Hans (1981). Locally convex spaces. Stuttgart: B.G. Teubner. ISBN 978-3-519-02224-4. OCLC 8210342.
Köthe, Gottfried (1983) [1969]. Topological Vector Spaces I (Garling, D.J.H., trad.). Grundlehren der mathematischen Wissenschaften 159. New York: Springer Science & Business Media. ISBN 978-3-642-64988-2. MR 0248498. OCLC 840293704.
Köthe, Gottfried (1979). Topological Vector Spaces II. Grundlehren der mathematischen Wissenschaften 237. New York: Springer Science & Business Media. ISBN 978-0-387-90400-9. OCLC 180577972.
Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second edición). Boca Raton, FL: CRC Press. ISBN 978-1584888666. OCLC 144216834.
Pietsch, Albrecht (1979). Nuclear Locally Convex Spaces. Ergebnisse der Mathematik und ihrer Grenzgebiete 66 (Second edición). Berlin, New York: Springer-Verlag. ISBN 978-0-387-05644-9. OCLC 539541.
Robertson, Alex P.; Robertson, Wendy J. (1980). Topological Vector Spaces. Cambridge Tracts in Mathematics 53. Cambridge England: Cambridge University Press. ISBN 978-0-521-29882-7. OCLC 589250.
Rudin, Walter (1991). Functional Analysis. International Series in Pure and Applied Mathematics 8 (Second edición). New York, NY: McGraw Hill Education. ISBN 978-0-07-054236-5. OCLC 21163277.
Thompson, Anthony C. (1996). Minkowski Geometry. Encyclopedia of Mathematics and Its Applications. Cambridge University Press. ISBN 0-521-40472-X. (requiere registro).
Schaefer, Helmut H.; Wolff, Manfred P. (1999). Topological Vector Spaces. GTM 8 (Second edición). New York, NY: Springer New York Imprint Springer. ISBN 978-1-4612-7155-0. OCLC 840278135.
Schechter, Eric (1996). Handbook of Analysis and Its Foundations. San Diego, CA: Academic Press. ISBN 978-0-12-622760-4. OCLC 175294365.
Schaefer, H. H. (1999). Topological Vector Spaces. New York, NY: Springer New York Imprint Springer. ISBN 978-1-4612-7155-0. OCLC 840278135.
Swartz, Charles (1992). An introduction to Functional Analysis. New York: M. Dekker. ISBN 978-0-8247-8643-4. OCLC 24909067.
Trèves, François (2006) [1967]. Topological Vector Spaces, Distributions and Kernels. Mineola, N.Y.: Dover Publications. ISBN 978-0-486-45352-1. OCLC 853623322.
Wilansky, Albert (2013). Modern Methods in Topological Vector Spaces. Mineola, New York: Dover Publications, Inc. ISBN 978-0-486-49353-4. OCLC 849801114.
F. Simeski, A.M.P. Boelens and M. Ihme. Modeling Adsorption in Silica Pores via Minkowski Functionals and Molecular Electrostatic Moments. Energies13 (22) 5976 (2020). https://doi.org/10.3390/en13225976