#manifolds — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #manifolds, aggregated by home.social.
-
I've worked out that the injectivity radius under the Euclidean metric for the #unitary group U(n) is π and for real and special subgroups O(n), SO(n), and SU(n) is π√2.
This seems like a pretty basic property, but I can't find a single reference that gives the injectivity radii for any of these groups. Anyone know of one?