General Topology – What Does ‘Relatively Closed’ Mean?

general-topologyterminology

Let $S\subset U$. What does it mean to say that $S$ is relatively closed in $U$? Also $U\subset\mathbb{R}^{n}$ is open and bounded, but I don't know if that's essential.

Here follows an example from where I found the term, a sort of "use it in a sentence", if you like.

Theorem 4 from chapter 2 of Partial Differential Equations by Lawrence C. Evans ($U\subset\mathbb{R}^{n}$ is open and bounded):

Strong maximum principle. Suppose $u\in C^{2}\left(U\right)\cap C\left(\bar{U}\right)$ is harmonic within $U$.

(1) Then

$$\max_{\bar{U}}u=\max_{\partial U}u$$

(2) Furthermore, if $U$ is connected and there exists a point $x_{0}\in U$ such that

$$u\left(x_{0}\right)=\max_{\bar{U}}u$$

then

$$u\text{ is constant within }U.$$

Proof. Suppose there eixsts a point $x_{0}\in U$ with $u\left(x_{0}\right)=M:=\max_{\bar{U}}u$. Then for $0<r<\text{dist}\left(x_{0},\partial U\right)$, the mean-value property asserts

$$M=u\left(x_{0}\right)=\frac{1}{V}\int_{B\left(x_{0},r\right)}udy\leq M.$$

As equality holds only if $u\equiv M$ within $B\left(x_{0},r\right)$, we see that $u\left(y\right)=M$ for all $y\in B\left(x,r\right)$. Hence the set $\left\{ x\in U|u\left(x\right)=M\right\}$ is both open and relatively closed in $U$, and thus equals $U$ if $U$ is connected. This proves assertion (2), from which (1) follows. $\blacksquare$

Thus, I need to know: What does it mean to say that $S\subset U$ is relatively closed in $U$? And, why if $U$ is connected it follows that $S=U$?

Thanks.

Best Answer

This should mean that $S$ is a closed subset of the topological space $U$, where the topology on $U$ is the subspace topology it gains as a subset of $\mathbf R^n$. Explicitly, this means that there is a closed subset $\widetilde S$ of $\mathbf R^n$ such that $S = U \cap \widetilde S$. As Shawn notes in the comments, a good example is the relatively closed subset $[1/2, 1)$ of the interval $(0, 1)$.

Note that $U - S$ is also open and closed in $U$. If $U - S$ were nonempty, then $U = S \cup (U - S)$ would contradict the connectedness of $U$.

Related Question