12.13 Spaces of Linear Maps
Definition 12.13.1 (Space of Bounded Linear Maps).label Let $E, F$ be TVSs over $K \in \RC$, $\sigma \subset 2^{E}$ be an ideal, and $k \in \nat$. The space $B_{\sigma}^{k}(E; F)$ is the set of all $k$-linear maps $T: E^{k} \to F$ with $T(S^{k}) \in \mathfrak{B}(F)$ for all $S \in \sigma$, equipped with the $\bracsn{S^k| S \in \sigma}$-uniform topology.
Let $\fB \subset 2^{E}$ be the collection of all bounded subsets of $E$, then $B_{\sigma}(E; F) = B(E; F)$ is the space of bounded linear maps from $E$ to $F$.
Proposition 12.13.2 ([III.3.3, SW99]).label Let $E, F$ be TVSs over $K \in \RC$, $\sigma \subset 2^{E}$ be an ideal, and $A \subset B_{\sigma}(E; F)$, then the following are equivalent:
- (1)
$A \subset B_{\sigma}(E; F)$ is bounded with respect to the $\sigma$-uniform topology.
- (2)
For each $V \in \cn_{F}(0)$, $\bigcap_{T \in A}T^{-1}(V)$ absorbs every $S \in \sigma$.
- (3)
For every $S \in \sigma$, $\bigcup_{T \in A}T(A)$ is bounded in $F$.
Definition 12.13.3 (Strong Operator Topology).label Let $E, F$ be TVSs over $K \in \RC$, $\fF \subset 2^{E}$ be the collection of finite subsets of $E$, then the $\fF$-uniform topology on $F^{E}$ is the strong operator topology.
The space $L_{s}(E; F)$ denotes $L(E; F)$ equipped with the strong operator topology.
Proposition 12.13.4.label Let $E, F$ be TVSs over $K \in \RC$ and $\net{T}\subset L(E; F)$ and $T \in L_{s}(E; F)$. If
- (a)
There exists a dense subset $S \subset E$ such that $T_{\alpha} x \to Tx$ strongly for all $x \in S$.
- (b)
$\bracs{T_\alpha|\alpha \in A}$ is uniformly equicontinuous.
then $T_{\alpha} \to T$ in $L_{s}(E; F)$.
Proof. Let $x \in E$, $U \in \cn_{F}(Tx)$, and $V \in \cn_{F}(Tx)$ be balanced such that $V + V + V \subset U$. By (b), there exists a balanced neighbourhood $W \in \cn_{E}(0)$ such that $T(W) \cup \bigcup_{\alpha \in A}T_{\alpha}(W) \subset V$. By (a), there exists $y \in S \cap (x + W)$ and $\alpha_{0} \in A$ such that for all $\alpha \ge \alpha_{0}$, $T_{\alpha} y - Ty \in V$. In which case, for any $\alpha \ge \alpha_{0}$,
$\square$
Definition 12.13.5 (Weak Operator Topology).label Let $E, F$ be TVSs over $K \in \RC$, $\fF \subset 2^{E}$ be the collection of finite subsets of $E$, then the $\fF$-uniform topology on $F_{w}^{E}$ is the weak operator topology.
The space $L_{w}(E; F) = L_{s}(E; F_{w})$ denotes $L(E; F)$ equipped with the weak operator topology.
Definition 12.13.6 (Bounded Convergence Topology).label Let $E, F$ be TVSs over $K \in \RC$, $\fB \subset 2^{E}$ be the collection of bounded subsets of $E$, then the $\fB$-uniform topology on $L(E; F)$ is the topology of bounded convergence, or the uniform topology.
The space $L_{b}(E; F)$ denotes $L(E; F)$ equipped with the topology of bounded convergence.
Definition 12.13.7 (Topology of Precompact Convergence).label Let $E, F$ be TVSs over $K \in \RC$, $\mathfrak{K}\subset 2^{E}$ be the collection of precompact subsets of $E$, then the $\mathfrak{K}$-uniform topology on $L(E; F)$ is the topology of precompact convergence.
The space $L_{c}(E; F)$ denotes $L(E; F)$ equipped with the topology of precompact convergence.
Proposition 12.13.8.label Let $E, F$ be TVSs over $K \in \RC$ with $F$ being separated, then:
- (1)
$\hom(E; F)$ is a closed subspace of $F^{E}$ with respect to the product topology.
- (2)
$B(E; F)$ is a closed subspace of $F^{E}$ with respect to the topology of bounded convergence. In particular, if $F$ is complete, then so is $B(E; F)$.
Proof. (1): For each $x, y \in E$ and $\lambda \in K$, the mappings
and
are continuous with respect to the product topology. Since
and $\bracs{0}$ is closed in $F$, $\hom(E; F)$ is a closed subspace of $F^{E}$.
(2): By Definition 12.12.2 and (1), the space of bounded functions and the space of linear functions from $E$ to $F$ are closed subspaces of $F^{E}$ with respect to the topology of bounded convergence. Therefore $B(E; F)$ is also a closed subspace.$\square$
Post a Comment