فضای x را در نظر می گیریم. اگر برای زیرمجموعه های دلخواه a و b از x که a شمارا و b از رسته اول باشد هومئومورفیسم f: x → x وجود داشته باشد به قسمی که ∅=f(a)∩ b آنگاه می گوییم فضای x خاصیت تفکیک دارد و یا به طور خلاصه می گوییم x یک فضای sp است. در این پایاننامه فضاهای sp را مورد مطالعه قرار می دهیم. فضای توپولوژیک x را در نظر می گیریم. اگر برای هر x,y∋x هومئومورفیسم f:x→xوجود داشته باشد که f(x)=y آنگاه x یک فضای همگن می گوییم. نشان می دهیم که در هر فضای موضعا فشرده همگن یک فضای sp است و ثابت خواهیم کرد که هر فضای بورل که sp داشته باشد یک فضای پولیش است.

فضاهای هم صفر متمم دار توسط لوی و شاپیرو در سال 2002 معرفی شد. در این پایان نامه نشان داده می شود که یک فضای توپولوژی x هم صفر متمم دار است اگر وتنها اگر فضای ((min(c(x، یعنی؛ فضای ایده ال های اول مینیمال از(c(x با توپولوژی هسته ـ غلافی یا توپولوژی زاریسکی فشرده باشد همچنین اگر x لیندلف و در t چگال باشد در این صورت x هم صفر متمم دار است اگر و تنها اگر t هم صفر متمم دار باشد و در انتها نشان داده می شود که اگر x هم صفر متمم دار و لیندلف ضعیف یا پیرافشرده باشد آن گاه x هم صفر متمم دار است.