5.1: The following stat- X is disconnected.

Elements Of Modern Algebra
8th Edition
ISBN:9781285463230
Author:Gilbert, Linda, Jimmie
Publisher:Gilbert, Linda, Jimmie
Chapter5: Rings, Integral Domains, And Fields
Section5.4: Ordered Integral Domains
Problem 1E: Complete the proof of Theorem 5.30 by providing the following statements, where and are arbitrary...
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.
Similar questions
  • SEE MORE QUESTIONS
Recommended textbooks for you
Elements Of Modern Algebra
Elements Of Modern Algebra
Algebra
ISBN:
9781285463230
Author:
Gilbert, Linda, Jimmie
Publisher:
Cengage Learning,
Linear Algebra: A Modern Introduction
Linear Algebra: A Modern Introduction
Algebra
ISBN:
9781285463247
Author:
David Poole
Publisher:
Cengage Learning