Let $V$ be a topological $k$-vector space.

Let $V^{\star}$ denote the space of all linear functionals $V \rightarrow k$ and $V' \subset V^{\star}$ the subspace of all *continuous* linear functionals.

The weak (Mackey) topology is the weakest (strongest) topology on the vector space $V$, such that all continuous functionals $v' \in V'$ remain continuous, and all discontinuous functionals $v' \in V^{\star} \setminus V'$ remain discontinuous w.r.t. the new weak (Mackey) topology.

Let $V_{\sigma} (V_{\tau})$ denote the underlying vector space $V$ equipped with its weak (Mackey) topology. In my opinion its clear that the weak topology on $V$ is an initial topology w.r.t. the family V', i.e. a function $f: U \rightarrow V_{\sigma}$ is continuous iff $v' \circ f$ is continuous for all $v' \in V'$.

By construction, if $f: U \rightarrow V_{\tau}$ is continuous, also $v' \circ f$ is continuous for all $v' \in V'$.

**Does the inverse also hold? I.e. is the Mackey topology also initial w.r.t. V'? (No its not final)**

Thank you.

w.r.t. V'(in the above sense)? – user120487 Nov 16 at 11:55