stanford-oval/wikipedia huggingface dataset:
חזקה (מתמטיקה)

במתמטיקה, חֶזְקָה (או העלאה בחזקה) היא פעולה, המתבצעת בין שני מספרים: ה"בסיס" וה"מעריך". חזקה מסמנים בסימון  \ a^{b} כאשר a הוא הבסיס ו-b המעריך. בצורתה הבסיסית ביותר, שבה הבסיס הוא מספר ממשי והמעריך הוא מספר טבעי, חזקה מהווה קיצור של פעולת הכפל; כלומר – a בחזקת b היא המכפלה של b גורמים השווים כולם לבסיס:  a^{b}=\underbrace {a\times \cdots \times a} _{b}.
את הצורה הבסיסית הזו של חזקה ניתן להכליל למערכות מספרים רחבות יותר, ואף למבנים מתמטיים שבהם האיברים כלל אינם מספרים. על בסיס פעולת החזקה מגדירים פונקציות מתמטיות שמשמשות תדיר את כל תחומי המדעים.
טרמינולוגיה וסימון

כאמור, את פעולת החזקה כאשר a הבסיס ו-b המעריך מסמנים ב-ab. סימון זה הוכנס לשימוש על ידי רנה דקארט ב-1637. קדמו לו דרכים אחרות לרישום חזקה, החל מאוקלידס. כאשר לא ניתן להשתמש בסימון המקובל, למשל במכונת כתיבה או בשפות תכנות מסוימות, נהוג הסימון a^b. בשפות תכנות אחרות משמש הסימון a**b.
הפעולה נקראת העלאה בחזקה (כגון "a בחזקת b" או "a מועלה בחזקת b"). כאשר המעריך הוא מספר טבעי בין 3 ל-10 (כולל) נהוג לקצר ולקרוא "a ב-n-ית", כאשר n הוא שם המספר הסודר. למשל "8 בשלישית", "2 ברביעית" ו-"4 בעשירית" משמעם 83, 24 ו-410, בהתאמה. מקרה מיוחד הוא כאשר המעריך הוא 2, אז נהוג לקרוא לחזקה  \ a^{2} "a בריבוע", משום ששטח ריבוע שווה לאורך צלעו בחזקת 2. למשל "5 בריבוע" משמעו 52. התוצאה של העלאת מספר שלם בחזקה שנייה נקראת מספר ריבועי, או פשוט "ריבוע". תוצאת העלאת מספר שלם בחזקה שלישית נקראת לפעמים מספר מעוקב. המילה "חזקה" משמשת גם לציון תוצאת הפעולה.
מבחינת סדר פעולות חשבון, נהוג כי החזקה קודמת לארבע פעולות החשבון, וכי יש לחשב את המעריך לפני ביצוע פעולת החזקה:
\ a\cdot b^{c}=a\cdot (b^{c}),
\ a^{b^{c}}=a^{(b^{c})},
\ -a^{b}=-(a^{b}), וכדומה.
חזקה טבעית

המופע הפשוט ביותר של חזקה הוא חזקה בעלת מעריך טבעי, כגון  x^{7}, כאשר המעריך מציין כמה פעמים יש לכפול את מספר הבסיס בעצמו. חזקה כזו אפשר להגדיר באמצעות נוסחת נסיגה:  \ a^{1}=a, ולכל  \ n>1 מגדירים  \ a^{n}=a\cdot a^{n-1}.
חזקה טבעית > דוגמאות

\ 4^{3}=4\cdot 4^{2}=4\cdot (4\cdot 4)=64
\ (-1)^{2}=(-1)\cdot (-1)=1
חזקה טבעית > חוקי החזקות

מהגדרה זו ניתן להסיק מספר מאפיינים בסיסיים של חזקות, הנקראים חוקי חזקות:
| החוק | דוגמה |
| --- | --- |
 a^{m}\cdot a^{n}=a^{m+n}:  10^{3}\cdot 10^{4}=10^{3+4}=10^{7}=10,000,000
 (a\neq 0)\quad {\frac {a^{m}}{a^{n}}}=a^{m-n}:  \quad {\frac {10^{5}}{10^{3}}}=10^{5-3}=10^{2}=100
 {(a^{m})}^{n}=a^{mn}:  {(10^{2})}^{3}=10^{2\cdot 3}=10^{6}=1,000,000
 {(a\cdot b)}^{n}=a^{n}\cdot b^{n}:  {(2\cdot 5)}^{3}=2^{3}\cdot 5^{3}=8\cdot 125=1,000
 (b\neq 0)\quad {\left({\frac {a}{b}}\right)}^{n}={\frac {a^{n}}{b^{n}}}:  \quad {\left({\frac {6}{3}}\right)}^{2}={\frac {6^{2}}{3^{2}}}={\frac {36}{9}}=4
חזקה טבעית > חוקי החזקות > דוגמאות לשימוש

האגדה מספרת שכאשר המלך הציע לממציא השחמט לקבוע את הגמול שיינתן לו תמורת המצאתו, אמר הממציא: "אדוני המלך, יינתן לי גרגר חיטה אחד במשבצת הראשונה של לוח השחמט, שני גרגרים במשבצת השנייה, ארבעה גרגרים במשבצת השלישית, וכך הלאה – בכל משבצת יינתן לי מספר גרגרים כפול מאשר בקודמתה". ציווה המלך על עבדיו לקיים את הבקשה, אך מהר מאוד גילה שבכל אסמי הממלכה אין מספיק חיטה. כמה גרגרים נדרש המלך לשים במשבצת האחרונה, היא המשבצת ה-64?
 תשובה: ניתן לראות מתיאור משאלתו של הממציא, שבמשבצת ה- \ n יש להניח  \ 2^{(n-1)} גרגרים, ולכן במשבצת ה- \ 64 יש להניח  \ 2^{63} גרגרים. במקום להשתמש במחשבון כדי לחשב מספר זה, ניתן להעריך את סדר הגודל של המספר אם נזכור כי  \ 2^{10}=1,024, ניעזר בקירוב למספר זה:  \ 1,000=10^{3}, שעמו קל יותר לחשב ידנית, ונשער את גודלו של המספר באמצעות חישוב על גב מעטפה.
 בהתאם לחוקי החזקות,  \ 2^{63}=2^{(10\cdot 6+3)}=(2^{10})^{6}\cdot 2^{3} שהם יותר מאשר  \ 8 כפול  \ 10^{18}, כלומר מספר בן 19 ספרות. התוצאה המדויקת היא 9,223,372,036,854,775,808.
אליס ובוב רוצים ליצור ביניהם ערוץ מאובטח להעברת מידע, כך שאיש מלבדם לא יוכל לקלוט את המידע העובר בו. לשם כך עליהם להחליט על מפתח סודי משותף שבעזרתו יוכלו להצפין ולקרוא את המידע שהם משתפים. אם אליס ובוב לא יכולים להיפגש, ההחלטה על המפתח הסודי חייבת להתקבל בערוץ קשר פומבי החשוף לכל. כדי להתגבר על בעיה זו פותח פרוטוקול דיפי-הלמן שעושה שימוש בחוקי חזקות כדי לקבוע מפתח משותף סודי על גבי ערוץ פומבי. נוהל הפרוטוקול עובד כך:
 אליס בוחרת מספר  \ x ובוב בוחר מספר  \ y. הם מחליטים יחדיו באופן פומבי וחשוף לכולם על קבועים  \ p ו- \ \alpha  (שצריכים לעמוד בכמה דרישות טכניות). אליס מפרסמת את  \ A=\alpha ^{x}{\pmod {p}}, שהוא השארית המתקבלת מחלוקת  \ \alpha ^{x} ב- \ p (ראו חשבון מודולרי), ובוב מפרסם את  \ B=\alpha ^{y}{\pmod {p}}. כעת אליס ובוב מנצלים חוק חזקה כדי להסכים על מפתח משותף. המפתח יהיה  \ K=\alpha ^{xy}{\pmod {p}}. בוב מסוגל לחשב את  \ K כי הוא יודע את  \ A ואת  \ y ולכן  \ A^{y}=(\alpha ^{x})^{y}=\alpha ^{xy}=K{\pmod {p}}, ובאופן דומה אליס מסוגלת לחשב אותו כי  \ B^{x}=(\alpha ^{y})^{x}=\alpha ^{xy}=K{\pmod {p}}. אף אחד אחר אינו מסוגל לגלות את  \ K, כי באופן פומבי פורסמו רק  \ \alpha ,p,A,B, וכאשר  \ p מספר גדול מאוד, קשה להסיק מתוכם את  \ K בלי לדעת את  \ x או את  \ y (ראו בעיית הלוגריתם הדיסקרטי).
חזקה שלמה

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

\ 5^{-1}={\frac {1}{5^{1}}}={\frac {1}{5}}
\ {\left({\frac {2}{3}}\right)}^{-2}={\frac {2^{-2}}{3^{-2}}}={\frac {3^{2}}{2^{2}}}={\frac {9}{4}}
חזקה רציונלית

לכל n שלם (שונה מאפס), ולכל מספר ממשי חיובי a, קיים פתרון חיובי יחיד למשוואה  \ x^{n}=a. פתרון זה נקרא השורש ה-n-י של a, וסימונו  \ {\sqrt[{n}]{a}}.
בעזרת מושג השורש ניתן להרחיב את הגדרת החזקה גם למעריכים רציונליים כלשהם (ובסיס חיובי). תחילה מגדירים הרחבה למעריכים שהם שבר יסודי: יהי n מספר שלם ו-a מספר חיובי. נצפה כי  \ a^{\frac {1}{n}} יהיה מספר חיובי. כמו כן לפי חוקי חזקות מתקיים:
כלומר  \ a^{\frac {1}{n}} הוא השורש ה-n-י, ולכן:
\ a^{\frac {1}{n}}={\sqrt[{n}]{a}}.
בהתבסס על תוצאה זו ובעזרת חוקי חזקות נוכל להרחיב את ההגדרה לכל מעריך רציונלי (n שונה מאפס):
התוצאה אינה תלויה בבחירת ההצגה של השבר, משום ש- \ {\sqrt[{km}]{a^{kn}}}={\sqrt[{m}]{a^{n}}}, ולכן הפעולה מוגדרת היטב. כל חוקי החזקות בשלמים נשמרים גם עבור מעריכים רציונליים.
במסגרת המספרים הממשיים, הוצאת שורש אינה מוגדרת היטב למספרים שליליים, ולכן גם חזקה רציונלית אינה מוגדרת לבסיס שלילי. אם הבסיס הוא 0, החזקה מוגדרת רק כשהמעריך חיובי, וערכה 0.
חזקה רציונלית > דוגמאות

\ 4^{\frac {1}{2}}={\sqrt[{2}]{4}}=2
\ 8^{\frac {2}{3}}={\sqrt[{3}]{8}}^{2}=2^{2}=4
אדם מפקיד בבנק 10 שקלים בריבית של 6% לשנה. כעבור שנה יהיו בחשבונו  \ 10\cdot (1+{\frac {6}{100}})=10.60 שקלים.
אם ישאיר סכום זה בחשבונו שנה נוספת, יצטבר בחשבון בסוף השנה השנייה סכום של  10\cdot (1+{\frac {6}{100}})^{2} שקלים.
 בסוף השנה ה- \ n יהיו בחשבונו  10\cdot (1+{\frac {6}{100}})^{n} שקלים.
 עד כה המעריך היה שלם, אבל פיקדון בבנק ניתן למשוך במהלך השנה. מה יהיה הסכום שיצטבר לאחר שלוש שנים ושלושה חודשים (3.25 שנים)? הנוסחה הבסיסית לחישוב הריבית תקפה גם למעריך שאינו שלם, שהוא מספר רציונלי – בחשבון יצטבר סכום של  10\cdot (1+{\frac {6}{100}})^{3.25}=12.0849\ldots  שקלים.
חזקה ממשית

ישנן שתי דרכים מקובלות ושקולות להגדרת חזקה עם מעריך ממשי.
דרך אחת היא להסתמך על החזקות הרציונליות שכבר הוגדרו. תכונה רצויה של פעולת החזקה היא שמירה על רציפות. מצופה שאם לכל חזקה  \ a^{r} נערוך סדרת חישובים מהצורה  \ a^{x} כש-x הולך ומתקרב ל-r, התוצאות שנקבל ילכו ויתקרבו לערך של  \ a^{r}. מסתבר כי דרישה זו מספיקה כדי להגדיר חזקה עם מעריך ממשי. מהבנייה של שדה המספרים הממשיים ידוע כי לכל מספר ממשי r קיימת סדרה  \ \left\{r_{n}\right\} של מספרים רציונליים המתכנסת ל-r. לכן לכל a אי-שלילי החזקה נתונה על ידי גבול הסדרה:
או באופן שקול כגבול של פונקציה:
המעריכים בשני הגבולות רציונליים ולכן החזקה בהם מוגדרת היטב. גם הגדרה זו אינה תלויה בנציגים והתוצאה זהה לכל סדרה המכנסת ל-r. הגדרה זו גם מספקת דרך נומרית לחישוב  \ a^{r} על ידי קירובים הולכים ומשתפרים. לדוגמה ניתן לחשב את  \ 2^{\pi } בכל רמת דיוק רצויה בזכות סדרת הקירובים: \ 2^{3},2^{3.1},2^{3.14},2^{3.141},\ldots .
דרך שנייה היא בעזרת פונקציית האקספוננט  \ \exp(x). זוהי פונקציה בסיסית ביותר שניתן להגדירה בדרכים רבות ומגוונות, ללא הגדרה קודמת של חזקה ממשית. לדוגמה,  \ \exp(x)=\sum _{n=0}^{\infty }{\frac {x^{n}}{n!}} (טור טיילור). מגדירים את הקבוע e בתור הערך  \ e=\exp(1) (יש עוד דרכים רבות להגדיר את e). פונקציית האקספוננט מקיימת את הזהות:
בזכות זהות זו, שלמעשה היא צורת כתיב שונה של אחד מחוקי החזקות המוכרים, קל להוכיח כי פונקציית האקספוננט מתלכדת עם החזקות הרציונליות של e (למשל  \ \exp(2)=\exp(1+1)=\exp(1)\cdot \exp(1)=e^{2}). לכן ניתן להכליל את החזקות של e לכל מעריך ממשי על ידי ההגדרה:
פונקציית האקספוננט היא פונקציה רציפה ולכן הגדרה זו שקולה להגדרה הראשונה באמצעות גבול של סדרת חזקות רציונליות. כדי להרחיב את ההגדרה של חזקות של e להגדרה המתאימה לכל בסיס חיובי יש להגדיר את פונקציית הלוגריתם הטבעי  \ \ln(x). גם זו פונקציה בסיסית, שניתן להגדירה כפונקציה ההפוכה לאקספוננט (או בדרכים רבות נוספות, ואף לנקוט בגישה הפוכה: להגדיר קודם את הלוגריתם הטבעי ולאחריו את האקספוננט כפונקציה ההפוכה לו). כלומר אם  \ \exp(x)=y, אז  \ \ln(y)=x (הלוגריתם הטבעי מוגדר למספרים חיוביים בלבד). לפי הגדרה זו הלוגריתם הטבעי מקיים את הזהות  \ e^{\ln(a)}=\exp(\ln(a))=a. באמצעות זהות זאת וחוקי חזקות ניתן להגדיר לכל a חיובי חזקה ממשית:
ונותר רק המקרה בו הבסיס הוא 0 (שלא מוגדר לו לוגריתם טבעי). במקרה זה כל החזקות החיוביות שוות לאפס (והמקרה האי-חיובי אינו מוגדר).
חזקה ממשית > דוגמאות

\ 2^{\pi }=8.8249778\ldots
חזקה מרוכבת

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

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

\ i^{101}=i^{4\cdot 25+1}=1^{25}\cdot i=i
\ {\left({\frac {-1+i{\sqrt {3}}}{2}}\right)}^{3}=1 (שורש יחידה מסדר 3)
\ (1+i)^{-1}={\frac {1}{1+i}}={\frac {1-i}{(1+i)(1-i)}}={\frac {1-i}{2}}
חזקה מרוכבת > בסיס חיובי ומעריך מרוכב

הגדרת העלאת מספר ממשי חיובי בחזקה ממשית התאפשרה לנו בזכות פונקציית האקספוננט. לפונקציית האקספוננט הכללה טבעית לכל מספר מרוכב. כיוון שזיהינו את האקספוננט הממשי עם הפונקציה  \ e^{x}, טבעי להמשיך במדיניות זו ולהגדיר חזקה מרוכבת של e בעזרת האקספוננט המרוכב. בצורה זו מתקבלת נוסחת אוילר: לכל x ממשי מתקיים,
כאשר  \ \cos  מציין קוסינוס,  \ \sin  מציין סינוס, ו- \ i מציין את היחידה המדומה.
למען הנוחות נהוג גם להשתמש בקיצור  \ \operatorname {cis} \,x=\cos x+i\sin x. נוסחת אוילר עם הקיצור היא:
נוסחה זו מגדירה חזקה של e במספר מדומה. בעזרת חוקי החזקות ניתן להרחיב את ההגדרה לכל חזקה מרוכבת של e:
מנוסחה זו נובעת ההצגה הקוטבית של מספרים מרוכבים: אם z הוא מספר מרוכב שבמישור המרוכב מרחקו מאפס הוא r והזווית ברדיאנים בין הישר הממשי (ציר ה-x) לישר המחבר בין המספר לאפס היא θ (תטא), אז:  \ z=re^{i\theta }. הצגה נוחה זו מאפשרת חישוב מכפלות וחזקות שלמות של מספרים מרוכבים (למשל באמצעות משפט דה-מואבר) ללא שימוש בבינום של ניוטון.
מכאן הדרך להגדרת חזקה מרוכבת של מספר ממשי חיובי a פשוטה, ונעשית בצורה דומה להגדרת החזקה הממשית:
כרצוי, הצבת חזקה ממשית בנוסחה (y=0) תתן את התוצאה הצפויה לחזקה ממשית.
באופן אנלוגי ניתן להגדיר חזקה של מספר ממשי כאשר המעריך הוא קווטרניון.
חזקה מרוכבת > בסיס חיובי ומעריך מרוכב > דוגמאות

\ e^{i\pi }={\text{cis }}\pi =-1 (זהות אוילר)
\ 2^{1+i}=2\operatorname {cis} \,(\ln(2))=1.538\ldots +i\cdot 1.277\ldots
חזקה מרוכבת > בסיס מרוכב ומעריך מרוכב

מנקודת מבט שטחית נראה כי הנוסחה המגדירה חזקת מספר חיובי במספר מרוכב יאה לכל מקרה של מספר מרוכב בחזקת מספר מרוכב. אולם גישה זו נתקלת בבעיה מהותית. ההגדרה מסתמכת על קיומה של פונקציית הלוגריתם הטבעי ln גם במקרה המרוכב (שבמקרה המרוכב מסומנת log). אולם הגדרה אחידה ומוסכמת לפונקציה זו אינה קיימת. במקרה הממשי חיובי הפונקציה מוגדרת בקלות, כי לכל מספר חיובי y קיים x אחד ויחיד המקיים  \ \exp(x)=e^{x}=y, ולכן ניתן להגדיר  \ \log(y)=x. כלומר הפונקציה  \ e^{x} היא חד-חד-ערכית ועל הממשיים החיוביים ולכן גם הפיכה. אך תכונה זו אינה נשמרת במספרים המרוכבים, וזאת משום המחזוריות של הפונקציות הטריגונומטריות הבסיסיות (להן יש מחזור של  \ 2\pi ). כתוצאה מכך האקספוננט המרוכב מחזורי בעצמו, עם מחזור של  \ 2i\pi : לכל k שלם,
משמעות הדבר היא שלכל z מרוכב קיימים אינסוף מספרים מרוכבים x כך שמתקיים  \ e^{x}=z (למעט המקרה z=0, אז לא קיים אפילו x יחיד המקיים זאת); ההפרש בין כל שני ערכים כאלה הוא כפולה שלמה של  \ 2\pi i. משום כך ניתן להגדיר את  \ \log(z) באינסוף דרכים שונות, כשלאף אחת מהן אין עדיפות. המסקנה היא שהלוגריתם הטבעי המרוכב הוא פונקציה רב-ערכית ושבכל הגדרה חד-ערכית של הלוגריתם הטבעי המרוכב יש ממד שרירותי שישפיע על תוצאותיה של החזקה המרוכבת. גרוע מזה, אם משנים בהדרגה את הערך של z לאורך מסילה המקיפה את הראשית במישור המרוכב כך שהשינוי ב-x רציף, אין חוזרים לאותו ערך. יש שתי גישות להתמודד עם קושי זה.
גישה אחת היא להתייחס לחזקה כפעולה שתוצאתה היא קבוצה של ערכים במקום ערך בודד. במקרה כזה התוצאה היא קבוצת כל הערכים שמתקבלים כתוצאת החזקה לכל בחירה אפשרית להגדרת הלוגריתם הטבעי המרוכב של המעריך. במקרה שהמעריך שלם, לכל אינסוף הערכים השונים של הלוגריתם של z כל תוצאות החזקה יתלכדו והתוצאה תהיה יחידה ושווה לערך המצופה מחזקה שלמה של מספר מרוכב. כאשר המעריך הוא מספר רציונלי  \ {\tfrac {n}{m}} (שבר מצומצם) אינסוף תוצאות יתלכדו ותתקבל קבוצה סופית של m ערכים, שהם הפתרונות למשוואה הפולינומית  \ x^{m}=z^{n} (z הבסיס, x הנעלם). כאשר המעריך אי-רציונלי הקבוצה תמנה אינסוף ערכים. החסרון הוא שבגישה זו תוצאת החזקה אינה מספר, אלא קבוצה (לעיתים אינסופית) של מספרים.
גישה שנייה היא לבחור "ענף", קטע בו הלוגריתם הטבעי המרוכב יהיה חד-ערכי. הענף הסטנדרטי הוא המגבלה  \ {\mbox{Im}}\log(z)\in [0,2\pi ) (החלק המדומה של הלוגריתם מוגבל לתחום המצוין). במקרה הזה מתקבל למשל כי  \ (-1)^{i}=e^{i\log(-1)}=e^{i\cdot i\pi }=e^{-\pi }. לעומת זאת אם נבחר את הענף  \ {\mbox{Im}}\log(z)\in [-\pi ,\pi ) נקבל  \ \log(-1)=-i\pi  ולכן  \ (-1)^{i}=e^{\pi }. החסרון בגישה הוא שבחירת הענף שרירותית והחזקה מפסיקה להיות רציפה (בקצות הענף).
חזקה מרוכבת > בסיס מרוכב ומעריך מרוכב > דוגמאות

נחשב את \ (-1)^{\frac {1}{2}}={\sqrt {-1}} :
בגישת קבוצת הערכים:  \ {\tfrac {1}{2}} רציונלי ולכן קבוצת הערכים היא קבוצת פתרונות המשוואה  \ x^{2}=-1, משוואה ריבועית שפתרונותיה הם  \ i ו- \ -i.
בגישת הענף: נבחר את הענף הסטנדרטי. במקרה הזה  \ \log(-1)=i\pi  ונקבל:  \ (-1)^{\frac {1}{2}}=e^{{\frac {1}{2}}\log(-1)}=e^{{\frac {\pi }{2}}i}=i.
נחשב את \ i^{i} :
בגישת קבוצת הערכים: לכל k שלם,  \ e^{{\frac {\pi }{2}}i-2i\pi k}=i (המקדם השלילי של k נועד לשם הנוחות, כיוון ש-k פרמטר שלם התוצאה לא תושפע). לכן ערכי הלוגריתם של i הם מהצורה:  \ \log(i)={\frac {\pi }{2}}i-2i\pi k. לכן:
 \ i^{i}=e^{i\log(i)}=e^{-{\frac {\pi }{2}}+2\pi k}={\frac {e^{2\pi k}}{\sqrt {e^{\pi }}}}, לכל k שלם.
בגישת הענף: נבחר את הענף הסטנדרטי. במקרה הזה  \ \log(i)={\frac {\pi }{2}}i. כלומר k=0, ונקבל:  \ i^{i}={\frac {1}{\sqrt {e^{\pi }}}}=0.2078795\ldots .
מגדל חזקות

ביטוי מהצורה  a_{1}^{{a_{2}}^{.^{.^{.{^{a_{n}}}}}}} (מעלים n מספרים אחד בחזקת השני) נקרא "מגדל חזקות" (סדר החישוב הוא מהחזקה העליונה לתחתונה. כלומר, תחילה מחשבים את הביטוי  {a_{n-1}}^{a_{n}}, לאחר מכן, מחשבים את הביטוי  {a_{n-2}}^{({a_{n-1}}^{a_{n}})}, וכן הלאה). כאשר איברי מגדל חזקות זהים כולם, כלומר מספר a מועלה בחזקת עצמו n פעמים (מספר טבעי) קוראים לפעולה טטרציה (Tetration) ומסמנים אותה  \ ^{n}a, או בסימון החץ של קנות'  \ a\uparrow \uparrow n. טטרציה היא חזקה מקוצרת כפי שחזקה היא כפל מקוצר. לדוגמה:  \ {^{4}2}=2^{2^{2^{2}}}=65,536.
כשם שניתן להגדיר סכום אינסופי ומכפלה אינסופית, ניתן להגדיר גם מגדל חזקות אינסופי. טטרציה אינסופית מוגדרת כגבול:  \ ^{\infty }a=\lim _{n\to \infty }{^{n}a}, כאשר הגבול קיים. נסמן את הגבול ב-x. מתקיים:  \ x=a^{a^{a^{.^{.^{.}}}}}=a^{x}. כלומר הגבול (אם הוא קיים) הוא פתרון של המשוואה  \ {\sqrt[{x}]{x}}=a. אוילר הוכיח כי הגבול מתכנס בתחום  \ {\frac {1}{e^{e}}}\leq a\leq {\sqrt[{e}]{e}} (החסם העליון נובע מהשוויון  \ \max[{\sqrt[{x}]{x}}]={\sqrt[{e}]{e}} שיצוין בהמשך).
מגדל חזקות > דוגמאות

\ ^{3}3=3^{3^{3}}=3^{27}=7,625,597,484,987
\ ^{\infty }{\sqrt {2}} הוא פתרון של המשוואה  \ {\sqrt[{x}]{x}}={\sqrt {2}}, כלומר 2 או 4. במקרה הזה:
 \ ^{\infty }{\sqrt {2}}={\sqrt {2}}^{{\sqrt {2}}^{^{{\sqrt {2}}^{.^{.^{.}}}}}}=2
תכונות אלגבריות

בניגוד לחיבור וכפל, המוגדרים לכל זוג ערכים, החזקה אינה מוגדרת אפילו בין כל שני מספרים ממשיים. מלבד זאת, לחזקה אין את רוב התכונות הבסיסיות השימושיות האופייניות לפעולות בינאריות מוכרות. לכן חזקה אינה הבסיס לאף מבנה אלגברי טיפוסי.
חזקה אינה קיבוצית: לא תמיד  \ a^{(b^{c})}={(a^{b})}^{c}. אפילו הדרישה החלשה יותר  \ a^{(a^{a})}={(a^{a})}^{a} אינה מתקיימת (למשל  \ 3^{(3^{3})}=3^{27}\neq 27^{3}={(3^{3})}^{3}). מקובל כי כאשר לא מוסיפים סוגריים מבצעים קודם את החזקה העליונה:  \ a^{b^{c}}=a^{(b^{c})}.
חזקה אינה חילופית: בדרך כלל  \ a^{b}\neq b^{a} (למשל  \ 1^{2}=1\neq 2=2^{1}).
לחזקה אין איבר יחידה, אולם 1 הוא איבר יחידה ימני ( \ x^{1}=x) ואין איבר יחידה שמאלי.
כלל הצמצום הימני מתקיים לבסיסים אי-שליליים: אם a,b אי-שליליים, c שונה מ-0 ומתקיים  \ a^{c}=b^{c} אז  \ a=b (מעלים את שני האגפים בחזקת ההופכי של c). הכלל אינו מתקיים כשאין הגבלת סימן על הבסיס:  \ (-1)^{2}=1^{2}.
כלל הצמצום השמאלי מתקיים (במספרים ממשיים, כאשר החזקה מוגדרת) לכל בסיס שונה מ--1,0,1: אם  \ c^{a}=c^{b} אז  \ a=b.
חזקה דיסטריבוטיבית משמאל מעל כפל לפי חוקי חזקות. היא אינה דיסטריבוטיבית מימין מעל כפל.
תכונת הספיגה: 0 ו-1 סופגים ערכים משמאל: תמיד מתקיים  \ 1^{a}=1 ותמיד מתקיים  \ 0^{a}=0 (כאשר הביטוי מוגדר, ולמעט אפס בחזקת אפס).
הכללות > חשבון אינפיניטסימלי

חזקה בין סדרות וחזקה בין פונקציות ממשיות מוגדרת בקלות בעזרת החזקה בין מספרים ממשיים. לכל סדרה אי שלילית  \left\{a_{n}\right\} וסדרה  \left\{b_{n}\right\} ( \ b_{n} חיובי כאשר  \ a_{n}=0) קיימת סדרה  \{a_{n}^{b_{n}}\}. חזקה שומרת על התכנסות: אם  \ a_{n}\to a,b_{n}\to b אז מתקיים  \ a_{n}^{b_{n}}\to a^{b}.
חזקה בין פונקציות ממשיות מוגדרת  \ f^{g}(x)=f(x)^{g(x)} לכל x בו שתי הפונקציות מוגדרות והבסיס אי-שלילי (במקרה והבסיס הוא אפס, על המעריך להיות חיובי). חזקה בין פונקציות שומרת על רציפות של f ו-g בנקודה, אבל לא בהכרח שומרת על רציפות במידה שווה בקטע. לדוגמה  \ f(x)=x ו- \ g(x)=2 הן רציפות במידה שווה בכל הישר ואילו  \ f^{g}(x)=x^{2} אינה כזו. אם פונקציית הבסיס ופונקציית המעריך גזירות, אז גם תוצאת החזקה גזירה ומתקיים (לפי כלל השרשרת וכלל לייבניץ):
הכללות > תורת הקבוצות > קבוצות ועוצמות

בתורת הקבוצות הקבוצה  \ A^{B} מוגדרת כקבוצת כל הפונקציות מהקבוצה B אל הקבוצה A. בהתאם, אם  \ |A| ו- \ |B| הן עוצמות, אז מגדירים:  \ |A|^{|B|}=\left|A^{B}\right|. תוצאת פעולת החזקה בין שתי עוצמות אינה תלויה בקבוצות הנציגות A ו-B שנבחרו לשם הצגת העוצמה. אם נבחן את הפעולה ביחס לעוצמות סופיות נקבל כי חזקה בין עוצמות מתלכדת עם חזקה בין מספרים טבעיים (כולל אפס). התלכדות זו מבטאת תוצאה קומבינטורית חשובה: לכל שני מספרים טבעיים n, m מספר הסדרות עם n איברים המורכבות ממספרים בין 1 ל-m (כולל הקצוות וחזרות מותרות) הוא  \ m^{n} (ובשפת הקבוצות: מספר הפונקציות מקבוצה מעוצמה n לקבוצה מעוצמה m הוא mn). למשל מספר הקודים בני שלוש ספרות המורכבים מהספרות 1–5 הוא 53=125. הגדרה זו מכסה גם את המקרה  \ 0^{0}. לפיה תוצאת הפעולה שווה למספר הפונקציות מהקבוצה הריקה לעצמה. יש בדיוק פונקציה אחת כזאת (הפונקציה הריקה), ולכן התוצאה היא 1.
הגדרת החזקה בין עוצמות מאפשרת להתייחס גם לחזקות בין גדלים אינסופיים. לפי משפט קנטור לכל עוצמה  \ |A| מתקיים  \ |A|<2^{|A|} (הקבוצה  \ {\{0,1\}}^{A}, שהיא קבוצת כל הפונקציות המציינות של A, שקולה לקבוצת החזקה של A). זוהי תוצאה טריוויאלית לחזקות סופיות, אולם היא מבחינת חידוש מהפכני לחזקות אינסופיות, ומשמעותה שלכל עוצמה אינסופית יש עוצמה אינסופית גדולה ממנה. בפרט, ניתן להראות כי  \ 2^{\aleph _{0}}=\aleph  (2 בחזקת אָלֶף אֶפֶס שווה לעוצמת הרצף).
חוקי חזקות תקפים גם לחזקות של עוצמות, זאת מלבד החוקים המערבים חילוק, כיוון שפעולה זו אינה מוגדרת לעוצמות. כפל עוצמות מוגדר  \ |A|\cdot |B|=|A\times B| (הכפל באגף הימני הוא מכפלה קרטזית). כיוון שהקבוצה  \ A^{\{1,2,\ldots ,n\}} (הפונקציות מקבוצת המספרים מ-1 ל-n ל-A) שקולה לקבוצה  \ \prod _{k=1}^{n}A (המכפלה הקרטזית של A עם עצמה n פעמים), מתקיים כי חזקת עוצמות היא כפל עוצמות מקוצר, בהתאם לתכונה המוכרת של חזקה. לכן מקובל הסימון  \ A^{n} לסימון המכפלה הקרטזית של A בעצמה n פעמים – היא קבוצת ה-n-יות הסדורות של איברי A (לדוגמה המרחב האוקלידי ה-n ממדי שמסומן  \mathbb {R} ^{n} מורכב ממכפלה של n עותקים של הישר הממשי  \mathbb {R} ).
הכללות > תורת הקבוצות > סודרים

ניסיון להגדיר חזקה בין מספרים סודרים באופן אנלוגי לחזקה בין עוצמות נכשל בשל קיומם של סודרים רבים מאותה עוצמה. עם זאת, ניתן להגדיר חזקה בין סודרים על ידי הכללת החזקה בין מספרים טבעיים. ראשית מגדירים חיבור וכפל סודרים בדומה להגדרתם במערכת פאנו ובהתבסס על הסדר הטוב המוגדר בין הסודרים על ידי הכלה. חיבור בסודר עוקב מוגדר בדיוק כמו במספרים טבעיים ובנוסף מגדירים  \ \alpha +\beta =\sup\{\alpha +\gamma |\gamma <\beta \} המטפל בסודר גבולי (סופרמום של קבוצת סודרים חסומה תמיד קיים כי בשל הסדר הטוב תמיד ישנו סודר מינימלי מבין כל החסמים). כפל מוגדר כשם שהוא מוגדר בטבעיים בתוספת  \ \alpha \cdot \beta =\sup\{\alpha \cdot \gamma |\gamma <\beta \} (בניגוד לאינטואציה, חיבור וכפל סודרים אינם חילופיים). באופן דומה, חזקה בין סודרים מוגדרת באופן רקורסיבי על פי שלוש אקסיומות:
\ \alpha ^{0}=1
\ \alpha ^{\beta +1}=\alpha ^{\beta }\cdot \alpha
\ \alpha ^{\beta }=\sup\{\alpha ^{\gamma }|\gamma <\beta \}
\ \alpha ^{\beta } איזומורפי לקבוצת הפונקציות  \ \beta \to \alpha  שיש להן תומך סופי, אשר מוגדר עליהן הסדר הלקסיקוגרפי כסדר טוב.
הכלל  \ \alpha ^{\beta }\cdot \alpha ^{\gamma }=\alpha ^{\beta +\gamma } והכלל  \ (\alpha ^{\beta })^{\gamma }=\alpha ^{\beta \cdot \gamma } תקפים גם לחזקת סודרים, אך הכלל  \ (\alpha \cdot \beta )^{\gamma }=\alpha ^{\gamma }\cdot \beta ^{\gamma } לא תמיד מתקיים.
אף על פי שחזקת עוצמות וחזקת סודרים מהווים שניהם הכללה לחזקת טבעיים (שניהם מתנהגים ככפל מקוצר כאשר המעריך טבעי), יש ביניהם שוני מהותי. למשל אף על פי שהסודר  \ \omega  שווה לעוצמה  \ \aleph _{0}, חזקת סודרים מקיימת  \ 2^{\omega }=\sup\{2^{n}|n\in \mathbb {N} \}=\omega  בעוד שחזקת עוצמות מקיימת  \ 2^{\aleph _{0}}>\aleph _{0}
הכללות > אלגברה מופשטת

אלגברה מופשטת עוסקת במבנים אלגבריים, שרובם מהווים הכללה או הפשטה של המספרים המוכרים עם פעולת הכפל. חזקה במעריך טבעי היא כתיב מקוצר לכפל, ולכן ניתן להגדירה גם בקבוצות אחרות בהן יש פעולה הדומה לכפל. לכל קבוצה עם פעולה בינארית מגדירים חזקה טבעית בדיוק כשם שהיא מוגדרת לכפל:
יש עניין בחזקה טבעית בעיקר כשהחזקות קיבוציות, כלומר, כל הדרכים להכפיל איבר x בעצמו n פעמים נותנות אותה תוצאה. תכונה זו מובטחת בכל חבורה למחצה, משום שהכפל קיבוצי, אבל היא אפשרית גם במקרים אחרים (ראו אלגברה עם חזקה אסוציאטיבית). במקרים כאלה מתקיימים מספר חוקי חזקות מוכרים:
\ (x^{i}x^{j})x^{k}=x^{i}(x^{j}x^{k})
\ x^{m+n}=x^{m}x^{n}
\ (x^{m})^{n}=x^{mn}
כאשר לחבורה למחצה יש גם איבר יחידה (שנסמן ב-e) היא נקראת מונואיד וניתן להגדיר חזקת אפס בדומה להגדרה של 1 (איבר היחידה הכפלי) כתוצאה של חזקת אפס:
אם גם לכל איבר יש איבר הופכי (המסומן  \ x^{-1}) המבנה נקרא חבורה ואז ניתן להכליל גם לחזקות שלמות. כפי שבמספרים חזקה שלילית הוגדרה כהופכי של חזקה חיובית, כך נעשה בחבורה:
בפרט, הגדרה זו מצדיקה את הסימון  \ x^{-1} לאיבר הופכי.
כאשר בנוסף לכל הפעולה של החבורה גם חילופית, החבורה נקראת חבורה אבלית ומתקיים הכלל המוכר:
בכל חבורה של מספרים עם כפל רגיל החזקה במובן המופשט שלה היא החזקה השלמה המוכרת. אולם החזקה המופשטת יכולה ללבוש צורות רבות נוספות. למשל בחבורה  \ (\mathbb {Z} ,+), שהיא קבוצת המספרים השלמים עם פעולת החיבור הרגילה ביניהם, החזקה המופשטת של החבורה היא פעולת הכפל המוכרת בין מספרים שלמים. זאת משום שכפל הוא חיבור מקוצר כשם שחזקה היא כפל מקוצר.
בתורת החבורות משמש לעיתים הסימון  \ g^{h} כאשר g ו-h איברים בחבורה כסימון לפעולת ההצמדה  \ g^{h}=h^{-1}gh. יש דמיון מסוים בין הצמדה לבין חזקה, למשל מתקיימים הכללים:
אולם מעבר לכך אין לפעולות הרבה במשותף.