Previous page (Topological Motivation) | Contents | Next page (Properties of topological spaces) |

We now build on the idea of "open sets" introduced earlier.

**Definition**

Let *X* be a set. A set of subsets of *X* is called a **topology** (and the elements of are called *open sets*) if the following properties are satisfied.

- (the empty set), X ,

- if {
*A*_{i}|*i**I*} then*A*_{i},

- if
*A*,*B*then*A**B*.

- Conditions 2. and 3. can be summarised as:

The topology is closed under arbitrary unions and finite intersections.

- (X, ) is called a
*topological space*.

**The prototype**

Let X be any metric space and take to be the set of open sets as defined earlier. The properties verified earlier show that is a topology.**Some "extremal" examples**

Take any set*X*and let = {, X}. Then is a topology called the*trivial topology*or*indiscrete topology*.

Let*X*be any set and let be the set of*all*subsets of*X*. The is a topology called the*discrete topology*. It is the topology associated with the discrete metric.**Remark**

A topology with many open sets is called*strong*; one with few open sets is*weak*.

The discrete topology is the strongest topology on a set, while the trivial topology is the weakest.**Finite examples**

Finite sets can have many topologies on them.

For example, Let*X*= {*a*,*b*} and let ={ ,*X*, {*a*} }.

Then is a topology called the*Sierpinski topology*after the Polish mathematician Waclaw Sierpinski (1882 to 1969).Let

*X*= {1, 2, 3} and = {, {1}, {1, 2},*X*}. Then is a topology.**Remark**

It is easy to check that the only metric possible on a finite set is the discrete metric. Hence these last two topologies cannot arise from a metric.**The Zariski topology**

Let*X*be any infinite set. Define a topology on*X*by*A*if*X*-*A*is finite or*A*= .

This is called the*cofinite*or*Zariski topology*after the Belarussian mathematician Oscar Zariski (1899 to 1986)

Examples like this are important in a subject called Algebraic Geometry.**A 'different' topology on****R**

Let*X*=**R**and let = {,**R**} { (*x*, ) |*x***R**}

Then is a topology in which, for example, the interval (0, 1) is not an open set.

All the sets which are open in this topology are open in the usual topology. That is, this topology is*weaker*than the usual topology.

Previous page (Topological Motivation) | Contents | Next page (Properties of topological spaces) |