خط المتقاصر، أو الجيوديسي، تعميم للخط المستقيم في الفضاءات المنحنية يعرّف أقصر مسافة بين نقطتين بحسب المترية المعطاة؛ طوله يعتمد على خصائص الفضاء (ريماني أو متري أو مينكوفسكي) والمترية النظامية، ويظهر عمليًا في مسارات الطيران والفلك والملاحة الفضائية.
مبرهنة بولزانو-فايرشتراس تصف خاصية المتراصة في الفضاءات المترية: فضاء متري X يكون متراصاً إذا وفقط إذا كانت كل متتالية من نقاط X تحتوي متتالية جزئية تتقارب إلى عنصر في X. وبصيغة التحليل الحقيقي المكافئة، كل متتالية محدودة تحتوي متتالية جزئية متقاربة.
