Mackey 定理

設 和 為配對空間， 是 的絕對凸有界集族，使得 的集合生成 ，並且，如果 ，存在 使得 和 。則 的對偶空間等於 的弱完備的並集，其中 且 。