الهندسة الفراغية, تحليل دالي, جبر خطي, رياضيات, نظرية الفضاءات المعياريةنظرية باناخ-مازور (Banach–Mazur theorem)