Intereting Posts

What axioms does ZF have, exactly?
How do I show that $f: [0,1) \to S^1$, $f(t) = (\cos(2\pi t), \sin(2\pi t))$ is not a homeomorphism?
Prove that $N(\gamma) = 1$ if, and only if, $\gamma$ is a unit in the ring $\mathbb{Z}$
EigenValues and EigenVectors in PCA?
$ |G_1 |$ and $|G_2 | $ are coprime. Show that $K = H_1 \times H_2$
Another (non-homological) proof of the invariance of dimension
Spherical coordinates for sphere with centre $\neq 0$
Ordinals definable over $L_\kappa$
Is it possible to use mathematical induction to prove a statement concerning all real numbers, not necessarily just the integers?
Does the series $\sum \sin^{(n)}(1)$ converge, where $\sin^{(n)}$ denotes the $n$-fold composition of $\sin$?
Does a polynomial that's bounded below have a global minimum?
Discrete Math – Hasse Diagrams
The integral of a closed form along a closed curve is proportional to its winding number
Nilpotency of the Jacobson radical of an Artinian ring without Axiom of Choice
Linear independence of function vectors and Wronskians

let $U$ be an open set of $\mathbb{R}^n$, that contains at least some open set.

In Evans book we find the definition

$$C^k(\overline U)=\{f \in C^k(U): D^\alpha f \text{ is uniformly continuous on bounded subsets of} U, \text{ for all }|\alpha|\leq k \}$$

- Is it possible for a function to be in $L^p$ for only one $p$?
- Example of a compact set that isn't the spectrum of an operator
- Why isometric isomorphic between Banach spaces means we can identify them?
- Dual space of the space of finite measures
- Is $X^\ast$ is weak* separable equivalent to $B_{X^\ast}$ is weak* separable?
- Are these two Banach spaces isometrically isomorphic?

it is easy to show that this is equivalent to

$$ C^k(\overline U) = \{f\in C^k(U)| D^\alpha f \text{ can be extended continuously on } \overline U, \text{ for all } \}$$

In differential geometry the definition

$$ C^k(\overline U) = \{f|_{\overline U} \colon \exists O\supset \overline U \text{ such that } f\in C^k(O)\}$$

Is it obvious that the first two definitions are equivalent to the last one?

Edit: Or was this identity first shown in Whitney’s extension theorem?

Edit 2:

Conisdering Guiseppe Negro’s comment: Since the last definition is used in differential geometry, is it true that those definitions are equivalent when the set $\overline U$ is a manifold or manifold with boundary?

- Counterexample for the stability of orthogonal projections
- $\frac{d\Phi^{-1}(y)}{dy} = \frac{1}{\frac{d}{dy}}$?
- Distance from a weak* closed subspace is achieved by an element?
- $f$ not differentiable at $(0,0)$ but all directional derivatives exist
- determine whether $f(x, y) = \frac{xy^3}{x^2 + y^4}$ is differentiable at $(0, 0)$.
- A convergence problem in Banach spaces related to ergodic theory
- Be $f:\;(a,b)\rightarrow\mathbb{R}$ a continuous function. Suppose $c\in(a,b)$ …
- Derivative of the power tower
- Product rule for scalar-vector product
- Prob. 15, Chap. 5 in Baby Rudin: Prove that $M_1^2\leq M_0M_2$, where $M_0$, $M_1$, and $M_2$ are the lubs, resp., of …

- How many digits does $2^{1000}$ contain?
- Why study Algebraic Geometry?
- Probability/Combinatorics Question
- Krull dimension on localization
- Cantor set as a set of continued fractions?
- Is it necessary that every function is a derivative of some function?
- What do we call well-founded posets whose elements have a unique height?
- Locally Compact Hausdorff Space That is Not Normal
- $\prod_{k=1}^\infty \cos(x2^{-k})$
- Why $\zeta (1/2)=-1.4603545088…$?
- $f(x^2) = 2f(x)$ and $f(x)$ continuous
- Using Taylor expansion to find $\lim_{x \rightarrow 0} \frac{\exp(2x)-\ln(1-x)-\sin(x)}{\cos(x)-1}$
- Find the number of permutations in $S_n$ containing fixed elements in one cycle
- How to prove floor identities?
- Combinatorics – How many numbers between 1 and 10000 are not squared or cubed?