====Não é compacto====
===Demonstração:===
Como [[topologia:espacohausdorff|o espaço de Arens-Fort é de Haussdorff]][[arensfortlocalcompacto| não localmente compacto]] e [[dem:hausdorffcompacto-_localcompacto|Hausdorff compacto $\Rightarrow$ localmente compacto]], ele não é [[topologia:defcompacto|compacto]].