Planar subspaces are intrinsically CAT(0)

From MaRDI portal



Abstract: Let Mk be the complete, simply connected, Riemannian 2-manifold of constant curvature kle0. Let E be a closed, simply connected subspace of Mk with the property that every two points in E is connected by a rectifiable path in E. We show that under the induced path metric, E is a complete CAT(k) space. We also show that the natural notions of angle coming from the intrinsic and extrinsic metrics coincide for all simple geodesic triangles.


Let \(M_{\kappa}^{2}\) be a complete, simply connected, Riemannian 2-manifold of constant curvature \(\kappa \leq0.\) The following theorem is proven. Theorem. Let \(E\) be a closed, simply connected subspace of \(M_{\kappa}^{2}\) with the property that every pair of points in \(E\) is connected by a rectifiable path in \(E\). Then \(E,\) under the induced path metric, is a complete \(\operatorname{CAT}(\kappa)\) space. The method of proof is based on some angle calculations. Among others, there are two natural notions of angles for triangles in \(E\). The first one comes from the subspace metric and is referred to as the extrinsic angle and the second one is the well-known Alexandrov angle which comes from the induced path metric. In the proof of the theorem above the following result is essential and it is also proven in the paper: For every geodesic triangle in \(E\) (under the induced path metric), the extrinsic and Alexandrov angles are equal.











This page was built for publication: Planar subspaces are intrinsically CAT(0)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1998646)