関数解析学
関数解析学におけるは、作用素の族が一様有界であるための十分条件を与える。