Scribd
Upload
46 views2 pages

U565sp06 Midsol

This document contains solutions to problems in the topology midterm exam for MTH U565 at Spring 2006. It includes proofs that: (1) if a function g composed with a continuous and closed function f is continuous, then g is continuous; (2) a space is Hausdorff if and only if its diagonal is closed; and (3) the quotient space of an interval identifying an open subinterval to a point is not Hausdorff.

Uploaded by

Sara
Copyright
© Attribution Non-Commercial (BY-NC)
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
46 views2 pages

U565sp06 Midsol

This document contains solutions to problems in the topology midterm exam for MTH U565 at Spring 2006. It includes proofs that: (1) if a function g composed with a continuous and closed function f is continuous, then g is continuous; (2) a space is Hausdorff if and only if its diagonal is closed; and (3) the quotient space of an interval identifying an open subinterval to a point is not Hausdorff.

Uploaded by

Sara
Copyright
© Attribution Non-Commercial (BY-NC)
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 2

Prof.

Alexandru Suciu MTH U565 TOPOLOGY Spring 2006

Solutions for the Midterm Exam


1. Let f : X Y be a continuous surjection, and suppose f is a closed map. Let g : Y Z be a function so that g f : X Z is continuous. Show that g is continuous. Proof. It is enough to show: For every closed subset F Z, the subset g 1 (F ) Y is closed. Now, by continuity of g f , we know that (g f )1 (F ) = f 1 (g 1 (F )) is a closed subset of X. Since f is a closed map, it takes this closed subset of X to a closed subset of Y . But f ((g f )1 (F )) = f (f 1 (g 1 (F ))) = g 1 (F ), since f is surjective. Hence, g 1 (F ) is closed. 2. Let X be a space. Show that X is Hausdor if, and only if, the diagonal := {(x, x) | x X} is a closed subspace of X X. Proof. Suppose X is a Hausdor space. We need to show that the complement of the diagonal, c := X X \ , is open. So let (x, y) c . Then x = y, and so there are disjoint open sets U and V , containing x and y, respectively. By denition of the product topology, U V is an open subset of X X, and clearly U V c (for otherwise U V = ). This shows that c is open. Conversely, suppose is closed, that is to say, c is open. Let x and y be two distinct elements of X. Then (x, y) c , and so there is a basis open set U V c containing (x, y). Now note that U and V are open, disjoint subsets of X, containing x and y, respectively. This shows that X is Hausdor.
1 3 3. Let X = [0, 1]/( 4 , 4 ) be the quotient space of the unit interval, where the open 1 interval ( 4 , 3 ) is identied to a single point. Show that X is not a Hausdor space. 4

Proof. Recall that in a quotient space X/A = (X \ A) {}, the open sets are of one of two types: (1) either an open set in X \ A; or (2) of the form {} (W (X \ A)), where W is an open set in X, containing A. 3 In our situation, X = [0, 1] and A = ( 1 , 4 ). Take x = 1 and y = 3 , viewed 4 4 4 as elements of X/A. Suppose U and and V are open, disjoint subsets of X/A, containing x and y, respectively. Then, necessarily, both U and V must be of type

MTH U565

Solutions for Midterm Exam

Spring 2006

(2), since an open subset of [0, 1] containing one of the endpoints of the interval 1 ( 4 , 3 ) must intersect that interval. But then both U and V must contain the 4 element {}, and thus cannot be disjointa contradiction. 4. Let X be a Hausdor space. Suppose A is a compact subspace, and x X \ A. Show that there exist disjoint open sets U and V containing A and x, respectively. Proof. Let y A. Since x X \ A, we see that y = x. Since X is Hausdor, there are open, disjoint sets Uy and Vy containing y and x, respectively. Now note that {Uy }yA is an open cover of A. Since A is compact, this cover admits a nite subcover, say, Uy1 , . . . , Uyn . Dene:
n n

U :=
i=1

Uyi

and V :=
i=1

Vyi .

It is readily seen that U and V are the desired open sets. 5. Let p : X Y be a quotient map. Suppose Y is connected, and, for each y Y , the subspace p1 ({y}) is connected. Show that X is connected. Proof. Suppose X is disconnected, that is, there are disjoint, open, non-empty sets U and V such that X = U V . Consider the subsets p(U ) and p(V ) of Y : they are both open (since U and V are open, and p is a quotient map), and non-empty (since U and V are non-empty). Thus, by the connectivity of Y , the sets p(U ) and p(V ) cannot be disjoint. So let y p(U ) p(V ). We then have p1 ({y}) = U p1 ({y}) V p1 ({y}) . Both sets on the right side are open subsets of p1 ({y}) (by denition of the subspace topology), and both are non-empty (since y p(U ) means y = p(x), for some x U , and so x U p1 ({y}), and similarly for the other subset). Thus, by the connectivity of p1 ({y}), these sets U p1 ({y}) and V p1 ({y}) cannot be disjoint. This means there is a z U V p1 ({y}). Consequently, U V = , a contradiction. 6. Let X be a discrete topological space, and let be an equivalence relation on X. Prove that X/ , endowed with the quotient topology, is also a discrete space. Proof. Let p : X X/ be the quotient map. By denition of quotient topology, a subset U of X/ is open if and only if p1 (U ) is an open subset of X. But every subset of X is open (since X has the discrete topology). Hence, every subset of X/ is open; that is to say, X/ is discrete.

You might also like

pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy