در این پایان نامه ما وجود یک فضای متریک فشرده ی k را نشان می دهیم که به طور ایزومتری در یک فضای باناخ y نشانده می شود و این که هر فضای باناخ جداشدنی به طور خطی با یک زیر فضای y ایزومتر است . هم چنین این سوال مطرح می شود که : اگر یک فضای باناخ y شامل یک نسخه ایزومتریک از یک گوی واحد یا از بعضی زیر مجموعه های فشردهی مخصوص یک فضای باناخ جداشدنی x باشد آیا لزوما شامل یک زیر فضای ایزومتریک x است . زمانی که x یک فضای متناهی البعد چند وجهی مانند .c یا l1 باشد ، پاسخ این سوال مثبت است.