Aviso

Este material e apenas um resumo de parte do conte

udo da
disciplina.
O material completo a ser estudado encontra-se no Captulo 1 Secoes 1.1, 1.2 do livro texto da disciplina:
N
umeros e Funcoes Reais, E. L. Lima, Colecao PROFMAT.

PROFMAT - SBM

N
umeros e Func
oes Reais , Conjuntos: noc
ao de conjunto e inclus
ao de conjuntos

slide 1/12

N
umeros e Func
oes Reais
Conjuntos: noc
ao de conjunto e inclus
ao de
conjuntos
Carlos Humberto Soares J
unior
PROFMAT - SBM

Conjunto

Toda a matematica atual e formulada na linguagem de conjuntos.

Portanto, a nocao de conjunto e a mais fundamental: a partir dela,
todos os conceitos matematicos podem se expressos. Ela e
tambem a mais simples das ideias matematicas.
(E. L. Lima. N
umeros e func
oes reais)

A noc
ao de conjunto:
Um conjunto e completamente definido por seus elementos

PROFMAT - SBM

N
umeros e Func
oes Reais , Conjuntos: noc
ao de conjunto e inclus
ao de conjuntos

slide 3/12

Pertin
encia

Dado um conjunto X e um objeto a, cabe a pergunta seguinte:

a e ou nao e um elemento do conjunto X ?
Se sim, diremos que a pertence ao conjunto X e escrevemos
aX
Se n
ao, diremos que a nao pertence ao conjunto X e
escrevemos
a
/X

PROFMAT - SBM

N
umeros e Func
oes Reais , Conjuntos: noc
ao de conjunto e inclus
ao de conjuntos

slide 4/12

Inclus
ao

Definic
ao
Sejam A e B conjuntos. Diremos que A e subconjunto de B (ou
que A esta contido em B) quando todo elemento de A for tambem
um elemento de B
Notacao:
A B.

Exemplo: Sejam P o conjunto dos n

umeros primos e Z o conjunto
dos n
umeros inteiros. Entao P Z.
PROFMAT - SBM

N
umeros e Func
oes Reais , Conjuntos: noc
ao de conjunto e inclus
ao de conjuntos

slide 5/12

Inclus
ao
Observac
ao: Usaremos a notacao
A 6 B
para indicar que A nao e um subconjunto de B.
Exemplo: Sejam P o conjunto dos n
umeros primos e I o conjunto
dos n
umeros mpares. Claramente P 6 I pois 2 P mas 2
/ I.
Exerccio: Denotamos por o conjunto vazio (sem elementos).
Mostre que, dado qualquer conjunto A, tem-se que A.
Soluc
ao: se 6 A, existiria x tal que x
/ A o que e uma
contradicao.

PROFMAT - SBM

N
umeros e Func
oes Reais , Conjuntos: noc
ao de conjunto e inclus
ao de conjuntos

slide 6/12

propriedades conjuntos

Os conjuntos substituem as propriedades.

Isto significa que em vez de dizermos que o elemento x goza da
propriedade P podemos escrever que x A em que A e o
conjunto dos elementos que gozam da propriedade P.

PROFMAT - SBM

N
umeros e Func
oes Reais , Conjuntos: noc
ao de conjunto e inclus
ao de conjuntos

slide 7/12

propriedades conjuntos

Exemplo: Seja P a propriedade de um n

umero inteiro x ser
divisvel por 3.
Por outro lado, seja A = {. . . , 6, 3, 0, 3, 6, . . . }.
Entao, tanto faz dizer que x tem a propriedade P ou escrever
x A.

PROFMAT - SBM

N
umeros e Func
oes Reais , Conjuntos: noc
ao de conjunto e inclus
ao de conjuntos

slide 8/12

Propriedades da inclus
ao
Reflexividade: A A;
Antissimetria: Se A B e B A, entao A = B;
Transitividade: Se A B e B C , entao A C .
A relacao de inclusao esta intimamente ligada `a implicacao logica.
Por exemplo: Sejam P e Q propriedades sobre os elementos de
um conjunto U e suponha que desejamos mostrar que P Q.
Sejam A e B conjuntos formados pelos elementos de U que
gozam, respectivamente, das propriedades P e Q.
Observe que:
A B e equivalente a P Q.
PROFMAT - SBM

N
umeros e Func
oes Reais , Conjuntos: noc
ao de conjunto e inclus
ao de conjuntos

slide 9/12

Propriedades da inclus
ao

A propriedade antissimetrica e muito usada nos raciocnios

matematicos.
Por exemplo: Sejam P e Q propriedades sobre os elementos de
um conjunto U e suponha que desejamos mostrar que P Q.

PROFMAT - SBM

N
umeros e Func
oes Reais , Conjuntos: noc
ao de conjunto e inclus
ao de conjuntos

slide 10/12

Propriedades da inclus
ao

Sejam A e B conjuntos formados pelos elementos de U que

gozam, respectivamente, das propriedades P e Q.
Observe que:
A B e equivalente a P Q e B A e equivalente a Q P.
Portanto
A B e B A e equivalente, por antissimetria, a A = B que e
equivalente a P Q.

PROFMAT - SBM

N
umeros e Func
oes Reais , Conjuntos: noc
ao de conjunto e inclus
ao de conjuntos

slide 11/12

Complementar

Obrigado.

PROFMAT - SBM

N
umeros e Func
oes Reais , Conjuntos: noc
ao de conjunto e inclus
ao de conjuntos

slide 12/12