Discrete metric and topology/Summary

From Maths
< Discrete metric and topology
Revision as of 13:04, 27 July 2015 by Alec (Talk | contribs) (Alec moved page Creating Discrete metric and topology/Summary to Discrete metric and topology/Summary without leaving a redirect: Failed to copy and paste)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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.