New Immissions/Updates:
boundless - educate - edutalab - empatico - es-ebooks - es16 - fr16 - fsfiles - hesperian - solidaria - wikipediaforschools
- wikipediaforschoolses - wikipediaforschoolsfr - wikipediaforschoolspt - worldmap -

See also: Liber Liber - Libro Parlato - Liber Musica  - Manuzio -  Liber Liber ISO Files - Alphabetical Order - Multivolume ZIP Complete Archive - PDF Files - OGG Music Files -

PROJECT GUTENBERG HTML: Volume I - Volume II - Volume III - Volume IV - Volume V - Volume VI - Volume VII - Volume VIII - Volume IX

Ascolta ""Volevo solo fare un audiolibro"" su Spreaker.
CLASSICISTRANIERI HOME PAGE - YOUTUBE CHANNEL
Privacy Policy Cookie Policy Terms and Conditions
冪乗 - Wikipedia

冪乗

出典: フリー百科事典『ウィキペディア(Wikipedia)』

(べき、power, exponentiation)あるいは冪乗(べきじょう)、累乗(るいじょう) とは、ある一つの数同士を繰り返し掛け合わせるという操作のこと、あるいはそれによって得られる数のことである。

なお、「冪」 の文字はもともと 「覆う、覆うもの」 という意味の漢字で、しばしば略字として巾を用いることもある(江戸時代の和算家が用いたものであるらしい)。常用漢字当用漢字に含まれなかったことから1950年代以降、出版物などではかな書きあるいは「累乗」への書き換えが進められた。結果として初等数学の教科書では専ら「累乗」が用いられ、「冪」や「冪乗」という言葉は排除されたが、一方で「降べきの順」「昇べきの順」というような言葉の一部としては残ったままになっている。

目次

[編集] 定義

実数など、積の定義された集合 X の元 x自然数 n に対し、X の新たな元 xnxn 回掛け合わせものと定義して、これを xn 乗と呼ぶ。冪乗 xn に対して、x(てい、base、基数)と呼ばれ、n冪指数または単に指数(しすう、exponent)と呼ばれる。また、底 x を固定し、冪指数 n を任意の自然数にわたり動かすときに得られる数を総称して、x を底とする冪乗あるいは単に、x の冪と呼ぶ。

冪乗は以下のように帰納的に定めることも可能である:

  1. x1 = x,
  2. xn+1 = xn × x.

集合と写像の言葉で言えば、N を自然数全体の成す集合としたとき、冪乗とは写像

N × XX; (n, x) → xn

のことである。このとき、指数 n を固定して、x を変数とする写像 XX; xxn を考えることができる。このような関数を総称して(X 上の)冪写像あるいは冪関数と呼ぶ。あるいは底 x を固定して N から X への写像 nxn も考えられる。これは後述するような指数の拡張に伴い定義域を拡張できる場合がある。

x の 2 乗、3 乗は特に、それぞれ x平方(へいほう、square)、立方(りっぽう、cube)と呼ぶ。この呼び名自体はそれぞれ、方形(四角形)、立方体の方、立方と同じものである。2 乗を自乗ということもある。

[編集] 指数の拡張と指数法則

x逆元 x-1 を持つならば、自然数 n に対し、

x-n = (x-1)n

と定義してやることで、x を底とする冪乗の指数を整数の範囲まで拡張することができる。 同様に、自然数 m に対し、xm 乗根すなわち m 乗して x になるような数 y をただ一つ持つならば、そのような yx1/m とし、自然数あるいは整数 n に対し

xn/m = (x1/m)n

と定めることにより、x を底とする冪乗の指数を有理数の範囲まで拡張することができる。 このとき、指数法則と呼ばれる以下の関係式が成り立つ。

  • xr+s = xr × xs
  • xr×s = (xr)s

ただし、rs は冪乗の定義できる範囲の有理数であるものとする。つまり、x が逆元を持たないなら自然数、逆元は持つが冪根を持たないなら整数、m 乗根を持つが逆元を持たないならば m を分母とする正の有理数、逆元も m 乗根も持つならば m を分母とする有理数である。また、xy が積 × について可換であれば

  • (x × y)r = xr × yr

が各項がきちんと定義されるような有理数 r に対して成り立つ。これも指数法則と呼ばれることがある。

なお考えている集合が、単位元を持つ・積が可換な構造を持つならば、その和 + について、指数が自然数 n であるような冪

(x + y)n

二項定理に従う。

[編集] 指数関数

上で述べたことを x が実数の範囲で考えてみると、x が 0 でないならば 1/xx の逆元であるから、

x-n = (1/x)n = 1/xn

また、x が正の数であれば任意の自然数 m に対する正の m 乗根 mx がただ一つだけ存在するから、任意の有理数 n/m に対し

x^{n/m} = (\sqrt[m]{x})^n = \sqrt[m]{x^n}

となる。

さて、a が正の実数であれば、a を底とする冪乗の指数が有理数の範囲全体で定義されたのであるが、このとき a の冪乗はその指数に関して単調性をもつので、実数全体の集合 R における有理数の稠密性から、これは R 上で定義された連続関数に一意的に拡張される。これを a を底とする指数関数と呼ぶ。

[編集] 効率的演算法

近年、RSA暗号確率的素数判定法であるフェルマーテスト等によって、指数として巨大な自然数を扱うことが多くなった。ここではバイナリー法とも呼ばれる対数の性質を利用した(というほど大げさではないが)効率的な冪乗の演算方法を紹介する。

バイナリー法では、以下の三つの性質を利用する。

a0 = 1
a^{2x} = \left( a^x \right)^2
a^{x+1} = a^x \cdot a

指数nを二進記数法で表現すれば、最初は1から始めて、上位桁から順に処理して1ならa倍し0ならそのまま、より下位の桁があるなら自乗することを繰り返していくことを示している。無論、最上位桁は必ず1になるので、aから始めて最上位桁の次の桁から始める、でも同じことである。

この方法を使うと、指数となる自然数が如何に巨大であっても高々そのビット数の二倍以下の回数の乗算で算出することが可能になり、大幅に効率化される。

[編集] 関連項目

Static Wikipedia (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -

Static Wikipedia 2007 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -

Static Wikipedia 2006 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu

Static Wikipedia February 2008 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu