過去スレ014の819は複素数体上でも同様に成り立つ：

命題(微積分の基本定理)
K を実数体または複素数体とする。
F を K 上のBanach空間とする。

f: [a, b] → F を連続写像とする。

t ∈ (a, b) のとき g(t) = ∫[a, t] f(x) dx とおく。

ここで、dx は R のLebesgue測度(過去スレ009の710)であり、
∫[a, t] f(x) dx は過去スレ008の356で定義されたものである。

このとき、g’(t) = f(t) である。

証明
t ∈ (a, b) のとき
|g(t + h) - g(t) - f(t)h| = |∫[t, t + h] (f(x) - f(t))dx|
≦ M(h)|h|

ここで、M(h) = sup {|f(x) - f(t)| ; x ∈ [t, t + h]}

h → 0 のとき、M(h) → 0 であるから、
g’(t) = f(t) である。
証明終