סדר-מזעריות: טופולוגיה ללא דוגמאות נגדיות

בשנות ה-80 העלה א. גרותנדיק תכנית לפיתוח ”טופולוגיה שקולה“ שלא תסבול מהשפע העצום של דוגמאות נגדיות ופתולוגיות המוכרות מהטופולוגיה הקלאסית. כיום רבים רואים בסדר-מזעריות את הגשמת תכניותו של גרותנדיק: בשדה סדר מזערי כל הפונקציות גזירות למקוטעין (ולכן גזירות אינסוף פעמים ”כמעט“ בכל נקודה), פונקציות במשתנה אחד הן מונווטוניות למקוטעין, קשירות שקולה לקשירות מסילתית ואקסיומת הבחירה מתקיימת עבור הקבוצות ה“גדירות“. בהקשר הסדר מזערי ניתן לפתח את כל החשבון הדיפרנציאלי הקלאסי, פרקים נרחבים מהתורה של חבורות לי, פרקים בטופולוגיה אלגברית ועוד, ועוד. סדר-מזעריות משמשת מזה זמן כלי מרכזי בגיאומטריה ממשית, בגיאומטריה דיופנטית ובתחומים נוספים.

בקורס נגדיר את המושג של תורות סדר-מזעריות ונפתח את התורה הבסיסית שלהן. נראה כי התורה של שדות סגורים ממשית היא תורה סדר-מזערית ונדון, ככל שיותיר הזמן, בשימושים.