Vtyjkyuk

I want to prove that the subbais of a topology really generates a topology. I think I have been able to prove most of it, but I am not able to show that the empty set is in the topology. Can you please tell me how to show that the empty set is in the topology, and also point out any errors in the other 3 parts if you see it?

The definition of a subbasis in my book is:

A subbasis for $mathcalS$ for a topology X is a collection of
subsets of X whose union equals X. The topology generated by the
subbasis is defined to be the collection of all unions of finite
intersections of elements of $mathcalS$.

I need to prove that it generates a topology. That is, I need to prove that what is generated has this properties:

1. X is in what is generated.

2. $emptyset$ is in what is generated.

3. What is generated is closed under unions.




4. What is generated is closed under finite intersections.

My attempt:

1. Since the union of the subbasis equals X this is clear.

2. I do not see how I get the empty set, how do I know that the finite intersections of some sets will be the empty set?

3 and 4:

I have given the set $mathcalS$, I assume it has indexset $I^mathcalS$.

I call the set of all finite intersections of $mathcalS$ for $mathcalB$. Each element in $mathcalB$ is $B_k$, where k is in the index-set $I^mathcalB$. Each $B_k=cap_i in I^B_kS_i$, where $S_i in mathcalS$, $I^B_k subset I^mathcalS$, $I^B_k$ is a finite set.

I call the topology generated(I don't yet know if it is a topology), $mathcalT$, each element is denoted $T_l$, $l in I^mathcalT$. We have by construction that $T_l=cup_k in I^T_lB_k$, where $I^T_lsubset I^mathcalB$. $I^T_l$ need not be finite.

Now to prove 3:

Assume that I have a union of elements in $mathcalT$, let $V=cup_lin I^VT_l$, $I^Vsubset I^mathcalT$. I need to show that V is a union of finite intersections of elements in $mathcalS$.

$V=cup_lin I^VT_l$

$=cup_l in I^V[cup_k in I^T_lB_k]$

$=cup_l in I^V[cup_k in I^T_lcap_i in I^B_k S_i]$

$cup_(l,k):l in I^V, k in I^T_l[cap_i in I^B_kS_i]$.

Hence the element is a union of finite intersections of elements in $mathcalS$.

4.

For 4 I will prove it for two elements, and then it will follow by induction.

I have $T_1$ and $T_2$:

$T_1cap T_2=[cup_k_1 in I^T_1B_k_1]cap[cup_k_2 in I^T_2B_k_2]$

$=cup_k_1 in I^T_1[B_k_1cap cup_k_2 in I^T_2B_k_2]$

$=cup_k_1 in I^T_1[cup_k_2 in I^T_2B_k_1cap B_k_2]$

$=cup_(k_1,k_2) in I^T_1times I^T_2[B_k_1cap B_k_2]$. And obviously $B_k_1cap B_k_2$ is a finite intersections of elements in $mathcalS$ since each B is.

Is this proof correct, and how do I prove point 2?

A collection $mathcalB$ is a basis of a topology on $X$ if it covers $X$ and: $$forall P,QinmathcalBforall xin Pcap Qexists B_xinmathcalBleft[xin B_xsubseteq Pcap Qright]$$

Note that this comes to the same as: $$Pcap Q=cup_xin Pcap QB_x$$
So an intersection can be written as a union.

These condition can shortly be noted as: $$mathcalB^stackrelbigcapfsubseteqmathcalB^bigcup$$
where $mathcalB^stackrelbigcapf$ denotes the set of finite
intersections of elements of $mathcalB$ and $mathcalB^bigcup$
denotes the set of unions of elements of $mathcalB$.

Here $X$ is defined as empty intersection.

Here $mathcalB^bigcup$ is the topology of wich $mathcalB$
serves as base.

If $mathcalB:=mathcalS^stackrelbigcapf$ then $mathcalB^stackrelbigcapf=left(mathcalS^stackrelbigcapfright)^stackrelbigcapf=mathcalS^stackrelbigcapf=mathcalBsubseteqmathcalB^bigcup$

So this shows that $mathcalS^stackrelbigcapf$ is indeed a basis,
and it is the basis of topology $mathcalB^bigcup=left(mathcalS^stackrelbigcapfright)^bigcup$.