Capítulo 1

Teoria dos Conjuntos e Lógica

Adotamos, como a maioria dos matemáticos fazem, o ponto de vista ingênuo sobre a teoria dos conjuntos. Vamos
supor que o que se entende por um conjunto de objetos é intuitivamente claro, e vamos proceder nessa base sem
analisar o conceito mais longe. Tal análise propriamente pertence aos fundamentos da matemática e lógica
matemática, e não é nosso propósito de iniciar o estudo desses campos.

Os lógicos analisaram a teoria dos conjuntos em grande detalhe, e eles formularam IOMs MACHADO para o assunto.
Cada um de seus axiomas expressa uma propriedade de conjuntos que Mathe maticians comumente aceito, e coletivamente
os axiomas fornecem uma base suficientemente ampla e forte o suficiente para que o resto da matemática pode ser
construída sobre eles.

Tt é infelizmente verdade que o uso descuidado da teoria dos conjuntos, confiar na intuição sozinho, pode levar
a contradições. De fato, uma das razões para a axiomatização da teoria dos conjuntos foi formular regras para lidar
com conjuntos que evitem esses ções contradic. Apesar de não se lidar com os axiomas de forma explícita, as regras
que seguimos ao lidar com conjuntos de deduzir a partir deles. Neste livro, você vai aprendem como lidar com
conjuntos de forma “aprendiz”, observando como lidamos com eles e por trabalhar com eles mesmo. Em algum
momento de seus estudos, você pode querer estudar a teoria dos conjuntos mais cuidado e em maior detalhe; em
seguida, um curso de lógica ou fundações estará em ordem.

3
4 Sei Teoria e Logic CH. 1

§1 Conceitos Fundamentais

Aqui apresentamos as idéias da teoria dos conjuntos, e estabelecer a terminologia básica e notação. Também
discutimos alguns pontos de lógica elementar que, em nossa experiência, estão aptos a causar confusão.

Notação básica

Comumente usaremos letras maiúsculas A, B, ... para denotar conjuntos e letras minúsculas <2, b, ... para denotar o objetos ou
elementos pertencentes a esses conjuntos. Se um objeto uma
pertence a um conjunto A, expressamos este fato pela notação

uma € A.

E se uma não pertence a A, expressamos esse fato por escrito

um £ A.

O símbolo de igualdade = é usado ao longo deste livro para significar identidade lógica. Assim, quando
escrevemos a = b y queremos dizer que “0” e “fe” são símbolos para o mesmo objeto. Isto é o que significa uma em
aritmética, por exemplo, quando se escreve 5 = 5- Do mesmo modo, a equação A - B Afirma que “A” e “Z?” São
símbolos para o mesmo conjunto; isto é, A e B
consistem precisamente os mesmos objetos.

E se uma e b são objetos diferentes, escrevemos a ^ b \ e se A e B são diferentes conjuntos, escrevemos Um ^ B. Por
exemplo, se A é o conjunto de todos os números reais não negativos, e B
é o conjunto de todos os números reais positivos, então A ^ B> porque o número 0 pertence a A e não para B.

Dizemos que A é um subconjunto do B se cada elemento de A é também um elemento de B \ e expressamos esse fato
por escrito

CA B.

Nada nesta definição requer um ser diferente de B \ na verdade, se A = B, é verdade que ambos A c B e B C
A. Se AC B e A é diferente de 5, dizemos que A é um
subconjunto próprio do B, e escrevemos

AC B.

As relações C e C são chamados inclusão e inclusão adequada, respectivamente. Se um c B, nós também escrever B DA,
que é lido “Z? contém UMA."
Como é que um vá sobre como especificar um conjunto? Se o conjunto tem apenas alguns elementos, pode-se simplesmente listar

os objetos no conjunto, escrevendo “Um é o conjunto constituído por elementos a>

b, e c.”Em símbolos, esta afirmação se torna

A = {A, Z>, c},

em que as cintas são usados ​para delimitar a lista de elementos.

§1º Conceitos fundamentais 5

A maneira usual para especificar um conjunto, no entanto, é tomar algum conjunto UMA de objetos e alguns

propriedade que os elementos de UMA pode ou não possuir, e de modo a formar o conjunto que consiste em todos os elementos
de UMA tendo essa propriedade. Por exemplo, pode-se tomar o conjunto dos números reais e formar o subconjunto B consistindo
de todos os inteiros pares. Em símbolos, esta afirmação se torna

B = {x | X é um número inteiro, mesmo}.

Aqui as chaves representam as palavras “o conjunto de”, e a barra vertical representa as palavras “como isso.” A
equação é lido “B é o conjunto de todos X de tal modo que X é um inteiro mesmo.”

A União de Conjuntos e o significado de “ou”

Dado dois conjuntos UMA e B> pode-se formar um conjunto a partir deles que é composto por todos os elementos de UMA em conjunto com

todos os elementos de B. Este conjunto é chamado de União do UMA e B e é indicada por UMA você B. Formalmente, definimos

UMA você 5 = JJT | xe A ou X e B}.

Mas devemos fazer uma pausa neste momento e certifique-se exatamente o que queremos dizer com a declaração

“X € A ou X € P.”
Em comum Inglês todos os dias, a palavra “ou” é ambíguo. Às vezes o estado ment “P ou Q” significa “P ou Q, ou
ambos”e às vezes isso significa“P ou Q, mas não ambos.”Normalmente, se decide a partir do contexto que o
significado é pretendido. Por exemplo, suponha que eu falei com dois alunos da seguinte forma:

“Senhorita Smith, cada estudante registrado para esse curso tenha tomado qualquer um curso de álgebra linear ou
um curso em análise.”

"Sr. Jones, ou você obter um grau de pelo menos 70 no exame final ou você vai reprovar este curso “.

No contexto, a senhorita Smith sabe perfeitamente que eu quero dizer “todo mundo já teve álgebra linear ou análise, ou
ambos”, e Mr. Jones sabe que eu quero dizer “ou ele recebe pelo menos 70 ou ele é reprovado, mas não ambos.” De fato,
Mr. Jones seria extremamente infeliz se ambas as afirmações tumed fora para ser verdade!

Em matemática, não se pode tolerar tal ambigüidade. Um tem que escolher apenas um significado e ficar
com ela, ou confusão reinará. Assim, os matemáticos decidiram que eles vão usar a palavra “ou” no primeiro
sentido, de modo que a afirmação “P ou g” sempre significa “P ou Q, ou ambos.”Se um significa“P ou Q, mas não
tanto “, então um tem que incluir a frase‘mas não ambos’explicitamente.

Com esse entendimento, a equação que define UMA você B é não ambígua; Afirma que
UMA você B é o conjunto que consiste em todos os elementos X que pertencem a UMA ou para B ou para ambos.
6 Conjunto Teoria e Lógica CH. Eu

A interseção de conjuntos, o conjunto vazio, e o significado de “I f. . . Então"

conjuntos de dados UMA e B, outra forma pode-se formar um conjunto é tomar a parte comum UMA
e B. Este conjunto é chamado de interseção do UMA e B e é indicada por AP \ B. Formalmente, definimos

A (l B = {x \ xe Um e XE B}.

Mas, assim como com a definição de UMA você B, há uma dificuldade. A dificuldade não está no significado da palavra
“e”; é de um tipo diferente. Ele surge quando os conjuntos UMA e B
acontecer não ter elementos em comum. Que sentido faz o símbolo UMA n B tem em tal caso?

Para cuidar de esta eventualidade, fazemos uma convenção especial. Nós introduzimos um conjunto especial que
chamamos conjunto vazio, denotado por 0, o que nós pensamos como “o conjunto não ter elementos.”

Usando esta convenção, expressamos a afirmação de que UMA e B não têm elementos em comum pela
equação

UMA D B = 0.

Também expressamos esse fato, dizendo que UMA e B estamos disjuntos.

Agora, alguns estudantes são incomodados pela noção de um “conjunto vazio”. “Como”, dizem eles, “você pode ter
um conjunto com nada nele?” O problema é semelhante ao que surgiu há muitos anos quando o número 0 foi introduzido
pela primeira vez.
O conjunto vazio é apenas uma convenção, e matemática poderia muito bem passar sem ele. Mas é
uma convenção muito conveniente, pois nos economiza uma boa dose de constrangimento em afirmar
teoremas e comprová-las. Sem esta convenção, por exemplo, um teria que provar que os dois conjuntos UMA e
B tem elementos em comum antes de se poderia usar a notação AD B. Da mesma forma, a notação

C = {x \ xe Um e x tem uma certa propriedade)

não poderia ser usado se acontecesse que nenhum elemento x de UMA tinha a propriedade dada. É muito mais conveniente
que concordar que UMA n B e C é igual o conjunto vazio, em tais casos.
Uma vez que o conjunto vazio 0 é meramente uma convenção, devemos fazer convenções relacionando-a com
os conceitos já introduzidas. Porque 0 é pensado como “o conjunto sem elementos,” é claro que devemos fazer a
convenção de que para cada objeto x, a relação xe 0 não se sustenta. Da mesma forma, as definições de união e
intersecção mostram que para cada conjunto UMA devemos ter as equações

AU 0 = A e Um (10 = 0.

A relação de inclusão é um pouco mais complicado. Dado um conjunto UMA, devemos concordar que 0 CA? Mais
uma vez, temos de ter cuidado com a forma como os matemáticos usam o idioma Inglês. A expressão 0 c UMA é uma
forma abreviada de escrever a frase: “Cada elemento que pertence ao conjunto vazio também pertence ao conjunto A.”
Ou para colocá-lo mais
§1º Conceitos fundamentais 7

formalmente “, para cada objeto jc, E se X pertence ao conjunto vazio, então X Também pertence ao conjunto A.”

esta afirmação é verdadeira ou não? Alguns poderiam dizer “sim” e outros dizem “não”. Você nunca vai
resolver a questão por meio de argumentos, apenas por acordo. Esta é uma afirmação da forma “Se P, então Qf e
em Inglês todos os dias o significado do “se ... então” construção é ambígua. É sempre significa que se P é verdade,
então Q é verdade também. Às vezes isso é tudo o que significa; outras vezes, significa algo mais: que, se P é falso,

Q deve ser falsa. Normalmente um decide a partir do contexto, que a interpretação está correta.
A situação é semelhante à ambiguidade no uso da palavra “ou”. Pode-se reformular os exemplos
envolvendo srta Smith e Sr. Jones para ilustrar a ambiguidade. Suponha que eu disse o seguinte:

“Senhorita Smith, se qualquer estudante registrado para esse curso não tomou um curso de álgebra linear,
então ele tomou um curso de análise.”

"Sr. Jones, se você receber uma nota abaixo de 70 no final, você vai reprovar este curso.”

No contexto, a senhorita Smith entende que se um aluno no curso não teve álgebra linear, então ele tomou
análise, mas se ele teve álgebra linear, ele pode ou não ter tomado análise também. E Mr. Jones sabe que se
ele recebe uma nota abaixo de 70, ele vai reprovar o curso, mas se ele recebe um grau de pelo menos 70, ele
vai passar.
Mais uma vez, a matemática não pode tolerar a ambiguidade, então uma escolha de significados deve ser feita.
Matemáticos concordaram sempre usar o “se ... então” no primeiro sentido, de modo que uma declaração do tipo “Se P, então Q”
significa que se P é verdade, Q É verdade também, mas se P é falso, Q pode ser verdadeira ou falsa.

Como exemplo, considere a seguinte declaração sobre números reais:

Se x > 0, então jc 3 ^ 0.

É uma declaração do formulário, “Se P, então Qf onde P é a frase “ jc > 0” (o chamado hipótese da
declaração) e Q é a frase “ jc 3 ^ 0” (o chamado conclusão
da declaração). Esta é uma afirmação verdadeira, pois em todos os casos para os quais a hipótese
x> 0 detém, a conclusão x 3 ^ 0 detém também.
Outra afirmação verdadeira sobre os números reais é o seguinte:

I fx 2 < 0, então x = 23;

em todos os casos para os quais a hipótese sustenta, a conclusão detém também. Claro, isso acontece neste
exemplo de que não existem casos em que a hipótese detém. Uma declaração desse tipo é dito às vezes ser vacuously
verdade.
Para retomo agora ao conjunto e inclusão vazio, vemos que a inclusão 0 C A se sustenta para cada
conjunto A. Writing 0 C Ais o mesmo que dizer: “Se X € 0, em seguida, x e A “, e esta afirmação é vacuously
verdade.
8 Teoria dos Conjuntos e Lógica CH. 1

Contrapositiva e Converse

Nossa discussão sobre o “se ... então” construção nos leva a considerar um outro ponto de lógica elementar
que, por vezes, causa dificuldade. Ele concems a relação entre a
declaração, Está contrapositiva, e os seus conversar.
Dada uma declaração do tipo “Se P, então Q , " Está contrapositiva é definido como sendo a afirmação: “Se Q Não
é verdade, então P não é verdade.”Por exemplo, o contrapositiva da declaração

Se x> 0, então x ~ ^ 0,

é a declaração

I fx 3 = 0, então não é verdade que x > 0.

Note-se que tanto a declaração e sua contrapositiva são verdadeiras. Da mesma forma, a declaração

I fx 2 < 0, então x = 23,

tem como contrapositiva a declaração

■y

IFX ^ 23, então não é verdade que x < 0.

Novamente, ambos são afirmações verdadeiras sobre números reais.

Estes exemplos podem fazer você suspeitar que há alguma relação entre um ment Estado e sua contrapositiva.

E, de fato existe; são duas formas de dizer exatamente a mesma coisa. Cada um é verdadeira se e somente se o outro

é verdadeiro; eles são logicamente equi- valente. Este fato não é difícil de demonstrar. Vamos introduzir alguma notação

primeiro. Como um atalho para a declaração “Se P, então Qf nós escrevemos

P = Q *,

que é lido “P implica Q.” O contrapositiva pode então ser expresso sob a forma

(não Q) => ( não P),

onde não Q” representa a frase “(7 não é verdade.”

Agora, a única maneira em que a declaração “P => • Q” pode deixar de ser correto é se a hipótese de P é
verdadeira ea conclusão Q é falso. Caso contrário, ele está correto. Da mesma forma, a única maneira em que a
declaração (não Q) => ( Não P) pode deixar de ser correto é se a hipótese “não £ 7” é verdadeira e a conclusão “não
P” é falsa. Este é o mesmo que dizer que Q é falsa e P é verdadeiro. E este, por sua vez, é precisamente a situação
na qual P ==> Q deixa de ser correto. Assim, vemos que as duas declarações são ou ambos correcto ou ambos
incorreta; eles são logicamente equivalentes. Portanto, devemos aceitar uma prova da afirmação “não Q => • Não
P”como uma prova da declaração“P => • Q. ”

Há uma outra declaração que pode ser formado a partir da declaração P = » Q. É a declaração

Q => P <
 Conceitos Fundamentais 9

que é chamado de conversar do P => Q. É preciso ter cuidado para distinguir entre inverso de uma afirmação e sua
contrapositiva. Considerando uma declaração e sua contrapositiva são logicamente equivalentes, a verdade de uma
declaração não diz absolutamente nada sobre a verdade ou falsidade de seu inverso. Por exemplo, a afirmação verdadeira

IFX > 0, em seguida, x 3 ^ 0,

tem como conversar a declaração

IFX 3 / 0, em seguida, x > 0,

que é falso. Da mesma forma, a afirmação verdadeira

I fx 2 < 0, então x = 23,

tem como conversar a declaração

IFX = 23, em seguida, x 2 < 0,

que é falso.
Se acontecer que tanto a declaração P => Q e seu inverso Q => ► P são verdadeiras, expressamos este
fato pela notação

P ^ Q,

que é lido “P detém se e somente se Q detém.”

Negação

Se alguém deseja para formar o contrapositiva da declaração PQ, um tem que saber como formar a afirmação “não
P”, que é chamado de negação P. Em muitos casos, isso faz com que nenhuma dificuldade; mas às vezes a
confusão ocorre com declarações que envolvem as frases “para cada” e “pelo menos um”. Essas frases são
chamados quantificadores lógicos.
Para ilustrar, suponha que X é um conjunto, UMA é um subconjunto de X, e P é uma indicação sobre o elemento

geral de X. Considere a seguinte declaração: (*)

Para cada xe A, declaração P detém.

Como é que se formam a negação desta declaração? Vamos traduzir o problema para a língua de sets.
Suponha que nós vamos B denotam o conjunto de todos os elementos X
do X para o qual P segura. Então declaração (*) é apenas a afirmação de que UMA é um subconjunto de B. Qual é a sua
negação? Obviamente, a afirmação de que UMA é não um subconjunto de B, isto é, a afirmação de que existe pelo menos
um elemento de UMA que não pertence a B.
Traduzindo volta em linguagem comum, isso se torna

Para pelo menos um X € A, declaração P não se sustenta.

Portanto, para formar a negação da declaração (*), um substitui o quantificador “para cada” pelo quantificador “durante
pelo menos um”, e um substitui declaração P por Está negação.
10 Sor Teoria e Logic CH . Eu

O processo funciona em sentido inverso tão bem; a negação da declaração

Para pelo menos um X € A, declaração Q detém,

é a declaração

Para cada xe A, declaração Q não se sustenta.

O DifTerence de dois conjuntos

Nós retomo agora à nossa discussão de conjuntos. Há uma outra operação em conjuntos que é ocasionalmente útil. É o diferença
de dois conjuntos, denotado por UMA - B, e definido como o conjunto constituído por estes elementos de UMA que não estão
em B. Formalmente,

A - B = [x \ x € A e x £ B}.

Às vezes é chamado a complemento do B em relação a A, ou o complemento de B em A.

Nossas operações de três conjunto são representados esquematicamente na Figura 1.1.

Figura 1.1

Regras da Teoria dos Conjuntos

Dada vários conjuntos, pode-se formar novos conjuntos, aplicando as operações de conjunto da teoria para eles. Como na
álgebra, um usa parênteses para indicar em que ordem as operações devem ser executadas. Por exemplo, UMA VOCÊ ( B DC)
denota a união dos dois conjuntos UMA e
B I1C, enquanto ( UMA você B) n C indica a intersecção dos dois conjuntos AU B e C. A define assim formado são completamente
diferentes, como a Figura 1.2 mostra.

Figura 1.2
 4200400588
Conceitos fundamentais 11

Às vezes diferentes combmations de chumbo operações para o mesmo conjunto; quando isso acontece, a pessoa tem uma regra

da teoria dos conjuntos. Por exemplo, é verdade que, para quaisquer conjuntos A, B,

e C a equação

A ( B u C) = ( UMA n B) você ( UMA n C)

detém. A equação é ilustrada na Figura 1.3; a região sombreada representa o conjunto em questão, como você pode
verificar mentalmente. Esta equação pode ser pensado como uma “lei distributiva” para as operações n e U.

Figura 1.3

Outros exemplos de definir regras da teoria incluem a segunda “lei distributiva”

AU ( B n C) = (UA B) n (AUC),

e As leis de DeMorgan,

A - (i UC) = (A - I) n (A - C), um grupo - ( B n C)

= (A - B) L (A - C).

Nós deixá-lo para que você verifique essas regras. Pode-se afirmar outras regras da teoria dos conjuntos, mas estes são os
mais importantes. leis de DeMorgan são mais fáceis de lembrar, se você verbalizá-los da seguinte forma:

O complemento da união é igual a intersecção dos complementos. O complemento

da interseção é igual a união dos complementos.

Coleções de Conjuntos

Os objetos pertencentes a um conjunto pode ser de qualquer tipo. Pode-se considerar o conjunto de todos os inteiros pares,
e o conjunto de todas as pessoas de olhos azuis em Nebraska, e o conjunto de todos os baralhos de cartas no mundo.
Alguns destes são de interesse matemático limitada, admitimos! Mas o terceiro exemplo ilustra um ponto que ainda não
mencionei: a saber, que os objetos pertencentes a um conjunto pode si mesmos ser sets. Para um baralho de cartas é em si
um conjunto, um constituído por pedaços de papelão com certos projetos padrão impresso sobre eles. O conjunto de todos
os baralhos de cartas no mundo é, portanto, um conjunto cujos elementos são, eles próprios conjuntos (de pedaços de
papelão).
12 Teoria dos Conjuntos e Lógica CH. 1

Temos agora uma outra maneira de formar novos conjuntos dos antigos. Dado um conjunto A, podemos considerar conjuntos cujos

elementos são subconjuntos de A. Em particular, podemos considerar o conjunto de todos os subconjuntos de A. Este conjunto é muitas

vezes representada pelo símbolo! P (A) e é chamado de conjunto de força de A (por razões que serão explicadas mais tarde).

Quando temos um conjunto cujos elementos são conjuntos, vamos muitas vezes se referem a ele como um coleção de
conjuntos e denotam-lo por uma carta script como UMA ou <£. Este dispositivo vai ajudar-nos em manter as coisas em linha reta
em argumentos em que temos de considerar objetos e conjuntos de objetos e coleções de conjuntos de objetos, tudo ao mesmo
tempo. Por exemplo, podemos usar UMA para designar o conjunto de todos os baralhos de cartas no mundo, deixando um capital
ordinário letra A denotar um baralho de cartas e uma letra minúscula uma denota um único jogo

card.A certa dose de cuidado com a notação é necessária neste momento. Fazemos uma distinção entre o objeto uma, que é um elemento

de um conjunto A, e o conjunto de um elemento de {a}, que é uma subconjunto de A. Para ilustrar, se A é o conjunto {a, b, c}, em

seguida, as declarações

uma 6 A, { uma} CA, e {a} € 3 * (A)

estão todos corretos, mas as declarações { a} e A e uma CA não são.

Sindicatos arbitrárias e Interseções

Já definimos o que queremos dizer com a união ea intersecção de dois conjuntos. Não há nenhuma razão para
limitar-nos a apenas dois sets, pois pode muito bem formar a união e intersecção de arbitrariamente muitos
conjuntos.
Dada uma coleção UMA de conjuntos, o União dos elementos de UMA é definida pela equação

[JA = {jt | Jt e A para pelo menos um A e UMA}.

AEA

o interseção dos elementos de UMA é definida pela equação

A = [ x | X € Um para cada um € UMA}. AEA

Não há nenhum problema com essas definições se um dos elementos de UMA passa a ser o conjunto vazio. Mas é um
pouco complicado para decidir o que (se qualquer coisa) destas definições significa se permitirmos UMA para ser o conjunto
vazio. Aplicando as definições literalmente, vemos que nenhum elemento X satisfaz a propriedade de definição para a união
dos elementos de A. Por isso, é razoável dizer que

(JA = 0
ACA

E se UMA está vazia. Por outro lado, cada X satisfaz (vacuously) a propriedade de definição para o cruzamento dos
elementos de UMA. A questão é, cada X no que definir? Se uma pessoa tem um determinado conjunto grande X que é
especificado no início da discussão a ser um do “universo de discurso”, e se considera apenas subconjuntos de X por toda
parte, é razoável deixar

VD *
UMA EA
§1º Conceitos fundamentais 13

quando UMA está vazia. Nem todos os matemáticos seguem esta convenção, no entanto. Para evitar dificuldades, não
devem definir o cruzamento quando está vazia.

produtos cartesianos

Existe ainda uma outra maneira de formar novos conjuntos de antigos; que envolve a noção de um “par ordenado” de
objetos. Quando você estudou geometria analítica, a primeira coisa que fez foi convencer-se que depois de se ter
escolhido um eixo x e um y- eixo no plano, cada ponto no plano pode ser feito para corresponder a um par ordenado
única ( jc, y) de números reais. (Em um tratamento mais sofisticado da geometria, o avião é mais provável que seja definiram
como o conjunto de todos os pares ordenados de números reais!)

A noção de par ordenado é transferida para conjuntos gerais. conjuntos de dados UMA e B, nós definimos o seu produto cartesiano

A x B para ser o conjunto de todos os pares ordenados (a, b) para qual uma

é um elemento de A e b é um elemento de B. Formalmente,

Um x B = {( uma, b) | ae A e b € B}.

Esta definição pressupõe que o conceito de “par ordenado” já está dado. Ele pode ser tomado como um conceito
primitivo, como era a noção de “set”; ou pode ser dada uma definição em termos de operações de conjunto já introduzidas.
Uma definição em termos de operações de conjunto é expresso pela equação

(A, b) = {{ uma), { a, b}};

que define o par ordenado ( a, b) como uma coleção de conjuntos. E se a ^ b, esta definição diz que
(A, b) é um conjunto contendo dois conjuntos, uma das quais é uma de um conjunto de elementos e o outro um conjunto de dois
elementos. o primeira coordenada do par ordenado é definido como sendo o elemento pertencendo a ambos os conjuntos, e o segunda
coordenada É o elemento que pertence a um e apenas um dos conjuntos. E se a = b, então ( uma, b) é uma coleção que contém apenas um
conjunto { «}, uma vez { a, b] = {a, a] = {a} nesse caso. Sua primeira coordenada e segunda coordenada tanto igualar o elemento neste
único conjunto.

Eu acho que é justo dizer que a maioria dos matemáticos pensar em um par ordenado como um conceito primitivo ao invés de
pensar nisso como uma coleção de conjuntos!

Vamos fazer um comentário sobre a notação. É um fato lamentável que a notação (■ uma, b)
está firmemente estabelecida em matemática com dois significados completamente diferentes. Uma ing dizer-, como um par
ordenado de objetos, que acabamos de discutir. O outro significado é o que você está familiarizado com a partir de análise; E
se uma e b São números reais, o símbolo ( uma, b)
é utilizado para designar o intervalo que consiste de todos os números X tal que a <x <b. Na maioria das vezes, este
conflito em notação causará nenhuma dificuldade porque o significado ficará claro a partir do contexto. Sempre que
ocorre uma situação onde a confusão é possível, deve adoptar uma notação diferente para o par ordenado ( a, b), denotando
que pelo símbolo

uma X b

em vez de.
14 Teoria dos Conjuntos e Lógica CH. 1

exercícios

1. Verifique as leis distributivas para L e N e as leis de DeMorgan.

2. Determine quais das seguintes afirmações são verdadeiras para todos os conjuntos A, B, C, e D.

Se uma implicação dupla falhar, determinar se uma ou a outra das implicações possíveis detém.
Se uma igualdade falhar, determinar se o ser- declaração vem verdadeiro se a “é igual a” símbolo
é substituído por um ou outro dos símbolos de inclusão C ou D. (a) AC B e ACCAC ( B UC). (B) Ac
5o rACC ^ Ac (f IUC). (C) A c B a AC nd C & A C ( B n C). (D) AcBo rAcCoAC (BC \ C).

(E) A - {A - B) - B.
(F) A- (fi -A) = A- fl. (G) Um (B-C) = (ANB) -
(ANC).
(H) R ( B - C) = ( AU B) - ( AUC). (I) (AHF l) U (A-fi) = A. (j) e
ACC BCD => (A x B) C (C x D).

(K) O inverso de (j).

(L) O inverso de (j), assumindo que A e B são não vazio. (M) (A x B) U
(C x D) = ( AUC) x ( B UD). (N) (Ax fi) n (ADC) x (CxD) = (fin D).

(O) A x ( B - C) = (A x B) - ( A x C). (P) ( A - B) x (C - D) = (A x C - B x C) - A x D.

(Q) (A x B) - ( C x D) = ( A - C) x ( B - D).

3. (a) Escreva o contrapositiva e conversar da seguinte declaração: “Se x < 0, então X 2 - x> 0 “, e determinar
quais (se houver) das três afirmações são verdadeiras. (B)

Faça o mesmo para a afirmação: “Se x> 0, então X 2 - x> 0.”

4. Seja A e B ser conjuntos de números reais. Escrever a negação de cada um dos seguintes
afirmações: (a) Para cada uma € A, é verdade que uma 2 € B.

(B) Para pelo menos um a £ A, é verdade que uma 2 e B.

(C) Para cada uma € A, é verdade que uma 2 £ B.

(D) Pelo menos um um £ A, é verdade que uma 2 e B.

5. Seja A um conjunto não vazio de sets. Determinar a verdade de cada uma das seguintes afirmações e de
suas converses: (a) x € LUeo4 A => xe A por pelo menos um A £ A. (b) X £ { J UMA ( z UMA UMA

xe A para cada A £ A.
(C) X £ H Ag A ^ => X £ A para pelo menos um A £ A. (d) x £ H ag.a A
=> X e A para cada A £ A.

6. Escreva o contrapositiva de cada uma das declarações de Exercício 5.

 Funções 15
coo CN

7. Dado conjuntos A, B, e C, expressar cada um dos seguintes conjuntos em termos de A, B y

e C, usando os símbolos U, D, e -.

D = {x \ xe Um e ( xe B ou * e C)},
E = [x | (x € A uma ndx e 5) orr € C),

F = {x | x € A e ( xe B => xe C)}.

8. Se um conjunto A tem dois elementos, que mostra IP (A) tem quatro elementos. Quantos
elementos faz P (A) tem se A tem um elemento? Três elementos? Não há elementos? Por que é 3> {A) chamado o
poder conjunto de A?

9. Formular e provar leis de DeMorgan para uniões arbitrárias e cruzamentos.

10. Seja R denotar o conjunto dos números reais. Para cada um dos seguintes subconjuntos de missão exploratória,

determinar se o mesmo é igual ao produto cartesiano de dois subconjuntos de R. (a) {( jc, y) | x é um número inteiro}. (B)

{(x, y) | 0 <y <1). (C) {(*>)! >> x}.

(D) {L, y) | * não é um número inteiro e y é um número inteiro). (E) (S, y) | X 2

+ y 2 < 1).
C-0 »5

Funções

O conceito de função é um que você já viu muitas vezes já, por isso é Essary mal ne- para lembrá-lo como
central é para toda a matemática. Nesta seção, damos a definição matemática precisa, e vamos explorar
alguns dos conceitos associados.
A função é geralmente considerado como um regra que atribui a cada elemento de um conjunto A, um elemento de um

conjunto B, No cálculo, um função é muitas vezes determinado por uma fórmula simples, tal como f (x) = 3x 2 + 2 ou, talvez, por uma

fórmula mais complexa, tal como

oo
/(.r) = xy.
k=1

Um muitas vezes nem sequer menciona os conjuntos A e B explicitamente, concordando em assumir um para ser o conjunto de todos os

números reais para o qual a regra faz sentido e B para ser o conjunto de todos os números reais.

Como um vai mais longe em matemática, no entanto, é preciso ser mais preciso sobre o que uma função é.
matemáticos pensar de funções na forma que acabamos de descrever, mas a definição que eles usam é mais exato.
Primeiro, defina o seguinte:

Definição. UMA regra de atribuição é um subconjunto r do produto cartesiano C X D de dois conjuntos, que têm a propriedade de

que cada elemento de C aparece como a primeira coordenada de no máximo uma par ordenado pertencente a r.