et A be a non-empty subset of a metric space (X,d) and x an element of X. Define the distance from x to A as d(x, A) = inf{d(x, a) : a ¤ A}. (i) Prove that the function fĄ: X → R, defined as ƒÃ(x) = d(x, A) satisfies |ƒÃ(x) — ƒ^(y)| ≤ d(x, y) Vx, y ≤ X, and that fa is continuous on X. (ii) Prove that A = {x : x € X and f₁(x) = 0}. iii) Suppose A and B are nonempty disjoint closed subsets of X. Use the function g = fA- fB to prove that there exist disjoint open sets U and V with ACU and BCV.

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

Could you teach me how to show this in detail?

Let \( A \) be a non-empty subset of a metric space \((X, d)\) and \( x \) an element of \( X \). Define the distance from \( x \) to \( A \) as

\[
d(x, A) = \inf\{d(x, a) : a \in A\}.
\]

(i) Prove that the function \( f_A : X \to \mathbb{R} \), defined as \( f_A(x) = d(x, A) \), satisfies

\[
|f_A(x) - f_A(y)| \leq d(x, y) \quad \forall x, y \in X,
\]

and that \( f_A \) is continuous on \( X \).

(ii) Prove that \( \overline{A} = \{x : x \in X \text{ and } f_A(x) = 0\} \).

(iii) Suppose \( A \) and \( B \) are nonempty disjoint closed subsets of \( X \). Use the function \( g := f_A - f_B \) to prove that there exist disjoint open sets \( U \) and \( V \) with \( A \subseteq U \) and \( B \subseteq V \).
Transcribed Image Text:Let \( A \) be a non-empty subset of a metric space \((X, d)\) and \( x \) an element of \( X \). Define the distance from \( x \) to \( A \) as \[ d(x, A) = \inf\{d(x, a) : a \in A\}. \] (i) Prove that the function \( f_A : X \to \mathbb{R} \), defined as \( f_A(x) = d(x, A) \), satisfies \[ |f_A(x) - f_A(y)| \leq d(x, y) \quad \forall x, y \in X, \] and that \( f_A \) is continuous on \( X \). (ii) Prove that \( \overline{A} = \{x : x \in X \text{ and } f_A(x) = 0\} \). (iii) Suppose \( A \) and \( B \) are nonempty disjoint closed subsets of \( X \). Use the function \( g := f_A - f_B \) to prove that there exist disjoint open sets \( U \) and \( V \) with \( A \subseteq U \) and \( B \subseteq V \).
Expert Solution
trending now

Trending now

This is a popular solution!

steps

Step by step

Solved in 3 steps with 3 images

Blurred answer
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,