Any Norm is a Continuous Function
Infinity norm of continuous function.
Solution 1
Let $S\equiv\sup_{x\in\mathbb R^n}|f(x)|$. By definition, the essential supremum norm is defined as follows: $$\|f\|_{\infty}=\inf_{c\geq 0}\big\{\lambda(\{x\in\mathbb R^n\,|\,|f(x)|>c\})=0\big\}.$$ In words, $\|f\|_{\infty}$ is the infimum of such non-negative numbers above which the function $|f|$ takes values only on a measure-zero set. Intuitively, $\|f\|_{\infty}$ is the least "almost upper bound" on the values of $|f|$ (hence the term "essential supremum"), in the sense that if you take it as an upper bound, you'll only miss a set of measure zero and this is the least number with this property.
First, I will show that $\|f\|_{\infty}\leq S$. To see this, note that for all $x\in\mathbb R^n$, one has $|f(x)|\leq S$. Hence, the set $\{x\in\mathbb R^n\,|\,|f(x)|>S\}$ is empty and thus has measure zero. By the definition of infimum, this readily yields that $\|f\|_{\infty}\leq S$.
Now to show that $\|f\|_{\infty}\geq S$ (which will complete the proof), assume, for the sake of contradiction, that $\|f\|_{\infty}< S$. By the definitions of infimum and $\|f\|_{\infty}$, there is some $\varepsilon>0$ such that $$\|f\|_{\infty}+\varepsilon<S$$ and the set $$V\equiv\{x\in\mathbb R^n\,|\,|f(x)|>\|f\|_{\infty}+\varepsilon\}$$ has zero measure: $\lambda(V)=0$. On the other hand, by the definitions of supremum and $S$, there is some $x^*\in\mathbb R^n$ such that $\|f\|_{\infty}+\varepsilon<|f(x^*)|\leq S$. Since the function $|f|$ is continuous (it is the composition of $f$ and the absolute-value function, both being continuous), the set $$V=\{x\in\mathbb R^n\,|\,|f(x)|>\|f\|_{\infty}+\varepsilon\}$$ is open—since it is the pre-image of the open interval $(\|f\|_{\infty}+\varepsilon,\infty)$—and, as one has seen, it contains $x^*$. Since non-empty open subsets of $\mathbb R^n$ have positive Lebesgue measure, it follows that $\lambda(V)>0$. This is a contradiction and the proof is complete.
Solution 2
Since the Lebesgue measure is $\sigma$-finite we have that $$\| {f}\|_{\infty}=\inf\left\{M\geq 0:\,\lambda(\left\{x: |f(x)| > M\right\})=0 \right\}$$
Clearly $\lambda(\left\{x: |f(x)| > \sup_{x \in \mathbb{R}^{d}}|f(x)|\right\})=0$
Now suppose there is a constant $M < \sup_{x \in \mathbb{R}^{d}}|f(x)|$, that satisfies the above critera. It should be fairly easy to reach a contradiction due to continuity of f
Related videos on Youtube
09 : 34
The Lp Norm for Vectors and Functions
03 : 29
1.3.6 The matrix 1- and infinity norms
12 : 24
Metric Spaces | Lecture 15 | Example of Norm on set of Continuous Functions
01 : 00 : 14
Real analysis: Norms on Continuous functions
06 : 47
Functional Analysis|Normed Linear Space| Norm is a Continuous function
Comments
-
Let $f$ be a continuous function on the measure space $\mathbb{R}^n,\mathcal{L},\lambda$(Lebesgue measure). Prove that
$\|f\|_\infty = \sup\{|f(x)|$ $|$ $x \in \mathbb{R}^n\}$
I saw same problem but I couldn't understand the answer.
My idea is this: Let $\|f\|_\infty=K$. Since $f$ is continuous, a small neighborhood of any $x\in \mathbb{R}^n$, say $p$ should satisfy $|f(p)|\leq M,$ for $M>K$. So I can take $supremum$ over p.
But I don't know how to proceed rigorously.
Any help will be thankful.
-
So is $\lambda$ the Lebesgue measure?
-
Yes. I should edit that.
-
-
Thank you very much. It is impressive using the fact that inverse image of open set of continuous function is open.
-
Really helped. Thank you.
-
@SWPARK This is the general topological definition of continuity. The amazing fact that this property is equivalent to a function being continuous at every point in the usual $\varepsilon$-$\delta$ sense is quite a powerful tool in many complicated proofs, indeed.
-
The property was sleeping somewhere in my head. ha ha..
-
By the way, is the existence of $x*$ always guaranteed? By the definition of supremum?
-
@SWPARK Yes. For the sake of contradiction, suppose that there is no $x^*\in\mathbb R^n$ such that $\|f\|_{\infty}+\varepsilon<|f(x^*)|\leq S$. Then, for all $x\in \mathbb R^n$, one has $|f(x)|\leq\|f\|_{\infty}+\varepsilon$. Hence, $\|f\|_{\infty}+\varepsilon$ is an upper bound on $|f|$, so that $S\leq\|f\|_{\infty}+\varepsilon$ (supremum = least upper bound), but this contradicts $\|f\|_{\infty}+\varepsilon<S$.
-
Sorry for bothering you. I should have done that by myself.
-
@SWPARK No worries; I'm happy to help.
-
Why there is such $\epsilon>0$ such that $\|f\|_{\infty}+\varepsilon<S$ and $V\equiv\{x\in\mathbb R^n\,|\,|f(x)|>\|f\|_{\infty}+\varepsilon\}$ has measure zero?
-
@mac Suppose that $\|f\|_{\infty}<S$. Now look at the definition of $\|f\|_{\infty}$; it is defined as an infimum. Since this infimum is less than $S$, there exists some $c$ such that $\|f\|_{\infty}\leq c<S$ and $\lambda(V)=0,$ where $$V\equiv\{x\in\mathbb R^n\,|\,|f(x)|>c\}.$$ Now, if $\|f\|_{\infty}<c<S$, then define $\varepsilon\equiv c-\|f\|_{\infty}>0$ and you're done. If $c=\|f\|_{\infty}$, then choose $\varepsilon>0$ so small that $\|f\|_{\infty}+\varepsilon<S$ and the "new" set $$\{x\in\mathbb R^n\,|\,|f(x)|>\|f\|_{\infty}+\varepsilon\}$$ still has measure $0$ being a subset of $V$.
Recents
Source: https://9to5science.com/infinity-norm-of-continuous-function
0 Response to "Any Norm is a Continuous Function"
Post a Comment