l,n)$).

By Proposition \[prop:Omega\], it suffices to show that any two points in $\Omega_{-}(\mathbf{B})$ can be connected by a geodesic curve in $\Omega_{-}(\mathbf{B})$. By Proposition \[prop:OmegaGrass\], $\Omega_{-}(\mathbf{B})$ is the image of $\operatorname{Gr}(k,l)$ embedded isometrically in $\operatorname{Gr}(k,n)$. So by Lemma \[lem:infty\], for any $\mathbf{X}_1,\mathbf{X}_2 \in \operatorname{Gr}(k,l)$, $d_{\operatorname{Gr}(k,n)}(\mathbf{X}_1,\mathbf{X}_2)= d_{\operatorname{Gr}(k,l)}(\mathbf{X}_1,\mathbf{X}_2)
= d_{\Omega_{-}(\mathbf{B})}(\mathbf{X}_1,\mathbf{X}_2)$, where the last is the geodesic distance in $\Omega_{-}(\mathbf{B})$. Hence if $d_{\Omega_{-}(\mathbf{B})}(\mathbf{X}_1,\mathbf{X}_2)$ is realized by a geodesic curve $\gamma$ in $\Omega_{-}(\mathbf{B})$, then $\gamma$ must also be a geodesic curve in $\operatorname{Gr}(k,n)$.

We have represented $\operatorname{Gr}(k,n)$ as a set of *equivalence classes* of matrices but it may also be represented as a set of *actual matrices* [@Nicolaescu Example 1.2.20], namely, idempotent symmetric matrices of trace $k$: $$\operatorname{Gr}(k,n)\cong \{ P \in \mathbb{R}^{n \times n} : P^{\mathsf{T}} = P^2 = P, \; \operatorname{tr}(P)=k \}.$$ The isomorphism maps each subspace $\mathbf{A}\in \operatorname{Gr}(k,n)$ to $P_{\mathbf{A}} \in \mathbb{R}^{n \times n}$, the unique orthogonal projection onto $\mathbf{A}$, and its inverse takes an orthogonal projection $P$ to the subspace $\operatorname{im}( P) \in \operatorname{Gr}(k,n)$. $P$ is an orthogonal projection iff it is symmetric and idempotent, i.e., $P^{\mathsf{T}} = P^2 = P$. The eigenvalues of an orthogonal projection onto a subspace
l, n)$). 

 By Proposition   \[prop: Omega\ ], it suffices to show that any two points in $ \Omega_{-}(\mathbf{B})$ can be connected by a geodetic curvature in $ \Omega_{-}(\mathbf{B})$. By Proposition   \[prop: OmegaGrass\ ], $ \Omega_{-}(\mathbf{B})$ is the image of $ \operatorname{Gr}(k, l)$ embedded isometrically in $ \operatorname{Gr}(k, n)$. So by Lemma   \[lem: infty\ ], for any $ \mathbf{X}_1,\mathbf{X}_2 \in \operatorname{Gr}(k, l)$, $ d_{\operatorname{Gr}(k, n)}(\mathbf{X}_1,\mathbf{X}_2)= d_{\operatorname{Gr}(k, l)}(\mathbf{X}_1,\mathbf{X}_2) 
 = d_{\Omega_{-}(\mathbf{B})}(\mathbf{X}_1,\mathbf{X}_2)$, where the final is the geodetic distance in $ \Omega_{-}(\mathbf{B})$. Hence if $ d_{\Omega_{-}(\mathbf{B})}(\mathbf{X}_1,\mathbf{X}_2)$ is realized by a geodesic curvature $ \gamma$ in $ \Omega_{-}(\mathbf{B})$, then $ \gamma$ must also be a geodesic curvature in $ \operatorname{Gr}(k, n)$. 

 We have represented $ \operatorname{Gr}(k, n)$ as a set of * comparison classes * of matrices but it may besides be represented as a set of * actual matrices * [ @Nicolaescu Example   1.2.20 ], namely, idempotent symmetric matrices of trace $ k$: $ $ \operatorname{Gr}(k, n)\cong \ { P \in \mathbb{R}^{n \times n }: P^{\mathsf{T } } = P^2 = P, \; \operatorname{tr}(P)=k \}.$$ The isomorphism maps each subspace $ \mathbf{A}\in \operatorname{Gr}(k, n)$ to $ P_{\mathbf{A } } \in \mathbb{R}^{n \times n}$, the alone orthogonal projection onto $ \mathbf{A}$, and its inverse takes an extraneous projection $ P$ to the subspace $ \operatorname{im } (P) \in \operatorname{Gr}(k, n)$. $ P$ is an extraneous projection iff it is symmetrical and idempotent, i.e., $ P^{\mathsf{T } } = P^2 = P$. The eigenvalues of an orthogonal projection onto a subspace
l,n)$).

Bj Proposition \[prop:Omega\], iu suffices to shoc that eny two points kn $\Omega_{-}(\mathbf{B})$ can be connerted by a geodesic curve in $\Omeea_{-}(\mathbf{B})$. By Propisitmon \[prop:OmegaGrass\], $\Omega_{-}(\mathbf{B})$ ls thz mmage of $\operatprname{Gr}(k,l)$ embedded isomatfieally in $\operatorname{Gr}(k,n)$. So by Lemmw \[lem:infyy\], for any $\mathbs{X}_1,\mauhbs{X}_2 \ih \operatorname{Gr}(k,l)$, $d_{\operatorname{Gr}(i,n)}(\mathbh{X}_1,\mathbf{X}_2)= d_{\operstorname{Gr}(k,l)}(\mathbf{X}_1,\mathbf{X}_2)
= d_{\Omfga_{-}(\mathbf{B})}(\mathbf{X}_1,\mwthbf{X}_2)$, wherg thq last is the geodesic distance in $\Kmega_{-}(\mathbf{B})$. Hence if $d_{\Omega_{-}(\matfbf{B})}(\mcthbf{X}_1,\mathbd{X}_2)$ is tealized by e geodvsic curve $\gamma$ in $\Okega_{-}(\matnbf{B})$, then $\gamms$ mnst qlso be a geodesic cucve in $\operatorname{Gt}(k,n)$.

We have rzpresented $\operatornane{Tr}(k,n)$ ds a set if *dqujvelehce clwssxs* of matrides but it nay also be represemtqe as a set of *actuaj iatrices* [@Nicolaescu Example 1.2.20], namely, idemkotenf symmetric matrices of trace $k$: $$\operatorname{Hr}(k,n)\cong \{ P \in \mathbb{R}^{n \times n} : P^{\mathsf{T}} = P^2 = P, \; \operatorndme{tr}(')=k \}.$$ Tkc kwolorphism maps each subspace $\mathbf{A}\in \operatowhake{Nr}(k,n)$ to $P_{\mathbf{A}} \in \mathbb{R}^{m \hikgs n}$, the uniqug orthoyknzl projection onto $\mathbf{W}$, and its invewse yakes an orthogonal projectuon $P$ to the wubspace $\operatorncme{im}( P) \in \o'eratotname{Gt}(k,n)$. $P$ is an orthogonal 'rojecfion iff it is symmeffic and idempotevt, p.e., $P^{\kathsf{T}} = P^2 = P$. The eigenvaltes of an ortkogonal orojgction jnto a subdpace
l,n)$). By Proposition \[prop:Omega\], it suffices to any points in can be connected $\Omega_{-}(\mathbf{B})$. Proposition \[prop:OmegaGrass\], $\Omega_{-}(\mathbf{B})$ the image of embedded isometrically in $\operatorname{Gr}(k,n)$. So by \[lem:infty\], for any $\mathbf{X}_1,\mathbf{X}_2 \in \operatorname{Gr}(k,l)$, $d_{\operatorname{Gr}(k,n)}(\mathbf{X}_1,\mathbf{X}_2)= d_{\operatorname{Gr}(k,l)}(\mathbf{X}_1,\mathbf{X}_2) = d_{\Omega_{-}(\mathbf{B})}(\mathbf{X}_1,\mathbf{X}_2)$, where the last the geodesic distance in $\Omega_{-}(\mathbf{B})$. Hence if $d_{\Omega_{-}(\mathbf{B})}(\mathbf{X}_1,\mathbf{X}_2)$ is realized by a geodesic $\gamma$ $\Omega_{-}(\mathbf{B})$, $\gamma$ also be a geodesic curve in $\operatorname{Gr}(k,n)$. We have represented $\operatorname{Gr}(k,n)$ as a set of *equivalence of matrices but it may also be represented a set of *actual [@Nicolaescu Example 1.2.20], namely, idempotent matrices trace $k$: \{ \in \times n} : = P^2 = P, \; \operatorname{tr}(P)=k \}.$$ The isomorphism maps each subspace $\mathbf{A}\in \operatorname{Gr}(k,n)$ to $P_{\mathbf{A}} \in \times n}$, orthogonal projection $\mathbf{A}$, its takes an orthogonal to the subspace $\operatorname{im}( P) \in an orthogonal projection iff it is symmetric and i.e., $P^{\mathsf{T}} P^2 = P$. The eigenvalues of orthogonal projection onto a subspace
l,n)$).

By Proposition \[prop:Omega\], iT suffices tO show ThaT anY tWo poInts In $\Omega_{-}(\mathbf{B})$ CAn be Connected by a geodesic cuRve in $\omEGa_{-}(\maTHbF{B})$. By PRopositIOn \[PROp:OMeGagraSs\], $\oMeGa_{-}(\matHbf{b})$ is the iMage of $\operAtoRnAme{Gr}(k,l)$ embedDEd IsometricaLly In $\operatornaMe{GR}(k,n)$. So bY LEmmA \[Lem:inFty\], For anY $\mathbF{x}_1,\mathbF{X}_2 \in \operaToRName{Gr}(K,L)$, $d_{\operaTORnAme{GR}(k,n)}(\mathbf{X}_1,\mathbf{X}_2)= D_{\OpERatorname{Gr}(k,l)}(\mAthbf{X}_1,\MaTHbF{x}_2)
= D_{\OmEga_{-}(\Mathbf{B})}(\matHbF{X}_1,\matHBf{X}_2)$, wherE ThE LASt iS The geodesic diStance in $\OmeGA_{-}(\maThbf{B})$. HEnCe iF $D_{\Omega_{-}(\MathbF{B})}(\MAthBf{X}_1,\mathbf{X}_2)$ iS reaLized by a gEodesiC Curve $\gaMMa$ in $\OmeGa_{-}(\mathBf{B})$, TheN $\gamMA$ mUsT alSo BE a gEOdEsiC CurVe in $\operAtOrName{GR}(k,n)$.

WE HAVE repResEnteD $\operAtorname{Gr}(k,n)$ aS a sEt of *EQuiValenCe claSses* Of MatriCes but It may AlSo be represented As a sEt of *actuaL maTrIceS* [@NIcolaEScu ExaMplE 1.2.20], naMely, ideMpotent SYmmEtRIC MaTrices of trace $k$: $$\operAtORNaMe{Gr}(k,n)\coNg \{ P \in \mAThBb{r}^{N \times n} : P^{\MaThsF{T}} = P^2 = P, \; \OPEratoRnamE{Tr}(p)=k \}.$$ The isoMorphiSM mApS each suBsPace $\maThBf{A}\In \oPeratORnamE{Gr}(k,n)$ tO $P_{\mathbf{a}} \in \maTHbb{R}^{n \times n}$, the UNique orthogonAL pROJeCTion OntO $\mathbf{A}$, and Its iNVersE takES aN orTHogonAl proJeCTiON $P$ to the subspace $\operAtOrname{Im}( P) \in \Operatorname{GR}(k,n)$. $P$ is an orTHOGonal proJectIOn IFf it is symmetriC and iDempotent, i.E., $p^{\mathsf{T}} = p^2 = P$. The EigenvalUes of an orTHOgonal prOjeCtiOn oNto A SUbSpace
l,n)$).

By Proposition \[ prop:Omega \], i t s uff ic es t o sh ow that any tw o  poi nts in $\Omega_{-}(\ma thbf{ B} ) $ ca n  b e con nectedb ya geo de si c c ur v ein $\ Ome ga_{-}( \mathbf{B} )$.  B y Propositio n  \ [prop:Omeg aGr ass\], $\Ome ga_ {-}(\m at hbf { B})$isthe i mage o f  $\ope ratorname {G r }(k,l) $  embedd e d  i some trically in $\ope r at o rname{Gr}(k,n) $. Soby Le m m a \ [le m:infty\],  f or an y  $\math b f{ X } _ 1,\ m athbf{X}_2 \i n \operator n ame {Gr}(k ,l )$, $d_{\o perat or n ame {Gr}(k,n)}( \mat hbf{X}_1, \mathb f {X}_2)= d_{\ope ratorn ame {Gr }(k, l )} (\ mat hb f {X} _ 1, \ma t hbf {X}_2)
=  d _{ \Omeg a_{- } ( \ m athb f{B })}( \math bf{X}_1,\math bf{ X}_2 ) $,where  thelast  i s the  geode sic d is tance in $\Omeg a_{- }(\mathbf {B} )$ . H en ce if $d_{\O meg a_{ -}(\mat hbf{B}) } (\m at h b f {X }_1,\mathbf{X}_2)$  i s re alized b y a ge o de si c  curve $ \g amm a$ i n $\Ome ga_{ - }( \mathbf{ B})$,t he n$\gamma $must a ls o b e a  geod e siccurvein $\ope rator n ame{Gr}(k,n)$. 
We have repr e se n t ed $\op era torname{Gr} (k,n ) $ as  a s e tof* equiv alenc ec la s ses* of matrices bu tit may  also  be represent ed as a se t o f *actua l ma t ri c es* [@Nicolaes cu Ex ample 1.2. 2 0], name ly, i dempoten t symmetr i c  matrice s o f t rac e $ k $ :$$\operatorna m e {Gr} (k ,n)\con g \ { P \in  \m ath bb{ R}^ {n  \times n } : P^{\ ma th sf {T }}= P^2 = P, \;\o per at orn ame{t r }(P)=k  \}.$ $ Th eis o mor phism m a ps e achsu bs pace  $\ ma thbf{ A}\i n  \o perator name{Gr}( k,n ) $ to  $ P_ {\mathb f{A}} \in \ma th bb{R}^{n \ ti mes  n}$,t h e unique  orthogonal projectiono nto $\m ath bf{A} $, a nd its in ver se tak esa n orth ogonal  proj ec tio n $P$ t o th e s ub space $\op e r ato rname {i m}(P) \in\operatorname{Gr}( k ,n) $. $P$ is anort hogo n a lpro j ec t ion  i f f i t is symmetric an d idempote nt ,  i .e., $P^{\ m ath sf {T}} =P^2 = P $. Th e  eigenv alues ofan orthog on al p r o jec tion ontoa subspa ce
l,n)$).

By Proposition \[prop:Omega\],_it suffices_to show that any_two points_in_$\Omega_{-}(\mathbf{B})$ can_be_connected by a_geodesic curve in_$\Omega_{-}(\mathbf{B})$. By Proposition \[prop:OmegaGrass\], $\Omega_{-}(\mathbf{B})$_is the image_of_$\operatorname{Gr}(k,l)$ embedded isometrically in $\operatorname{Gr}(k,n)$. So by Lemma \[lem:infty\], for any $\mathbf{X}_1,\mathbf{X}_2 \in \operatorname{Gr}(k,l)$, $d_{\operatorname{Gr}(k,n)}(\mathbf{X}_1,\mathbf{X}_2)=_d_{\operatorname{Gr}(k,l)}(\mathbf{X}_1,\mathbf{X}_2)
=_d_{\Omega_{-}(\mathbf{B})}(\mathbf{X}_1,\mathbf{X}_2)$, where_the_last_is the geodesic distance in_$\Omega_{-}(\mathbf{B})$. Hence if $d_{\Omega_{-}(\mathbf{B})}(\mathbf{X}_1,\mathbf{X}_2)$ is_realized by_a geodesic curve $\gamma$ in $\Omega_{-}(\mathbf{B})$, then $\gamma$_must_also be a_geodesic curve in $\operatorname{Gr}(k,n)$.

We have represented $\operatorname{Gr}(k,n)$ as a_set of *equivalence classes* of matrices_but it may_also_be_represented as a set_of *actual matrices* [@Nicolaescu Example 1.2.20], namely,_idempotent symmetric matrices of trace $k$:_$$\operatorname{Gr}(k,n)\cong \{ P \in \mathbb{R}^{n \times n}_: P^{\mathsf{T}} = P^2 = P,_\; \operatorname{tr}(P)=k \}.$$ The isomorphism_maps each_subspace $\mathbf{A}\in \operatorname{Gr}(k,n)$ to $P_{\mathbf{A}}_\in \mathbb{R}^{n \times_n}$, the_unique orthogonal projection_onto $\mathbf{A}$, and its inverse takes_an orthogonal projection_$P$ to the subspace $\operatorname{im}( P)_\in_\operatorname{Gr}(k,n)$. $P$ is_an_orthogonal_projection iff_it is symmetric_and_idempotent, i.e.,_$P^{\mathsf{T}}_= P^2 = P$. The eigenvalues_of_an orthogonal projection onto a subspace