Banach space
"A" をバナッハ空間 "X" 上の有界作用素とする。このとき、