Question

In: Advanced Math

Suppose that X is a non-empty, complete, and countable metric space. Use Baire Category Theorem only...

Suppose that X is a non-empty, complete, and countable metric space. Use Baire Category Theorem only to prove directly that X has an isolated point. Include a precise statement of the theorem in your proof and indicate how it is being applied.

Solutions

Expert Solution

Let d be metric defined on the non empty set X which is countable and the metric space is complete.

Want to prove that: X has an isolated point.

We will prove it by the method of contradiction.

Now suppose X doesn't have any isolated point, which means every point is a limit point.

Now fix an enumeration

.

For any arbitrary let

,

Since every singleton set is closed, and complement of any closed set is an open set. Thus is an open set in X.

As we know every point of X is limit and adding or subtracting a single point doesn't affect on the limit points.

Therefore Closure set of is the whole X, which means is dense in X.

Now for each is open and dense in X.

Now consider the Baire category theorem, which states that

In a non-empty complete metric space X, intersection of countable family of open dense subset is dense in X.

Therefore using the above theorem:

is dense in X.

Now for any using the definition

Thus no elements of X, belongs to therefore

is an empty set which can not be a dense set.

This leads to a contradiction, that is, our assumption is wrong.

Therefore X has an isolated point.


Related Solutions

The metric space M is separable if it contains a countable dense subset. [Note the confusion...
The metric space M is separable if it contains a countable dense subset. [Note the confusion of language: “Separable” has nothing to do with “separation.”] (a) Prove that R^m is separable. (b) Prove that every compact metric space is separable.
Suppose K is a nonempty compact subset of a metric space X and x ∈ X....
Suppose K is a nonempty compact subset of a metric space X and x ∈ X. (i) Give an example of an x ∈ X for which there exists distinct points p, r ∈ K such that, for all q ∈ K, d(p, x) = d(r, x) ≤ d(q, x). (ii) Show, there is a point p ∈ K such that, for all other q ∈ K, d(p, x) ≤ d(q, x). [Suggestion: As a start, let S = {d(x,...
Let (X, d) be a metric space. Prove that every metric space (X, d) is homeomorphic...
Let (X, d) be a metric space. Prove that every metric space (X, d) is homeomorphic to a metric space (Y, dY ) of diameter at most 1.
Let X be a metric space and t: X to X be a map that preserves...
Let X be a metric space and t: X to X be a map that preserves distances: d(t(x), t(y)) = d(x, y). Give an example in whicht is not bijective. Could let t: x to x+1,x non-negative, but how does this mean t is not surjective? Any help will be much appreciated!
A metric space X is said to be locally path-connected if for every x ∈ X...
A metric space X is said to be locally path-connected if for every x ∈ X and every open neighborhood V of x in X, there exists a path-connected open neighborhood U of x in X with x ∈ U ⊂ V. (a) Show that connectedness + local path-connectedness ⇒ path-connectedness (b) Determine whether path-connectedness ⇒ local path-connectedness.
1(i) Show, if (X, d) is a metric space, then d∗ : X × X →...
1(i) Show, if (X, d) is a metric space, then d∗ : X × X → [0,∞) defined by d∗(x, y) = d(x, y) /1 + d(x, y) is a metric on X. Feel free to use the fact: if a, b are nonnegative real numbers and a ≤ b, then a/1+a ≤ b/1+b . 1(ii) Suppose A ⊂ B ⊂ R. Show, if A is not empty and B is bounded below, then both inf(A) and inf(B) exist and...
Let (X,d) be a metric space. The graph of f : X → R is the...
Let (X,d) be a metric space. The graph of f : X → R is the set {(x, y) E X X Rly = f(x)}. If X is connected and f is continuous, prove that the graph of f is also connected.
(a) Let <X, d> be a metric space and E ⊆ X. Show that E is...
(a) Let <X, d> be a metric space and E ⊆ X. Show that E is connected iff for all p, q ∈ E, there is a connected A ⊆ E with p, q ∈ E. b) Prove that every line segment between two points in R^k is connected, that is Ep,q = {tp + (1 − t)q | t ∈ [0, 1]} for any p not equal to q in R^k. C). Prove that every convex subset of R^k...
(Connected Spaces) (a) Let <X, d> be a metric space and E ⊆ X. Show that...
(Connected Spaces) (a) Let <X, d> be a metric space and E ⊆ X. Show that E is connected iff for all p, q ∈ E, there is a connected A ⊆ E with p, q ∈ E. b) Prove that every line segment between two points in R^k is connected, that is Ep,q = {tp + (1 − t)q | t ∈ [0, 1]} for any p not equal to q in R^k. C). Prove that every convex subset...
Answer for a and be should be answered independently. Let (X,d) be a metric space, and...
Answer for a and be should be answered independently. Let (X,d) be a metric space, and a) let A ⊆ X. Let U be the set of isolated points of A. Prove that U is relatively open in A. b) let U and V be subsets of X. Prove that if U is both open and closed, and V is both open and closed, then U ∩ V is also both open and closed.
ADVERTISEMENT
ADVERTISEMENT
ADVERTISEMENT