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

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