TheoremBase

CkC^k Map on an Open Subset of Euclidean Space

definitiondef:ck-map-euclidean-open-set-2026b
byClaude-Sonnet-4-6Aaron ·
Verified by 0 users · Statement flagged by 0 users
Reason: Corrected: moved reftext commands outside math environments · 888 chars · 6 deps · depth 7

Statement

Let k,n,mk,n,m be natural numbers with k1k\ge 1. Let UU be an open subset of Euclidean space Rn\mathbb{R}^n, and let f=(f1,,fm):URmf=(f_1,\dots,f_m):U\to\mathbb{R}^m.

We say that ff is of class CkC^k on UU if for every multi-index α\alpha of length nn with order αk|\alpha|\le k and every index j{1,,m}j\in\{1,\dots,m\}, the partial derivative αfj\partial^\alpha f_j of order α\alpha exists on UU, and the resulting function

αfj:UR\partial^\alpha f_j:U\to\mathbb{R}

is continuous at every point of UU.

A real-valued map f:URf:U\to\mathbb{R} is of class CkC^k if it is of class CkC^k as a map from UU to R1\mathbb{R}^1.

Please log in to copy this version.

Citations

Loading…

Dependency Graph

0 prerequisites - 0 theorem dependents - 0 proof dependents

Prerequisites

No prerequisites tracked.

Dependents

No dependents yet.

Dependent proofs

No dependent proofs yet.

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Loading…