# Like this study set? Create a free account to save it.

math

### Thm 27.1: Let X be a simply ____ set having the ______ property. In the order topology, each closed interval in X is ________.

ordered; least upper bound; compact

### Thm 27.3: A subspace A of R^n is cpt <=> it is ___ and ___ in the ____ and ____ metrics.

closed; bounded; euclidean "d"; square "p"

### Thm 27.4: Extreme value thm: Let f: X ->Y be _____, where Y is an ___ set in the ____ topology. If X is ____, then there exists points "c" and "d" in X s.t. f(c) <=f(x)<=f(d) for every x in X

continuous; ordered; order; compact

### Defn: distance from A: Let (X, d) be a metric space; let "A" be a nonempty subset of "X." For each x in X, we define the distance from x to A by the equation

d(x, A)=inf{d(x, a)| a in A}.

### Lemma 27.5 (The Lebesgue number lemma). Let A be an open covering of the metric space (X, d). If X is ____, there exists a delta>0 s.t. for each ______ of X having _______ less than delta, there exists an element of A containing it.

compact; subset; diameter

(delta is called the Lebesgue number for the covering A).

### Defn: A function f from the metric space (X, dx) to the metric space (Y, dy) is said to be unifromly continuous if given epsilon>0, there is a delta>0 s.t. for every pair of points x0, x1 of X,

dx(x0, x1)<delta -> dy(f(x0), f(x1))<epsilon

### Thm 27.6 (Uniform continuity theorem). Let f: X ->Y be a ______ map of the _____ metric space (X, dx) to the metric space (Y, dy). Then f is ________ continuous.

continuous; compact; uniformly

### Defn: If X is a space, a point x of X is said to be an "isolated point" of X if the one-point set {x} is _______ in X.

open

### Thm 27.7 Let X be a nonempty ______ Hausdorff space. If X has no isolated points, then X is ________.

compact; uncountable

### Defn: A space X is said to be "limit point compact" if every infinite subset of X has a ______ pt.

limit

### Defn: Let X be a topo. space. If (x_n) is a sequence of pts of X, and if n1<n2<...<ni<... is an increasing sequence of positive integers, then the sequence (y_i) defined by setting yi=x_ni is called a ________ of the sequence (x_n).

subsequence

### The space X is said to be _______ cpt if every sequence of points of X has a ________ subsequence.

sequentially; convergent

###
Thm 28.2 Let X be a metrizable space. Then the following are equivalent:

(1) X is _____

(2) X is _____ _____ cpt

(3) X is _________ cpt

compact; limit point; sequentially

### A space X is said to have a ______ ______ at X if there is a ______ collection B of nbhds of x s.t. each nbhd of x contains at least one of the elts of B.

countable basis; countable

### A space that has a countable basis at each of its points is said to satisfy the _____ ________ axiom, or to be _______ _______.

first countability; first-countable

### Thm 30.1 (a) Let X be a topo. space. (a) Let A be a subset of X. If there is a sequence of points of A converging to x, then x in A closure; the converse holds if X is ____ _______.

first-countable

### Thm 30.1 (b) Let f: X->Y. If f is continuous, then for every________ sequence xn->x in X, the sequence f(xn) converges to f(x). THe converse holds if X is ______ ________.

convergent; first-countable

### Defn: If a space X has a countable basis for its topology, then X is said to be _____ ______.

second-countable.

### Thm 30.3a: Suppose that X has a countable basis. Then, every open covering of X contains a _____ subcollection covering X.

countable

### Thm 30.3b: Suppose that X has a countable basis. Then, there exists a _____ subset of X that is _____ in X.

countable; dense

### A space for which every open covering contains a countable subcovering is called a _____ space.

Lindelof

### Lindelof and separable spaces possess the ____ ________ axiom when the space is ______.

second countability; metrizable

### The real line R has a ______ basis: the collection of all open intvls (a, b) with _______ end points.

countable; rational

### In the uniform topology, R^omega satisfies the first countability axiom (being ______). However it does not satisfy the ______.

metrizable; second

### A _____ of a Lindelof space need not be _____.

subspace; Lindelof

The ordered square is compact; therefore it is Lindelof; However, the subspace A=I x (0, 1) is not Lindelof

### Defn: regular space: Suppose that one-point sets are ______ in X. Then X is said to be "regular" if for each pair consisting of a point x and a _______ set B disjoint from x, there exist _______, _________ sets containing x and B respectively.

closed; closed; disjoint, open

### Defn: normal space: The space X is said to be "normal" if for each pair A, B of disjoint _____ sets of X, there exist disjoint _____ sets, containing A and B respectively

closed; open

### Lemma 31.1a: Let X be a topological space. Let one-point sets in X be closed. X is ______ <=> given a point x of X and a nbhd U of x, there is a nbhd V of x s.t. _______ subset of U

regular; closure(V)

### Lemma 31.1b: X is _______ <=>given a closed set A and an _____ set U containing A, there is an open set V containing __ s.t. closure(V) subset of ____

normal; open; A; U

### Thm 31.2a) A subspace of a Hausdorff space is ________; a product of ______ spaces is Hausdorff

Hausdorff; Hausdorff

### Thm 31.2b) A subspace of a ______ space is ______; a product of ______ spaces is ______.

regular; regular; regular; regular

### X is completely normal <=> for every pair A, B of separated sets in X, there exist _____ _____ sets containing them

disjoint; open

### Thm 33.1: Urysohn lemma: Let X be a ______ space; let A and B be disjoint ______ subsets of X. Let [a, b] be a closed interval in the ______ line. Then there exists a continuous map f: X->[a, b] s.t. f(x)=a for every x in A and f(x)=b for every x in B

normal; closed; real

### Defn: If A and B are two subsets of the topo. space X, and if there is a _________ function f: X-> [0, 1] s.t. f(A)={0} and f(B)={1}, we say that A and B can be "________ by a continuous function"

continuous; separated

### Defn: A space X is "________ regular" if one-point sets are closed in X and if for each point x0 and each _______ set A not containing x0, there is a continuous function f: X->[0, 1] s.t. f(x0)=1 and f(A)={0}

completely; closed

### Thm 33.2: A subspace of a ________ regular space is _______ regular. A product of ______ regular spaces is _____ _________.

completely; completely; completely; completely regular

### Thm 34.1 (Urysohn metrization thm): Every regular space X with a ______ basis is _________.

countable; metrizable

### Give a direct proof of the Urysohn lemma for a metric space (X, d) by setting f(x)=

f(x)=d(x, A)/( d(x,A)+d(x, B) )

### Let X be a compact, _______ space. Show that X is metrizable <=> X has a ______ basis.

Hausdorff; countable

### Thm 34.2 (Imbedding Thm). Let X be a space in which one-point sets are closed. Suppose that "{f_\alpha}_\alpha \in J" is an indexed family of continuous functions "f_\alpha: X \to R" satisfying the requirement that for each point x0 of X and each nbhd U of x0, there is an index "alpha" s.t. "f_\alpha" is _____ at x0 and ______ outside U. Then the function F: X -> R^J defined by "F(x)=(f_\alpha(x))_\alpha \in J" is an ________ of X in R^J. If f_\alpha maps X into [0, 1] for each \alpha, then F imbeds X in [0, 1]^J

positive; vanishes; imbedding

### Thm 34.3: A space X is completely _______ <=> it is ________ to a subspace of [0, 1]^J for some J

regular; homeomorphic

### Thm 35.1a (Tietze extension thm). Let X be a ______ space; let A be a _____ subspace of X. Then, any continuous map of A into the closed interval [a, b] of R ma be extended to a ______ map of all of X into [a, b].

normal; closed; continuous