فضای مداری توسیع کننده مطلق هم وردا سره

فرض کنیم g یک گروه هاوسدروف فشرده باشد. فضاهای مداری توسیع کننده همسایگی مطلق هم وردا را در رده ای از همه ی g - فضاهای متریک پذیر سره با g - متریک پایا را مورد مطالعه قرار می دهیم. ثابت می کنیم اگر g - فضای سره x یک g-ane باشد و h یک زیرگروه نرمال بسته g باشد به طوری که همه ی h - مدارها در x متریک پذیر باشند آنگاه h - فضای مداری، x/h یک ( g/h-ane است.