על מכפלה

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

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

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

את על המכפלה מסמנים: 

נעיר כי ניתן לבצע את הבניה באופן מלא גם כאשר  הוא רק מסנן, ולא על מסנן, אך במקרה הזה משפט Łoś לא יתקיים.

משפט Łoś 
המשפט הבסיסי הנוגע לעל מכפלות ועל חזקות טוען כי כל הנוסחאות מסדר ראשון שמתקיימות בחלק גדול ממרכיבי המכפלה, מתקיימות גם בעל המכפלה. באופן פורמלי: 
אם  נוסחה בשפה  אז: 
.

בפרט כל משפט (נוסחה בה אין משתנים חופשיים) שמתקיים בכל הרכיבים יתקיים גם בעל המכפלה.

הוכחת המשפט נעשית באינדוקציה על אורך המשפט, כאשר לשם הפשטות מתירים רק את כמת הקיום ואת הקשרים הלוגיים "וגם" ו"שלילה". הנוסחאות האטומיות מהוות את בסיס האינדוקציה - שם המשפט נכון מההגדרה.
 אם  אז כיוון שהמשפט נכון בכל אחת מתת הנוסחאות , אוסף הנקודות ב- עליהן הנוסחה מתקיימת היא חיתוך שני אוספי הנקודות שבהן תת-הנוסחאות מתקיימות, וכיוון ש- מסנן - היא שייכת ל-.
 אם  אז מצד אחד - אם על המכפלה מקיימת את , אז קיים [g] עבורו  ולכן מהנחת האינדוקציה אוסף האינדקסים בהם  הוא בעל מסנן. 
מצד שני, על ידי שימוש באקסיומת הבחירה נוכל לבחור את  קואורדינטה-קואורדינטה (כאשר בקואורדינטות בהן הנוסחה לא מתקיימת נבחר את הערך באופן שרירותי).
 המעבר דרך קשר השלילה משתמש בכך ש- הוא על-מסנן.

במקרה של על-חזקה, נובע מהמשפט כי ההעתקה שמתאימה לכל איבר  ב- את מחלקת השקילות של הפונקציה הקבועה  היא שיכון אלמנטרי של M בתוך על המכפלה.

משפט קיזלר-שלח

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

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

שימושים אלגבריים 

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

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

ראו גם 
 אנליזה לא סטנדרטית
 מונה מדיד

קישורים חיצוניים

ערכים שבהם תבנית בריטניקה אינה מתאימה
לוגיקה מתמטית