Prove an inequality involving infimum and supremum
Let $\mathcal{N}(x)$ denote the set of neighborhoods of $x$. For each neighborhood $V \in \mathcal{N}(x)$ we have $$f(y) \leq g(y) \quad \forall y \in V$$ now take the $\sup_{y \in V}[\cdot]$ of both sides, then take $\inf_{V \in \mathcal{N}(x)}[\cdot]$ of both sides.
If you want to justify taking the $\inf$ or $\sup$ of both sides of an inequality, consider the general case when we have an index set $\mathcal{R}$ and extendedrealvalued functions $w(r)$, $z(r)$ such that $$ w(r) \leq z(r) \quad , \forall r \in \mathcal{R}$$ Then show (for example, using definition of $\sup$ as least upper bound and $\inf$ as largest lower bound):
(i) $\sup_{r \in \mathcal{R}} w(r) \leq \sup_{r \in \mathcal{R}} z(r)$.
(ii) $\inf_{r \in \mathcal{R}} w(r) \leq \inf_{r \in \mathcal{R}} z(r)$
Related videos on Youtube
Idonknow
Updated on April 11, 2020Comments

Idonknow over 3 years
Let $X$ be a metric space. For any extended realvalued function $f:X\rightarrow \mathbb{R} \cup \{ \infty,\infty \}$, we define its upper semicontinuous envelope $Uf$ as follows:
For each $x \in X,$ $Uf(x)=\inf \{ \sup_{y \in U} f(y): U \text{ is a neighbourhood of } x\}.$
Prove that for any two extended realvalued functions $f,g$ defined on $X$, upper semicontinuous envelope satisfies monotonicity: If $f \leq g,$ then $Uf \leq Ug.$
According to this post, I manage to prove the monotonicity by using sequence definition:
Let $(x_n)$ be a sequence converges to $x$ such that $f(x_n)$ converges to $L = Uf(x)$. Then $g(x_n) \geq f(x_n)$. Hence, we have $Ug(x) \geq L = Uf(x).$ Since $x$ is arbitrary, we have $Uf \leq Ug.$
Question: How to prove the monotonicity using infimumsupremum definition?

Michael over 6 yearsIt might be better to use $V$ to represent a neighborhood, instead of $U$, so it does not get mixed up with $Uf$.


Idonknow over 6 yearsGot it. By the way, is my proof using sequential acceptable?

Michael over 6 yearsI guess the sequence way works if you assume the fact about sequences from that other post. You might fill in the detail on why $\limsup_{n\rightarrow\infty} g(x_n) \leq Ug(x)$.