Section 4.5

Miscellaneous Problems

[22/100%]
Show
LaTeX
Problem 4.5.1

Let S⊂RS \subset \mathbb {R} be a set of real numbers with the property that ∣s1+⋯+sn∣≤1\left|s_1+\cdots +s_n\right| \leq 1 for every finite subset {s1,…,sn}⊂S\{ s_1,\ldots ,s_n\} \subset S. Show that SS is countable.

?
Problem 4.5.2

Let {Iα}\{ I_{\alpha }\}, α∈Γ\alpha \in \Gamma, be a collection of closed intervals in R\mathbb {R}. Show that

⋃α∈ΓIα∖⋃α∈ΓIα0 \bigcup _{\alpha \in \Gamma } I_{\alpha } \setminus \bigcup _{\alpha \in \Gamma } I_{\alpha }^0

is countable.

?
Problem 4.5.3

Show that any infinite set of non-empty, mutually disjoint, open sets in a separable metric space XX is countable.

?
Problem 4.5.4

Prove that for almost every x∈[0,2π]x \in [0,2\pi ]

lim‾⁡n→∞sin⁡(nx)=1. \varlimsup _{n \to \infty } \sin (nx) = 1.
?
Problem 4.5.5

Let f∈C(I)f \in C(I). Show that there exists a sequence of polynomials {pn}\{ p_n\} such that pn→fp_n \to f uniformly on II and p1(x)≤p2(x)≤⋯p_1(x) \leq p_2(x) \leq \cdots for every x∈Ix \in I.

?
Problem 4.5.6

Let f∈C([0,1])f \in C([0,1]). Show that there is a sequence of odd polynomials pn(x)p_n(x) with pn→fp_n \to f uniformly on [0,1][0,1] iff f(0)=0f(0) = 0.

?
Problem 4.5.7
?
(a)

Show that the mapping I:C[0,1]→C[0,1]I : C[0,1] \to C[0,1]

(If)(x)=ex+12∫0x2f(t) dt (If)(x) = e^x + \frac{1}{2} \int _0^{x^2} f(t) \, dt

is a contracting mapping on C[0,1]C[0,1], with the supremum norm.

(b)

Show that there exists one and only one smooth function ff on [0,1][0,1] satisfying the conditions:

ddxf(x)=ex+xf(x2), \frac{d}{dx} f(x) = e^x + xf(x^2), f(0)=1. f(0) = 1.
Problem 4.5.8

Given f:R→Rf : \mathbb {R} \to \mathbb {R} bounded and uniformly continuous and {Kn}\{ K_n\}, n=1,2,3,…n = 1, 2, 3, \ldots, Kn∈L1K_n \in L^1 such that

?
(a)

∥Kn∥1≤M<∞\left\| K_n\right\|_{1} \leq M < \infty, n=1,2,3,…n = 1,2,3,\ldots

(b)

∫Kn→1\int K_n \to 1 as n→∞n \to \infty.

(c)

∫{x:∣x∣>h}∣Kn∣→0\int_{\{ x : \left|x\right| > h\} } \left|K_n\right| \to 0 as n→∞n \to \infty for all h>0h > 0.

Show Kn∗f→fK_n * f \to f uniformly.

Problem 4.5.9

Let f:R→(−∞,∞)f : \mathbb {R} \to (-\infty ,\infty ) be upper semicontinuous and define m:R→[−∞,∞)m : \mathbb {R} \to [-\infty ,\infty ) by m(x)=lim‾⁡y→xf(y)m(x) = \varliminf_{y \to x} f(y). Let S={x∣f(x)−m(x)≥1}S = \{ x \mid f(x) - m(x) \geq 1\}.

?
(a)

Show SS is closed.

(b)

Show: if II is an open interval contained in SS, then m(x)=−∞m(x) = -\infty on II.

(c)

Show that SS is nowhere dense.

Problem 4.5.10

Prove that any topological metric space is homeomorphic to a bounded metric space.

?
Problem 4.5.11

Let MM be a metric space with distance function dd, suppose A:M→MA : M \to M is a distance non-increasing periodic map of order 33, i.e.,

A∘A∘A=Id⁡andd(Ax,Ay)≤d(x,y). A \circ A \circ A = \operatorname {Id} \qquad \text{and} \qquad d(Ax,Ay) \leq d(x,y).
?
(a)

Show that AA is a continuous bijective isometry.

(b)

Give an example of a complete metric space MM and an isometry AA on MM, periodic of order 33, which has exactly two fixed points.

Problem 4.5.12

Let HH be a Hilbert space and let f:H→Rf : H \to \mathbb {R} be a continuous convex function such that f(xn)→∞f(x_n) \to \infty whenever ∥xn∥→∞\left\| x_n\right\| \to \infty. Prove that ff attains a minimum.

?
Problem 4.5.13

AA is the subset of L1(R)L^1(\mathbb {R}) consisting of all functions ff satisfying ∣f(x)∣≤1\left|f(x)\right| \leq 1 a.e.on R\mathbb {R}. Prove that AA is closed in the norm topology of L1(R)L^1(\mathbb {R}).

?
Problem 4.5.14

Let AA be a bounded linear operator on Hilbert space HH. Recall that the adjoint A∗A^* is the unique bounded linear operator on HH such that (Ax,y)=(x,A∗y)(Ax,y) = (x,A^*y) for all x,y∈Hx, y \in H.

?
(a)

Show that ∥A∗∥=∥A∥\left\| A^*\right\| = \left\| A\right\|, where ∥A∥\left\| A\right\| is the norm of AA.

(b)

Show that AA∗−A∗AAA^* - A^*A cannot be the identity on HH. (You may wish to use (a) to prove this.)

Problem 4.5.15

Suppose that A,B⊂RA, B \subset \mathbb {R} are Lebesgue measurable, with m(A)>0m(A) > 0, m(B)>0m(B) > 0. Show that

A+B={x∈R∣x=a+b,a∈A,b∈B} A+B = \{ x \in \mathbb {R} \mid x = a+b, a \in A, b \in B\}

contains an interval of positive Lebesgue measure.

?
Problem 4.5.16

Let XX be a compact Hausdorff topological space and let μ\mu be a finite regular Borel measure on XX. Is it true that if f:X→Rf : X \to \mathbb {R} is μ\mu-measurable then there exists a sequence {fn}n=1∞\{ f_n\}_{n=1}^{\infty } of continuous real-valued functions such that lim⁡n→∞fn=f\lim_{n \to \infty } f_n = f a.e.[μ][\mu ]? Justify.

?
Problem 4.5.17

Consider a complete metric space (X,d)(X,d) and a sequence F1⊃F2⊃⋯F_1 \supset F_2 \supset \cdots of non-empty and closed subsets of XX. Assume that for each nn, the set FnF_n can be covered by a finite number of balls of radius 1/n1/n. For each nn, select a point xn∈Fnx_n \in F_n. Prove that the sequence (xn)n=1∞(x_n)_{n=1}^{\infty } has a convergent subsequence.

?
Problem 4.5.18

Let u:R→Ru : \mathbb {R} \to \mathbb {R} be arbitrary, and χ(x)=inf⁡∣x−y∣<1u(y)\chi (x) = \inf_{\left|x-y\right|<1} u(y). Show that χ\chi is upper semi-continuous.

?
Problem 4.5.19

Let XX be a Banach space and YY a closed subspace of XX. Show that every extreme point gg of the unit ball of the dual Y∗Y^* extends to an extreme point of the unit ball of X∗X^*.

?
Problem 4.5.20
?
(a)

Prove that span⁡{x2n:n≥0}\operatorname {span}\{ x^{2n} : n \geq 0\} is norm dense in C[0,1]C[0,1].

(b)

Deduce that the norm closure of span⁡{x2n+1∣n≥0}\operatorname {span}\{ x^{2n+1} \mid n \geq 0\} is {f∈C[0,1]:f(0)=0}\{ f \in C[0,1] : f(0) = 0\}.

Problem 4.5.21

Let f∈L1[0,1]f \in L^1[0,1], En⊂[0,1]E_n \subset [0,1] be measurable subsets, and

gn(x)=∫0xχEn(t)f(t) dt. g_n(x) = \int _0^x \chi _{E_n}(t) f(t) \, dt.

Prove that there exists {nk}\{ n_k\} and a continuous function g(x)g(x) on [0,1][0,1] such that gnk(x)g_{n_k}(x) converges uniformly to g(x)g(x) on [0,1][0,1].

?
Problem 4.5.22

Prove or disprove: if KK and MM are metric spaces, f:K×M→Rf : K \times M \to \mathbb {R} is a continuous function, and KK is compact, then the function g:M→Rg : M \to \mathbb {R} defined by

g(x)=max⁡{f(k,x)∣k∈K} g(x) = \max \{ f(k,x) \mid k \in K\}

is continuous.

?