Skip to main content
1 of 3
Post Made Community Wiki
Peter Michor
  • 25.3k
  • 2
  • 64
  • 112
  1. $f:\mathbb R^2\to \mathbb R$ is $C^\infty$.

  2. $f:\mathbb R^2\to \mathbb R$ is $C^\infty$ along each $C^\infty$-curve $c:\mathbb R\to \mathbb R^2$; i.e., $f\circ c$ is $C^\infty$ for each such $c$.

Equivalence was proved only in 1979 by Jan Boman.

Peter Michor
  • 25.3k
  • 2
  • 64
  • 112