1. Bổ đề Urysohn và định lý thác triển Tietze.
2. Tóm tắt ý chứng minh định lý thác triển Tietze.
3. Tập compact trong không gian metric là khả ly.
4. Một bài tập về không gian metric compact (không có lời giải ở đó).
5. Chứng minh mọi không gian metric là không gian paracompact, của Mary Ellen Rudin. Có thể tham khảo thêm ở blog này, hoặc ở thảo luận ở MathStackExchange.