The rectifiable metric on the set of closed subspaces of Hilbert space
HTML articles powered by AMS MathViewer
- by Lawrence G. Brown PDF
- Trans. Amer. Math. Soc. 337 (1993), 279-289 Request permission
Abstract:
Consider the set of selfadjoint projections on a fixed Hilbert space. It is well known that the connected components, under the norm topology, are the sets $\{ p:{\text {rank}}\;p = \alpha ,{\text {rank}}(1 - p) = \beta \}$, where $\alpha$ and $\beta$ are appropriate cardinal numbers. On a given component, instead of using the metric induced by the norm, we can use the rectifiable metric ${d_r}$ which is defined in terms of the lengths of rectifiable paths or, equivalently in this case, the lengths of $\varepsilon$-chains. If $\left \| {p - q} \right \| < 1$, then ${d_r}(p,q) = {\sin ^{ - 1}}(\left \| {p - q} \right \|)$, but if $\left \| {p - q} \right \| = 1$, ${d_r}(p,q)$ can have any value in $\left [ {\frac {\pi } {2},\pi } \right ]$ (assuming $\alpha$ and $\beta$ are infinite). If ${d_r}(p,q) \ne \frac {\pi } {2}$, a minimizing path joining $p$ and $q$ exists; but if ${d_r}(p,q) = \frac {\pi } {2}$, a minimizing path exists if and only if ${\text {rank}}(p \wedge (1 - q)) = {\text {rank}}(q \wedge (1 - p))$.References
- C. J. Atkin, The Finsler geometry of groups of isometries of Hilbert space, J. Austral. Math. Soc. Ser. A 42 (1987), no. 2, 196–222. MR 869747
- C. J. Atkin, The Finsler geometry of certain covering groups of operator groups, Hokkaido Math. J. 18 (1989), no. 1, 45–77. MR 985431, DOI 10.14492/hokmj/1381517780 G. Corach, H. Porta and L. Recht, The geometry of spaces of projections in ${C^\ast }$-algebras, Adv. in Math, (to appear).
- Chandler Davis, Separation of two linear subspaces, Acta Sci. Math. (Szeged) 19 (1958), 172–187. MR 98980
- Chandler Davis and W. M. Kahan, The rotation of eigenvectors by a perturbation. III, SIAM J. Numer. Anal. 7 (1970), 1–46. MR 264450, DOI 10.1137/0707001
- Jacques Dixmier, Position relative de deux variétés linéaires fermées dans un espace de Hilbert, Revue Sci. 86 (1948), 387–399 (French). MR 29095
- Mikhael Gromov, Structures métriques pour les variétés riemanniennes, Textes Mathématiques [Mathematical Texts], vol. 1, CEDIC, Paris, 1981 (French). Edited by J. Lafontaine and P. Pansu. MR 682063
- P. R. Halmos, Two subspaces, Trans. Amer. Math. Soc. 144 (1969), 381–389. MR 251519, DOI 10.1090/S0002-9947-1969-0251519-5 M. G. Kreĭn, M. A. Krasnosel’skiĭ, and D. P. Mil’man, Defect numbers of linear operators in Banach space and some geometrical problems, Sbor. Trudov Inst. Mat. Akad. Nauk SSSR, no. 11, 1948, pp. 97-112. (Russian)
- Gert Kjaergȧrd Pedersen, Measure theory for $C^{\ast }$ algebras. II, Math. Scand. 22 (1968), 63–74. MR 246138, DOI 10.7146/math.scand.a-10871
- Horacio Porta and Lázaro Recht, Minimality of geodesics in Grassmann manifolds, Proc. Amer. Math. Soc. 100 (1987), no. 3, 464–466. MR 891146, DOI 10.1090/S0002-9939-1987-0891146-6
- Iain Raeburn and Allan M. Sinclair, The $C^*$-algebra generated by two projections, Math. Scand. 65 (1989), no. 2, 278–290. MR 1050869, DOI 10.7146/math.scand.a-12283
- Willi Rinow, Die innere Geometrie der metrischen Räume, Die Grundlehren der mathematischen Wissenschaften, Band 105, Springer-Verlag, Berlin-Göttingen-Heidelberg, 1961. MR 0123969
- Norberto Salinas, The Grassmann manifold of a $C^*$-algebra, and Hermitian holomorphic bundles, Special classes of linear operators and other topics (Bucharest, 1986) Oper. Theory Adv. Appl., vol. 28, Birkhäuser, Basel, 1988, pp. 267–289. MR 942927, DOI 10.1007/978-3-0348-9164-6_{1}9
- Takashi Sano and Yasuo Watatani, Angles between two subfactors, J. Operator Theory 32 (1994), no. 2, 209–241. MR 1338739
- V. S. Sunder, $N$ subspaces, Canad. J. Math. 40 (1988), no. 1, 38–54. MR 928213, DOI 10.4153/CJM-1988-002-0
- D. R. Wilkins, The Grassmann manifold of a $C^*$-algebra, Proc. Roy. Irish Acad. Sect. A 90 (1990), no. 1, 99–116. MR 1092711
Additional Information
- © Copyright 1993 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 337 (1993), 279-289
- MSC: Primary 46C99; Secondary 46L99, 47A05, 47A99, 47D99, 58B20
- DOI: https://doi.org/10.1090/S0002-9947-1993-1155349-5
- MathSciNet review: 1155349