Universidade de Brası́lia

Departamento de Matemática

Álgebra 1
Lista de Exercı́cios 1.3 - 1.o /2023

1. Considere o conjunto E = {a, b, c} (onde a, b e c são distintos dois a dois).

a) Determine duas relações de ordem parciais (que não são totais) sobre o conjunto
E e determine todas as relações de ordem totais sobre E.
b) Ordene por inclusão o conjunto P(E) das partes E.

2. Considere a ordem habitual ≤ sobre N e seja E = N × N.

a) Mostre que a relação

(a, b)R(c, d) ⇐⇒ a ≤ c e b ≤ d

é uma relação de ordem sobre E que não é total.

b) Mostre que a relação

(a, b)R(c, d) ⇐⇒ a < c ou (a = c e b ≤ d)

é uma relação de ordem total sobre E.

3. Sejam E e F dois conjuntos totalmente ordenados pelas relações ≤E e ≤F , respectiva-

mente. Mostre que a relação

(x, y)R(x′ , y ′ ) ⇐⇒ x <E x′ ou (x = x′ e y ≤F y ′ )

é uma relação de ordem total sobre E × F .

4. Seja E = F(R) o conjunto de todas as funções reais f : R → R e considere a seguinte

relação definida sobre E:

f Rg se, e somente se, f (x) ≤ g(x), ∀x ∈ R.

a) Mostre que R é uma relação de ordem sobre E.

b) Mostre com um contra-exemplo que a relação de ordem R não é total.