Theorem 4.9. A topological space X is normal if and only if for each closed set A in X and open set U containing A there exists an open set V such that A c V and V c U.

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
Topic Video
Question
100%

Could you explain how to show 4.9 in detail?

Theorem 4.8. A topological space X is regular if and only if for each point p in X and
open set U containing p there exists an open set V such that p E V and V C U.
Theorem 4.9. A topological space X is normal if and only if for each closed set A in X
and open set U containing A there exists an open set V such that A C V and V c U.
Definition. Let (X,J) be a topological space.
(1) X is a T1-space if and only if for every pair x, y of distinct points there are open sets
U, V such that U contains x but not y, and V contains y but not x.
(2) X is Hausdorff, or a T,-space, if and only if for every pair x, y of distinct points
there are disjoint open sets U,V such that x E U and y e V.
(3) X is regular if and only if for every point x € X and closed set A C X not containing
x, there are disjoint open sets U,V such that x E U and AcV. A T3-space is any
space that is both T and regular.
(4) X is normal if and only if for every pair of disjoint closed sets A, B in X, there are
disjoint open sets U,V such that A C U and B C V. A T4-space is any space that
is both T and normal.
Theorem 4.7. (1) A T2-space (Hausdorff) is a T1-space.
(2) A T3-space (regular and T¡) is a Hausdorff space, that is, a T,-space.
(3) A T4-space (normal and T¡) is regular and T1, that is, a T3-space.
Transcribed Image Text:Theorem 4.8. A topological space X is regular if and only if for each point p in X and open set U containing p there exists an open set V such that p E V and V C U. Theorem 4.9. A topological space X is normal if and only if for each closed set A in X and open set U containing A there exists an open set V such that A C V and V c U. Definition. Let (X,J) be a topological space. (1) X is a T1-space if and only if for every pair x, y of distinct points there are open sets U, V such that U contains x but not y, and V contains y but not x. (2) X is Hausdorff, or a T,-space, if and only if for every pair x, y of distinct points there are disjoint open sets U,V such that x E U and y e V. (3) X is regular if and only if for every point x € X and closed set A C X not containing x, there are disjoint open sets U,V such that x E U and AcV. A T3-space is any space that is both T and regular. (4) X is normal if and only if for every pair of disjoint closed sets A, B in X, there are disjoint open sets U,V such that A C U and B C V. A T4-space is any space that is both T and normal. Theorem 4.7. (1) A T2-space (Hausdorff) is a T1-space. (2) A T3-space (regular and T¡) is a Hausdorff space, that is, a T,-space. (3) A T4-space (normal and T¡) is regular and T1, that is, a T3-space.
Expert Solution
trending now

Trending now

This is a popular solution!

steps

Step by step

Solved in 7 steps

Blurred answer
Knowledge Booster
Algebraic Operations
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,