TVS on the reals which or which not induces convergence in norm

51 Views Asked by At

Recently I wondered, if convergence in some given metric $d$ on $\mathbb R^n$ induces convergence in norm. Of course, if $d(x,y) = \|f(x)-f(y)\|$, where $f$ is a bijection on $\mathbb R^n$, then this does not hold in general provided $f^{-1}$ is discontinuous in at least one point.

Now, I stepped over topological vector spaces (TVS), which have a topology that interacts well with addition and scalar multiplication. In this case we have that the topology is induced by a norm if and only if there is a convex and bounded neighborhood of $0$.

That's a useful result but a bit to much for my intentions, as I want only to know if the metric induces a stronger convergence than the norm.

So what am I looking for? I'm curious if there is a metric on $\mathbb R^n$ (possible even on $\mathbb R$) which makes $\mathbb R^n$ to a topological vector space and which has one of the following properties:

  1. It produces a convex and bounded neighborhood of $0$ and induces therefore a stronger convergence than convergence in norm.
  2. It does not provide (1) but nevertheless induces a stronger convergence than convergence in norm.
  3. It doesn't induce a stronger convergence than convergence in norm.

To make the case more exiting, the discrete metric is not allowed and also metrics that are "too normy" are excluded. By the rather vague "too normy" I mean that it should not be trivial to deduce the mentioned properties, as it would if

  • $d(x,y) = \|f(x)-f(y)\|$ for some linear $f$ on the reals,
  • $d(x,y) = \|x-y\|/(1+ \|x-y\|)$,
  • $d$ is the British Rail metric or some other metric induced by special paths (which are "normy" in my sense, but also they often don't induce a TVS).

So, I'm looking for examples that show that TVS-metrics are not as boring as discrete or normy ones. (But maybe, there are indeed just normy and discrete ones, but I don't think so.)

Thank you in advance!

Edit: As pointed out in the comments, the discrete metric doesn't induce a TVS over $\mathbb R$, where the underlying scalar field $\mathbb R$ is endowed with the standard topology. If the underlying scalar field is induced with the standard topology, the case is closed.

So one should rather ask, if there are metrics for which the addition on $\mathbb R^n$ is continuous and for which the scalar multiplication is continuous with respect to some other topology on the underlying scalar field (e.g. the discrete topology).