MATEMTICA

Graduao

Introduo ao
Clculo
Jorge Andrs Julca Avila
Maria Teresa Menezes Freitas

Jorge Andrs Julca Avila

Maria Teresa Menezes Freitas

Introduo ao Clculo

2011

A958i Avila, Jorge Andrs Julca

Introduo ao Clculo / Jorge Andrs Julca Avila ; Maria Teresa
Menezes Freitas . So Joo del-Rei, MG : UFSJ, 2011.
164p.

Graduao em Matemtica.

1. Clculo I. Freitas, Maria Teresa Menezes II. Ttulo.

Reitor

Helvcio Luiz Reis

Coordenador UAB/NEAD/UFSJ

Heitor Antnio Gonalves

Comisso Editorial:

Fbio Alexandre de Matos

Flvia Cristina Figueiredo Coura

Geraldo Tibrcio de Almeida e Silva

Jos do Carmo Toledo

Jos Luiz de Oliveira

Leonardo Cristian Rocha

Maria Amlia Cesari Quaglia

Maria do Carmo Santos Neta

Maria Jaqueline de Grammont Machado de Arajo

Maria Rita Rocha do Carmo (Presidenta)

Marise Maria Santana da Rocha

Rosngela Branca do Carmo

Rosngela Maria de Almeida Camarano Leal

Terezinha Lombello Ferreira
Edio

Ncleo de Educao a Distncia

Comisso Editorial - NEAD-UFSJ
Capa

Eduardo Henrique de Oliveira Gaio

Diagramao

Luciano Alexandre Pinto

CDU: 517

SUMRIO

PRA COMEO DE CONVERSA.... . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 05

UNIDADE 1 NOES DE LGICA . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 07
1.1. Lgica: Compreendendo o Significado . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 09

1.2. Proposies . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.3. Conectivos e Quantificadores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11

1.4. Operaes Lgicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12

1.5. Construo de Tabelas Verdades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17

1.6. Tautologias, Contradies e Contingncias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.7. Implicao Lgica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20

1.8. Equivalncia Lgica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20

1.9. Proposies Associadas a Uma Condicional . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21

1.10. A Negao Conjunta de Duas Proposies . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24

1.11. A Negao Disjunta de Duas Proposies . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
1.12. lgebra das Proposies . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26

1.13. Compreendendo o Processo Lgico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30

1.14. Classificao das Proposies . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31

1.15. Tipos de Demonstrao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36

UNIDADE 2 CONJUNTOS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
2.1. Conceitos Primitivos e Bsicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41

2.2. Operaes com Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48

2.3. Propriedades das Operaes com Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
2.4. Conjunto das Partes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54

UNIDADE 3 RELAES . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
3.1. Introduo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59

3.2. Par Ordenado e Produto Cartesiano . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62

3.3. Relao Binria . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65

UNIDADE 4 CONJUNTOS DOS NMEROS NATURAIS E NMEROS INTEIROS . . . . . . 71

4.1. Histria dos Nmeros . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73

4.2. Conjunto dos Nmeros Naturais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76

4.3. Conjunto dos Nmeros Inteiros . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84

UNIDADE 5 CONJUNTOS DOS NMEROS RACIONAIS E

NMEROS IRRACIONAIS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
5.1. Conjunto dos Nmeros Racionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93
5.2. Conjunto dos Nmeros Irracionais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104

UNIDADE 6 CONJUNTO DOS NMEROS REAIS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107

6.1. Introduo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 109

6.2. Preliminares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 110

6.3. Corpos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 113
6.4. Conjunto dos Nmeros Reais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 118

UNIDADE VII FUNES . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125

7.1. Introduo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 127

7.2. Funo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 129

7.3. Operaes com Funes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 134

7.4. Funo Polinomial e Funo Racional . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 135

7.5. Funo Valor Absoluto e Funo Raiz Quadrada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 140
7.6. Propriedades das Funes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 141

7.7. Funo Exponencial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 148

7.8. Funo Logartmica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 150

7.9. Funes Trigonomtricas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 153

PARA FINAL DE CONVERSA . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 161

REFERNCIAS. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 163

PARA COMEO DE CONVERSA

Sejam bem-vindos!

Este material de Introduo ao Clculo foi elaborado para estudantes de

Matemtica, seja sua participao presencial, em sala de aula, ou a distncia,

interagindo com o computador. O nico requisito para a aprendizagem

deste material boa vontade de adquirir novos conhecimentos e

persistncia na soluo dos exerccios.

Sabemos que em todo livro de Matemtica imprescindvel no colocar as

demonstraes de teoremas importantes. Este material no seria diferente,

por isso, no desanime ao encontrar-se com alguns deles. Muitas das vezes,

as demonstraes seguem um caminho muito tcnico, porm os autores

tm pensado nisso e de alguma forma facilitaro o entendimento.

Este material est divido em sete captulos, que se iniciam com os conceitos

de lgica, seguidos com a teoria de conjuntos, relaes, sistema dos

nmeros naturais, inteiros, racionais, irracionais e reais e, finalmente,

funes. Na maioria das vezes, ao finalizar uma seo, encontram-se as

Atividades que consistem em exerccios propostos e muito importante

que o aluno os resolva.

Os Autores

iii

unidade

Unidade I

Noes de Lgica
Objetivos

Explicitar conceitos relacionados lgica.

Utilizar adequadamente a simbologia matemtica para argumentao

lgica.

unidade

1.1. Lgica: Compreendendo o Significado

Caro estudante!

Ao iniciar este tema, penso que talvez esteja curioso para saber o que afinal significa

Lgica. Poderamos dizer que se trata de um conceito que se relaciona ao estudo do

raciocnio, estudo da veracidade de uma demonstrao, estudo da argumentao correta,

estudo das regras para verificar se um pensamento verdadeiro ou falso etc. Quantas
vezes nos surpreendemos dizendo a expresso: lgico! O que carrega esta expresso

quando a expressamos?

Vamos acompanhar um dilogo imaginrio:

A professora Maria pergunta sua aluna Renata:

Voc pensa que ir conseguir um bom conceito este semestre?

Renata responde:

lgico! Tenho estudado todos os dias, tenho realizado todas as tarefas, tenho
ficado atenta s explicaes e...

Perceba que, quando atribumos uma lgica a um determinado pensamento,

normalmente, temos argumentos que o sustentam. Ou seja, temos razes que justificam
a nossa afirmao.

Assim, podemos de uma maneira simples, dizer que

A Lgica trata das formas de argumentao, das maneiras de encadear nosso

raciocnio para justificar, a partir de fatos bsicos, nossas concluses. A Lgica

se preocupa com o que se pode ou no concluir a partir de certas informaes.
(MACHADO, 1994, p. 12-13)

Vamos, ento, compreender que a Lgica a cincia que estuda as leis gerais do

pensamento e a arte de aplic-las corretamente na investigao e demonstrao da

verdade dos fatos.

Importante saber que a Lgica fornece subsdios para melhorar a linguagem utilizada
em Matemtica, que formaliza e sintetiza claramente o pensamento.

Para iniciar, vamos compreender alguns termos importantes para continuarmos nosso
passeio pelo mundo da Lgica.

1.2. Proposies

Denominamos proposio a todo conjunto de palavras ou smbolos que exprime um

pensamento de sentido completo. As proposies afirmam fatos ou exprimem juzos que
formamos a respeito de determinados entes.
Exemplo 1.1.
(a)
(b)

O triangulo um polgono.
Vagner estuda e trabalha.

Vale a pena saber que a lgica tem alguns princpios que foram convencionados. Esses

princpios que apresentaremos, a seguir, so denominados Axiomas da Lgica.

Princpio da No Contradio Uma proposio no pode ser verdadeira e falsa ao

mesmo tempo.

Princpio do Terceiro Excludo Toda proposio ou verdadeira ou falsa, isto ,

verifica-se sempre um desses casos, e nunca um terceiro.

Em virtude do princpio do terceiro excludo, dizemos que a Lgica Matemtica uma

Lgica Bivalente, ou seja, toda proposio apresenta um e apenas um dos valores lgicos
V(verdadeiro), F (falso).

Observao. No estudo de Lgica, restringimo-nos a uma classe de proposies que so

as declarativas e que admitem um nico valor lgico. Assim, exclumos aquelas
proposies interrogativas e imperativas.

10

unidade
Podemos distinguir dois tipos de proposies: simples e composta. Vejamos como
reconhecer cada uma.

Denominamos de proposio simples (ou atmica) aquela que no contm outra

proposio como parte integrante de si mesma.

Muitos autores convencionam designar as proposies por letras minsculas: p , q , r ,

s , ... , que so denominadas por letras proposicionais.

Exemplo 1.2. Exemplos de proposies simples.

(a)

(b)
(c)

p : Renato cortou o cabelo.

q : Todo tringulo tem 3 lados.

r : O Nmero 144 divisvel por 2.

Denominamos de proposio composta (ou molecular) aquela formada pela combinao

de duas ou mais proposies. As proposies compostas, comumente, so designadas

por letras maisculas: P , Q , R , S , ... , que so tambm denominadas por letras

proposicionais.

Exemplo 1.3. Exemplos de proposies compostas.

(a)

P : Marcos careca, e Pedro estudante.

(b)

Q : Se Joo campeo de natao, ento, ele sabe nadar.

Observao. Quando interesse explicitar que uma proposio composta P formada

pela combinao de proposies simples, p , q , r , s , ... , e escreve-se: P p, q, r , s,... .

Percebam que, para obtermos proposies compostas, utilizamos expresses para unir,
conectar, ou seja, ligar proposies. Tais expresses se denominam conectivos.

1.3. Conectivos e Quantificadores

Denominamos por Conectivos palavras que so utilizadas para formar novas proposies

a partir de outras. Veja, a seguir, alguns conectivos:

11

no : negao
e : conjuno

ou : disjuno

se ... ento ... : condicional

... se e somente se ... : bicondicional

importante perceber que algumas expresses atribuem um senso de quantidade s

proposies. A essas expresses, denominamos por Quantificadores.

Conheam, abaixo, alguns quantificadores:

: para todo, qualquer que seja

: existe, existe algum

! : existe um nico, existe um s

Importante saber que

denominado quantificador universal.

denominado quantificador existencial.

Observao. Observe um detalhe importante: frases declarativas afirmativas, com

variveis, so denominadas sentenas abertas e no podemos atribuir um nico valor

lgico (isto , no podemos afirmar serem verdadeiras ou falsas).

Exemplo 1.4. A equao x 4
7 uma sentena aberta.

Entretanto, quando quantificamos uma sentena aberta (quando utilizamos um

quantificador), a mesma se transforma em uma proposio.
Exemplo 1.5. ! x

/ x4
7 ( uma proposio verdadeira).

1.4. Operaes Lgicas

Vamos, neste item, conhecer os operadores lgicos e compreender o valor lgico da

proposio quando os utilizamos.

12

unidade
Assim, estaremos apresentando tabelas denominadas TABELA VERDADE. Nestas tabelas,

figuram todos os possveis valores lgicos da proposio composta (resultante),

correspondentes a todas as possveis atribuies de valores lgicos s proposies
simples componentes.
1.4.1. Negao

Para a negao, usamos o seguinte smbolo: ~ . L-se: no.

Denominamos de negao de uma proposio p a proposio ~ p (l-se: no p) que

ser falsa, quando p for verdadeira, e ~ p ser verdadeira quando p for falsa.
Observe a Tabela Verdade de ~ p :

~p

Exemplo 1.6.
(a)

Seja p : "Maria aluna do Curso de Matemtica a distncia da UFSJ".

Teremos ~ p : "Maria no aluna do Curso de Matemtica a distncia da

(b)

UFSJ".

(c)

Teremos que ~ p : 8 7 . Note que ~ p falsa (F).

Seja p : 8 7 . Note que p verdadeira (V).

Seja p : x

/ x2 0 .

Teremos que ~ p : x

Tabela Verdade

/ x2 0 .

uma tabela contendo todos os possveis valores lgicos da proposio composta

(resultante), correspondentes a todas as possveis atribuies de valores lgicos s
proposies simples componentes.

13

1.4.2. Conjuno
Na conjuno, usamos o seguinte smbolo: . L-se: e.

Dadas duas proposies, p e q , denominamos conjuno de p e q a proposio

composta, p q (l-se: p e q), cujo valor lgico ser verdadeiro apenas quando ambas as
proposies p e q forem verdadeiras.

Observe a Tabela Verdade de p q :

pq

V
F

F
F

F
F

1.4.3. Disjuno
Na disjuno, usamos o seguinte smbolo: . L-se: ou.

Dadas duas proposies, p e q , podemos formar a proposio composta, p q (l-se: p

ou q), cujo valor lgico ser verdadeiro sempre que uma das componentes o seja.
Observe a Tabela Verdade de p q :

pq

1.4.4. Disjuno Exclusiva

F
F

V
F

Na disjuno exclusiva, usamos o seguinte smbolo: . L-se: ou, ou.

14

unidade
Denominamos disjuno exclusiva a proposio, p q , cujo valor lgico apresentado
na tabela abaixo:

p q

V
F

Note que a proposio composta com disjuno exclusiva falsa, quando ambas as

proposies envolvidas tiverem o mesmo valor lgico.

Exemplo 1.7. Sejam

p : Maria filha de Carla (V)

q : Maria filha de Vnia (V)

Ento, p q (F) (No pode acontecer ao mesmo tempo).

1.4.5. Condicional

Usamos o seguinte smbolo: . L-se: se ... ento.

Dadas duas proposies, p e q , podemos obter a proposio, p q (l-se: se p ento

q), cujo valor lgico s no verdadeiro, no caso em que a primeira componente for
verdadeira, e a segunda for falsa.

Observe a Tabela Verdade da Condicional:

pq

V
F

F
F

15

Observao. No caso em que a composta p q for verdadeira, dizemos que p

condio suficiente para que ocorra q , e q condio necessria para que ocorra p .

1.4.6. Bicondicional

Usamos o seguinte smbolo: . L-se: ... se e somente se ...

Dadas duas proposies, p e q , podemos obter a proposio, p q (l-se: p se e

somente se q), cujo valor lgico ser verdadeiro, desde que as duas componentes tenham

o mesmo valor lgico (ambas verdadeiras ou ambas falsas).

Observe a Tabela Verdade da Bicondicional:

pq

V
F

Observao. No caso em que a composta p q for verdadeira, dizemos que p

condio necessria e suficiente para que ocorra q , e q condio necessria e suficiente

para que ocorra p .

A bicondicional tambm pode ser escrita como uma conjuno de duas condicionais. Ou

seja,

p q p q q p ,

onde o smbolo denota equivalncia.

Observe a Tabela Verdade de p q q p :

16

unidade
p

pq

q p

p q q p

V
F

F
F

V
V

Observem que podemos obter os valores lgicos de proposies compostas,

encontrando os valores lgicos das proposies simples envolvidas e atentando para o
valor lgico, ao utilizar cada conectivo.

1.5. Construo de Tabelas Verdades

Penso que, depois de tudo que j foi visto at o momento, podemos perceber que, a
partir de vrias proposies simples, p , q , r , ... , poderemos combin-las, por meio dos
conectivos lgicos ~ , , , , , e construir proposies compostas.

Observe um exemplo:

P p, q ~ p p q
R p, q, r p ~ q r ~ q ( p ~ r )

Para conhecer o valor lgico da proposio resultante, utilizamos as Tabelas Verdades

das operaes lgicas, conforme realizado anteriormente.

Importante

O nmero de linhas de uma Tabela Verdade se relaciona com o nmero n de

proposies simples envolvidas e dado por 2n .

Por meio de convenes, possvel diminuir o nmero de sinais de agrupamentos

(parntesis), assim como acontece em lgebra, quando 3 4 6 significa 3 4 6 .

17

Apresentamos, abaixo, a hierarquia estabelecida para os conectivos:

1. ~ : negao

2. : (e) conjuno; : (ou) disjuno

3. : condicional

4. : bicondicional
Essa a ordem de prioridades convencionada. Dessa forma, podemos compreender que

p q r significa o mesmo que

p q r , e no

p q r , devido conveno

estabelecida. Isto , os conectivos (e) ; (ou) tm precedncia sobre

(condicional) e (bicondicional).

Vamos verificar se compreendemos o que foi exposto at este momento!

Anime-se! Fique atento que tudo bem tranquilo de ser compreendido.
Elaboremos a Tabela Verdade da proposio abaixo:

P p, q :

p ~ p q p

Note que a proposio P p, q tem duas proposies simples envolvidas, portanto a

Tabela Verdade ter 22 4 linhas.

~p

p ~ p

q p

p ~ p q p

V
F

F
F

F
F

V
F

18

V
V

unidade
Uma vez preenchida a Tabela Verdade podemos concluir que a proposio

P p, q :

p ~ p q p

sempre verdadeira, independentemente dos valores

lgicos das proposies simples p e q envolvidas.

Atividade 1.1
(1)

Apresente a Tabela Verdade das seguintes proposies

(a)

P p, q : p q ~ p

(b)

P p, q, r :

(c)

P p, q, r : p q q r

p ~ r

q p

q ~ r

p r

Fique atento!
Antes de iniciar, pense quantas linhas sero necessrias na Tabela Verdade, observando
o nmero de proposies simples envolvidas.

1.6. Tautologias, Contradies e Contingncias

Definio 1.1. (Tautologia) Denominamos de Tautologia a toda proposio composta
cuja ltima coluna de sua Tabela Verdade encerra somente com a letra V (verdade).

As Tautologias so tambm denominadas por proposies tautolgicas ou proposies

logicamente verdadeiras. As tautologias so, por vezes, indicadas pela letra t ou v.

Exerccio 1.1. Verifique se entre as Tabelas Verdades, obtidas anteriormente, existe

alguma que apresente tautologia. O que isso significa?

Definio 1.2. (Contradio) Denominamos por Contradio a toda proposio

composta cuja ltima coluna da Tabela Verdade figura apenas com a letra F (Falso). As

contradies so tambm denominadas por proposies contravlidas ou proposies

logicamente falsas. As contradies so, por vezes, indicadas pela letra c ou f.

19

Definio 1.3. (Contingncia) Denominamos por Contingncia (ou indeterminada) a

toda proposio composta cuja ltima coluna da Tabela Verdade figura apenas as letras
V (Verdadeira) e F (Falsa), cada uma, pelo menos, uma vez. As contingncias so
tambm denominadas proposies contingentes ou proposies indeterminadas.

1.7. Implicao Lgica

Vamos compreender o significado da implicao lgica.

Dizemos que uma proposio P p, q, r , s,... implica uma proposio Q p, q, r , s,... , se

Q p, q, r , s,... verdadeira, todas as vezes que P p, q, r , s,... for verdadeira.

De uma maneira mais simples, podemos dizer que uma proposio P implica uma

proposio Q , se e somente se, a condicional P Q uma tautologia.

Notao. P Q .
Ateno!

Observe que os smbolos e so distintos, pois o primeiro se relaciona a uma

operao lgica, enquanto que o segundo refere-se a uma relao entre proposies.

(Grosseiramente, podemos estabelecer uma associao com a aritmtica, com os

sinais e . Veja que 3 + 4 representa um nmero, enquanto que 3 < 4 no
representa um nmero).

1.7.1. Propriedades da implicao lgica

(a) P p, q, r , s,... Q p, q, r , s,... (Reflexiva)
(b) P p, q, r , s,... Q p, q, r , s,...

Q p, q, r , s,... R p, q, r , s,... .

P p, q, r , s,... R p, q, r , s,... (Transitiva)

1.8. Equivalncia Lgica

Vamos compreender o significado da equivalncia lgica.

20

Ento,

unidade
Dizemos que uma proposio

P p, q, r , s,... equivalente a uma proposio

Q p, q, r , s,... , se as Tabelas Verdades dessas duas proposies so idnticas. De outra

maneira, podemos dizer que a proposio P p, q, r , s,... equivalente proposio

Q p, q, r , s,... , isto ,

P p, q, r , s,... Q p, q, r , s,... ,

se, e somente se, a bicondicional

P p, q, r , s,... Q p, q, r , s,...

tautolgica.
Ateno!

Observe que os smbolos e so distintos, pois o primeiro se relaciona a uma

operao lgica, enquanto que o segundo estabelece que a bicondicional
tautolgica.

1.8.1. Propriedades da equivalncia lgica

(a) P p, q, r , s,... Q p, q, r , s,... (Reflexiva)
(b) P p, q, r , s,... Q p, q, r , s,... , se, e somente se,

Q p, q, r , s,... R p, q, r , s,... (Simtrica)

(c) P p, q, r , s,... Q p, q, r , s,... e Q p, q, r , s,... R p, q, r , s,... . Ento,

P p, q, r , s,... R p, q, r , s,... (Transitiva)

1.9. Proposies Associadas a Uma Condicional

Dada uma condicional p q , podemos associar as seguintes condicionais contendo p
e q:

21

Proposio recproca de p q expressa por q p

Proposio contrria de p q expressa por ~ p ~ q

Proposio contrarrecproca (ou contrapositiva) de

~ q ~ p

Vejamos a Tabela Verdade dessas proposies:

p q expressa por

~p

~q

pq

q p

~ p ~ q

~ q ~ p

V
F

V
V

Observe que a Tabela Verdade da proposio recproca e contrria bem como da

proposio condicional e sua contrarrecproca so idnticas. Isso nos mostra as

seguintes propriedades:
i.

A condicional p q e sua contrarrecproca ~ q ~ p so equivalentes, isto ,

p q ~ q ~ p

Observao. O mtodo de demonstrao, reconhecido por reduo ao absurdo,

ii.

se baseia na propriedade acima citada.

A recproca q p e a contrria ~ p ~ q da condicional

equivalentes, isto :

p q ~ q ~ p

Verifique sua compreenso...!

Atividade 1.2
(1)

Determine:
(a)

A contrarrecproca de p ~ q

22

p q so

unidade
A contrarrecproca de ~ p q

(b)
(c)
(d)

A contrarrecproca da recproca de p ~ q

A recproca da contrarrecproca de ~ p ~ q

Exemplo 1.8. Vejamos alguns exemplos que esclarecem os conceitos vistos acima:
1. Seja a condicional relativa a dois ngulos, conforme expresso abaixo.
Proposio

p q : Se dois ngulos so opostos pelo vrtice, ento, esses ngulos so congruentes.

Recproca desta proposio

q p : Se dois ngulos so congruentes, ento, esses ngulos so opostos pelo vrtice.

Observao. A condicional p q verdadeira, mas sua recproca no verdadeira

(isso nos mostra que nem sempre teremos a recproca de uma proposio
verdadeira tambm verdadeira).

2. Demonstre:
(a)

Se x 2 mpar, ento, x impar.

Veja que, muitas vezes, devemos nos lembrar da equivalncia que existe entre a

condicional e sua contrarrecproca para facilitar a demonstrao. Lembre-se de

que, quando existe a equivalncia, significa que os valores lgicos so idnticos.
p q ~ q ~ p

Assim, a contrarrecproca da condicional: Se x 2 mpar, ento, x mpar seria:

Se x par, ento, x 2 par.

Vejamos se conseguimos demonstrar com facilidade a contrarrecproca.

Seja x um nmero par. Ento,

para um nmero n , x 2n .
Logo, x 2 2n .
2

23

Vale lembrar que 2n

n 2 2 2n 2 .
4
2

Assim, x 2 2 2n2 .
Portanto, x 2 par.

Dessa forma, consideramos a implicao demonstrada por reduo ao absurdo que se

baseia na demonstrao do contrarrecproco.

1.10. A Negao Conjunta de Duas Proposies

Denomina-se negao conjunta de duas proposies p e q proposio no p e no q
, isto , ~ p ~ q .

A negao conjunta, envolvendo as proposies p e q , indicada por p q . Assim,

pq ~ p ~q

Veja a Tabela Verdade da proposio p q :

pq

V
F

F
F

F
V

1.11. A Negao Disjunta de Duas Proposies

Denomina-se negao disjunta de duas proposies p e q a proposio no p ou no

q , isto , ~ p ~ q .

A negao disjunta envolvendo as proposies p e q , tem sido convencionalmente

indicada por p q . Assim,

pq ~ p ~q

24

unidade
Observe a Tabela Verdade da proposio p q :

pq

V
F

Observao. Os smbolos e so conhecidos por conectivos de scheffer.

Agora com voc!

Selecionamos alguns exerccios para voc verificar sua aprendizagem. Lembre-se de que

voc poder sempre contar com o esclarecimento do seu tutor.

Atividade 1.3
(1)

Demonstre, por Tabela Verdade, que os trs conectivos ~ , e exprimem-se

em funo do conectivo de Scheffer, conforme abaixo:

(a)

~ p p p

(b)

pq

p q p q

(c)

pq

p p q q

Sugesto: Para isso, voc dever construir a tabela verdade exibindo a

(2)

equivalncia, isso significa mostrar que a bicondicional tautolgica.

Demonstre, por Tabela Verdade que os trs conectivos ~ , e exprimem-se

em funo do conectivo de Scheffer, conforme abaixo:
(d)

~ p pq

(e)

pq

p p q q

(f)

pq

p q q p

25

Sugesto: Lembre-se, novamente, de que voc dever construir a Tabela Verdade

exibindo a equivalncia, isso significa mostrar que a bicondicional tautolgica.

1.12. lgebra das Proposies

Perceba que os conectivos apresentam algumas propriedades de importncia

fundamental para melhor compreenso da lgica inerente aos processos de
demonstrao da matemtica.

Podemos facilmente verificar e constatar a veracidade das propriedades que sero

apresentadas, por meio de Tabelas Verdades.

Por conveno, as propriedades recebem nomes especiais que devemos conhecer, para

que seja possvel fazer referncia s mesmas sem a necessidade de detalhar repetidas

vezes. Percebam que a denominao bem semelhante a outras j conhecidas, quando

abordamos os conjuntos numricos.

1.12.1. Propriedades
i.

Propriedades da conjuno
(a)
(b)
(c)
(d)

Idempotente: p p p

Comutativa: p q q p

Associativa: p q r p q r

Identidade: p t p ( t uma tautologia)

p c c ( c uma contradio),

onde t considerado o elemento neutro da conjuno, e c o elemento

absorvente da conjuno.

Observao. Mais uma vez, lembramos que ser equivalente significa que os

valores lgicos so os mesmos.

26

unidade
ii.

Propriedades da disjuno
(a)
(b)
(c)
(d)

Idempotente: p p p

Comutativa: p q q p

Associativa: p q r p q r

Identidade: p t t ( t uma tautologia)

p c p ( c uma contradio),

onde t considerado o elemento absorvente da disjuno, e c o elemento

neutro da disjuno.

Observao. Novamente, alertamos que ser equivalente significa que os valores

lgicos so os mesmos.
iii.

Propriedades da conjuno e da disjuno

(a)

(b)

(c)

Distributiva

p q r

p q p r

p q r

p q p r

Absoro

p p q p

p p q p

Regra de De Morgan

~ p q ~ p ~ q

~ p q ~ p ~ q

Observao. Note que, pelas regras de De Morgan, a negao transforma a

conjuno em disjuno e a disjuno em conjuno.

27

iv.

Propriedades da condicional e sua negao

A propriedade dada por

p q ~ pq

Verifiquemos, por meio da Tabela Verdade, a equivalncia acima:

pq

~p

~ pq

V
F

Observao.
(a)
(b)

Nas colunas em destaque, observa-se que os valores lgicos so

idnticos, isso significa que as proposies so equivalentes.

Podemos,

ento,

utilizar

compreendermos outras.

das

equivalncias

conhecidas

Exemplo 1.9. Considere a negao da condicional p q , ento,

~ p q ~ ~ p q p ~ q

Assim,
v.

~ p q p ~ q

Propriedades da bicondicional e sua negao

A propriedade dada por

pq

p q q p

28

para

unidade
Sugesto. Faa a tabela verdade e verifique a equivalncia das propriedades. Lembre-se
de que devemos compreender que ser equivalente significa ter o mesmo valor lgico.
vi.

Negao da proposio com Quantificador

Importante relembrar que expresses atribuem um senso de quantidade s proposies

que recorrem aos Quantificadores, como visto na Seo 1.3.

Observe a negao de Proposies:

Toda pessoa fala francs.

Nem toda pessoa fala francs (Negao de 1).

Algum foi ao parque.

Ningum foi ao parque (Negao de 2).

Algum foi diretoria.

Ningum foi diretoria (Negao de 3).

Temos, ento, as equivalncias:

~ x A p( x)
~ x A p( x)

x A ~ p( x)
x A ~ p( x)

Observao. Observe como simples, pois a negao transforma o quantificador

universal em quantificador existencial, seguido de negao e vice-versa. Essa

equivalncia conhecida como Segunda Regra de De Morgan.
Exemplo 1.10.
(a)

~ n , n 7 12

(b)

~ x

/ tg x 0

/ n 7 12
, tg x 0

29

Exerccio 1.2. Verifique, por Tabela Verdade, as equivalncias:

(a)

p ~ q

(b)

p ~ p

Lembre-se de que t e c so proposies com valores lgicos, (V) e (F), ou seja, t

(tautologia) e c (contradio).

1.13. Compreendendo o Processo Lgico

Penso que vale ressaltar, neste momento, que Processo Lgico pode ser compreendido
como mtodo de raciocnio no qual, a partir da verdade de uma ou mais proposies

(denominadas hipteses), obtemos a verdade de outra, ou outras proposies

(denominadas teses).

O Processo Lgico de raciocnio pode ser classificado em indutivo, ou dedutivo.

Mtodo indutivo Parte de hipteses particulares para chegar a teses mais

gerais, ou seja, partindo do especfico, chega-se ao geral. Vale atentar que, embora

este mtodo muitas vezes tenha sido considerado de muito valor para as cincias

experimentais, o mesmo no recomendvel ou validado para a Matemtica. Ou

seja, no basta verificar que certa afirmao valida, para um caso particular,
para se considerar verdadeira. Por exemplo: Saber que Maria e Pedro foram

reprovados em Geografia no ser suficiente para afirmar que todos da turma

foram reprovados em Geografia.

Mtodo Dedutivo Parte de hipteses em que, pelo menos, uma geral para se

chegar a teses particulares. Por exemplo: Sabendo-se que todos os

supermercados aumentaram o preo do caf, suficiente para afirmar que o
Carrefour aumentou o preo do caf.

30

unidade

1.14. Classificao das Proposies

Importante!!
Para provarmos a verdade de uma proposio denominada tese, pelo processo lgico
dedutivo, existe a necessidade de conhecermos proposies verdadeiras para

considerarmos como hipteses.

As proposies podem ser assim classificadas:

1. Definies. So proposies nas quais so convencionados significados de

elementos ou termos.

2. Postulados (ou Axioma). So proposies nas quais so convencionadas

propriedades de elementos ou termos definidos. Geralmente, so propriedades

bvias e, portanto, a verdade dos postulados, assim como as definies, aceita

sem demonstrao.

3. Teorema. So proposies que estabelecem propriedades dos elementos ou

termos, e as verdades exigem demonstraes.

4. Corolrio. Apresenta-se como um teorema advindo de uma consequncia

imediata de outro teorema.

5. Lema. Apresenta-se como um teorema que precede um teorema de alto grau de

importncia e que lhe servir para sua demonstrao.

Note que, at este ponto, temos verificado as implicaes e equivalncias, por meio de
elaborao de Tabelas Verdades. Passaremos a demonstrar as implicaes e
equivalncias das proposies, valendo-nos do mtodo dedutivo, a partir da lgebra das

proposies. Para tal, ser importante estarmos atentos s propriedades apresentadas

anteriormente e que reapresentamos, a seguir.

31

Propriedades da Conjuno,
(a)
(b)
(c)
(d)

(a)
(b)
(c)
(d)

(a)

(b)
(c)

Idempotente

Associativa

Comutativa

p p p
pq q p

p q r

p q r

p t p ( t uma tautologia)
p c c ( c uma contradio)

Idempotente

p p p

Associativa

Identidade

Propriedades da Disjuno,

Comutativa

pq q p

p q r

p q r

p t t ( t uma tautologia)
p c p ( c uma contradio)

Distributiva

p q r

p q p r

p q r

p q p r

Absoro

Identidade

Propriedades da Conjuno e da Disjuno

Leis de De Morgan

p p q p
p p q p
~ p q ~ p ~ q

~ p q ~ p ~ q

Equivalncias notveis da Condicional e sua negao

(a)
(b)

p q ~ pq
~ p q p ~ q
Equivalncias notveis da Bicondicional e sua negao

p q q p ~ p q ~ q p
~ p q ~ q p p ~ q q ~ p

(a)

pq

(b)

~pq

Equivalncias notveis complementares

(a)
(b)

p ~ p c
p ~ p t

32

unidade
Exerccio 1.3. Vamos testar a compreenso? Com apoio da lgebra das proposies,
demonstremos, pelo mtodo dedutivo, as implicaes que se seguem, observando que
muitas recebem nomes especiais que servem de referncia.
(a)

i.

c p

Perceba que, partindo de propriedades e equivalncias conhecidas, devemos

demonstrar a validade da implicao c p . Para tanto, devemos mostrar que

a condicional c p tautolgica. Assim, teremos:

c p ~ c p t p t

ii.

pt
Perceba que, partindo de propriedades e equivalncias conhecidas, devemos

demonstrar a validade da implicao p t . Para tanto, devemos mostrar que

a condicional p t tautolgica. Assim, teremos:

p t ~ pt t

(b)

p q p (Simplificao)
O que necessrio para se demonstrar uma implicao?

Claro! Devemos demonstrar que a condicional tautolgica. Assim, teremos:

pq p

(c)

~ p q p
~ p ~ q p
~ q ~ p p
~ qt
t

De maneira semelhante, podemos demonstrar que p q q

p p q (Adio)

Novamente, lembre que ser necessrio provar que a condicional p p q

tautolgica. Assim, teremos:

33

p p q

(d)

~p p q
~ p p q
tq
t

p q p q (Modus ponens)
Perceba que importante lembrar o que significa demonstrar uma implicao
lgica.

Isso mesmo... Significa que devemos demonstrar que a condicional associada

tautolgica.

Lembre que uma proposio P implica uma proposio Q , se, e somente se, a
condicional P Q uma tautologia. Assim,

p q p q

~ p q p q ~ p p q p q

c q p q
q p q

(e)

p q ~ q

~ q p q
~ q q ~ p
t

~ q ~ p q

t ~ p

~ p (Modus tollens)

Novamente, ser importante pensar, antes de iniciar a demonstrao, o que

devemos fazer. O que significa demonstrar uma implicao lgica? Isso mesmo...

Significa que devemos mostrar que a condicional associada tautolgica e, para

isso, vamos utilizar as propriedades conhecidas anteriormente.

Vamos comear?

p q ~ q ~ p

~ p q ~ q ~ p
~ p ~ q c ~ p
~ ~ p ~ q ~ p
p ~ p q
t

34

~ p ~ q q ~ q ~ p

~ p ~ q ~ p

p q ~ p

tq

unidade
Exerccio 1.4. Continuando a verificar a nossa compreenso, com apoio da lgebra das
proposies, vamos demonstrar as equivalncias que se seguem:
(a)

p q p ~ q c
Lembremos que duas proposies so equivalentes, quando possuem o mesmo

valor lgico. Assim, para demonstrar as equivalncias, devemos partir de uma

delas e com equivalncias vlidas e conhecidas chegar outra.

Uma dica que penso ser interessante divulgar que sempre parece facilitar a
demonstrao, quando partimos das maiores.

Vejamos, ento:

p ~ q c ~ p ~ q c ~ p ~ q ~ p q p q

Vale a pena tentar identificar a propriedade ou equivalncia notvel que garantiu

cada passagem da demonstrao. Faa isso... Voc passar a compreender ainda

(b)

mais...

p q pq q

Novamente, vamos pensar:

O que devemos fazer para demonstrar uma equivalncia lgica?

Isso mesmo... Devemos mostrar que as proposies possuem o mesmo valor

lgico. Portanto, partindo de uma delas, e lanando mo de equivalncias

conhecidas (por serem propriedades ou j demonstradas), chegamos outra.
Comecemos por

p q q ~ p q q ~ p ~ q q ~ p q ~ q q

~ p q t ~ p q p q

Tente identificar a propriedade ou equivalncia notvel que garantiu cada

passagem.

35

(c)

p q p ~ q ~ p
Devemos mostrar que as proposies possuem o mesmo valor lgico. Portanto,

partindo de uma delas, e lanando mo de equivalncias conhecidas (por serem

propriedades ou j demonstradas), chegamos outra.

p q p ~ q ~ p q ~ p ~ q ~ p q ~ q ~ p c ~ p

(d)

p q r p q r
Por onde comear? Devemos mostrar que as proposies possuem o mesmo valor
lgico.

(e)

p q r ~ p q r ~ p ~ q r ~ p ~ q r
~ p q r p q r

~ p p p
Com efeito,

p p~ p~ p~ p

Nem tudo que parece complicado o ... No acha?

Sempre que preciso, recorra s propriedades e equivalncias notveis apresentadas

anteriormente.

1.15. Tipos de Demonstrao

Vamos conversar um pouco sobre os tipos de demonstrao. Como j devem ter

observado, e citamos anteriormente neste texto, a Matemtica exige que suas

proposies sejam demonstradas, exceto aquelas denominadas definies ou

postulados.

Assim, vamos apresentar, ou talvez apenas recordar, os Tipos de Demonstraes mais

utilizadas:

36

unidade

Demonstrao pelo mtodo dito DIRETO:

Partindo de uma ou mais afirmaes verdadeiras denominadas hipteses por

meio de uma sequncia de afirmaes verdadeiras (por serem definies ou

teoremas j demonstrados), chega- se ao que se deseja demonstrar, que

denominado de tese.

Demonstrao pelo mtodo dito INDIRETO ou, tambm, denominado Por

Absurdo.

Esta demonstrao se apoia na equivalncia entre uma condicional e sua

contrarrecproca. Assim, partindo da negao da tese, por meio de uma sequncia

de afirmaes verdadeiras, chega-se negao da hiptese. Como a hiptese o

que temos de verdade, diz-se que um ABSURDO!

CONTRAEXEMPLO

Utilizamos um contraexemplo, quando queremos mostrar que uma proposio

falsa. Ou seja, a apresentao de um caso que contempla nossa proposio no
suficiente para garantir a validade da mesma. Porm, se conseguimos exibir um
contraexemplo suficiente para dizer que a proposio falsa.

Vejamos alguma situao que ilustre este fato, ou seja, vamos demonstrar a falsidade das
proposies, exibindo um contraexemplo:
Exemplo 1.11.
(a)

x x

Ora, sabemos que a afirmao acima falsa, pois nem todos os nmeros reais
(b)

tm mdulo diferente de zero. Temos que 0 0 um contraexemplo.

x x 2

x 2 4

37

Ora, sabemos que a afirmao falsa e para demonstrar basta exibir um

contraexemplo.

2 2

(c)

nmero

16 22 4 8 .

seria

um

contraexemplo,

pois

x x2 x

1/ 3 seria um contraexemplo, pois 1/ 3

1/ 9 1/ 3 .
2

Agora, hora de exercitar e tentar compreender toda a lgica por trs da Matemtica.

38

unidade

Unidade II

Conjuntos
Objetivos

Estabelecer relaes de igualdade, pertinncia e incluso entre conjuntos.

Reconhecer os conjuntos unitrios e vazios.
Realizar as operaes entre conjuntos.

Aplicar as propriedades de operaes entre conjuntos.

39

unidade

2.1. Conceitos Primitivos e Bsicos

A teoria de conjunto a base da anlise matemtica, tal como a
conhecemos atualmente, e existe todo um campo que se ocupa de
fundament-la. Por isso, no insistiremos muito em formalizar o

conceito de conjunto, e, sim, as operaes que neles poderiam

realizar-se.

Acredita-se que a teoria moderna dos conjuntos foi criada pelo

matemtico Georg Cantor (1845-1918), que notou a necessidade

de tal teoria, quando estudava sries trigonomtricas.

Georg Cantor

Os conceitos de conjunto, elemento e pertinncia so considerados conceitos primitivos,

isto , no precisa preocupar-se com a definio de cada um deles.

A construo da teoria de conjuntos tem como ponto de partida: os conceitos primitivos,

as definies de incluso e igualdade de conjuntos.
2.1.1 Conjunto

Um conjunto uma coleo de objetos definidos de forma precisa.

Exemplo 2.1.
(a)
(b)
(c)
(d)
(e)
(f)
(g)
(h)
(i)

O conjunto de pessoas que assistem a um clssico de futebol no estdio

Maracan.

O conjunto de frutas da fruteira de minha casa.

O conjunto de planetas de nosso sistema planetrio solar.

O conjunto dos Nmeros Naturais (

O conjunto dos Nmeros Inteiros (

O conjunto dos Nmeros Racionais (

O conjunto dos Nmeros Reais (

).

).

).

O conjunto dos Nmeros Complexos (

).
).

A coleo de todos os bons jogadores de futebol de salo do CEPEUSP. No

um exemplo de conjunto, pois, no est definida a palavra: bons.

41

Observao. Costuma-se usar letras maisculas para designar um conjunto.

2.1.2 Elemento

Cada objeto de uma coleo que determina um conjunto chamado de elemento de um

conjunto.

Exemplo 2.2.
(a)

(b)

Seja A laranja, pera, banana, uva, ma , o conjunto de algumas frutas. Os

elementos deste conjunto so: laranja, pera, banana, uva e ma.

Seja

0,1, 2,3,

o conjunto dos nmeros naturais. Os elementos deste conjunto so:

2.1.3 Pertinncia
Um elemento x de um conjunto A denotado por

x A

e l-se: x pertence a A . Quando x no um elemento de A , denotamos x A .

(1)

Observao. Quando os elementos x de A satisfazem certa propriedade, P( x) ,

expressamos o conjunto A , como

A x : P( x)

(2)

L-se: O conjunto A est formado por todos os elementos x , tal que x satisfaz P( x) .
Exemplo 2.3.
(a)
(b)

Seja A n : n 2k 1, k

. Ento, 1 A , 3 A , 5 A e 6 A .

O conjunto de todos os planetas do Sistema Planetrio Solar. Este conjunto

pode ser expresso do modo seguinte:

T x : x um planeta do Sistema Planetrio Solar

Seja x1 = terra, x2 = saturno, x3 = jpiter. Ento, x1 , x2 , x3 T .

42

unidade
2.1.4 Diagrama de Venn-Euler
Em algumas ocasies, muito til representar conjuntos mediante diagramas, chamados

diagramas de Venn-Euler. Estes so curvas fechadas no entrelaadas como, por

exemplo, circunferncias, quadrados, retngulos etc. Na Figura 2.1, representamos os

conjuntos A , B , e C , nos diagramas de Venn-Euler.

Figura 2.1. Diagramas de Venn-Euler.

Definio 2.1. (Conjunto Vazio) Um conjunto que no tem elementos chamado de

Conjunto Vazio e se denota pelo smbolo .

Exemplo 2.4. O conjunto de nmeros racionais cujo quadrado seja 2 , isto ,

: r 2 2

Definio 2.2. (Conjunto Unitrio) Um conjunto com um nico elemento chamado

Conjunto Unitrio.

Exemplo 2.5. O conjunto das solues reais no negativas que satisfazem a equao

x 2

64 unitrio.

Com efeito, de

x 2

x 2

24 , temos que

x 2

24
0 ou, equivalentemente,

2
2
2
24 x 2 22 x 2 22 x 2 2 x 2 2 x 2 22 0

x 0,
x 4 ,
x 2 2i
x 2 2i . Se denotarmos por
Assim,
e
4

43

A x

unitrio.

x 2

24 , x 0 o conjunto em questo, teramos que A 0 , o qual

Definio 2.3. (Conjuntos Disjuntos) Dois conjuntos A e B se dizem disjuntos, se no

tm elementos em comum.

Em diagrama de Venn-Euler (Figura 2.2), apresentada a disjuno de dois conjuntos A

e B.

Figura 2.2. Conjuntos disjuntos.

Exemplo 2.6. Se A o conjunto de salrios de um representante da cmara de deputados

do Congresso Nacional do Brasil durante um ano, e B o conjunto de salrios mnimos

de um trabalhador do Brasil durante um ano, estes conjuntos so disjuntos.

Definio 2.4. (Incluso de Conjuntos) Sejam A e B dois conjuntos. Dizemos que B

est contido em A (ou B subconjunto de A ), se todo elemento de B elemento de A .

Em notao simblica

B A

x, x B x A

A incluso B A , em diagrama de Venn-Euler, apresentada na Figura 2.3.

Figura 2.3. Incluso de conjuntos: B A .

44

(3)

unidade
Observao.
1. Em vez de escrever B A , podemos escrever A B (l-se: A contm a B ).

2. Quando um conjunto

A , podemos escrever,

no est contido em

simbolicamente, por B A . Mais precisamente,

B A x, x B x A

(4)

3. Se A um conjunto, ento, o conjunto A , isto , o conjunto vazio est contido

em qualquer conjunto. Mais formalmente, ser demonstrado na Proposio 2.1a.

4. A relao A A expressa que todo conjunto subconjunto de si mesmo. Para

mais detalhes, veja Proposio 2.1b.

5. Conjunto Universal. O conjunto universal denotado por U o maior conjunto

que contm todos os outros conjuntos que participam em um determinado

problema sobre conjuntos.

Exemplo 2.7.
(a)
(b)

Seja A 2, 4, 6,8,10 e B 4, 6 . Ento, B A .

Seja

A x : x3 2 x 2 3x 0 . Verifique que B
x

um subconjunto de A .

: x2
1, x 0

0 , temos que x x 2 2 x 3
Com efeito, de equao x3 2 x2 3x
0 , ou
equivalentemente, x x 3 x 1
0 . De aqui, A

(c)

3, 0,1 . Por outro lado, de

B , temos que x 1 e x 0 . Assim, B 1 . Desse modo, B A .

. De fato, existe o 1 , tal que 1

e 1

Definio 2.5. (Igualdade de Conjuntos) Dois conjuntos A e B so iguais, se todo

elemento de A elemento de B , e todo elemento de B elemento de A . Em notao
simblica

A B

x, x A x B

45

(5)

Observao. Como consequncia dessa definio, pode-se definir quando dois conjuntos

A e B so diferentes, denotando-lhes por A B , e dados por

A B

x, x A

x B x, x B x A

Exemplo 2.8.
(a)
(b)

(c)

Seja A x

: x 0, x 0 e B
x

1,1 . Ento,

: x 2 x 2 0 e B

(6)

A B.

Seja C x : x vogal da palavra corao e A x : x vogal da palavra amor .

Ento, A C .
Seja A

fato, A

1, 2 e

1, 2 .

: x 2 x 2 0 . Logo, A B . De

Definio 2.6. (Subconjunto Prprio) Dizemos que B um subconjunto prprio de

A , se B A e B A .

Exemplo 2.9. Num trem da CPTM de So Paulo, considere o conjunto B como sendo os

passageiros que viajam num vago do trem, e A o conjunto de pessoas no trem. Ento,

B um subconjunto prprio de A .

Proposio 2.1. (Propriedades da Incluso) Sejam A, B, C conjuntos arbitrrios. Ento,

(a)

(b)

A A (Reflexividade)

(c)

A B

B A

(d)

B A

A C

A
B (Antissimetria)

B A (Transitividade)

Prova. (a) Suponha que A , ento, pela Eq. (4) x, x x A . Como o conjunto

no tem elementos, ento, x , o qual uma contradio. Portanto, A .

(b) (d) deixa-se para o aluno.

46

unidade
Observao. Muitas das vezes, quando queremos demonstrar a igualdade de dois
conjuntos, usamos a Proposio 2.1c, em vez da Definio 2.5.

Atividade 2.1
(1)

Sejam

A x

: x 4 10 x3 35x 2 50 x 24 0 e B

: x2 6 x 8 0 .

Classifique as seguintes expresses como sendo verdadeira ou falsa:

(a)

B A

(b)

B A

(c)

(d)

(e)

(f)

(g)

1,2 A

(h)

1, 2 1, 2,3

(j)

ento, 1, 2,3 A

0 A

(i)

(2)

: x 2n, n 1, 2 B

1, 2,3 A ,

2, 4 B

Sejam

A , ,

B alfa, beta, gama

C x : x so as primeiras trs letras do alfabeto grego

Quais das seguintes expresses so verdadeiras ou falsas.

(3)

(a)

A B C

(b)

(c)

AC e BC

(d)

BC e B A

Determine quais conjuntos so unitrios ou vazios.

(a)

: x2 1
0

(b)

x : x so deuses do Cristianismo

(c)

: n 1
0

(d)

x : x so galxias de nosso sistema planetrio solar

47

(4)

Explicar e citar um exemplo da seguinte expresso: Todos os conjuntos disjuntos

so diferentes, porm existem conjuntos diferentes que no so disjuntos.

2.2. Operaes com Conjuntos

As operaes bsicas, em Teoria de Conjuntos, so: a reunio, interseo e diferena de

conjuntos.

Definio 2.7. (Reunio de Conjuntos) Sejam A e B dois conjuntos. Define-se a

reunio de A e B (denote-se A B e l-se A reunio B ) a todos os elementos que

pertencem a A ou a B .

Simbolicamente,

A
B

x :

x A x B

(7)

A reunio de conjuntos aparece nos seguintes casos: conjuntos disjuntos, incluso de

conjuntos, e elementos comuns entre conjuntos. Na Figura 2.4, apresentamos esses casos
com diagramas de Venn-Euler.

(a)

(b)

(c)

Figura 2.4. Reunio de conjuntos. (a) Disjuntos. (b) Incluso. (c) Elementos comuns.
Notao. A reunio infinita de conjuntos denota-se por

BARTLE (2000).

An : A1 A2 A3 ... , veja

Exemplo 2.10.
(a)

Seja A

1, 0,1 e

2, 2, 4 . Ento,
48

A B 2, 1, 0,1, 2, 4 .

unidade
(b)
(c)

Seja A
p : p 0 e B
p : p 0 . Ento, A B .
Seja A

A B

: 5 p 10 e B

: 10 p 10 .

: 10 p 5 . Ento,

Definio 2.8. (Interseo de Conjuntos) Sejam A e B dois conjuntos. Define-se a

interseo de A e B (denote-se A B e l-se A interseo B ) a todos os elementos
que pertencem a A e a B .

Simbolicamente,

A
B

x :

x A x B

(8)

A interseo de conjuntos aparece nos seguintes casos: conjuntos disjuntos, incluso de

conjuntos, e elementos comuns entre conjuntos. Na Figura 2.5, apresentamos esses casos
com diagramas de Venn-Euler.

(a)

(b)

(c)

Figura 2.5. Interseo de conjuntos. (a) Disjuntos. (b) Incluso. (c) Elementos comuns.
Observe que, na Figura 2.5(a), a interseo vazia.
Notao. A interseo infinita de conjuntos denota-se por

An : A1 A2 A3 ...

Exemplo 2.11.
(a)

Seja A
p : p 2n, n
A B
.

e B p

49

: p 2n 1, n

. Ento,

(b)
(c)

Seja A

e B

. Ento, A B .

A
, , , , B ,, ,, . Ento, A B
, .

Definio 2.9. (Diferena de Conjuntos) Sejam A e B dois conjuntos. A diferena

entre A e B , denota-se A B ou A \ B , o conjunto formado por todos os elementos de

A que no pertencem a B .

Simbolicamente,

A
B

x :

x A x B

(9)

A diferena entre conjuntos aparece nos seguintes casos: conjuntos disjuntos, incluso de

conjuntos, e elementos comuns entre conjuntos. Na Figura 2.6, apresentamos esses casos
com diagramas de Venn-Euler.

(a)

(b)

(c)

Figura 2.6. Diferena de conjuntos. (a) Disjuntos. (b) Incluso. (c) Elementos comuns.
Definio 2.10. (Complementar de um Conjunto) Sejam A e B conjuntos. O
complementar de B em relao a A , denote-se B c , o conjunto A B .
Simbolicamente,

Bc A B

Observao. x Bc x A B x A x B . Ento,

x Bc x B

50

(10)
(11)

unidade
Definio 2.11. (Diferena Simtrica) Sejam A e B conjuntos. A diferena simtrica

de A e B , denota-se A B , o conjunto formado por elementos que pertencem ou A

ou a B , mas no pertencem a ambos os conjuntos, simultaneamente.
Simbolicamente,

ou, ainda,

A B A B B A

(12)

A B A B A B

(13)

Figura 2.7. Diferena simtrica de A e B .

2.3. Propriedades das Operaes com Conjuntos

Teorema 2.1 (Propriedades de Reunio e Interseo) Sejam A , B , C subconjuntos

prprios de U . Ento,
(a)

Elemento Neutro
A A
A U
A

(b)

Idempotncia

A A
A
A A
A
(c)

Comutatividade

A B B A
A B B A

51

(d)

Associatividade

A B C A B C
A B C A B C
(e)

Distributividade

A B C A B A C
A B C A B A C
Prova.
(a)
i.
ii.

A A . Com efeito, x A x A x . Como o conjunto vazio

no possui elementos, ento, temos unicamente x A .

A U
A . Com efeito, se x A U , ento, x A e x U . Por outro lado, se

x A e, por hiptese, temos que A U , ento, x U . Assim, x A U .

(b) (e) Deixa-se para o aluno.

(f)

i.

A B C A B A C . Com efeito,
x AB C,

,
,
,
,

ii.

x A x B C
x A x B x C
x A x B x A
x A B x A C
x A B A C

Desse modo, A B C A B A C .

A B C A B A C . Deixa-se para o leitor.

52

x C

unidade
Teorema 2.2 (Teorema de De Morgan) Sejam A e B conjuntos. Ento,
(a)

A B

Ac Bc

(b)

A B

Ac Bc

Prova.
(a) De Eq. (11),

x A B , x A B
c

, x A x B
, x Ac x B c
, x Ac B c
Logo, A B Ac Bc .
c

(b) Deixa-se para o aluno.

Teorema 2.3 (Propriedades do Complementar) Sejam A , B e U conjuntos. Ento,

(a)

(b)

c U

c c

Uc
(c)

A Ac
U
A Ac

(d)

A B Bc Ac

Prova.
(a) x Ac x Ac x A . Ento, Ac A .
c

(b) (i) c U . Com efeito, x c x . Ento, x K para algum conjunto K ,

K U . Assim, x U .

(ii) U c . Segue imediatamente depois de aplicar o complementar na parte (i).

(c) e (d) Deixa-se para o leitor.

53

2.4. Conjunto das Partes

O conjunto das partes de um conjunto aquele cujos elementos so conjuntos. Esse

conjunto tambm chamado de Conjunto Potncia.

Definio 2.12.

(Conjunto das Partes) Seja A um conjunto. O conjunto das partes de

A , denotado por P A , aquele formado por todos os subconjuntos de A .

Simbolicamente,

P A

X : X A

(14)

Observao. Os elementos de P A so conjuntos. Para dizer que um elemento X est

em P A , usamos X P A , e no X P A .

Note que os conjuntos e A so elementos de P A .

Exemplo 2.12. Seja A a1 , a2 , a3 . Ento,

P A

, A,{a1},{a2},{a3},{a1, a2},{a1, a3},{a2 , a3} .

No exemplo anterior, podemos escrever, por exemplo,

{a1, a2} P A .

Assim,

,{a1},{a1, a3} P A .

como

tambm:

{a1 , a2 } P A

,{a1},{a1, a3} P A

ou

ou

Definio 2.13. (Cardinal de um Conjunto) Seja A um conjunto finito1. O cardinal de

A , denotado por A , o nmero de elementos de A .

Informalmente um conjunto finito quando se podem contar seus elementos.

54

unidade
Exemplo 2.13. Verifique que A B A B A B . Com efeito, seja A a1 , a2 ,..., an e

B b1 , b2 ,..., bm . Suponha que bk

ak , k
j 1,..., j l , onde l n j e 1 k n m .

Assim,

A B
a1 ,..., an , b1 ,..., bm

a1 ,..., an , b1 ,..., a j 1 ,..., a j l ,..., bm

a1 ,..., an , b1 ,..., b j , b j l 1 ,..., bm

A B
a j 1,..., a j l

l , A n , B m . Desse modo,
Logo, A B n m l , A B
A B A B A B .

Teorema 2.4 Se A n , ento, P A 2n , onde n um nmero natural no nulo.

Prova. Uma ideia da prova deste teorema pode ser encontrada no Captulo 3, Atividade

3.2(3).

Exemplo 2.14. Seja A

: x 2 1 0 . Ento P A 4 . De fato, A

A 2 . Assim, P A
, A,{1},{1} .
22 4 , onde P A

1,1 ,

ento,

Atividade 2.2
(1)

eS

(2)

c
Encontre S V W T , onde o conjunto universal U 1,2,3,4,5,6,7 ,

2,4,5 , T 3,5,7

, V 2,3,4,5,7
, W 1,2,3,4,6 .

Demonstre que

A B A B A B

55

(3)

Mostre que se A , B e C so conjuntos, ento,

A B C A B C A B AC B C A B C

(4)

Defina-se o seguinte conjunto: Cn

n 1 m : m

(a) C1 C2
(5)

(6)

Prove que

(b)

Cn

(8)

Cn

. Determine

A B C A B A C

Sejam A e B dois conjuntos arbitrrios. Demonstre, caso seja possvel,

(a) P A P B P A B
(7)

(c)

, para cada n

(b) P A P B P A B

Um intervalo fechado definido por a, b x : a x b . Encontre

Prove, para quaisquer conjuntos R , S e T ,

R S T R S R T

56

1
0, n .

unidade

Unidade III

Relaes
Objetivos

Descrever relaes e possibilidades de associao entre grandezas,

advindas de diferentes contextos.

57

unidade

3.1. Introduo
Na Matemtica, bem como em outras cincias, muitas vezes, estabelecemos relaes
entre conjuntos. Comumente, estamos estabelecendo relaes entre grandezas variveis.

Vale lembrar que a relao ocorre quando emparelhamos elementos entre dois
conjuntos. Por exemplo, poderamos pensar na relao que associa o conjunto de

funcionrios de uma universidade pblica e o conjunto dos diferentes salrios do

funcionalismo pblico. Ou, ainda, poderamos estabelecer uma relao entre os

funcionrios, que ocupam cargos de chefia de uma dada empresa, e o nmero de

reunies agendadas para um determinado ms. Perceba que cada funcionrio que ocupa
cargo de chefia poderia ter participado em mais de uma reunio agendada para um

determinado ms, ou, quem sabe, no ter participado de reunio alguma. No primeiro
exemplo, temos que, em geral, a cada funcionrio pblico, relacionamos um nico e

determinado salrio. Veremos, mais adiante, que relaes com esta particularidade so
especiais e recebem denominao especial.

Para facilitar a visualizao, as relaes podem ser expressas em tabelas ou grficos.

Como exemplo de uma relao, a Tabela 1 mostra as tarifas praticadas pelo correio

brasileiro para o envio de carta no comercial e carto postal.

Tabela 1. Tarifas de envio para carta no comercial e carto postal.

59

Note que a tabela, com clareza, nos apresenta uma relao entre o peso da
correspondncia a ser enviada e o valor a pagar.
Observando a tabela, podemos responder a perguntas como as relacionadas, a seguir:
a) Qual o valor a ser pago por uma carta que pesa 73 g?

b) Qual o peso mximo de uma carta para que sua tarifa no ultrapasse R$ 1,00?

c) possvel que duas cartas com tarifas diferentes tenham o mesmo peso?

Vale notar que, nessa relao, o peso da carta a varivel independente, e a tarifa, a
varivel dependente. Voc pode notar que a cada peso de carta a ser enviada
corresponde uma nica tarifa. A tarifa depende do peso da carta.

Como outra situao que caracteriza uma relao, poderamos estabelecer uma
associao entre os pontos de uma reta e os nmeros reais, de tal modo que, a cada
ponto da reta, associamos exatamente um nmero real.
Os pontos de uma reta podem ser postos em correspondncia biunvoca com os nmeros
reais, ou seja:
i.

ii.

A cada ponto da reta corresponde exatamente um nmero real.

A cada nmero real corresponde exatamente um ponto da reta.

Interessante observar que a distncia entre dois pontos quaisquer da reta poder ser
encontrada pelo valor absoluto da diferena dos nmeros reais a eles associados.

Comumente, essa afirmao tem sido denominada de Postulado da Rgua e, assim, o

postulado da Rgua nos fornece uma rgua infinita (imaginria) que pode ser colocada
em qualquer reta e que pode ser utilizada para medir a distncia entre dois pontos
quaisquer.

Para definir um sistema de coordenadas na reta, escolhe-se um dos seus pontos como a
origem do sistema. A esse ponto, geralmente denominado pela letra 0 , associamos o
nmero zero, que ser a sua coordenada. Ento, fixa-se uma unidade de medida, por
exemplo, centmetros, e a coordenada de cada ponto p da reta ser determinada pela

medida do segmento 0 p , ou seja, desde a origem at o ponto: x1 0 p centmetros.

60

unidade
Se, conforme a Figura 1, o ponto d est direita da origem, sua coordenada ser 0d e,
portanto, positiva. Por outro lado, se o ponto e est esquerda de 0 , sua coordenada
ser dada por 0e , sendo negativa.

Figura 1. Pontos na reta.

Para representarmos a localizao de um ponto no plano, temos a necessidade de duas

referncias, ou seja, um par de nmeros. Vale lembrar que o plano tem duas dimenses.

Assim, criou-se um sistema que possibilitasse a localizao de pontos no plano,

utilizando duas retas numeradas como referncia.

Esse sistema denominado de Sistema de Coordenadas Cartesianas, veja Figura 2, em

homenagem ao matemtico e filsofo francs, Ren Descartes.
Trata-se de um sistema que utiliza retas numeradas que se interceptam
perpendicularmente na origem de cada uma (ou seja, no ponto associado ao zero).
Assim, um par de nmeros representaria a posio de um ponto no plano.

Figura 2. Sistema de coordenadas cartesianas.

61

A reta horizontal, com a direo positiva para a direita, denominada eixo x ou eixo das

abscissas. A outra reta vertical, com a direo positiva para cima, chamada eixo y , ou

eixo das ordenadas. Note que o plano com o sistema de eixos fica dividido em quatro
regies, denominadas quadrantes, indicados na Figura 3, pelas letras romanas I , II , III

e IV .

Figura 3. Quadrantes no Sistema de coordenadas cartesianas.

3.2. Par Ordenado e Produto Cartesiano

Primeiro, vale a pena lembrar o conceito de par ordenado.
3.2.1. Par ordenado

Denominamos de par qualquer conjunto de dois elementos, e par ordenado ao conjunto

de dois elementos em que a ordem dos mesmos importante, ou seja, em geral, a ordem

os diferencia. Indicamos um par ordenado utilizando parntesis.

Igualdade de pares ordenados

Dois pares ordenados so iguais, se, e somente se, os seus primeiros e segundo

elementos so iguais, respectivamente. Isto ,

a, b c, d

ac bd

62

(3.1)

unidade
Assim, cada ponto P do plano fica associado a um par de nmeros x, y , que so as
coordenadas desse ponto. O nmero x mede a distncia orientada do ponto P ao eixo

y e chamado abscissa desse ponto, e o nmero y mede a distncia orientada do ponto

P ao eixo x e a sua ordenada. Se P tem coordenadas x e y , denotado por P x, y ,

veja Figura 4. Diz-se que as coordenadas de um ponto formam um par ordenado de

nmeros reais.

Figura 3. Um ponto P de coordenadas x e y .

Importante lembrar que a ordem na qual as coordenadas so escritas importante. Por

exemplo, o ponto de coordenadas 1, 2 diferente do ponto de coordenadas 2,1 .

Portanto, todo ponto P do plano pode ser relacionado a um par ordenado de nmeros

reais e, reciprocamente, todo par ordenado de nmeros reais x, y se relaciona a um

nico ponto do plano. Ento, h uma correspondncia biunvoca entre os pares
ordenados de nmeros reais e os pontos do plano. Uma correspondncia desse tipo se

denomina sistema de coordenadas no plano.

O plano, munido desse sistema de coordenadas, geralmente chamado plano

coordenado, ou plano cartesiano, denotado pelo smbolo

formado por todos os pares ordenados de nmeros reais.

63

, e trata-se do conjunto

3.2.2. Produto Cartesiano

Denomina-se produto cartesiano de um conjunto no vazio A por um conjunto no

vazio B ao conjunto cujos elementos so todos os pares ordenados a, b , em que o

primeiro elemento a pertence ao conjunto A , e o segundo elemento b pertence a B .

Denota-se por A B e l-se: A cartesiano B .

Em smbolos, teramos:

A B

( x, y) :

a A b B

(3.2)

Observao.
(a)

Se um dos conjuntos A ou B for um conjunto vazio, o produto cartesiano

A B ser um conjunto vazio.

(b)
(c)

Se A B , ento, A B B A .

(d)

ento, A B um conjunto finito com m n elementos.

Se A e B so conjuntos finitos com m e n elementos, respectivamente,

Se A ou B for um conjunto com infinitos elementos e nenhum deles for
vazio, ento, A B um conjunto com infinitos elementos.

(e)
Notao.

A A pode ser indicado por A2 .

2

o produto cartesiano de

com

, isto ,

{(1,1),(1, 2),(1,3),(4,1),(4, 2),(4,3)}

Exemplo 3.1. Sejam A 1, 4 e B 1, 2,3 . Ento, A B
Atividade 3.1
(1)

Considere o Exemplo 3.1, para representar no, plano cartesiano, o produto

cartesiano acima, pois cada par ordenado x, y pertencente a A B pode ser

associado a um ponto do plano.

64

unidade

3.3. Relao Binria

Refletindo...

Ser que podemos pensar em um produto cartesiano que no seja formado por pares
ordenados de nmeros reais?

Vejamos uma situao hipottica:

Maria est prestes a se casar e imagina a entrada dos casais que sero seus
padrinhos. Na igreja, ficou estabelecido que, na entrada, o casal formado, direita
se posiciona o padrinho, e esquerda, a madrinha. Maria decidiu que todos devem
ser seus amigos. Sabendo que Maria tem doze amigas e nove amigos, imaginemos
todas as possibilidades de pares de casais, independente da ordem. Esse conjunto
formado de todos os pares ordenados de casais, amigos de Maria, poderia ser
reconhecido como um produto cartesiano A B , em que A seria o conjunto de
amigas, e B o conjunto de amigos de Maria.

Entretanto, Maria teve que escolher por alguns desses pares que, de fato, entrariam na

igreja no dia do seu casamento. Para relacionar os quatro casais, estabeleceu-se o

critrio que o padrinho e a madrinha teriam alguma afinidade. Assim, ficou estabelecida

uma relao binria, formada pelos casais que entrariam na igreja no dia do seu
casamento.

3.3.1. Definio de Relao Binria

Dados dois conjuntos A e B , denominamos Relao binria de A em B a todo

subconjunto R de A B , isto ,

R uma relao binria de A em B R A B

Se em uma relao binria R , os conjuntos A e B so iguais, ou seja, R A A ,

dizemos que R , simplesmente, uma relao sobre A , ou ainda, R uma relao em
A.

65

3.3.2. Propriedades das Relaes

Considere-se R uma relao em A .
(a)

Reflexiva

R reflexiva, se, e somente se, para todo x pertencente a A tem-se que x se

relaciona com x em A , ou seja, x, x R .

Simbolicamente:
(b)

x x A

x R x

Simtrica

(3.3)

R simtrica, se, e somente se, a, b R , ento, b, a R , isso significa

que R simtrica quando, estando a relacionado com b , tem-se tambm b

relacionado com a , segundo R .

Simbolicamente:
(c)

a, b A a R b

b R a

Antissimtrica

(3.4)

R antissimtrica, se, e somente se, a, b R e b, a R , ento, a b . Em

outras palavras, se R

antissimtrica, para a b , nunca se tem,

simultaneamente, a, b R e b, a R .

Simbolicamente:

a, b A a R b

b R a b
a

66

(3.5)

unidade
(d)

Transitiva

R transitiva, se, e somente se, a R b e b R c , ento, a R c . Isto , se a se

relaciona com b e b se relaciona com c , ento, a se relaciona com c .

Simbolicamente:

a, b, c R a R b

b R c a R c

(3.6)

Observao. No pense que tem alguma complicao nessas especificidades. Aos poucos
e com calma, voc compreender que tudo muito simples, bastando ficar atento aos
detalhes de cada definio.

Definio 3.1. (Comparveis) Seja R uma relao sobre um conjunto A . Dizemos que

x, y A so comparveis mediante R , se x R y ou y R x , ou seja, tem-se na relao que

todo elemento do conjunto A se relaciona de alguma forma um com ou outro. Assim, na
relao, figura pelo menos um dos pares: x, y ou y, x .
3.3.3. Tipos de Relaes
Destacam-se dois tipos de relaes sobre A que possuem caractersticas importantes:

Relaes de Equivalncia e Relaes de Ordem.

Definio 3.2. (Relao de Equivalncia) Uma relao R sobre um conjunto A no

vazio chamada Relao de Equivalncia sobre A , se, e somente se, R reflexiva,

simtrica e transitiva.

Definio 3.3. (Relao de Ordem Parcial) Uma relao R sobre um conjunto A no

vazio chamada Relao de Ordem Parcial sobre A , se, e somente se, R reflexiva,
antissimtrica e transitiva.

Definio 3.4. (Relao de Ordem Total) Dizemos que uma relao de ordem parcial

sobre um conjunto A uma relao de ordem total sobre A , se quaisquer dois

elementos de A forem comparveis mediante R .

67

Exemplo 3.2. Seja A o conjunto de nmeros reais, ou seja, A

. Vamos avaliar se a

relao abaixo pode ser caracterizada como relao de equivalncia ou de ordem

(parcial ou total).

R ( x, y)

: x y

Vamos pensar... o que deve ser verificado?

Isso mesmo: temos que verificar se a relao apresenta caractersticas de relao

reflexiva, simtrica, antissimtrica ou transitiva.
Mos obra!

Ser que a relao reflexiva?

Dever provar-se que

x x A

x R x , ou seja, todo nmero real se

relaciona consigo mesmo, segundo R . Essa expresso verdadeira, pois todo

nmero menor ou igual a si mesmo (veja Captulo 6). Assim, podemos concluir

que R reflexiva.

Ser que a relao simtrica?

Ou seja, verdade que sempre que x se relaciona com y , segundo R teremos y

tambm se relacionando com x , segundo R .

Um contraexemplo nos mostra no ser verdadeira essa afirmao, pois 3 4 e,

portanto, 3, 4 R , mas no verdade que 4 3 . Assim, o par 4,3 R . Logo,

R no simtrica.

Ser que a relao antissimtrica?

a, b A a R b

b R a b
a . Em palavras, verificamos que a nica

maneira que os pares x, y e y, x pertencerem a R seria quando x y , pois

x x sempre verdadeiro. Dessa forma, podemos concluir que R

antissimtrica.

68

unidade

Ser que a relao transitiva?

x, y, z R , x R y y R z x y y z x z x R z

Assim, R transitiva. Para maior informao, revise Captulo 6.

Dessa forma, temos que R apresenta as propriedades: reflexiva, antissimtrica e

transitiva, podendo ser caracterizada como uma relao de ordem parcial.
Seria possvel dizer que R uma relao de ordem total sobre R ?

Claro que sim...

Perceba que, para quaisquer dois nmeros reais, podemos sempre afirmar x y ou

y x e, portanto, quaisquer dois elementos so comparveis.

Concluso: A relao R ( x, y)

Atividade 3.2
(1)

: x y uma relao de ordem total.

Verifique se a relao de igualdade sobre o conjunto dos nmeros reais, R , pode

ser caracterizada como uma relao de ordem ou equivalncia. Ou seja, verifique

as propriedades da relao R ( x, y)

69

: x y .

unidade

Unidade IV

Conjunto dos Nmeros Naturais

e Nmeros Inteiros
Objetivos

Reconhecer a simbologia que o povo antigo usou para representar os

nmeros.

Usar o Princpio de Induo Infinita na demonstrao de propriedades

de nmeros naturais.

Aplicar as propriedades dos nmeros naturais e inteiros.

Demonstrar as propriedades do mdulo de um nmero inteiro.

71

unidade

4.1. Histria dos Nmeros

Os fundamentos nos quais descansa toda estrutura lgica do clculo infinitesimal e em

geral, da anlise, so os nmeros. Estes nos so to familiares que, num primeiro

momento, poderamos aceit-los como um conceito primitivo, ao menos, para os

nmeros naturais. Isto , como algo que no requer definio. Porm, hoje em dia,

muito difcil aceitar esse conceito, devido aos avanos da Matemtica.

Se desejar a continuar, voc pode ver como os nmeros apareceram em diferentes

tempos da histria.

4.1.1. Egpcios e Babilnicos

Smbolos para os nmeros so encontrados nos mais antigos vestgios de escrita
humana. Mesmo na idade da pedra, foram encontrados na forma de entalhe em ossos ou

como marcas nas paredes das cavernas. Foi a poca em que o homem vivia como um

caador e, hoje, s podemos especular se o smbolo |||, por exemplo, foi destinado para

representar o tamanho da morte. O Sistema dos Nmeros marca o incio da aritmtica.

Os primeiros documentos remontam s primeiras civilizaes do vale do rio Nilo, Tigre e

Eufrates. Hierglifos para os nmeros 10 000, 100 000 e 1 000 000 foram encontrados

sobre o basto do rei Narmer, da primeira dinastia egpcia (cerca 3000 aC).

O Papiro de Rhind (cerca de 1650 aC) contm tabelas com decomposies da frao 2 / n

, em que n um inteiro mpar (para detalhes dos clculos dos egpcios, veja o Papiro de

Moscou, STRUWE (1930), e o Papiro de Rhind, PAPYRUS RIHND (1929).

Os babilnios usavam smbolos cuneiformes em tabletes de argila. As notaes foram

baseadas em uma mistura de sistema decimal e sexagesimal. Por exemplo, denotou 1,

601, 602, ...; enquanto que denotou 10, 10 601, 10 602, ... e assim por diante. O

smbolo zero no foi sempre utilizado pelos babilnios, e nunca usaram um smbolo, o

ponto, para separar a parte inteira da parte decimal. Em uma notao posicional, o papel
do zero a de um sinal representado por uma "lacuna". Um sinal desse tipo, duas marcas
de cunha pequena,

, j foi encontrado em um texto babilnico antigo de Susa (Text 12,

73

p. 4), porm unicamente em casos isolados TROPFKE (1980, p. 28). Os babilnios

mostraram ter sido aritmticos de grande talento e algebristas. Eles desenvolveram

tabelas sofisticadas para uso em clculos, envolvendo multiplicao e diviso, e para

resolver equaes quadrticas e cbicas.
4.1.2. Gregos

O sistema de numerao dos gregos foi decdico, embora no posicional. Os primeiros

sistemas usaram smbolos individuais para as etapas decdicas, que eram as letras

iniciais de cada palavra correspondentes aos nmeros. Por exemplo, usavam o smbolo

para representar o nmero (mil). Os posteriores sistemas que representaram

nmeros por letras (ao redor de 450 aC) forem utilizados em textos matemticos. O
sistema foi composto de 24 letras do alfabeto grego padro, com mais trs smbolos da
tradio oriental. Para maiores detalhes, veja, por exemplo, EBBINGHAUS (1991).

Enquanto os egpcios e babilnios contentaram-se com o desenvolvimento altamente

sofisticado de tcnicas numricas, os pitagricos tornaram-se, em primeiro lugar,

interessados no significado filosfico dos nmeros. Em sua filosofia, o universo inteiro

foi caracterizado por nmeros e suas relaes, e, assim, surgiu o problema de definir o

que geralmente era um nmero. Assim, os gregos consideram como nmeros, apenas os
nmeros naturais, excluindo a unidade; fraes foram tratadas como razes de nmeros,
e nmeros irracionais como as relaes entre grandezas incomensurveis na geometria.
4.1.3. Aritmtica prtica Indo-Arbica

Entre 300 aC e 600 dC, a atual notao posicional decimal, com 0 e seus smbolos

particulares de 1 at 9, nasceu na ndia, provavelmente sob influncia babilnica. Assim,

por exemplo, a partir das formas primitivas -, =, que surgiram no incio dos smbolos
,

, que, eventualmente, evoluram para 1, 2. Os rabes, no os astrnomos,

usaram a notao indiana. Os indianos tinham sinais dos nmeros positivos e negativos,
ou seja, dhana ou sva (domnio, posse) e rina ou ksaya (diminuio, dbito).

74

unidade
Regras da Aritmtica para lidar com nmeros positivos e negativos so encontradas nas
obras de Brahmaoupta (nascido em 598), JUSHKEWITSCH (1964, p. 126). Entretanto,
no h nada que indique que os nmeros negativos eram geralmente reconhecidos como
solues de equaes.

4.1.4. Tempos Modernos

Aritmtica prtica Indo-Arbica foi divulgada em todo o mundo ocidental pelos livros
didticos de aritmtica, desde o sculo 13 at o 16 (por exemplo, os de Leonardo de Pisa,

Riese, Stifel) e possibilitou os sucessos posteriores dos matemticos italianos da

Renascena (tais como, Del Ferro, Cardan e Ferrari) na soluo de equaes algbricas.

Stifel diz, ao falar sobre nmeros negativos, que no so apenas "tolices sem sentido",

mas, pelo contrrio, que so "no sem utilidade" para fingir nmeros antes do zero, isto
, construir nmeros fictcios que so menos do que nada (STIFEL, 1544, p. 248).

Na nova lgebra da Renascena, o zero e os nmeros negativos adquiriram um novo

enfoque, isto , foi possvel assimilar vrios tipos de equaes numa nica categoria.
Desde o tempo das equaes de Descartes, tem sido escrito da seguinte forma:
an xn an 1 xn 1

a0
0

(embora sem sufixos nos coeficiente para o caso de Descartes), em que os coeficientes
podem ser positivo, negativo ou zero.

Embora os matemticos tenham trabalhado, desde o incio da cincia, com nmeros e

descoberto teoremas sobre esses, no foi at o sculo 19, que deram definies

matematicamente aproveitveis do conceito de nmero. Sua principal considerao foi,

inicialmente, fornecer bases slidas para a anlise, definindo, mais precisamente, os

nmeros reais. Foi s depois de Dedekind e Cantor (e alguns outros, os quais haviam

definido nmeros reais por meio de conjuntos de nmeros racionais) que as definies
clssicas dos nmeros naturais, em termos de lgica e teoria dos conjuntos,

continuaram. A constatao de que a extenso dos nmeros naturais, para os inteiros e

75

os racionais, poderia, ainda, ser considerado essencialmente como um tpico da lgebra,

estava intimamente ligada com a introduo das ideias fundamentais algbricas da
teoria dos anis e da teoria de campos.
Atividade 4.1
(1)

Esboce os smbolos que os gregos usaram (anterior aos 450 aC) para representar
os seguintes nmeros: 1, 10, 100, 1 000 e 10 000 e seus intermedirios: 5, 50,

(2)

500, 5 000, 50 000.

Faa uma tabela dos smbolos (o alfabeto grego padro e trs smbolos de

influncia oriental) que os gregos usaram ao redor dos 450 aC, para representar
os nmeros.

4.2. Conjunto dos Nmeros Naturais

Podemos definir os nmeros naturais como um conjunto de axiomas ou postulado que o

caracteriza, tal como foi feito por Peano, na sua obra, Arithmetices principia nova
methodo exposita (1889), e Hilbert, em Die Grundlegund der elementaren
Zohlenlehre (1930).

4.2.1. Nmeros Naturais

Quando Giuseppe Peano (1853-1932, matemtico italiano)
formula seus axiomas, a linguagem da lgica matemtica estava nos
seus incios. A formulao original desses axiomas considera como

primeiro nmero o 1 , porm, hoje em dia, sabemos que o 0 o

elemento neutro da operao adio dos nmeros naturais e

imprescindvel sua omisso.

Giuseppe Pean.

Estudaremos a formulao moderna dos axiomas de Peano, o qual considera trs

conceitos primitivos: nmero natural, zero e sucessor. Denotaremos um nmero natural

76

unidade
por n , zero por 0 e o sucessor de n por n . A relao entre esses conceitos
primitivos conhecida como os Axiomas de Peano.

Axiomas de Peano

A1. 0 um nmero natural

A2. Para qualquer nmero natural n , o sucessor n um nmero natural.

A3. 0 no sucessor de nenhum nmero natural.

A4. Para quaisquer nmeros naturais n e m , se n m , ento, n m .

A5. Se S um conjunto, tal que
(i)

(ii)

0S , e

se n S , ento, n S ,

ento, S contm todos os nmeros naturais.

Observao. O axioma A5 representa o Princpio de Induo Finita. Este expressa que

todo nmero natural pode ser obtido, a partir de 0, por meio de repetidas aplicaes,
tomando-se o sucessor. Esse princpio , algumas vezes, enunciado do seguinte modo:
Seja P n uma propriedade em termos de nmeros naturais. Suponha que
(i)

P 1 verdadeira, e,

(ii)

se para todo k

, P k verdadeira, ento, P k 1 verdadeira, tambm.

Nesse caso, P n verdadeira para todo nmero natural n .

Usando os axiomas de A1 at A4, podemos construir um conjunto infinito do seguinte
modo:

0 um nmero natural

0 o sucessor de 0

77

 0 o sucessor de 0

0 o sucessor de 0
...

Assim, obtemos o seguinte conjunto infinito:

0, 0 , 0 , 0 ,...

(4.1)

Esses quatro primeiros axiomas, tambm, implicam que o conjunto dos nmeros

naturais infinito, pois, ao menos, contm o conjunto infinito definido em Eq. (4.1). Para

mostrar que todo nmero natural est contido neste conjunto infinito, ele deve
satisfazer o axioma A5. E pela construo do mesmo, vemos que ele satisfaz o dito
axioma. Para finalmente obter o conjunto dos nmeros naturais, consideremos as
seguintes notaes.

Denote-se o sucessor de 0 pelo smbolo 1 (um),

0 : 1

Denote-se o sucessor de 1 pelo smbolo 2 (dois),

0
1 : 2

Denote-se o sucessor de 2 pelo smbolo 3 (trs),

0
1
2 : 3

e, assim, sucessivamente.

Substituindo Eq. (4.2) - (4.4) em Eq. (4.1), obtemos o conjunto de nmeros naturais

0,1, 2,3,...

78

(4.2)
(4.3)
(4.4)

(4.5)

unidade
o qual, formalmente, dado na seguinte definio.

Definio 4.1. O Conjunto dos Nmeros Naturais, denotado por

0,1, 2,3,...

Notao. Denota-se o conjunto dos nmeros naturais, sem o zero, por

4.2.2. Igualdade

\ 0 .

(4.6)

A formulao original dos axiomas de Peano continha nove axiomas. Cinco deles j

foram enunciados antes, e os quatro restantes foram direcionados para a igualdade

entre nmeros naturais.
Axiomas da igualdade

I1. Para todo m , m m (Reflexividade)

I2. Para todo m, n , m n , ento, n m (Simetria)

I3. Para todo m, n, h

I4. Se m

, m n e n h , ento, m h (Transitividade)

e m n , ento, n

(Fecho)

Uma vez definido o conjunto dos nmeros naturais e a igualdade entre seus elementos,

passamos a definir as operaes da aritmtica.

4.2.3. Operaes em

As operaes de adio e multiplicao de nmeros naturais se definem de modo

recursivo.

Definio 4.2. (Adio) Para cada m, n ,

(a)

m0
m

(b)

m n m n

79

Exemplo 4.1. Quem m 1 ?

1 m 0 , e pela Definio 4.2a,

Calculemos: m 1 m 0 . Pela Definio 4.2b, m

m . Logo, m 1 o sucessor de m .
temos que m 1

Definio 4.3. (Multiplicao) Para cada m, n ,

(a)

m 0
0

(b)

m n m m n

4.2.4. Propriedades Algbricas

As propriedades algbricas dos nmeros naturais so com respeito s operaes de

adio e multiplicao.

Proposio 4.1. (Adio) Sejam m, n, h

(a)

m n

(b)

m n h m n h (Associatividade)

(c)

m n n m (Comutatividade)

(d)

m0
m (Existncia de elemento neutro)

(Fecho)

Observao. A existncia do elemento neutro, no item (d), nica.

Prova. Deixa-se para o leitor.

Proposio 4.2. Sejam m, n, h

. Se m h , ento, m n h n .

Prova. Usaremos o Princpio de Induo Finita. Considere-se a seguinte propriedade:

P n : Se m h , ento, m n h n .

P 1 verdadeira. Com efeito, pela reflexividade, m 1 m 1, e, como por hiptese,

m h , ento, m 1 h 1 . Agora, suponha que P k verdadeira, ento, m h implica

80

unidade
m k h k . Provaremos que P k 1 verdadeira. Com efeito, pela associatividade,

m k 1 m k 1 , agora, pela hiptese, m k 1 h k 1 e, novamente pela

associatividade, temos finalmente m k 1 h k 1 . Portanto, P n verdadeira.

Proposio 4.3. (Multiplicao) Sejam m, n, h
(Fecho)

(a)

m n

(b)

m n h m n h (Associatividade)

(c)

m n n m (Comutatividade)

(d)

m 1 m (Existncia de elemento neutro)

Observao. A existncia do elemento neutro, no item (d), nica.

Prova. Deixa-se para o leitor.

Proposio 4.4. (Adio e multiplicao) Sejam m, n, h

(a)

m n h m n m h (Distributividade)

(b)

m n 0 m 0 n 0 (Sem divisor de zero)

Prova. (a) Deixa-se para o aluno.

m , e pela
0 , ento, m m n m 0 , assim, pela Definio 4.3b, m n
(b) Se m n

0 , ento,
Proposio 4.3d, n 1 , o qual implica que n 0 . Por outro lado, se m n

n m n n 0 , comutando o produto, n n m
n , usando a Definio 4.3(ii),
n m
n , e pela unicidade do elemento neutro, m 1 . Desse modo, m 0 .

Exerccio 4.1.

  m n h m h n h      

m n h h m n  m n h h m h n 

 m n h m h n h 

81

4.2.5. Ordem nos Nmeros Naturais

A operao de adio dos nmeros naturais permite introduzir uma relao de ordem
em

Definio 4.4. Para todo m, n , m n , se, e somente se, existe h

n.
tal que m h

Notao. A relao m n significa que m n ou m n .

Proposio 4.5. Para todo m, n, h

(a)

m n mh nh

(b)

m n m h n h

Prova.
(a) Se m n , ento, existe k
h

Assim,

n . De aqui, temos que m k h n h ,

tal que m k

m k h n h , ento,

m h k n h e pela Def. 3.4, m h n h .

m h k n h , associando termos,

(b) Deixa-se para o leitor.

4.2.6. Potenciao

Definio 4.5. Seja a

(a)

a1 a

(b)

1
a m
am a

. Defina-se:

Sempre que a m esteja bem definida para m .

Exemplo 4.2. Calcule as seguintes potncias:

(a)

a2 .

Def.3.4b

Def.3.4a

Soluo: a 2 a11 a1 a a a .

82

unidade
(b)

a3 .

Def.3.4b

(a)

Soluo: a3 a 21 a 2 a a a a .

Proposio 4.6. Sejam a, b, m, n ,

(a)

n
a m
am an

(b)

a mn a m

(c)

a b

a m bm

Prova. Deixa-se para o leitor.

Atividade 4.2
(1)

(2)

Prove que para todo m , 1m 1 .

Sugesto. Use o Princpio de Induo Infinita.

Defina-se o fatorial de um nmero natural por n! 1 2 3 ... n , 0! 1. Prove

que 2n n ! para n 4 .

(3)

Sugesto. Use o Princpio de Induo Infinita.

Prove que o cardinal de um conjunto A igual ao cardinal do conjunto das

partes de A , isto ,

A
n

P A
2n , n

(4.7)

Sugesto. Use o Princpio de Induo Infinita.

83

4.3. Conjunto dos Nmeros Inteiros

A limitao dos nmeros naturais em resolver, por exemplo, equaes da forma

mh
n , onde m, n e h so nmeros naturais e m n , motivou a comunidade

matemtica a ampliar os naturais a um conjunto maior. Foi nesse sentido que os

nmeros negativos fazem presena, chamando-se, formalmente, elemento oposto. Com o

conjunto dos nmeros naturais e o conjunto dos nmeros negativos, aparece o Conjunto

dos Nmeros Inteiros. Para a construo desse novo conjunto, imprescindvel definir
uma relao de equivalncia.

Teorema 4.1 A relao sobre

, definida por

m, n h, k , se, e somente se,

mk nh

uma relao de equivalncia.

Prova. Deixa-se para o leitor.
Notao. Sejam m, n

pela relao .

. Denote-se por m, n , a classe de equivalncia de m, n

Definio 4.6. O Conjunto dos Nmeros Inteiros, denotado por

, definido como o

conjunto das classes de equivalncia, m, n , pela relao .

Definido o conjunto dos nmeros inteiros, passamos a definir sua aritmtica.
4.3.1 Operaes em

So duas operaes que podemos definir nos nmeros inteiros, a adio e a

multiplicao.

Definio 4.7. (Adio) Sejam

m, n , h, k

q h, k , definimos a adio por

84

p, q , com

p m, n e

unidade
pq

m h, n k

Definio 4.8. (Multiplicao) Sejam m, n , h, k

e p, q , com p m, n e

q h, k , definimos a multiplicao por

pq

m h n k , m k n h

4.3.2 Propriedades algbricas

Proposio 4.7. (Adio) Sejam p, q, r ,
(Fecho)

(a)

p q

(b)

p q r p q r (Associatividade)

(c)

p q q p (Comutatividade)

(d)

p0
p (Existncia de elemento neutro)

(e)

p p 0 (Existncia de elemento oposto)

Notao. O elemento p , que aparece no item (e), chamado de elemento oposto de p .

Observao. A existncia dos elementos, neutro e oposto, nos itens (d) e (e), nica.
Prova. Deixa-se ao leitor.

Definio 4.9. (Subtrao) Para p, q , define-se,

p q : p q
Proposio 4.8. (Multiplicao) Sejam p, q, r ,
(a)

pq

(Fecho)

(b)

p q r p q r (Associatividade)

(c)

p q q p (Comutatividade)

85

(d)

p 1 q (Existncia de elemento neutro)

Observao. A existncia do elemento neutro, no item (d), nica.

Prova. Deixa-se para o leitor.

Proposio 4.9. (Adio e multiplicao) Sejam p, q, r

(a)

p q r p q p r (Distributividade)

(b)

p q 0 p 0 q 0 (Sem divisor de zero)

Prova. Deixa-se para o leitor.

4.3.3 Ordem nos Nmeros Inteiros

Definio 4.10. Para p, q , definimos a relao de ordem por

p q, se, e somente se, p q

Teorema 4.2 Sejam p, q, r ,
(a)

p p (Reflexividade)

(b)

Se p q e q r , ento, p r (Transitividade)

(c)

Se p q e q p , ento, p q (Antissimetria)

(d)

p q ou q p (Totalidade)

(4.8)

Prova. Deixa-se ao leitor.

4.3.4 Mdulo

O mdulo ou valor absoluto de nmero inteiro definido, como segue.

Definio 4.11. (Mdulo ou valor absoluto) Seja p , definimos o mdulo de p por

p se p 0
p
p se p 0

86

(4.9)

unidade
Proposio 4.10.

Sejam p

(a)

p p p

(b)

p q q p q

e q

Prova.
(a) Se p 0 , p p , agora, pela reflexividade, p p , ento, p p . Por outro, se p 0 ,

p p , o qual implica p
p , e pela reflexividade, p p , temos p p . Assim,

p p p .

(b) Deixa-se para o leitor.

Proposio 4.11.

Sejam p, q, ,

(a)

p 0

(b)

p 0 p 0

(c)

pq p q

(d)

p p

Prova.
(a) Para p 0 , p p , ento, p 0 . Para p 0 , p p , como p 0 , ento, p 0 .

(b) Ida: p 0 . Ento, pela Def. (4.9), 0 p , se p 0 e, se p 0 , 0 p . Assim, para

todo p , temos que p 0 . Volta: p 0 . Ento, p p , de aqui, p 0 .

(c) Pela Proposio 4.10(i), p p p e q q q . Somando membro a membro,

p q p q p q , de aqui, p q p q p q , e pela Proposio 4.10(ii),

pq p q .

(d) Deixa-se para o aluno.

87

4.3.5 Imerso de

em

Definio 4.12.
(a)

O Conjunto dos Nmeros Inteiros Positivos, denotado por

(b)

m, n : m, n

e m n

O Conjunto dos Nmeros Inteiros Negativos, denotado por

m, n : m, n

Observao. Prova-se que o conjunto

e m n

e o conjunto

, se define por

, se define por

so isomorfos (

). Uma

prova disso pode ser encontrada em LOBEIRO (2011). Assim, podemos identificar os

naturais como um subconjunto dos inteiros. Desse modo, conseguimos expressar o

conjunto,

E se denotamos

(4.10)

, obtemos que o Conjunto dos Nmeros Inteiros dado por

... n,..., 2, 1,0,1, 2,..., n,... ,

onde, n a notao para o nmero inteiro 1, n 1 .

Notao. Denota-se o Conjunto dos nmeros inteiros sem, o zero, por

(4.11)

\ 0 .

Nesta apostila, no abordaremos tpicos referentes Divisibilidade, Mximo Divisor

Comum, Mnimo Mltiplo Comum, Nmeros Primos, Congruncia Mdulo m , entre

outros.

88

unidade
Atividade 4.3
(1)

Prove para todo p, q :

a.

p q pq

b. | p | | q | p q
c. p q p q p q
d. p p
(2)
(3)

1 , ento, p 1 e q 1 .
Demonstre que se p q

Demonstre que a soma dos n primeiros nmeros mpares n 2 , ou seja,

1 3 5 ... 2n 1
n2 .

89

unidade

Unidade V

Conjunto dos Nmeros Racionais

e Nmeros Irracionais
Objetivos

Aplicar as propriedades dos nmeros racionais e irracionais.

Aplicar a propriedade da densidade e a propriedade arquimediana dos

nmeros racionais.

91

unidade

5.1.

Conjunto dos Nmeros Racionais

A resoluo de problemas, que envolvem equaes da forma p

q , , p, q , s tem
sentido, se q divisvel por , caso contrrio, no teremos soluo em

. Com a

finalidade de construir outro conjunto maior que contenha os inteiros, d soluo a

esse problema e outras dificuldades que possam aparecer em

, foi introduzido o

conjunto dos nmeros racionais, construdo por classes de equivalncia de nmeros

inteiros. O aluno pode consultar COHEN e EHRLICH (1963) para maiores detalhes.

Teorema 5.1

A relao sobre

definida por

p, q r, s , se, e somente se,

p s q r

uma relao de equivalncia.

Prova. Deixa-se para o leitor.
Notao. Seja p, q

relao .

. Denote-se por p, q , a classe de equivalncia de p, q pela

Definio 5.1. O Conjunto dos Nmeros Racionais, denotado por

, definido como o

conjunto das classes de equivalncia, p, q , pela relao .

Notao. Mais especificamente, o conjunto dos nmeros racionais representa o conjunto
quociente de

, pela relao , isto ,

/ .

Definido o conjunto dos nmeros racionais, passamos a definir as operaes de sua

aritmtica.

93

5.1.1 Operaes em
So duas as operaes que podemos definir nos nmeros racionais, a adio e a
multiplicao.

Definio 5.2. (Adio) Sejam p, q , r , s

Definimos a adio por

e a, b

, com a p, q e b r , s .

p s q r, q s

ab

p, q , r, s

Definio 5.3. (Multiplicao) Sejam

b r , s . Definimos a multiplicao por

a b

e a, b

, com a p, q e

p r, q s

5.1.2 Propriedades algbricas

Proposio 5.1. (Adio) Sejam a, b, c

(Fecho)

(a)

a b

(b)

a b c a b c (Associatividade)

(c)

a b b a (Comutatividade)

(d)

a0
a (Existncia de elemento neutro)

(e)

a a 0 (Existncia de elemento oposto)

Prova. De (a) at (c), deixa-se ao aluno.

(d)

a0

Sejam

a p, q

0 r, s .

Esses

elementos

satisfazem

p s q r, q s p, q o qual, implica p s q r, q s p, q . De Teorema 5.1,

p s q r q q s p .

Assim, distribuindo

94

p s q q r q q s p .

Associando

unidade

q s p q q r q s p o qual implica q q r 0 (elemento neutro aditivo em

). De aqui q 2 r
a.
0 implica r 0 , pois q 2 0 . Assim, o 0 0, s satisfaz a 0
(e) Seja a p, q e a
r, s , e 0 0,t , ento, a a

aqui,

p s q r, q s 0, t

de

onde

p s q r t q s 0 ,

temos

p s q r t 0 .

Como t 0 , ento,

obtemos que a

p, q . De qualquer modo, p, q

p s q r, q s 0, t .

De

ou

p s q r . Agora,

ps qr
0 . Assim,

suponha que r p , ento, p s q p . Assim, s q . Logo, a p, q . Se r p ,

classe, a . Se r q , aparecem restries.

Definio 5.4. (Elemento Neutro Aditivo em

neutro aditivo dos nmeros racionais por

ou

p, q

). Se q

pertencem mesma

, definimos o elemento

0 0, q

Definio 5.5. (Elemento Oposto Aditivo em

elemento oposto aditivo de a , por

a
). Seja

p, q

, definimos o

a p, q

Observao. Os elementos, neutro e oposto, nos itens (d) e (e) da Proposio 5.1, so
nicos.

Definio 5.6. (Subtrao) Sejam a, b

diferena de a menos b por

a b : a b

, onde a p, q e b r , s . Defina-se a

p, q r, s p s q r, q s

95

Observao. Os elementos, neutro e inverso, nos itens (iv) e (v) da Proposio 5.2, so
nicos.

Proposio 5.3. (Adio e multiplicao) Sejam a, b, c

(a)

a b c a b a c (Distributividade)

(b)

a b 0 a 0 b 0 (Sem divisor de zero)

Prova. Deixa-se para o leitor.

Exerccio 5.1.

Prove que para todo a

e a 0,

1 1

a . Com efeito, de

1. Pela Proposio 5.2c, a 1 a

1, e pela unicidade do elemento
Proposio 5.2e, a a 1

inverso, a a 1 .
1

5.1.3 Ordem nos Nmeros Racionais

A relao de ordem em

Definio 5.9. Seja a

Tambm,

inicia-se com a definio a 0 ( a maior que 0 ).

a 0 , se existe p, q a , tal que p q 0

a 0 , se existe p, q a , tal que p q 0

Notao. Denote-se o Conjunto dos Racionais Positivos por

o Conjunto do Racionais Negativos por

: a 0 ,

: a 0

e o Conjunto dos Nmeros Racionais, sem o Zero, por

96

\ 0

unidade
Proposio 5.4. (Lei da Tricotomia em

) Se a

afirmaes verdadeira:
(a)

a 0 , ou

(b)

a 0 , ou

(c)

a0

, ento, unicamente, uma das

Prova. Seja a p, q , ento, p q . Pela Lei da Tricotomia em

o qual implica a 0 ; ou (b) p q
0 , como q

p q 0 , de aqui, temos que a 0 .

Teorema 5.2 Sejam a, b

, temos: (a) p q 0 ,

, temos p 0 . Assim, a 0 ; ou (c)

, onde p, q a e r , s b , ento,

a b ps qr

p s q r, q s 0

Prova. a b
aqui,

p s q s q r q s 0 ,

pois q s

Teorema 5.3 Sejam a, b

implica, pela Definio 5.9,

ento,

p s q r q s 0 .

p s q s q r q s

implica p s q r ,

, 0 a b , ento, 0 b1 a 1 .

Prova. Seja a p, q , b r , s , p, r

e q, s

De

. Se b 0 ento r s 0 , de aqui,

s r 0 , ento, b1 0 ( b1 s, r ). Por outro lado, a b implica p s q r . Assim,

s p r q implica b1 a 1 . Assim, 0 b1 a 1 .

5.1.4 Mdulo

O mdulo ou valor absoluto de um nmero racional definido, a seguir.

Definio 5.10. (Mdulo ou valor absoluto) Seja a

por

97

, definimos o mdulo de p

 a se a 0
a
a se a 0

(5.2)

Observao. As propriedades do mdulo de um nmero racional so as mesmas

apresentadas para o mdulo de nmeros inteiros, na Subseco 4.3.4.
5.1.5 Imerso de

em

A seguir, enunciaremos um teorema referente quando o conjunto dos nmeros inteiros

est imerso (contido), no conjunto dos nmeros racionais.

Teorema 5.4 A aplicao

i:

i p p,1

injetora e satisfaz as seguintes propriedades:

(a)

i p q i p i q

(b)

i p q i p i q

(c)

p q i p i q

Prova. Deixa-se para o aluno. O aluno pode consultar LOBEIRO (2011, p. 88).
Observao. Segundo o Teorema 5.4, a imagem da aplicao i

um subconjunto de

e pode ser identificada com o conjunto dos nmeros inteiros, isto ,

i

Assim,

p,1

: p

p
p,1

98

(5.3)
(5.4)

unidade
Definio 5.11. (Diviso em
denota por

) Sejam a, b

a
, ou a / b , e define-se por
b

, b 0 . A diviso de a entre b se

a
a b 1
b

Teorema 5.5 Se a, b, c, d , b, d 0 . Prove que

a
1

(a)

(b)

a c
a d c b
b d

Prova. (a) Pela Proposio 5.2d, a 1 a . Pela Proposio 5.2e, a 111

a . Pela

a . Novamente, pela Proposio 5.2d, a 11

a . Finalmente,
Proposio 5.2b, a 1 11
pela Definio 5.11,

(b) a d c b

a
a.
1

a d b1 c b b1

a b d c b b
1

a c
a
c
a 1
1
1
d d c d d d
b d
b
d
b
Notao. Quando a, b

, a diviso

de numerador, e b , de denominador.

Teorema 5.6 (

a
d
c
b

a
a
chamada frao e, nesse caso, a chamado
b
b

a
definido como frao) Seja
a

p, q

p
, p, q
q

99

, a 0 . Ento,

Prova. De Teorema 5.5a, a

p, q . Por outro lado, p p

a
, assim, pela Eq. (5.1), a
1
q, q

p q p q p q q p q q p q q q p q

p q, q p q, q p q, q 1 p q, q 1

p q, q 1

5.3) p, q q,1 p,1 q, q (pelo Teorema 5.5b)

Eq. (5.4)) a

p q, q p q, q

p q,1 q

p, q p,1
q, q q,1

(pela Definio

p
.
q

p,1
q,1

(pela

5.1.6 Sistema Decimal

O Sistema decimal (ou Sistema de base 10) posicional, isto , o valor de cada algarismo

depende de sua posio. Um exemplo de sistema no posicional o Sistema de nmeros

romanos.

Definio 5.12. Seja p um nmero inteiro no negativo, ento, sua Representao

decimal na forma Compacta

p p1 p2 ... pm

(5.5)

p p1 10m1 p2 10m2 ... pm 100 ,

(5.6)

e, na forma Expandida,

onde pi , 0 pi 9 , 1 i m , so chamados de algarismo inteiros.

Observao. Na Eq. (5.5), existem m algarismos inteiros.

Exemplo 5.1. Um nmero inteiro, em suas duas formas de representao decimal

compacta e expandida, com cinco algarismos inteiros:

63845 6 104 3 103 8 102 4 101 5 100

100

unidade
Teorema 5.7 (Expanso Decimal de um Nmero Racional) Seja a

, tal que

0 a 1, ento, sua representao decimal na forma expandida dada por

d
d1 d 2
2 ... kk ... ,
1
10 10
10

onde di , 0 di 9 , i 1, 2,...k ,... so chamados de algarismos decimais.

(5.7)

Observao. A forma expandida da representao decimal de a , em Eq.

Erro! Fonte de referncia no encontrada., dada por

a 0, d1d2 ... dk ...

Prova. Deixa-se para o leitor.

Exemplo 5.2. (a) 0, 725

(5.8)

7
2
5
7
5
8
3
2 3 . (b) 0, 7583... 1 2 3 4 ...
1
10 10 10
10 10 10 10

Teorema 5.8 Todo nmero a

pode ser escrito da seguinte forma:

a p1 p2 ... pm , d1d2 ... dk ...

onde h m algarismos inteiros e infinitos algarismos decimais.

(5.9)

Prova. Deixa-se para o leitor.

Observao.
(a)

Devido s equaes (5.6) - (5.7), a Eq. (5.9) pode ser escrita como

a p1 10m1 p2 10m2 ... pm 100 +

(b)
(c)

d
d1 d 2
2 ... kk ...
1
10 10
10

(5.10)

O recproco desse teorema, em geral, no verdadeiro. Veja exemplos, na

prxima Seco.

Vejamos duas representaes da Eq. (5.9):

Expanso Decimal Finita: quando o nmero de algarismo finito, ou seja,

101

 p1 p2 ... pm , d1d2 ... dk

Exemplo 5.3. 12,6419304658 .

(5.11)

Expanso Decimal Peridica: quando certa quantidade de algarismos se repetem

p1 p2 ... pm , d1d2 ... d j d j 1d j 2 ...d j n d j 1d j 2 ...d j n ...

Observa-se que n o nmero de algarismo que se repetem.

Exemplo 5.4. 0, 42173173 apresenta trs algarismos que se repetem.

Teorema 5.9 A expanso decimal de todo nmero racional finita ou peridica.

Prova. Deixa-se para o leitor.

Exemplo 5.5.
(a)

O seguinte nmero decimal peridico 0,3333 racional. Com efeito,

3
3
3
3
3
1
1
1
0,3333... 1 2 3 4 ... 1 1 2 3 ...
10 10 10 10
10 10 10 10
3
1
3
3

1 10 1 9
10
1
10
1

(b)

O Teorema 5.9 no garante a unicidade do nmero racional. Por exemplo,

transformemos o seguinte decimal peridico 0,5999 em frao. Com efeito,

5
9
9
9
9
5
9
1
1
1
0,5999... 1 2 3 4 5 ... 2 1 1 2 3 ...
10 10 10 10 10
10 10 10 10 10
5
9
1
5
9
5
9
5 1
6
2



2
1 10 10 10 10 90 10 10 10
10 10
1
10

102

unidade
Assim,

0,5999...

Como sabemos,

3
igual a 0, 6 , e no 0,5999 . Um estudo mais avanado nos diz
5

que os algarismos d k s so nicos, se existem infinitos j s para os quais d j 9 .

Veja Captulo 8, em RIBEIRO (2011).

, tal que a b , ento,

Teorema 5.10 (Propriedade da Densidade) Sejam a, b

existe um c

, tal que a c b .

Prova. De a b , temos que 2a a b e a b 2b . De aqui, a

ab
ab
b . Seja

2
2

Teorema 5.11

nmero m

, logo, a c b .

(Propriedade Arquimediana) Sejam a, b

ab
ab
b , ou
e
2
2

. Ento, existe um

, tal que

a mb

Prova. Se a b , ento, existe m 2 , tal que b a 2b . Se a b , suponha que a mb

para todo m

sp mqr ,

para

. Sejam a
todo

r
p
e b , em que p, q, r , s
s
q

Em

particular,

sp mqr sp 1 qr spqr qr . Como qr

contradio.

Atividade 5.1
(1)

Prove para todo a, b

a.

a b a b a b

103

para

. Logo,

m
sp 1 ,

p
r
m , ou
q
s

temos

que

, ento, sp spqr , de aqui, 1 qr , uma

b. a a
c.

a b

a b

Prove que para a, b

(2)
(3)

5.2.

, a b b1 a 1
1

Prove que a, b, c, d , b, d 0 ,

a c ad cd

b d
bd

Conjunto dos Nmeros Irracionais

Podemos dizer, grosso modo, que um nmero irracional, se no pode ser expresso

como quociente de dois nmeros inteiros, ou se sua expanso decimal infinita, ou no

peridica. Um nmero algbrico aquele nmero que a raiz de um polinmio de uma
varivel no nula e coeficientes racionais (ou inteiros). Os nmeros que no so

algbricos so chamados de nmeros transcendentais. Qualquer nmero transcendental

irracional. Por exemplo, , e (base dos logaritmos neperianos), ln 2 , sen 1 , 2

(constante de GelfondSchneider), e (constante de Gelfond), entre outras. Tambm,

alguns nmeros algbricos so irracionais, por exemplo,

seguintes

polinmios:

x2 2

8 x3 3 ,

1 5
1, 6180339887... , entre outros.
2

A respeito do irracional mais conhecido,

2 e

respectivamente,

3 2 so razes dos

nmero

ureo,

2 , diz a lenda que o

filsofo pitagrico, Hpaso de Metaponto, (naceu em torno

do ano 500 a.C, em Metaponto, cidade grega da Magna Grcia,

hoje Itlia), foi quem provalmente o descobriu. Supe-se que

sua demonstrao, por mtodos geomtricos, envolvia que a

hipotenusa de um tringulo issceles, com catetos de

comprimento 1 , i.e., raiz quadrada de dois (constante de

Pitgoras), no poderia ser expressa pela razo entre

nmeros inteiros, HIPPASUS OF METAPONTUM (ano 500 a.C).

104

Hpaso de Metaponto.

unidade
Definio 5.13. Definimos um nmero irracional como qualquer nmero que no pode
ser expresso, como o quociente de dois nmeros inteiros, isto ,

um nmero irracional, se, e somente se,

Portanto,

Exemplo 5.6. Prove que

. Com efeito, suponha que

p
, p, q , q 0
q

p
, p, q , e q 0 , o
q

p2
menor possvel, tal que q p 2q . Ento, 2 2 implica p 2 2q 2 , de aqui, p 2
2q 2 .
q

Agora, somando 2 pq , temos 2 pq p 2 2 pq 2q 2 , de aqui, 2 pq p 2 2 pq q 2 . Logo,

obtemos

2 pq p 2
2 , pois
pq q 2

equivalentemente,

pq q q p q 0 .
2

p 2q p

2 . De aqui,
q p q

outro lado, q p 2q implica

.

Prove que
a.

2q p 2 , ento, 2q p
p q
p q

2 . Por

2 com denominador menor que q . Portanto,

Atividade 5.2
(1)

p 2q p
2 , ou
q p q

q . Assim, temos uma contradio, pois

p q 2q q

existe uma representao racional de

2

Assim,

e irracional

b. log10 2 irracional

105

unidade

Unidade VI

Conjunto dos Nmeros Reais

Objetivos

Aplicar o Axioma do Supremo.

Determinar quando um conjunto forma um Corpo ordenado completo.

Aplicar a propriedade Arquimediana dos nmeros reais.
Aplicar as propriedades dos nmeros reais.
107

unidade

6.1.

Introduo

Os nmeros racionais satisfazem a propriedade arquimediana (Se

a, b

. Ento, existe um nmero m

, tal que a mb ) e a

propriedade de densidade (entre dois nmeros racionais sempre

existe outro nmero racional, isto , se p, q

e p q , ento,

p ( p q) 2 q ), porm so insuficientes para satisfazer o axioma

do supremo, ou axioma da completude, ou axioma da continuidade

(Todo

subconjunto

no

vazio

de

um

conjunto

limitado

Georg Cantor.

superiormente, admite supremo). Nesse sentido, a comunidade

matemtica teve o desafio de construir um conjunto maior que

satisfizesse esse axioma. O resultado foi o conjunto dos Nmeros
Reais.

Existem varias tcnicas de construo dos nmeros reais, cada uma,

com vantagens e desvantagens. As mais usadas so: devido a Georg
Cantor1, Classes de equivalncias de sequncias de Cauchy de

nmeros racionais, e devido a Richard Dedekind2, Cortes de

Dedekind (subconjunto dos nmeros racionais com certas

Richard Dedekind.

propriedades).

Neste captulo, construiremos o conjunto dos Nmeros Reais, a partir do conjunto dos

Nmeros Racionais, usando cortes de Dedekind. Iniciaremos pela definio da estrutura

algbrica: corpo, denotando por K . Definiremos quando um corpo ordenado e, quando

um corpo ordenado completo. Finalmente, mostraremos que existe um conjunto

mais especificamente, um corpo ordenado completo, o qual ser chamado de conjunto

dos nmeros reais.
1
2

Nasceu em So Petersburgo, Rssia (3 de maro de 1845 a 6 de janeiro de 1918).

Nasceu em Braunschweig, Alemanha (6 de outubro de1831 a 12 de fevereiro de1916).

109

6.2.

Preliminares

Definio 6.1. (Operao binria) Seja A . Uma operao binria sobre o

conjunto A uma funo que aplica elementos de A A em A , isto ,
Se x, y A A ento x y A

(6.1)

Observao. Uma operao binria, muitas vezes, chamada de, simplesmente, operao.
O enunciado em Eq. (6.1) representa o fecho da operao sobre A .

Exemplo 6.1. Verifique que a funo , definida por

p r ps rq ,

q s
qs

p r
,
q s
uma operao sobre

. Com efeito,

p r p r
p r

. Por hiptese, ,
q s q s
q s

, temos

p r

q s

. Assim,

p r

q s

p r

q s

ps rq
qs

ps rq
. Como q, s 0 ,
qs qs

, ento, pela propriedade do fecho da adio em

Definio 6.2. (Ordem) Seja A um conjunto. Uma ordem em A uma relao,

denotada por , com as seguintes propriedades:
(i)

(ii)

Para todo x, y A , ou x y ou x y ou y x (Tricotomia)

Para todo x, y, z A , se x y e y z , ento, x z (Transitividade)

Observao. A expresso x y (l-se: x menor que y ), tambm, pode ser escrita

como y x (l-se: y maior que x ).

Notao. Denotaremos por x y para indicar que x y ou x y , sem especificar qual

das duas expresses se cumpre.

110

unidade
Observao. A negao de x y x y .

Definio 6.3. (Conjunto ordenado) Um conjunto ordenado aquele no qual h

definida uma ordem.

Exemplo 6.2.

um conjunto ordenado com a seguinte ordem:

p q q p

Provaremos que a relao de ordem. Com efeito, Tricotomia: como q p

(6.2)

0 , ou q p 0 , ou
ento, pela Proposio 4.4, temos que ou q p 0 ou q p

equivalentemente, q p ou q p ou q p . Transitividade: p q implica 0 q p ,

como q r , ento, majorando, 0 q p r p . Assim, 0 r p , ou equivalentemente,

pr.

Para a definio de um conjunto limitado, o aluno, pode consultar LIMA (2008).

Definio 6.4. (Conjunto limitado superiormente) Seja A um conjunto e X A .

Diz-se que X um conjunto limitado superiormente, se existe um s A , tal que x s

para todo x X .

Observao. Cada s A , satisfazendo a Definio 6.2, chama-se de cota superior (ou

majorante) de X .

Definio 6.5. (Conjunto limitado inferiormente)

Seja A um conjunto e X A .

Diz-se que X um conjunto limitado inferiormente, se existe um r A , tal que x r

para todo x X .

Observao. Cada r A , satisfazendo a Definio 6.5, chama-se de cota inferior (ou

minorante) de X .

Definio 6.6. (Conjunto limitado) Seja A um conjunto e X A . Diz-se que X um

conjunto limitado, se limitado superior e inferiormente.

111

Definio 6.7. (Supremo) Seja X A um subconjunto limitado superiormente. Um

elemento s A chama-se supremo de X , se s for a menor das cotas superiores de X .

Nesse caso, podemos usar a seguinte notao:

s sup X

(6.3)

Definio 6.8. (nfimo) Seja X A um subconjunto limitado inferiormente. Um

elemento r A chama-se nfimo de X , se r for a maior das cotas inferiores de X .

Nesse caso, usamos a seguinte notao:

r inf X

(6.4)

Definio 6.9. (Axioma do Supremo) Seja A um conjunto ordenado. Ento, o axioma

do supremo diz:

Todo subconjunto no vazio de A , limitado superiormente, admite supremo.

Observao. O axioma do supremo nos diz que, se X A , X e X limitado

superiormente, ento, existe o sup X em A . Esse axioma tambm chamado de axioma

da completude ou axioma da continuidade.

Atividade 6.1
(1)

Seja X um subconjunto no vazio de um conjunto ordenado. Suponha que r

(2)

uma cota inferior de X , e s uma cota superior de X . Prove que r s .

(3)

superiormente.

Prove que em

o conjunto

limitado inferiormente, e no limitado

Assuma que uma operao sobre A . Complete a Tabela1, para que siga um

caminho comutativo.

112

unidade

Corpos

u
u

z
u

6.3.

Tabela 1. A operao .

Em lgebra abstrata, um corpo uma estrutura algbrica. Em algumas bibliografias, no

lugar da palavra corpo, usa-se a palavra campo.

Definio 6.10. (Corpo) Seja K um conjunto munido de duas operaes chamadas

de adio, , e multiplicao, . Dizemos que K um corpo, se seus elementos

satisfazem os seguintes axiomas:

Axiomas da Adio
(A1)

x y z x y z (Associatividade)

(A2)

x y y x (Comutatividade)

(A3)

Existe 0 K tal que x 0

x (Elemento neutro aditivo)

(A4)

Para todo x K existe x K tal que x ( x) 0 (Elemento oposto)

Axiomas da Multiplicao
(M1)

x y z x y z (Associatividade)

(M2)

x y y x (Comutatividade)

(M3)

Existe 1 K tal que x 1 x (Elemento neutro multiplicativo)

(M4)

1 (Elemento inverso)
Para todo x K , x 0 existe 1 x K tal que x 1 x

113

Axioma da Adio e Multiplicao

(D1)

x y z x y x z (Distributividade)

Subtrao. A operao subtrao, , definida por

:KK K

x, y

(6.5)

x y x y

Observao. A expresso x y , l-se: a diferena entre x e y .

Diviso. A operao diviso,

, definida por

:KK K

x, y

(6.6)

x y x 1 y

Observao. A expresso x y , l-se: o quociente de x por y . Pelo Axioma (M4), temos

que no existe quociente de x por y , quando y 0 .

Notao. Em todo corpo comum usar as seguintes notaes:

O quociente x y tambm pode ser escrito como

x
.
y

A soma x x ser denotada por 2 x , a soma x x x , por 3 x , e assim por diante.

O produto x x ser denotado por x 2 , o produto x x x , por x 3 , e assim por diante.

Exemplo 6.3. O conjunto dos nmeros racionais,

operaes:

p r
p r

,
q s
q s

, forma um corpo com as seguintes

p r
ps rq

p r
,

q s

qs

q s

pr
qs

Observao. A soma e o produto no lado direito da igualdade esto dados em

114

unidade
Proposio 6.1. (Consequncias da adio) Seja K um corpo, e x, y, z K . Ento,
(a)

x y x z y z (Cancelamento)

(b)

x y x y 0

(c)

x y
0 y
x

(d)

x x

Prova. Deixa-se para o leitor.

Proposio 6.2. (Consequncias da multiplicao) Seja K um corpo, e x, y, z K .

Ento,
(a)

Se x 0 e x y x z , ento, y z (Cancelamento)

(b)

Se x 0 e x y
x , ento, y 1

(c)

1, ento, y
Se x 0 e x y

(d)

Se x 0 , ento, x 1 1 x

1
x

Prova. Deixa-se para o leitor.

Proposio 6.3. Seja K um corpo, e x, y, z K . Ento,

(a)

0 x
0

(b)

Se x 0 e y 0 , ento, x y 0

(c)

x y x y x y

(d)

x y

x y

Prova.
(a) 0 x 0 x 0 0 x 0 x . Assim, pelo Axioma A3, 0 x
0.

0 . Agora, x
(b) Suponha que x y

1
1
1 1
1 . Desse
1 , assim, x y

1 e y
y
x
x y

1 1
1 1
1 , ento, 0
1 , de aqui, 0 1 , o qual uma contradio.
modo, x y
x y
x y
Logo, x y 0 .

115

(c) x y x y x x y 0 y 0 . Assim, pela Proposio 6.1c, x y x y .

y x
x y .
Por outro lado, x y
y x

(d) x y x y x y , e pela Proposio 6.1d x y x y .

Definio 6.11. (Corpo ordenado) Um corpo ordenado, K , um conjunto ordenado,

cujos elementos tm as seguintes propriedades:
(i)

y z x y xz

(ii)

x 0 y 0 x y 0

Observao. Se x 0 , ento, se diz que x positivo e, se x 0 , diz-se x negativo.

Exemplo 6.4.

Eq. (6.2).

um corpo ordenado. Verifique, usando a relao de ordem dada em

Proposio 6.4. Seja K um corpo ordenado, e x, y, z K . Ento,

(a)

x0 x0

(b)

x 0 y z x y x z

(c)

x 0 y z x y x z

(d)

x 0 x2 0 . Em particular, 1 0

(e)

0 x y 0

1 1

y x

Prova. De (a) at (d), deixa-se para o leitor.

(e) x 0 implica x

1
1
1

1 . Pela parte (d), x 0 , e pela Definio 6.11(ii),

0.
x
x
x

Analogamente para y 0 , temos,

1
0 . Assim, outra vez, pela Definio 6.11(ii),
y

1 1
1 1
1 1
0 . Pela hiptese, x y , e pela parte (b), x y . Comutando, o lado
x y
x y
x y

1 1
1 1
1 1 1 1
esquerdo, x y , associando, x y . Pela propriedade do
y x x y
y x
x y

116

unidade
elemento inverso,

1
1
1 1 e pela propriedade do elemento neutro multiplicativo,
y
x

1 1
1
1 1
e como 0 . Finalmente, 0 .
y x
y
y x

Definio 6.12. (Valor absoluto ou Mdulo) Seja K um corpo ordenado, e x K ,

definimos o valor absoluto de x por

x se x 0
x
x se x 0

Definio 6.13. (Corpo ordenado completo) Um corpo ordenado

completo, se satisfaz o axioma do supremo.

Exemplo 6.5.

Atividade 6.2
(1)

um corpo ordenado que no completo. Verifique!

Define-se o seguinte conjunto:

p t

: r t , onde p e q 0 so polinmios com coeficientes racionais

q t

t
r t

Prove que
(2)

corpo.

com as operaes usuais de adio e multiplicao formam um

(Desigualdade de Bernoulli) Em todo corpo ordenado K , se n

vale

(3)

chama-se

1 x

1 nx

Prove esta desigualdade.

Se n

e x 1 num corpo ordenado K , prove que

117

e x 1 ,

1 x
(4)

1 nx

Seja K um corpo ordenado, e x, y K , y 0 , prove que x y 1 x

x
x
.
y
y

6.4.

y , ou seja,

Conjunto dos Nmeros Reais

Nesta seo, estudaremos a existncia do conjunto dos nmeros reais, a imerso dos
racionais nos reais, a propriedade arquimediana e a densidade dos nmeros reais.

Teorema 6.1 (Existncia dos Nmeros Reais) Existe um corpo ordenado completo,
, chamado o Conjunto dos Nmeros Reais.

Observao. A construo de

ser feita a partir de

, usando cortes de Dedekind.

Prova. Apresentaremos apenas um esboo da demonstrao, em oito passos. Para uma

prova completa, o aluno, pode consultar RUDIN (1976).
A sequncia dos Passos 1 a 8 mostra que o conjunto

Passo 1 Seja

um corpo ordenado completo.

o conjunto cujos membros so subconjuntos de

Definio 6.14. (Corte) Um corte qualquer conjunto

propriedades:
(i)

(ii)
(iii)

Se p , q

, chamados de cortes.

com as seguintes trs

e q p , ento, q

Se p , ento, p r para algum r

Notao. As letras p, q, r,... , nesta prova, sempre denotaro nmeros racionais, e

, , ,... denotaro cortes.

118

unidade
Observao. A Propriedade (iii) nos indica que no tem um membro maior. A
Propriedade (ii) implica dois fatos que sero usados com liberdade:
(a)

(b)

p q p q

r r s s

Passo 2 Definio de Ordem em

Definio 6.15. Sejam ,

, ento,

, se, e somente se, um subconjunto prprio de

Verifica-se que a relao de ordem em

conjunto ordenado.

Passo 3 O conjunto ordenado

, seguindo a Definio 6.2. Assim,

satisfaz o axioma do supremo.

Para demonstrar isso, considere X um subconjunto no vazio de

uma cota superior de X . Define-se ,

isto ,
Verifica-se que

p , se, e somente se, p para algum X

e sup X .

Passo 4 Definio de Adio em

Definio 6.16. Sejam ,

(6.7)

um

, e assuma que
(6.8)

(6.9)

. Definimos a soma de e por

r s : r e s

O elemento neutro aditivo, denotado por 0 , definido por

119

(6.10)

0
r

: r 0

(6.11)

e obviamente um corte. A operao de adio, dada em Eq. (6.10), satisfaz todos os

axiomas da adio de um corpo.
Passo 5

um corpo ordenado (parte 1).

O item (i) da Definio 6.11, em termos de cortes, seria:

(6.12)

Com efeito, pela Definio 6.15, implica . Sejam r e s , ento,

r s (Definio 6.16). Como s , ento, s . Assim, r s . Logo,

existem trs possibilidades: ou , ou , ou . A

primeira possibilidade uma contradio, pois, pela propriedade de cancelamento em

Proposio 6.1a, temos que . A segunda possibilidade obviamente falsa, pois

. S nos resta a terceira da qual temos, pela Definio 6.15, que .

Passo 6 Definio da Multiplicao em

A multiplicao em

(parte 1).

um pouco mais elaborada que a adio, isso se deve a fato de

que o produto de racionais negativos positivo. Comecemos, primeiro, definindo a

multiplicao em

, isto , em

Definio 6.17. Sejam ,

: 0

. Definimos o produto e por

: p rs para alguns 0 r , 0 s

O elemento neutro multiplicativo, denotado por 1 , definido por

1
q

: q 1

120

(6.13)

(6.14)
(6.15)

unidade
A operao de multiplicao, dada em Eq. (6.14), satisfaz todos os axiomas da
multiplicao de um corpo. Alm disso, o Axioma D1, tambm, verificado.
Passo 7 Definio da Multiplicao em

(parte 2).

Completaremos, agora, a definio de multiplicao para todo

, estabelecendo que

0 0 0

(6.16)

e, com ajuda da definio em Eq. (6.14), temos o produto de e para os outros casos:
, se 0 , 0

, se 0 , 0

, se 0 , 0

Observao. Segundo o Passo 6, temos provado que

(6.17)

satisfaz os axiomas da

multiplicao e o Axioma D1 de um corpo. Agora bem simples prov-los para todo

ao utilizar a propriedade (d) da Proposio 6.1, isto , , onde

Verifica-se, tambm, o Axioma D1 para todo

Passo 8

um corpo ordenado (parte 2).

O item (ii) da Definio 6.11, em termos de cortes, seria:

0 0 0

,
.

(6.18)

Demonstrarei que, se p 0 , ento, p . Com efeito, pela Eq. (6.11), p 0 implica

e p 0 . Pela hiptese, temos que p e p . Assim, 0 p 2 e 0

Por outro lado, p p 2

1
, ento, pela Definio 6.17, p .
p2

Concluso. Pelos Passos 3 e 8 e Definio 6.13, conclumos que

completo.

121

1
.
p2

um corpo ordenado

Teorema 6.2 (

subcorpo de

) O conjunto dos nmeros racionais um subcorpo do

conjunto dos nmeros reais.

Prova.
Para todo r

, defina-se seguinte conjunto:

r
p

: p r

Prova-se que esse conjunto um corte (verifique!!). Logo, r .

(6.19)

Observao. O corte em Eq. (6.19) chamado de corte racional.

Notao. Denotaremos o conjunto de todos r

: r um corte racional

Observao. De Eq. (6.20), temos que

A seguinte funo

f:

sobre

define um isomorfismo de

por

(6.20)

(6.21)

f r r

. De fato, provaremos que

(a) f preserva as operaes de adio, multiplicao e ordem.

(b) f bijetora.

Prova de (a). (i) f r s

f r f s , isto ,
p r s , ento,

r s

r s . Com efeito, seja

p r s . Assim, existe um k 2t , tal que

p k r s , ou

p r s 2t , ou p r t s t . Sejam r r t e s s t . Assim, r r e s s e,

portanto, p r s r s . Inversamente, seja p r s , ento, p u v , onde u r

e v s . Assim, pela Eq. (6.19), u r e v s . Agora majorando, temos que

122

unidade
p u v r s . Logo, p r s . (ii) f r s
f r f s . Deixa-se para o leitor. (iii)

r s f r f s . Deixa-se para o leitor.

Prova de (b). (i) r s f r f s . Com efeito, se r s , ento, r s ou s r . Como

se preserva ordem, temos que f r f s ou f s f r . Assim, f r f s . (ii)

Pela definio da funo, Eq. (6.21), f obviamente sobrejetora.

Com isso, podemos dizer

so isomorfos e denotamos

. Agora, como

, temos que o conjunto dos nmeros racionais um subconjunto dos nmeros

reais, isto ,
E como

um corpo (Exemplo 6.3), finalizamos, dizendo que

(6.22)

um subcorpo de

Observao. Podemos obter, tambm, o conjunto dos nmeros irracionais, como sendo
todos os elementos do conjunto

Notao.

O conjunto de todos os nmeros reais positivos denotado por

O conjunto de todos os nmeros reais negativos denotado por

O conjunto dos nmeros reais, sem o nmero zero, denotado por

Teorema 6.3 (Propriedade Arquimediana) Se x, y

e x 0 , ento, existe n

tal que

nx y

Prova. Deixa-se para o leitor.

Teorema 6.4 (

denso em

) Se x, y

e x y , ento, existe r

xr y

123

, tal que

Prova. Deixa-se ao leitor.

Teorema 6.5 (Existncia raiz n -sima) Para todo x

nico y

e para todo n

existe um

, tal que

yn x
Notao. Esse nmero y tambm pode ser escrito como
Prova. Deixa-se ao leitor.

Observao. O Teorema 6.5 supera a irracionalidade de

x , ou x1/n .

2 , apresentada no conjunto

dos nmeros racionais. De fato, seja x 2 e n 2 , ento, existe um nico y

y 2.

, tal que

Atividade 6.3
(1)

Se A um conjunto no vazio de nmeros reais limitado inferiormente. Se A

o conjunto de todos os nmeros x , onde x A . Prove que
inf A
sup A

(2)
(3)

Se x, y

Seja b 1 .

e n

, ento, xy

1/ n

x1/ n y1/ n .

r
(a) Se m, n, p, q , n 0 , q 0 e

m p

, prove que
n q

Portanto, faz sentido definir br b p .

1/n

(4)

(b) Prove que br s br bs , se r e s so racionais.

Sejam x, y

. Prove que se tem

xy

124

x y
.
2

m 1/ n

b p .
1/ q

unidade

Unidade VII

Funes
Objetivos

Aplicar o conceito de funo em situaes reais.

Calcular domnio e imagem de funes polinomiais, racionais,

logartmicas, exponenciais e trigonomtricas.

Esboar o grfico das funes polinomiais, racionais, logartmicas,

exponenciais e trigonomtricas.

Encontrar a inversa de uma funo.

125

unidade

7.1.

Introduo

Da Teoria de Relaes, estudadas no Captulo 3, podemos dizer, grosso modo, que uma
funo uma relao entre dois conjuntos de variveis, de tal modo que, a cada valor do

primeiro conjunto, associamos exatamente um valor do segundo conjunto.

Vamos compreender que existem diferentes maneiras de expressar uma funo.

7.1.1. Por uma tabela

Aerograma internacional. A Tabela 1 representa uma funo que relaciona as

variveis: preo em R$ e produtos internacionais.

Tabela 1. Aerograma internacional1. Vigncia: 09/03/2007

Produtos Internacionais

Preo em R$.

Aerograma Internacional

Envelope Pr-franqueado Carta Mundial 20g

Envelope Pr-franqueado Carta Mundial 50g

Envelope Pr-franqueado Carta Mundial 100g

Cupom-Resposta Internacional

1,70
2,00
3,70
6,70
5,00

Preos de Artigos. A Tabela 2 tambm representa uma funo.

Tabela 2. Preos de Artigos.

Nmero de Artigos Custo operacional dirio em R$.

0

700

1110

900

1300

O Cupom Resposta Internacional adquirido no exterior, alm de poder ser trocado por selos (no valor
equivalente a um documento prioritrio de 20g para o pas escolhido), tambm pode ser trocado por um
aerograma internacional ou um envelope pr-franqueado Carta Mundial 20g.

127

7.1.2. Por uma lei que rege a relao (Regra)

Exemplo 7.1. Para obter o custo operacional dirio, no item exposto anteriormente,
(Tabela 2) para 0, 1, 2, 3 ou 4 unidades, multiplique o nmero de itens por 200 e
adicione 500 ao resultado.
7.1.3. Por uma equao

Para obter o custo dirio, no Exemplo 7.1, teremos:

y 200 x 500

Note que x representa o nmero de artigos, e y representa o custo operacional dirio.

Observao. Embora uma funo possa ser representada por uma equao, nem toda
equao representa uma funo.
7.1.4. Por um grfico

Os grficos mostrados nas figuras 1, 2 e 3 so exemplos de funes.

Figura 1. Crescimento saudvel. Fonte: Reportagem Natlia Cuminale.

128

unidade

Figura 2. Quantidade alunos e quantidade de cursos, em cada ms, no decorrer do ano de

2010. Escola de Extenso na Unicamp.

Figura 3. Evoluo da anomalia da temperatura mdia da Terra, desde 1850,

Temperatura Global.

7.2.

Funo

Depois de ter dado alguns exemplos que representam funes, passaremos a formalizar

esse conceito.

129

Definio 7.1. (Funo) Sejam X e Y dois conjuntos. Definimos uma funo f como a
correspondncia de um elemento de X , com um nico elemento de Y . O conjunto X

chama-se conjunto de partida de f , e Y , conjunto de chegada de f .

Simbolicamente:

f: X Y
x
y f x

Observao.
(a)

O elemento y Y nico, ou seja, no existem dois elementos em Y para um

mesmo elemento x X . Isto ,

f x1 f x2 x1 x2

(b)

O conjunto de chegada Y , tambm, chamado Contradomnio de f .

(7.1)

Quando se define uma funo, imediatamente aparecem trs conceitos bsicos: domnio,
imagem e grfico.

7.2.1. Domnio e imagem de uma funo

Definio 7.2. (Domnio de uma funo) O domnio de uma funo f , denotado por
D f , definido por

Df

x X :

y Y , y f ( x)

(7.2)

Observao. O que significa, ento, encontrar o domnio de uma funo, quando se

conhece a sua lei de formao?
Fique atento!!!

Significa que teremos que encontrar o maior conjunto, isto , o conjunto cujos elementos

so todos os possveis valores x para os quais existe um nico y em correspondncia.

130

unidade
Definio 7.3. (Imagem de uma funo) A imagem de uma funo f , denotada por

Im f , definida por

Im f

y Y :

x X , y f ( x)

(7.3)

Observao.
Em geral, D f X e Im f Y .

(a)

O conjunto Im f denotado, tambm, por f D f .

(b)

Exerccio 7.1. Dados os conjuntos A

1,0,1,3

e B

1,0,1, 2,3,6,7 . Determinar o

conjunto imagem da funo f : A B , definida por f x

2x 1 .
Soluo.

Avaliando f em cada elemento de A ,

f 1 2 1 1 1
f 0
2 0 1 1
f 1
2 1 1 3
f 3
2 3 1 7

Figura 4. Esquema que representa a f .

Assim, D f A e Im f
1,1,3,7 B , como se mostra na Figura 4.

Exerccio 7.2. Encontre o domnio e imagem da seguinte funo: f x

Soluo. Observe que para x 5 no existe um y

Df

x4
.
x5

y f 5 . Ento,
, tal que

\ 5 . Por outro lado, para qualquer x D f no h problema com y f x .

Assim, Im f

131

Atividade 7.1
(1)

Encontre o domnio das seguintes funes.

1
x5

(a)

(b)

y 4 x 17

(c)
(d)

x9

y x 2 99

7.2.2. Grfico de uma funo

Resposta. (a)

\ 5 . (b)

. (c) 9, . (d)

Devemos ter presente que nem toda representao grfica representa uma funo!!!

Para rapidamente identificarmos se um grfico uma funo, basta imaginarmos retas

verticais, paralelas ao eixo y , passando pelos elementos do domnio. Se todas as retas

que imaginarmos, tocarem o grfico, em apenas um ponto, ser uma funo. Isso porque,

com esse recurso, identificamos que, para cada x (elemento do domnio), associa-se

apenas um y (imagem de x ).

Abaixo, alguns esboos de grficos para uma reflexo sobre o conceito de funo.

(a)

(b)

Figura 5. Esboos do grfico de uma funo. (a) x g y . (b) y f x .

132

unidade
Observe que, na Figura 5a, o esboo no representa o grfico de uma funo y f x ,

pois as retas pontilhadas cortam o esboo em mais de um ponto. Contudo, representaria

o grfico de uma funo x g y . J, na Figura 5b, o esboo representa o grfico de uma

funo y f x . As retas imaginadas (pontilhadas) tocam o grfico uma nica vez.

Definio 7.4. (Grfico de uma funo) Seja f : X Y uma funo. O grfico de f

denota-se G f , definido por

G f ( x, y)

: y f x e x Df

Observao.
(a)

(7.4)

Quais pontos devem ter prioridade?

Parece ser importante identificarmos os pontos em que o grfico intercepta os

(b)

eixos.

Que particularidades teriam os pontos do plano que esto sobre os

eixos?
Reflitam...
i.

(c)

ii.

Os pontos sobre o eixo das abscissas so do tipo x, 0 , isto , y 0 .

Os pontos sobre o eixo das ordenadas so do tipo 0, y , isto , x 0 .

(Zeros ou razes de uma funo) Todo elemento x D f , tal que f x 0

chamado de zero ou raiz de f .

Exerccio 7.3. Obtenha o grfico da seguinte funo:

f x
2 x 1

(7.5)

Soluo. (i) Pontos que interceptam o eixo x . Esses pontos so obtidos da equao

2 x 1
0 . Assim, o nico ponto de interseco P1 1/ 2,0 . (ii) Pontos que

133

interceptam o eixo y . Fazendo x 0 , na funo, obtemos o ponto P2 0,1 . Como a

equao dada a de uma reta, ento, dois pontos so suficientes. Veja Figura 6.

7.3.

2 x 1 .
Figura 6. Grfico de y

Operaes com Funes

Considerem-se duas funes: f e g , tal que D f Dg .

Definio 7.5. (Soma de Funes)

x)
f g (

f ( x) g ( x), x D f Dg

Definio 7.6. (Multiplicao de Funes)

x)
f g (

f ( x) g ( x), x D f Dg

Definio 7.7. (Quociente de Funes)

/ g ( x)

onde D f / g x D f Dg : g ( x) 0 .

134

f ( x)
,
g ( x)

(7.6)
(7.7)

(7.8)

unidade

7.4.

Funo Polinomial e Funo Racional

7.5.1 Funo polinomial

Definio 7.8. (Funo Polinomial) Uma funo polinomial de grau n , f :

definida por

f x a0 a1 x a2 x 2

an x n ,

(7.9)

onde, ai , i 0,..., n e an 0 , n .

Casos particulares de funes polinomiais

Definio 7.9. (Funo Cbica) Uma funo polinomial de grau 3 chamada uma
funo cbica, isto ,

f x a0 a1 x a2 x 2 a3 x3

Note que o coeficiente a3 0 .

(7.10)

Exemplo 7.2. Esboce o grfico da seguinte funo cbica: f x x3 2 x 2 x 1 . O grfico

mostrado na Figura 7.

Figura 7. Grfico de f x x3 2 x 2 x 1 .

Observao. Toda funo cbica tem pelo menos uma raiz e, no mximo, trs razes.

135

A funo cbica mais conhecida a que passa pela origem. Veja o prximo exemplo.

Exemplo 7.3. Esboce o grfico da funo cbica: y x3 . O grfico mostrado na Figura 8.

Definio 7.10.

Figura 8. Grfico da funo cbica.

(Funo Quadrtica) Uma funo polinomial de grau 2 chamada

funo quadrtica, isto ,

f x a0 a1 x a2 x 2

Note que o coeficiente a2 0 .

Observao. O grfico de uma funo quadrtica chamado de parbola.

(7.11)

Exemplo 7.4. Esboce o grfico da seguinte funo quadrtica: f x x 2 x 2 . O grfico

mostrado na Figura 9.

Figura 9. Grfico da funo f x x 2 x 2 .

136

unidade
Definio 7.11. (Funo Afim) Uma funo polinomial de grau 1 chamada funo
afim, isto ,

f x
a0 a1x ,

onde a1 0 .

(7.12)

Observao.
(a)
(b)

A constante a1 chamada de coeficiente angular, e a0 , de coeficiente linear.

O grfico de toda funo afim so retas com coeficiente angular no nulo.

Exemplo 7.5. A funo dada em Eq. (7.5) uma funo afim.

Um caso particular de funo afim a funo linear.

Definio 7.12. (Funo Linear) Uma funo afim, com o coeficiente linear nulo,
chamada de funo linear, isto ,

f x a1 x

(7.13)

Exemplo 7.6. Esboce o grfico da funo linear: f x 2 x . Esse grfico mostrado na

Figura 10.

Figura 10. Grfico de f x 2 x .

Figura 11. Grfico de f x x .

137

Definio 7.13. (Funo Identidade) Uma funo linear, com coeficiente angular igual
unidade, chamada de funo identidade, isto ,

i x x

(7.14)

para todo x Di .

Exemplo 7.7. O grfico da funo identidade, i x x , mostrado na Figura 11.

Definio 7.14. (Funo Constante) Seja a0

uma constante. A funo constante

f x a0

(7.15)

definida por

para todo x D f .

Exemplo 7.8. Esboce o grfico da funo constante y 3 / 2 . Na Figura 12, mostramos seu
grfico.

Definio 7.15. (Funo Nula) Uma funo f :

todo x D f , temos

chamada funo nula, se para

f x 0

O grfico da funo nula mostrado na Figura 13.

Figura 12. Grfico de y 3 / 2 .

Figura 13. Grfico da funo nula.

138

(7.16)

unidade
7.5.2 Funo racional
Definio 7.16. (Funo Racional) Uma funo dita racional, se ela o cociente
entre duas funes polinomiais, isto ,

f x

p x
q x

(7.17)

onde p x e q x so polinmios, e q x 0 .

Observao. O domnio da funo racional f x dado por D f

x : q( x) 0 .
Exemplo 7.9. Esboce o grfico da seguinte funo racional y
mostramos seu grfico. Observe que o D f

Figura 14. Grfico da funo y

\ 1 e a Im f

x 1
.
x 1

x 1
. Na Figura 14,
x 1

\ 1 .

Figura 15. Grfico da funo

y x 1 2 .

139

7.5.

Funo Valor Absoluto e Funo Raiz Quadrada

7.5.1 Funo valor absoluto

Definio 7.17. (Funo Valor Absoluto ou Funo Mdulo) A funo valor absoluto

definida por uma f :

Note que D f

, tal que

x se x 0
f x
x
x se x 0

(7.18)

e Im f
0, .

Exemplo 7.10. Esboce o grfico da seguinte funo y x 1 2 . O grfico mostrado na

Figura 15.

7.5.2 Funo raiz quadrada

Definio 7.18. (Funo Raiz Quadrada) A funo raiz quadrada, f :

definida por

f x x

para todo x 0 .

O grfico dessa funo mostrado na Figura 16.

Figura 16. Funo raiz quadrada.

140

(7.19)

unidade

7.6.

Propriedades das Funes

7.6.1 Funo crescente e decrescente

Definio 7.19. (Funo Crescente) Seja f :
em I D f , se

uma funo. Ento, f crescente

x1 , x2 I , x1 x2 f x1 f x2

(7.20)

Exemplo 7.11. A funo f x

2 x 4 crescente. De fato, sejam x1 , x2 , tal que x1 x2

. Ento, f x1 2 x1 4 2 x2 4 f x2 . Logo, f x1 f x2 . Veja Figura 17.

Definio 7.20. (Funo Decrescente) Seja f :

decrescente em I D f , se

uma funo. Ento, f

x1 , x2 I , x1 x2 f x1 f x2

Exemplo 7.12. A funo f x 1/ x decrescente. De fato, sejam x1 , x2

(7.21)

\ 0 , tal que

x1 x2 . Sabemos que x1 x2 1/ x1 1/ x2 . Logo, f x1 f x2 . Veja Figura 18.

Figura 17. Grfico de f x

2x 4 .

Figura 18. Grfico de f x 1/ x .

141

Exerccio 7.4. Analise o crescimento e o decrescimento da parbola y x 2 .

Soluo. O vrtice da parbola a origem. Assim, podemos dividir o D f em dois

subintervalos, isto , D f

,0 0, . Sejam

x1 , x2 , 0 , tal que x1 x2 .

Ento, x1 x2 x1 x2 x12 x22 . Assim, f x1 f x2 . Analogamente,

2

considere x1 , x2 0, tal que x1 x2 . Ento, x12 x22 . Assim, f x1 f x2 . Portanto,

a parbola crescente para todo x 0 e decrescente para todo x 0 .
Atividade 7.2
(1)

Analise o crescimento e o decrescimento da parbola y x 1 2 .

2

7.6.2 Funo injetora, sobrejetora e bijetora

Definio 7.21. (Funo Injetora ou Injetiva) Seja f : X Y uma funo. Dizemos

que f injetora em W X , se para todo x1 , x2 W ,

f
x1 f x2
x1 x2

(7.22)

Observao. A Eq. (7.22) pode interpretar-se do seguinte modo: f associa elementos

distintos de W a elementos distintos de Y .

Exemplo 7.13. A funo definida no Exerccio 7.1 injetora.

Exemplo 7.14. A parbola y x 2 injetora em 0, , pois, se x1 , x2 0, , x12 x22 ,

ento, x1 x2 . Assim, x1 x2 .

Definio 7.22. (Funo Sobrejetora ou Sobrejetiva) Seja f : X Y uma funo.

Dizemos que f sobrejetora, se

Im f Y

142

(7.23)

unidade
Dessa definio, podemos dizer, equivalentemente, que f sobrejetora, se

y Y , x D f / y f x

Exemplo 7.15. Sejam A

1,0,1, 2 ,

(7.24)

B 1, 2,5 e f : A B definida por f x

x2 1 .

Verifiquemos que f sobrejetora. Com efeito, avaliemos f nos elementos x A :

2
f 1
f 0 1
f 1 2
f 2 5

Na Figura 19, podemos observar cada um

desses valores. Desse modo, temos que

f A B .

Figura 19. Relao entre elementos

de A e B via f .

Definio 7.23. (Funo Bijetora ou Bijetiva) Seja f : X Y uma funo. Dizemos

que f sobrejetora, se, e somente se, f injetora e sobrejetora.

Observao. Atravs do grfico da funo, podemos reconhecer se f ou no bijetora.

Para isso, vamos traar retas paralelas ao eixo x pelos pontos que pertencem ao

contradomnio da funo. Se cada uma dessas retas interceptar o grfico em um nico

ponto, a funo bijetora.

Exemplo 7.16. Na Figura 20a, a funo f bijetora, pois sobrejetora e injetora ao

mesmo tempo.

Exemplo 7.17. Na Figura 20b, a funo no bijetora, pois sobrejetora, mas no

injetora, pois existem valores distintos do domnio com imagens iguais.

143

(a)

(b)

(c)

Figura 20. Grficos de funes. (a) Bijetora. (b) No bijetora. (c) No bijetora.
Exemplo 7.18. Na Figura 20c, a funo no bijetora, pois injetora, mas no

sobrejetora, pois a imagem no coincide com o contradomnio.

7.6.3 Funo par e mpar

Definio 7.24. (Funo Par) Uma funo f :

par, se para todo x D f ,

f x
f x

Exemplo 7.19. A funo f x x 2 par, pois f x

x x2 f x .
2

(7.25)

Exemplo 7.20. A funo f x

x 1 par, pois f x x 1 x 1 f x .

Observao. O grfico de uma funo par simtrico com relao ao eixo das ordenadas,
isto , toda reta paralela ao eixo x corta o grfico simetricamente.

Definio 7.25. (Funo mpar) Uma funo f :

f x f x

144

mpar, se para todo x D f ,

(7.26)

unidade
Exemplo 7.21. A funo f x x3 mpar, pois f x
x3
f x .
x
3

2 x
2 x
f x .
Exemplo 7.22. A funo f x 2 x mpar, pois f x

Observao. O grfico de uma funo mpar simtrico com relao origem de

Observao. Uma funo que no se classifica em nenhum desses casos, isto , uma
funo que no par nem mpar, chamada funo sem paridade.
7.6.4 Funo composta

Antes de definir a composio de duas funes, considere a Figura 21. Nela, pode-se
observar que a composio de funes f g est bem definida, se Im g D f .

Figura 21. Composio de funes.

Definio 7.26. (Funo Composta) Sejam f : X Y e g : Z X duas funes, tais

h f g : Z Y como
que Im g D f . Ento, definimos a funo composta

h x

f g x

f g ( x)

para todo x Dh Z .

(7.27)

Observao.
(a)

A primeira igualdade na Eq. (7.27) devido ao fato de que a composio de

funes outra funo. Assim, podemos denotar f g por h .

145

(b)

A notao f g l-se: f composta com g .

Exerccio 7.5. Sejam f x x 1 e g

x 2 x 2 3 . Determine: (a) f g , (b) g f e (c)

O valor de x pelo qual f g x g f x .

Soluo.

(a) f g . Pela Eq. (7.27),

h1 x

g x
) f 2 x 2 3
f g ( x

(b) g f . Pela Eq. (7.27),

h2 x

(c)

g x g f x ,

2x

3
1 2 x 2 1

f x g f ( x) g x 1 2 x 1 3
2

se,

somente

se,

2 x 2 1 2 x 1 3 ,
2

equivalentemente, 2 x2 2 2 x2 4 x 2 3 . Assim, x 1/ 4 .

ou

Exerccio 7.6. Sendo f x

3x 1 e f g x 6 x 8 . Determine g x .
Soluo. f g x f g ( x) 3g x 1 6 x 8 . Ento, g x
2x 3 .

Exerccio 7.7. Se f x x 2 5x 6 e g x x 1 , resolva a equao f g x 0 .

Soluo. De

x 2 3x 2 0

g x 0 , temos

x 2 x 1

7.6.5 Funo inversa

x 1

5 x 1 6
0 , ou equivalentemente,

0 . Assim, x 2 ou x 1 .

Definio 7.27. (Inversa de uma Funo) A inversa de uma funo f : X Y ,

denotada por f 1 : Y X , tal funo que satisfaz

1
f
f 1 f
f i

Note que i : X X a funo identidade.

146

(7.28)

unidade
x
Exemplo 7.23. A funo f 1

1
b
x a inversa da funo afim, f x
ax b , pois
a
a

b
b
1
1
f 1 x f f 1 x f x a x b x i x
a
a
a
a

f
Por outro lado,

1
b
f 1 f x f 1 f x f 1 ax b ax b x i x
a
a

Teorema 7.1

f : X Y sobrejetora, se, e somente se, existe f 1 : Y X .

Prova.

A ida: Se f sobrejetora, ento, y Y , !x X , tal que y f x . Seja x g y ,

ento, isso define uma funo g : Y X , tal que g f ( x) x , x X . Assim,

f x i x . Desse modo

f x f
g ( y )

g f i . Por outro lado, se

g y , ou equivalentemente,

x g y , ento,

g y i
y

Desse modo, f g i . Portanto, existe f 1 g .

A volta: (Deixa-se ao leitor).

g y .

Exerccio 7.8. Encontre a inversa de f x x 1 4 .

2

Soluo. Ser que f injetora? Analisemos, primeiro, para todo x1 , x2 ,

f x1 f x2 x1 1 4 x2 1 4 x1 1 x2 1 x1 x2 x1 2 x2 (7.29)
2

Assim, f no injetora. Porm, se analisssemos para todo x1 , x2 1, , teramos, de

Eq. (7.29), que x1 x2 . Consequentemente, f injetora. E, tambm, f : 1, 4,

sobrejetora. Assim, f bijetora. Logo, existe f 1 : 4, 1, . Denotemos por g x

a inversa de f x . De Eq. (7.28), temos

g x f g x g ( x) 1 4 x g ( x) 1 x 4 g ( x) 1 x 4
2

147

Como g ( x) 1. Ento, g ( x)

x 4 1 . Veja Figura 22.

Figura 22. f e f 1 .
Atividade 7.3
(1)

7.7.

Considere a mesma funo do Exerccio 7.8. Verifique que f bijetora em

,1 e encontre sua inversa.

Funo Exponencial

Definio 7.28. (Funo Exponencial) Sejam a 0 e a 1 . Definimos a funo

exponencial de base a , como

f:
x

Observao. D f
ponto 0,1 .

e Im f

f x ax

(7.30)

. Toda funo exponencial, Eq. (7.30), passa pelo

148

unidade
7.7.1 Propriedades da funo exponencial
(a)

A funo exponencial bijetora. Segue imediatamente do resultado de que

potncias de igual base so iguais. Assim,

f x1 f x2 a x1 a x2 x1 x2

(b)

E, como por definio, a funo sobrejetora. Portanto, f bijetora.

A funo exponencial decrescente para 0 a 1. Isto ,
x1 x2 a x1 a x2

(c)

A funo exponencial crescente para a 1 . Isto ,

x1 x2 a x1 a x2

(d)

A funo exponencial ilimitada. s olhar a Im f .

Na Figura 23, mostramos a funo exponencial: f x 1/ 2 (decrescente), e f x 2 x

x

(crescente).

Figura 23. Funo exponencial: f x 1/ 2 e f x 2 x .

x

Exerccio 7.9. Construa todos os grficos das seguintes funes exponenciais y a x ,

onde a A
2, 4,6,8,10 .

149

Soluo. Na Figura 24, mostramos todos esses grficos. Observe, primeiro, que todas elas
so crescentes e passam pelo ponto 0,1 , alm disso, cada vez que a base aumenta, a

inclinao da funo exponencial aumenta.

Atividade 7.4
(1)

Figura 24. Grfico da famlia de funes exponenciais.

Construa o grfico da famlia de funes de exponenciais y a x , onde

a A
1/ 2, 1/ 4, 1/ 6, 1/ 8, 1/10, 1/ 20 .
(2)

O que muda no grfico da funo exponencial y 2e x em relao ao grfico da

funo y e x , onde e o nmero de Euler.

7.8.

Funo Logartmica

7.8.1 Logaritmos
Definio 7.29. (Logaritmo) Sejam a, b 0 , b 1. Definimos o logaritmo de a em base
b , denotado por logb a , ao expoente x , tal que b x a , isto ,
x

x logb a b
a

150

(7.31)

unidade
Exemplo 7.24. O log5 1/ 25 2 , pois log5 1/ 25 x 5x 1/ 25 5x 251 52 .
Assim, x 2 .
7.8.2 Logaritmo decimal e natural.
Alguns logaritmos recebem nomes especiais para determinadas bases.

Se a base 10, o logaritmo de a dado por log10 a , o qual denotado por log a . Esse

logaritmo chamado de logaritmo decimal.

Se a base e , o logaritmo de a dado por log e a , o qual denotado por ln a . Esse

logaritmo chamado de logaritmo natural.

7.8.3 Propriedades dos logaritmos
(a)

logb b 1

(b)

logb 1 0

(c)

logb a y y logb a

(d)

blogb a a

(e)

logb A logb B logb A B

(f)

logb a

log r a
(Mudana de base)
log r b

7.8.4 Funo Logaritmo

Da Propriedade 7.6.6a, temos que a funo exponencial f x a x bijetora. Assim,

existe sua inversa. Essa funo inversa chamada de funo logaritmo de base a . Mais

especificamente,

y a x log a y log a a x x log a y . Fazendo

y log a x . Com esse resultado, podemos definir a funo logaritmo.

151

x y , temos

Definio 7.30. (Funo Logaritmo) Seja a 0 , a 1 . Definimos a funo logaritmo

de base a , denotado por log a x , por

f:

f x log a x

x
Observao. D f

1, 0 .

e Im f

(7.32)

. Toda funo logartmica, Eq. (7.32), passa pelo ponto

7.8.5 Propriedades da funo logaritmo

(a)

A funo logaritmo bijetora. Segue imediatamente do resultado de que

potncias de igual base so iguais. Assim,

f x1 f x2 log a x1 log a x2 log a

x1
0 x1 x2
x2

E, como por definio, a funo logaritmo sobrejetora. Portanto, f

(b)

bijetora.

A funo logaritmo decrescente para 0 a 1. Com efeito, seja y1 log a x1 e

y2 log a x2 . Assim, a y1 x1 e a y2 x2 , respectivamente. Por hiptese, x1 x2 .

Ento, a y1 a y2 . Como 0 a 1, temos

(c)
(d)

log a x2 log a x1 .

y2 y1 , ou equivalentemente,

A funo exponencial crescente para a 1 (Procede-se de forma anloga

como no item b).

A funo logaritmo ilimitada. s olhar a Im f .

Na Figura 25, mostramos as funes logartmicas: f x log1/10 x (decrescente) e

f x log x (crescente).

152

unidade
Exerccio 7.10. (a) Determine a inversa da seguinte funo f x
domnio da funo inversa.

2x
. (b) Qual o
1 2x

Soluo.
(a) y

y
2x
y
y 1 2 x 2 x 2 x y 1 = y 2 x
x log 2
.
x
1 2
1 y
1 y

x
x
1
Agora, fazendo y x , y log 2
.
. Assim, f x log 2
1 x
1 x

(b) Para que uma funo logartmica seja bem definida, o argumento deve ser positivo,
isto ,

x
0 . Ou que equivalente, x 0 1 x 0 x 0 1 x 0 , ou
1 x

equivalentemente, 0,1 0,1 . Logo, D f 1 0,1 .

7.9.

Figura 25. Funes logartmicas. y log1/10 x e y log x .

Funes Trigonomtricas

As funes trigonomtricas so: seno, cosseno, tangente, cotangente, secante e

cossecante.

7.9.1 Funo seno

Definio 7.31. (Funo Seno) A funo seno, f :

f x sen x

153

, definida por

(7.33)

Domnio, imagem, pontos de interseo e grfico:

Df

, Im f

1,1
, x

7.9.2 Funo cosseno

n , n . O grfico mostrado na Figura 26.

Definio 7.32. (Funo Cosseno) A funo cosseno, f :

f x cos x

, definida por

Domnio, imagem, pontos de interseo e grfico:

Df

, Im f

1,1 ,

x
n /2, n . O grfico mostrado na Figura 27.

Figura 26. Funo seno.

Figura27. Funo cosseno.

7.9.3 Funo tangente

Definio 7.33. (Funo Tangente) A funo tangente, f :

f x tg x

Domnio, imagem, pontos de interseo e grfico:

Df

\ x

na Figura 28.

(7.34)

, definida por

(7.35)

2n 1
: x
, x n , n . O grfico mostrado
, n , Im f
2

154

unidade
7.9.4 Funo cotangente
Definio 7.34. (Funo Cotangente) A funo cotangente, f :

f x cotg x

, definida por

(7.36)

Domnio, imagem, pontos de interseo e grfico:

Df

\ x : x n , n

Figura 29.

, Im f

n /2, n . O grfico mostrado na

, x

Figura 28. Funo tangente.

Figura 29. Funo cotangente.

7.9.5 Funo secante

Definio 7.35. (Funo Secante) A funo secante, f :

f x sec x

, definida por

Domnio, imagem, pontos de interseo e grfico:

Df

\ x

2n 1
: x
, n , Im f
2

com o eixo x . O grfico mostrado na Figura 30.

155

, 1 1, ,

(7.37)

no existe interseo

7.9.6 Funo cossecante

Definio 7.36. (Funo Cossecante) A funo cossecante, f :

f x cossec x

, definida por

Domnio, imagem, pontos de interseo e grfico:

Df

\ x : x n , n

Im f

, 1 1, ,

eixo x . O grfico mostrado na Figura 31.

Figura 30. Funo secante.

7.9.7 Frmulas para funes trigonomtricas

(7.38)

no existe interseo com o

Figura 31. Funo cossecante.

(a) sen
x y sen x cos y sen y cos x

y
(f) sen x sen

1
cos( x y) cos( x y)
2

(b) sen
x y sen x cos y sen y cos x

y
(g) cos x cos

1
cos( x y) cos( x y)
2

(c) cos
x y cos x cos y sen x sen y

y
(h) sen x cos

1
sen( x y) sen( x y)
2

(d) cos
x y cos x cos y sen x sen y

(i) sen 2 x

1 cos 2 x
2

sen x, cos x
cos x
(e) sen x

(j) cos 2 x

1 cos 2 x
2

156

unidade
7.9.8 Funo peridica
Definio 7.37. (Funo Peridica) Dizemos que uma funo, f :

, peridica,

f x , para todo x D f . Nesse caso, dizemos que

se existe um T 0 , tal que f x T

f tem perodo T .

Exemplo 7.25. Todas as funes trigonomtricas so peridicas e tm perodo 2 .

Exerccio 7.11. Prove que

onde A, B so constantes,
C

A cos x Bsen x C cos x ,

A2 B 2 e tg

B
.
A

Soluo. Sabemos que cos

x cos x cos sen sen x . Ento,

C
cos x

De Eq. (7.39) e Eq. (7.40),

A cos x B
sen x

C cos cos x

C sen sen x

C cos cos x

C sen sen x

Agora, dizer que Eq. (7.39) verdadeira equivalente a dizer que

A C cos
B C sen

(7.39)

(7.40)
(7.41)
(7.42)

De Eq. (7.42), A2 C 2 cos2 e B2 C 2 sen 2 . Somando membro a membro, temos

C
A2
B 2 C 2 cos2 sen 2 . Logo,

Assim, tg

B
.
A

A2 B 2 . Tambm, de Eq. (7.42),

157

B C cos

.
A C sen

Atividade 7.5
(1)

(2)

f x x / x 2 1 , x , bijetora de
Mostre que a funo,

sobre

y : 1 y 1 .

D um exemplo de duas funes f , g de varivel real e valores reais tal que

f g , porm f g g f .

1 x
ab
. Provar a b

.
1 x
1 ab

(3)

Seja x log

(4)

Construa os grficos das seguintes funes:

1
(a)

y sen x . (b)
y cos x . (c) y tg x . (d) y cotg x .
4
3
4

(e)

(5)

y 2 x .

(f)

y log 2

(i) y 4 cos x .

1
.
x

(g)

y log 2 x .

(h)

y 3sen 2 x .
3

Expresse f como a soma de uma funo par e uma funo mpar, onde

f x x 4 2 x3 x 2 5 x 7

(6)
(7)

Mostre que a funo f x x3 injetora.

A reflexo do grfico de y f x o grfico de y f x . Em cada um dos itens,

esboce o grfico de f e o grfico de sua reflexo:

(a)

y x3 . (b)

y x 2 . (c)

y x . (d)

y x3 4 x . (e)

y x2 2x .

x 2 1 se x 0
y 3x 6 . (i) y 3
y x 4 x . (h)
(f) y x x 1 . (g)
.
x 1 se x 0
(8)

y C sen 2 x ou

y 3sen 2 x 4cos 2 x na forma

Expresse

158

unidade

y C cos 2 x .

(9)

Encontre o perodo das seguintes funes:

(a) y 2sen 4t . (b) y

(c) y 3sen 6t .
2cos 6t .

(d) y 3sec 2t .

(10)

Se f x cos x , prove

f x k f x
cos k 1
sen k
cos x
sen x
.
k
k

159

PARA FINAL DE CONVERSA

Depois de um rduo caminhar pelo comeo das longas e desafiantes

estradas da Matemtica, esperamos que o material tenha sido de bom

proveito e lhe sirva de motivao e base para as disciplinas subsequentes

de um curso de Matemtica.

Os Autores

161

REFERNCIAS
BARTLE, ROBERT G.; SHERBERT, DONALD. R. Introduction to Real Analysis, Third

Edition, John Wiley Sons, 2000.

COHEN LEON W. e EHRLICH GERTRUDE. The Structure of the REAL NUMBER

SYSTEM. Van Nostrand Reinhold Company NY, 1963.
CRESCIMENTO SAUDVEL.

http://www.odiario.com/blogs/inforgospel/2010/04/23/saude-crescimento-saudavel/.
em: 02/10/2011.

Acesso

EBBINGHAUS, H.-D. et al. Numbers. Springer-Verlag, NY, 1991.

ESCOLA DE EXTENSO.

http://www.extecamp.unicamp.br/estatisticas2010.asp. Acesso em: 02/10/2011.

HIPPASUS OF METAPONTUM (ano 500 a.C). Em:

http://scienceworld.wolfram.com/biography/Hippasus.html. Acesso em: 26/03/2011.

JUSCHKEWITSCH, A. P. Geschichte der Mathematik im Mittelalter, dt. Leipzig, 1964.

LIMA, E. L. Curso de Anlise, Vol 1. 12a edio, Projeto Euclides, IMPA, RJ, 2008.

LOBEIRO, A. M. Construo dos Reais: Um Enfoque usando Cortes de Dedekind.

Publicao eletrnica do KIT. http://www.dma.uem.br/kit. Acesso em: 20/03/2011

MACHADO, J. N. Lgica? lgico! Coleo Vivendo a Matemtica, Editora Scipione,

1994.

PAPYRUS RIHND, (Hrsg. A. Eisenlohr) Leipzig 1877; A.B. Chace, The Rhind Mathem.
Papyrus, Oberlin I 1927, II 1929.

163

RIBEIRO P. R. Aritmtica dos nmeros reais. Um texto para licenciados e professores de

matemtica.

Publicao

eletrnica

do Departamento

http://www.dm.ufscar.br/profs/ptlini. Acesso 25/03/2001.

de

Matemtica,

UFSCar

RUDIN, W. Principles of Mathematical Analysis. Third Edition. McGraw-Hill, Inc, 1976.

STIFEL, M. Arithmetica integra, Nurnberg, 1544.

STRUWE, W. W. Papyrus des staatl. Museums der schnen Knste in Moskau, Quellen
u. Studien Al, 1930.

TEMPERATURA GLOBAL.

http://www.apolo11.com/mudancas_climaticas.php?titulo=A_temperatura_aumenta_e_brasile
iros_estao_mais_preocupados&posic=dat_20070606-111013.inc. Acesso em: 02/10/2011.
TROPFKE, J. Geschichte der Elementarmathematik, Bd. 1 Arithmetik und Algebra,
vollst. neu bearb. von H. Gericke, K. Reich u. K.Vogel, Berlin, 1980.

164