Course MT4522 Metric and Topological Spaces

Solution 6

  1. A subset U is closed in the subspace topology iff A - U is open in the subspace topology iff A - U = A intersect Y for Y open in X iff U = A intersect (X - Y) and X - Y is a closed subset of X.

    1. This is false. Take U = A = [0, 1] subset 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).
    2. This is also false. Take U = A = (0, 1) subset R = X and argue similarly.

  2. To prove that curlyT1 and curlyT2 are topologies it is easiest to work with closed sets.
    In curlyT1 proper closed sets are finite and this set is easily seen to be closed (!) under arbitrary unions and finite intersections.

    In curlyT2 proper closed sets are either finite or contain 1. Again it is easily seen to be closed under arbitrary unions and finite intersections.

    curlyT2 is stronger (more open sets) than curlyT1 and so the identity map from (X, curlyT2) to (X, curlyT1) is continuous but its inverse is not.

    Consider the map g: (X, curlyT1) rarrow (X, curlyT2). The set B = N - {1} is open in curlyT2 but g-1(B) = 2N and is not open in curlyT1 . Hence this map is not continuous.

    Consider the map g: (X, curlyT2) rarrow (X, curlyT1). Take U belongs curlyT1 . Then N - U is finite.
    If 1 notbelongs U then since g(1) = 1, we have 1 notbelongs g-1(U) and so g-1(U) is open.
    If 1 belongs 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.

    1. We prove these sets equal by proving a double inclusion.
      So suppose (x, y) belongs cl(A) cross cl(B). Let W be an open set containing (x, y) in cl(A) cross cl(B). Then W contains a subset of the form U cross V with x belongs U and U open in X and y belongs V and V open in Y since sets of this form are a basis for the topology. But U meets A (since x belongs cl(A) ) and V meets B. So U cross V and hence W meet A cross B. Hence (x, y) belongs cl(A cross B).

      To prove the other inclusion, suppose now that (x, y) belongs cl(A cross B). Then every open set containing (x, y) of the form U cross V meets A cross B. Hence every open set U containing x meets A and every open set V containing y meets B. Thus x belongs cl(A) and y belongs cl(B) and so (x, y) belongs cl(A) cross cl(B).

    2. One may use a similar double inclusion or use the fact (Exercise!) that int(A) = X - cl(X - A).

  3. If an open set A is a union (over i) of intersections (over j) of sets Ui,j of sets of the subbasis then f -1(A) is the corresponding union of intersections of the f -1(Ui,j) and providing all these are open the union of the (finite) intersections of them will be too.

    An interval (a, b) = (-infinity, b) intersect (a, infinity) 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 cross (V = U cross Y) intersect (X cross V) and so every set in the basis can be written as such an intersection.

  4. Any open interval (a, b) in R can be written as a union of epsilon-neighbourhoods of rational points with epsilon 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.
    Every basis for the discrete topology must contain all the "singleton" sets and so is uncountable.

  5. The map acts like :
    It is easy to see that this is a bijection. (It would not be if we took the closed square and quadrant.)

    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.


  6. The space [0, 1) cross (0, 1) is the set: (including the left-hand edge) while [0, 1) cross [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.