Rudin "Real And Complex Analysis" 第 2 章演習問題 2 や宮島『関数解析』定理 2.28 の証明の前段などで出て来る命題とその一般化を考えてみました。あとインターネットで調べると逆についての言及があったのでその一般化も試みました。正直あまり自信がな…