סוגרי אייברסון
במתמטיקה, סוגרי אייברסון (Iverson bracket), על שמו של המדען הקנדי קנת' אייברסון, הוא סימון המציין מספר ששווה לאחד אם תנאי מתקיים ואפס אחרת:
![{\displaystyle [P]={\begin{cases}1&{\text{if }}P{\text{ is true;}}\\0&{\text{otherwise.}}\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ead533e8bdd9bcb51828f0d580bdc2d70a799da6)
שימושים
סוגרי אייברסון הופכים ערך בוליאני לערך מספרי באמצעות מיפוי טבעי , אשר מאפשר ספירה באמצעות סכימה. לדוגמה פונקציית אוילר הסופרת את המספרים החיוביים עד ל־n שהם מספרים זרים ל־n, ניתנת לכתיבה כך:
![{\displaystyle \phi (n)=\sum _{i=1}^{n}[\gcd(i,n)=1],\qquad {\text{for }}n\in \mathbb {N} ^{+}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bbc403d665aad384552591ea3d98add8af0950a1)
באופן כללי הסימון מאפשר להעביר תנאי קצה בסכימה (או באינטגרלים) כגורמים נפרדים בסכום, ולפנות מקום סביב סימן הסכימה, וחשוב מכך מאפשר לבצע מניפולציות אלגבריות. לדוגמה,
![{\displaystyle \sum _{1\leq i\leq 10}i^{2}=\sum _{i}i^{2}[1\leq i\leq 10].}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c8bc0a6901293259c1932337d4be58496ba497f0)
בסכום הראשון, האינדקס מוגבל לטווח שבין 1 לבין 10. בסכום השני, הסכימה היא על כל השלמים, אך כאשר i הוא קטן ממש מ־1 או גדול ממש מ־10, התוספת בסכימה היא 0, ולא תורמת לסכום. שימוש כזה בסוגרי אייברסון מאפשר מניפולציה פשוטה בביטויים כאלו.
מקרים מיוחדים
הדלתא של קרונקר היא מקרה מיוחד של סוגרי אייברסון עבור תנאי שוויון:
![{\displaystyle \delta _{ij}=[i=j].}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f81e83a8bfafc93fb53facd4360cd794ea0fc98d)
פונקציה מציינת, שאותה מציינים לעיתים באמצעות , או ניתנת לסימון באמצעות סוגרי אייברסון עם סימון שייכות לקבוצה:
- .
![{\displaystyle \mathbf {I} _{A}(x):=[x\in A]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0d3e6d781d958fb6c822bfce042e240488a6ea66)
ניתן להשתמש בסוגרי אייברסון לסימון פונקציית סימן ופונקציית מדרגה:
![{\displaystyle \operatorname {sgn}(x)=[x>0]-[x<0]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b8b8fd8c9ca3caeed2c82ca00356a086b4b46196)
![{\displaystyle H(x)=[x>0].}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5726d35ba3c7cade5e07e0e6ea0c2a8002916cca)
ביטויים של מקסימום ומינימום מבין שני מספרים:
![{\displaystyle \max(x,y)=x[x>y]+y[x\leq y],}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f7c1b3234efba7323856def61ceed61c4329ada6)
![{\displaystyle \min(x,y)=x[x\leq y]+y[x>y],}](https://wikimedia.org/api/rest_v1/media/math/render/svg/86a7c2256206212dcccb6d9dab978a15c4a4263e)
סימון ערך מוחלט:
![{\displaystyle |x|=x[x\geq 0]-x[x<0].}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d248072015bae9fb2f580dfc3401f29ae0a6c2fc)
קישורים חיצוניים
- סוגרי אייברסון, באתר MathWorld (באנגלית)
הערות שוליים
- ^ Donald Knuth, Two Notes on Notation, American Mathematical Monthly, Volume 99, Number 5, May 1992, pp. 403–422.
37409628סוגרי אייברסון