Let
be a basis for two topological spaces X and Y . Assume that U is open in X. Then for all x ∈ U
there exists a B ∈
such that x ∈ B ⊂ U, but as
is a basis for Y too, then U is open in Y as well.
Thus
X ⊂
Y . By symmetry of this argument we also have
Y ⊂
X. Thus the topologies of X and Y are
identical.
As topological spaces, X and Y could still be different even if they have the same topology; X and Y as sets can be
distinct. However, this possibility is quickly squandered as we see that any x ∈⋃
B∈
B will be in both X and Y since each
B is a subset of both X and Y and any x ∈ X will be in ⋃
B∈
B as per the definition of a basis. This informs us that the
sets X and Y must be equal.
Finally, given that both the sets and the topologies of two topological spaces with the same basis must be equal, then the topological spaces must be the same.
, by the following.

where Na,b, as described in the problem, is {a + nb | n ∈ ℤ} for some fixed a,b ∈ ℤ. Prior to proving the infinitude of the prime numbers, we can prove some lemmas which will help us in the proof, and more importantly dispell confusion by diminishing clutter.
Proof. Certainly the empty set is in
. Also, ℤ is contained in the collection as any Na,b is a subset of ℤ. The union
of any collection of open sets {Uα} will be open since the sets Na,b which satisfy the requirement for openness of
each a in each Uα will also satisfy the requirement for each a in ⋃
αUα. The intersection of any finite collection
{Ui} will have that an a ∈⋂
iUi will be in all Ui, so the requirement for the existance of an Na,b will be satisfied
by all Ui and therefore for ⋂
iUi. __
Proof. Let U be a nonempty element of
. Then for an a ∈ U, there is an Na,b which is a subset of U for a positive
b. Since b is nonzero then Na,b will be infinite, and hence U will be too. __
Proof. We can take note that the sets Na,b are the equivalency classes of a modb. Since these partition the integers, then given a Na,b, any a′∈ ℤ \ Na,b will have a′⁄≡ a mod b, implying that Na′,b ⊂ ℤ \ Na,b. This yields to us the openess of ℤ \ Na,b. Hence Na,b is closed. __
Finally, for the epic conclusion, assume for later contradiction that the set of prime numbers, ℙ, is finite. If we notice that the set Na,a = {an + a = a(n + 1) | n ∈ ℤ} is simply the set of all multiples of a, i.e. aℤ, then for U = {-1,1}, ℤ \ U = {…,-4,-3,-2,0,2,3,4,…} will be covered entirely by

where
is set to the largest prime number (the primes were assumed finite). This will cover because all integers
larger than
will be divisible by an integer less than or equal to
. Lemma P-2.1 and Lemma P-2.3 thus
give us that ⋃
n∈2,3,…,
Nn,n is closed since it is a finite union of closed sets. This then implies that U, its
complement, is open, but the finitute and non-emptiness of U contradicts Lemma P-2.2. Hence the primes are
infinite.

Since ℝ ⊃ ℚ, then due to the similarities in the definitions, this implies ℝℓ ⊃ ℚℓ. Thus to show the topologies different, it
suffices to show that ℚℓ is strictly courser than ℝℓ. Let
and
be the bases for ℝℓ and ℚℓ, respectively. Let [a,b) ∈
such that a is irrational. If ℚℓ were at least as fine as ℝℓ, then there would be a [a′,b′) ∈
such that a ∈ [a′,b′) ⊂ [a,b) as
per Lemma 13.3 of Munkres. However, as a is irrational and a′ is rational, then a ∈ [a′,b′) would imply a′ < a, in
which case [a′,b′) would not be a subset of [a,b). So Lemma 13.3 gives use that ℚℓ is strictly courser than
ℝℓ.
X be a basis for X. This
yields
Y = {B ∩ Y |B ∈
X} as the basis inherited by Y . Then the basis inherited from Y by A, call it
A, is
{B ∩ A|B ∈
Y }. But given the previously mentioned form of each element of
Y , then
A = {(B ∩ Y ) ∩ A|B ∈
X}.
Thus by the associativity of ∩ and since A ⊂ Y we have
A = {B ∩A|B ∈
X}. Therefore the topologies inherited by A as
a subset of Y or X are identical.
S is a basis for the standard topology on ℝ then the topology on ℝ ×{0} as a subspace of ℝ2
is

but this is simply

We should be concerned about the possibility of B′×{0} being empty, but this is really not a problem as B ×∅ = ∅ and, in light of Munkres’ Lemma 13.1, the addition of the empty set to a basis leaves the generated topology unaltered. With this in mind, the basis for ℝ ×{0} boils down to

which is certainly isomorphic to
S, and so the two resulting topologies “coincide”.
X and
Y , respectively, and
X × Y is the induced product topology, the basis for which we will denote
X ×
Y . Let the maps π1 and π2 be the
projection maps of X × Y as defined in Munkres. Let U be an open set X × Y and x ∈ π1(U). Then for all y ∈ Y ,
(x,y) ∈ U. Thus for any given y there exists a BX × BY ∈
X ×
Y such that (x,y) ∈ BX × BY ⊂ U. This implies
x ∈ Bx ⊂ π1(U), i.e. π1(U) is open in X. Thus π1 is an open map.
The same argument holds to show π2 is an open map, just working with the second position of elements of X ×Y rather than the first.
Let x ∈ (A∪B)′. Then for every neighborhood N of x there exists a y ∈ A∪B such that y ∈ N \{x}. If y is in A, then x ∈ A′⊂ A′∪B′. On the other hand, if y is in B, then x ∈ B′⊂ A′∪B′. Thus whether y is in A, B, or both, x will be in the union of their limit point set, A′∪ B′; so (A ∪ B) ⊂ A′∪ B′.
Now let x ∈ A′∪B′. If x is a limit point of A, then for all neighborhoods N of x, A∩ (N \{x}) is nonempty, but since A ⊂ A ∪ B then (A ∪ B) ∩ (N \{x}) is also nonempty. Thus x is a limit point of A ∪ B. As ∪ is commutative, the same argument holds in the case of x being a limit point of B. Therefore whether x is in A′, B′, or both, it is also a limit point of A ∪ B; hence A′∪ B′⊂ (A ∪ B)′.
Given that (A ∪ B) ⊂ A′∪ B′ and A′∪ B′⊂ (A ∪ B)′, then (A ∪ B) = A′∪ B′, which gives us our ultimate result of A ∪ B = A ∪B
Equivalency Counter-example. In ℝ with the standard topology, let {Uα} be the set

Given this, ⋃
Uα = (0,2) and its closure is [0,2], however
is
![{ 1 || + }
[∕n,2] n ∈ ℤ](homework0213x.png)
which contains no interval that contains 0. Hence 0
⋃
Uα, and therefore the inclusion given by ⋃
Aα ⊂⋃
Aα is
strict.
Extra-1 Describe all topological structures having exactly one basis.
to refer the topology of any such topological
structures.
We’ll first note that since
of a topological space is always a basis for the space. With this we can quickly narrow our
search for topological structures having only one basis to structures for which any strict subcollection of
cannot be a basis
for the topological space. Given this realization and Munkres’ Theorem 13.1, a topological space with only one basis must
have that
has no subcollection which can generate it under unions. Another way of saying this is that the union of any
number of sets in
, ⋃
αUα, must be contained within the collection of the sets in the union, i.e. ⋃
αUα ∈
must hold
true. Otherwise we under the auspice of Munkres’ Theorem 13.1, we could remove the resulting union to obtain the basis
\
⋃
αUα
. This is a requirement of all topological spaces having only one basis. We prove the sufficiency of this property
next, thereby revealing that this property is a necessary and sufficient condition of all topological structures with exactly
one basis.
Let X be a topological space with topology
such that
![]() | (Extra-1.1) |
Assume by way of contradiction that
1 and
2 are distinct bases of X. Without loss of generality let B ∈
1 but
B ⁄∈
2. Since basis elements are also open sets, then Munkres’ Theorem 13.1 gives us that there exists a collection
⊂
2 such that B = ⋃
αBα. Thus the property in Extra-1.1 assumed of X tells us that B ∈
2, which contradicts
the definition of B. Hence
1 =
2.