שיכון (מתמטיקה)


כל מה שרצית לדעת על שיכון (מתמטיקה):
במתמטיקה משתמשים במילה שיכון כדי לציין שאובייקט מתמטי אחד נמצא בתוך אובייקט מתמטי אחר.
בצורה פורמלית משתמשים במילה "שיכון" כדי לציין את הפונקציה שבה משתמשים לציון הקשר שבין שני האובייקטים.
באופן פורמלי, אנו אומרים שקבוצה X משוכנת בקבוצה Y אם קיימת פונקציה חד-חד ערכית   f : X → Y {\displaystyle \ f:X\to Y} .
בדרך כלל, אם ל-X יש מבנה נוסף (טופולוגיה, מבנה אלגברי וכו') אנו דורשים מ-f שתשמר את אותו מבנה.
באמצעות השיכון אנו יכולים לראות את המבנה X כתת-מבנה של Y.
בטקסטים מתמטיים מתקדמים, אם יש שיכון של X ב-Y, מסמנים X ↪ Y {\displaystyle X\hookrightarrow Y} .
אם השיכון נתון על ידי   f : X → Y {\displaystyle \ f:X\to Y} מסמנים גם f : X ↪ Y {\displaystyle f:X\hookrightarrow Y} .

נלקח מויקיפדיה

הגדרות נוספות הקשורות לשיכון (מתמטיקה):
קצרמר מתמטיקה
תורת הקבוצות
אלגברה
טופולוגיה
מורפיזמים