יחס כפול

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

שמו של היחס הכפול מגיע מכך שהוא מתאר את היחס בין היחס  ובין היחס .

היחס הכפול הוא שמורה של העתקת מביוס ושל העתקות פרויקטיביות.

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

ככלל, בהינתן רביעיית נקודות בעלת יחס כפול , שינוי סדר הקואורדינטות בה יניב את הערכים הבאים:

 תמורה  תיאור קצר  ערכו של היחס הכפול תמורת הזהות                

היחס הכפול בגאומטריה פרויקטיבית
ליחס הכפול ישנה הגדרה שונה ושקולה בגאומטריה פרויקטיבית: יהיו

ארבע נקודות על הישר הפרויקטיבי. כן תהיה  העתקה פרויקטיבית המקיימת

היחס הכפול בגאומטריה פרויקטיבית מוגדר להיות .

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

כמו את , ניתן לבטא גם את  כצירוף ליניארי: . מכך נובע:

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

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

קטגוריה:גאומטריה פרויקטיבית