نظریه نگاشت‌های همدیس و فضاهای سوبولف