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