Topological Basis Homework: If-Then Conditions

[Numberphile]

Homework Statement

Let (χ,τ) be a topological space and β be a collection of subsets of χ. Then β is a basis for τ if and only if:
1. β ⊂ τ
2. for each set U in τ and point p in U there is a set V in β such that p ∈ V ⊂ U.

2. Relevant definitions
Let τ be a topology on a set χ and let β ⊂ τ. Then β is a basis for the topology τ if and only if every open set in τ is the union of elements of β.

The Attempt at a Solution

I'm proving the if and only if. So for one direction, I have the following:
Suppose β ⊂ τ and for each set U in τ and point p in U, there is a set, call it V_p in β such that p ∈ V_p ⊂ U.
Consider the union ∪ V_p. Every point p in U is also in the union ∪ V_p. So it follows that U ⊂ ∪ V_p.
Notice every point p in the union ∪ V_p is also in U. So it follows that ∪ V_p ⊂ U.
This shows U = ∪ V_p, hence U is a union of elements of β, and therefore β is a basis.

For the other direction, this is what I attempted, but I am not sure the logic follows:
Suppose β is a basis. Then every open set U in τ is the union of elements of β, call them B_i for i in some index. So U = ∪ B_i, with all B_i open.
I'm thinking this follows from the definition that all such collections of {B_i} ⊂ τ, which implies that β ⊂ τ. (satisfying point 1)
Now Suppose there is some point p in U. Then it follows that p is in at least one such B_i, call it V. Therefore there exists a set V in β such that p ∈ V ⊂ U, satisfying point 2.

 

[Dick]

Homework Statement

Let (χ,τ) be a topological space and β be a collection of subsets of χ. Then β is a basis for τ if and only if:
1. β ⊂ τ
2. for each set U in τ and point p in U there is a set V in β such that p ∈ V ⊂ U.

2. Relevant definitions
Let τ be a topology on a set χ and let β ⊂ τ. Then β is a basis for the topology τ if and only if every open set in τ is the union of elements of β.

The Attempt at a Solution

I'm proving the if and only if. So for one direction, I have the following:
Suppose β ⊂ τ and for each set U in τ and point p in U, there is a set, call it V_p in β such that p ∈ V_p ⊂ U.
Consider the union ∪ V_p. Every point p in U is also in the union ∪ V_p. So it follows that U ⊂ ∪ V_p.
Notice every point p in the union ∪ V_p is also in U. So it follows that ∪ V_p ⊂ U.
This shows U = ∪ V_p, hence U is a union of elements of β, and therefore β is a basis.

For the other direction, this is what I attempted, but I am not sure the logic follows:
Suppose β is a basis. Then every open set U in τ is the union of elements of β, call them B_i for i in some index. So U = ∪ B_i, with all B_i open.
I'm thinking this follows from the definition that all such collections of {B_i} ⊂ τ, which implies that β ⊂ τ. (satisfying point 1)
Now Suppose there is some point p in U. Then it follows that p is in at least one such B_i, call it V. Therefore there exists a set V in β such that p ∈ V ⊂ U, satisfying point 2.

That sounds good to me. I'm a little fuzzy on what you are saying about condition 1. But note both sides of your 'if and only if' state that $\beta \subset \tau$ - so there is not much to prove there.