• 沒有找到結果。

Let X be a connected metric space and U is a subset of X

N/A
N/A
Protected

Academic year: 2022

Share "Let X be a connected metric space and U is a subset of X"

Copied!
1
0
0

加載中.... (立即查看全文)

全文

(1)

1. Connectedness of a metric space

A metric (topological) space X is disconnected if it is the union of two disjoint nonempty open subsets. Otherwise, X is connected.

Theorem 1.1. Let X be a connected metric space and U is a subset of X. Assume that (1) U is nonempty.

(2) U is closed.

(3) U is open.

Then U = X.

Proof. Suppose U 6= X. Then V = X \ U is nonempty. Since U is closed, V = X \ U is open. Moreover, U ∩ V = ∅ and X = U ∪ V is a disjoint union of nonempty open subsets of X. This implies that X is disconnected which leads to contradiction to the assumption

that X is connected. 

Let X be a metric (topological) space and A be a subset of X. Then A is also a metric (topological) space of A. Every open set in A is of the form U ∩ A for some open set U of X.

We say that A is a (dis)connected subset of X if A is a (dis)connected metric (topological) space.

Theorem 1.2. Let X and A be as above. Then A is disconnected if and only if there exist open sets U, V in X so that

(1) U ∩ V ∩ A = ∅ (2) A ∩ U 6= ∅ (3) A ∩ V 6= ∅ (4) A ⊆ U ∩ V.

Proof. Suppose A is disconnected. Then A = U0 ∪ V0, where U0, V0 are disjoint open nonempty subsets in A. Since A is a subspace of X, there are open sets U, V so that U0 = U ∩ A and V0 = V ∩ A. Since A = U0∪ V0, A ⊆ U ∪ V. Since U0 and V0 are nonempty, U ∩ A and V ∩ A are nonempty. Moreover. U ∩ V ∩ A = U0∩ V0 is empty.

Conversely, suppose there are open subsets U, V obeying (1)-(4). Take U0 = U ∩ A and V0 = V ∩ A. Then U0, V0 are nonempty disjoint open subsets of A so that A = U0 ∪ V0. Hence A is disconnected.



1

參考文獻

相關文件

Locally ringed spaces together with morphisms defined here form a

A space X is said to be locally contractible if for each x ∈ X there exists an open neighborhood U of x so that U is contractible..

An analytic subset of X is said to be purely d-dimensional if all of its irreducible components are d-dimensional.. An algebraic manifold is an algebraic subset of P n such that it

(a) In a compact metric space X, every sequence contains a subsequence converging to a point in X, i.e... Then X has the leat-upper-bound property if and only if every Cauchy

 This theorem implies that the completion of a metric space is unique up to isomorphisms..

Remark: In class, we discuss the contraction mapping on a metric space X into X and prove that there exists a unique fixed point if X

A subset N of a metric space (M, d) is called sequentially compact if the metric subspace (N, d N ) is sequentially compact.. We obtain another equivalence of

A scheme is integral if it is nonempty and for every nonempty affine open set U ⊂ X, the ring O X (U ) is an integral domain..