EDB β€” 0PS

↑ ← β†’ ↓ view in whole PDF view in whole HTML

View

English

E40

[0PS] Prerequisites:[0M7].Let \(X\) be a set with two distances \(d_ 1,d_ 2\); let’s call \(𝜏_ 1,𝜏_ 2\) respectively the induced topologies. We have that \(𝜏_ 1βŠ† 𝜏_ 2\) if and only if

\[ βˆ€ x∈ X~ βˆ€ r_ 1{\gt}0~ βˆƒ r_ 2{\gt}0 ~ :~ B^ 2(x,r_ 2)βŠ† B^ 1(x,r_ 1) \]

where

\[ B^ 2(x,r_ 2)=\{ y∈ X:d^ 2(x,y){\lt}r_ 2\} \quad ,\quad B^ 1(x,r_ 1)=\{ y∈ X:d^ 1(x,y){\lt}r_ 1\} \quad . \]

Note that this exercise is the analogue in metric spaces of the principle [0M7] for the bases of topologies.

Download PDF
Bibliography
Book index
  • accumulation point, in metric spaces
  • topology, in metric spaces
  • metric space
Managing blob in: Multiple languages
This content is available in: Italian English