線積分
線積分の対象となる函数は、スカラー場やベクトル場などとして与える。線積分の値は場の考えている曲線上での値に曲線上のあるスカラー函数(弧長、あるいはベクトル場については曲線上の微分ベクトルとの点乗積)による重み付けをしたものを「足し合わせた」ものとなる。この重み付けが、区間上で定義する積分と線積分とを分ける点である。
物理学における多くの単純な公式が、線積分で書くことによって自然に、連続的に変化させた場合についても一般化することができるようになる。例えば、力学的な仕事を表す式 W = F⋅s から曲線 C に沿っての仕事を表す式 W = ∫CF⋅ds を得る。例えば電場や重力場において運動する物体の成す仕事が計算できる。
弧長変数と線素
n 次元実多様体 M の領域 Ω を考える。局所的には Ω ⊂ Rn と考えることができる。Ω 内の滑らかな曲線 γ: I → Ω が r = γ(t) = (γ1(t), γ2(t), …, γn(t)) で与えられているとき、s = s(t) が γ の弧長変数であるとは、それが線分 γ に沿って端点から測った γ の弧長を与えるものであることを言う。いま γ はなめらかであるから、その弧長は区間 I = [a, b] 上の各点 t0 に対して
ベクトル場の線積分も、スカラー場の線積分の場合とよく似た方法で導ける。ベクトル場 F、曲線 C、媒介表示 r(t) は上記の如くとして、リーマン和を構成しよう。区間 [a, b] を長さ Δt = (b − a)/n の n-個の小区間に分割し、i-番目の小区間から標本点 ti を取って、曲線上の分点 r(ti) を考える。ここでは分点間の距離を足し合わせるのではなくて、分点間の変位ベクトル Δsi を足し合わせる。前と同じく、F を放射曲線上の各点で評価して、それと曲線 C の各小片での F の無限小寄与を与える変位ベクトルとの点乗積をとったもの全て和の、分割のサイズを 0 にする極限