Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
for completeness, to go with U(ℋ), for the moment mainly in order to record references, such as:
added the statement that $PU(\mathcal{H})$ is well-pointed, which is made explicit on p. 23 of
but follows by a more general result due to Dardalat and Pennig.
added statement that $S^1 \to \mathrm{U}(\mathcal{H}) \to PU(\mathcal{H})$ is a fiber bundle. Am copying this statement also to U(H) and to coset space coprojection admitting local sections
added pointer to:
1 to 4 of 4