積分(読み)セキブン(英語表記)integral

翻訳|integral

デジタル大辞泉 「積分」の意味・読み・例文・類語

せき‐ぶん【積分】

[名](スル)
与えられた関数について、微分してこの関数になるすべての関数。また、それを求めること。不定積分
ある関数で表される曲線とx座標軸に挟まれた部分を、一定区間に区切ってその面積を極限値として求めること。またその極限値を定積分という。このとき、x軸より上部の面積を正、下部を負として定義する。微分してfx)になる関数、すなわちfx)の不定積分をFx)とすると、積分記号∫を用いて、Fx)=∫fxdxと関係づけられる。区間[a,b]における定積分の値Fは、関数Fx)にxabの値を代入して、その差をとることで得られる。すなわちFFb)-Fa)で求められる。
[補説]これら積分と微分が互いに逆の演算であるという関係性は微分積分学の基本定理とよばれ、17世紀後半にニュートンライプニッツによって独立して導かれ、やがて解析学という数学の一大分野に発展した。ある現象を特徴づける数量の変化を表す関数があり、それを積分した関数が得られれば、変化の積み重ねによって起こりうる現象を予測したり、数量を見積もったりすることができる。このように、積分は微分とともに、現代においてさまざまな現象を数学的に記述するための重要な手法となっている。

出典 小学館デジタル大辞泉について 情報 | 凡例

精選版 日本国語大辞典 「積分」の意味・読み・例文・類語

せき‐ぶん【積分】

  1. 〘 名詞 〙
  2. せきぶんがく(積分学)」の略。
    1. [初出の実例]「諸術学校の科目左の如し。〈略〉四 微分積分」(出典:和蘭学制(1869)〈内田正雄訳〉中学条例)
  3. ( ━する ) 原始関数。また、それを求めること。
    1. [初出の実例]「若し中心から不断に供給が続けられて居れば、此れを時間tに対して積分する事になるであらう」(出典:比較言語学に於ける統計的研究法の可能性に就て(1928)〈寺田寅彦〉)
  4. ( ━する ) 定積分。また、それを求めること。

出典 精選版 日本国語大辞典精選版 日本国語大辞典について 情報 | 凡例

改訂新版 世界大百科事典 「積分」の意味・わかりやすい解説

積分 (せきぶん)
integral

円や放物線と直線で囲まれた平面図形の面積を求めることは,ギリシア時代から知られていたが,これらをもっと一般に,系統的に扱うのが積分法であって,その中心的概念が積分である。積分法は微分法とともに17世紀にI.ニュートンとG.W.ライプニッツによって発見された。積分は,曲線で囲まれた平面の部分の面積や,曲線の長さ,関数の平均値などの計算に用いられるばかりでなく,種々の物理量を定義し,計算するにも重要である。また積分法は微分法とともに自然科学,工学にも大きな影響を与えている。積分の考えは1変数の関数から一般に多変数の関数や複素変数の関数に拡張され,関数の大域的な性質を調べるのにも有用である。

 積分演算は,微分演算の逆演算と密接に関連する。以下,本項ではまず面積を求める方法としての積分の定義を与え,微分演算との関係を述べ,積分の性質や計算法およびその関連事項などを述べる。

axbなるxの範囲(これを区間[ab]という)で与えられた関数fx)があるとき,この区間を,

 ax0x1x2<……<xn-1xnb

なる分点xjn個の小区間に分け,それぞれの小区間[xj-1xj](j=1,……,n)の長さxjxj-1に,その区間内の任意の点ξjにおける関数値f(ξj)を掛けて加えた和,

 f(ξ1)(x1x0)+f(ξ2)(x2x1)+……+f(ξn)(xnxn-1) ……(1) 

を考える。どの小区間の長さも限りなく小さくなるように分点の数を限りなく増していくとき,この和が,分点やξjのとり方に無関係な一定の値Sに限りなく近づくならば,と書いて,この値をfx)のaからbまでの定積分,または単に積分といい,このときfx)は区間[ab]において積分可能であるという。

 また,区間[ab]をその積分区間といい,abをそれぞれ積分区間の下端,上端という。

 関数fx)が区間[ab]で連続ならば,fx)はこの区間で定積分をもつ,すなわち積分可能であることが証明されている。ただし,fx)が[ab]で連続とは,素朴な概念で説明するならば,この区間でyfx)のグラフが一つの連続した(切れめのない)曲線になることである。とくに,区間[ab]においてfx)≧0ならば,この定積分の値はyfx)のグラフとx軸および直線xaxbで囲まれた部分の面積に等しい(図1)。いまyfx)のグラフと,x軸および直線xx1xx2で囲まれた部分の面積をSfx1x2)と書くことにする。ただしx1x2とし,x1x2のときにはSfx1x2)=0とする。Sfab)は上に述べた定積分の値Sに等しい(図2)。axbなるxに対してφx)=Sfax)とおくと,axbのとき,xxhbとなるh>0に対してφxh)-φx)=Sfxxh)である。fxにおいて連続であるから,h→0のときfxh)→fx)。よって,fの[xxh]における最大値,最小値をそれぞれMh),mh)とすると,xtxhのときmh)≦ft)≦Mh)であって,h→0のときmh)→fx),Mh)→fx)となる。このとき,Sfxxh)は図3の二つの長方形ABDC,ABFEの面積にはさまれて,hmh)≦Sfxxh)≦hMh)。正数hで割ってh→0とすると両端辺がfx)に近づくから{φxh)-φx)}/hfx)となる。h<0のときも同様に考えられる。xaあるいはxbでは,それぞれh>0,h<0の場合だけを考えることにする。以上により区間[ab]でφ′(x)=fx)となることがわかる。fが[ab]で定義された一般の(f≧0と限らない)連続関数のときは,gx)=fx)+c≧0となるような定数c≧0をとり,gを今までのfと考えると,φ′(x)=gx)=fx)+cとなる関数φがある。よってFx)=φx)-cxとおけば,F′(x)=fx)となる。このように,与えられた区間で連続な任意の関数fに対して,それを導関数とする関数Fが存在する。この関数Fをもとの関数fの原始関数という。このときFに定数を加えても同じfの原始関数であるが,逆にfの任意の原始関数Gに対して(GF)′=ff=0となるから,GFはある定数Cに等しい。すなわちGx)=Fx)+C。この形の関数を関数fの不定積分といい,記号で表す。すなわち,F′(x)=fx)のとき,

このときf被積分関数x積分変数,Cを積分定数という。また,関数fからその不定積分を求めることを,fx)を積分するという。なお,不定積分という言葉は原始関数と同意義に用いられることもある。ここで,もとのf≧0なる連続関数fの場合に面積SSfab)を求める問題を再考しよう。fの一つの原始関数Fを知れば,

 Sfax)=Fx)+C (Cは定数)

だから,xbxaとおいて,

 Sfab)=Fb)+C

 0=Sfaa)=Fa)+C

したがってSfab)=Fb)-Fa)となる。Sfab)は前述の定積分の値だから,

この式はf≧0という仮定がなくても成り立つことが次のようにしてわかる。前のようにgx)=fx)+C≧0となるような定数C≧0をとり,fgで置き換えると,Fφx)=Fx)+cxで置き換えられ,(2)は,

となる。ところが,定積分が(1)の形の和の極限として定義されていることにより,

 (3)の左辺=

         =

となるから,(3)の両辺からcba)を引くことにより,(2)の形の式が(f≧0の仮定なしに)得られたことになる。関数fの原始関数は定数の差を除いて定まるから,(2)の右辺の値は,fの原始関数Fの選び方に関係しないことに注意しなければならない。(2)を微分積分法の基本定理という。

与えられた関数の不定積分を求めることを,その関数を積分するという。そのために,すでに知られている関数の組合せで計算する方法が積分法であって,微分法の逆演算にあたる。

 微積分学でおもな対象とする関数は,いわゆる初等関数,すなわち代数関数,指数関数,対数関数,三角関数,逆三角関数およびそれらの合成関数を作る操作を有限回行って得られる関数である。初等関数を微分すると必ず初等関数になるが,初等関数を積分すると必ずしも初等関数にならないので,初等関数の範囲で積分法がいつでもできるとは限らない。例えば,のような簡単な初等関数でも,その原始関数は初等関数でないことが証明される。不定積分を計算するには,いくつかの簡単な関数の不定積分を知って,もっと複雑な関数の積分をこれに帰着させる。その変形には次の基本公式が用いられる。ただし不定積分を含む等式は,定数の差を除いて成り立つのである。

(1)線形性 α,βを定数とするとき,

(2)部分積分法 ff′,gg′が連続ならば,

(3)置換積分法

においてxφt)(ただし,φの値域はfの定義域に含まれ,φ′は連続とする)とおくと,

とくにφが狭義単調ならば,連続な逆関数φ1定まり,上の式の右辺を計算してからtφ1x)を代入して,fx)の原始関数Fx)が求められる。

 次に初等関数の不定積分を与える公式のおもなものを表に列挙する。

 有理関数を積分するには,有理関数を整式と既約真分数式の和で表し,分数式の分母を一次式と二次式の因数に分けて部分分数に分解すると,初等関数の範囲で積分できる。

定積分の定義から次の各性質が導かれる。

(1)線形性 α,βを定数とすると,

(2)単調性 fx)≧gx)ならば,

(3)区間に関する加法性 acbならば,

(4)積分の平均値の定理 fが区間[ab]で連続ならば,

となるξが存在する。

 区間に関する加法性(3)がabcの大きさの順に関係なく成り立つようにするため,baのときの積分,を次のように定める。


こうすると,(3)はabcの大きさの順に関係なく成立するが,(2)はbaのときには不等号の向きが反対になる。

 不定積分の部分積分法,置換積分法と(2)とから,定積分の部分積分法,置換積分法が導かれる。

(5)部分積分法 ff′,gg′が閉区間ab]において連続ならば,

ただし,一般にFb)-Fa)を表す。

(6)置換積分法 区間[α,β]でφt)が単調,φ′(t)が連続であって,tがαからβまで動くとき,xφt)がaからbまで変化するならば,

 fx)が有限閉区間でない区間において連続である場合にも,その区間における定積分を有限閉区間における定積分の極限として定義することができる。例えばfaxbで連続な場合には,ab′<bなるb′をとりb′→bとするとき極限値,が存在するならば,その値を,と定める。区間axb,あるいはaxbにおける積分も同様にして定義する。例えば,0<α<1のとき,

また,無限区間ax<∞における積分は,ab<∞なるbをとってb→∞としたときの極限値,が存在するとき,その値を,と定義する。他の形の無限区間の場合もこれにならって定義する。例えば,α>1のとき,

このように積分の定義を拡張しても,線形性,単調性,区間に関する加法性などはすべて成立する。区間内に関数fの有限個の不連続点がある場合には,それらの不連続点で初めの区間を有限個の小区間に分け,それぞれの小区間のうえで上のように積分を定めて加えればよい。

 与えられた関数が連続な区間では,その原始関数がわかれば(2)によって定積分が計算されるから,定積分の計算は不定積分の計算に帰着されるが,不定積分が求められなくても,特別な区間の定積分が計算できる場合がある。例えば,などは代表的なものである。

2変数の関数の積分の定義を述べるが,一般の多変数の場合も同様である。xy平面上の有界集合Eで定義された関数fxy)があるとき,Eを含む長方形Kaxbcydをとり,

 ax0x1x2<……<xmb

 cy0y1y2<……<ynd

なる分点xiyjにより,Kmn個の小さい長方形Kijxi-1xxiyj-1yyjに分割する。また(xy)∈KEに対しては,fxy)=0として関数fの定義域をKまで拡張しておく。各Kijの中に任意の点(ξij,ηij)をとり,1変数の場合の(1)と同様に,

を考える。xixi-1yjyj-1の最大値が0に近づくように分点を増していくとき,(4)の値が分点xiyjや点(ξij,ηij)のとり方に無関係な一定の値Sに限りなく近づくならば,と書いて,これを関数fEにおける二重積分,または単に積分という。これに対して,前に述べた1変数の積分を単積分と呼ぶことがある。上のような極限値Sの存在およびその値は,Eを含む長方形Kのとり方には関係しない。とくにfxy)≡1として上の積分が定まるとき,Eは面積確定であるといい,その値をEの面積という。例えば,有限個のなめらかな曲線(xφt),yψt),atbと表したときに,φ′(t),ψ′(t)が連続であるような曲線)で囲まれた図形は面積確定である。また,区間axbφx),ψx)が連続であってφx)≦ψx)なるとき,

 axbφx)≦yψx) ……(5) 

で定義される図形Eは面積確定である。面積確定の閉集合Eで連続な関数fxy)に対しては,Eにおける積分が存在する。なお,2変数(一般に多変数)の関数の積分を簡単に,のように書くこともある。連続関数の二重積分の計算は単積分の計算に帰着される。例えば,(5)で定義される図形Efxy)が連続ならば,まず,xの連続関数となり,が成り立つ。この右辺を次のようにも書く。

3変数の関数の積分(三重積分),一般に多変数の関数の積分(多重積分)についても,以上と同様のことがいえる。例えば三重積分の場合,(6)に相当する事実は,axbφ1x)≦yφ2x),ψ1xy)≦zψ2xy)で定義される三次元の点集合Eにおいて,fxyz)が連続ならば,

単積分の場合の置換積分法に相当するものとして,重積分の場合には次の変数変換の公式がある。xφuv),yψuv)により,uv平面上の点集合Bからxy平面上の点集合Aへの1対1の写像が与えられていて,φψuvに関して連続偏微分可能とする。このとき,

とすると,ABのうち一方が面積確定なら他方も面積確定で,

(7)の行列式を関数行列式,またはヤコビの行列式(ヤコビアンJacobian)という。とくに,xr cosθ,yr sinθ(二次元の極座標)とすると,であるから,

 三次元の場合にはxφuvw),yψuvw),z=χ(uvw)について上と同様な仮定のもとに,関数行列式,

を用いて(8)と同様な公式を書くことができる。とくにxrsinθcosφyrsinθsinφzrcosθ(三次元の極座標)の場合は,となるから,(9)と同様な次の公式を得る。


区分求積法 →積分論 →線積分 →体積分 →面積分 →リーマン積分 →ルベーグ積分
執筆者:


出典 株式会社平凡社「改訂新版 世界大百科事典」改訂新版 世界大百科事典について 情報

百科事典マイペディア 「積分」の意味・わかりやすい解説

積分【せきぶん】

不定積分または定積分を単に積分ともいい,これらを求めることを積分するという。〔不定積分〕 導関数F′(x)がf(x)に等しい関数F(x)をf(x)の不定積分または原始関数といい,∫f(x)dxで表す。f(x)がxの連続関数ならその不定積分は必ず存在し,加える定数だけを除いて一意的にきまる。〔定積分〕 区間[a,b]で有界な関数f(x)に対し,[a,b]を分点x(/0)(=a)<x1<x2<…<x(/n)(/-)1<x(/n)(=b)によってn個の小区間[x(/i)(/-)1,x(/i)](i=1,2,…,n)に分け,[x(/i)(/-)1,x(/i)]内にそれぞれ任意の点ξ(/i)をとって,和(式1)を作る。n→∞,(x(/i)−x(/i)(/-)1)→0としたときS(/n)が一定の数Iに収束するならば,f(x)は[a,b]で(リーマン)積分可能であるといい,(式2)と書いてこれをf(x)の[a,b]における定積分という。f(x)が連続なら積分可能で,積分の上端を変数にとった(式3)はf(x)の不定積分であり,(式4)の関係がある。→微分積分方程式ルベーグ積分
→関連項目求積法原始関数微分積分学

出典 株式会社平凡社百科事典マイペディアについて 情報

ブリタニカ国際大百科事典 小項目事典 「積分」の意味・わかりやすい解説

積分
せきぶん
integral

x の定義域を axbx の関数を f(x) とするとき,f(x)=dF(x)/dx を満たす関数 F(x) が存在すれば,F(x) を f(x) の不定積分あるいは原始関数といい,F(x)=∫f(x)dx と書く。記号 ∫ を積分記号といい,この F(x) を求めることを積分するという。また区間 [ab] で定義された x の関数 f(x) のリーマン和 Sn が一定の有界な極限値に近づくとき,この極限値を と書き,これを [ab] における定積分あるいは単に積分といい,これを求めることを積分するという。与えられた関数の不定積分あるいは定積分を求めるための算法を積分法といい,積分法およびこれに関連した理論や応用を研究する数学の分科を積分学という。また,微分方程式を解くことを,積分するといったり,その解を積分といったりすることもある。

出典 ブリタニカ国際大百科事典 小項目事典ブリタニカ国際大百科事典 小項目事典について 情報

世界大百科事典(旧版)内の積分の言及

【数学記号】より

…一方では記号のよしあしが数学の進歩に深いかかわりのあることも知られている。微積分学において,I.ニュートンの記号を守り続けたイギリスを,G.W.F.ライプニッツの記号を使ったヨーロッパ大陸が凌駕(りようが)してしまったのは有名な例である。
[四則の記号]
 +,-,×,÷は15世紀から17世紀にかけてくふうされ使われるようになった。…

※「積分」について言及している用語解説の一部を掲載しています。

出典|株式会社平凡社「世界大百科事典(旧版)」