Class C^k map

A map with continuous partial derivatives up to order k.
Class C^k map

A class CkC^k map is a F:URmF:U\to\mathbb{R}^m defined on an open set URnU\subseteq\mathbb{R}^n such that all partial derivatives of FF of total order at most kk exist on UU and are continuous on UU (with order 00 meaning FF itself).

When k=1k=1, this is the standard “continuously differentiable” hypothesis in multivariable calculus: the derivative is encoded by the , and C1C^1 regularity is closely aligned with having a continuous . Higher regularity interacts with mixed derivatives via results like the .

Examples:

  • The map F(x,y)=(x2+y,  xy)F(x,y)=(x^2+y,\;xy) is class CC^\infty on R2\mathbb{R}^2.
  • The map F(x,y)=(x,  y)F(x,y)=(|x|,\;y) is class C0C^0 on R2\mathbb{R}^2 but not class C1C^1 along the line x=0x=0.