Skip to content
nonconvexcard

The supremum is 1-Lipschitz in the uniform norm

ProofIntermediate⏱ 15 minFoundationssupremumlipschitzuniform convergence

Problem

Let g,hg,h be bounded real functions on a set TT. Prove that

∣sup⁡t∈Tg(t)−sup⁡t∈Th(t)∣≤sup⁡t∈T∣g(t)−h(t)∣.\Big|\sup_{t\in T}g(t) - \sup_{t\in T}h(t)\Big| \le \sup_{t\in T}\big|g(t)-h(t)\big| .

Then explain why this makes the quantity Z=sup⁡f∈F(R(f)−R^n(f))Z = \sup_{f\in\Fcal}\big(R(f) - \hat R_n(f)\big) satisfy the bounded-differences condition with constants ci=1/nc_i = 1/n when the loss is in [0,1][0,1].

Write a complete argument. Every inequality you use should be one you could state precisely.

Hints

Hints — 0 of 3 revealed

Solution

Opening this before you have a real attempt on paper is the fastest way to feel like you understand something you cannot reproduce.

Related problems

All problems
SolvedProblemFieldTypeDifficultyTime
Equality in Jensen's inequalityFoundationsProofBeginner15 min
Every norm is convex, and the operator norm is a supremum of linear functionsOptimizationProofBeginner15 min
Lipschitz constants depend on the normFoundationsNumericalBeginner15 min
The excess risk decomposition for ERMLearning TheoryProofBeginner15 min
Bounding how far the adapted model movesFine-TuningProofIntermediate30 min