# Topologías en espacios de aplicaciones lineales

En matemáticas, particularmente en análisis funcional, los espacios de aplicaciones lineales entre dos espacios vectoriales pueden estar dotados de una variedad de topologías, dando lugar a las topologías en espacios de aplicaciones lineales. El estudio del espacio de aplicaciones lineales y de estas topologías puede dar una idea de los propios espacios.
El artículo topologías de operadores analiza las topologías en espacios de aplicaciones lineales entre espacios vectoriales normados, mientras que este artículo analiza topologías en dichos espacios en el entorno más general de los espacios vectoriales topológicos (EVTs).

## Topologías de convergencia uniforme sobre espacios arbitrarios de aplicaciones

En todo momento se asume lo siguiente:
* $T$ es cualquier conjunto no vacío y ${\mathcal {G}}$ es una colección no vacía de subconjuntos de $T$ dirigido por la inclusión de subconjuntos (es decir, para cualquier $G,H\in {\mathcal {G}}$ existe algún $K\in {\mathcal {G}}$ tal que $G\cup H\subseteq K$).
* $Y$ es un espacio vectorial topológico (no necesariamente de Hausdorff o localmente convexo).
* ${\mathcal {N}}$ es una base de entornos de 0 en $Y.$
* $F$ es un subespacio vectorial de $Y^{T}=\prod _{t\in T}Y,$ que denota el conjunto de todas las funciones $Y$ con valores $f:T\to Y$ con dominio $T.$

### Topología 𝒢

Los siguientes conjuntos constituirán los subconjuntos abiertos básicos de las topologías en espacios de aplicaciones lineales. Para cualquier subconjunto $G\subseteq T$ y $N\subseteq Y,$ sea
    ${\mathcal {U}}(G,N):=\{f\in F:f(G)\subseteq N\}.$
La familia
    $\{{\mathcal {U}}(G,N):G\in {\mathcal {G}},N\in {\mathcal {N}}\}$
forma una base de entornos en el origen de una topología invariante a la traslación única en $F,$ donde esta topología no es necesariamente una topología vectorial (es decir, es posible que no convierta a $F$ en un EVT). Esta topología no depende de la base de entornos ${\mathcal {N}}$ que se eligió y se conoce como topología de convergencia uniforme en los conjuntos en ${\mathcal {G}}$ o como topología ${\mathcal {G}}$. Sin embargo, este nombre se cambia con frecuencia según los tipos de conjuntos que componen ${\mathcal {G}}$ (por ejemplo, la "topología de convergencia uniforme en conjuntos compactos" o la "topología de convergencia compacta"; consúltese la nota al pie para obtener más detalles).
Se dice que un subconjunto ${\mathcal {G}}_{1}$ de ${\mathcal {G}}$ es fundamental con respecto a ${\mathcal {G}}$ si cada $G\in {\mathcal {G}}$ es un subconjunto de algún elemento en ${\mathcal {G}}_{1}.$ En este caso, la colección ${\mathcal {G}}$ se puede reemplazar por ${\mathcal {G}}_{1}$ sin cambiar la topología en $F.$. También se puede reemplazar ${\mathcal {G}}$ con la colección de todos los subconjuntos de todas las uniones finitas de elementos de ${\mathcal {G}}$ sin cambiar la topología ${\mathcal {G}}$ resultante en $F.$.
Un subconjunto $B$ de $T$ se denomina $F$-acotado si $f(B)$ es un subconjunto acotado de $Y$ para cada $f\in F.$
* Teorema
* La topología ${\mathcal {G}}$ en $F$ es compatible con la estructura del espacio vectorial de $F$ si y solo si cada $G\in {\mathcal {G}}$ está acotado por $F$; es decir, si y solo si para cada $G\in {\mathcal {G}}$ y cada $f\in F,$ $f(G)$ está acotado en $Y.$
Propiedades
A continuación se describen las propiedades de los conjuntos abiertos básicos, así que supóngase que $G\in {\mathcal {G}}$ y $N\in {\mathcal {N}}.$ Entonces, ${\mathcal {U}}(G,N)$ es un subconjunto absorbente de $F$ si y solo si para todo $f\in F,$ $N$ absorbe $f(G)$. Si $N$ es equilibrado (respectivamente, convexo), entonces también lo es ${\mathcal {U}}(G,N).$
La igualdad
    ${\mathcal {U}}(\varnothing ,N)=F$
siempre se mantiene. Si $s$ es un escalar, entonces $s{\mathcal {U}}(G,N)={\mathcal {U}}(G,sN),$ de modo que en particular, $-{\mathcal {U}}(G,N)={\mathcal {U}}(G,-N).$ Además,
    ${\mathcal {U}}(G,N)-{\mathcal {U}}(G,N)\subseteq {\mathcal {U}}(G,N-N)$
y de manera similar
    ${\mathcal {U}}(G,M)+{\mathcal {U}}(G,N)\subseteq {\mathcal {U}}(G,M+N).$
Para cualquier subconjunto $G,H\subseteq X$ y cualquier subconjunto no vacío $M,N\subseteq Y,$
    ${\mathcal {U}}(G\cup H,M\cap N)\subseteq {\mathcal {U}}(G,M)\cap {\mathcal {U}}(H,N)$
lo que implica que:
* si $M\subseteq N$ entonces ${\mathcal {U}}(G,M)\subseteq {\mathcal {U}}(G,N).$
* si $G\subseteq H$ entonces ${\mathcal {U}}(H,N)\subseteq {\mathcal {U}}(G,N).$
* Para cualquier $M,N\in {\mathcal {N}}$ y subconjuntos $G,H,K$ de $T,$ si $G\cup H\subseteq K$ entonces :${\mathcal {U}}(K,M\cap N)\subseteq {\mathcal {U}}(G,M)\cap {\mathcal {U}}(H,N).$
Para cualquier familia ${\mathcal {S}}$ de subconjuntos de $T$ y cualquier familia ${\mathcal {M}}$ de entornoos del origen en $Y,$
    ${\mathcal {U}}\left(\bigcup _{S\in {\mathcal {S}}}S,N\right)=\bigcap _{S\in {\mathcal {S}}}{\mathcal {U}}(S,N)\qquad {\text{ y }}\qquad {\mathcal {U}}\left(G,\bigcap _{M\in {\mathcal {M}}}M\right)=\bigcap _{M\in {\mathcal {M}}}{\mathcal {U}}(G,M).$

### Estructura uniforme

Para cualquier $G\subseteq T$ y $U\subseteq Y\times Y$, sea cualquier acompañamiento de $Y$ (donde $Y$ está dotado de su uniformidad canónica), sea
    ${\mathcal {W}}(G,U)~:=~\left\{(u,v)\in Y^{T}\times Y^{T}~:~(u(g),v(g))\in U\;{\text{ para todo }}g\in G\right\}.$
Dado $G\subseteq T,$ la familia de todos los conjuntos ${\mathcal {W}}(G,U)$, ya que $U$ abarca cualquier sistema fundamental de acompañamientos de $Y$, forma un sistema fundamental de acompañamientos para una estructura uniforme en $Y^{T}$ denominada uniformidad de la convergencia uniforme en $G$, o simplemente estructura uniforme de convergencia de $G$. La estructura uniforme de convergencia ${\mathcal {G}}$ es el límite superior mínimo de todas las estructuras uniformes de convergencia $G,$ ya que $G\in {\mathcal {G}}$ abarca ${\mathcal {G}}.$
Redes y convergencia uniforme
Sea $f\in F$ y $f_{\bullet }=\left(f_{i}\right)_{i\in I}$ sea una red en $F.$ Entonces, para cualquier subconjunto $G$ de $T,$ se dice que $f_{\bullet }$ convege uniformemente a $f$ en $G$ si para cada $N\in {\mathcal {N}}$ existe algún $i_{0}\in I$ tal que para cada $i\in I$ que satisfaga $i\geq i_{0},I$ $f_{i}-f\in {\mathcal {U}}(G,N)$ (o equivalentemente, $f_{i}(g)-f(g)\in N$ para cada $g\in G$).
* Teorema
* Si $f\in F$ y si $f_{\bullet }=\left(f_{i}\right)_{i\in I}$ es una red en $F,$, entonces $f_{\bullet }\to f$ en la topología ${\mathcal {G}}$ en $F$ si y solo si para cada $G\in {\mathcal {G}},$ $f_{\bullet }$ converge uniformemente a $f$ en $G.$

### Propiedades heredadas

Convexidad local
Si $Y$ es un espacio localmente convexo, entonces también lo es la topología ${\mathcal {G}}$ en $F$, y si $\left(p_{i}\right)_{i\in I}$ es una familia de seminormas continuas que generan esta topología en $Y$, entonces la topología ${\mathcal {G}}$ es inducida por la siguiente familia de seminormas:
    $p_{G,i}(f):=\sup _{x\in G}p_{i}(f(x)),$
ya que $G$ varía con respecto a ${\mathcal {G}}$ y $i$ varía con respecto a $I$.
Hausdorffsidad
Si $Y$ es un espacio de Hausdorff y $T=\bigcup _{G\in {\mathcal {G}}}G$, entonces la topología ${\mathcal {G}}$ en $F$ es de Hausdorff.
Supóngase que $T$ es un espacio topológico. Si $Y$ es de Hausdorff y $F$ es el subespacio vectorial de $Y^{T}$ que consta de todas las aplicaciones continuas que están acotadas en cada $G\in {\mathcal {G}}$ y si $\bigcup _{G\in {\mathcal {G}}}G$ es denso en $T$, entonces la topología ${\mathcal {G}}$ en $F$ es de Hausdorff.
Acotación
Un subconjunto $H$ de $F$ es acotado en la topología ${\mathcal {G}}$ si y solo si para cada $G\in {\mathcal {G}},$ $H(G)=\bigcup _{h\in H}h(G)$ está acotado en $Y.$

### Ejemplos de topologías 𝒢

Convergencia puntual
Si se considera que ${\mathcal {G}}$ sea el conjunto de todos los subconjuntos finitos de $T$, entonces la topología ${\mathcal {G}}$ en $F$ es llamada topología de la convergencia puntual. La topología de convergencia puntual en $F$ es idéntica a la topología subespacial que $F$ hereda de $Y^{T}$ cuando $Y^{T}$ está dotado de la topología producto habitual.
Si $X$ es un espacio topológico de Hausdorff completamente regular no trivial y $C(X)$ es el espacio de todas las funciones continuas con valores reales (o complejos) en $X,$ la topología de la convergencia puntual en $C(X)$ es metrizable si y solo si $X$ es numerable.

## Topologías 𝒢 en espacios de aplicaciones lineales continuas

En esta sección se asume que $X$ e $Y$ son espacios vectoriales topológicos (EVTs). ${\mathcal {G}}$ será una colección no vacía de subconjuntos de $X$ dirigido por inclusión. $L(X;Y)$ denotará el espacio vectorial de todas las aplicaciones lineales continuas desde $X$ a $Y.$ Si a $L(X;Y)$ se le da la topología ${\mathcal {G}}$ heredada de $Y^{X}$, entonces este espacio con esta topología se denota por $L_{\mathcal {G}}(X;Y)$. El espacio dual continuo de un espacio vectorial topológico $X$ sobre el campo $\mathbb {F}$ (que se supondrá que es real o complejo) es el espacio vectorial $L(X;\mathbb {F} )$ y se denota por $X^{\prime }$.
La topología ${\mathcal {G}}$ en $L(X;Y)$ es compatible con la estructura del espacio vectorial de $L(X;Y)$ si y solo si para todo $G\in {\mathcal {G}}$ y todo $f\in L(X;Y)$ el conjunto $f(G)$ está acotado en $Y,$ lo cual asumiremos que es el caso durante el resto del artículo. Téngase en cuenta en particular que este es el caso si ${\mathcal {G}}$ consta de subconjuntos acotados (de von-Neumann) de $X.$

### Supuestos sobre 𝒢

Supuestos que garantizan una topología vectorial
* (${\mathcal {G}}$ está dirigido): ${\mathcal {G}}$ será una colección no vacía de subconjuntos de $X$ dirigido por inclusión (subconjunto). Es decir, para cualquier $G,H\in {\mathcal {G}},$ existe $K\in {\mathcal {G}}$ tal que $G\cup H\subseteq K$.
La suposición anterior garantiza que la colección de conjuntos ${\mathcal {U}}(G,N)$ forma una base de filtros. La siguiente suposición garantizará que los conjuntos ${\mathcal {U}}(G,N)$ sean equilibrados. Cada EVT tiene una base de entornos en 0 que consta de conjuntos equilibrados, por lo que esta suposición no es complicada.
* ($N\in {\mathcal {N}}$ están equilibrados): ${\mathcal {N}}$ es una base de entornos del origen en $Y$ que consta enteramente de conjuntos equilibrados.
La siguiente suposición se hace muy comúnmente porque garantizará que cada conjunto ${\mathcal {U}}(G,N)$ sea absorbente en $L(X;Y).$
* ($G\in {\mathcal {G}}$ están acotados): se supone que ${\mathcal {G}}$ consiste enteramente en subconjuntos acotados de $X.$
El siguiente teorema muestra formas en las que ${\mathcal {G}}$ se puede modificar sin cambiar la topología ${\mathcal {G}}$ resultante en $Y.$
* Teorema
* Sea ${\mathcal {G}}$ una colección no vacía de subconjuntos acotados de $X.$ Entonces, la topología ${\mathcal {G}}$ en $L(X;Y)$ no se altera si ${\mathcal {G}}$ se reemplaza por cualquiera de las siguientes colecciones de subconjuntos (también acotados) de $X$:
* Todos los subconjuntos de todas las uniones finitas de conjuntos en ${\mathcal {G}}$.
* Todos los múltiplos escalares de todos los conjuntos en ${\mathcal {G}}$.
* Todas las sumas de Minkowski finitas de conjuntos en ${\mathcal {G}}$.
* La envolvente equilibrada de cada conjunto en ${\mathcal {G}}$.
* El cierre de cada conjunto en ${\mathcal {G}}$.
* y si $X$ e $Y$ son localmente convexos, entonces se puede agregar a esta lista:
* La envolvente equilibrada convexa cerrada de cada conjunto en ${\mathcal {G}}.$
Suposiciones comunes
Algunos autores (por ejemplo, Narici) requieren que ${\mathcal {G}}$ cumpla la siguiente condición, lo que implica, en particular, que ${\mathcal {G}}$ es un conjunto dirigido por inclusión de subconjuntos. ${\mathcal {G}}$ se supone cerrado con respecto a la formación de subconjuntos de uniones finitas de conjuntos en ${\mathcal {G}}$ (es decir, cada subconjunto de cada unión finita de conjuntos en ${\mathcal {G}}$ pertenece a ${\mathcal {G}}$).
Algunos autores (por ejemplo, Trèves) requieren que ${\mathcal {G}}$ esté dirigido bajo la inclusión de subconjuntos y que cumpla la siguiente condición:
    Si $G\in {\mathcal {G}}$ y $s$ son escalares, entonces existe un $H\in {\mathcal {G}}$ tal que $sG\subseteq H.$
Si ${\mathcal {G}}$ es una bornología en $X,$ como suele ser el caso, entonces se cumplen estos axiomas. Si ${\mathcal {G}}$ es una familia saturada de subconjuntos acotados de $X$, entonces estos axiomas también se satisfacen.

### Propiedades

Hausdorffsidad
Un subconjunto de un EVT $X$ cuyo sistema generador es un subconjunto denso de $X$ se dice que es un subconjunto total de $X.$ Si ${\mathcal {G}}$ es una familia de subconjuntos de un EVT $T$, entonces se dice que ${\mathcal {G}}$ es total en $T$ si el sistema generador de $\bigcup _{G\in {\mathcal {G}}}G$ es denso en $T.$.
Si $F$ es el subespacio vectorial de $Y^{T}$ que consta de todas las aplicaciones lineales continuas que están acotadas en cada $G\in {\mathcal {G}},$ entonces la topología ${\mathcal {G}}$ en $F$ es de Hausdorff si $Y$ es de Hausdorff y ${\mathcal {G}}$ es total en $T.$
Completitud
Para los siguientes teoremas, supóngase que $X$ es un espacio vectorial topológico e $Y$ es un espacio localmente convexo de Hausdorff y ${\mathcal {G}}$ es una colección de subconjuntos acotados de $X$ que recubre $X,$ está dirigido por inclusión de subconjuntos y satisface la siguiente condición: si $G\in {\mathcal {G}}$ y $s$ son escalares, entonces existe un $H\in {\mathcal {G}}$ tal que $sG\subseteq H.$
* $L_{\mathcal {G}}(X;Y)$ es complete si
** $X$ es localmente convexo y de Hausdorff
** $Y$ es completo, y
** cuando $u:X\to Y$ es una aplicación lineal, entonces $u$ restringido a cada conjunto $G\in {\mathcal {G}}$ es continuo implica que $u$ es continuo,
* Si $X$ es un espacio de Mackey, entonces $L_{\mathcal {G}}(X;Y)$ está completo si y solo si tanto $X_{\mathcal {G}}^{\prime }$ como $Y$ son completos.
* Si $X$ es barrilado, entonces $L_{\mathcal {G}}(X;Y)$ es de Hausdorff y cuasi completo.
* Sean $X$ e $Y$ dos EVTs con $Y$ cuasi completo y supóngase que (1) $X$ es barrilado, o bien (2) $X$ es un espacio de Baire y $X$ e $Y$ son localmente convexos. Si ${\mathcal {G}}$ recubre $X$, entonces cada subconjunto equicontinuo cerrado de $L(X;Y)$ está completo en $L_{\mathcal {G}}(X;Y)$ y $L_{\mathcal {G}}(X;Y)$ es cuasi completo.
* Sea $X$ un espacio bornológico, $Y$ un espacio localmente convexo y ${\mathcal {G}}$ una familia de subconjuntos acotados de $X$ tal que el rango de cada secuencia nula en $X$ esté contenido en algún $G\in {\mathcal {G}}.$ Si $Y$ es cuasi completo (respectivamente, completo), entonces también lo es $L_{\mathcal {G}}(X;Y)$.
Acotado
Sean $X$ e $Y$ espacios vectoriales topológicos y $H$ un subconjunto de $L(X;Y).$ Entonces las siguientes expresiones son equivalentes:
* $H$ está acotado en $L_{\mathcal {G}}(X;Y)$.
* Por cada $G\in {\mathcal {G}},$ $H(G):=\bigcup _{h\in H}h(G)$ está acotado en $Y$.
* Por cada entorno $V$ del origen en $Y,$ el conjunto $\bigcap _{h\in H}h^{-1}(V)$ absorbe cada $G\in {\mathcal {G}}.$
Si ${\mathcal {G}}$ es un colectivo de subconjuntos acotados de $X$ cuya unión es total en $X$, entonces cada subconjunto equicontinuo de $L(X;Y)$ está acotado en la topología ${\mathcal {G}}$. Además, si $X$ e $Y$ son espacios de Hausdorff localmente convexos, entonces
* Si $H$ está acotado en $L_{\sigma }(X;Y)$ (es decir, acotado puntualmente o simplemente acotado), entonces está acotado en la topología de convergencia uniforme en los subconjuntos completos, acotados, equilibrados y convexos de $X.$
* Si $X$ es cuasi completo (lo que significa que los subconjuntos cerrados y acotados están completos), entonces los subconjuntos acotados de $L(X;Y)$ son idénticos para todas las topologías ${\mathcal {G}}$ donde ${\mathcal {G}}$ es cualquier familia de subconjuntos acotados de $X$ que recubren $X.$

### Ejemplos

| ${\mathcal {G}}\subseteq \wp (X)$ ("topología de convergencia uniforme sobre...") | Notación | Nombre ("topología de...") | Nombre alternativo |
| Subconjuntos finitos de $X$ | $L_{\sigma }(X;Y)$ | Convergencia puntual/simple | Topología de convergencia simple |
| Subconjuntos precompactos de $X$ | | Convergencia precompacta | |
| Subconjuntos convexos compactos de $X$ | $L_{\gamma }(X;Y)$ | Convergencia convexa compacta | |
| Subconjuntos compactos de$X$ | $L_{c}(X;Y)$ | Convergencia compacta | |
| Subconjuntos acotados de $X$ | $L_{b}(X;Y)$ | Convergencia acotada | Topología fuerte |

#### Topología de la convergencia puntual

Al permitir que ${\mathcal {G}}$ sea el conjunto de todos los subconjuntos finitos de $X,$ $L(X;Y)$ tendrá la topología débil en $L(X;Y)$ o la topología de convergencia puntual o la topología de convergencia simple y $L(X;Y)$ con esta topología se refiere como $L_{\sigma }(X;Y)$. Desafortunadamente, esta topología a veces también se denomina topología de operador fuerte, lo que puede generar ambigüedad; por esta razón, este artículo evitará hacer referencia a esta topología con este nombre.
Un subconjunto de $L(X;Y)$ se denomina simplemente acotado o débilmente acotado si está acotado en $L_{\sigma }(X;Y)$.
La topología débil en $L(X;Y)$ tiene las siguientes propiedades:
* Si $X$ es separable (es decir, tiene un subconjunto denso numerable) y si $Y$ es un espacio vectorial topológico metrizable, entonces cada subconjunto equicontinuo $H$ de $L_{\sigma }(X;Y)$ es metrizable; si además $Y$ es separable, entonces $H$ también lo es.
** Entonces, en particular, en cada subconjunto equicontinuo de $L(X;Y),$ la topología de la convergencia puntual es metrizable.
* Sea $Y^{X}$ el espacio de todas las funciones desde $X$ hasta $Y.$ Si a $L(X;Y)$ se le da la topología de convergencia puntual, entonces el espacio de todas las aplicaciones lineales (continuas o no) de $X$ a $Y$ se cierra en $Y^{X}$.
** Además, $L(X;Y)$ es denso en el espacio de todas las aplicaciones lineales (continuas o no) $X$ en $Y.$
* Supóngase que $X$ e $Y$ son localmente convexos. Cualquier subconjunto simplemente acotado de $L(X;Y)$ está acotado cuando $L(X;Y)$ tiene la topología de convergencia uniforme en subconjuntos convexos, equilibrados, acotados y completos de $X.$ Si además, $X$ es cuasi completo, entonces las familias de subconjuntos acotados de $L(X;Y)$ son idénticas para todas las topologías de ${\mathcal {G}}$ en $L(X;Y)$, tal que ${\mathcal {G}}$ es una familia de conjuntos acotados que recubren $X.$
Subconjuntos equicontinuos
* El cierre débil de un subconjunto equicontinuo de $L(X;Y)$ es equicontinuo.
* Si $Y$ es localmente convexo, entonces la envolvente equilibrada convexa de un subconjunto equicontinuo de $L(X;Y)$ es equicontinua.
* Sean $X$ e $Y$ dos EVTs y supóngase que (1) $X$ es barrilado, o bien (2) $X$ es un espacio de Baire y $X$ e $Y$ son localmente convexos. Entonces, todo subconjunto simplemente acotado de $L(X;Y)$ es equicontinuo.
* En un subconjunto equicontinuo $H$ de $L(X;Y),$ las siguientes topologías son idénticas: (1) topología de convergencia puntual en un subconjunto total de $X$; (2) la topología de la convergencia puntual; (3) la topología de la convergencia precompacta.

#### Convergencia compacta

Al permitir que ${\mathcal {G}}$ sea el conjunto de todos los subconjuntos compactos de $X,$ $L(X;Y)$ tendrá la topología de convergencia compacta o la topología de convergencia uniforme en conjuntos compactos y $L(X;Y)$ con esta topología se denota por $L_{c}(X;Y).$
La topología de convergencia compacta en $L(X;Y)$ tiene las siguientes propiedades:
* Si $X$ es un espacio de Fréchet o un espacio de LF y si $Y$ es un espacio de Hausdorff localmente convexo completo, entonces $L_{c}(X;Y)$ está completo.
* En subconjuntos equicontinuos de $L(X;Y),$ coinciden las siguientes topologías:
** La topología de la convergencia puntual en un subconjunto denso de $X.$
** La topología de la convergencia puntual en $X.$
** La topología de la convergencia compacta.
** La topología de la convergencia precompacta.
* Si $X$ es un espacio de Montel e $Y$ es un espacio vectorial topológico, entonces $L_{c}(X;Y)$ y $L_{b}(X;Y)$ tienen topologías idénticas.

#### Topología de convergencia acotada

Al permitir que ${\mathcal {G}}$ sea el conjunto de todos los subconjuntos acotados de $X,$ $L(X;Y)$ tendrá la topología de convergencia acotada en $X$ o la topología de convergencia uniforme en conjuntos acotados y $L(X;Y)$ con esta topología se denota por $L_{b}(X;Y)$.
La topología de convergencia limitada en $L(X;Y)$ tiene las siguientes propiedades:
* Si $X$ es un espacio bornológico y si $Y$ es un espacio de Hausdorff localmente convexo completo, entonces $L_{b}(X;Y)$ está completo.
* Si $X$ e $Y$ son espacios normados, entonces la topología en $L(X;Y)$ inducida por la norma del operador habitual es idéntica a la topología en $L_{b}(X;Y)$.
** En particular, si $X$ es un espacio normado, entonces la topología normal habitual en el espacio dual continuo $X^{\prime }$ es idéntica a la topología de convergencia acotada en $X^{\prime }$.
* Todo subconjunto equicontinuo de $L(X;Y)$ está acotado en $L_{b}(X;Y)$.

## Topologías polares

En todo momento, se asume que $X$ es un EVT.

### Topologías 𝒢 frente a topologías polares

Si $X$ es un EVT cuyos subconjuntos acotados son exactamente iguales que sus subconjuntos débilmente acotados (por ejemplo, si $X$ es un espacio localmente convexo de Hausdorff), entonces una topología ${\mathcal {G}}$) en $X^{\prime }$ (como se define en este artículo) es una topología polar y, a la inversa, cada topología polar es una topología ${\mathcal {G}}$. En consecuencia, en este caso los resultados mencionados en este artículo se pueden aplicar a topologías polares.
Sin embargo, si $X$ es un EVT cuyos subconjuntos acotados no son exactamente iguales a sus subconjuntos débilmente acotados, entonces la noción de "acotado en $X$" es más fuerte que la noción de "$\sigma \left(X,X^{\prime }\right)$-acotado en $X$" (es decir, acotado en $X$ implica que $\sigma \left(X,X^{\prime }\right)$ es acotado en $X$) de modo que una topología ${\mathcal {G}}$ en $X^{\prime }$ (como se define en este artículo), no es necesariamente una topología polar. Una diferencia importante es que las topologías polares siempre son localmente convexas, mientras que las topologías ${\mathcal {G}}$ no tienen por qué serlo.
Las topologías polares tienen resultados más sólidos que las topologías más generales de convergencia uniforme descritas en este artículo, por lo que se remite a la lectura del artículo principal, topología polar. Aquí se enumeran algunas de las topologías polares más comunes.

### Lista de topologías polares

Supóngase que $X$ es un EVT cuyos subconjuntos acotados son los mismos que sus subconjuntos débilmente acotados.
Notación: Si $\Delta (Y,X)$ denota una topología polar en $Y$, entonces $Y$ dotado con esta topología se denotará por $Y_{\Delta (Y,X)}$ o simplemente por $Y_{\Delta }$ (por ejemplo, para $\sigma (Y,X)$ se tendría que $\Delta =\sigma$, de modo que $Y_{\sigma (Y,X)}$ e $Y_{\sigma }$ denoten todos $Y$ dotados con $\sigma (Y,X)$).
| >${\mathcal {G}}\subseteq \wp (X)$ ("topología de convergencia uniforme sobre...") | Notación | Nombre ("topología de...") | Nombre alternativo |
| Subconjuntos finitos de $X$ | $\sigma (Y,X)$ $s(Y,X)$ | Convergencia puntual/simple | Topología débil/*débil |
| Discos $\sigma (X,Y)$-compactos | $\tau (Y,X)$ | | Topología de Mackey |
| Subconjuntos convexos $\sigma (X,Y)$-compactos | $\gamma (Y,X)$ | Convergencia convexa compacta | |
| Subconjuntos $\sigma (X,Y)$-compactos (o subconjuntos equilibrados $\sigma (X,Y)$-compactos) | $c(Y,X)$ | Convergencia compacta | |
| Subconjuntos $\sigma (X,Y)$-acotados | $b(Y,X)$ $\beta (Y,X)$ | Convergencia acotada | Topología fuerte |

## Topologías 𝒢-ℋ en espacios de aplicaciones bilineales

Se tiene que ${\mathcal {B}}(X,Y;Z)$ denota el espacio de aplicaciones bilineales continuas por separado y $B(X,Y;Z)$ denota el espacio de aplicaciones bilineales continuas, donde $X,Y,$ y $Z$ son espacios vectoriales topológicos sobre el mismo cuerpo (ya sean números reales o complejos). De manera análoga a cómo se aplica una topología en $L(X;Y)$, se puede aplicar una topología en ${\mathcal {B}}(X,Y;Z)$ y $B(X,Y;Z)$.
Sea ${\mathcal {G}}$ (respectivamente, ${\mathcal {H}}$) una familia de subconjuntos de $X$ (respectivamente, $Y$) que contienen al menos un conjunto no vacío. Sea ${\mathcal {G}}\times {\mathcal {H}}$ la colección de todos los conjuntos $G\times H$ donde $G\in {\mathcal {G}},$ $H\in {\mathcal {H}}.$ Se puede aplicar en $Z^{X\times Y}$ la topología ${\mathcal {G}}\times {\mathcal {H}}$ y, en consecuencia, en cualquiera de sus subconjuntos, en particular en $B(X,Y;Z)$ y en ${\mathcal {B}}(X,Y;Z)$. Esta topología se conoce como topología ${\mathcal {G}}-{\mathcal {H}}$ o como topología de convergencia uniforme en los productos $G\times H$ de ${\mathcal {G}}\times {\mathcal {H}}$.
Sin embargo, como antes, esta topología no es necesariamente compatible con la estructura del espacio vectorial de ${\mathcal {B}}(X,Y;Z)$ o de $B(X,Y;Z)$ sin el requisito adicional de que para todas las aplicaciones bilineales, $b$ en este espacio (es decir, en ${\mathcal {B}}(X,Y;Z)$ o en $B(X,Y;Z)$) y para todos los $G\in {\mathcal {G}}$ y $H\in {\mathcal {H}},$ el conjunto $b(G,H)$ está acotado en $X.$ Si tanto ${\mathcal {G}}$ como ${\mathcal {H}}$ constan de conjuntos acotados, entonces este requisito se cumple automáticamente si se aplica la topología $B(X,Y;Z)$, pero puede que este no sea el caso si se intenta aplicar la topología ${\mathcal {B}}(X,Y;Z)$. La topología ${\mathcal {G}}-{\mathcal {H}}$ en ${\mathcal {B}}(X,Y;Z)$ será compatible con la estructura del espacio vectorial de ${\mathcal {B}}(X,Y;Z)$ si tanto ${\mathcal {G}}$ como ${\mathcal {H}}$ constan de conjuntos acotados y se cumple cualquiera de las siguientes condiciones:
* $X$ e $Y$ son espacios barrilados y $Z$ es localmente convexo.
* $X$ es un espacio F, $Y$ es metrizable y $Z$ es de Hausdorff, en cuyo caso ${\mathcal {B}}(X,Y;Z)=B(X,Y;Z).$
* $X,Y,$ y $Z$ son los duales fuertes de los espacios reflexivos de Fréchet.
* $X$ está normado e $Y$ y $Z$ son los duales fuertes de los espacios reflexivos de Fréchet.

### Topología ε

Supóngase que $X,Y,$ y $Z$ son espacios localmente convexos y sean ${\mathcal {G}}^{\prime }$ y ${\mathcal {H}}^{\prime }$ las colecciones de subconjuntos equicontinuos de $X^{\prime }$ y $X^{\prime }$, respectivamente. Entonces, la topología ${\mathcal {G}}^{\prime }-{\mathcal {H}}^{\prime }$ en ${\mathcal {B}}\left(X_{b\left(X^{\prime },X\right)}^{\prime },Y_{b\left(X^{\prime },X\right)}^{\prime };Z\right)$ será una topología de espacio vectorial topológico. Esta topología se llama topología ε y ${\mathcal {B}}\left(X_{b\left(X^{\prime },X\right)}^{\prime },Y_{b\left(X^{\prime },X\right)};Z\right)$ con esta topología se denota por ${\mathcal {B}}_{\epsilon }\left(X_{b\left(X^{\prime },X\right)}^{\prime },Y_{b\left(X^{\prime },X\right)}^{\prime };Z\right)$ o simplemente por ${\mathcal {B}}_{\epsilon }\left(X_{b}^{\prime },Y_{b}^{\prime };Z\right).$
Parte de la importancia de este espacio vectorial y esta topología es que contiene muchos subespacios, como ${\mathcal {B}}\left(X_{\sigma \left(X^{\prime },X\right)}^{\prime },Y_{\sigma \left(X^{\prime },X\right)}^{\prime };Z\right),$ que se denota por ${\mathcal {B}}\left(X_{\sigma }^{\prime },Y_{\sigma }^{\prime };Z\right).$ Cuando a este subespacio se le da la topología de subespacio de ${\mathcal {B}}_{\epsilon }\left(X_{b}^{\prime },Y_{b}^{\prime };Z\right)$, se denota por ${\mathcal {B}}_{\epsilon }\left(X_{\sigma }^{\prime },Y_{\sigma }^{\prime };Z\right).$
En el caso de que $Z$ sea el campo de estos espacios vectoriales, ${\mathcal {B}}\left(X_{\sigma }^{\prime },Y_{\sigma }^{\prime }\right)$ es un producto tensorial de $X$ e $Y.$ De hecho, si $X$ e $Y$ son espacios de Hausdorff localmente convexos, entonces ${\mathcal {B}}\left(X_{\sigma }^{\prime },Y_{\sigma }^{\prime }\right)$ es un espacio vectorial isomorfo a $L\left(X_{\sigma \left(X^{\prime },X\right)}^{\prime };Y_{\sigma (Y^{\prime },Y)}\right),$ que a su vez es igual a $L\left(X_{\tau \left(X^{\prime },X\right)}^{\prime };Y\right).$
Estos espacios tienen las siguientes propiedades:
* Si $X$ e $Y$ son espacios de Hausdorff localmente convexos, entonces ${\mathcal {B}}_{\varepsilon }\left(X_{\sigma }^{\prime },Y_{\sigma }^{\prime }\right)$ está completo si y solo si tanto $X$ como $Y$ están completos.
* Si $X$ e $Y$ están normados (respectivamente, ambos son de Banach), entonces también lo está ${\mathcal {B}}_{\epsilon }\left(X_{\sigma }^{\prime },Y_{\sigma }^{\prime }\right)$.