I'm trying to understand some different ways to construct the Grassmannian of a real vector space, but I'm having trouble getting some of the notation and definitions.
One definition that I often see given, such as on Wikipedia, is
$$Gr(r,n) = O(n)/(O(r) \times O(n–r))$$
where $Gr(r,n)$ is the Grassmannian of $r$-dimensional subspaces of $\Bbb R^n$.
My first question is: what does this quotient notation mean? $O(n)$ is the group of $n\times n$ orthogonal matrices, whereas $O(r)$ and $O(n-r)$ are the groups of $r \times r$ and $(n-r) \times (n-r)$ orthogonal matrices. How are we viewing the cartesian product of $O(r) \times O(n-r)$ as a group of $n \times n$ matrices?
A different way to construct this is also given by Wikipedia:
First, recall that the general linear group GL(V) acts transitively on the r-dimensional subspaces of V. Therefore, if H is the stabilizer of any of the subspaces under this action, we have
$$Gr(r,V) = GL(V)/H$$
This is also somewhat puzzling to me. You start with the general linear group of invertible $r \times r$ matrices, which acts transitively on subspaces, meaning for any two subspaces $a$ and $b$ there is some element of $GL(V)$ that maps $a$ to $b$.
But then we quotient by what stabilizer, exactly, to construct the Grassmannian as a quotient space?
The only stabilizer that preserves all subspaces are simple scalar transformations; if we mod by those we get the projective linear group $PGL(V)$, not the Grassmannian.
If on the other hand, they mean that we quotient by all such $H$ that are a stabilizer for any subspace, this means that we are quotienting by every element of $GL(V)$ that has any real eigenspace, which is almost the entire group, except perhaps for rotation matrices in even dimensions, where all eigenvalues are complex.
How is this thing supposed to be constructed? And how do these yield any type of metric structure?