Een weg is een stuksgewijs C 1 \mathcal C^1 C 1 γ : [ a , b ] → C \gamma \colon \intcc ab \to \C γ : [ a , b ] → C gesloten als γ ( a ) = γ ( b ) \gamma(a) = \gamma(b) γ ( a ) = γ ( b ) continue f f f γ \gamma γ
∫ γ f ( z ) d z = ∫ a b f ( γ ( t ) ) γ ′ ( t ) d t , ∣ ∫ γ f d z ∣ ≤ sup γ ∣ f ∣ ⋅ length ( γ ) \int_\gamma f(z)\,\dd z =
\int_a^b f(\gamma(t))\,\gamma'(t)\,\dd t,
\qquad
\Bigl|\int_\gamma f\,\dd z\Bigr| \leq
\sup_{\gamma}\abs f\cdot\operatorname{length}(\gamma) ∫ γ f ( z ) d z = ∫ a b f ( γ ( t )) γ ′ ( t ) d t , ∫ γ f d z ≤ γ sup ∣ f ∣ ⋅ length ( γ ) (de ML-ongelijkheid ; de lengte is ∫ a b ∣ γ ′ ∣ \int_a^b
\abs{\gamma'} ∫ a b ∣ γ ′ ∣ C 1 \mathcal C^1 C 1
Coach