Mackey 定理

设 和 为配对空间， 是 的绝对凸有界集族，使得 的集合生成 ，并且，如果 ，存在 使得 和 。则 的对偶空间等于 的弱完备的并集，其中 且 。