Định lý Arzela-Ascoli là gì?

Định lý này được mang tên của hai nhà toán học người Ý Cesare Arzelà (1847-1912) và Giulio Ascoli, (1843–1896). Định lý nêu ra một tiêu chuẩn để xác định khi nào một tập các hàm liên tục từ một không gian metric compact đến một không gian metric là compact trong không gian tô pô của sự hội tụ đều.