עד כדי (מתמטיקה) – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
מ תיקון קישור
אין תקציר עריכה
שורה 1:
ב[[מתמטיקה]], לביטוי '''עד כדי''' יש מובן של ציון חלק מהמאפיינים של גודל או אובייקט, תוך שמאפיינים אחרים מוזנחים בכוונה. בהקשר למאפיין האחרון, שני [[מספר ממשי|מספרים ממשיים]] שווים זה לזה עד כדי סימן, אם הם שווים זה לזה ב[[ערך מוחלט|ערכם המוחלט]]: מספר ממשי נקבע על ידי גודלו והסימן שלו, ושוויון "עד כדי סימן" פירושו שוויון למעט, אולי, במרכיב הסימן.
 
באופן כללי יותר המושג מאפשר לשייך שני עצמים לאותה [[מחלקת שקילות]], כאשר יחס השקילות מצוין במפורש או במשתמע. "יש [[שדה סופי]] אחד מגודל 16, עד כדי [[איזומורפיזם (מתמטיקה)|איזומורפיזם]]" - אין פירושו של דבר שכל השדות בגודל 16 שווים זה לזה, אלא שהם איזומורפיים זה לזה. [[המשפט היסודי של האריתמטיקה]] קובע שלכל [[מספר טבעי]] יש [[פירוק לגורמים של מספר שלם|פירוק]] יחיד לגורמים [[מספר ראשוני|ראשוניים]], עד כדי סדר הגורמים.
 
כדוגמה נוספת, ה[[דיסקרימיננטה]] של [[תבנית ריבועית]] המוגדרת מעל [[שדה (מבנה אלגברי)|שדה]] F היא איבר של השדה, "עד כדי [[מספר ריבועי|ריבועים]]" (או: עד-כדי כפל בריבוע). הדיסקרימיננטה איננה איבר מוגדר היטב של החבורה הכפלית <math>\ F^{\times}</math>, אלא של חבורת המנה <math>\ F^{\times}/(F^{\times})^2</math>.