1. ## Notation again again

I do not know how to search this but does

$\displaystyle C^{\infty}$ mean that is differentiable any number of times, or something?

Any help appreciated.

2. Originally Posted by Mathstud28
I do not know how to search this but does

$\displaystyle C^{\infty}$ mean that is differentiable any number of times, or something?

Any help appreciated.
Let $\displaystyle I$ be an open interval. The notation $\displaystyle \mathcal{C}^k(I)$ means a function differenciable $\displaystyle k$ times on $\displaystyle I$ such that $\displaystyle f^{(k)}$ is a continous function on $\displaystyle I$. However, if the function is infinitely differenciable i.e. it is an element of $\displaystyle \mathcal{C}^{k}$ for any $\displaystyle k\geq 1$ then we say it $\displaystyle \mathcal{C}^{\infty}(I)$. For example, $\displaystyle \exp ,\sin , \cos \in \mathcal{C}^{\infty}(\mathbb{R})$. While $\displaystyle \log \in \mathcal{C}^{\infty}(0,\infty)$.

3. Originally Posted by ThePerfectHacker
Let $\displaystyle I$ be an open interval. The notation $\displaystyle \mathcal{C}^k(I)$ means a function differenciable $\displaystyle k$ times on $\displaystyle I$ such that $\displaystyle f^{(k)}$ is a continous function on $\displaystyle I$. However, if the function is infinitely differenciable i.e. it is an element of $\displaystyle \mathcal{C}^{k}$ for any $\displaystyle k\geq 1$ then we say it $\displaystyle \mathcal{C}^{\infty}(I)$. For example, $\displaystyle \exp ,\sin , \cos \in \mathcal{C}^{\infty}(\mathbb{R})$. While $\displaystyle \log \in \mathcal{C}^{\infty}(0,\infty)$.
Thanks TPH! Always answering my notation questions .

One question though, I understand that $\displaystyle e^x,\cos(x),\text{etc.}$ are $\displaystyle C^{\infty}\left(\mathbb{R}\right)$

But since $\displaystyle C^{\text{whatever}}$ seems to only be talking about the at least first derivative wouldnt that mean that the $\displaystyle I$ specified for $\displaystyle \ln(x)$ should be $\displaystyle \mathbb{R}/\left\{0\right\}$ since $\displaystyle \ln^{\left(n\in\mathbb{Z^+}\right)}(x)$ is continous for that interval?

Oh wait, I looked back and the interval $\displaystyle I$ is specified in relation to the original function, not the derivatives. Ok so I get it.

Thank you.

EDIT: Actually two more things. The first is obviously that

If $\displaystyle p(x)$ is a non-descript polynomial then it is $\displaystyle C^{\infty}$ Right?

Also how would you say that some function is this on some interval, in other words how would you put this notation down so it makes sense.

Like this?

"$\displaystyle f(x)$ is $\displaystyle C^{\infty}(a,b)$"?

4. Originally Posted by Mathstud28
But since $\displaystyle C^{\text{whatever}}$ seems to only be talking about the at least first derivative wouldnt that mean that the $\displaystyle I$ specified for $\displaystyle \ln(x)$ should be $\displaystyle \mathbb{R}/\left\{0\right\}$ since $\displaystyle \ln^{\left(n\in\mathbb{Z^+}\right)}(x)$ is continous for that interval?
It does not need to be an open interval it can be an open set. But since open sets are concepts from topology I did not want to mention them. An open set is a generalization of an open interval. For example, $\displaystyle \mathbb{R} - \{ 0 \} = (-\infty,0)\cup (0,\infty)$ is an open set. Basically an open set is such a set that has no boundary. More formally $\displaystyle S$ is open iff for any $\displaystyle x\in S$ there is $\displaystyle \epsilon > 0$ such that $\displaystyle (x-\epsilon,x+\epsilon) \subset S$. With open sets we can say that $\displaystyle \ln |x|$ is $\displaystyle \mathcal{C}^{\infty}(\mathbb{R} - \{ 0\})$.

If $\displaystyle p(x)$ is a non-descript polynomial then it is $\displaystyle C^{\infty}$ Right?
A polynomial is infinitely differenciable so it is $\displaystyle \mathcal{C}^{\infty}$.

Also how would you say that some function is this on some interval, in other words how would you put this notation down so it makes sense.

Like this?

"$\displaystyle f(x)$ is $\displaystyle C^{\infty}(a,b)$"?
That is exactly how we say it.

As an illustration of this notation we can state a stronger version of the Fundamental Theorem of Calculus. Let $\displaystyle f$ be continous on $\displaystyle [a,b]$ which is $\displaystyle \mathcal{C}^k(a,b)$. Define $\displaystyle F(x) = \smallint_a^x f$. Then $\displaystyle F$ is $\displaystyle \mathcal{C}^{k+1}(a,b)$.

Analysts like to say that integration "smoothens out a function". The theorem above is what this is all about.

5. Originally Posted by ThePerfectHacker
It does not need to be an open interval it can be an open set. But since open sets are concepts from topology I did not want to mention them. An open set is a generalization of an open interval. For example, $\displaystyle \mathbb{R} - \{ 0 \} = (-\infty,0)\cup (0,\infty)$ is an open set. Basically an open set is such a set that has no boundary. More formally $\displaystyle S$ is open iff for any $\displaystyle x\in S$ there is $\displaystyle \epsilon > 0$ such that $\displaystyle (x-\epsilon,x+\epsilon) \subset S$. With open sets we can say that $\displaystyle \ln |x|$ is $\displaystyle \mathcal{C}^{\infty}(\mathbb{R} - \{ 0\})$.

A polynomial is infinitely differenciable so it is $\displaystyle \mathcal{C}^{\infty}$.

That is exactly how we say it.

As an illustration of this notation we can state a stronger version of the Fundamental Theorem of Calculus. Let $\displaystyle f$ be continous on $\displaystyle [a,b]$ which is $\displaystyle \mathcal{C}^k(a,b)$. Define $\displaystyle F(x) = \smallint_a^x f$. Then $\displaystyle F$ is $\displaystyle \mathcal{C}^{k+1}(a,b)$.

Analysts like to say that integration "smoothens out a function". The theorem about is what this is all about.
Ok, amazing, I completely understand that.

Like the last part since $\displaystyle F'(x)=\frac{d}{dx}\int_a^{x}f(t)dt=f(x)$ by the fundamental theorem of calculus and we have stated that $\displaystyle f(x)\quad\text{is}\quad{C^{k}}$

$\displaystyle F(x)$ takes on all the k amount of differentiabilities of $\displaystyle f(x)$ and adds more since we know that if it is integrable it is differentiable back to f(x)!

Thanks TPH

6. Originally Posted by Mathstud28

Also how would you say that some function is this on some interval, in other words how would you put this notation down so it makes sense.

Like this?

"$\displaystyle f(x)$ is $\displaystyle C^{\infty}(a,b)$"?
Yes, but also:

$\displaystyle f \in C^{\infty}(a,b)$

RonL

7. Originally Posted by CaptainBlack
Yes, but also:

$\displaystyle f \in C^{\infty}(a,b)$

RonL
Thanks captain black, I want to be able to write stuff with as few words as possible (no sarcasm).

But by the way, this got me thinking, this notating would be nice to say things like,

"Let f be a eight times differentiable function" So instead of that could you say

"Let $\displaystyle f(x)\in{C^{k\geq{8}}}$ "

Also, can it apply to functions where $\displaystyle \mathbb{R}^{n>1}\to\mathbb{R}$

Can I say

$\displaystyle C_x^{\infty}\left(\mathbb{R}\right)$?

Or would no one know what that means, haha, I think I am inventing notation here.

8. Originally Posted by Mathstud28
Thanks captain black, I want to be able to write stuff with as few words as possible (no sarcasm).

But by the way, this got me thinking, this notating would be nice to say things like,

"Let f be a eight times differentiable function" So instead of that could you say

"Let $\displaystyle f(x)\in{C^{k\geq{8}}}$ "
Since:

$\displaystyle C^8 \supset C^9 \supset C^{10} \supset ...$

there is no need for this notation.

Also $\displaystyle C^8$ and the set of all functions eight times differentiable (on $\displaystyle (a,b)$ or whatever) are not the same thing since $\displaystyle C^8$ is the set of all $\displaystyle 8$ times differentiable function with continuous $\displaystyle 8$-th derivative.

RonL

9. Originally Posted by Mathstud28
...

But by the way, this got me thinking, this notating would be nice to say things like,

"Let f be a eight times differentiable function" So instead of that could you say

"Let $\displaystyle f(x)\in{C^{k\geq{8}}}$ "
not really, because there is another condition: $\displaystyle f^{(8)}(x)$ must also be continuous.

so i think, $\displaystyle f(x)\in{C^{k\geq{8}}}$ would mean $\displaystyle f^{(k\geq8)}(x)$ must also be continuous. so y don't you get the biggest k such that $\displaystyle f^k(x)$ is continuous with f is k times differentiable..

Originally Posted by Mathstud28
Also, can it apply to functions where $\displaystyle \mathbb{R}^{n>1}\to\mathbb{R}$
yes, like what TPH said, it can be defined in any open set, just define the open set in $\displaystyle \mathbb{R}^{n}$

Originally Posted by Mathstud28
Can I say

$\displaystyle C_x^{\infty}\left(\mathbb{R}\right)$?

Or would no one know what that means, haha, I think I am inventing notation here.
haven't seen this notation before..

10. Originally Posted by CaptainBlack
Since:

$\displaystyle C^8 \supset C^9 \supset C^{10} \supset ...$

there is no need for this notation.

Also $\displaystyle C^8$ and the set of all functions eight times differentiable (on $\displaystyle (a,b)$ or whatever) are not the same thing since $\displaystyle C^8$ is the set of all $\displaystyle 8$ times differentiable function with continuous $\displaystyle 8$-th derivative.

RonL
So what your saying is that since for a function to be $\displaystyle f(x)\in{C^{k\geq{8}}}$ it must be $\displaystyle f(x)\in{C^8}$ or in other words all functions of tenth order differentiablility are a subset of eight order or whatever.

So your saying that $\displaystyle f(x)\in{C^{n}}$ describes all functions who are differentiable at least n times, so this would include all functions that are differentiable $\displaystyle n+1,n+2,n+3,\cdots$ times?

11. if $\displaystyle f \in C^{n}$, then $\displaystyle f, f', f'', ..., f^{(n)}$ exists and $\displaystyle f^{(n)}$ is continuous..

$\displaystyle f \in C^{n+1}$ means $\displaystyle f, f', f'', ..., f^{(n)}, f^{(n+1)}$ exists and $\displaystyle f^{(n+1)}$ is continuous..

now, let $\displaystyle g \in C^{n+1}$. therefore, $\displaystyle g^{(n)}$ exists. $\displaystyle g^{(n)}$ must be continuous otherwise, $\displaystyle g^{(n)}$ will not be differentiable, hence $\displaystyle g^{(n+1)}$ will not exist.

therefore, $\displaystyle g \in C^{n}$, that is $\displaystyle C^{n+1} \subset C^{n}$

12. Originally Posted by kalagota
if $\displaystyle f \in C^{n}$, then $\displaystyle f, f', f'', ..., f^{(n)}$ exists and $\displaystyle f^{(n)}$ is continuous..

$\displaystyle f \in C^{n+1}$ means $\displaystyle f, f', f'', ..., f^{(n)}, f^{(n+1)}$ exists and $\displaystyle f^{(n+1)}$ is continuous..

now, let $\displaystyle g \in C^{n+1}$. therefore, $\displaystyle g^{(n)}$ exists. $\displaystyle g^{(n)}$ must be continuous otherwise, $\displaystyle g^{(n)}$ will not be differentiable, hence $\displaystyle g^{(n+1)}$ will not exist.

therefore, $\displaystyle g \in C^{n}$, that is $\displaystyle C^{n+1} \subset C^{n}$

So the operative phrasing here would be that $\displaystyle f(x)\in{C^{n}}$ implies that $\displaystyle f(x)$ is differentiable at least an n number of times, not at most.

13. yes.

14. Originally Posted by Mathstud28
So what your saying is that since for a function to be $\displaystyle f(x)\in{C^{k\geq{8}}}$ it must be $\displaystyle f(x)\in{C^8}$ or in other words all functions of tenth order differentiablility are a subset of eight order or whatever.

So your saying that $\displaystyle f(x)\in{C^{n}}$ describes all functions who are differentiable at least n times, so this would include all functions that are differentiable $\displaystyle n+1,n+2,n+3,\cdots$ times?
Something differentiable $\displaystyle m$ times with continuous $\displaystyle m$ th derivative is obviously continuously differentiable $\displaystyle n$-times for all $\displaystyle n \le m$, so $\displaystyle C^{m} \subset C^n, \ \forall n \le m.$

RonL

15. I will give two examples at my attempt to use this notation and please tell me if it is correct.

Say we are talking about L'hopital's and we are saying

" Let $\displaystyle \lim_{x\to{c}}\frac{f(x)}{g(x)}$ be indeterminate because either $\displaystyle \lim_{x\to{c}}f(x)=\lim_{x\to{c}}g(x)=0$ or $\displaystyle \lim_{x\to{c}}f(x)=\lim_{x\to{c}}g(x)=\infty$

Furthermore let $\displaystyle f(x)\in\mathcal{C}^1(c)$ and $\displaystyle g(x)\in\mathcal{C}^1(c)$ and then blah blah blah"

And in Rolle's Theroem

"Let $\displaystyle f(x)$ be continuous on $\displaystyle [a,b]$ and $\displaystyle f(x)\in\mathcal{C}^1(a,b)$ then ...."

Did I use it right?

Page 1 of 2 12 Last