Metric Spaces
[48/94%]Let be a subset of . Let be the set of points in with the property that is uncountable for every . Prove that is finite or countable.
Let be uncountable.
Show that has at least one accumulation point.
Show that has uncountably many accumulation points.
Let be a doubly indexed set in a complete metric space such that
Prove that the iterated limits , exist and are equal.
Let be the interior of a triangle in with vertices . Let be the interior of the triangle whose vertices are the midpoints of the sides of , the interior of the triangle whose vertices are the midpoints of the sides of , and so on. Describe the set .
Let be a compact subset of and a sequence of open balls that covers . Prove that there is a positive number such that each -ball centered at a point of is contained in one of the balls .
Prove or disprove: The set of rational numbers is the intersection of a countable family of open subsets of .
Let be a nonempty connected set of real numbers. If every element of is rational, prove has only one element.
Give an example of a subset of having uncountably many connected components. Can such a subset be open? Closed?
Let be continuous (). Let be a compact subset of . Suppose uniformly on . Prove that
is compact.
Show that the interval cannot be written as a countably infinite disjoint union of closed subintervals of .
Let and be nonempty subsets of a metric space . Define
Suppose contains only one point , and is closed. Prove
for some .
Suppose is compact and is closed. Prove
for some , .
Show by example that the conclusion of Part 2 can be false if and are closed but not compact.
Let be a subset which is uncountable. Prove that there is a sequence of distinct points in converging to a point of .
Let be a closed set and a fixed positive real number. Let . Show that is closed.
Show that every infinite closed subset of is the closure of a countable set.
Let be a cover of by open sets. Prove that there is a cover such that
for each ;
each compact subset of is disjoint from all but finitely many of the .
A standard theorem states that a continuous real valued function on a compact set is bounded. Prove the converse: If is a subset of and if every continuous real valued function on is bounded, then is compact.
Let be compact, ; let be a sequence in such that every convergent subsequence of converges to .
Prove that the entire sequence converges.
Give an example to show that if is not compact, the result in Part 1 is not necessarily true.
Let be compact and let be continuous. Given , show there is an such that for all ,
Let be a family of connected subsets of all containing the origin. Prove that is connected.
Consider the following properties of a function :
-
is continuous.
-
The graph of is connected in . Prove or disprove the implications , .
Let be a nonempty, proper, open subset of . Construct a function that is discontinuous at each point of and continuous at each point of .
Prove or give a counterexample: Every connected, locally pathwise connected set in is pathwise connected.
The set of real symmetric matrices is a real, finite-dimensional vector space isomorphic to . Show that the subset of such matrices of signature is an open connected subspace in the usual topology on .
Let be the vector space of real matrices, identified with . Let be a compact set. Let be the set of all numbers that are eigenvalues of at least one element of . Prove that is compact.
Let denote the group of orthogonal transformations of of determinant . Let be the subset of symmetric transformations . Let denote the space of lines through the origin in .
Show that and are compact metric spaces (in their usual topologies).
Show that and are homeomorphic.
Let and be positive integers, with . Let be the space of linear transformations of into (considered as matrices) and let be the set of transformations in which have rank .
Show that is an open subset of .
Show that there is a continuous function such that for all , where is the identity on .
Let be the space of real matrices. Regard it as a metric space with the distance function
Prove that the set of nilpotent matrices in is a closed set.
Let be an uncountable subset of . Prove that there exists a real number such that both sets and are uncountable.
Let and be metric spaces. Assume that:
-
are bijective functions of onto with inverses
-
is uniformly continuous
-
uniformly as . Prove that uniformly as .
Let be nonempty closed subsets of a complete metric space with for all positive integers , and such that , where is defined to be
Prove that .
Let be a subset of a compact metric space . Assume that, for every continuous function , the restriction of to attains a maximum on . Prove that is compact.
Let be a metric space and a convergent sequence in with limit . Prove that the set is compact.
Prove that every compact metric space has a countable dense subset.
Let be a compact metric space and an isometry. Show that .
Let be a metric space with metric . Let be a nonempty closed subset of . Define by
Show that is continuous, and that if and only if .
Let be the set of real valued functions on the closed interval such that
;
is finite, where by definition
Verify that is a norm for the space , and prove that is complete with respect to this norm.
Let be a uniformly bounded equicontinuous sequence of real-valued functions on the compact metric space . Define the functions , for by
Prove that the sequence converges uniformly.
Let be a uniformly bounded, equicontinuous family of real valued functions on the metric space . Prove that the function
is continuous.
Let and be metric spaces and a continuous map of into . Let be nonempty compact subsets of such that for all , and let . Prove that .
Let and be metric spaces and a continuous surjective map such that for every pair of points in .
If is complete, must be complete? Give a proof or a counterexample.
If is complete, must be complete? Give a proof or a counterexample.
An accurate map of California is spread out flat on a table in Evans Hall, in Berkeley. Prove that there is exactly one point on the map lying directly over the point it represents.
Define a sequence of positive numbers as follows. Let be any positive number, and let . Prove that this sequence converges, and find its limit.
Let be monotonically increasing (perhaps discontinuous). Suppose and . Prove for some .
Let be a nonempty compact set in a metric space with distance function . Suppose that satisfies
for all in . Show there exists precisely one point such that .
Let be a continuous function on the unit square satisfying for all and . Show that there is a continuous function on such that we have
Can there be more than one such function ?
Let be a continuous real valued function on . Prove that there exists a continuous real valued function on satisfying the equation
Show there is a unique continuous real valued function such that
Let be a nonempty complete metric space. Let map into , and write for ; that is, . Suppose that is a strict contraction; that is, there is a constant such that for all points , . Show that has a unique fixed point in .