Boundedness of numerical sets, their exact boundaries, and limit points of numerical sets.
References: Collection of Problems in Mathematics. Part 1. Edited by A.V. Efimov, B.P. Demidovich.
Let $X$ be an arbitrary non-empty set of real numbers. The number $M=\max X$ is called the greatest (maximum) element of the set $X$ if $M\in X$ and for every $x\in X$, the inequality $x\leq M$ holds. Similarly, the concept of the smallest (minimum) element $m=\min X$ of the set $X$ is defined.
The set $X$ is called bounded above if there exists a real number $a$ such that $x\leq a$ for all $x\in X$. Any number possessing this property is called an upper bound of the set $X$. For a given set $X$ bounded above, the set of all its upper bounds has a least element, which is called the least upper bound (supremum) of the set $X$ and is denoted by $\sup X$. Obviously, $\sup X=\max X$ if and only if $\sup X\in X$.
Similarly, the concepts of a set bounded below, lower bound, and greatest lower bound (infimum) of the set $X$ are defined. The latter is denoted by $\inf X$.
A set $X$, bounded both above and below, is called bounded.
Let $x\subset \mathbb{R}$. A number $x_0\in \mathbb{R}$ is called a limit point of the set $X$ if every neighborhood of the point $x_0$ contains a point from the set $X$ other than $x_0$, that is, for $$\forall\varepsilon>0\,\,\exists y\in X, y\neq x_0: |y-x_0|<\varepsilon.$$
The point $x_0$ itself may or may not belong to the set $X$.
Examples.
1.73. Let $X=\left\{1, \frac{1}{2}, \frac{1}{3}, \frac{1}{n}\right\}.$
a) Identify the smallest and largest elements of this set, if they exist.
b) Determine the sets of upper and lower bounds for the set $X$. Find $\sup X$ and $\inf X$.
Solution.
a) The given set has the greatest element $M=1$ since for all elements $x\in X$, the inequality $x\leq 1$ holds, and $1\in X$.
The set does not have a smallest element because for any element $x_n=\frac{1}{n}\in X$, there always exists an element $x_{n+1}=\frac{1}{n+1}\in X$ such that $x_{n+1}\leq x_n$.
b) Since for all elements $x$ of the set $X$, the inequality $x\leq 1$ holds, and $1\in X$, the set of upper bounds for the set $X$ is the set $[1, +\infty)$ with the least element equal to $1$. Thus, $\sup X=1$.
The set $X$ does not have a smallest element. Obviously, for all elements $x$ of the set $X$, $x\geq 0$, meaning the set $X$ is bounded below. Let's show that $0$ is a limit point of the set $X$. Indeed, for any $\varepsilon>0$, we can find a natural number $n>\frac{1}{\varepsilon}$, which implies $\frac{1}{n}<\varepsilon$, and $\frac{1}{n}\in X$. Thus, the set of lower bounds for $X$ is the set $(-\infty, 0]$ with the greatest element equal to $0$. Therefore, we find $\inf X=0$.
Answer: $M=1$, the smallest element does not exist, $[1, +\infty)$, $(-\infty, 0]$, $\sup X=1$, $\inf X=0$.
1.74. For the set $X=\left\{x\in R|\,\, x=\frac{1}{2^n},\,\, n\in N\right\},$ find $\max X$, $\min X$, $\sup X$, and $\inf X$ if they exist.
Solution.
Let's express the set $X$ as:
$$X=\left\{x\in R|\,\, x=\frac{1}{2^n},\,\, n\in N\right\}=\left\{\frac{1}{2},\frac{1}{4}, \frac{1}{8}, .., \frac{1}{2^n},...\right\}$$
This set has the greatest element $M=\frac{1}{2}$ since for all elements $x\in X$, the inequality $x\leq \frac{1}{2}$ holds. Additionally, $\frac{1}{2}\in X$.
The set does not have a smallest element because for any element $x_n=\frac{1}{2^n}\in X$, there always exists an element $x_{n+1}=\frac{1}{2^{n+1}}\in X$ such that $x_{n+1}\leq x_n$.
Since for all elements $x$ of the set $X$, the inequality $x\leq \frac{1}{2}$ holds, and $\frac{1}{2}\in X$, the set of upper bounds for the set $X$ is the set $\left[\frac{1}{2}, +\infty\right)$ with the least element equal to $\frac{1}{2}$. Thus, $\sup X=\frac{1}{2}$.
The set $X$ does not have a smallest element. Obviously, for all elements $x$ of the set $X$, $x\geq 0$, meaning the set $X$ is bounded below. Let's show that $0$ is a limit point of the set $X$. Indeed, for any $\varepsilon>0$, we can find a natural number $$n>\log_2\frac{1}{\varepsilon}\,\,\Rightarrow 2^n>\frac{1}{\varepsilon}\Rightarrow\,\,\frac{1}{2^n}<\varepsilon,\quad\frac{1}{2^n}\in X.$$Thus, the set of lower bounds for $X$ is the set $(-\infty, 0]$ with the greatest element equal to $0$. Therefore, we find $\inf X=0$.
Answer: $M=\frac{1}{2}$, the smallest element does not exist, $\sup X=\frac{1}{2}$, $\inf X=0$.
1.80. Let $X\subset \mathbb{R}$ be an arbitrary bounded set. Prove that the set $-X={x,|, -x\in X}$ is also bounded, and the following equalities hold:
$$\sup (-X)=-\inf X,\qquad \inf (-X)=-\sup X.$$
Proof:
Since the set $X$ is bounded, it is bounded above and below. Therefore, there exist numbers $a$ and $b$ such that $\forall x\in X, ,, a\leq x\leq b. $ Solving the inequality, it is evident that for elements $-x$, the inequality $-b\leq -x\leq -a$ holds. Thus, the set $-X={x,|, -x\in X}$ is also bounded.
Let $a=\inf X$. Then from the inequality $-x\leq -a$, we obtain $-x\leq -\inf X.$
If $a\in X$, then $-a\in -X$. In this case, it is obvious that $$-a=\sup(-X)\Rightarrow \sup(-X)=-\inf X.$$
If $a \notin X$, then $-a \notin -X$. Let's demonstrate that $-a$ is the smallest element belonging to the set of upper bounds. Indeed, suppose there exists an element $c \neq a$ such that $-c \notin -X$, but for all $-x \in -X$, $-x\leq -c\leq -a$. Then $c \notin X$, and the inequality $a\leq c\leq x$ holds. Therefore, $a\neq \inf X$, which leads to a contradiction. Thus,$$-a=\sup(-X)\Rightarrow \sup(-X)=-\inf X.$$
Similarly, it can be proven that $\inf (-X)=-\sup X$.
Which completes the proof.
Homework:
1.75. For the set $X=[-1, , 1]$, find $\max X$, $\min X$, $\sup X$, and $\inf X$ if they exist.
Answer: $1$, $-1$, $1$, $-1$.
1.76. For the set$X=\left\{x\in Z|\,\, -5\leq x <0\right\}$, find $\max X$, $\min X$, $\sup X$, and $\inf X$ if they exist.
Answer: Does not exist, $-5$, $0$, $-5$.
1.81. Let $X,,, Y\subset \mathbb{R}$ be arbitrary bounded sets. Prove that the set $X+Y={z\in \mathbb{R},|, z=x+y,,, x\in X,, y\in Y}$ is bounded above, and the following equality holds: $$\sup (X+Y)=\sup X+\sup Y.$$
