Homework Help is Here – Start Your Trial Now!
Math
Advanced Math
Problem 1. Let E be a real vector space, F be a closed subspace of E, and a € E\F. Set d(a, F) inf{||a - r||; x € F}. 1. Show that if F ha a finite dimension then there exists zo € F such that d(x, F) = ||x-xo||.

Problem 1. Let E be a real vector space, F be a closed subspace of E, and a € E\F. Set d(a, F) inf{||a - r||; x € F}. 1. Show that if F ha a finite dimension then there exists zo € F such that d(x, F) = ||x-xo||.

Advanced Engineering Mathematics
Advanced Engineering Mathematics
10th Edition
ISBN:9780470458365
Author:Erwin Kreyszig
Publisher:Erwin Kreyszig
Chapter2: Second-order Linear Odes
Section: Chapter Questions
Problem 1RQ
See similar textbooks
icon
Related questions
Question
part 1 functionnal analysis
**Problem 1** Let \( E \) be a real vector space, \( F \) be a closed subspace of \( E \), and \( a \in E \setminus F \). Set \( d(a, F) = \inf \{ \|a - x\|; x \in F \} \). 1. Show that if \( F \) has a finite dimension, then there exists \( x_0 \in F \) such that \( d(x, F) = \|x - x_0\| \). 2. Let \( \varphi \) be a nonzero linear continuous form on \( E \) and \( a \in E \) such that \( \varphi(a) \neq 0 \). We consider \( F = \ker \varphi \). (a) Show that \( \|\varphi\| = \frac{|\varphi(a)|}{d(a, \ker \varphi)} \). (b) Show that \( \frac{\varphi(u + ta)}{\|u + ta\|} \leq \frac{|\varphi(a)|}{d(a, \ker \varphi)} \) for all \( u \in \ker \varphi \). (Hint: Recall that \( E = \ker \varphi + \mathbb{R}a \)). (c) Deduce that \( \|\varphi\| = \frac{|\varphi(a)|}{d(a, \ker \varphi)} \). (d) Show that if \( u_0 \in \ker \varphi \) such that \( d(a, \ker \varphi) = \|a - x_0\| \) then there exists \( x_0 \in E \) such that \( \|x_0\| = 1 \) and \( |\varphi(x_0)| = \|\varphi\| \). (e) Let \( x_0 \in E \) so that \( x_0 = v_0 + ta \) with \( v \in \ker \varphi \). Suppose that \( \|x_0\| = 1 \) and \( |\varphi(x_0)| = \|\varphi\| \). Show that \( |t_0|d(a, \ker \
Transcribed Image Text:**Problem 1** Let \( E \) be a real vector space, \( F \) be a closed subspace of \( E \), and \( a \in E \setminus F \). Set \( d(a, F) = \inf \{ \|a - x\|; x \in F \} \). 1. Show that if \( F \) has a finite dimension, then there exists \( x_0 \in F \) such that \( d(x, F) = \|x - x_0\| \). 2. Let \( \varphi \) be a nonzero linear continuous form on \( E \) and \( a \in E \) such that \( \varphi(a) \neq 0 \). We consider \( F = \ker \varphi \). (a) Show that \( \|\varphi\| = \frac{|\varphi(a)|}{d(a, \ker \varphi)} \). (b) Show that \( \frac{\varphi(u + ta)}{\|u + ta\|} \leq \frac{|\varphi(a)|}{d(a, \ker \varphi)} \) for all \( u \in \ker \varphi \). (Hint: Recall that \( E = \ker \varphi + \mathbb{R}a \)). (c) Deduce that \( \|\varphi\| = \frac{|\varphi(a)|}{d(a, \ker \varphi)} \). (d) Show that if \( u_0 \in \ker \varphi \) such that \( d(a, \ker \varphi) = \|a - x_0\| \) then there exists \( x_0 \in E \) such that \( \|x_0\| = 1 \) and \( |\varphi(x_0)| = \|\varphi\| \). (e) Let \( x_0 \in E \) so that \( x_0 = v_0 + ta \) with \( v \in \ker \varphi \). Suppose that \( \|x_0\| = 1 \) and \( |\varphi(x_0)| = \|\varphi\| \). Show that \( |t_0|d(a, \ker \
Expert Solution
steps

Step by step

Solved in 2 steps with 2 images

SEE SOLUTIONCheck out a sample Q&A here
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,
SEE MORE TEXTBOOKS