En matemáticas , un sistema dual , un par dual o una dualidad sobre un cuerpo es una tripleta que consta de dos espacios vectoriales , y , sobre y una función bilineal no degenerada .
En matemáticas , la dualidad es el estudio de los sistemas duales y es importante en el análisis funcional . La dualidad desempeña un papel crucial en la mecánica cuántica porque tiene amplias aplicaciones en la teoría de los espacios de Hilbert .
Definición, notación y convenciones
Maridajes
AEl emparejamiento oparsobre un cuerpoes un tripleque también se puede denotar por queconsta de dos espacios vectorialesysobrey unafunción bilinealllamadafunción bilineal asociada con el emparejamiento,funcióndel emparejamientoo su forma bilineal . Los ejemplos aquí solo describen cuándoson losnúmeros realeso losnúmeros complejos, pero la teoría matemática es general.
Para cada , define
y para cada define
Cada es un funcional lineal en y cada es un funcional lineal en . Por lo tanto, ambos
forman espacios vectoriales de funcionales lineales .
Es una práctica común escribir en lugar de , en la que en algunos casos el emparejamiento puede denotarse por en lugar de . Sin embargo, este artículo reservará el uso de para el mapa de evaluación canónica (definido a continuación) a fin de evitar confusiones para los lectores que no estén familiarizados con este tema.
Emparejamientos duales
Un emparejamiento se llamasistema dual , unpar dual , o undualidad sobresi la forma bilineal no es degenerada , lo que significa que satisface los dos axiomas de separación siguientes:
- separa (distingue) puntos de : si es tal que entonces ; o equivalentemente, para todo , el mapa no es idéntico (es decir, existe un tal que para cada );
- separa (distingue) puntos de : si es tal que entonces ; o equivalentemente, para todo distinto de cero el mapa no es idéntico (es decir, existe un tal que para cada ).
En este caso no es degenerado , y se puede decir que coloca y en dualidad (o, redundante pero explícitamente, en dualidad separada ), y se llama el emparejamiento de dualidad de la tripleta .
Subconjuntos totales
Un subconjunto de se llamatotal si para cada,implica
Un subconjunto total dese define análogamente (ver nota al pie).[nota 1]Por lo tanto,separa los puntos desi y solo sies un subconjunto total de, y de manera similar para.
Ortogonalidad
Los vectores y son ortogonales , escritos , si . Dos subconjuntos y son ortogonales , escritos , si ; es decir, si para todos y . La definición de un subconjunto que es ortogonal a un vector se define de manera análoga .
El complemento ortogonal o aniquilador de un subconjunto es Por tanto, es un subconjunto total de si y sólo si es igual a .
Conjuntos polares
Dado un triple que define un emparejamiento sobre , el conjunto polar absoluto o conjunto polar de un subconjunto de es el conjunto: Simétricamente , el conjunto polar absoluto o conjunto polar de un subconjunto de se denota por y se define por
Para utilizar una contabilidad que ayude a llevar un registro de la antisimetría de los dos lados de la dualidad, el polar absoluto de un subconjunto de también puede llamarse prepolar absoluto o prepolar de y luego puede denotarse por
El polar es necesariamente un conjunto convexo que contiene donde si está equilibrado entonces también lo está y si es un subespacio vectorial de entonces también lo es un subespacio vectorial de
Si es un subespacio vectorial de entonces y este también es igual a la polar real de Si entonces el bipolar de , denotado , es el polar del complemento ortogonal de , es decir, el conjunto De manera similar, si entonces el bipolar de es
Definiciones duales y resultados
Dado un emparejamiento, defina un nuevo emparejamiento donde para todos y .
Hay un tema consistente en la teoría de la dualidad: cualquier definición de un emparejamiento tiene una definición dual correspondiente para el emparejamiento.
- Convención y definición : Dada cualquier definición de un emparejamiento , se obtiene una definición dual al aplicarla al emparejamiento. Estas convenciones también se aplican a los teoremas.
Por ejemplo, si " distingue puntos de " (resp. " es un subconjunto total de ") se define como arriba, entonces esta convención produce inmediatamente la definición dual de " distingue puntos de " (resp. " es un subconjunto total de ").
La siguiente notación es casi omnipresente y nos permite evitar asignar un símbolo a
- Convención y notación : si una definición y su notación para un emparejamiento dependen del orden de y (por ejemplo, la definición de la topología de Mackey en ), entonces al cambiar el orden de y se entiende que la definición se aplicó a (continuando con el mismo ejemplo, la topología en realidad denotaría la topología ).
Para otro ejemplo, una vez que se define la topología débil en , denotada por , entonces esta definición dual se aplicaría automáticamente al emparejamiento para obtener la definición de la topología débil en , y esta topología se denotaría por en lugar de .
Identificación decon
Aunque técnicamente es incorrecto y un abuso de notación, este artículo se adherirá a la convención casi omnipresente de tratar un emparejamiento de manera intercambiable con y también de denotar por
Ejemplos
Restricción de un emparejamiento
Supongamos que es un emparejamiento, es un subespacio vectorial de y es un subespacio vectorial de . Entonces, la restricción de a es el emparejamiento . Si es una dualidad, entonces es posible que una restricción no sea una dualidad (por ejemplo, si y ).
En este artículo se utilizará la práctica común de denotar la restricción mediante
Dualidad canónica en un espacio vectorial
Supóngase que es un espacio vectorial y sea el espacio dual algebraico de (es decir, el espacio de todos los funcionales lineales en ). Existe una dualidad canónica donde que se llama la función de evaluación o la función bilineal natural o canónica en
Nótese en particular que para cualquier es simplemente otra forma de denotar ; es decir
Si es un subespacio vectorial de , entonces la restricción de a se llama emparejamiento canónico , donde si este emparejamiento es una dualidad, entonces se llama en cambio dualidad canónica . Claramente, siempre distingue puntos de , por lo que el emparejamiento canónico es un sistema dual si y solo si separa puntos de
La siguiente notación es ahora casi omnipresente en la teoría de la dualidad.
El mapa de evaluación se denotará por (en lugar de por ) y se escribirá en lugar de
- Suposición : Como es práctica común, si es un espacio vectorial y es un espacio vectorial de funcionales lineales en entonces, a menos que se indique lo contrario, se asumirá que están asociados con el emparejamiento canónico.
Si es un subespacio vectorial de entonces distingue puntos de (o equivalentemente, es una dualidad) si y sólo si distingue puntos de o equivalentemente si es total (es decir, para todo implica ).
Dualidad canónica en un espacio vectorial topológico
Supongamos que es un espacio vectorial topológico (TVS) con espacio dual continuo.
Entonces, la restricción de la dualidad canónica a × define un emparejamiento para el cual separa los puntos de
Si separa los puntos de (lo cual es cierto si, por ejemplo, es un espacio localmente convexo de Hausdorff), entonces este emparejamiento forma una dualidad.
- Suposición : Como se hace comúnmente, siempre que sea un TVS, a menos que se indique lo contrario, se asumirá sin comentarios que está asociado con el emparejamiento canónico.
Polares y duales de TVS
El siguiente resultado muestra que los funcionales lineales continuos en un TVS son exactamente aquellos funcionales lineales que están limitados en un vecindario del origen.
Espacios de productos internos y espacios conjugados complejos
Un espacio pre-Hilbert es un emparejamiento dual si y solo si es un espacio vectorial sobre o tiene dimensión. Aquí se supone que la forma sesquilínea es conjugada homogénea en su segunda coordenada y homogénea en su primera coordenada.
- Si es un espacio de Hilbert real entonces forma un sistema dual.
- Si es un espacio de Hilbert complejo , entonces forma un sistema dual si y solo si Si no es trivial, entonces ni siquiera forma emparejamiento ya que el producto interno es sesquilineal en lugar de bilineal.
Supongamos que es un espacio complejo pre-Hilbert con multiplicación escalar denotada como de costumbre por yuxtaposición o por un punto.
Defina el mapa
donde el lado derecho usa la multiplicación escalar de
Sea el espacio vectorial conjugado complejo de donde denota el grupo aditivo de (por lo que la suma vectorial en es idéntica a la suma vectorial en ) pero con la multiplicación escalar en siendo el mapa (en lugar de la multiplicación escalar que está dotada de).
El mapa definido por es lineal en ambas coordenadas [nota 2] y por lo tanto forma un emparejamiento dual.
Otros ejemplos
- Supongamos que y para todo sea Entonces es un emparejamiento tal que distingue puntos de pero no distingue puntos de Además,
- Sea (donde es tal que ), y Entonces es un sistema dual.
- Sean y espacios vectoriales sobre el mismo cuerpo. Entonces la forma bilineal coloca a y en dualidad.
- Un espacio de secuencia y su dual beta con la función bilineal definida como para forman un sistema dual.
Topología débil
Supongamos que es un emparejamiento de espacios vectoriales sobre
Si entonces la topología débil en inducida por (y ) es la topología TVS más débil en denotada por o simplemente haciendo que todos los mapas sean continuos como rangos sobre Si no está claro a partir del contexto, entonces se debe suponer que es todo en cuyo caso se llama topología débil en (inducida por ). La notación o (si no puede surgir ninguna confusión) simplemente se usa para denotar dotado con la topología débil
Es importante destacar que la topología débil depende completamente de la función de la topología habitual en la estructura del espacio vectorial de y pero no de las estructuras algebraicas de
De manera similar, si entonces la definición dual de la topología débil es inducida por (y ), que se denota por o simplemente (ver nota al pie para más detalles). [nota 3]
- Definición y notación : Si " " se adjunta a una definición topológica (por ejemplo, -converge, -limita, etc.), entonces significa esa definición cuando el primer espacio (es decir , ) lleva la topología. La mención de o incluso y puede omitirse si no surge ninguna confusión. Entonces, por ejemplo, si una secuencia en " -converge" o "converge débilmente", esto significa que converge en mientras que si fuera una secuencia en , entonces esto significaría que converge en ).
La topología es localmente convexa ya que está determinada por la familia de seminormas definidas por como rangos sobre
Si y es una red en entonces -converge a si converge a en
Una red -converge a si y solo si para todo converge a
Si es una secuencia de vectores ortonormales en el espacio de Hilbert, entonces converge débilmente a 0 pero no converge normativamente a 0 (o cualquier otro vector).
Si es un emparejamiento y es un subespacio vectorial propio de tal que es un par dual, entonces es estrictamente más burdo que
Subconjuntos acotados
Un subconjunto de está acotado si y solo si donde
El estado de Hausdorff
Si es un emparejamiento entonces los siguientes son equivalentes:
- distingue puntos de ;
- El mapa define una inyección desde en el espacio dual algebraico de ;
- es Hausdorff .
Teorema de representación débil
El siguiente teorema es de importancia fundamental para la teoría de la dualidad porque caracteriza completamente el espacio dual continuo de
Teorema de representación débil — Sea un emparejamiento sobre el cuerpo Entonces el espacio dual continuo de es Además,
- Si es una función lineal continua en entonces existe alguna tal que ; si tal a existe entonces es único si y sólo si distingue puntos de
- Tenga en cuenta que si se distinguen o no los puntos de no depende de la elección particular de
- El espacio dual continuo de puede identificarse con el espacio cociente donde
- Esto es cierto independientemente de si se distinguen o no puntos de o se distinguen puntos de
En consecuencia, el espacio dual continuo de es
Con respecto al emparejamiento canónico, si es un TVS cuyo espacio dual continuo separa puntos en (es decir, tal que es Hausdorff, lo que implica que también es necesariamente Hausdorff), entonces el espacio dual continuo de es igual al conjunto de todos los mapas de "evaluación en un punto" como rangos sobre (es decir, el mapa que envía a ). Esto se escribe comúnmente como
Este hecho muy importante es la razón por la que los resultados para topologías polares en espacios duales continuos, como la topología dual fuerte en por ejemplo, también se pueden aplicar a menudo al TVS original ; por ejemplo, estar identificado con significa que la topología en puede pensarse en cambio como una topología en
Además, si está dotado de una topología que es más fina que entonces el espacio dual continuo de necesariamente contendrá como un subconjunto. Así, por ejemplo, cuando está dotado de la topología dual fuerte (y por tanto se denota por ) entonces
lo que (entre otras cosas) permite que esté dotado de la topología de subespacio inducida en él por, digamos, la topología dual fuerte (esta topología también se llama topología bidual fuerte y aparece en la teoría de espacios reflexivos : se dice que el TVS localmente convexo de Hausdorff es semirreflexivo si y se llamará reflexivo si además la topología bidual fuerte en es igual a la topología original/de partida de ).
Ortogonales, cocientes y subespacios
Si es un emparejamiento entonces para cualquier subconjunto de :
- y este conjunto es -cerrado;
- ;
- Por lo tanto, si es un subespacio vectorial cerrado de entonces
- Si es una familia de subespacios vectoriales -cerrados de entonces
- Si es una familia de subconjuntos de entonces
Si es un espacio normado entonces bajo la dualidad canónica, es norma cerrada en y es norma cerrada en
Subespacios
Supongamos que es un subespacio vectorial de y sea la restricción de a
La topología débil en es idéntica a la topología del subespacio que hereda de
Además, es un espacio emparejado (donde significa ) donde se define por
La topología es igual a la topología del subespacio que hereda de
Además, si es un sistema dual entonces también lo es
Cocientes
Supongamos que es un subespacio vectorial de
Entonces es un espacio apareado donde se define por
La topología es idéntica a la topología cociente habitual inducida por [
Polares y topología débil
Si es un espacio localmente convexo y si es un subconjunto del espacio dual continuo , entonces está acotado si y solo si para algún barril en
Los siguientes resultados son importantes para definir topologías polares.
Si es un emparejamiento y entonces:
- El polar de es un subconjunto cerrado de
- Las polares de los siguientes conjuntos son idénticas: (a) ; (b) la envoltura convexa de ; (c) la envoltura equilibrada de ; (d) la -clausura de ; (e) la -clausura de la envoltura convexa equilibrada de
- El teorema bipolar : El bipolar de denotado por es igual al -cierre de la envoltura convexa equilibrada de
- El teorema bipolar en particular "es una herramienta indispensable para trabajar con dualidades".
- está acotado si y sólo si es absorbente en
- Si además distingue puntos de entonces es - acotado si y sólo si es - totalmente acotado .
Si es un emparejamiento y es una topología localmente convexa en que es consistente con la dualidad, entonces un subconjunto de es un barril en si y solo si es el polar de algún subconjunto acotado de
Transpone
Transposiciones de una función lineal con respecto a los emparejamientos
Sean y sean emparejamientos sobre y sea un mapa lineal.
Para todo sea el mapa definido por
Se dice que la transpuesta o adjunta de está bien definida si se cumplen las siguientes condiciones:
- distingue puntos de (o equivalentemente, la función de en el dual algebraico es inyectiva ), y
- donde y .
En este caso, para cualquier existe (por condición 2) un único (por condición 1) tal que ), donde este elemento de será denotado por
Esto define una función lineal
llamada la transpuesta o adjunta de con respecto a y (esto no debe confundirse con la adjunta hermítica ). Es fácil ver que las dos condiciones mencionadas anteriormente (es decir, para "la transpuesta está bien definida") también son necesarias para que esté bien definida. Para cada la condición definitoria para es
es decir, para todos
Por las convenciones mencionadas al principio de este artículo, esto también define la transposición de mapas lineales de la forma [nota 4] [nota 5] [nota 6] [nota 7] etc. (ver nota a pie de página).
Propiedades de la transpuesta
A lo largo de todo, y se emparejarán a lo largo de y serán un mapa lineal cuya transposición está bien definida.
- es inyectiva (es decir ) si y solo si el rango de es denso en
- Si además de estar bien definida, la transpuesta de también está bien definida entonces
- Supongamos que es un emparejamiento sobre y es una función lineal cuya transpuesta está bien definida. Entonces la transpuesta de la cual es está bien definida y
- Si es un isomorfismo en un espacio vectorial entonces es biyectivo, cuya transpuesta está bien definida, y
- Sea y sea denota la polaridad absoluta de entonces:
- ;
- si para algunos entonces ;
- si es tal que entonces ;
- si y son discos débilmente cerrados entonces si y sólo si ;
- Estos resultados son válidos cuando se utiliza la polar real en lugar de la polar absoluta.
Si y son espacios normados bajo sus dualidades canónicas y si es una función lineal continua, entonces
Continuidad débil
Una aplicación lineal es débilmente continua (con respecto a y ) si es continua.
El siguiente resultado muestra que la existencia del mapa transpuesto está íntimamente ligada a la topología débil.
Proposición : Supongamos que distingue los puntos de y es una función lineal. Entonces, las siguientes son equivalentes:
- es débilmente continua (es decir, es continua);
- ;
- La transposición de está bien definida.
Si es débilmente continua entonces
- es débilmente continua, es decir que es continua;
- La transpuesta de está bien definida si y sólo si distingue puntos de en cuyo caso
Topología débil y dualidad canónica
Supongamos que es un espacio vectorial y que es su dual algebraico. Entonces, cada subconjunto acotado de está contenido en un subespacio vectorial de dimensión finita y cada subespacio vectorial de es cerrado.
Débil completitud
Si es un espacio vectorial topológico completo, digamos que es -completo o (si no puede surgir ninguna ambigüedad) débilmente completo . Existen espacios de Banach que no son débilmente completos (a pesar de ser completos en su topología normativa).
Si es un espacio vectorial entonces bajo la dualidad canónica, es completo.
Por el contrario, si es un TVS localmente convexo de Hausdorff con espacio dual continuo entonces es completo si y solo si ; es decir, si y solo si el mapa definido enviando al mapa de evaluación en (es decir ) es una biyección.
En particular, con respecto a la dualidad canónica, si es un subespacio vectorial de tal que separa puntos de entonces es completo si y solo si
Dicho de otra manera, no existe un subespacio vectorial propio de tal que sea de Hausdorff y sea completo en la topología débil-* (es decir, la topología de convergencia puntual). En consecuencia, cuando el espacio dual continuo de un TVS localmente convexo de Hausdorff está dotado de la topología débil-* , entonces es completo si y solo si (es decir, si y solo si cada funcional lineal en es continuo).
Identificación deYcon un subespacio del dual algebraico
Si distingue puntos de y si denota el rango de la inyección entonces es un subespacio vectorial del espacio dual algebraico de y el emparejamiento se identifica canónicamente con el emparejamiento canónico (donde es la función de evaluación natural). En particular, en esta situación se supondrá sin pérdida de generalidad que es un subespacio vectorial del dual algebraico de y es la función de evaluación.
- Convención : A menudo, siempre que sea inyectiva (especialmente cuando forma un par dual), entonces es una práctica común suponer sin pérdida de generalidad que es un subespacio vectorial del espacio dual algebraico de que es el mapa de evaluación natural, y también denotar por
De manera completamente análoga, si distingue puntos de entonces es posible identificarlo como un subespacio vectorial del espacio dual algebraico de .
Adjunto algebraico
En el caso especial en que las dualidades son las dualidades canónicas y la transpuesta de una función lineal está siempre bien definida, esta transpuesta se llama adjunta algebraica de y se denotará por ; es decir,
En este caso, para todo donde la condición definitoria para es:
o equivalentemente,
Si para algún entero es una base para con base dual es un operador lineal, y la representación matricial de con respecto a es entonces la transpuesta de es la representación matricial con respecto a de
Débil continuidad y apertura
Supóngase que y son pares canónicos (por lo que y ) que son sistemas duales y sea una función lineal. Entonces es débilmente continua si y solo si satisface cualquiera de las siguientes condiciones equivalentes:
- es continua
- La transpuesta de F , con respecto a y está bien definida.
Si es débilmente continua entonces será continua y además,
Un mapa entre espacios topológicos es relativamente abierto si es un mapeo abierto , donde es el rango de
Supóngase que y son sistemas duales y es una función lineal débilmente continua. Entonces, las siguientes son equivalentes:
- Está relativamente abierto.
- El rango de es -cerrado en ;
Además,
- es inyectiva (resp. biyectiva) si y sólo si es sobreyectiva (resp. biyectiva);
- es sobreyectiva si y sólo si es relativamente abierta e inyectiva.
Transposición de un mapa entre TVS
La transposición de un mapa entre dos TVS se define si y sólo si es débilmente continua.
Si es una función lineal entre dos espacios vectoriales topológicos localmente convexos de Hausdorff, entonces:
- Si es continua, entonces es débilmente continua y es a la vez continua de Mackey y fuertemente continua.
- Si es débilmente continuo, entonces es a la vez continuo de Mackey y fuertemente continuo (definido a continuación).
- Si es débilmente continua, entonces es continua si y sólo si asigna subconjuntos equicontinuos de a subconjuntos equicontinuos de
- Si y son espacios normados, entonces es continuo si y sólo si es débilmente continuo, en cuyo caso
- Si es continuo entonces es relativamente abierto si y sólo si es débilmente relativamente abierto (es decir, es relativamente abierto) y cada subconjunto equicontinuo de es la imagen de algunos subconjuntos equicontinuos de
- Si es una inyección continua, entonces es una incrustación TVS (o equivalentemente, una incrustación topológica ) si y solo si cada subconjunto equicontinuo de es la imagen de algunos subconjuntos equicontinuos de
Metrizabilidad y separabilidad
Sea un espacio localmente convexo con espacio dual continuo y sea
- Si es equicontinuo o -compacto, y si es tal que es denso en entonces la topología del subespacio que hereda de es idéntica a la topología del subespacio que hereda de
- Si es separable y es equicontinuo entonces cuando está dotado de la topología de subespacio inducida por es metrizable .
- Si es separable y metrizable , entonces es separable.
- Si es un espacio normado entonces es separable si y sólo si la unidad cerrada llamada espacio dual continuo de es metrizable cuando se da la topología del subespacio inducida por
- Si es un espacio normado cuyo espacio dual continuo es separable (cuando se da la topología normativa habitual), entonces es separable.
Topologías polares y topologías compatibles con emparejamiento
Partiendo únicamente de la topología débil, el uso de conjuntos polares produce una gama de topologías localmente convexas. Dichas topologías se denominan topologías polares . La topología débil es la topología más débil de este rango.
En todo momento, habrá un emparejamiento sobre y será una colección no vacía de subconjuntos delimitados de
Topologías polares
Dada una colección de subconjuntos de , la topología polar en determinada por (y ) o la -topología en es la única topología del espacio vectorial topológico (TVS) en para la cual
forma una subbase de vecindades en el origen.
Cuando está dotado de esta -topología entonces se denota por Y . Toda topología polar es necesariamente localmente convexa .
Cuando es un conjunto dirigido con respecto a la inclusión de subconjuntos (es decir, si para todos existe alguno tal que ) entonces esta subbase de vecindad en 0 en realidad forma una base de vecindad en 0.
La siguiente tabla enumera algunas de las topologías polares más importantes.
- Notación : Si denota una topología polar en entonces dotado de esta topología se denotará por o simplemente (por ejemplo, para tendríamos de modo que y todos denotan dotado de ).
Definiciones que involucran topologías polares
Continuidad
Una aplicación lineal es continua de Mackey (con respecto a y ) si es continua.
Una aplicación lineal es fuertemente continua (con respecto a y ) si es continua.
Subconjuntos acotados
Un subconjunto de está débilmente acotado (resp. acotado por Mackey , fuertemente acotado ) si está acotado en (resp. acotado en acotado en ).
Topologías compatibles con un par
Si es un emparejamiento sobre y es una topología vectorial sobre entonces es una topología del emparejamiento y que es compatible (o consistente ) con el emparejamiento si es localmente convexo y si el espacio dual continuo de [nota 8]
Si distingue puntos de entonces al identificar como un subespacio vectorial del dual algebraico de , la condición definitoria se convierte en:
Algunos autores (por ejemplo, [Trèves 2006] y [Schaefer 1999]) requieren que una topología de un par también sea de Hausdorff, que tendría que ser si distingue los puntos de (lo que estos autores asumen).
La topología débil es compatible con el emparejamiento (como se demostró en el teorema de representación débil) y, de hecho, es la topología más débil de este tipo. Existe una topología más fuerte compatible con este emparejamiento y es la topología de Mackey . Si es un espacio normado que no es reflexivo , entonces la topología norma habitual en su espacio dual continuo no es compatible con la dualidad
Teorema de Mackey-Arens
El siguiente es uno de los teoremas más importantes de la teoría de la dualidad.
Teorema I de Mackey–Arens — Seaun emparejamiento tal quedistinga los puntos deysea una topología localmente convexa en(no necesariamente Hausdorff). Entonceses compatible con el emparejamientosi y solo sies una topología polar determinada por alguna colecciónde discos compactosque cubren [nota 9]
De ello se deduce que la topología de Mackey, que es la topología polar generada por todos los discos compactos, es la topología localmente convexa más fuerte que es compatible con el emparejamiento .
Un espacio localmente convexo cuya topología dada es idéntica a la topología de Mackey se denomina espacio de Mackey . La siguiente consecuencia del teorema de Mackey-Arens anterior también se denomina teorema de Mackey-Arens.
Teorema II de Mackey-Arens — Sea un emparejamiento tal que distingue los puntos de y sea una topología localmente convexa en
Entonces es compatible con el emparejamiento si y solo si
Teorema de Mackey, barriles y conjuntos convexos cerrados
Si es un TVS (sobre o ) entonces un semiespacio es un conjunto de la forma para algún funcional lineal real y algún funcional lineal real continuo en
El teorema anterior implica que los subconjuntos cerrados y convexos de un espacio localmente convexo dependen completamente del espacio dual continuo. En consecuencia, los subconjuntos cerrados y convexos son los mismos en cualquier topología compatible con la dualidad; es decir, si y son topologías localmente convexas en con los mismos espacios duales continuos, entonces un subconjunto convexo de es cerrado en la topología si y solo si es cerrado en la topología. Esto implica que la -clausura de cualquier subconjunto convexo de es igual a su -clausura y que para cualquier disco -cerrado en
En particular, si es un subconjunto de entonces es un barril en si y solo si es un barril en
El siguiente teorema muestra que los barriles (es decir, los discos absorbentes cerrados ) son exactamente los polares de los subconjuntos débilmente acotados.
Si es un espacio vectorial topológico, entonces:
- Un subconjunto cerrado, absorbente y equilibrado de absorbe cada subconjunto compacto convexo de (es decir, existe un real tal que contiene ese conjunto).
- Si es Hausdorff y localmente convexo, entonces cada barril absorbe cada subconjunto completo acotado convexo de
Todo esto conduce al teorema de Mackey, que es uno de los teoremas centrales en la teoría de sistemas duales. En resumen, establece que los subconjuntos acotados son los mismos para cualesquiera dos topologías localmente convexas de Hausdorff que sean compatibles con la misma dualidad.
Teorema de Mackey — Supóngase que es un espacio localmente convexo de Hausdorff con espacio dual continuo y considere la dualidad canónica
Si es cualquier topología en que sea compatible con la dualidad en entonces los subconjuntos acotados de son los mismos que los subconjuntos acotados de
Espacio de sucesiones finitas
Sea el espacio de todas las secuencias de escalares tales que para todos los
Let suficientemente grandes y definamos una función bilineal mediante
Entonces
Además, un subconjunto está -acotado (resp. -acotado) si y solo si existe una secuencia de números reales positivos tales que para todos y todos los índices (resp. y ).
De ello se deduce que hay subconjuntos débilmente acotados (es decir, -limitados) de que no están fuertemente acotados (es decir, no -limitados).
Véase también
Notas
- ^ Un subconjunto de es total si para todos , implica .
- ^ Es obvio que es lineal en su primera coordenada. Supongamos que es un escalar. Lo que demuestra que es lineal en su segunda coordenada.
- ^ La topología débil en es la topología TVS más débil en lo que hace que todos los mapas sean continuos, ya que los rangos sobre La notación dual de o simplemente también se puede usar para denotar dotado con la topología débil. Si no está claro a partir del contexto, entonces se debe asumir que es todo en cuyo caso simplemente se llama topología débil en (inducida por ).
- ^ Si es una función lineal , entonces la transpuesta de está bien definida si y solo si distingue los puntos de y En este caso, para cada uno la condición definitoria para es:
- ^ Si es una función lineal , entonces la transpuesta de está bien definida si y solo si distingue los puntos de y En este caso, para cada uno la condición definitoria para es:
- ^ Si es una función lineal , entonces la transpuesta de está bien definida si y solo si distingue los puntos de y En este caso, para cada uno la condición definitoria para es:
- ^ Si es una función lineal , entonces la transpuesta de está bien definida si y solo si distingue los puntos de y En este caso, para cada uno la condición definitoria para es:
- ^ Por supuesto, existe una definición análoga para las topologías que son "compatibles en un emparejamiento", pero este artículo solo tratará las topologías en
- ^ Recordemos que se dice que una colección de subconjuntos de un conjunto cubre si cada punto de está contenido en algún conjunto perteneciente a la colección.
Referencias
Bibliografía
- Narici, Lawrence; Beckenstein, Edward (2011). Espacios vectoriales topológicos . Matemáticas puras y aplicadas (segunda edición). Boca Raton, FL: CRC Press. ISBN 978-1584888666.OCLC 144216834 .
- Michael Reed y Barry Simon, Métodos de física matemática moderna, vol. 1, Análisis funcional, sección III.3. Academic Press, San Diego, 1980. ISBN 0-12-585050-6 .
- Rudin, Walter (1991). Análisis funcional. Serie internacional de matemáticas puras y aplicadas. Vol. 8 (segunda edición). Nueva York, NY: McGraw-Hill Science/Engineering/Math . ISBN 978-0-07-054236-5.OCLC 21163277 .
- Schaefer, Helmut H. ; Wolff, Manfred P. (1999). Espacios vectoriales topológicos . GTM . Vol. 8 (Segunda ed.). Nueva York, NY: Springer New York Imprenta Springer. ISBN 978-1-4612-7155-0.OCLC 840278135 .
- Schmitt, Lothar M (1992). "Una versión equivalente del teorema de Hahn-Banach". Houston J. Of Math . 18 : 429–447.
- Trèves, François (2006) [1967]. Espacios vectoriales topológicos, distribuciones y núcleos . Mineola, Nueva York: Publicaciones de Dover. ISBN 978-0-486-45352-1.OCLC 853623322 .
Enlaces externos