UNIDADE I

CONJUNTOS, RELAES, FUNES

(Como voc, com suficiente carga horria e profundidade, j estudou este assunto no ensino mdio e
para o recente vestibular, e como estaremos apenas fazendo uma reviso dele, ento vamos andar algo
sumaria e rapidamente, sem provas de frmulas e teoremas, para que sobre tempo de estudo e espao
no livro para explicarmos melhor os assuntos realmente novos para voc.)
Nosso objetivo, nesta unidade, , ao final dela, voc
(voltar a)
dominar as mais bsicas noes e
propriedades dos conjuntos, das relaes e operaes entre eles; da ordenao entre os seus elementos;
dos conjuntos de nmeros naturais, de inteiros, de racionais e de reais; dos conjuntos contveis e no
contveis.

Lembre: Estamos torcendo por voc. O frum de alunos, os tutores, e eu (o professor) queremos e
vamos ajud-lo (nessa ordem), mas voc tem que ser determinado e disciplinado, cada semana
dedicando 4 a 8 horas para estudar este livro, entender e reter os exemplos, resolver sozinho pelo
menos 1/3 dos exerccios propostos, sumariar em sua mente os principais pontos desta unidade. Sem
determinao de firme propsito, sem disciplina e esforo honesto, ento talento e boa vontade no
bastam para nenhuma vitria na nossa vida, no ?

Contedo desta unidade:
1.1. Axiomas e Definies sobre Conjuntos. Relaes entre Conjuntos
1.2. Operaes com Conjuntos
1.3. Relaes entre Conjuntos
1.4. Funes
1.5. Ordenao
1.6. Conjuntos dos Nmeros Naturais, e dos Inteiros, e dos Racionais, e dos Reais
1.7. Conjuntos Contveis e No Contveis


Se voc quiser ver o assunto mais explicada e profundamente, no precisar de mais
que os livros textos da ementa da disciplina.
Mas, para escrever esta unidade, alm deles tambm usamos (mais como esqueleto
mestre e plano geral e ordem de apresentao) partes do livro Matemtica Elementar
que se encontra disponvel em
http://pt.wikibooks.org/wiki/Matem%C3%A1tica_elementar. No o copiamos de cabo a
rabo, somente pegamos mais o jeito" dele. Assim fizemos por causa de sua conciso
e objetividade, mas acrescentamos "carne" baseada nos livros-texto e em outros,
omitimos algumas partes, modificamos muitas outras, acrescentamos exemplos, etc. Os
exemplos e problemas propostos foram-nos gentilmente sugeridos pelo Prof. Rivanildo
Garcia da Silva, e o Prof. Jos Miguel Aroztegui revisou todo o texto


Smbolos para esta unidade:
e: pertence e: no pertence : implica que : se, e somente se
_: est contido
(podendo
ser igual)

-: existe
: no existe
c: est contido
propriamente
(no podendo
ser igual)

.: no est contido
propriamente
(nem igual)

: para todo (ou
qualquer que seja)

_: contm
(podendo ser igual)
N: conjunto dos
nmeros naturais
Z: conjunto dos
nmeros inteiros
: contm
propriamente
(no podendo
: no contm
propriamente
Q: conjunto dos
nmeros racionais
R: conjunto dos
nmeros reais
ser igual)

C: conjunto vazio |: tal que



1.1. Axiomas e Definies sobre Conjuntos. Relaes
entre Conjuntos

Em Matemtica, conjunto, elemento e relao de pertinncia so conceitos primitivos, isto , que no
podem ser formalmente definidos em funo de conceitos mais simples, portanto so aceitos sem
definio formal. Mas, informalmente, podemos dizer que um conjunto uma coleo de objetos
(chamados de elementos). Os elementos podem representar qualquer coisa (at mesmo outros
conjuntos). Um conjunto possui como nica propriedade os elementos que contm, portanto dois
conjuntos que tm os mesmos elementos so conjuntos iguais. A relao bsica entre um elemento e
um conjunto a relao de pertinncia: quando um objeto x um dos elementos que compem o
conjunto A, dizemos que x e A (leia x pertence a A), seno dizemos que x e A (leia x no pertence
a A).

Nos conjuntos, a ordem e a quantidade de vezes que os elementos esto listados na coleo no
relevante. Em contraste, uma coleo de elementos na qual a multiplicidade, mas no a ordem,
relevante, chamada multiconjunto [Knuth, Donald E. (1998). The Art of Computer Programming
Vol. 2: Seminumerical Algorithms Addison Wesley. p. 694]. Exemplos: conjunto {1,5,2,4,3};
multiconjunto {1,1,1,5,2,4,3,3}.

possvel descrever o mesmo conjunto de trs maneiras diferentes, por meio de uma:
- lista dos seus elementos (ideal para conjuntos pequenos e finitos);
- definio de uma propriedade de seus elementos;
- representao grfica (recorde-se dos diagramas de Venn, nos livros do ensino mdio).

A notao padro em Matemtica lista os elementos separados por vrgulas e delimitados por chaves. Um
conjunto A, por exemplo, poderia ser representado como: A = {1,2,3}
Como a ordem no importa em conjuntos, isso equivalente a escrever, por exemplo, A = {1,2,2,1,3,2}

Um conjunto A tambm fica definido (ou determinado, ou caracterizado) quando se d uma regra que
permita decidir se um objeto arbitrrio pertence ou no a A. Por exemplo, a frase "B o conjunto dos
tringulos retngulos" define perfeitamente o conjunto B, j que permite decidir se um objeto qualquer
ou no um elemento de B. O mesmo conjunto A do pargrafo anterior poderia ser representado por
uma regra:
A = {x | x um nmero inteiro maior que 0 e menor que 4}
ou ainda:
A = {x : x um nmero natural tal que 1 s x s 3}


Se A e B so conjuntos e todo o elemento x pertencente a A tambm pertence a B,
ento o conjunto A dito um subconjunto do conjunto B, o que denotado por A _
B. Note que esta definio inclui o caso em que A e B possuem os mesmos elementos,
ou seja, A = B. Se A _ B e ao menos um elemento pertencente a B no pertence a A,
ento A chamado de subconjunto prprio de B, o que denotado por A c B.

Todo conjunto subconjunto dele mesmo (A _ A), entretanto no se enquadra na definio de
subconjunto prprio, portanto (A . A) e chamado de subconjunto imprprio.

Todo conjunto tambm possui como subconjunto o conjunto vazio [o conjunto que no tem nenhum
elemento] representado por {} ou C (a letra phi, leia fi). Como todos os conjuntos vazios so iguais
uns aos outros, permissvel falar de um nico conjunto sem elementos.

Ao conjunto da totalidade de elementos que consideramos possveis
[para o assunto de que estivermos tratando]

chamamos de conjunto universo, usualmente representado pelo smbolo U. Por exemplo, se
estivermos tratando das siglas dos estados do Brasil, U = {AC, AL, AP, ..., TO}

EXERCCIO: Voc mesmo reveja seus livros, d o nome exato, e defina formalmente as relaes entre
elemento e conjunto e , e. E as relaes entre dois conjuntos: _, ., _, , , =, = . D um exemplo
para cada relao usando diagramas de Venn, outro usando a notao {}, outro definindo os conjuntos
por suas propriedades.

Se um conjunto A tem n elementos, onde n um nmero natural (possivelmente 0), ento diz-se que o
conjunto um conjunto finito com uma cardinalidade de n, [e denotamos isto como |A| = n, que voc
deve ler como a cardinalidade de A n)] Mesmo se o conjunto no possui um nmero finito de
elementos, pode-se definir a cardinalidade graas ao trabalho desenvolvido pelo matemtico Georg
Cantor. Mais sobre isso na seo 1.7 (Conjuntos Contveis e No Contveis)

O conjunto de todos os subconjuntos de um conjunto dado A chamado de conjunto potncia (ou
conjunto das partes) de A, denotado por P(A). O conjunto potncia uma lgebra booleana (ver
Unidade II) sobre as operaes de unio e interseo. Sendo o conjunto dado A finito, com n elementos,
prova-se que o nmero de subconjuntos (ou seja, o nmero de elementos do conjunto potncia, ou seja,
o conjunto das partes de A) 2
n
, ou seja, a cardinalidade do conjunto das partes de A igual a 2
n
.
Exemplo: o conjunto A = {1,2} tem 4 subconjuntos, so eles: o prprio A , {1}, {2} e C. Veja que n =
|A| = 2 e h 2
2
= 4 subconjuntos. Exerccio: Entenda e explique porque P(C) {C } e no C.

O produto cartesiano de dois conjuntos A e B o conjunto de pares ordenados (relembre isso, por
voc mesmo):
A x B = {(a,b): a e A e b e B }
O produto cartesiano no-comutativo: A x B = B x A

EXEMPLO 1: Sejam A = {0,2,5} e B = {2,3}. Temos: A x B = {(0,2),(0,3),(2,2),(2,3), (5,2),(5,3)} e
B x A = (2,0),(3,0),(2,2),(3,2),(2,5),(3,5)}. Note que A x B B x A, pois (x,y) (y,x), para todo x e para
todo y.

EXEMPLO 2: Dados conjuntos A = { x | x nmero par primo } e B = { x | x divisor positivo de 6},
temos A x B = {(2,1),(2,2),(2,3),(2,6)} e B x A = {(1,2),(2,2),(3,2),(6,2)}. Note que A x B B x A

EXEMPLO 3: Considere os conjuntos C = {1}, D ={1,2,3}, E = { 1, 3, 5, 7, ...} e F = {x | x nmero
primo }. Classifique as sentenas a seguir em verdadeira ou falsa.
a) C d) D E g) E = F
b) C e) F E h) C F
c) D f) C C i) E C
Resposta: f v f v f v f v v (respectivamente)



1.2. Operaes com Conjuntos

Operao Operador Definio Exemplo

Unio
A unio (ou reunio) de dois conjuntos e
o conjunto A B composto dos elementos que
pertencem ao menos a um dos conjuntos A ou B. A
unio de N conjuntos

o conjunto formado pelos os elementos que
pertencem ao menos a um dos conjuntos A
unio entre dois conjuntos pode ser definida
formalmente por A U B = {x|xeA ou xeB}




Interseo

A interseo de dois conjuntos e o
conjunto composto dos elementos que
pertencem simultaneamente aos dois conjuntos
e





Diferena
ou
A diferena (ou ) entre dois
conjuntos e o conjunto dos elementos
que pertencem a e que no pertencem a




Dado um universo U, diz-se complementar de um conjunto A, em relao ao universo U, o conjunto
(denotado por A
c
) que contm todos os elementos presentes no universo e que no pertenam a A.
Tambm define-se complementar para dois conjuntos, contanto que um deles seja subconjunto do outro.
Nesse caso, diz-se, por exemplo, complementar de B em relao a A (sendo B um subconjunto de A)
o complementar relativo e usa-se o smbolo . Leia
B
A
como o conjunto complementar de B em
relao a A, que seu superconjunto. Matematicamente:

B
A
= A - B = {x e A | x e B}

EXEMPLO 4: Seja A = {1,2,3,4}, B = {x | x nmero natural primo menor que 6} e C =
{1,2,3,4,5,6,7,8,9}. Determine:
a) A B b) A
c) A C d) B A
e) C A
Respostas:
a) {1,2,3,4,5} b) {1,2,3,4}
c) C d) {5}
e) {5,6,7,8,9}

EXEMPLO 5: Dados os conjuntos A = {0,2,4}, B = {0,1,2,3,4,5} e C = {0,1,2,4,8}., determine:
a)
A
B
a) B \ A
b)
C
B
b) B \ C
Respostas:
a)
A
B
= B A = {1,3,5}; a) B \ A = B A = {1,3,5};
b)
C
B
= no definido, pois C B; b) B \ C = B C = {3,5}



1.3. Relaes

Uma relao R do conjunto A para o conjunto B (representada por R: A B) um qualquer
subconjunto do produto cartesiano A B. Ou seja, o conjunto de pares ordenados cujo primeiro
elemento pertence a A e o segundo elemento pertence a B. O conjunto A chamado de domnio da
relao, o conjunto B chamado de contradomnio da relao.

Relaes podem ser especificadas/ representadas: por figuras dos dois conjuntos A, B, com setas
indicando os pares ordenados; por listagem de todos os pares; ou por equao, inequao, ou qualquer
forma matemtica que possa representar a condio que os pares devem satisfazer. Por exemplo:

R = {(1,2), (2,4), (3,6)} A = {1,2,3}
B = {1,2,3,4,5,6}
R = {(x,y) e A x B | y = 2x = dobro de
x}

Existe um tipo especial de relao que chamado funo: a relao na qual, para todo elemento do
domnio, h correspondncia de um (e somente um) elemento no contradomnio. A funo normalmente
simbolizada por f(x) (sendo x uma varivel, ou seja, um valor que pode representar qualquer elemento
do conjunto domnio). Como consequncia natural da correspondncia de todo e cada elemento do
domnio para exatamente um elemento do contradomnio, a funo sempre uma relao definida por
uma equao (pois uma inequao associa um elemento do domnio a vrios elementos do
contradomnio). Funes sero estudadas com maiores detalhes na prxima seo (1.4).

Relaes de equivalncia: Seja R uma relao entre os conjuntos A e B, ou seja, R AB.
Denotaremos que um elemento a de A se relaciona com o elemento b de B, segundo a relao R, por
aRb. Se uma relao R definida com domnio A e contradomnio A cumpre as seguintes propriedades:
a e A: aRa (propriedade reflexiva),
a,b e A: aRb bRa (propriedade simtrica), e
a,b,c e A: aRb e bRc aRc (propriedade transitiva),
ela dita relao de equivalncia.

Classes de equivalncia: Seja = {x e A | xRa}. denominada classe de equivalncia de a.
Alguns resultados importantes desta definio so (demonstraes nos livros-texto da disciplina):
Teorema: Se a =.
Teorema: Se a, ento =
Teorema: Se , ento =

Uma partio de um conjunto X um conjunto P tal que
x e P xX
x,y e P xy=
x e X a e P tal que x e a.
Alguns resultados importantes desta definio so (demonstraes nos livros-texto da disciplina):
Teorema: Seja R uma relao de equivalncia em A, P={A|a e A} uma partio de A.
Teorema: Seja P uma partio de A, a relao R dada por aRe a e de equivalncia.
Disto sabemos que toda partio induz uma relao de equivalncia e toda relao de equivalncia induz
uma partio.

EXEMPLO 6: Seja E = {a,b,c}. A relao R = {(a,a),(b,b),(c,c),(a,b),(b,a)} uma relao de
equivalncia?
Resposta: Sim, pois satisfaz as trs propriedades definidas acima.

EXEMPLO 7: A relao S = {(a,a),(b,b),(c,c),(a,b),(b,a),(a,c)} uma relao de equivalncia?
Resposta: No, pois aRc mas (cRa) (c no est relacionado com a )

EXEMPLO 8: Seja a relao de equivalncia R = {(a,a),(b,b),(c,c),(a,b),(b,a)}. Determine as classes de
equivalncia ,

, .
Resposta: = {a,b};

= {a,b}; = {c}

EXEMPLO 9: Seja A = {1,2,3,4}. Determine uma partio desse conjunto.
Resposta: P ={{1},{2,3},{4}} ou P ={{1,2},{3,4}}, entre outras.



1.4. Funes

Uma funo uma relao especial, assim definida: sejam dois conjuntos A e B (no vazios), tais que
para todo elemento x pertencente a A (chamado de domnio), haja uma correspondncia de um e
somente um elemento y (chamado imagem) pertencente a B (chamado de contradomnio ). Essa
correspondncia a funo: a associao, definida de algum modo, entre todos os elementos de um
conjunto e os elementos de outro conjunto. O subconjunto B de B compreendendo todos os elementos
que so realmente imagens de elementos de A tambm chamado de imagem.
A funo que associa um elemento x a outro valor pode ser indicada por f(x). x chamada de varivel
independente e f(x) (ou y) chamada de varivel dependente. Matematicamente a funo assim
definida:
f: A B: x f(x),
Um exemplo de funo: dado o conjunto dos nmeros naturais, uma funo pode associar cada nmero
ao seu quadrado. Assim, essa funo assumiria os valores: {1,4,9,16,... }.

Note duas caractersticas de funo, na definio:
- h correspondncia unvoca entre um elemento e o valor associado a ele pela funo: para cada
valor assumido pela varivel independente (x) h um nico valor da varivel dependente (y) associado
pela funo: Se t = f(x) e w = f(x), ento t = w.
- a correspondncia total, ou seja, um valor assumido pela varivel dependente estar associado para
todo valor possvel de ser assumido pela varivel independente.

A tabela a seguir mostra dois exemplos de relaes que no so funes:

Nesse caso, um mesmo elemento (3) do domnio X
aparece associado a dois elementos do
contradomnio Y (c,d).
Aqui a correspondncia no total: falta um valor
associado a 1.

Duas funes f(x) e g(x) so ditas iguais (f = g) se e somente se para cada valor de x no domnio D,
f(x) e g(x) assumam o mesmo valor:
x e D: (f(x) = g(x)) (g = f).

Funo Injetora (f: A B) aquela na qual a diferentes elementos do domnio correspondem
diferentes elementos no contradomnio . x
1
= x
2
f(x
1
) = f(x
2
)
Funo Sobrejetora (f: A B) aquela na qual o contradomnio igual imagem, ou seja, cada
elemento do contradomnio correspondido por ao menos um do domnio. Imagem(f) = B.
Funo Bijetora (f: A B) aquela que tanto injetora como sobrejetora: (x
1
= x
2
f(x
1
) = f(x
2
)) e
(Imagem(f) = B)

Uma funo f(x) chamada de contnua em um ponto quando, intuitivamente, a pequenas variaes no
valor de x correspondem pequenas variaes no valor de f(x). Nos pontos onde a funo no contnua,
diz-se que a funo descontnua, ou que aquele um ponto de descontinuidade. Formalmente,
em termos de limites [rever nos seus livros do ensino mdio], uma funo f(x) chamada de contnua
em um ponto a de seu domnio se, quando x tende para a quer pela esquerda quer pela direita, lim f(x)
= f(a). Uma funo f(x) chamada de contnua em um intervalo contnuo se for contnua em todos seus
pontos.

Uma funo dita crescente, sobre um intervalo [A,B], se para cada valor de x + ( sendo qualquer
valor positivo), f(x) < f(x+ ).

Composio de funes: Sejam f: X Y e g: Z W duas funes. Se a imagem de f est contida no
domnio de g podemos definir a funo composta
g f: X W
como sendo
g f(x) = g(f(x)) x e X


EXEMPLO 10 (funo sobrejetora e no injetora):
Analise o diagrama de flechas que est esquerda.
Relembre que o conjunto A o domnio da funo e o
conjunto B o seu contradomnio; o conjunto imagem o
conjunto formado por todos os elementos do contradomnio
que esto associados a pelo menos um elemento do domnio.
Classificamos como sobrejetora as funes que possuem o
contradomnio igual ao conjunto imagem. Note que em uma
funo sobrejetora no existem elementos no contradomnio
que no esto flechados por algum elemento do domnio.
Resposta:
Nesta funo do exemplo temos:
Domnio: D(f) = { -2, -1, 1, 3 }
Contradomnio: CD(f) = { 12, 3, 27 }
Conjunto Imagem: Im(f) = { 12, 3, 27 }
Portanto, nesta funo, contradomnio igual ao conjunto imagem.
Esta funo definida por:

Substituindo a varivel independente x, de 3x
2
, por qualquer elemento de A, iremos obter o elemento de
B ao qual ele est associado, isto , obteremos f(x).
Do que ser explicado a seguir, poderemos concluir que embora esta funo seja sobrejetora, ela no
uma funo injetora, pois ambos -1 e 1 tm 3 como imagem (eles tm a mesma imagem).


EXEMPLO 11 (funo injetora e no sobrejetora):
Analise o diagrama de flechas que est esquerda.
Resposta:
Podemos notar que nem todos os elementos de B esto associados a algum elemento de A, isto , nesta
funo o conjunto imagem difere do contradomnio, portanto esta no uma funo sobrejetora.
Alm disso, podemos notar que esta funo tem uma outra caracterstica distinta da funo anterior.
Veja que no h nenhum elemento em B que est associado a mais de um elemento de A, ou seja, no
h em B qualquer elemento com mais de uma flechada. Em outras palavras, no h mais de um
elemento distinto de A com a mesma imagem em B.
Nesta funo temos:
Domnio: D(f) = { 0, 1, 2 }
Contradomnio: CD(f) = { 1, 2, 3, 5 }
Conjunto Imagem: Im(f) = { 1, 3, 5 }
Definimos esta funo por:

Veja que no h no D(f) qualquer elemento que substituindo x em 2x + 1, nos permita obter o elemento
2 do CD(f), isto , o elemento 2 do CD(f) no elemento da Im(f).


EXEMPLO 12 (funo bijetora):
Analise o diagrama de flechas que est esquerda.
Resposta:
Podemos ver que este o diagrama de uma funo sobrejetora, pois no h elementos em B que no
foram flechados. Vemos, tambm, que esta uma funo injetora, j que todos os elementos de B
recebem uma nica flechada. Portanto, conclumos que a funo bijetora.
Esta funo tem:
Domnio: D(f) = { -1, 0, 1, 2 }
Contradomnio: CD(f) = { 4, 0, -4, -8 }
Conjunto Imagem: Im(f) = { 4, 0, -4, -8 }
Esta funo definida por:

Ao substituirmos x em -4x, por cada um dos elementos de A, iremos encontrar os respectivos elementos
de B, sem que sobrem elementos em CD(f) e sem que haja mais de um elemento do D(f) com a mesma
Im(f).

EXEMPLO 12: Dadas as funes f(x) = 2x + 3 e g(x) = 5x, determine gf(x) e fg(x).
Resposta:
gf(x) = g[f(x)] = g(2x + 3) = 5(2x + 3) = 10x + 15
fg(x) = f[g(x)] = f(5x) = 2(5x) + 3 = 10x + 3. Observe que fg gf .

EXEMPLO 13: Dados trs conjuntos A = {-2, -1, 0, 3}, B = {-3,-2,-1,2} e C = {9,4,1,4}. Entre eles
existem as seguintes funes: f: AB definida por f(x) = x 1 e g: BC definida por g(x) = x
2
. Para
cada elemento de A existe um elemento em B tal que f(x) = x 1 e para cada elemento de B existe
um elemento de C tal que g(x) = x
2
. Assim, pode-se concluir que existe uma funo h: AC definida
por h(x) = g(f(x)), isto , h(x) = x
2
1.



1.5. Ordenao


Pela sua conciso, vamos usar, como esqueleto mestre e ordem de apresentao,
partes de http://pt.wikipedia.org/wiki/Rela%C3%A7%C3%A3o_de_ordem, que resume
captulo de Davey, B.A.; Priestley, H.A. Introduction to Lattices and Order 2nd. ed.
Cambridge, Cambridge University Press, 2002. Mas omitiremos algumas partes,
inseriremos muitas outras, acrescentaremos exemplos, muitas vezes refrasearemos em
nossas prprias palavras. As referncias principais sempre so os livros-texto da
disciplina, sempre busque melhor entendimento neles.


Dado um conjunto A e uma relao binria R sobre A: R _ A x A, dizemos que R uma relao de
ordem parcial- ampla (ou no estrita) sobre A se satisfaz as seguintes condies:
Reflexividade: a e A: aRa (ou seja, todo elemento est relacionado consigo mesmo);
Anti-simetria: a,b e A: (R(a,b) . R(b,a) a = b); e
Transitividade: a,b,c e A: aRb e bRc aRc
Quando uma relao R satisfaz as condies acima, R(x,y) escrita como x s y.

EXERCCIOS: Para 2 dos conjuntos numricos N, Z, Q, R, verifique que a operao usual s satisfaz as
condies acima. Idem para a operao _ sobre conjuntos. Idem para a operao | (divide) definida na
unidade VII (Teoria dos Nmeros).

Dado um conjunto A e uma relao binria R sobre A: R _ A
X
A, dizemos que R uma relao de
ordem parcial- estrita sobre A se satisfaz transitividade e:
Irreflexividade: a e A: R(a,a) (ou seja, nenhum elemento est relacionado consigo mesmo). Se
uma relao satisfaz transitividade e irreflexividade, pode ser demonstrado que tambm satisfaz:
Assimetria: a,b e A: (R(a,b) R(b,a))
(Se uma relao R satisfaz transitividade e assimetria, ento tambm satisfaz irreflexividade).
Quando uma relao R uma relao de ordem parcial- estrita, R(x,y) escrito como x < y.
Um conjunto que possui uma relao de ordem chamado de conjunto parcialmente ordenado.
Exemplo: a relao antepassado de

Sendo R uma relao sobre A, a totalidade (ou linearidade) est dada por:
para ordens amplas: x,y e A, (x s y v y s x)
para ordens estritas: x,y e A, (x = y x < y v y < x)

Dada um relao R, dizemos que x,y e A (onde x = y) so incomparveis, se e somente se R(x,y) .
R(y,x). Uma relao de ordem linear ou total no tm elementos incomparveis.
As ordens dos conjuntos numricos, N, Z, Q, R so lineares.
Dado um conjunto A com dois ou mais elementos, P(A), o conjunto das partes de A no est
linearmente ordenado por incluso (_).
Uma relao de ordem estrita, quer seja parcial ou total, denominada densa se entre dois elementos
sempre existe um outro: x,y e A (x < y - z - S (x < z < y))
Inversa (>) de uma relao de ordem estrita (<): Se uma relao R uma ordem estrita,
ento a relao inversa de R:
R
-1
= {(y,x): (x,y) e R}
tambm uma relao de ordem estrita.
Inversa () de uma relao de ordem ampla (s) pode ser definida similarmente.
Dada uma relao de ordem ampla s sobre um conjunto A, um elemento a e A denominado
elemento mnimo ou primeiro elemento se e somente se:
beA (a s b).
De maneira simtrica, denominado elemento mximo ou ltimo elemento se e somente se:
beA (a b).
O conjunto N tem mnimo, mas no tem mximo. Os conjuntos Z, Q, R no tm nem mximo, nem
mnimo. O intervalo [0,1] = {x e R: 0 s x s 1} tem mnimo 0 e mximo 1. Dado um conjunto A e
considerando a ordem incluso, _, o conjunto P(A), das partes de A, tem mnimo C e mximo A. Se um
conjunto tem mnimo, ento tem um nico mnimo. O mesmo vale para o mximo.
Dada uma relao de ordem estrita < sobre um conjunto A, um elemento a e A denominado minimal
(ou nfimo) quando no existe outro elemento que seja menor que ele:
-x e A, x < a
e denominado maximal (ou supremo) quando no existe outro elemento que seja maior que ele. No
reticulado abaixo, 2 , 3 e 5 so minimals, e 10 , 15 e 24 so maximals.



Um elemento a e A uma cota inferior ou minorante de um subconjunto B _ A se e somente se:
b e B (a s b)
Um elemento a e A uma cota superior ou majorante de um subconjunto B _ A se e somente se:
b e B (a b)
Seja (A, ) um conjunto parcialmente ordenado. A dito completo se para todo conjunto BA, B,
se B tem majorante, ento tem supremo.
Uma relao de ordem estrita R sobre um conjunto A denominada uma boa ordem se e somente se
todo subconjunto no vazio de A tem primeiro elemento segundo R.
Um conjunto com uma relao de boa ordem denominado bem ordenado. Por exemplo, N bem
ordenado pela relao natural < desse conjunto, mas Z, Q e R no so, segundo as suas ordens
naturais. Uma boa ordem sempre uma ordem linear.

EXEMPLO 14: O intervalo fechado [0,1] = {x e R | 0 x 1} possui um elemento mnimo 0 e um
elemento mximo 1.

EXEMPLO 15: O intervalo semi fechado [0,1) = [0,1[ = {x e R | 0 x < 1} possui um elemento mnimo
0, todo x 1 majorante do conjunto e seu supremo nos reais o 1 que no pertence ao conjunto e,
portanto, esse conjunto no tem elemento mximo.

EXEMPLO 16: {x e Q | x
2
<=2}. Esse conjunto possui um supremo real \2, e infinitas cotas superiores
racionais. No entanto, no possui supremo nos nmeros racionais. Portanto, o conjunto dos nmeros
racionais no completo. Por outro lado, o conjunto dos nmeros reais completo.

EXEMPLO 17: P(A), para um conjunto qualquer A (onde |A| 2) considerando a ordem parcial ampla
incluso, _: Esse conjunto tem elemento mnimo C e elemento mximo A, segundo a ordem _. Todo
B _ P(A) tem supremo e nfimo em P(A), segundo a ordem _.



1.6. Nmeros Naturais, Inteiros, Racionais, Reais

Naturais N = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, ...} (cardinalidade
0
) (leia como
aleph, a primeira letra do alfabeto hebraico, cuja pronncia lef)
Naturais positivos N
+
= N {0} (cardinalidade
0
)
Inteiros Z = {...6, 5, 4, 3, 2, 1, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, ....} = {0, -1, +1, -2, +2, -3,
+3, ...} (cardinalidade
0
)
Racionais positivos Q
+
= {p/q tais que p,q e N
+
} = {1/1, , 2/1, 3/1, 2/2, 1/3, , 2/4, 3/2, 4/1,
...} (cardinalidade
0
) (pela diagonalizao de Georg Cantor}
Racionais negativos Q
-
= {-x: x e Q
+
} (cardinalidade
0
)
Racionais: Q = Z Q
+
Q
-
(cardinalidade
0
)
Irracionais I = {8; 6; 2,36521452 ...} (cardinalidade
1
)
Reais: R = Q I (cardinalidade: c (c. do contnuo) = 2
0
=
1
)

Relaes entre os conjuntos de nmeros:
N c Z c Q c R ( N est contido em Z, que est contido em Q e que est contido em R)
I c R I est contido em R
Q U I = R Q unio com I corresponde a R
Q I = Q interseco com I corresponde a vazio
I = R Q I corresponde a R subtrado de Q
N Z = Z
+
inteiros positivos (inclui o 0)
Z N = Z
-
inteiros negativos (inclui o 0)
(N Q) U Z = Z
(Q U I) N = N
R N = N
N U Z = Z



1.7. Conjuntos Contveis e No-Contveis


As referncias principais sempre so os livros-texto da disciplina, sempre busque
melhor entendimento neles. Se no puder, veja em outros bons livros na Internet ou,
pelo menos, em http://pt.wikipedia.org/wiki/Conjunto_cont%C3%A1vel.

Um conjunto contvel um conjunto de mesma cardinalidade (nmero de elementos) de um
subconjunto qualquer de N (inclusive o prprio N). Um conjunto dito no-contvel quando ele no
contvel. Se o conjunto for infinito (em nmeros de termos), ento, se for contvel, tambm chamado
de enumervel (ou infinito contvel), seno, de no enumervel.

Formalmente, um conjunto S contvel se existe uma funo injetora
f: S N
Dois conjuntos R,S so de mesmo tamanho se existe uma funo bijetora
f: S R

Teorema (Georg Cantor): O conjunto Q
+
dos racionais positivos tem o mesmo tamanho (cardinalidade)
do conjunto dos inteiros positivos
[isto surpreendeu muitos]
.
Demonstrao: faamos uma tabela onde as colunas representam p (o numerador do racional), e as
linhas representam q (o denominador). Note como todas as clulas em uma diagonal tm mesma soma
p+q em cada clula. Agora, percorramos a tabela pelas suas diagonais em um padro zig-zag, onde zig
a direo e zag a

Comeamos caminhando assim , pela diagonal de soma p+q =2,
faamos 1/1 mapear no inteiro 1
depois caminhemos assim , pela diagonal de soma p+q =3,
faamos 2/1 mapear no inteiro 2
faamos 1/2 mapear no inteiro 3
depois caminhemos assim pela diagonal de soma p+q =4,
faamos 1/3 mapear no inteiro 4
faamos 2/2 mapear no inteiro 5
faamos 3/1 mapear no inteiro 6
depois caminhemos assim pela diagonal de soma p+q =5
...
e assim por diante

Teorema: O produto cartesiano de uma quantidade nita de conjuntos contveis contvel.

Teorema: Todo subconjunto de um conjunto contvel contvel. Em particular, todo subconjunto
infinito de um conjunto infinito contvel infinito contvel.
EXEMPLO: O conjunto dos nmeros primos contvel, mapeando o n-simo primo para n.

Teorema: A unio de um sistema finito de conjuntos contveis contvel.

Teorema: O conjunto de todas as sequncias de tamanho finito dos nmeros naturais contvel.

Teorema: O conjunto de todos os subconjuntos finitos dos nmeros naturais contvel.

Teorema [Bsico]: Seja S um conjunto. As seguintes declaraes so equivalentes:
1) S contvel, ou seja, existe uma funo injetora f: S N
2) Ou S vazio, ou existe uma funo sobrejetora g: N S
3) Ou S finito ou existe uma bijeo h: N S

Muitas propriedades padres so concludas facilmente a partir deste teorema. Observe que N no
teorema pode ser substitudo por qualquer conjunto infinito contvel. Em particular temos o seguinte
corolrio.

Corolrio: Sejam S e T conjuntos.
1) Se a funo f: S T injetora e T contvel ento S contvel.
2) Se a funo g: S T sobrejetora e S contvel ento T contvel.

EXEMPLO 17: E = {2,4,6,...}, o conjunto dos nmeros pares maiores que 0, tem cardinalidade menor
que a dos naturais (
0
)? Prove.
Resposta: |E| =
0
, porque podemos mapear E para N pela funo f(n) = 2n.

EXEMPLO 18: Entre dois quaisquer naturais vizinhos existem infinitos racionais (por exemplo, se os dois
naturais vizinhos forem 0 e 1, temos os infinitos racionais 1/2, 1/3, 1/4, ... ,2/3, 2/4, 2/5, ... 3/4, 3/5,
3/6, ..., 4/5, 4/6,4/7, ... (basta que o numerador seja menor que o denominador). Portanto, pode-se
dizer que a cardinalidade dos racionais maior que
0
, que a dos naturais. Certo?
Resposta: No. Veja o teorema da diagonalizao de Georg Cantor, acima.


Uma das provas mais elegantes da Matemtica a que h infinitos reais entre 0 e 1.
Tambm deve-se a Georg Cantor. Na Internet, onde a encontrei mais fcil de ser
entendida foi em
http://www.seara.ufc.br/especiais/matematica/transfinitos/transfinitos3.htm. No deixe
de ver.



Problemas sobre toda a Unidade:
(sugeridos pelo Prof. Rivanildo Garcia da Silva, fico-lhe muito grato por isso)

PROBLEMA 1) Represente os conjuntos a seguir na forma de extenso.
a) {x | x ms do ano formado por 9 letras}
b) {x | x mltiplo de 3 e de 6 maior ou igual a 12 e menor que 24 }
c) {x | x planeta do sistema solar que comea com a letra P}

PROBLEMA 2) Dados os conjuntos A= {0,1,2,3}, B = {1,2,3} e C= {2,3,4,5}, determine:
a) A B
b) (A C) (B C)
c) C
d) A
e) C
A
(B

C)


PROBLEMA 3) Usando os smbolos , indique a relao entre os conjuntos numricos a seguir:
a) N N
*
b) Q R
c) Z

R
d) N Z


PROBLEMA 4) Observe os nmeros: 4;0;0,888...;

; 4,86; Dentre esses nmeros determine quais

so:
a) Nmeros naturais
b) Nmeros inteiros
c) Nmeros racionais
d) Nmeros irracionais
e) Nmeros reais

PROBLEMA 5) Identifique os nmeros abaixo como racionais ou irracionais:
a) 4
b) 1
c) 23
d) 1/2
e) 4+2
f) (9 . 4)
g) (2)/2

PROBLEMA 6) Determine se a relao R sobre o conjunto A dado de equivalncia.
a) A = {a; b; c; d} e R = {(a; a);(b; a);(b; b);(c; c);(d; d);(d; c)}
b) A = {1; 2; 3; 4} e R = {(1; 1);(1; 2);(2; 1);(2; 2);(3; 1);(3; 3);(1; 3);(4; 1);(4; 4)}

PROBLEMA 7) Temos que R uma relao de equivalncia, e como todo inteiro podemos expressar na
forma x = 5q + r onde 0 s r < 5 existem cinco classes

. Determine quais so estas

classes:

PROBLEMA 8) Verifique se as funes so injetoras, sobrejetoras ou bijetoras:
c) f: R R+ definida por f(x) = x
d) f: R R definida por f(x) = x + 2
e) f:{0;1;2;3;4} N definida por f(x) = 2x

PROBLEMA 9) Analise as afirmaes abaixo classificando-as em (V) verdadeiras ou (F) falsas:
a) ( ) Se uma funo bijetora, ento ela tambm sobrejetora.
b) ( ) Toda funo injetora bijetora.
c) ( ) Uma funo afim do tipo f(x) = ax + b, com a0, com domnio e contradomnio nos reais
bijetora.
d) ( ) Qualquer funo quadrtica bijetora.
e) ( ) Se qualquer reta paralela ao eixo das abscissas intercepta o grfico de uma funo em um
nico ponto, ento a funo injetora.
f) ( ) Se o contradomnio de uma funo igual ao conjunto imagem, ento a funo
sobrejetora.
g) ( ) Se uma funo sobrejetora e injetora ao mesmo tempo, ento a funo bijetora.
h) ( ) Se uma funo bijetora, ento ela injetora.

PROBLEMA 10) Sabendo que f(g(x)) = 3x - 7 e f( x ) = x/3 - 2, ento qual opo abaixo verdadeira?
a) g(x) = 9x - 15 b) g(x) = 9x + 15 c) g(x) = 15x - 9 d) g(x) = 15x + 9 e) g(x) =
9x 5

PROBLEMA 11) O domnio da funo real f(g(x)), sabendo-se que f(x) = x
1/2
e g(x) = (x
2
+ x)(x + 2)
-1
, :
a) D = {x R / x
1/2
-2} b) D = {x R/ x 0 e x -2} c) D = {x R / -2 < x -1 ou x 0}
d) D = {x R / -2 x -1 ou x 0 } e) D = {x R / -2 < x < -1 ou x 0}

PROBLEMA 12) Considere as funes f(x) = 2x + 1 e g(x) = x
2
- 1. Ento as razes da equao f(g(x)) =
0 so:
a) inteiras b) negativas c) racionais d) inversas e) opostas

PROBLEMA 13) Sejam f(x) = x
2
+ 1 e g(x) = x - 1 duas funes reais.
Definimos a funo composta de f e g como sendo gf(x) = g(f(x)). Ento gf(y - 1) igual a:
a) y
2
- 2y + 1 b) (y - 1)
2
+ 1 c) y
2
+ 2y - 2 d) y
2
- 2y + 3 e) y
2
1

PROBLEMA 14) Identifique se as funes abaixo so contnuas nos intervalos mencionados e justifique
sua resposta.
a) f(x) = 9x - 15 em (0,1)
b) g(x) = em [0,1]
c)

em (3,3)



Recapitulando a unidade

Parabns! Voc concluiu a unidade I e, se foi disciplinado e realmente "suou" estudando 4 a 6 h cada
semana, deve ter relembrado (ou aprendido) muitas coisas da parte bsica da "Teoria dos Conjuntos"
que lhe sero indispensveis ou muito teis em todo o resto do curso e sua vida profissional: axiomas e
definies sobre conjuntos e relaes entre conjuntos; operaes com conjuntos; relaes; funes;
ordenao; conjuntos dos nmeros naturais, e dos inteiros, e dos racionais, e dos reais; conjuntos
contveis e incontveis.

Na prxima unidade, a II, voc ser introduzido Lgica Matemtica, a investigao formal da validade
de argumentaes dedutivas, que so conjuntos de enunciados dos quais um a concluso e os demais
premissas. um assunto fascinante e profundo, muito importante para sua profisso. Voc vai gostar,
mesmo que s dispomos de tempo de estudo e espao no livro para uma introduo.