עד כדי (מתמטיקה)

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

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

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

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

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

קטגוריה:מושגים במתמטיקה
קטגוריה:יחסי שקילות