ThmDex – An index of mathematical definitions, results, and conjectures.
▼ Set of symbols
▼ Alphabet
▼ Deduction system
▼ Theory
▼ Zermelo-Fraenkel set theory
▼ Set
▼ Binary cartesian set product
▼ Binary relation
▼ Map
▼ Partially ordered map
▼ Ordered map
▼ Path
▼ Real path
▼ Euclidean real path
▼ Complex path
▼ Continuously differentiable complex path
▼ Continuously differentiable complex path integral
Definition D5649
Complex oriented curve integral
Formulation 0
Let $\gamma = [w : [a, b] \to \mathbb{C}]$ be an D5650: Continously differentiable oriented complex curve such that
(i) $f : \gamma \to \mathbb{C}$ is a D5635: Standard-continuous complex function on $\gamma$
The complex oriented curve integral of $f$ along $\gamma$ is the D1207: Complex number \begin{equation} \int_{\gamma} f(z) \, d z : = \int^b_a f(w(t)) w'(t) \, d t \end{equation}