0% found this document useful (0 votes)
160 views4 pages

Math Homework Solutions

This document contains solutions to 7 problems related to functional analysis and metric spaces. Problem 1 proves an inequality relating the distance between three points in a metric space. Problem 2 finds the induced metric on a subspace of l^∞ consisting of sequences of 0s and 1s. Problem 3 proves a "snowflake" of a metric is also a metric. Problem 4 shows the distance function between subsets is not always a metric on the power set. Problems 5-6 give examples of sequences in specific function spaces. Problem 7 defines diameter and boundedness in metric spaces.

Uploaded by

Sadia ahmad
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
0% found this document useful (0 votes)
160 views4 pages

Math Homework Solutions

This document contains solutions to 7 problems related to functional analysis and metric spaces. Problem 1 proves an inequality relating the distance between three points in a metric space. Problem 2 finds the induced metric on a subspace of l^∞ consisting of sequences of 0s and 1s. Problem 3 proves a "snowflake" of a metric is also a metric. Problem 4 shows the distance function between subsets is not always a metric on the power set. Problems 5-6 give examples of sequences in specific function spaces. Problem 7 defines diameter and boundedness in metric spaces.

Uploaded by

Sadia ahmad
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 4

Functional Analysis

Homework 1 Solutions

Due Tuesday, 22 January 2018

Problem 1. If (X, d) is a metric space, prove that

|d(x, z) − d(y, z)| ≤ d(x, y). (1)

Proof. Let x, y, z ∈ X. By the triangle inequality, we have d(x, z) ≤ d(x, y) +


d(y, z), and therefore
d(x, z) − d(y, z) ≤ d(x, y). (2)
Again, by the triangle inequality, d(y, z) ≤ d(y, x) + d(x, z), and therefore by
symmetry 
− d(x, z) − d(y, z) ≤ d(y, x) = d(x, y). (3)
Combining (2) and (3) yields

|d(x, z) − d(y, z)| ≤ d(x, y). 

Problem 2. If X is the subspace of `∞ consisting of all sequences of zeros and


ones, what is the induced metric on X?
Proof. Let x = (xn ), y = (yn ) ∈ X be {0, 1}-valued sequences. As such, for all
n ∈ N, (
0 xn = yn
|xn − yn | =
1 xn 6= yn .
Therefore, the metric on X induced by the `∞ metric is
( (
0 ∀n ∈ N, xn = yn 0 x=y
d(x, y) := sup |xn − yn | = =
n∈N 1 ∃n ∈ N, xn 6
= yn 1 x 6= y,

which is the discrete metric on X. 

Problem 3. Let (X, d) be a metric space and let 0 <  < 1. Prove that the
function d is a metric on X. d is said to be a snowflake of the metric d. Hint:
use calculus to prove that (1 + x) ≤ 1 + x for any x > 0, then use the fact that
t 7→ t is an increasing function.
Lemma. For t ≥ 0, and 0 <  < 1,

(1 + t) ≤ 1 + t (4)

Proof. Let f (t) = (1 + t) and g(t) = 1 + t . Since  < 1, we find that  − 1 < 0,
and therefore, (·)−1 is a decreasing function. Because 1 + t > t, this implies
(1 + t)−1 ≤ t−1 . Moreover, because  > 0, we find (1 + t)−1 ≤ t−1 . Finally,
since f (0) = 1 = g(0) and f 0 (t)(1 + t)−1 ≤ t−1 = g 0 (t), we conclude that (4)
follows. 
Proof of 3. It is easy to see that d satisfies the first three properties of a metric
because d does. Therefore, it suffices to prove the triangle inequality for d .
Let x, y, z ∈ X. If any of x, y, z are equal, the inequality is trivial, so we
may assume they are distinct and therefore the distances between each pair are
strictly positive. By the triangle inequality for d, we have d(x, z) = d(x, y) +
d(y, z). Since the function t 7→ t is increasing, we find

d (x, z) = d(x, y) + d(y, z)
 
d(y, z)
= d (x, y) 1 +
d(x, y)
   
d(y, z)
≤ d (x, y) 1 +
d(x, y)
= d (x, y) + d (y, z). 

Problem 4. The distance dist(A, B) between two nonempty subsets A, B of a


metric space (X, d) is defined to be

dist(A, B) = inf d(a, b). (5)


a∈A
b∈B

Show that dist is not a metric on the power set of X.


Proof. Although dist is nonnegative and symmetric, it doesn’t satisfy the other
two properties of a metric. Indeed, as an example consider any metric space
(X, d) with four or more points. Then if A, B ⊆ X are sets such that A ∩ B 6= ∅
and A 6= B, then there is some point a ∈ A ∩ B, and so dist(A, B) ≤ d(a, a) = 0.
To see that the triangle inequality fails in general, consider distinct points
w, x, y, z ∈ X and the sets A = {w, x}, B = {x, y} and C = {y, z}. By the
previous paragraph, we see that dist(A, B) = 0 = dist(B, C), but dist(A, C) is
just the minimum of the values d(w, y), d(w, z), d(x, y), d(x, z), all of which are
strictly positive. Thus dist(A, C) > 0 = dist(A, B) + dist(B, C) so the triangle
inequality fails. 

Problem 5. For p > 1, give an example of a sequence in `p but not in `1 .


Proof. Let p > 1. Then notice that x = n1 is in `p but not in `1 . Indeed, x is


not in `1 because the hqarmonic series is divergent. On the other hand, since n1p

2
P∞ 1
is a decreasing sequence, we can apply the integral test to the series n=1 np .
In particular, since p > 1, −p 6= −1, and −p + 1 < 0,
Z ∞
x−p+1 b b−p+1 1 1
x−p dx = lim = lim + = .
1 b→∞ −p + 1 1 b→∞ −p + 1 −p + 1 −p + 1
Because this integral is convergent, the associated series converges. Therefore
x ∈ `p . 
Problem 6. Give an example of a sequence in c0 but not in `p for any 1 ≤ p <
∞.
Proof. Consider the sequence x = log1 n and any p ≥ 1. Notice that x ∈ c0


since log n → ∞ (and therefore x converges to zero).


By L’Hôpital’s rule

(log x)p p(log x)p−1


lim = lim .
x→∞ x x→∞ x
Moreover, this argument can be repeatedly applied until the exponent of the
logarithm is nonpositive, at which point is it clear that the limit is zero.
A consequence of this is that for any p ≥ 1, there is some sufficiently large
Np > 1 such that for all n > Np , (log1n)p > n1 . Therefore, by the comparison
P∞
test, since the harmonic series diverges, so also does the series n=Np (log1n)p .
Therefore, x = log1 n ∈

/ `p . 

Problem 7. Let A be nonempty set in a metric space (X, d). The diameter of
A is
diam(A) = sup d(x, y). (6)
x,y∈A

A set is bounded if it has finite diameter. The metric space (X, d) is said to be
bounded if X is bounded.
(a) Give an example to show that in general diam(B(x; r)) 6= 2r.
(b) Consider any metric space (X, d) and the function

˜ y) = d(x, y)
d(x, . (7)
1 + d(x, y)

Prove that d˜ is a metric on X (I suggest you avoid looking at the proof


˜ is bounded.
given in Kreyszig), and that (X, d)
Proof.

(a) Consider a metric space (X, d) where d is the discrete metric. Notice that
for any x ∈ X and 0 < r < 1, B(x; r) = {x}. Therefore, diam(B(x; 1)) =
d(x, x) = 0, and this is not 2r.

3
t
(b) First note that the function f (t) = 1+t is increasing everywhere since
0 2
f (t) = f rac1(1 + t) > 0. This, along with the triangle inequality for d,
namely, d(x, z) ≤ d(x, y) +d (y, z) guarantees

˜ z) = d(x, z)
d(x,
1 + d(x, z)
d(x, y) + d(x, z)

1 + d(x, y) + d(y, z)
d(x, y) d(x, z)
= +
1 + d(x, y) + d(y, z) 1 + d(x, y) + d(y, z)
d(x, y) d(x, z)
≤ +
1 + d(x, y) 1 + d(y, z)
˜ y) + d(y,
= d(x, ˜ z),

where the second inequality holds because all the terms involved are non-
negative. 

You might also like