מכפלה (תורת הקטגוריות)

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

הגדרה

נניח כי C היא קטגוריה וכי עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \,\{X_i|i \in I\}} היא משפחה של אובייקטים ב-C. המכפלה של הקבוצה ${\displaystyle \,\{X_{i}\}}$ היא אובייקט X ביחד עם אוסף מורפיזמים עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \,\pi_i:X\rightarrow X_i} (הנקראות ההטלות הקנוניות, שהן לעיתים קרובות, אם כי לא תמיד אפימורפיזמים) אשר מקיימים את התכונה האוניברסלית הבאה: לכל אובייקט Y ואוסף מורפיזמים עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \,f_i:Y\rightarrow X_i} קיים מורפיזם יחיד ${\displaystyle \,f:Y\rightarrow X}$ כך שלכל עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \,i \in I} מתקיים ${\displaystyle f_{i}=\pi _{i}\circ f}$. במילים אחרות, לכל i הדיאגרמה הבאה היא דיאגרמה קומוטטיבית:

התכונה האוניברסלית של מכפלה

במילים אחרות, X הוא אובייקט סופי בקטגוריה ${\displaystyle C_{\{X_{i}\}}=\left\{(Z,\{g_{i}:Z\to X_{i}\})\ |\ \forall i:X,X_{i}\in \mathrm {Ob} (C)\ ,\ g_{i}\in \mathrm {Mor} (Z,X_{i})\right\}}$ עם המורפיזמים המתאימים (כך שהדיאגרמה המתאימה קומוטטיבית).

אם משפחת האובייקטים מכילה רק שני איברים, נהוג לסמן את המכפלה ב${\displaystyle \,X_{1}\times X_{2}}$, ואז התכונה האוניברסלית מבוטאת על ידי הדיאגרמה הקומוטטיבית הבאה:

המורפיזם היחיד f ההופך את הדיאגרמה לקומוטטיבית מסומן לעיתים ב<f₁,f₂>.

דוגמאות

• בקטגוריה של קבוצות, המכפלה היא פשוט מכפלה קרטזית של אוסף הקבוצות. בהינתן משפחה של קבוצות X_i, המכפלה מוגדרת על ידי:

${\displaystyle \prod _{i\in I}X_{i}:=\{(x_{i})_{i\in I}|x_{i}\in X_{i}\,\forall i\in I\}}$

וההטלות הקנוניות הן

עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \pi_j : \left( \prod_{i \in I} X_i \right) \to X_j \mathrm{ , } \quad \pi_j((x_i)_{i \in I}) := x_j}

בהינתן קבוצה כלשהי Y ואוסף של פונקציות

${\displaystyle \,f_{i}:Y\to X_{i}}$

המורפיזם האוניברסלי f נתון על ידי

${\displaystyle f:Y\to \prod _{i\in I}X_{i}\mathrm {,} \quad f(y):=(f_{i}(y))_{i\in I}}$

• בקטגוריה של מרחבים טופולוגים, המכפלה נתונה על ידי מכפלה של מרחבים טופולוגים. כקבוצה, המכפלה שווה למכפלה הקרטזית של הקבוצות מהן מורכבים המרחבים הטופולוגים, והטופולוגיה היא הטופולוגיה החלשה ביותר בה ההטלות הן פונקציות רציפות. ההטלות הן, שוב, כמו בקטגוריה של קבוצות, ועקב בחירת הטופולוגיה על המכפלה הן מהוות פונקציות רציפות, ולפיכך מורפיזמים בקטגוריה של מרחבים טופולוגים.

קיום ויחידות

לא בכל קטגוריה C קיימת לכל משפחה ${\displaystyle \,\{X_{i}\}}$ מכפלה. אם קיימת המכפלה אז היא יחידה במובן הבא: אם עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \,\pi_i:X\rightarrow X_i} ו-${\displaystyle \,\pi '_{i}:X'\rightarrow X_{i}}$ הן זוג מכפלות של המשפחה ${\displaystyle \,\{X_{i}\}}$ אז קיים איזומורפיזם יחיד עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \,f:X\rightarrow X'} כך ש עיבוד הנוסחה נכשל (MathML עם גיבוי SVG או PNG (מומלץ לדפדפנים מודרניים ולכלי נגישות): תגובה בלתי־תקינה ("Math extension cannot connect to Restbase.") מהשרת "https://en.wikipedia.org/api/rest_v1/":): {\displaystyle \,\pi_i=\pi'_i\circ f} .

ראו גם

• קו-מכפלה (תורת הקטגוריות)
• מכפלת סיב (תורת הקטגוריות)