巴拿赫空间
假设 formula_1 和 formula_2 是局部凸拓扑向量空间，（例如巴拿赫空间），formula_3 是開集合(open set)，且 formula_4。