Function Spaces C^k: Understanding Facts

  • Thread starter Thread starter Bachelier
  • Start date Start date
  • Tags Tags
    Function
Bachelier
Messages
375
Reaction score
0
Could you check my understanding of these facts please:

First is there a difference between the notations "function space" and "Differentiation Class" ? Methinks they are one.

Second, a function ##f## is said to be in ##C^k \iff \ f^{(k)}## exists and is in ##C^0##.

Third, if a function has discontinuities then it belong to ##C^{-1}##

Thank you
 
Physics news on Phys.org
Bachelier said:
Could you check my understanding of these facts please:

First is there a difference between the notations "function space" and "Differentiation Class" ? Methinks they are one.

A function space is something more general. The spaces ##C^k##are certainly function spaces, but there are many more.

Second, a function ##f## is said to be in ##C^k \iff \ f^{(k)}## exists and is in ##C^0##.

Yes.

Third, if a function has discontinuities then it belong to ##C^{-1}##

I have encountered ##C^{-1}## before, but I forgot what it was. I kind of doubt that it is standard terminology anyway. Do you have a reference for this?
 
micromass said:
I have encountered ##C^{-1}## before, but I forgot what it was. I kind of doubt that it is standard terminology anyway. Do you have a reference for this?

Unfortunately I can only quote the "Wikipedia" page on "Smooth Functions". I tried to do a google search for the term to no avail.
 
Bachelier said:
Unfortunately I can only quote the "Wikipedia" page on "Smooth Functions". I tried to do a google search for the term to no avail.

The way I've seen it defined is that ##C^{-1}## has functions that are piecewise continuous. So they have discontinuities, but only a limited number. But I don't have a reference either. It's not very important anyway.
 
A sphere as topological manifold can be defined by gluing together the boundary of two disk. Basically one starts assigning each disk the subspace topology from ##\mathbb R^2## and then taking the quotient topology obtained by gluing their boundaries. Starting from the above definition of 2-sphere as topological manifold, shows that it is homeomorphic to the "embedded" sphere understood as subset of ##\mathbb R^3## in the subspace topology.
Back
Top