Định lý phụ

Trong toán học, định lý phụ là một giả thuyết đã được chứng minh hoặc dự kiến sẽ được chứng minh, được dùng làm cơ sở để các nhà toán học tiếp tục phát triển và đạt được những kết quả cao hơn. Về cơ bản, không có sự phân biệt chính thức giữa định lý phụ và định lý chính, ngoài sự khác biệt về tác dụng và quy ước.

Các định lý phụ nổi bật

Giải tích

• Định lý phụ Heine-Borel
• Định lý phụ Farkas
• Định lý phụ Fatou
• Định lý phụ Johnson–Lindenstrauss

Số học cơ bản

• Định lý Bezout

Đại số học

• Định lý Burnside
• Đồng nhất thức ma trận Woodbury

Tập hợp và thứ tự trong toán học

• Định lý Zorn
• Định lý Sauer–Shelah

Hình học và tô-pô học

• Định lý Sawayama
• Định lý Urysohn
• Định lý Poincaré
• Định lý Lebesgue

Xác suất và thống kê

• Định lý Borel-Cantelli

Toán học ứng dụng

• Định lý Shephard

Liên kết bổ sung

• Định lý phụ trong Từ điển bách khoa Việt Nam