Basis for a topology

From Maths
Revision as of 16:43, 20 March 2016 by Alec (Talk | contribs) (Missed something silly)

Jump to: navigation, search

Definition

Let [ilmath]X[/ilmath] be a set. A basis for a topology on [ilmath]X[/ilmath] is a collection of subsets of [ilmath]X[/ilmath], [ilmath]\mathcal{B}\subseteq\mathcal{P}(X)[/ilmath] such that[1]:

  1. [ilmath]\forall x\in X\exists B\in\mathcal{B}[x\in B][/ilmath] - every element of [ilmath]X[/ilmath] belongs to at least one basis element.
  2. [ilmath]\forall B_1,B_2\in\mathcal{B},x\in X\ \exists B_3\in\mathcal{B}[x\in B_1\cap B_2\implies(x\in B_3\wedge B_3\subseteq B_1\cap B_2)][/ilmath][Note 1] - if any 2 basis elements have non empty intersection, there is a basis element within that intersection containing each point in it.

Note that:

  • The elements of [ilmath]\mathcal{B} [/ilmath] are called basis elements[1]

Topology generated by [ilmath]\mathcal{B} [/ilmath]

If [ilmath]\mathcal{B} [/ilmath] is such a basis for [ilmath]X[/ilmath], we define the topology [ilmath]\mathcal{J} [/ilmath] generated by [ilmath]\mathcal{B} [/ilmath][1] as follows:

  • A subset of [ilmath]X[/ilmath], [ilmath]U\subseteq X[/ilmath] is considered open (equivalently, [ilmath]U\in\mathcal{J} [/ilmath]) if:
    • [ilmath]\forall x\in U\exists B\in\mathcal{B}[x\in B\wedge B\subseteq U][/ilmath][Note 2]

Claim: This [ilmath]\mathcal{(J)} [/ilmath] is indeed a topology




TODO: Do this, see page 81 in Munkres - shouldn't be hard!


See also

Notes

  1. This is a great example of a hiding if-and-only-if, note that:
    • [ilmath](x\in B_3\wedge B_3\subseteq B_1\cap B_2)\implies x\in B_1\cap B_2[/ilmath] (by the implies-subset relation) so we have:
      • [ilmath](x\in B_3\wedge B_3\subseteq B_1\cap B_2)\implies x\in B_1\cap B_2\implies(x\in B_3\wedge B_3\subseteq B_1\cap B_2)[/ilmath]
    • Thus [ilmath](x\in B_3\wedge B_3\subseteq B_1\cap B_2)\iff x\in B_1\cap B_2[/ilmath]
    This pattern occurs a lot, like with the axiom of extensionality in set theory.
  2. Note that each basis element is itself is open. This is because [ilmath]U[/ilmath] is considered open if forall x, there is a basis element containing [ilmath]x[/ilmath] with that basis element [ilmath]\subseteq U[/ilmath], if [ilmath]U[/ilmath] is itself a basis element, it clearly satisfies this as [ilmath]B\subseteq B[/ilmath]

    TODO: Make this into a claim


References

  1. 1.0 1.1 1.2 Topology - Second Edition - James R. Munkres