2 problems

Let $G$ be a Banach–Lie group and let $H$ be a closed subgroup. The quotient set $G/H$ is formed from the left cosets $gH$, and the quotient map is … A closed subgroup $H$ of a Ban…

Quotient-manifold criterion. $H$ is a Banach–Lie subgroup if and only if $G/H$ carries the structure of a Banach manifold for which $q$ has a surjective differential at each point…