Discrete metric and topology/Summary

From Maths
Jump to: navigation, search
Property Comment
induced topology discrete topology - which is the topology (X,P(X)) (where P denotes power set)
Open ball Br(x):={pX| d(p,x)<r}={{x}if r1Xotherwise
Open sets Every subset of X is open.
Proof outline: as for a subset AX we can show xAr[Br(x)A] by choosing say, that is A contains an open ball centred at each point in A.
Connected The topology generated by (X,ddiscrete) is not connected if X has more than one point.
Proof outline:
  • Let A be any non empty subset of X, then define B:=Ac which is also a subset of X, thus B is open. Then AB= and AB=X thus we have found a separation, a partition of non-empty disjoint open sets, that separate the space. Thus it is not connected
  • if X has only one point then we cannot have a partition of non empty disjoint sets. Thus it cannot be not connected, it is connected.