שיכון (מתמטיקה)
ויקיפדיה האנציקלופדיה encyclopedia
במתמטיקה, שיכון מציין שאובייקט מתמטי אחד נמצא בתוך אובייקט מתמטי אחר או מציין את הטרנספורמציה (אנ') המקשרת בין שני האובייקטים.
לדוגמה: קבוצה משוכנת בקבוצה אם קיימת פונקציה חד-חד ערכית . בדרך כלל, אם ל- יש מבנה נוסף (למשל טופולוגיה או מבנה אלגברי) אנו דורשים מ- שתשמר את אותו מבנה. באמצעות השיכון אנו יכולים להגדיר את המבנה כתת-מבנה של .
בטקסטים מתמטיים מתקדמים, אם יש שיכון של ב-, מסמנים . אם השיכון נתון על ידי מסמנים גם .