Definiciones

• Sea 𝐴 un subconjunto de números racionales, no vacío.

Se dice que 𝐴 es un conjunto acotado superiormente en ℚ si

y sólo si existe 𝑧, un número racional tal que para cualquier
elemento 𝑥, de 𝐴 se cumple que 𝑥 ≤ 𝑧. 𝑧 es llamado cota superior
de 𝐴.

Se dice que 𝐴 no es un conjunto acotado superiormente en

ℚ si y sólo si 𝐴, no tiene cotas superiores. Es decir, si y sólo si
para todo número racional 𝑧, existe 𝑥, elemento de A tal que 𝑧 <
𝑥.

Se dice que 𝐴 es un conjunto acotado inferiormente en ℚ si

y sólo si existe 𝑧, un número racional tal que para cualquier
elemento 𝑥, de 𝐴 se cumple que 𝑧 ≤ 𝑥. A 𝑧 se le llama cota
inferior de 𝐴.

Se dice que 𝐴 no es un conjunto acotado inferiormente en

ℚ si y sólo si 𝐴, no tiene cotas inferiores. Es decir, si y sólo si
para todo número racional 𝑧, existe 𝑥, elemento de 𝐴 tal que 𝑥 <
𝑧.

Más Definiciones:

• Sea 𝐴 un subconjunto de números racionales, no vacío.

Se dice que 𝐴 tiene elemento máximo si y sólo si existe 𝑧,

elemento de 𝐴, tal que para cualquier elemento 𝑥, de 𝐴 se cumple
que 𝑥 ≤ 𝑧. A 𝑧 se le llama elemento máximo de 𝐴.

Se dice que 𝐴 tiene elemento mínimo si y sólo si existe 𝑧,

elemento de 𝐴, tal que para cualquier elemento 𝑥, de 𝐴 se cumple
que 𝑧 ≤ 𝑥. 𝑧 es llamado elemento mínimo de 𝐴.
En términos de cotas superiores e inferiores, se puede decir que 𝐴 tiene
elemento máximo si es acotado superiormente en ℚ y una de sus cotas
superiores le pertenece. Análogamente, 𝐴 tiene elemento mínimo si es
acotado inferiormente en ℚ y una de las cotas inferiores le pertenece.
Definición:

Sea 𝐴 un subconjunto de números racionales, no vacío.

𝐴 tiene supremo si y sólo si

1. 𝐴 es acotado superiormente.

2. El conjunto de cotas superiores de 𝐴 tiene elemento mínimo.

Es decir, {𝑧| 𝑧 𝑒𝑠 𝑐𝑜𝑡𝑎 𝑠𝑢𝑝𝑒𝑟𝑖𝑜𝑟 𝑑𝑒 𝐴} tiene elemento mínimo.
En cuyo caso, el mínimo de {𝑧| 𝑧 𝑒𝑠 𝑐𝑜𝑡𝑎 𝑠𝑢𝑝𝑒𝑟𝑖𝑜𝑟 𝑑𝑒 𝐴}, es llamado el
supremo de 𝐴. Y se denota como 𝑺𝒖𝒑(𝑨).