Professional Documents
Culture Documents
1 - Introducao
1 - Introducao
Uploaded by
InosukiCopyright
Available Formats
Share this document
Did you find this document useful?
Is this content inappropriate?
Report this DocumentCopyright:
Available Formats
1 - Introducao
1 - Introducao
Uploaded by
InosukiCopyright:
Available Formats
1 e todo 0 inteiro k > 1. Suposta (1.13) verdadeira, generali-
zar os resultados do Exercicio 2.
11.5 Anilise critica do método de Arquimedes
Mediante calculos anilogos aos feitos na Secgao I 1.3, Arquimedes concluiu que a area do
segmento parabilico considerado é 63/3. Este facto foi aceite como um teorema matematico,
até que, passados cerca de 2000 anos, se pensou que deviam ser analisados os resultados
dum ponto de vista mais critico. Para compreender as razGes porque houve quem puzesse em
davida a validade da conclusio de Arquimedes, é necessario conhecer algo acerca das impor-
tantes mudangas que tiveram lugar na historia recente da Matematica.
Cada ramo do conhecimento é um conjunto de ideias descritas por intermédio de palavras
€ simbolos, ¢ ndo se podem compreender estas ideias sem um conhecimento exacto do signifi-
cado das palavras € dos simbolos utilizados. Alguns ramos do conhecimento, conhecidos por
sistemas dedutivos, sao diferentes de outros pelo facto de que um certo niimero de conceitos
“nao definidos” sao escolhidos d priori e todos os restantes conceitos no sistema sao defini-
dos a partir daqueles.
Certas afirmagdes acerca destes conceitos no definidos toman-se como axiomas ou pos-
tulados ¢ outras relagdes que podem deduzir-se destes axiomas sio chamadas teoremas. O
exemplo mais familiar de um sistema dedutivo é a Geometria euclidiana estudada por toda a
pessoa culta desde a época da Grécia Antiga.
O espirito da primitiva matematica grega, seguindo 0 método de postulados ¢ teoremas
como na Geometria dos Elementos de Euclides, dominou 0 pensamento matematico até a
época do Renascimento. Uma nova e vigorosa fase no desenvolvimento da Matematica
comegou com a aparigao da Algebra no sec. xvi, € os 300 anos que se seguiram foram teste-
munhas de grande quantidade de importantes descobertas. O raciocinio logico, preciso,do mé-
todo dedutivo, com o uso de axiomas, definigdes e teoremas, esteve manifestamente ausente
durante este periodo. Em vez disso, os pioneiros nos séculos xvi, XVII ¢ Xvi recorriam a uma
mistura de raciocinio dedutivo combinado com intuigao, mera conjectura e misticismo, ¢ nao
surpreendera que se tenha visto mais tarde que alguns dos seus resultados eram incorrectos.
Contudo, um mimero surpreendentemente grande de importantes descobertas ocorreram
neste periodo ¢ uma grande parte deste trabalho sobreviveu a prova da Histéria — um prémio
destreza e engenho daqueles cientistas.
Quando 0 caudal de novas descobertas comegou a diminuir, um novo e mais critic
periodo apareceu. Pouco a pouco os matematicos viram-se forgados a voltar as ideias classi
cas do método dedutivo, numa tentativa de colocar a nova Matematica numa base firme.
Esta fase de desenvolvimento, que comega em principios do século xix ¢ continuou até o
momento presente, alcangou um grau de abstrac¢ao € pureza logica que ultrapassou todas as
tradigdes da ciéncia Grega. Simultaneamente proporcionou uma compreensao mais clara dos
fundamentos, nao sé do Calculo, mas de todos os ramos da Matematica.
Existem varias formas de estruturar 0 Caleulo como sistema dedutivo. Uma maneira possi-
vel é tornar os niimeros reais como conceitos nao definidos. Algumas das regras que regem Introdugao 11
as operages com os nimeros reais podem entéo ser tomadas como axiomas. Um tal con-
junto de axiomas esta indicado na Parte 3 desta Introdugao. Novos conceitos, como integral,
limite, continuidade, derivada devem entao ser definidos em termos de niimeros reais. As pro-
priedades destes conceitos sio, em seguida, deduzidas como teoremas a partir dos axiomas.
Considerando o calculo como uma parte do sistema dedutivo, o resultado de Arquimedes
para a area do segmento parabdlico nao pode ser aceite como um teorema se nao for dada
antecipadamente uma definigao satisfatoria de area. Nao esta provado que Arquimedes
tivesse formulado, alguma vez, uma definigao precisa do que entendia por area. Parece ter
tornado como presuposto que cada regido possui uma area que Ihe esta associada. Com esta
hipétese ocupou-se a calcular areas de regides particulares. Nos seus calculos utilizou certas
propriedades da area que nao podem ser provadas enquanto nao se souber 0 que se entende
por area. Por exemplo, supés que, sendo uma regio interior a outra, a rea da regiio menor
nao pode exceder a area da maior. Do mesmo modo, se uma regiao é dividida em duas ou
mais partes, a soma das areas das partes é igual a area de toda a regiao. Estas propriedades é
desejavel que a area as possua, ¢, insistimos, qualquer defini¢ao de area deve implicar estas
propriedades. E perfeitamente possivel que o proprio Arquimedes considerasse a area como
um conceito nao definido e entao tivesse utilizado as propriedades que mencionamos como
axiomas da area.
Actualmente considera-se a obra de Arquimedes importante nao tanto pelo que nos auxilia
no calculo de areas de figuras particulares, mas sim porque sugere uma via razoavel para
definir 0 conceito de area para figuras mais ou menos arbitrérias. Acontece que o método de
Arquimedes sugere uma maneira de definir um conceito muito mais geral que ¢ o de integral.
integral, por sua vez, é usado para calcular no somente areas, mas também quantidades
tais como comprimentos de arco, volumes, trabalhos ¢ outras.
Antecipando-nos a posteriores desenvolvimentos, ¢ utilizando a terminologia do calculo
integral, o resultado do calculo efectuado na Secgao 1.1.3 para o segmento parabélico é mui-
tas vezes expresso como segue:
“O integral de x? de O a b é b*/3”
€ escreve-se, simbolicamente,
O simbolo f (um S alongado) é chamado sinal de integral e foi introduzido por Leibniz em
1675. © processo que determina o nimero b°/3 diz-se integragdo. Os nimeros O e b que
afetam o sinal de integral designam-se por limites de integragdo. O simbolo -/x*dx deve ser
considerado como um todo. A sua definigao devera apresentar-se tal como 0 dicionario des-
creve a palavra “conferir” sem fazer referencia a “con” e “ferir”.
simbolo de Leibniz para o integral foi prontamente aceite por muito
entendiam como uma espécie de “processo de somagao” que Ihes permi
itematicos, que o
ja somar infinitas 12 Célculo
“quantidades infinitamente pequenas”. Por exemplo, no caso do segmento parabilico
coneebia-se a rea como uma soma de uma infinidade de retngulos infinitamente pequenos,
de altura x? e base dx. O sinal de integral representava o processo de adigao das areas de
todos esses retingulos. Este tipo de raciocinio é sugestivo e frequentemente itil, mas no é
facil atribuir um significado preciso de conceitos de “quantidade infinitamente pequena”.
Hoje em dia o integral é definido em termos da nogao de nimero real, sem recorrer a concei-
tos como “infinitesimais”. Esta definigdo sera dada no Capitulo I.
11.6 A introdugio ao calculo utilizada neste livro
Uma exposigao rigorosa e completa, quer do Calculo integral, quer do Calculo diferencial,
depende em iltima analise de um estudo cuidadoso do sistema dos nimeros reais. Este
estudo, quando levado a cabo na sua totalidade, é um tema interessante, mas algo extenso de
modo a exigir um pequeno volume para a sua exposi¢ao completa. O método utilizado neste
livro consiste em introduzir os niimeros reais como conceitos ndo definidos (elementos primi-
tivos) € tomar simplesmente algumas das suas propriedades fundamentais como axiomas.
Estes axiomas, e alguns dos teoremas mais simples que podem deduzir-se a partir deles, so
discutidos na Parte 3 deste Capitulo. Muitas das propriedades dos nimeros reais aqui toma-
das como axiomas sao, concerteza, familiares ao leitor pelo seu estudo da Algebra elementar.
Porém existem algumas propriedades dos niimeros reais que habitualmente nao sao conside-
radas na algebra elementar, mas que desempenham um papel importante no Calculo. Estas
propriedades sio consequéncia do chamado axioma do extremo superior (conhecido igual-
mente por axioma da continuidade) que se estudara aqui com algum pormenor. O leitor
poder, se o deseja, estudar a Parte 3 na sequéncia do texto, ou entio deixar esta matéria
para mais tarde, quando entrar no estudo daquelas partes da teoria que utilizam propriedades
do axioma do extremo superior. As matérias dependentes do axioma do extremo superior
estardo claramente assinaladas.
Para desenvolver 0 Calculo como uma teoria matematica completa seria necessario expor,
em complemento dos axiomas do sistema de niimeros reais, os varios “métodos de demons-
tragdo” que permitirdo deduzir os teoremas a partir dos axiomas. Cada afirmagao, na teoria,
teria que ser justificada quer como “uma lei estabelecida” (isto é, um axioma, uma definicao,
ou um teorema previamente demonstrado), ou como o resultado da aplicagao de um dos me-
todos de demonstragio considerados a uma lei estabelecida. Um programa desta natureza
resultaria extremamente longo e enfadonho e néo compensaria na ajuda a compreensio do
assunto por um principiante. Felizmente nao é necessario proceder desta maneira para chegar
a uma boa compreensao € utilizago do Calculo. Neste livro 0 assunto ¢ introduzido duma
maneira informal, fazendo-se um amplo uso da intuigao geométrica sempre que isso é consi-
derado conveniente. Simultaneamente procura-se que a exposigao das matérias goze da preci-
so e clareza de pensamento proprias da ciéncia moderna. Todos os teoremas importantes
esto explicitamente expostos e rigorosamente demonstrados.
Para evitar interromper a sucessio de ideias, algumas das demonstragdes aparecem em
segdes separadas assinaladas com um asterisco. Pela mesma razio, alguns capitulos sio Introdugéo 13
acompanhados de secgdes suplementares, nos quais se tratam, com pormenor, alguns temas
importantes relacionados com 0 Calculo. Alguns deles estéo também assinalados com um
asterisco para indicar que podem ser omitidos, ou deixados para mais tarde, sem que assim se
interrompa a continuidade da exposigao. A medida em que se devem tomar em consideragao
as secgdes com asterisco depende, em parte, da preparagao do leitor e em parte do seu inte-
resse. O leitor interessado fundamentalmente nas ideias basicas ¢ na pratica pode suprimir as
secgdes com asterisco. Aquele que deseje um curso completo de Calculo, tanto teérico come
pratico, devera ler algumas dessas segdes.
Parte 2—Conceitos Fundamentais da Teoria dos Conjuntos
12.1 Introdugo a teoria dos conjuntos
No estudo de qualquer ramo da Matematica, seja Analise, Algebra ou Geometria, € itil 0
uso da notagao ¢ terminologia da teoria dos conjuntos. Esta teoria, desenvolvida por Boole ¢
Cantor (+) no final do século xix, teve uma profunda influéncia no desenvolvimento da
Matematica no século xx. Unificou muitas ideias aparentemente desconexas ¢ contribuiu
para reduzir grande mimero de conceitos matematicos aos seus fundamentos logicos, dum
modo elegante e sistematico. Um estudo completo da teoria dos conjuntos exigiria uma
ampla discussio que consideramos fora do alcance deste livro. Felizmente as nogGes basicas
sho em nimero reduzido e é possivel desenvolver um conhecimento pratico dos métodos e
ideias da teoria dos conjuntos, através duma discussio informal. Na realidade nao vamos dis-
cutir tanto a moderna teoria, como indicar de modo preciso a terminologia que desejamos
aplicar a ideias mais ou menos familiares.
Na Matematica a palavra “conjunto” é usada para representar uma colegao de objectos
considerados como uma identidade tinica. As colegdes designadas por nomes como
“rebanho", “tribu”, “multidio”, “equipe” ¢ “eleitorado” sio todas exemplos de con-
juntos. Os objetos que constituem a colegdo chaman-se elementos ou membros do
Conjunto, ¢ dizem-se que pertencem ou estdo contidos no conjunto. O conjunto, por sua
vez, diz-se conter ou ser composto dos seus elementos.
Ocupar-nos-emos, principalmente de conjuntos de entes matematicos: conjuntos de nime
os, conjuntos de curvas, conjuntos de figuras geométricas, etc. Em muitas aplicagdes con-
vém considerar conjuntos em que nenhuma hipétese se faz acerca da natureza dos seus ele-
mentos. Tais conjuntos dizem-se abstratos. A teoria dos conjuntos abstratos foi desenvol-
vida para tratar com tais colegdes de objectos arbitrarios e precisamente a essa gencralidade
se fica a dever o grande alcance da teoria.
(4+) George Boole (1815-1864) foi um logico-matemitico inglés. O seu livro “Investigagio das lis do pensamento”, publicado
‘em 1884, assinala a criagio do primeiro sistema praticive! de légica simbélica.
George F. L. P, Cantor (1848-1918) ¢ a sua escola criaram a moderna Teoria dos Conjuntos no periodo 1874-1895.
APOSTOL—2 14 Célculo
12.2 Notagdes para representar conjuntos
X,Y, Zee 0s
Os conjuntos designam-se, geralmente, pelas letras maiisculas: 4, B, C,
elementos pelas letras minisculas: a, b, ¢, .. x, Ys Z Utilizamos a notagio.
xeS
para indicar que “x é um elemento de S” ou “x pertence a S”. Se x no pertence a S escreve-
mos x ¢ S. Quando conveniente, designaremos os conjuntos especificando os seus elementos
entre os simbolos | |; por exemplo, 0 conjunto dos inteiros positivos pares, inferiores a 10,
representa-se por |2, 4, 6, 8], enquanto o conjunto de fodos os inteiros positivos pares se
representa por |2, 4, 6, 8, ...|, sendo os trés pontos a representagao matematica de “e assim
sucessivamente”. Os trés pontos usar-se-o apenas quando 0 significado de “e assim sucessi-
vamente” for claro. Este método de representagdo dos conjuntos ¢ muitas vezes de-
signado por representagiio em extensao.
© primeiro conceito fundamental que relaciona um conjunto com outro é a igualdade de
conjuntos:
DEFINICAO DE IGUALDADE DE CONIJUNTOS: Dois conjuntos A e B dizem-se iguais (ou idén-
ticos) se constam exactamente dos mesmos elementos e, nesse caso, escrevemos A = B. Se um
dos conjuntos contém algum elemento que ndo pertence ao outro, dizemos que os dois conjun-
tos sdo distintos e escrevemos A # B.
ExempLo 1. De acordo com esta definigao, os dois conjuntos |2, 4, 6, 8| ¢ |2, 8, 6, 4] sao
iguais, uma vez que ambos sio constituidos pelos quatro elementos 2, 4, 6 € 8. Entdo, usada a
representacdo em extensdo para designar um conjunto, a ordem pela qual sio referidos os
seus elementos ¢ irrelevante.
EXEMPLo 2. Os conjuntos {2, 4, 6, 8] ¢ {2, 2, 4, 4, 6, 8] so iguais, apesar de no segundo os
elementos 2 € 4 aparecerem repetidos. Ambos contém os quatro elementos 2, 4, 6, 8 ¢ apenas
esses, pelo que a definigao impde que se considerem iguais esses conjuntos.
Este exemplo poe em evidéncia que nao € necessario exigir que os elementos dum conjunto,
na representagao em extensdo, sejam todos distintos. Um exemplo anélogo é 0 conjunto das
letras da palavra Mississipi que é igual ao conjunto | M, i, s, p| formado pelas quatro letras
distintas M, i, s, p.
12,3 Subconjuntos
Dado um conjunto $ podemos formar novos conjuntos, chamados subconjuntos de S.
Por exemplo, 0 conjunto dos inteiros positives menores que 10 e divisiveis por 4 (o conjunto
(4, 8}) & um subconjunto do conjunto de todos os inteiros positives pares inferiores a 10. Em
geral da-se a seguinte definicio. Introdugao 15
DEFINICAO DE SUBCONJUNTO. Um conjunto A diz-se um subconjunto dum conjunto B, €
escreve-se
ASB,
quando todo o elemento de A pertence a B. Diz-se rambém que A esté contido em B ou que B
contém A. O simbolo & utiliza-se para representar a relagdo de inclusdo de conjuntos.
A afirmao A < B nao exclui a possibilidade de B < A. Com efeito, podemos ter ambas
as relagdes A C Be BC A, mas isto acontece unicamente se A e B tém os mesmos elemen-
tos. Por outras palavras,
A=B see somentese ACBeEBCA,
Este teorema é uma consequéncia imediata das definigGes anteriores de igualdade ¢ inclusao.
Se A © B, mas A # B, entdo dizemos que A é um subconjunto proprio de B; expressamos
isto escrevendo A < B.
Em todas as nossas aplicagdes da teoria dos conjuntos, temos um conjunto S$ fixado “a
priori” € s6 nos interessam subconjuntos daquele. O conjunto fundamental S pode variar de
uma aplicagao para outra; sera considerado o conjunto universal de cada teoria particular. A
notagao
{xlxeS e xsatisfazaP}
designara o conjunto de todos os elementos x de S que satisfazem a propriedade P. Quando
conjunto universal, a que nos estamos a referir, se subentende, omitimos a referéncia a S e
escrevemos simplesmente {x|x satisfaz a P}, que se 1é “o conjunto de todos os x tais que x
satisfaz a P”. Os conjuntos designados deste modo so caracterizados por uma propriedade
definidora. Por exemplo, 0 conjunto de todos os nimeros reais e positivos pode representar-
-se por (x|x >0};0 conjunto universal $ neste caso subentende-se que € 0 conjunto
dos numeros reais. Do mesmo modo, 0 conjunto de todos os nuimeros pares positivos
(2, 4, 6, ...) pode representar-se (x|x inteiro par positivo}. Evidentemente, a letra x pode
ser substituida por outro simbolo adequado. Assim, podemos escrever
{x|x>0} = ty] y > 0} = {r] 1 > 0}
ete.
Pode acontecer que um conjunto nao contenha qualquer elemento. Designa-se, entiio, por
conjunto vazio e representa-se pelo simbolo . Considera-se © subconjunto de qualquer con-
junto. Se imaginarmos, por facilidade, um conjunto analogo a um recipiente (tal como uma
bolsa ou uma caixa) que contém certos objectos, os seus elementos, entio 0 conjunto vazio
ser anilogo a um recipiente vazio. 16 Calculo
Para evitar dificultades logicas, devemos fazer distin¢do entre o elemento x e 0 conjunto
{x} cujo dnico elemento é x. (Uma caixa com um chapéu dentro é conceitualmente distinta do
proprio chapéu). Em particular 0 conjunto vazio @ nao é o mesmo que 0 conjunto {2}. Com
efeito, o conjunto vazio @ nao contém elementos, enquanto que o conjunto |@) contém um
elemento, @. (Uma caixa que contém uma caixa vazia nao esta vazia). Os conjuntos forma-
dos de um s6 elemento dizem-se conjuntos de um elemento ou singulares.
Muitas vezes recorre-se ao auxilio de diagramas para tornar intuitivas relagdes entre conjun
tos. Por exemplo, podemos considerar 0 conjunto S uma regiao do plano ¢ cada um dos seus
elementos um ponto. Os subconjuntos de S$ podem entio ser imaginados como colegdes de
pontos interiores a S. Por exemplo, na fig. 1.6(b) a parte sombreada ¢ um subconjunto de A ¢
também um subconjunto de B. As ajudas graficas deste tipo, chamadas diagramas de Venn,
sio titeis para comprovar a validade dé teoremas na teoria dos conjuntos ou para sugerir mé-
todos de demonstragao dos mesmos. Naturalmente tais demonstragGes basciam-sc nas defi-
nigdes e conceitos e a sua validade dependera de um raciocinio correcto e nao dos diagramas.
124 Reunides, intersegdes, complementos
A partir de dois conjuntos dados A e B, podemos formar um novo conjunto chamado reu-
niGo de A e B. Este novo conjunto representa-se pelo simbolo
AUB (ler: “A reunido com B”),
OOO
(@) AUB (b) ANB @ANB=0
Fig. 1.6 Reunides e intersegdes
€ define-se como 0 conjunto dos elementos que pertencem a A ou a B ou a ambos. Quer isto
dizer que A U B € 0 conjunto de todos os elementos que pertencem, pelo menos, a um dos
conjuntos 4, B. Na fig. 1.6(a) a parte sombreada representa A U “B.
Analogamente a intersecedo de A eB, representada por
AQB (ler: “A intersecgdo com B”),
€ definida como 0 conjunto dos elementos comuns a A ea B. Na fig. 1.6(b) a parte sombreada Introdugéo 7
representa a intersecgdio de A e B. Na fig. 1.6(c) os conjuntos A e B nao tém qualquer ele-
mento comum; neste caso a interseccao é 0 conjunto vazio @. Dois conjuntos A ¢ B dizem-se
disjuntos se A B = 2.
Dados os conjuntos A ¢ B, a diferenga A-B (também chamada complementar de B em
relagdo a A) & definida pelo conjunto de todos os elementos de A que nao pertencem a B.
Ento, por definigao
A—B={x|xeAd c x¢B}.
Na fig. 1.6(b) a parte no sombreada de A representa A — B; a parte naio sombreada de B
representa B — A
As operagées de reunifo ¢ interseegdo possuem varias analogias formais com a adigio
multiplicagiio de nimeros reais. Por exemplo, uma vez que a ordem pela qual se consideram
‘0s conjuntos nao intervém nas definigdes de reuniao e interseccao, resulta que AUB = BUA
eque A B=BOA, 0 que sig serem a reuniao ¢ intersecgao operagdes comutati-
vas. As definigdes sitio dadas de tal modo que as operagdes so associativas:
(AUB)UCH=AU(BUC) © (ANB)NC=AN(BNC).
Estes © outros teoremas relativos a “algebra dos conjuntos” so apresentados como exerci-
cios na Se¢ao I 2.5. Uma das melhores maneiras para o leitor se familiarizar com a termino-
logia e notagdes aqui introduzidas é estabelecer as demonstragdes de cada uma destas pro-
priedades. Uma amostra do tipo de argumentago que é necessaria aparece imediatamente
apés os Exercicios.
As operagdes de reuniio € intersec¢io podem estender-se a colegdes finitas ou infi-
nitas de conjuntos do modo seguinte: Seja ¥ uma classe (+) nao vazia de conjuntos. A
reunidio de todos os conjuntos de ¥ define-se como o conjunto de todos aqueles ele-
mentos que pértencem pelo menos a um dos conjuntos de Fe representa-se pelo
simbolo
Ua.
Ae
Se F é uma colecgao finita de conjuntos, por exemplo F = {Ay Az.» Aq} escrevernos
UA=U4,=4, UA, U's UA,.
ae
De modo anélogo, a intersecgao de todos os conjuntos de # define-se com 0 conjunto de
(+) Para comodidade de linguagem chamamos classe a uma colecgio de conjuntos. Para representar as classes utilizamos letras
maiisculas em cursivo, A terminologia e notagio usuais da toria dos conjuntos aplicam-se, naturalmente, as classes. Por exem:
plo 4€ F significa que A & um dos conjuntos da classe F ¢ sf < @ significa que cada conjunto de sf pertenece a, ¢ assim
sucessivamente. 18 Calculo
todos aqueles elementos que pertencem a todos os conjuntos de F e representa-se por
Na.
er
Para colecgées finitas (como acima) escrevemos
MA=NA=4,04,9°'°04,.
er
As operagdes reuniao ¢ intersec¢ao definiram-se de modo tal que a propriedade associativa
é verificada automaticamente. Daqui resulta que nao havera ambiguidade quando escreve-
mos A, U Ay U** UA, ou A, AN OA,e
12.5 Exercicios
1. Utilizar a representagiio em extensfo para designar os seguintes conjuntos de nimeros
reais
A={x[at—1 =o}. D={x|8—-28 +x =2).
Ba{x[@-D'=0}. B= {x/(@e +8? = 94}.
C= {x[x +8 =9}. F = {x| (x? + 16x)? = 17}.
2. Para os conjuntos do Exercicio 1, observe-se que B © A. Indicar todas as relagdes de
incluséo < que sao validas entre os conjuntos A, B, C, D, E, F.
3. Seja A = [1], B = [1, 2]. Discutir a validade das seguintes afirmagdes (provar que al
gumas so verdadeiras e explicar porque sio as outras falsas).
@AcB @lea.
ASB = @1cdA
(© AEB. Mick
}. Resolver o Exercicio 3 se A = |1| e B = | {I}, 1).
we
Dado 0 conjunto S = {1, 2, 3, 4], expressar todos os subconjuntos de S. Existem 16 no
total, incluindo 2 e S.
6. Dados os quatro conjuntos seguintes
A={1,2}, B= {(}, 2}, C= {(1}, 1,23}, D = {{}, 2) (1,2),
discutir a validade das afirmagées seguintes (provar que algumas sio verdadeiras e
explicar porqué as outras ndo o sao)
@A=B. @AEC (BED. Introdugéo 19
(WW)ACB. @) AcD. (h) Be D.
OAcC BEC (i) AED.
7, Demonstrar as propriedades seguintes da igualdade de conjuntos:
(a) {a, a} = {a}.
(b) {a,b} = {b, a}.
© {a} = {b,c} se esomente se a = b=.
Demonstrar 0 conjunto de relagdes dos Exercicios 8 ao 19 (Exemplos dessas demons-
tragdes so dados no final desta Seogio).
8. Propriedade comutativa AU B= BUA,AQB=BOA.
9. Propriedade associativa A UW (BU C)=(A VU BV) UO C,AN (BO O=(AN BNC.
10. Propriedade distributiva A. (B.C) = (A B) (ANC, AUBAO=
= AU BN(AUC).
N.AUA=A, ADA =A,
12. AG AUB, ANBCA.
13,AUQG =A, AND @
14, A U(A NB) =A, AN(AUB) =A,
15. SeA © Ce BS CyentiodA UBC.
16. SeC CACCE B,entioC CAB.
17. (a) Sed c Be Bc G, prove qued c C.
(b) Se A © Be BC C, prove qued ¢ C.
(©) O que pode concluir-se se A < Be BCC?
(d) Se xe AeA © B, verificar-se-anecessariamentex € B?
(©) Se xe Ac € B,verificar-se-4 necessariamente quex € B?
18. A- (BOO) =(A-B)L(A~O).
19. Seja F uma classe de conjuntos. Entio
B-UA=((B-A =UB-A).
Area e Qn ye
20. (a) Provar que uma das duas formulas seguintes é sempre correcta € que a outra alguma
vez é falsa
@ A-(B-C)=(A- BUC,
(i) A-(BUC) =(4-B)-C.
(b) Estabelecer uma condigaéo necessaria e suficiente adicional para que a formula
que algumas vezes & incorreta passe a ser sempre vilida.
Demonstragéio da propriedade comutativa A B= BU A.
Sejam X = A U Be Y=B U A. Para provar que X = ¥ demonstra-se que X © Ye
Y © X. Suponhamos que x € X. Entio x pertence pelo menos a A ou a B. Logo x pertence
pelo menos a B ou a A; logo x € Y. Deste modo todo o elemento de X pertence igualmente a
Y o que implica X © Y. Analogamente encontramos que ¥ < X, logo X = Y. 20 Célculo
Demonstragio de A 0 BEA. Se x EA OB, entio x pertence aA ea B. En particular,
x EA. Portanto todo o elemento de A © B pertence a A e por conseguinte A 0 BS A.
Parte 3—Um Conjunto de Axiomas para o Sistema dos Niumeros Reais
13.1 Introdugio
Ha varias maneiras de introduzir o sistema dos mimeros reais. Um método corrente con-
siste em comegar com os inteiros € positivos 1, 2, 3, .. € utilizé-los como base para construir
um sistema mais amplo, possuindo as propriedades desejadas. Em resumo, a idéia deste mé-
todo consiste em tomar os inteiros e positivos como conceitos nao definidos, estabelecer rela-
tivamente a estes alguns axiomas ¢, em seguida, utilizé-los para construir o sistema mais
amplo dos ndimeros racionais (cociente de inteiros positivos). Os niimeros racionais posit
vos utilizam-se, por sua vez, como uma base para construir os nuimeros irracionais positivos
(nimeros reais como V2 e x que nao sao racionais). A fase final consiste na introdugio dos
nimeros reais negativos e do zero. A parte mais dificil de todo este processo é a transigao
dos nimeros racionais para os mimeros irracionais.
Embora a necessidade de introdugao dos nimeros irracionais fosse ja clara para os mate-
maticos da Grécia antiga nos seus estudos de Geometria, métodos satisfatorios de construgao
dos numeros irracionais, a partir dos nimeros racionais, so foram introduzidos muito mais
tarde, no século xtx. Nesta época foram delineadas trés teorias respectivamente por Karl
Weierstrass (1815-1897), Georg Cantor (1845-1918) e Richard Dedekind (1831-1916). Em
1889 0 matematico italiano Giuseppe Peano (1858-1932) apresentou cinco axiomas para os
inteiros e positivos que podem ser utilizados como ponto de partida para a construcao total.
Uma exposigao detalhada desta construgao, comecando com os axiomas de Peano e utili-
zando 0 método de Dedekind para introduzir os nimeros irracionais, encontra-se no livro de
E. Landau, Foundations of Analysis (New York, Chelsea Pub. Co., 1951).
ponto de vista adotado aqui é nao construtivo. Iniciamos 0 proceso num ponto bas-
tante avangado, considerando os nimeros reais como conceitos primitivos verificando um
certo nimero de propriedades que se tomam como axiomas, isto é, supomos a existncia dum
conjunto R de elementos, chamados niimeros reais, que verificam os dez axiomas que apre-
sentamos nas segdes que se seguem. Todas as propriedades dos niimeros reais se podem
deduzir desses axiomas. Quando os ntimeros reais se definem por um processo construtivo,
as propriedades que aqui se apresentam como axiomas sao consideradas como teoremas a
demonstrar.
‘A menos que se afirme 0 contrario, nos axiomas que apresentamos a seguir as letras a, b, ¢,
any X,Y, Z Fepresentam niimeros reais arbitrarios. Os axiomas dividem-se, duma maneira natu-
ral, em trés grupos que designamos por axiomas de corpo, axiomas de ordem ¢ axioma do
extremo superior (também chamado axioma de continuidade ou axioma de completude). Introdugéo 21
13.2 Axiomas de corpo
Juntamente com o conjunto R. dos nimeros reais, admitimos a existéncia de duas ope-
rages chamadas adi¢do e multiplicagdo, tais que para cada par de ntimeros reais xe y pode-
mos formar a soma de x e y, que & outro nimero real representado por x + y, € 0 produto de
x ey representado por xy ou x . y. Supde-se que x + y € 0 produto xy sao univocamente
determinados por x e y. Por outras palavras, dados x e y, existe um e um sé numero real x +
y eum eum sd niimero real xy. Nao atribuimos significado especial aos simbolos +e além
do contido nos axiomas.
Axioma 1. PROPRIEDADE COMUTATIVA x + y = y + x, xy = yx
AxioMA 2. PROPRIEDADE ASSOCIATIVA x + (y + 2) = (x+y) +2, x02) = (xyz
AXIOMA 3. PROPRIEDADE DISTRIBUTIVA x(y) + z) = xy + xz
AXIOMA 4, EXISTENCIA DE ELEMENTOS NEUTROS. Existem dois mimeros reais distintos,
que se indicam por 0 ¢ 1, tais que para cada mimero real x se tem x +0 =xe 1+ x=x.
AXIOMA 5. EXISTENCIA DE NEGATIVOS. Para cada mimero real x existe um mimero real y
tal que x + y = 0.
AxioMa 6. EXISTENCIA DE RECIPROCOS. Para cada mimero real x0, existe um mimero
real y tal que xy = 1.
Nota: os ntimeros 0 € | dos Axiomas 5 ¢ 6 siio os do Axioma 4.
Dos axiomas anteriores podemos deduzir todas as regras usuais da algebra elementar. As
mais importantes sio apresentadas a seguir como teoremas. Nestes teoremas os simbolos a,
b,c, d representam nimeros reais arbitrarios.
TEOREMA I.1 REGRA DE SIMPLIFICAGAO PARA A ADICAO. Sea + b = a + ¢, entdob
(Em particular isto prova que 0 nimero 0 do axioma 4 é unico.)
TEOREMA I.2 POSSIBILIDADE DA SUBTRACCAO. Dados a ¢ b existe um ¢ um so x tal que
a+x=h. Este mimero x representa-se por b-a. Em prrticular, 0-a escreve-se simples-
mente —a e chama-se o simétrico de a.
TEOREMA 3. 6 — a = b + (-a).
TeorEMA 1.4 —(—a) = a. 22 Calculo
Teorema LS a(b — ¢) = ab — ac.
TeoreMAL6 O-a=a-O=0.
TrOREMA I.7 REGRA DE SIMPLIFICACAO PARA A MULTIPLICACAO. Se ab = ac ea # 0,
entéo b = c. (Em particular, isto mostra que o mimero I do Axioma 4 é tinico).
TeOREMA 18. POSSIBILIDADE DA DIVISAO. Dados a e b com a + 0, existe um e um sé
b ,
x tal que ax = b. Este x representa-se por bla ou --~ e chamase o coeciente de b por a. Em
particular /a, que também se escreve a”', chama-se o reciproco de a.
TEOREMAL9. Se a # 0, entdo b/a = b- a
TeoreMaA 1.10. Se a # 0, entdo (a™
TeOREMA L11. Se ab = 0, entdo ou a = 0 ou b = 0.
TeOREMA 1.12. (—a) b = — (ab) e (~a) (—b) = ab.
TeorEMA 1.13. (a/b) + (c/d) = (ad + be)/(bd) seb # Oe d + 0.
TeoreMa 1.14, (a/b) (c/d) = (ac)/(bd) se b # Oe d + 0.
Teorema 1.15. (a/b)/(c/d) = (ad)/(bc) seb # 0,0 # Oe d #0.
Para ilustrar como estes teoremas podem ser obtidos como consequéncia dos axiomas
apresentaremos as demonstragGes dos Teoremas I.1 até I.4. Sera instrutivo para o leitor ten-
tar demonstrar os restantes.
Demonstragdo de I.1. Dado a + = a + c. Pelo axioma 5 existe um niimero y tal que
+ a= 0, Porque a soma ¢ univocamente determinada, temos y + (a + 6) = y + (a+). Uti
lizando a propriedade associativa obtemos (y + a) + b= (y + a) + c,ou0 + b= 0 +c, Mas
pelo axioma 4 temos que 0 + b= be 0 + c=c, ou seja b = c. Repare-se que este teorema
mostra que existe um s6 niimero real tendo a propriedade do 0 no axioma 4. Com efeito se 0
0 possuissem ambos essa propriedade, entao 0 + 0’ = Oe 0 + 0= Oe portanto0 + 0 =0
+ 0 e, pela regra de simplificagao, 0 = 0’.
Demonstragdo de 1.2. Dados a eb, escolhemos y de modo que a + y= Oe sejax=y+b.
Entio a+ x=a + (y + b)=(a + y) + b=0 + b=b. Por conseguinte existe pelo menos um
x, tal que a+x = b. Mass em virtude do teorema I.1 existe quando muito um tal x. Portanto
existe um e um sé nessas condigdes. Introdugéo 23
Demonstragdo de 1.3. Sejam x = b-a © y= 6+(~a). Desejamos provar que
Por definigio de b — a, x+a=be
y+a=[b+(—a) +a=b+ [(-a) +a] =b +055.
Consequentemente x + a = y + ae, pelo Teorema I.1, x = y.
Demonstragio de 14. Temos a +(—a)=0 por definiglo de -a. Mas esta igualdade
diznos que a € 0 simétrico de -a, isto é, a = + ~a) como se pretendia demonstrar.
413.3 Exercicios
1. Demonstrar 0s teoremas 1.5 até 1.15, utilizando os axiomas | a 6 € os teoremas I.1 a 1.4.
Nos exercicios 2 a 10 demonstrar as proposigdes formuladas, ou estabelecer as igualdades
dadas. Utilizar os axiomas 1 a 6 ¢ os teoremas I.1 a 1.15.
31 lL
4. Zero nao admite reciproco.
5. a+ b)=-a-b.
6. -(a—8)=-a +b,
1
8
9
0.
|. (a—b) + (6-0)
. Sea# 0b #0, entao (aby! =a"'bt.
). (a/b) = (—a/b) = a/(—b)seb + 0.
. (a/b) — (c/d) = (ad — be)bd) se b+ Oe d + 0.
13.4 Axiomas de ordem
Este grupo de axiomas diz respeito a um conceito pelo qual se estabelece uma ordenagtio
entre os numeros reais. Esta ordenagio permitir-nos-a afirmar se um nimero real é maior ou
menor que outro. Introduzem-se as propriedades de ordem com um conjunto de axiomas
referentes a um novo conceito nao definido dito positividade, para depois definirmos os con-
ceitos de maior que e menor que em termos de positividade.
Admitiremos a existéncia dum certo subconjunto R* < R, chamado conjunto dos nime-
ros positivos, que verifica os trés axiomas de ordem seguinte:
AXIOMA 7. Se.x ey pertencem a Rt, o mesmo se verifica com x + ¥ € XY.
Axtoma 8. Paracadarealx+0,oux€ R* ou—x€ R*,mas ndoambos.
Axioma 9. 0 éR*.
Podemos agora definir os simbolos <, >,< =, chamados respectivamente menor que,
maior que, igual ou menor que ¢ igual ou maior que, da maneira seguinte: 24 Calculo
x
You might also like
- The Subtle Art of Not Giving a F*ck: A Counterintuitive Approach to Living a Good LifeFrom EverandThe Subtle Art of Not Giving a F*ck: A Counterintuitive Approach to Living a Good LifeRating: 4 out of 5 stars4/5 (5823)
- The Gifts of Imperfection: Let Go of Who You Think You're Supposed to Be and Embrace Who You AreFrom EverandThe Gifts of Imperfection: Let Go of Who You Think You're Supposed to Be and Embrace Who You AreRating: 4 out of 5 stars4/5 (1093)
- Never Split the Difference: Negotiating As If Your Life Depended On ItFrom EverandNever Split the Difference: Negotiating As If Your Life Depended On ItRating: 4.5 out of 5 stars4.5/5 (852)
- Grit: The Power of Passion and PerseveranceFrom EverandGrit: The Power of Passion and PerseveranceRating: 4 out of 5 stars4/5 (590)
- Hidden Figures: The American Dream and the Untold Story of the Black Women Mathematicians Who Helped Win the Space RaceFrom EverandHidden Figures: The American Dream and the Untold Story of the Black Women Mathematicians Who Helped Win the Space RaceRating: 4 out of 5 stars4/5 (898)
- Shoe Dog: A Memoir by the Creator of NikeFrom EverandShoe Dog: A Memoir by the Creator of NikeRating: 4.5 out of 5 stars4.5/5 (541)
- The Hard Thing About Hard Things: Building a Business When There Are No Easy AnswersFrom EverandThe Hard Thing About Hard Things: Building a Business When There Are No Easy AnswersRating: 4.5 out of 5 stars4.5/5 (349)
- Elon Musk: Tesla, SpaceX, and the Quest for a Fantastic FutureFrom EverandElon Musk: Tesla, SpaceX, and the Quest for a Fantastic FutureRating: 4.5 out of 5 stars4.5/5 (474)
- Her Body and Other Parties: StoriesFrom EverandHer Body and Other Parties: StoriesRating: 4 out of 5 stars4/5 (823)
- The Sympathizer: A Novel (Pulitzer Prize for Fiction)From EverandThe Sympathizer: A Novel (Pulitzer Prize for Fiction)Rating: 4.5 out of 5 stars4.5/5 (122)
- The Emperor of All Maladies: A Biography of CancerFrom EverandThe Emperor of All Maladies: A Biography of CancerRating: 4.5 out of 5 stars4.5/5 (271)
- The Little Book of Hygge: Danish Secrets to Happy LivingFrom EverandThe Little Book of Hygge: Danish Secrets to Happy LivingRating: 3.5 out of 5 stars3.5/5 (403)
- Devil in the Grove: Thurgood Marshall, the Groveland Boys, and the Dawn of a New AmericaFrom EverandDevil in the Grove: Thurgood Marshall, the Groveland Boys, and the Dawn of a New AmericaRating: 4.5 out of 5 stars4.5/5 (266)
- The World Is Flat 3.0: A Brief History of the Twenty-first CenturyFrom EverandThe World Is Flat 3.0: A Brief History of the Twenty-first CenturyRating: 3.5 out of 5 stars3.5/5 (2259)
- The Yellow House: A Memoir (2019 National Book Award Winner)From EverandThe Yellow House: A Memoir (2019 National Book Award Winner)Rating: 4 out of 5 stars4/5 (98)
- A Heartbreaking Work Of Staggering Genius: A Memoir Based on a True StoryFrom EverandA Heartbreaking Work Of Staggering Genius: A Memoir Based on a True StoryRating: 3.5 out of 5 stars3.5/5 (231)
- Team of Rivals: The Political Genius of Abraham LincolnFrom EverandTeam of Rivals: The Political Genius of Abraham LincolnRating: 4.5 out of 5 stars4.5/5 (234)
- On Fire: The (Burning) Case for a Green New DealFrom EverandOn Fire: The (Burning) Case for a Green New DealRating: 4 out of 5 stars4/5 (74)
- The Unwinding: An Inner History of the New AmericaFrom EverandThe Unwinding: An Inner History of the New AmericaRating: 4 out of 5 stars4/5 (45)
- X Men Segunda Genese CompressDocument230 pagesX Men Segunda Genese CompressInosukiNo ratings yet
- ARTE - Atividade Avaliativa - 1 SÉRIEDocument3 pagesARTE - Atividade Avaliativa - 1 SÉRIEInosukiNo ratings yet
- EMENTA Diálogo Platônico 2014Document1 pageEMENTA Diálogo Platônico 2014InosukiNo ratings yet
- Zeluiz, 15 Revendo Alguns Dados Da História Do JapãoDocument10 pagesZeluiz, 15 Revendo Alguns Dados Da História Do JapãoInosukiNo ratings yet
- Contrato de Integridade - 20240426 - 125754 - 0000Document1 pageContrato de Integridade - 20240426 - 125754 - 0000InosukiNo ratings yet
- Lucasbraga,+d03 08 MigueldepestallonDocument17 pagesLucasbraga,+d03 08 MigueldepestallonInosukiNo ratings yet
- A Ideologia Dominante Nos Textos de Língua Portuguesa (Unit-Se)Document19 pagesA Ideologia Dominante Nos Textos de Língua Portuguesa (Unit-Se)InosukiNo ratings yet
- Requerimento BradescoDocument1 pageRequerimento BradescoInosukiNo ratings yet
- Revista 05-582Document14 pagesRevista 05-582InosukiNo ratings yet
- Dialnet RefutacaoDaRefutacao 6298314Document22 pagesDialnet RefutacaoDaRefutacao 6298314InosukiNo ratings yet
- Introdução À EconomiaDocument1 pageIntrodução À EconomiaInosukiNo ratings yet
- Documento Sem Nome-6Document62 pagesDocumento Sem Nome-6InosukiNo ratings yet
- O Suicídio: Estudo de SociologiaDocument12 pagesO Suicídio: Estudo de SociologiaInosukiNo ratings yet
