习题 7, § 2

令 $\mu$ 为 T 上的正测度，m 为 T 上的测度，F 中包含值，相对于 $\mu$ 具有基 $\mu$ 和密度 f。设 q 为 F 上的下半连续半范数。证明，如果对于 T 的每个紧致子集 K，$\int_K^*(q \circ f)\, d\mu$ 是有限的，则对于每个 $\mu$ 可测函数 $h \geq 0$，不等式 $\int^* h\, dq(m) \leq \int^*(q \circ f)h\, d\mu$ 成立。 （使用第 V 章第 1 版、§2, No. 2 中的引理 1。）²