#Is there a infinite set such that all* topologies on the set can be induced by a metric?

1 messages · Page 1 of 1 (latest)

gritty needle
#

Prove or disprove the fact that there exists an infinite sized set such that any topological structure (except for the discrete topology) on that set can be induced by a metric.
(I.e. Using a metric d:X^2 -> R+ on the set X we can create the topology T = { D subset of X | For any a in D there exists an r > 0 such that Ball(a, r) subset of D } )
For example, the non-discrete topology on any set are induced by the discrete metric ( d:X^2 -> R+, d(x, y) = 0 if x = y and 1 if x != y )

carmine adderBOT
#
  1. Ask your question and show the work you've done so far. If you've posted a screenshot of a question, specify which part you need help with.
  2. Wait patiently for a helper to come along.
  3. Once someone helps you, say thank you and close the thread with:
    +close
    
  4. Feel free to nominate the person for helper of the week in #helper-nominations
  5. Do not ping the mods, unless someone is breaking the rules.
  6. If you're happy with the help you got here, and the server overall, you can contribute financially as well:
gritty needle
#

The picture above is only for clickbait purpose only. It has nothing to do with the question whatsoever

#

😉

unreal gate
#

cofinite topology on infinite set cannot be induced by a metric

#

@gritty needle

#

If we take two nonempty open sets U,V with empty intersection, then

#

$$ X = X\setminus (U\cap V) = (X\setminus U)\cup (X\setminus V) $$

pure pagodaBOT
unreal gate
#

but if X is infinite, it can't be a union of two finite sets

#

in other words, infinite cofinite space cannot be hausdorff

#

but metrizable topologies are most certainly hausdorff