バナッハ環
任意の単位的バナッハ環 において可逆元全体の成す集合 は開集合であり、その集合上で反転 は連続（したがって位相同型）ゆえ、 は乗法に関して位相群を成す。（位相線型環#性質も参照）