1: \begin{definition}\lab{winter31}

2: Let $(X,\tau)$ be a locally convex topological vector space.

3: \begin{itemizeXALI}

4: \item The \textbf{weak topology} on $X$ is the natural topology

5: induced by the separating family of seminorms $\{p_F\}_{F\in X^*}$ where

6: \begin{equation*}

7: \forall\,F\in X^*\qquad p_F: X\rightarrow \reals,\quad

8: p_F(x):=|F(x)|

9: \end{equation*}

10: It can be shown that this topology is the smallest (weakest) topology with respect to which all the

11:  linear maps in $[(X,\tau)]^*$ are continuous. A sequence $\{x_m\}$ converges to $x$ in $X$ with respect to

12: the weak topology if and only if $F(x_m)\rightarrow F(x)$ in

13: $\reals$ for all $F\in X^*$. In this case we may write $x_m\rightharpoonup x$. We denote the weak topology on $X$ by $\sigma (X,X^*)$. It can be shown that $[(X,\tau)]^*$ is the same set as $[(X,\sigma(X,X^*))]^*$.

14: \item The \textbf{weak$^*$ topology} on $X^*$ is the natural topology

15: induced by the separating family of seminorms $\{p_x\}_{x\in X}$ where

16: \begin{equation*}

17: \forall\,x\in X\qquad p_x: X^*\rightarrow \reals,\quad

18: p_x(f):=|f(x)|

19: \end{equation*}

20: It can be shown that this topology is the weakest topology with respect to which all the

21:  linear maps $\{f\mapsto f(x)\}_{x\in X}$ (from $X^*$ to $\reals$) are continuous. A sequence $\{f_m\}$ converges to $f$ in $X^*$ with respect to

22: the weak$^*$ topology if and only if $f_m(x)\rightarrow f(x)$ in

23: $\reals$ for all $x\in X$. We denote the weak$^*$ topology on $X^*$ by $\sigma (X^*,X)$.

24: \item The \textbf{strong topology} on $X^*$ is the natural topology induced

25: by the separating family of seminorms $\{p_B\}_{B\subseteq X

26: \textrm{bounded}}$ where for any bounded subset $B$ of $X$

27: \begin{equation*}

28: p_B: X^*\rightarrow \reals\qquad p_B(f):=\sup \{|f(x)|: x\in B\}

29: \end{equation*}

30: (it can be shown that for any bounded subset $B$ of $X$ and $f\in

31: X^*$, $f(B)$ is a bounded subset of $\reals$; see Theorem ~\ref{thmmay3814} and Theorem ~\ref{thmmay7320})

32: \end{itemizeXALI}

33: \end{definition}

34: