Looking For a Neat Proof of the Fact that the Grassmannian Manifold is Hausdorff

Here's an alternative way to deal with the topology : work with orthonormal $k$-frames instead! That is, pick an inner product $\langle-|-\rangle$ on $V$ and study the by the Stieffel manifold of orthonormal $k$-frames $$V_k(V)=\lbrace (v_1,\dots,v_k)\in V^k\mid\langle v_i\mid v_j\rangle=\delta_{ij}\rbrace$$ The equivalence relation induced by that on $F_k(V)$ now coincides with the one coming from the natural action of the matrix group $O(k)$. The advantage of this approach is that the quotient is automatically Hausdorff:

Lemma. Suppose $G$ is a compact group (Hausdorff not needed), and $X$ is a Hausdorff space with a continuous group action $\rho:G\times X\to X$. Then $X/G$ is Hausdorff.

Proof. Suppose $x,y\in X$ belong to different $G$-orbits. Our hope is to find two disjoint open neighborhoods of $x$ and $y$ that are unions of orbits. For every $x'\in G.y$, there exists disjoint open sets $V_{x'}\ni x'$ and $V_y^{x'}\ni y$. By continuity of the action, for every $g\in G$ there exist open sets $O_g\ni g$ and $V_{x}^g\ni x$ such that $\rho(O_g\times V_{x}^g)\subset V_{g.x}$. By compactness of $G$, there is a finite open covering $G=\cup_{i=1}^NO_{g_i}$. Set $W_x=\cap_{i=1}^NV_{x}^{g_i}$ and $W_y=\cap_{i=1}^NV_{y}^{g_i.x}$, the claim is that $\rho(G\times W_x)$ and $\rho(G\times W_y)$ are disjoint open sets, and it's easily checked.

---

Thus the grassmannian of $k$-planes, defined as the quotient the Stieffel-manifold under the action of the matrix group $O(k)$ is Hausdorff. But does this answer your question? It does!

First of all note that the grassmannian, as you define it, is compact. This is because there is a contiuous surjection $V_k(V)\hookrightarrow Fr_k(V)\rightarrow Gr_k(V)$ : every subspace admits an orthonormal basis. Also, the Gram-Schmidtification map $$\mathrm{GS}:Fr_k(V)\to V_k(V)$$ is continuous, and compatible with the equivalence relations, and induces a continuous bijection between your definition of the Grassmannian and mine $$\overbrace{\widetilde{\mathrm{GS}}:\underbrace{Fr_k(V)/\sim}_{\text{compact}}\;\longrightarrow\;\underbrace{V_k(V)/\sim}_{\text{Hausdorff}}}^{\text{continuous bijection}}$$ Hence $\widetilde{\mathrm{GS}}$ is a homeomorphism, and your grassmannian is Hausdorff.

There are at least two approaches:

1. Any $(n - k)$-plane $A \in Gr_{n - k}(V)$ determines a natural chart on the (open) subset $U_A \subset Gr_k(V)$ consisting of planes $B \in Gr_k(V)$ transverse to $A$ (i.e. such that $A \oplus B = V$): We get a map $$\Phi_A: \text{Hom}(A, B) \cong B \otimes A^* \to U_A$$ that sends any linear map $T: A \to B$ to its graph, $$\text{graph } T := \{(x, T(x)) : x \in A\} \subset A \oplus B = V.$$ If we fix bases of $A, B$, we can identify $\text{Hom}(A, B)$ with $M((n - k) \times k, \Bbb R) \cong \Bbb R^{(n - k) k}$, furnishing coordinates on $U_A$. At least when $k \neq 0, n$, for any $k$-planes $B, C \in Gr_k(V)$ there is some $(n - k)$-plane $A \in Gr_{n - k}(V)$ transverse to both, and hence $B$ and $C$ are both in $U_A$, in which case (because Euclidean space is Hausdorff) the topology separates $B$ and $C$. (Of course, there are more details to check, namely that the charts $(U_A, \Phi_A^{-1})$ are compatible with the smooth structure on $Gr_k(V)$ implicit in the frame construction of that space.)

2. It's easy to see by choosing bases that $GL(V)$ acts transitively on $Gr_k(V)$, and with a little more work one can show that this action is smooth. If we choose a basis $(E_1, \ldots, E_n)$ of $V$, then the stabilizer of the $k$-plane $\langle E_1, \ldots, E_k \rangle \in Gr_k(V)$ is the Lie subgroup $H$ consisting of block upper triangular matrices of the form $$\pmatrix{\ast & \ast \\ 0 & \ast}$$ in $GL(n, \Bbb R) \cong GL(V)$, where the lower-left zero block has size $(n - k) \times k$. So, we can identify $$Gr_k(V) \cong GL(V) / H ;$$ in particular, $H$ is closed, and so $Gr_k(V)$ admits a unique smooth manifold structure such that the natural quotient map $GL(V) \to Gr_k(V)$ is a smooth submersion.

One simple, clean way to show that the Grassmannian is Hausdorff is to define a metric on it. Here are the steps in the proof:

1. Let $S$ be the unit sphere in $V$, and let $d$ be a metric on $S$. If $A\subset S$ is closed and $p\in S$, define $$ d(p,A) \;=\; \min\{d(p,a) \mid a\in A\}. $$ It is easy to show that $d(p,A)$ is a continuous function of $p$.

2. Now, if $A,B\subset S$ are closed, define $$ d_H(A,B) \;=\; \max\biggl(\max_{a\in A} \,d(a,B),\, \max_{b\in B}\,d(b,A)\biggr) $$ Note that $d_H(A,B) = 0$ if and only if $A=B$.

3. Finally, if $H$ and $K$ are $k$-dimensional subspaces of $V$, define $$ \rho(H,K) \;=\; d_H(H\cap S,K\cap S) $$ Then it suffices to prove that $\rho\colon \textit{GR}_k(V)\times \textit{GR}_k(V) \to\mathbb{R}$ is continuous. Since $\textit{GR}_k(V)$ is defined as a quotient space, this is the same as proving that the composition $$ F_k(V) \times F_k(V) \to \textit{GR}_k(V)\times \textit{GR}_k(V) \to\mathbb{R} $$ is continuous, which should be relatively quick. (The details depend on how you have defined the topology on $L(\textbf{R}^k,V)$.)

Of course, $d_H$ is actually a metric on the collection of closed subsets of $S$ (the Hausdorff distance), so $\rho$ is actually a metric on $\textit{GR}_k(V)$. Indeed, if you use the geodesic metric $d$ on $S$, then $\rho$ is precisely the angle between $k$-dimensional subspaces. However, we don't need to prove this if the goal is just to establish that $\textit{GR}_k(V)$ is Hausdorff.