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?
 A: Those balls may not form a basis, as you correctly say. But they do form a subbasis, and you can then certainly study the topology generated by that subbasis. And once you have introduced these kinds of topological spaces, it certainly makes sense to study them by applying all the ordinary tools and concepts from the study of topology, including continuity. 
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.
An issue you might ponder is this.  It's not very common for a randomly chosen generalization to be fruitful. Most fruitful generalizations arise from some motivation, perhaps from some "naturally" occurring examples and observation of their properties, or some possibility of useful application. One would want to know: What is the motivation for studying these kinds of topological spaces? What interesting examples are there? What interesting applications might arise from studying these spaces?
