|
אנרי פואנקרה, בסוף המאה ה-19, יצר את האבחנה בין "גאומטריה מטרית", שעוסקת בתכונות של עצמים שנשמרות בהעתקה קשיחה כמו חפיפת משולשים, ו"גאומטריה פרוייקטיבית" שעוסקת בתכונות שנשמרות תחת מתיחה אחידה של המרחב, כמו דמיון משולשים, ובין מה שאז נקרא "analysis situs" והיום נקרא טופולוגיה, שהיא המחקר של תכונות של עצמים שנשמרות תחת כל העתקה רציפה (שאינה יוצרת או הורסת חורים).
זוהי עדיין הגדרה טובה, אלא שמאז פואנקרה התברר שאין צורך לעבוד *בתוך* המרחב האוקלידי, ושאפשר לקבל תאוריה חזקה יותר אם מתחילים בגישה אקסיומטית (שבה "קבוצה פתוחה" היא פשוט איבר של משפחת קבוצות בעלת תכונות מסויימות, שנקראת "מרחב טופולוגי"). "טופולוגיה קבוצתית" (point set topology) היא בעיקר המחקר של מרחבים שמוגדרים באופן כזה, ואקסיומות שונות שאפשר וכדאי להלביש עליהן. בהמשך מצאו שיטות טובות יותר לחקור את התכונות שנשמרות תחת העתקות רציפות, כמו "טופולוגיה קומבינטורית" (דוגמא: משפט ארבעת הצבעים שהוא בעצם תכונה של המישור; על טורוס מתקיים "משפט שבעת הצבעים"), "טופולוגיה דיפרנציאלית" (שמדביקה לאובייקטים שלה פונקציות גזירות), ובעיקר "טופולוגיה אלגברית" שבה משתמשים בכלים אלגבריים (החבורה היסודית, הומולוגיה) כדי לחקור יצורים גאומטריים.
|
|