A - U is open in the subspace topology
A - U = A
Y for Y open in X
U = A
(X - Y) and X - Y is a closed subset of X.
R = X. Then A is open in A and so the interior of U in the subspace topology is [0, 1] but in the usual topology on R it is (0, 1).
R = X and argue similarly.
1 and
2 are topologies it is easiest to work with closed sets.
1 proper closed sets are finite and this set is easily seen to be closed (!) under arbitrary unions and finite intersections.
In
2 proper closed sets are either finite or contain 1. Again it is easily seen to be closed under arbitrary unions and finite intersections.
2 is stronger (more open sets) than
1 and so the identity map from (X,
2) to (X,
1) is continuous but its inverse is not.
Consider the map g: (X,
1)
(X,
2). The set B = N - {1} is open in
2 but g-1(B) = 2N and is not open in
1 . Hence this map is not continuous.
Consider the map g: (X,
2)
(X,
1). Take U
1 . Then N - U is finite.
If 1
U then since g(1) = 1, we have 1
g-1(U) and so g-1(U) is open.
If 1
U then N - g-1(U) contains only finitely many even integers and so g-1(U) is an open subset.
Hence g is continuous.
cl(A)
cl(B). Let W be an open set containing (x, y) in cl(A)
cl(B). Then W contains a subset of the form U
V with x
U and U open in X and y
V and V open in Y since sets of this form are a basis for the topology. But U meets A (since x
cl(A) ) and V meets B. So U
V and hence W meet A
B. Hence (x, y)
cl(A
B).
To prove the other inclusion, suppose now that (x, y)
cl(A
B). Then every open set containing (x, y) of the form U
V meets A
B. Hence every open set U containing x meets A and every open set V containing y meets B. Thus x
cl(A) and y
cl(B) and so (x, y)
cl(A)
cl(B).
An interval (a, b) = (-
, b)
(a,
) and since the intervals form a basis, the unbouded ones form a subbasis. However, taking unions of such intevals never gives a bounded set and so they do not form a basis.
U
(V = U
Y)
(X
V) and so every set in the basis can be written as such an intersection.
-neighbourhoods of rational points with
rational by taking ssuitable rational sequences converging to a (from above) and b (from below). Since these intervals form a basis the rational neighbourhoods do too. There are only countably many of these.
The map acts like :
To see that it is a homeomorphism take small open sets in each space and see what their images are.
To see that the closed square and quadrant are homeomorphic, take a different map which "shrinks back" along the radius as shown.
(0, 1) is the set:
(including the left-hand edge) while [0, 1)
[0, 1] is:
(including the edges marked).
To see that these are the same use a homeomorphism to map the squares to discs and then "expand the sector" to get a homeomorphism.