正明设p是加维欧氏空间取的通常度量。 如果AC是-个繁致子集，则根据定理73.1，它是有界 的由于g是-个uof空间，根程推论7,22，它是-个闭 集