7
$\begingroup$

I've been thinking about this, I don't know how to look up anything similar, so here I am asking a question. Specifically, is there any space $X$ with the following properties:

  • Algebraic structure: The first thing we demand is that $X$ is a commutative ring. Later on, I'll explain why the field structure is also demanded.
  • Topology. Obviously we need a notion of closeness on our space $X$. What is more is that we want to correlate the distance of points $a,b$ to the element $a-b$ of $X$. That being said, we demand that there exists something like a norm on $X$ (note: $X$ is not necessarily a vector space over $\mathbb{R}$), namely $\|\cdot\|$, that has the following properties:

(a) $\|x\|=0$ iff $x=0$.

(b) $\|-x\|=\|x\|$

(c) $\|x+y\|\leq\|x\|+\|y\|$

So $\|\cdot\|$ actually induces a metric on $X$: set $d(x,y):=\|x-y\|$ .

Short proof: 1) $d(x,y)=0$ iff $\|x-y\|=0$ iff $x-y=0$ iff $x=y$. 2) $d(x,y)=\|x-y\|=\|y-x\|=d(y,x)$. 3) $d(x,y)=\|x-y\|=\|x-z+z-y\|\leq\|x-z\|+\|z-y\|=d(x,z)+d(z,y)$.

  • We demand the ability to differentiate some functions $f:X\to X$, so we want a field structure, since we have to deal with limits of the form $\displaystyle{\frac{f(x_n)-f(x)}{x_n-x}}$.

I am not adding anything extra for integration, since measures can be attached to any set. Before you comment or answer about the Frobenius theorem, note that there is no need for $X$ to be a vector space over $\mathbb{R}$ ,or, even if it was, no need of being of finite dimension over $\mathbb{R}$. I also know some basics about differentiable manifolds, so any info on this is not necessary. I'm looking for an exact answer on the question, and, differentiable manifolds, although close (in the sense that there can be tons of analysis performed on them), are far from having those properties.

Part 2: (refering to the members of the community with experience on research)

If there are known examples of such spaces, are they interesting at all?

P.S. I couldn't think of any reason this question is trivial or silly, but if it is, feel free to say so! Also, if anyone has a better idea for the tags, please suggest an edit.

$\endgroup$
  • 10
    $\begingroup$ I think the $p$-adic numbers can have analysis on them. $\endgroup$ – Arthur Apr 25 '18 at 18:29
  • 12
    $\begingroup$ Look up $p$-adic analysis. $\endgroup$ – Rene Schipperus Apr 25 '18 at 18:29
  • 4
    $\begingroup$ non-archimedean local fields? $\endgroup$ – K B Dave Apr 25 '18 at 18:35
  • 2
    $\begingroup$ You can do a bit of analysis with the surreal numbers, e.g. power series converge for infinitesimal arguments and certain real-analytic functions can be extended to No. $\endgroup$ – Mike Earnest Apr 25 '18 at 18:37
  • 3
    $\begingroup$ Fun Fact: the quaternions have very few functions that are differentiable on an open set, just $z \mapsto az + b$. The short reason is that there are too many Cauchy-Riemann equations. $\endgroup$ – JonathanZ Apr 25 '18 at 18:43

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.