Let $\mathcal{C}^0 ( [0, 1], \mathbb{R})$ denote the set of continuous functions from $[0, 1]$ to $\mathbb{R}$ and $\mathcal{C}^1 ( [0, 1], \mathbb{R})$ denote the set of class $\mathcal{C}^1$ functions from $[0, 1]$ to $\mathbb{R}$, both of these sets are algebras over the field $\mathbb{R}$.
The question is whether we can find an isomorphism of algebras:
$\Phi:\mathcal{C}^0 ( [0, 1], \mathbb{R})\longrightarrow\mathcal{C}^1 ( [0, 1], \mathbb{R})$
it seems, well at least to me, that such a cheesy isomorphism cannot exist, however I couldn't prove it.
I tried the obvious choice, which is proof by contradiction, and tried taking the inverse of such a function which would map differentiable functions to continuous ones, considering that one set already contains the other, however no contradiction seemed to arise.
from Hot Weekly Questions - Mathematics Stack Exchange
Lazarus
Post a Comment