Banach space
と置き換えればよい。ここで ||·|| はバナッハ空間のノルムである。このバナッハ空間における判定法の用例はを参照。