Axioma do supremo

O axioma do supremo é um axioma de continuidade. Ele é usado na construção analítica dos números reais.

Enunciado

Seja um conjunto $S\subseteq \mathbb{R}\,$ limitado à direita, ou seja, existe $M\in\mathbb{R}\,$ tal que:

$x\in S \Longrightarrow x \leq M\,$

Então existe um número real s denominado supremo de S, denotado $s=\sup S \,$ tal que:

1. $x\in S \Longrightarrow x\leq s\,$
2. Se $y\,$ tem a propriedade (1), então $x\leq y\,$.

Ver também

• Wikilivros