מבנה (מתמטיקה) – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
אין תקציר עריכה
שורה 3:
ניתן לאפיין את תחומי המתמטיקה השונים על פי סוג המבנים הנחקרים בהם. ה[[אלגברה]] עוסקת בחקר [[מבנה אלגברי|מבנים אלגבריים]], מבנים בהם מוגדרת [[אופרטור|פעולה]] בין איברים; [[אנליזה מתמטית]] עוסקת בעיקר בחקר [[מרחב מטרי|מרחבים מטריים]], מבנים בהם מוגדר [[מטריקה|מרחק]] בין איברים; [[טופולוגיה]] עוסקת בחקר [[מרחב טופולוגי|מרחבים טופולוגיים]] הכלליים יותר, בהם יש מובן ל[[סביבה (מתמטיקה)|קרבה]] בין איברים; ואילו [[תורת המספרים]] מוקדשת ברובה לחקירתו של מבנה אחד ויחיד – [[חוג המספרים השלמים]]. [[תורת הקטגוריות]] ו[[תורת הקבוצות]] עוסקות בחקר מבנים כלליים באשר הם.
 
דוגמה מוכרת למבנה היא קבוצת ה[[מספר טבעי|מספרים הטבעיים]], לה מבנה עשיר המתבטא בפעולת ה[[חיבור]] וה[[כפל]] וה[[סדרעקרון טובהסדר הטוב|סדר הטוב]] המוגדרים על איבריה. אפשרי שעל קבוצה מסוימת יוגדר יותר ממבנה אחד בעל עניין ובתחומים שונים יבחרו להתרכז במבנים שונים של אותה קבוצה. למשל על [[שדה המספרים הממשיים|קבוצת המספרים הממשיים]] ניתן לחשוב בין השאר כעל [[שדה (מבנה אלגברי)|שדה]] (ב[[אלגברה מופשטת]]), כעל [[הישר הממשי|ישר]] (ב[[גאומטריה]]), כעל [[מרחב מטרי שלם]] (בטופולוגיה) או כעל [[יריעה חלקה]] (ב[[גאומטריה דיפרנציאלית]]). לעתים מבנה מעניין של קבוצות מסוימות מהווה תמריץ למציאת קבוצות נוספות בעלות מבנה דומה. כך למשל המבנה "[[מרחב וקטורי]]", הנחקר במסגרת ה[[אלגברה לינארית|אלגברה הלינארית]], מוגדר על ידי חיקוי תכונותיו המוצלחות של [[המרחב האוקלידי]], שבעצמו מוגדר על ידי חיקוי תכונותיהם של ה[[מישור (גאומטריה)|מישור הדו-ממדי]] ושל ה[[מרחב תלת-ממדי]].
 
[[פונקציה|התאמה]] בין שתי קבוצות המראה שיש להן אותו מבנה נקראת [[איזומורפיזם]], ויש לה חשיבות מתמטית רבה בפני עצמה. כאשר מבנה אחד מוכל בתוך מבנה אחר מאותו הסוג הוא נקרא תת-מבנה (למשל [[תת-חבורה]]).