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.
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 ℝℓ.
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”.
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
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.
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.