解析学の基本的な定義
上界、下界の定義
$A$ is a set.Upper bound of $A$ (= $U(A)$) and lower bound of $A$ (= $L(A)$) is defined by followings.
$$U(A) = \{b|b\in \mathbb{R},\forall a\in A,a\le b\}$$
$$L(A) = \{c|c\in \mathbb{R},\forall a\in A,c\le a\}$$
sup,infの定義
$\sup A$ and $\inf A$ is defined by followings.$$\sup A \in U(A), \forall a \in U(A), \sup A \le a$$
$$\inf A \in L(A), \forall a \in L(A), a \le \inf A$$
有界の定義
$A$が上に有界($A$ is bounded above)とは$$ U(A) \neq \emptyset $$
$A$が下に有界($A$ is bounded below)とは
$$ L(A) \neq \emptyset $$
$A$が有界($A$ is bounded)とは
$$ L(A) \neq \emptyset \text{ and } U(A) \neq \emptyset $$