バナッハ環
記事はありません。