در این پایان نامه برای یک گروه لی فشرده g ، وجود یک g- فضای عام در کلاس فضاهای پیرا فشرده ی کامل (مرتب، متریک پذیر و متریک پذیر قابل تفکیک و یا جدا شونده) را اثبات می کنیم. نشان خواهیم داد که یک g- فضای آزاد عام نمی تواند فشرده باشد.