בתשובה לעוזי ו., 25/08/03 20:36
שאלת תם 166110
הייתי רק מזכיר גם את התורה של שדות סגורים-ממשית (Real Closed Fields), שלמטרות מסויימות היא נוחה יותר. זו לא הגדרה אקסיומטית של הממשיים, אבל זו תורה סימפטית גם מההיבט האלגברי וגם מההיבט הלוגי.
שאלת תם 166112
אז למה שלא תזכיר? נשמע מעניין.
שאלת תם 166129
טוב, ברמת ה-"להזכיר" הזכרתי... אבל הנה עוד פרטים. ההקשר ממנו צמחה התורה הוא הבעייה ה-‏17 של הילברט, שנפתרה יחסית מהר ע"י ארטין ושרייר.

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

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

מההיבט הלוגי, כפי שציינתי, התורה היא סימפטית כי היא כריעה ושלמה. אפשר למצוא עוד פרטים בהרבה ספרים על אלגברה וגם ברשת - למשל:


חזרה לעמוד הראשי

מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים