# How to show Topology and find basis

• Apr 8th 2009, 09:42 AM
flaming
How to show Topology and find basis
1 (a)
Let $\mathcal{C}$ be a collection of subset of the set X, satisfying:

i. $\phi$ and X contained in $\mathcal{C}$,
ii. finite unions of elements in $\mathcal{C}$ are in $\mathcal{C}$, and
iii. arbitrary unions of elements in $\mathcal{C}$ are in [ $\mathcal{C}$

Show that the collection

$\mathcal{T} = \{X - C|C \in \mathcal{C} \}$

is a topology on X.

(b)
Give an example of such a topology when X = $\Re$. What are the open sets in this topology?What are the closed sets? What is the basis for the topology?
• Apr 8th 2009, 09:59 AM
Plato
Please try to clarify how $\mathcal{T}$ is defined.
• Apr 8th 2009, 10:55 AM
r2dee6
Quote:

Originally Posted by Plato
Please try to clarify how $\mathcal{T}$ is defined.

http://www.mathhelpforum.com/math-he...94189728-1.gif

That is how T is defined in the question.I am not sure what you mean by the question..sorry
• Apr 8th 2009, 12:18 PM
Plato
To aid in notation use this. $A \in T\; \Rightarrow \;\left( {\exists A' \in C} \right)\left[ {A = X\backslash A'} \right]$.
Because $\emptyset = X\backslash X\;\& \;X = X\backslash \emptyset$ the first two requirements are fulfilled.

For union $\left\{ {A_\alpha } \right\}$ is a collection in $T$.
$\bigcup {\left\{ {A_\alpha } \right\}} = \bigcup {X\backslash A'_\alpha } = X\backslash \bigcap {A'_\alpha }$.

Intersection is the same idea.