# Topological Properties of Non-Smooth Functions [closed]

I am interested to know what topological properties are possessed by non-smooth functions. I suspect this is well known, but I can't find what I am looking for from google.

Is there a topological "definition" of non-smooth functions (something elegant like the open set def of continuous functions) ?

My motivation involves the Naiver-Stokes millennium problem.

My intuition tells me that the highest derivative of a non-smooth function should be a non-differentiable continuous function, and furthermore that the non-differentiability is reflected in some form of scaling "symmetry", actually I suspect there is a broken scaling symmetry (i.e. the non-smooth solutions of N-S violate the scaling symmetry of the N-S equations, while still maintaining some sort of correlation across length scales)

The basic idea would be to show that the broken scale symmetry of the solutions of N-S have a topological property which forces them to be non-smooth. I'm certain this approach has massive issue's that need to be resolved, and that it has been thought of before since it's kind of obvious. Does anyone know about any results in this direction?

-

## closed as not a real question by Victor Protsak, Harry Gindi, Charles Siegel, Loop Space, Robin ChapmanAug 19 '10 at 20:34

It's difficult to tell what is being asked here. This question is ambiguous, vague, incomplete, overly broad, or rhetorical and cannot be reasonably answered in its current form. For help clarifying this question so that it can be reopened, visit the help center. If this question can be reworded to fit the rules in the help center, please edit the question.

You're very unlikely to find what you're looking for. Non-smooth is just that, not smooth. So a non-smooth function is just one that doesn't have infinitely many derivatives. If you assume continuous non-smooth functions, then you have precisely the open set definition. If you want some derivatives, then you're looking at $C^k$ functions, which have $k$ continuous derivatives. These have various properties, but smoothness and differentiability depend on structure beyond topological. As for "scaling" symmetry, what exactly do you mean by that? There's a scaling "symmetry" for homogeneous functions of a given degree, by $f(\lambda x)=\lambda^d f(x)$, but nothing of the sort really for an arbitrary function, smooth or nonsmooth.