Topological space

Definition

Consider to be a non-empty set, and also let be a subset of the power set of , such that fullfils the following conditions,

  • (T1) ,
  • (T2 - Intersection) if then also the finite intersetion of these sets are element of the topology, i.e.
.
  • (T2 - Union) let be an index set and for all the subset is element of the topology () then also the union of these sets is an element of the topology, i.e.
.

The pair is called topological space. Set sets in are called the open sets in .

Learning Task

  • Show that (T2) also implies, that any finite intersection of open sets is an open set ()
  • Let and be the standard euclidean topology generate by the absolute value . Provide a example of open sets for which an infinite intersection is not open!.
  • Let and . Add a minimal number of sets, so and create , so that is a topological space.

See also