Theorem 2.47. Suppose B is a basis for a topology on X and Yc X. Then By := {BnY || BE B} is a basis for the subspace topology on Y.

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

Please solve THEOREM 2.47 in DETAIL. i posted this earlier and someone posted the wrong answer from CHEGG, so please dont do that. only attempt if you know the answer.

2.5. Basis for a Topology. Sometimes a topology on a set is too complicated to list all
the open sets. In that case, we use a smaller collection of open sets, called a basis to generate
the desired topology.
Exercise 2.40. You have already seen this idea in a few previous exercises, examples, and
problems. Which ones?
Definition 2.41. A set B is a basis for a topology on a set X provided B satisfies the
following axioms:
(1) UB = X.
(2) VB1, B2 € B,Vx € B1N B2,3B3 € B,x € B3 C BỊn B2.
The topology T on X generated by B is defined by
T:= {U c X | 3C C B,U = UC}.
In other words, U €T iff U is a union of elements of B.
Exercise 2.42. Show that: (1) The topology generated by a basis is a topology. (2) The
sets in the basis are open sets in that topology.
Proposition 2.43. Let X be a space with topology T and B a subcollection of T such that
for all U E T, for all x e U, there erists B e B such that x € B C U. Then B is a basis
that generates the topology T on X.
We can do it even cheaper!
Definition 2.44. A set S is a subbasis for a topology on a set X provided US = x.
The topology I on X generated by S is defined to be the collection of all unions of finite
intersections of elements of S.
Problem 2.45. Can you define the basis generated by a subbasis?
Exercise 2.46. Show that: (1) The topology generated by a subbasis is a topology. (2) The
sets in the subbasis are open sets in that topology.
Theorem 2.47. Suppose B is a basis for a topology on X and Y c X. Then By := {BnY ||
BE B} is a basis for the subspace topology on Y.
Transcribed Image Text:2.5. Basis for a Topology. Sometimes a topology on a set is too complicated to list all the open sets. In that case, we use a smaller collection of open sets, called a basis to generate the desired topology. Exercise 2.40. You have already seen this idea in a few previous exercises, examples, and problems. Which ones? Definition 2.41. A set B is a basis for a topology on a set X provided B satisfies the following axioms: (1) UB = X. (2) VB1, B2 € B,Vx € B1N B2,3B3 € B,x € B3 C BỊn B2. The topology T on X generated by B is defined by T:= {U c X | 3C C B,U = UC}. In other words, U €T iff U is a union of elements of B. Exercise 2.42. Show that: (1) The topology generated by a basis is a topology. (2) The sets in the basis are open sets in that topology. Proposition 2.43. Let X be a space with topology T and B a subcollection of T such that for all U E T, for all x e U, there erists B e B such that x € B C U. Then B is a basis that generates the topology T on X. We can do it even cheaper! Definition 2.44. A set S is a subbasis for a topology on a set X provided US = x. The topology I on X generated by S is defined to be the collection of all unions of finite intersections of elements of S. Problem 2.45. Can you define the basis generated by a subbasis? Exercise 2.46. Show that: (1) The topology generated by a subbasis is a topology. (2) The sets in the subbasis are open sets in that topology. Theorem 2.47. Suppose B is a basis for a topology on X and Y c X. Then By := {BnY || BE B} is a basis for the subspace topology on Y.
Expert Solution
steps

Step by step

Solved in 2 steps

Blurred answer
Knowledge Booster
Propositional Calculus
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,