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

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה אל: ניווט, חיפוש

במתמטיקה משתמשים במילה שיכון כדי לציין שאובייקט מתמטי אחד נמצא בתוך אובייקט מתמטי אחר. בצורה פורמלית משתמשים במילה "שיכון" כדי לציין את הפונקציה שבה משתמשים לציון הקשר שבין שני האובייקטים.

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

בטקסטים מתמטיים מתקדמים, אם יש שיכון של X ב-Y, מסמנים X \hookrightarrow Y. אם השיכון נתון על ידי \ f : X \to Y מסמנים גם f : X \hookrightarrow Y.

אלגברה[עריכת קוד מקור | עריכה]

באלגברה מופשטת כל הומומורפיזם לא טריוויאלי בין שדות הוא שיכון. הסיבה היא שאם יש הומומורפיזם בין שדה E לשדה F, והוא לא מעביר כל איבר ל-0, אז הגרעין של הומומורפיזם כזה שהוא אידאל יהיה בהכרח {0}, כיוון שבשדה האידאלים היחידים הם השדה כולו והקבוצה 0. הנחנו בתחילה שההומומורפיזם לא מעביר כל איבר ל-0 ולכן הגרעין הוא בהכרח בדיוק {0}, כלומר ההומומורפיזם הוא חד-חד ערכי ולכן שיכון.

P mathematics.svg ערך זה הוא קצרמר בנושא מתמטיקה. אתם מוזמנים לתרום לוויקיפדיה ולהרחיב אותו.