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

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