# supremum over closure

###### Proof.

The theorem is clearly true for $A=\emptyset$. Thus, it will be assumed that $A\neq\emptyset$.

Since $A\subseteq\overline{A}$, we have $\displaystyle\sup_{x\in A}f(x)\leq\sup_{x\in\overline{A}}f(x)$.

Suppose first that $\displaystyle\sup_{x\in\overline{A}}f(x)=\infty$. Let $r\in\mathbb{R}$. Then there exists $x_{0}\in\overline{A}$ with $f(x_{0})\geq r+1$. Since $f$ is continuous, there exists $\delta>0$ such that, for any $x\in\mathbb{R}$ with $-\delta, we have $-1. Since $x_{0}\in\overline{A}$, there exists $x_{1}\in A$ with $-\delta. (Recall that $x\in\overline{A}$ if and only if every neighborhood of $x$ intersects $A$.) Thus, $f(x_{1})-f(x_{0})>-1$. Therefore, $f(x_{1})>f(x_{0})-1\geq r+1-1=r$. Hence, $\displaystyle\sup_{x\in A}f(x)=\infty$.

Now suppose that $\displaystyle\sup_{x\in\overline{A}}f(x)=R$ for some $R\in\mathbb{R}$. Let $\varepsilon>0$. Then there exists $x_{2}\in\overline{A}$ with $f(x_{2})\geq R-\frac{\varepsilon}{2}$. Since $f$ is continuous, there exists $\delta^{\prime}>0$ such that, for any $x\in\mathbb{R}$ with $-\delta^{\prime}, we have $\frac{-\varepsilon}{2}. Since $x_{2}\in\overline{A}$, there exists $x_{3}\in A$ with $-\delta^{\prime}. Thus, $f(x_{3})-f(x_{2})>\frac{-\varepsilon}{2}$. Therefore, $f(x_{3})>f(x_{2})-\frac{\varepsilon}{2}\geq R-\frac{\varepsilon}{2}-\frac{% \varepsilon}{2}=R-\varepsilon$. Hence, $\displaystyle\sup_{x\in A}f(x)\geq R$.

In either case, it follows that $\displaystyle\sup_{x\in A}f(x)=\sup_{x\in\overline{A}}f(x)$. ∎

Note that this theorem also holds for continuous functions $f\colon X\to\mathbb{R}$, where $X$ is an arbitrary topological space . To prove this fact, one would need to slightly adjust the proof supplied here.

Title supremum over closure SupremumOverClosure 2013-03-22 17:08:22 2013-03-22 17:08:22 Wkbj79 (1863) Wkbj79 (1863) 9 Wkbj79 (1863) Theorem msc 06A05 msc 26A15
{"ft_lang_label":"__label__en","ft_lang_prob":0.88853586,"math_prob":0.9999883,"size":1159,"snap":"2021-04-2021-17","text_gpt3_token_len":310,"char_repetition_ratio":0.12727273,"word_repetition_ratio":0.25870648,"special_character_ratio":0.2976704,"punctuation_ratio":0.21888413,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":1.0000079,"pos_list":[0,1,2,3,4,5,6,7,8,9,10],"im_url_duplicate_count":[null,null,null,null,null,null,null,null,null,null,null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2021-04-11T18:32:26Z\",\"WARC-Record-ID\":\"<urn:uuid:4ec5bb8a-578a-4ad1-b12a-55cd63ee6e25>\",\"Content-Length\":\"22026\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:03d9d159-b5d2-46c6-97f2-a3cf0b105b3a>\",\"WARC-Concurrent-To\":\"<urn:uuid:59c3be11-5d9a-4dab-a375-b100d4d2d035>\",\"WARC-IP-Address\":\"129.97.206.129\",\"WARC-Target-URI\":\"https://planetmath.org/SupremumOverClosure\",\"WARC-Payload-Digest\":\"sha1:SLTS7NN6HFLAZC4WQU2OKBOGLAMVVF3Z\",\"WARC-Block-Digest\":\"sha1:G4HIYC4BRWQRTMLSP4HQVEOX6SVUOHHB\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2021/CC-MAIN-2021-17/CC-MAIN-2021-17_segments_1618038064898.14_warc_CC-MAIN-20210411174053-20210411204053-00442.warc.gz\"}"}