# Topology of non-metric distance space

I have a non-metric distance $$d$$ satisfying positivity and symmetry but not triangle inequality and not identity of indiscernibles. I am interested in the topology induced by this distance. What I found so far is:

• The balls $$B(x,\epsilon) = \{y | d(x,y) < \epsilon\}$$ do not form a basis. We can find two balls and a point x in the intersection such that there is no ball around x which fits completely into the intersection.

So what now? Standard literature only treats metric spaces. What if we only have a distance-function? Is it possible at all to describe a topology which is 'compatible' with such a non-metric distance?

In some sense I feel that the topology (if exists) is finer than the Euclidean topology. Let $$d'$$ be the Euclidean metric. We have

$$d(x,y) \leq d'(x,y)$$ for all x,y.

My idea is to study the space in Euclidean topology, so all topological properties (like continuity of functions) apply also to the distance space. Does this make sense?

However, the very spare properties that you have imposed on $$d$$ do not imply that the topology generated by $$d$$ is finer than the Euclidean topology. For example, you said that $$d$$ does not need to satisfy the identity of indiscernibles, and so the constant function $$d(x,y)=0$$ is an example of your kind of distance function; but the only open sets in the topology generated by that example are the empty set and the whole space.
• Thanks a lot. I will have a look on subbases. I actually have a concrete distance $d$ based on dynamic time warping (DTW). Current literature studies DTW distance spaces (e.g. $(\mathbb{R}^n,d)$ ) in Euclidean topology, and this is fine for most practical applications. However, I am curious about how to describe the actual topology generated by this distance function, and how things behave in this topology. We have that the Euclidean Ball is always contained in the DTW Ball (for all identical centers and radii). Does this tell us anything? Jan 30, 2020 at 16:06
• More detailed questions with solid motivation like that will generally work well on this site. But I'll say that the information you've given so far does not distinguish your DTW distance from the constant function $d(x,y)=0$ in my answer. Jan 30, 2020 at 18:20