I'm trying to understand the part of the Wiki article on Frechet Spaces which says that you can construct a Frechet Space by starting with a vector space $X$ and a countable family of seminorms $\|\cdot\|_k$, and imposing a couple of properties, the first of which says that
if $x\in X$ and $\|x\|_{k}=0$ for all $k\geq 0$, then $x=0$.
The article goes on to say that this implies that the topological vector space is Hausdorff.
The topology is induced from the family of semi-norms as follows: for any subset $U\subset X$, $U$ is open if and only if for any $u\in U$, there exist $K\geq0$ and $\epsilon>0$ such that $\{v; \|v-u\|_k<\epsilon\ \forall k\leq K\}$ is a subset of $U$.
In particular, given $x,y\in X$, an open set $O_1$ containing $x$ is open if and only if there exist $K_1\geq 0,\epsilon_1>0$ such that $\{v; \|v-x\|_k<\epsilon_1\ \forall k\leq K_1\}\subset O_1$, and an open set $O_2$ containing $y$ is open if and only if there exist $K_2\geq 0,\epsilon_2>0$ such that $\{v; \|v-y\|_k<\epsilon_2\ \forall k\leq K_2\}\subset O_2$.
How can I use the property state above to prove that for any $x,y$, there exist such sets $O_1$ and $O_2$ which are disjoint?
If $x \neq y$ then $x-y \neq 0$ so that there is some $k$ with $r=\|x_k -y_k\|_k >0$ Now note that $B_k(y)=\{z:\|z-y\|_k < {r \over 2}\}$ and $B_k(x)$ are subbasic open and disjoint.