If $E\left(f\right)=\{x:lim\; supf☆{\mu }_j\left(x\right)>lim\; inff☆{\mu }_j\left(x\right)\}$, we examine the type of convergence of $g_k$ to $f$ so that $\left|E\right(g_k\left)\right|\le M$, $k=1,2,\cdots$, implies $\left|E\right(f\left)\right|\le M$.

Let $\Lambda \subset {ℝ}^n\times {ℝ}^m$ and $k$ be a positive integer. Let $f:{ℝ}^n\to {ℝ}^m$ be a locally bounded map such that for each $(\xi ,\eta )\in \Lambda$, the derivatives $D_{\xi }^{j}f\left(x\right):=\frac{d^j}{d{t}^j}f(x+t\xi ){|}_{t=0}$, $j=1,2,\cdots k$, exist and are continuous. In order to conclude that any such map $f$ is necessarily of class $C^k$ it is necessary and sufficient that $\Lambda$ be not contained in the zero-set of a nonzero homogenous polynomial $\Phi (\xi ,\eta )$ which is linear in $\eta =({\eta }_1,{\eta }_2,\cdots ,{\eta }_m)$ and homogeneous of degree $k$ in $\xi =({\xi }_1,{\xi }_2,\cdots ,{\xi }_n)$. This generalizes a result of J. Boman for the case $k=1$. The statement and the proof of a theorem of Boman for the case $k=\infty$ is...