2

A semi-metric space (M,d) satisfies all of the conditions of a metric space except it need NOT satisfy $d(f,g)=0 \iff f=g$.

Give 3 different examples of semi-metric spaces which are NOT metric spaces.

I understand the difference between a semi-metric space and metric space but I can not come up with 3 concrete examples.

Do the definitions of open, closed, dense and connected all still make sense in a semi-metric space without any alterations from the metric space setting?

I believe that the definition of open will still make sense in a semi-metric space. But the definition of closed, dense, and connected will not.

Am I right or wrong?

Username Unknown
  • 4,633

3 Answers3

4

In $\Bbb R$ ; $d(x,y)=|\sin x-\sin y|$.

Or $d(x,y)=|f(x)-f(y)|$ where $f$ is not injective. ($f(x)=x^2$, $f(x)=\cos x$...)

Hamou
  • 6,745
2

For any $p \geq 1$, $d(f,g) = (\int |f(x) - g(x)|^p dx)^{1/p}$ defines such a metric.

Mustafa Said
  • 4,137
1

$$d(f,g) = |f(x_0)-g(x_0)|$$ for some fixed point $x_0$

$$d(f,g) = \int_D|f(x)-g(x)|d\mu$$ for integrable functions f,g $$d(A,B) = \inf \{ \tilde d(x,y):\forall x\in A \text{ and } \forall y\in B\}$$ for some metric $\tilde d$

Not 100% sure about the last one..

All strictly topological ideas will not change, but the defined open sets of the topology in general will change for a semi-metric space. I believe semi-metric spaces still satisfy certain separation axioms.

Matthew Levy
  • 1,440