バナッハ環
単位元"I" を持つ複素バナッハ環"A" において、"A" が体、すなわち0を除くすべての元が可逆であるとする。このとき、"A" は複素数体Cと等距離同型である。