Tô pô
Dẫn nhập sơ khởi

Các không gian tô pô được tìm thấy sẵn có trong giải tích toán học, đại số trừu tượng và hình học. Điều này đã làm cho ngành nghiên cứu này trở thành đối tượng quan trọng trong việc thống nhất toán học. Tô pô đại cương, hay tô pô tập điểm, xác định và nghiên cứu những đặc tính hữu dụng của các không gian và các ánh xạ như là tính liên thông, tính compact và tính liên tục. Tô pô đại số là công cụ rất mạnh để nghiên cứu các không gian tô pô và các ánh xạ giữa chúng. Nó liên kết "rời rạc" và có nhiều bất biến khả đoán với các ánh xạ và các không gian thường là trong một cách thức có tính hàm tử. Các luận giải từ môn tô pô đại số ảnh hưởng lớn đến đại số trừu tượng và hình học đại số.
Động cơ rõ ràng phía sau của tô pô là việc một số vấn đề hình học không phụ thuộc vào hình dạng chính xác của đối tượng tham gia mà phụ thuộc vào "cách thức chúng nối kết nhau". Một trong những bài viết đầu tiên về tô pô được Leonhard Euler mô tả rằng không thể tìm ra một cách đi xuyên qua các thị tứ của Königsberg mà chỉ băng qua mỗi cầu nối giữa chúng đúng một lần. Kết quả này không phụ thuộc vào độ dài của các cây cầu, hay ngay cả khoảng cách giữa chúng mà chỉ phụ thuộc vào các đặc tính liên thông: Các cây cầu được nối như thế nào giữa các cù lao và các bờ sông. Bài toán này, được gọi là Bảy cầu ở Königsberg, đã trở thành bài toán dẫn nhập nổi tiếng trong toán, và đưa tới một phân nhánh là lý thuyết đồ thị.
Tương tự, định lý mặt cầu tóc của tô pô đại số bảo rằng "người ta không thể chải xuôi tóc trên một mặt cầu trơn". Ý nghĩa thực của nó là không tồn tại một mặt cầu tóc nào mà không có "xoáy" ngoại trừ tất cả tóc đều dựng đứng. Định lý này lập tức thuyết phục được hầu hết mọi người (do tính thực tế kiểm nghiệm được trên bản thân). Mặc dù rằng những người biết tới định lý này có thể không nhận biết mệnh đề phát biểu chính thức của định lý. Đó là Trên một mặt cầu, không tồn tại trường vectơ tiếp tuyến liên tục không triệt tiêu nào, cũng giống Bài toán Bảy cây cầu, kết quả trên không phụ thuộc vào dạng cầu mà nó còn đúng cho mọi bề mặt "blob" (là các đối tượng thỏa mãn tính trơn của bề mặt), miễn là chúng không có lỗ hổng (thí dụ hình vòng xuyến, hình vòng số 8 sẽ vi phạm điều kiện của định lý mặt cầu tóc - nhưng hình quả trám, hình trái bóng nhựa bị bóp xẹp lại thỏa mãn đòi hỏi của định lý).
Để có thể nghiên cứu các vấn đề mà chúng không hoàn toàn phụ thuộc vào hình dạng của đối tượng, người ta phải tách bạch rõ ra các tính chất nào sẽ phụ thuộc vào hình dạng. Và từ yêu cầu này phát sinh khái niệm về "tương đương tô pô". Trong các thí dụ trên, việc "không thể băng qua mỗi cây cầu chỉ một lần" có thể được áp dụng cho mọi cách xếp đặt của các cây cầu mà vẫn tương đương tô pô với các cây cầu nguyên thủy ở Königsberg; cũng như vậy, định lý mặt cầu tóc đúng cho mọi không gian tô pô tương đương với một hình cầu (như là hình quả trám chẳng hạn).
Nói cách khác, hai không gian là tương đương tô pô nếu tồn tại một phép đồng phôi giữa chúng. Trong trường hợp này, các không gian đó được gọi là đồng phôi và chúng được xét một cách chủ yếu như là có cùng các mục đích (nghiên cứu) của tô pô.
Một cách chính thức, một phép đồng phôi là một song ánh liên tục với hàm ngược cũng liên tục.
Một cách nôm na có thể cho thấy một ý nghĩa rõ hơn: Hai không gian là tương đương tô pô nếu người ta có thể biến dạng một không gian thành cái còn lại mà không phải cắt bỏ hay đục thủng các chi tiết ra và không phải dán các chi tiết lại với nhau. Dĩ nhiên, ở đây ta giả thiết "vật" (không gian) bị biến dạng có khả năng "siêu dẻo". Do vậy, việc nói đùa rằng nhà tô pô học không thể phân biệt được một vòng xuyến và cái ly có quai là vì cái ly có thể bị nặn bóp để trở thành hình vòng xuyến.
Một bài tập đơn giản về tương đương tô pô chia 10 chữ số Ả Rập, 0,1,2,3,4,5,6,7,8,9, thành các lớp có hình dạng tương đương nhau về mặt tô pô. Lớp thứ nhất bao gồm {1,2,3,5,7}; hình dạng các chữ số này không có lỗ hổng. Lớp thứ hai là {0,4,9,6}; hình dạng các chữ số này có đúng 1 lỗ hổng. Và lớp thứ 3 chỉ có một phần tử duy nhất {8} có tới hai lỗ hổng.