Regular topological space/Definition
From Maths
< Regular topological space
Revision as of 23:53, 3 May 2016 by Alec (Talk | contribs) (Created page with "<noinclude> ==Definition== </noinclude>A topological space, {{Top.|X|J}} is ''regular'' if{{rITTGG}}: * {{M|1=\forall E\in C(\mathcal{J})\ \forall x\in X-E\ \exists U,V\in...")
Definition
A topological space, [ilmath](X,\mathcal{ J })[/ilmath] is regular if[1]:
- [ilmath]\forall E\in C(\mathcal{J})\ \forall x\in X-E\ \exists U,V\in\mathcal{J}[U\cap V=\emptyset\implies(E\subset U\wedge x\in V)][/ilmath] - (here [ilmath]C(\mathcal{J})[/ilmath] denotes the closed sets of the topology [ilmath]\mathcal{J} [/ilmath])
Warning:Note that it is [ilmath]E\subset U[/ilmath] not [ilmath]\subseteq[/ilmath], the author ([1]) like me is pedantic about this, so it must matter
