定義
K を実数体または複素数体とする。
F を K 上のBanach空間(過去スレ008の550)とする。
U ⊂ F を開集合とする。
[a, b] を実数体の有限閉区間とする。
[a, b] から U への区分的に C^1 級の写像(>>326)のことを
U における区分的に C^1 級のパラメータ付き曲線という。