3
$\begingroup$

I've read the Uniform Norm Wikipedia page, but my most of it went over my head.

  • What is the sup-norm in simple and / or intuitive terms?

  • Are there any good examples which illustrate it?

$\endgroup$
  • $\begingroup$ Say you have two continuous functions $f$ and $g$ on an interval $[a,b]$, and look at all the possible distances of the form $|f(x)-g(x)|$ where $a\leq x\leq b$. The uniform norm is a way of measuring the "distance" between $f$ and $g$ by taking the supremum among these individual distances $|f(x)-g(x)|$. $\endgroup$ – user363464 Dec 17 '17 at 10:28
  • $\begingroup$ I may answer but first, help me to help you: do you know (yes/no) about (i) functions $\ f:X\rightarrow Y,\ $ for arbitrary sets $\ X\ Y\ $ (ii) bounded functions (iii) $\ \sup\ $ notation (iv) compact sets and compact spaces ? $\endgroup$ – Wlod AA Dec 17 '17 at 18:28
  • 1
    $\begingroup$ Thanks @Wlod... 1,2=yes, 3,4=no. $\endgroup$ – Tom Hale Dec 18 '17 at 15:12
5
$\begingroup$

For finite vectors $x$, the sup norm of $x$ is the greatest element of $x$ (greatest in absolute value of course to make complex elements ordered and to not distinguish the sign). Example: $(1,-1,2i)$ has greatest element $|2i|=2$.

For infinite vectors $x$ (that is, a sequence), the sup norm is the supremum of $x$: that is the lowest upper bound of $x$. If you draw the sequence of absolute values of elements of $x$, just visualize a straight horizontal line falling down on top of these elements (staying horizontal of course and beginning far above the sequence). If it stops, it cannot have any elements above of it, but there cannot another horizontal line on top of the elements that lays lower than the first one, else the first one could fall down even more. (Note that the line does not have to touch any of the elements: an example is $x_n=1-\frac{1}{n}$. The horizontal line is the line with height $1$.)

For functions, this is the supremum of all elements of its domain evaluated in $f$ (absolute value), so it is pretty much the same as the previous one, but then possibly with uncountably many elements $f(x)$. Compare $f(x)=1-\frac{1}{x}$ with the previous example.

Another example are $f(x)=\sin(x)$, where the supremum of $|\sin(x)|$ is equal to its the maximum. Keep it mind that the sequences and functions must be bounded in order to use the sup norm.

$\endgroup$
2
$\begingroup$

In the case of a finite-dimensional space $\ \mathbb R^n\ $ the sup-norm is simply the max-norm. The balls of such a space with the max-norm are cubes which have edges parallel to coordinate axes.



In applications, we often make a bunch $\ A\ $ of experiments, each has a numeric value, and an associated error. The said bunch and errors result in the respective vectors $\ x\ e\in\mathbb R^A.\ $ We often need to decide, based on the individual errors, what is the overall error for the whole given bunch. Depending on the nature of applications, errors are defined differently. One of the common ways is the uniform error, it is the max-norm $\ ||e||_\infty.$



Let $\ X\ $ be a non-empty set $\ (X\ne\emptyset).\ $ Given a function $\ f:X\rightarrow\mathbb R,\ $ we say that real numbers $\ B\,\ C\in\mathbb R\ $ are a lower and an upper bound of $\ f \,\ \Leftarrow:\Rightarrow$

$$ \forall_{x\in X}\quad B \le f(x) $$ and $$ \forall_{x\in X}\quad f(x) \le C $$

One or both bounds may be not well-defined (infinite).

Next, we define function $\ |f|:X\rightarrow\mathbb R\ $ as follows:

$$ \forall_{x\in X}\quad |f|(x)\ :=\ |f(x)| $$

A function $\ f:X\rightarrow\mathbb R\ $ is bounded $\ \Leftarrow:\Rightarrow\ f\,\ $ satisfies any of the following four equivalent conditions:

  1. $\ f\ $ admits both an upper and a lower bound;
  2. $\ |f|\ $ admits an upper bound;
  3. $\ \exists_{C\in\mathbb R}\quad |f|\le C $
  4. $\ \exists_{C\in\mathbb R}\forall_{x\in X}\quad |f|(x)\le C\ $

Thus $\ f\ $ is bounded $\ \Leftrightarrow\ f\ $ admits both a lower and an upper bound. Finally, the final elementary definition here: given $\ f:X\rightarrow\mathbb R,\ $ we define $\ \sup (f)\ $ as the least upper bound of $\ f\ $ (when it exists), i.e. as a real number $\ s\in\mathbb R\ $ such that:

$$ \forall_{x\in X}\quad f(x)\le s $$ and $$ \forall_{t<s}\exists_{x\in X}\quad f(x)>t $$

(In the case of a finite $\ X,\ $ we have $\ \sup(f) = \max(f)).$



Let $\ \mathcal B(X)\ $ be the set of all bounded functions $\ f:X\rightarrow\mathbb R.\ $ This set deserves to be called space since it has many nice properties, in particular, it is an algebra over $\mathbb R,\ $ and it is a superspace for several more famous spaces. We define a norm $\ ||f||_\infty\ $ called the sup-norm or the uniform norm or $L^\infty$-norm of $\ f\in\mathcal B(X),\ $ as follows

$$ ||f||_\infty\ :=\ \sup(|f|) $$

$\endgroup$
  • $\begingroup$ Doesn't #1 ($f$ having both an upper and lower bound) imply #2? $\endgroup$ – Tom Hale Dec 20 '17 at 11:52
  • $\begingroup$ I've written "four equivalent conditions", i.e. each of them is equivalent to any other. $\endgroup$ – Wlod AA Dec 20 '17 at 17:03
  • 1
    $\begingroup$ Ah, thanks for pointing that out! $\endgroup$ – Tom Hale Dec 21 '17 at 4:58

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.