5.1: The following stat- X is disconnected.

Advanced Engineering Mathematics
10th Edition
ISBN:9780470458365
Author:Erwin Kreyszig
Publisher:Erwin Kreyszig
Chapter2: Second-order Linear Odes
Section: Chapter Questions
Problem 1RQ
icon
Related questions
icon
Concept explainers
Topic Video
Question
100%
Fill in all details in (1)=>(4) And (4)=>(1) complete details
Theorem 5.1: The following statements are equivalent for a topological space X:
(1) X is disconnected.
(2) X is the union of two disjoint, non-empty closed sets.
(3) X is the union of two separated sets.
(4) There is a continuous function from X onto a discrete two-point space
{a, b}.
(5) X has a proper subset A which is both open and closed.
(6) X has a proper subset A such that
ĀnX\A) = Ø.
Proof: It will be shown that (1) implies each of the other statements and that each
statement implies (1). Assume first that X is disconnected and let A, B be disjoint,
non-empty open sets whose union is X.
134
FIVE / CONNECTEDNESS
((1) - (2)): B=X\A and A = X\B are disjoint, non-empty closed sets whose
union is X.
((1) - (3)): Since A and B are closed as well as open, then
ĀNB= ANB = Ø, ANB = ANB = Ø,
so X is the union of the separated sets A and B.
(1) → (4)): The function f: X → {a, b} defined by
:-
if xE A
if xEB
f(x) =
is continuous and maps X onto the discrete space {a, b}.
[(1) → (5)]: A + Ø, and
A = X\B + X
since B + Ø. Thus A is the required set. (B will do equally well.)
((1) - (6)): Either A or B can be used as the required set.
((2) - (1)): IfX = CUD where C and D are disjoint, non-empty closed
sets, then
D = X\C, C = X\D
are open as well as closed.
[(3) - (1): If X is the union of separated sets C and D, then C and D are
both non-empty, by definition. Since X = C UD and ČnD =
Ø, then ČCC, so C is closed. The same argument shows that
D is also closed, and it follows as before that C and D must be
onen as well.
[(4) → (1)): If f:X→ {a, b} is continuous, thenf~'(a) andf-'b) are disjoint
open subsets of X whose union is X. Since f is required to have
both a and b as images, both f-@) and f-'(b) are non-empty.
[(5) - (1)): Suppose X has a proper subset A which is both open and closed.
Then B = X\A is a non-empty open set disjoint from A for which
X = AUB.
(6) - (1)): Suppose X has a proper subset A for which
ĀNXA) = Ø.
Then Ā and (X\A) are disjoint, non-empty closed sets whose
union is X, and it follows as before that Ā and (X\A) are also
орen.
Transcribed Image Text:Theorem 5.1: The following statements are equivalent for a topological space X: (1) X is disconnected. (2) X is the union of two disjoint, non-empty closed sets. (3) X is the union of two separated sets. (4) There is a continuous function from X onto a discrete two-point space {a, b}. (5) X has a proper subset A which is both open and closed. (6) X has a proper subset A such that ĀnX\A) = Ø. Proof: It will be shown that (1) implies each of the other statements and that each statement implies (1). Assume first that X is disconnected and let A, B be disjoint, non-empty open sets whose union is X. 134 FIVE / CONNECTEDNESS ((1) - (2)): B=X\A and A = X\B are disjoint, non-empty closed sets whose union is X. ((1) - (3)): Since A and B are closed as well as open, then ĀNB= ANB = Ø, ANB = ANB = Ø, so X is the union of the separated sets A and B. (1) → (4)): The function f: X → {a, b} defined by :- if xE A if xEB f(x) = is continuous and maps X onto the discrete space {a, b}. [(1) → (5)]: A + Ø, and A = X\B + X since B + Ø. Thus A is the required set. (B will do equally well.) ((1) - (6)): Either A or B can be used as the required set. ((2) - (1)): IfX = CUD where C and D are disjoint, non-empty closed sets, then D = X\C, C = X\D are open as well as closed. [(3) - (1): If X is the union of separated sets C and D, then C and D are both non-empty, by definition. Since X = C UD and ČnD = Ø, then ČCC, so C is closed. The same argument shows that D is also closed, and it follows as before that C and D must be onen as well. [(4) → (1)): If f:X→ {a, b} is continuous, thenf~'(a) andf-'b) are disjoint open subsets of X whose union is X. Since f is required to have both a and b as images, both f-@) and f-'(b) are non-empty. [(5) - (1)): Suppose X has a proper subset A which is both open and closed. Then B = X\A is a non-empty open set disjoint from A for which X = AUB. (6) - (1)): Suppose X has a proper subset A for which ĀNXA) = Ø. Then Ā and (X\A) are disjoint, non-empty closed sets whose union is X, and it follows as before that Ā and (X\A) are also орen.
Expert Solution
steps

Step by step

Solved in 2 steps with 2 images

Blurred answer
Knowledge Booster
Centre, Spread, and Shape of a Distribution
Learn more about
Need a deep-dive on the concept behind this application? Look no further. Learn more about this topic, advanced-math and related others by exploring similar questions and additional content below.
Recommended textbooks for you
Advanced Engineering Mathematics
Advanced Engineering Mathematics
Advanced Math
ISBN:
9780470458365
Author:
Erwin Kreyszig
Publisher:
Wiley, John & Sons, Incorporated
Numerical Methods for Engineers
Numerical Methods for Engineers
Advanced Math
ISBN:
9780073397924
Author:
Steven C. Chapra Dr., Raymond P. Canale
Publisher:
McGraw-Hill Education
Introductory Mathematics for Engineering Applicat…
Introductory Mathematics for Engineering Applicat…
Advanced Math
ISBN:
9781118141809
Author:
Nathan Klingbeil
Publisher:
WILEY
Mathematics For Machine Technology
Mathematics For Machine Technology
Advanced Math
ISBN:
9781337798310
Author:
Peterson, John.
Publisher:
Cengage Learning,
Basic Technical Mathematics
Basic Technical Mathematics
Advanced Math
ISBN:
9780134437705
Author:
Washington
Publisher:
PEARSON
Topology
Topology
Advanced Math
ISBN:
9780134689517
Author:
Munkres, James R.
Publisher:
Pearson,