バナッハ環
バナッハ *-環 は複素数体 上のバナッハ環であって、対合と呼ばれる写像 で以下の条件を満足するものを備える代数系である。, は任意、上付きバー は複素共軛を表すものとして