Theorem 9.3. Let d be a metric on the set X. Then the collection of all open balls B = {B(p, e) = {y E X\d(p, y) < e} for every p E X and every e > 0} forms a basis for a topology on X.

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

How do i prove 9.3? Could you include step by step explanation? I included a question and some related definitions in my textbook.

Theorem 9.3. Let d be a metric on the set X. Then the collection of all open balls
B
(В (р, е) 3 {у € X/а(р, у) < e} for every p € X аnd every є > 0}
forms a basis for a topology on X.
Definition. A metric on a set M is a function d : M × M
non-negative real numbers) such that for all a, b, c E M, these properties hold:
R+ (where R, is the
(1) d(a, b) > 0, with d(a, b) = 0 if and only if a = b;
(2) d(a, b) = d(b, a);
(3) d(a, c) < d(a, b) + d(b, c).
These three properties are often summarized by saying that a metric is positive defi-
nite, symmetric, and satisfies the triangle inequality.
A metric space (M, d) is a set M with a metric d.
Example. The function d(x, y) = |x – y| is a metric on R. This measure of distance is
the standard metric on R.
Example. On any set M, we can define the discrete metric as follows: for any a, b e
М, d(а, b)
points are the same or different.
1 if a + b and d(a, a)
= 0. This metric basically tells us whether two
m
Example. Here's a strange metric on Q: for reduced fractions, let d(÷, “) = max(|a –
b’ n
m], |b – n|). Which rationals are "close" to one another under this metric?
Transcribed Image Text:Theorem 9.3. Let d be a metric on the set X. Then the collection of all open balls B (В (р, е) 3 {у € X/а(р, у) < e} for every p € X аnd every є > 0} forms a basis for a topology on X. Definition. A metric on a set M is a function d : M × M non-negative real numbers) such that for all a, b, c E M, these properties hold: R+ (where R, is the (1) d(a, b) > 0, with d(a, b) = 0 if and only if a = b; (2) d(a, b) = d(b, a); (3) d(a, c) < d(a, b) + d(b, c). These three properties are often summarized by saying that a metric is positive defi- nite, symmetric, and satisfies the triangle inequality. A metric space (M, d) is a set M with a metric d. Example. The function d(x, y) = |x – y| is a metric on R. This measure of distance is the standard metric on R. Example. On any set M, we can define the discrete metric as follows: for any a, b e М, d(а, b) points are the same or different. 1 if a + b and d(a, a) = 0. This metric basically tells us whether two m Example. Here's a strange metric on Q: for reduced fractions, let d(÷, “) = max(|a – b’ n m], |b – n|). Which rationals are "close" to one another under this metric?
Definition. Let I be a topology on a set X, and let B C J. Then B is a basis for the
topology T if and only if every open set in T is the union of elements of B. If B E B,
we say B is a basis element or basic open set. Note that B is an element of the basis
B, but a subset of the space X.
Theorem 3.1. Let (X,J) be a topological space, and let B be a collection of subsets of X.
Then B is a basis for T if and only if
(1) В С Т, апd
(2) for each set U in T and point p in U there is a set V in B such that p E V C U.
Theorem 3.3. Suppose X is a set and B is a collection of subsets of X. Then B is a basis
for some topology on X if and only if
(1) each point of X is in some element of B, and
(2) if U and V are sets in B and p is a point in U n V, there is a set W in B such that
peW C (Un V).
Transcribed Image Text:Definition. Let I be a topology on a set X, and let B C J. Then B is a basis for the topology T if and only if every open set in T is the union of elements of B. If B E B, we say B is a basis element or basic open set. Note that B is an element of the basis B, but a subset of the space X. Theorem 3.1. Let (X,J) be a topological space, and let B be a collection of subsets of X. Then B is a basis for T if and only if (1) В С Т, апd (2) for each set U in T and point p in U there is a set V in B such that p E V C U. Theorem 3.3. Suppose X is a set and B is a collection of subsets of X. Then B is a basis for some topology on X if and only if (1) each point of X is in some element of B, and (2) if U and V are sets in B and p is a point in U n V, there is a set W in B such that peW C (Un V).
Expert Solution
trending now

Trending now

This is a popular solution!

steps

Step by step

Solved in 2 steps with 2 images

Blurred answer
Knowledge Booster
Linear Equations
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,