Professional Documents
Culture Documents
Licenciatura em Matemtica
Fortaleza, CE
2011
ISBN 978-85-475-0008-5
Objetivos
AULA 1 7
AULA 1 TPICO 1 9
Por outro lado, destacamos, tambm na Figura 2, uma regio pertencente ainda
Filosofia da Matemtica que possui vigor prprio, que indicamos por (?), a qual
no encontrada e/ou identificada em mais nenhuma outra rea do conhecimento
cientfico. Sua importncia se explicita na medida em que desenvolvermos nossas
consideraes acerca do ensino de Matemtica que no pode desprezar a dimenso
filosfica do saber matemtico.
Para exemplificar, so esclarecedoras as consideraes do professor Jairo
Jos da Silva, quando, em seu livro intitulado Filosofias da Matemtica, destaca:
O gnio de Euclides, porm, estava no modo como ele fez isso. A partir de
um sistema mnimo e supostamente completo de verdades no-demonstradas
e indemonstrveis axiomas e postulados (posteriormente verificou-se
que faltavam pressupostos substitudos pela intuio espacial) -, Euclides,
demonstrava racionalmente todos os enunciados de Os elementos. Estava assim
criado o mtodo axiomtico-dedutivo que viria a servir de modelo para toda
a matemtica a partir de ento: a reduo racional (preferivelmente lgica) de
todas as verdades de uma teoria e uma base mnima e completa de verdades
evidentes ou simplesmente pressupostas. No havia nada de remotamente
similar na matemtica no grega.
AULA 1 TPICO 1 11
Figura 3: Relao entre o carter particular e o geral dos saberes cientficos (elaborao prpria)
AULA 1 TPICO 1 13
AULA 1 TPICO 1 15
Explica ainda que conhecimento a priori consiste priori. Tal conhecimento se complementa com
AULA 1 TPICO 2 17
quando estudamos os contedos de Anlise Real, nada constitui um dos atos mais audazes do
o conjunto assumido sem o zero 0. Lima pensamento, uma das maiores aventuras da razo.
Essa criao relativamente recente (talvez pelos
(2004, p. 150) se manifesta do seguinte modo:
primeiros sculos da era crist) e foi devida s
Sim e no. Incluir ou no o nmero 0 exigncias da numerao escrita. (CARAA,
no conjunto dos nmeros naturais 1951, p. 6).
uma questo de preferncia pessoal ou,
mais objetivamente, de convenincia. O
mesmo professor ou autor pode, em diferentes circunstncias, escrever 0
ou 0 . Como assim? Consultemos um tratado de lgebra. Praticamente
em todos eles encontramos ={0,1,2,3,.....,.....} . Vejamos um livro de
Anlise. L achamos quase sempre ={1,2,3,.....,.....} .
AULA 1 TPICO 2 19
AULA 1 TPICO 2 21
O bjetivo
Conhecer os principais pensadores que estabeleceram o
terreno frtil para a Filosofia da Matemtica
voc s ab i a?
N
Plato sempre lembrado pelas ideias e concepes esta parte discutiremos alguns
que influenciou os romnticos da matemtica. dos principais pensadores
Nasceu em 428/427 a.C. e foi descendente de uma
gregos que mais contriburam
famlia ateniense de classe alta.
para o estabelecimento inicial de algumas
doutrinas na Matemtica, com destaque para
Plato e Aristteles.
A primeira figura ilustre a ser lembrada
quando falamos de Filosofia da Matemtica
Plato. No que diz respeito ao perodo de
s aiba m a i s ! formao de Plato, Barbosa (2009, p. 27) explica:
Plato sustenta que h ideias eternas e
independentes dos sentidos, como o um, o dois, muito provvel que Plato, em torno de seus vinte
anos, tenha conhecido Scrates e freqentado o seu
etc., ou seja, as Formas Aritmticas e outras
crculo, no com o intuito de se tornar um filsofo, mas
como o ponto, a reta, plano, que so as Formas
com o propsito de, mediante o estudo da filosofia,
Geomtricas. Quando enunciamos propriedades aprimorar seus conhecimentos para a vida poltica.
ou relaes entre esses entes, estamos descrevendo Todavia, o destino, sempre caprichoso, mudaria por
relaes entre as Formas (CURY, 1994, p. 42). completo os rumos de seus objetivos.
AULA 1 TPICO 3 23
AULA 1 TPICO 3 25
AULA 1 TPICO 3 27
Nas prximas aulas, nos deteremos um pouco mais nestas duas noes
importantes para a Matemtica. Para concluir esta seo, discutiremos ainda parte
das contribuies devidas Gottfried Wilhelm von Leibniz (1646-1716) e Immanuel
Kant (1724-1804) . Machado (1994) explica que cerca de dois mil anos se passaram
para que a obra aristotlica, enquanto Lgica, fosse retomada e desenvolvida.
Segundo Machado (1994, p. 22), Leibniz fornece uma intensa contribuio
ao aceitar a pressuposio aristotlica da forma sujeito-predicado de todas as
AULA 1 TPICO 3 29
AULA 1 TPICO 3 31
Para a Geometria, o espao puro um dos Os objetos do mundo emprico situam-se no espao
primeiros pressupostos. A Geometria supe o e no tempo. No possvel estud-los, conhec-los,
espao sob os seus conceitos de polgonos. Por investig-los, perceb-los sensorialmente, sem uma
exemplo, a linha reta a distncia mais curta entre concepo inicial do espao e do tempo. A estrutura
dois pontos (qualquer linha reta = universalidade, conceitual do par espao-tempo que determina
o modo como o mundo emprico apreendido. Esta
em quaisquer condies = necessidade). Embora
estruturao , a uma s vez, sinttica e a priori.
no tenha em si o princpio de no contradio,
Ao descrever o tempo e o espao, descrevemos no
e dependa da intuio de espao e, portanto
impresses sensveis de algo situado fora de ns, do
sinttica, essa afirmao conhecimento puro ou mundo emprico, mas sim as matrizes permanentes,
a priori porque a intuio do espao est em nossa invariantes, de tais conceitos, que existem em ns,
mente. E uma vez concebida, no depende mais independentemente das impresses sensveis e que
da experincia sensvel captada por nossos rgos so a condio de possibilidade de atuar no mundo
sensrios. emprico. E a matemtica, enquanto se refere ao
espao e ao tempo, constituda de proposies
sintticas a priori e no analticas, como anteriormente
era considerada.
AULA 1 TPICO 3 33
Objetivos
AULA 2 TPICO 1 35
AULA 2 TPICO 1 37
Uma vez toda a matemtica pura e tradicional reduzida teoria dos nmeros
naturais, o passo seguinte na anlise lgica, foi reduzir essa prpria teoria ao
menor conjunto de premissas e termos no definidos dos quais se pudesse
ser derivada. Esse trabalho foi realizado por Peano. Ele mostrou que toda a
teoria dos nmeros naturais podia ser derivada de trs ideias primitivas e
cinco proposies primitivas, alm daquelas da Lgica pura. Essas trs ideias
e cinco proposies tornaram-se, desse modo, por assim dizer, as garantias de
toda a matemtica pura. Seu peso lgico, caso se possa usar tal expresso,
igual ao de toda a srie de cincias deduzidas da teoria dos nmeros naturais; a
verdade das cinco proposies primitivas, desde que, naturalmente, nada haja
de errneo no aparato lgico tambm envolvido (1981, p. 12).
AULA 2 TPICO 1 39
AULA 2 TPICO 1 41
Seu maior cone foi David Hilbert (1862 1943), um matemtico alemo
que contribuiu a matemtica com ideais inovadoras que se espalharam em diversas
reas da matemtica. Nasceu na cidade de Knisberg, atualmente Kaliningrado,
onde teve seu perodo de estudos acadmicos na Universidade de Knisberg. No
ano de 1895 foi nomeado para a universidade de Gttingen, onde lecionou at sua
aposentadoria, em1930. David Hilbert frequentemente considerado como um dos
maiores matemticos do sculo XXX, no nvel comparado do de Henri Poincar.
Devemos a ele a lista famosa de 23 problemas, alguns dos mesmos sem soluo at
os dias de hoje, que Hilbert apresentou em 1900 no Congresso Internacional de
Matemticos em Paris.
Hilbert adotou as ideias de Kant em seu ambicioso programa prtico que
caracterizou o formalismo. Grosso modo, fundamentava-se da seguinte forma:
a. A Matemtica compreende descries de objetos e construes
concretas, extra-lgicas;
b. Tais construes e estes objetos deve ser enlaados em teorias formais em
que a Lgica o instrumento fundamental;
c. O trabalho do matemtico deve consistir no estabelecimento de teorias
formais consistentes, cada vez mais abrangentes at que se alcance a
formalizao completa da Matemtica. (MACHADO, 1994, p. 29)
Mais adiante, Machado (1994) levanta as seguintes questes:
Em que consiste uma teoria formal?
A que objetos ou construes se referem s teorias formais?
O que significa ser uma teoria formal consistente?
O que significa formalizao completa?
Machado (1994, p. 30) responde que uma teoria formal consta de termos
primitivos, regras de formao de frmulas a partir delas, axiomas ou postulados,
AULA 2 TPICO 1 43
Machado (1994, p. 32) explica ainda que Euclides assumiu outros cinco
princpios de carter mais geral, de natureza que julgava lgica e que seriam
utilizados em todas as matrias. Estes princpios ele chamou de axiomas:
A1 : Duas coisas iguais a uma terceira coisa so iguais entre si;
A2 : Se parcelas iguais forem somadas a quantias iguais os resultados obtidos
sero iguais;
A3 : Se quantias iguais forem subtradas de quantias iguais, os restos obtidos
sero iguais;
A4 : Coisas que coincidem umas com as outras so iguais entre si;
AULA 2 TPICO 1 45
Vamos pensar ainda que o caador est no Plo Sul e a Terra possui crculos
concntricos, com comprimentos distintos. Um desses crculos ter 10 km de
comprimento ento, qualquer que seja o ponto, situado a 10km para a direo
norte desse crculo, satisfar as condies e exigncias do problema inicial. De
fato, o caador anda 10 km para a direo Sul e chega a esse circulo; em seguida
anda 10km para a direo Leste e d uma volta completa; ao andar 10km para a
direo Norte, retorna ao mesmo ponto de origem. Nesta nova soluo esta ainda o
urso, todavia, no existem ursos no Plo Sul. Se bem que os ursos no tem relao
alguma com a Matemtica, tem?
No sculo XVIII, o matemtico italiano Sachieri fez outro tipo de tentativa: em
vez de demonstrar o 5 postulado de Euclides, a partir dos demais postulados ou de
propor um substituto mais evidente, ele investigou a independncia deste postulado
em relao aos outros quatro (MACHADO, 1994, p. 33). Seu plano descrito por
Machado (1994, p. 33) do seguinte modo:
AULA 2 TPICO 1 47
Para concluir esta seo, destacamos que esta corrente filosfica sofreu vrios
reveses, parte deles foram assentados em fatos matemticos que aparentemente
resultavam de contradies em relao s informaes obtidas por intermdio da
intuio matemtica. Em outras aulas, nos deteremos um pouco mais na compreenso
de uma habilidade cognitiva que chamamos de intuio, e que proporciona uma
atitude filosfica na Matemtica. No prximo tpico, diferenciaremos e traaremos
algumas crticas e distores ao ensino de Matemtica que assume o pressuposto
construtivista.
TPICO 2 na matemtica e o
construtivismo piagetiano
O bjetivo
Conhecer aspectos do construtivismo matemtico e os
fundamentos da teorizao de Piaget e suas implicaes
para o ensino
AULA 2 TPICO 2 49
Kant no hesitou em negar como matemtica tudo aquilo que no fosse atual
ou potencialmente construdo, neste sentido, as razes quadradas de nmeros
negativos foram seriamente evitados. Segundo o prprio Kant, essas razes so
pseudonmeros, por no admitirem exemplificao intuitiva (SILVA, 2007, p. 143).
No entanto, foi no final do sculo XIX, primeiras dcadas do sculo XX, que o
construtivismo ganhou maior vigor na comunidade de matemticos. Jairo (2007, p.
145) comenta ainda que:
AULA 2 TPICO 2 51
AULA 2 TPICO 2 53
AULA 2 TPICO 2 55
Objetivos
AULA 3 57
AULA 3 TPICO 1 59
Talvez o matemtico mais famoso pela criao de boas notaes tenha sido,
AULA 3 TPICO 1 61
AULA 3 TPICO 1 63
AULA 3 TPICO 1 65
Por isto, necessrio que, na prtica avaliativa, para que esta realmente
seja desenvolvida de forma qualitativa, necessrio que o professor tenha
compreenso das concepes e princpios de avaliao. A partir da, ao tomar
conhecimento de conceitos avaliativos, das referidas metodologias e dos
instrumentos de avaliao, tal prtica provavelmente se tornar mais eficaz.
AULA 3 TPICO 2 67
Todavia, a avaliao um processo que deve ser realizado a partir dos resultados
obtidos das atitudes tomadas pelo educando diante do saber escolar. Diante da
atividade do aluno, o professor deve analisar no apenas o resultado como
tambm os saberes mobilizados pelo aluno para chegar a resposta final. Assim,
o professor poder perceber o nvel de conhecimento do aluno e analisar se ele
necessita ou no de acompanhamento, bem como quais aes pedaggicas so
necessrias para que o aluno continue o processo de aprendizagem.
AULA 3 TPICO 2 69
Embora o currculo tradicional tenha sido algo afetado nos ltimos anos pelo
esprito de reforma, suas caractersticas bsicas so facilmente descritas. Os
primeiros seis graus da escola elementar so dedicados aritmtica. No stimo
e oitavo graus, os alunos aprendem um pouco de lgebra e os fatos simples
de geometria, tais como frmulas para a rea e o volume de figuras comuns.
O primeiro ano de escola secundria preocupa-se com lgebra elementar, o
segundo com geometria dedutiva e o terceiro com mais lgebra (geralmente
denominada lgebra intermediria) e com trigonometria. O quarto ano de
escola secundria geralmente abrange geometria slida e lgebra adiantada [...]
Houve, frequentemente, vrias criticas srias que se aplicam ao currculo. A
primeira critica diz respeito lgebra presente no mesmo que fora o aluno a
memorizao em detrimento da compreenso (KLINE, 1976, p. 19).
AULA 3 TPICO 2 71
Por fim, Kline aponta um problema que depende da viso e das concepes que
o professor de Matemtica constri, ao longo de sua carreira, sobre a Matemtica. Neste
sentido, se o docente no consegue identificar e compreender a beleza do conhecimento
matemtico, nunca conseguir transmitir tal sensao para seus educandos, sem falar nos
casos em que o professor leciona Matemtica por que no encontrou outra maneira de
garantir sua subsistncia material ou por que est a espera de uma outra oportunidade
profissional. Com respeito a isto, Kline (1976, p. 23) declara no trecho abaixo:
O trecho acima nos serve de modo eficiente para discutir linhas de pensamento
que em nada explicam, caracterizam ou prevem as mudanas ocorridas ao longo
dos sculos no currculo de Matemtica. Nossa posio clara no sentido de que no
adianta buscar formar o futuro professor para a cidadania, no sentido de desenvolver
um ensino inclusivo, prazeroso, ldico, se ele mesmo no consegue fazer seus alunos
Santos (2008, p. 177) indica ainda o locus cientfico onde devemos nos acomodar
para o desenvolvimento de uma anlise filosfica adequada ao acrescentar que:
AULA 3 TPICO 2 73
Vemos, aqui, germe da seleo pela matemtica, pois ela servir para os eleitos.
Quando estudada em profundidade, propicia-lhe chegar verdade. O seu uso
para os clculos cotidianos considerado desprezvel, assim como eram os
mercadores e negociantes frente aos guerreiros. Est estabelecida a separao
entre a matemtica pura e a aplicada, com a evidente valorizao da primeira.
Frege se refere aos axiomas como aquelas verdades irrefutveis, para as quais,
contudo, no possvel nenhuma prova. Trata-se, portanto, de um contra-
senso tentar fornecer uma prova para uma verdade auto-evidente, seja devido
natureza dessa verdade, que no admite, em princpio, uma refutao, seja
devido ao teor extremamente primitivo do contedo do que expresso na
proposio. Os dois casos, muitas vezes, se identificam numa nica e mesma
condio, aquela que determina se uma afirmao pode ou no ser considerada
um axioma do ponto de vista clssico, uma verdade imediata e inabalvel.
AULA 3 TPICO 2 75
A partir de Lakatos, a LDM passa a ser objeto de estudo filosfico nas cincias da
Matemtica. De modo sistemtico, Jesus (2002) prope a seguinte tabela explicativa que
distingue o pensamento generalista de Popper (LDC Lgica da Descoberta Cientfica)
da viso especfica e particular de Lakatos (LDM Lgica da Descoberta da Matemtica),
conforme figuras 4 e 5.
AULA 3 TPICO 2 77
AULA 3 TPICO 3 79
AULA 3 TPICO 3 81
Objetivos
AULA 4 83
AULA 4 TPICO 1 85
AULA 4 TPICO 1 87
esta possui um estrito vnculo com a intuition of e, neste sentido, vale observar
que a intuition that permanece de algum modo vinculada a intuition of. E
intuition of algo que se pode esperar quando a intuition that anloga
percepo, desde que um dos elementos centrais da percepo seja a prpria
presena do objeto percebido. Por exemplo, sabemos por percepo que minha
bicicleta azul ao v-la. Algum que nunca viu minha bicicleta nunca saber
algo sobre a mesma por meio da percepo num sentido mais direto (PARSONS,
2008, p. 147).
AULA 4 TPICO 1 89
AULA 4 TPICO 2 91
AULA 4 TPICO 2 93
AULA 4 TPICO 2 95
AULA 4 TPICO 3 97
AULA 4 TPICO 3 99
( x + y )2 + x + 3 y
f (x ; y ) =
2
Por outro lado, antes de exibir tal funo, Domingues discute a possibilidade
de se estabelecer uma bijeo entre os intervalos ]0,1[ e [0,1] . Neste sentido, o autor
1 1 1 1
explica que tomando [0,1] = A {0,1, , ,....,...} e que ]0,1[= A { , ,....,...} ,
2 3 2 3
1 1 1
{0,1, , , ,....,...} A
2 3 4
Identidade ou de modo analtico temos:
1 1 1
{ , , ,....,...} A
2 3 4
1 se x=0
2
1 1
f (x ) = se x=
n+2 n
x se x A
Domingues (1991, p. 247) declara que tal funo injetora, assim os intervalos
]0,1[ e [0,1] possuem a mesma cardinalidade. Num modelo geomtrico relacionado
ao Calculo Diferencial e Integral, o matemtico Morris Klein (1908-1992) discute a
noo de reta tangente a uma curva, no contexto de construo da derivada de uma
funo. Questiona a partir de um desenho (Figura 4) se podemos acreditar que a
curva e a reta candidata tangente em um ponto possuem de fato apenas um ponto
de interseo?
Figura 4: Desenho sugerido por Klein em 1893 em relao a noo intuitiva de derivada
Para concluir esta seo, salientamos mais uma vez a dimenso filosfica do
raciocnio intuitivo. Algumas caractersticas do raciocnio intuitivo devero ser
caracterizadas, do ponto de vista psicolgico. Nesta aula, tencionamos salientar
seus aspectos filosficos e epistemolgicos. Muitos destes aspectos no so simples
de se detectar e compreender.
Por outro lado, o que deve ficar claro para o futuro professor de Matemtica
que, se desconhecemos as caractersticas, a natureza, a funo e a dimenso criativa
da intuio na atividade matemtica, nunca conseguiremos promover e estimular
raciocnios desta natureza. Afinal bem mais fcil; e digamos concreto, estimular
e desenvolver um ensino de Matemtica baseado no pensamento algortmico (OTTE,
1991).
A ponta do iceberg na frente pedaggica um ensino baseado em regras e
memorizao. Para os leigos, com pouca ou nenhuma formao em Matemtica,
tal situao se explica dizendo: Ah... Isto culpa da metodologia do professor!.
Ou diro ainda A matemtica a cincia dos nmeros!. Com maior preocupao,
escutamos alguns desavisados se pronunciarem: Vamos estimular o ldico para
que tudo fique mais prazeroso!.
Objetivo
Demonstrao:
Vamos admitir a funo sucessor s : . Definimos o conjunto
A := {n tal que s(n) n} . Desejamos verificar que A = , ou seja, nenhum
nmero natural sucessor de si mesmo. Para tanto, usaremos o axioma (iii). De
fato, notamos que A := {n tal que s(n) n} , uma vez que s(0) 0 , para
n = 0 , pois 0 Im(s(n)) e s(0) Im(s(n)) .
Verificaremos agora que se k A , ento s(k ) A . De fato, se k A , pela
definio deste conjunto s(k ) k . Aplicando a funo sucessor a ambos os membros,
injetora
segue que s(k ) k s(s(k )) s(k ) \ s(k ) A . Pelo axioma (iii), chamado de
Princpio da Induo, conclumos que A = .
Para verificar (ii) Im(s(n)) = -{0} , usaremos o Princpio da Induo do
seguinte modo: A = {0} Im(s(n)) . Ademais 0 A e vimos que se k A ,
ento s(k ) A . Logo A = e 0 Im(s(n)) \ Im(s(n)) = -{0} .
Ferreira (2010, p. 24) denota * = - e diz que todo elemento de *
sucessor de um nico nmero natural, que se chama seu antecessor. A partir disto,
definiremos de modo axiomtico as operaes de soma (+) e multiplicao ( ) de
nmeros naturais.
Ferreira (2010, p. 24) define a adio de dois nmeros naturais, m e n designada
(i) m + 0 = m
por m + n e definida recursivamente do seguinte modo: .
(ii) m + s(n) = s(m + n)
Definio
Indicaremos por 1 (l-se um) o nmero natural que sucessor de 0, ou
i
seja, 1 = s(0) . Notamos assim que 1 = s(0) \ 1 + 0 = s(0) + 0 = s(0) . Em seguida,
Ferreira (2010, p. 25) enuncia a proposio
Proposio:
Para todo nmero natural m, tem-se s(m) = m + 1 e s(m) = 1 + m . Portanto
1+ m = m +1 .
Demonstrao:
Como resultado desta proposio verificaremos a comutatividade da
expresso 1 + m = m + 1 para este caso particular. De fato, a partir de (ii)
definio ii i
escrevemos m + 1 = m + s(0) = s(m + 0) = s(m) \ m + 1 = s(m) . Falta verificar
que s(m) = 1 + m .
Para tanto, Ferreira (2010, p. 26) emprega a seguinte estratgia: consideremos
definio
o conjunto A := {m ; s(m)=1+m} . Claramente A , pois s(0) = 1 . Mas
vimos que 1 = s(0) \ s(0) = 1 + 0 , segue que 0 A . Seja ento m A , assim
escrevemos (Hiptese de Induo - HP) s(m)=1+m . Vamos mostrar que s(m) A .
HI ii
De fato, notamos que s(s(m)) = s(1 + m) =1 + s(m) . Isto , s(m) A . Pelo
axioma 3 de Peano, teremos A := {m ; s(m)=1+m}= . Ferreira (2010, p. 26)
prossegue explicando que como era de se esperar, passaremos a adotar a notao
indo-arbica (de base dez) para os elementos de ; j temos os smbolos 0 e
proposio
1 = s(0) . Definiremos: s(1) = 1 + 1 = 2 ; s(2) = 2 + 1 , s(3) = 3 + 1 e assim por
diante. Reparamos as dificuldades para verificar uma propriedade simples como
s(m) = m + 1 = m + 1 . Daqui em diante, a partir dessas consideraes axiomticas,
escrevemos: {0, s(0), s(s(0)), s(s(s (0))),.....} = {0,1,2,....} .
Demonstrao:
Seja S o conjunto S := {0,1,2,3,....} , desejamos estabelecer a igualdade acima.
Ferreira (2010, p. 26) esclarece que S foi construdo como um subconjunto de
que contm o 0, ou seja, 0 S e tambm o sucessor de qualquer elemento nele
contido. Pelo principio da Induo, conclumos que S = .
Ferreira (2010, p. 27) comenta ainda que 0 1 , mas no sabemos ainda
comparar 0 com 1, isto , no formalizamos ainda a ideia intuitiva de que 1
maior do 0. Isso decorrer a partir da definio de uma relao de ordem em
, que estabeleceremos posteriormente. Para ilustrar, Ferreira (2010, p. 27):
proposio
1 + 1 = s(1) = 2 , 2 + 1 = s(2) = 3 , e ainda temos:
ii ii
2 + 2 = 2 + s(1) = s(2 + 1) = s(2 + s(0)) = s(s(2 + 0)) = s(s(2)) = s(3) = 4 .
ii
Por fim temos 0 + 2 = 0 + s(1) = s(0 + 1) = s(1) = 2 . Ferreira (2010, p. 27)
destaca que algumas propriedades da adio, que admitamos como intuitivamente
bvias, so demonstradas no teorema seguinte com base nos axiomas de Peano e nas
definies precedentes.
Demonstrao:
Mostraremos inicialmente (i). Para tanto, fixando os naturais
m, n quaisquer, aplicaremos induo sobre p. Seja agora o conjunto
A( m ,n ) := { p tal que m+(n+p)=(m+n)+p} . De imediato, inferimos
que A( m ,n ) , visto que 0 A( m ,n ) . Com efeito, basta notar que
ii ii Hiptese de induo ii
m+(n+s(k))= m + s(n + k ) = s(m + (n + k )) = s((m + n) + k ) =(m + n) + s(k )
Definio
A multiplicao de dois nmeros naturais, m e n, designada por m n e
m 0 = 0
definida recursivamente do seguinte modo: .
m (n + 1) = m n + m
TEOREMA
Para m, n e p naturais arbitrrios, valem as proposies abaixo:
i) m n , isto , a multiplicao de fato uma operao em ;
ii) existncia do elemento neutro multiplicativo 1 n = n 1 = n ;
iii) distributividade m (n + p) = m n + m p e (m + n) p = m p + n p ;
iv) associatividade m (n p) = (m n) p ;
v) m n = 0 m = 0 ou n=0 ;
vi) comutatividade m n = n m .
Demonstrao:
Ferreira (2010, p. 30) destaca que novamente usa-se o Princpio da Induo
para demonstrar todos os seis itens. Note-se que a importncia do item (i) que
definimos uma nova operao com dois nmeros naturais m e n , denotada
por m n e precisamos garantir que, quando aplicada tal operao, continuamos
ainda com um nmero natural. o que quer dizer a implicao m n .
Faremos agora o item (ii), notando inicialmente que n 1 = n . De fato, temos
ii i
n 1 = n (0 + 1) = n 0 + n = 0 + n = n , usando a definio de multiplicao. Agora,
por induo, veremos que 1 n = n . De fato, j temos, por definio, 1 0 = 0
e, pela hiptese indutiva, escrevemos 1 n = n . Na sequncia investigamos a
Definio
Uma relao binria R em um conjunto no vazio A diz-se uma relao de
ordem em A quando satisfizer as condies, para quaisquer x, y, z A ,
Re1: reflexividade xRx ;
Re2: antissimetria se xRy e yRx , ento x = y ;
Re3: transitividade se xRy e yRz , ento xRz .
Um conjunto no vazio A, munido desta relao de ordem, diz-se um
conjunto ordenado. Na sequncia, definiremos uma relao de ordem em atravs
da operao da adio, tornando-o, portanto, um conjunto ordenado.
Definio
Dados m, n , dizemos que mRn se existir p tal que n = m + p .
Exerccio:
Mostre que uma relao de ordem em .
Definio
Para m, n , se mRn , onde R a relao da definio anterior, dizemos
que m menor do que ou igual a n e passaremos a escrever o smbolo no lugar
de R; assim, m n significar mRn .
Demonstrao:
Deixamos para voc, aluno, fazer...
Ferreira (2010, p. 34) comenta que
Demonstrao:
Deixamos para voc, aluno, fazer..
Teorema
(Lei do cancelamento da multiplicao) Sejam a, b, c , com c 0 , tais que
ac = bc , ento a = b .
Demonstrao:
Deixamos para voc, aluno.
Demonstrao:
Deixamos para voc, aluno.
Para concluir esta parte inicial relativa importante construo axiomtica
dos nmeros naturais, apresentamos um teorema que reflete um fato intuitivo claro
desde o Ensino Fundamental: o de que todo subconjunto no vazio de nmeros naturais
possui um menor elemento (FERREIRA, 2010, p. 36).
Observamos que tal propriedade no verificada no conjunto dos nmeros
racionais. Por exemplo, se consideramos o subconjunto dos nmeros racionais
positivos, ele possui um menor elemento (Por qu?) (FERREIRA, 2010, p. 36). J no
conjunto dos nmeros inteiros, s possuem elemento mnimo os subconjuntos que
so limitados inferiormente.
Formalmente, dizemos que um elemento a de um conjunto ordenado A
um menor elemento de A, se a x , para todo x A . Se a relao de ordem total
em A, tem-se um menor elemento, quando existe, nico, tambm chamado de
elemento mnimo de A. Ele se denota por min( A) . De modo similar, define-se maior
elemento ou elemento mximo de um conjunto A, denotado por max( A) .
Demonstrao:
Deixamos para voc, aluno.
Conclumos este tpico destacando a importncia, para o professor de
Matemtica, de compreender e dominar a axiomtica formal subjacente construo
dos nmeros naturais e, principalmente, de saber responder o questionamento
referente ao que um nmero natural. Prosseguimos com a construo dos nmeros
inteiros.
Ferreira (2010, p. 41) discute ainda que foi dessa forma emprica que os
nmeros inteiros negativos foram descobertos e aplicados na expresso matemtica
de certas situaes e na resoluo de problemas. Todavia, do ponto de vista do rigor
matemtico, apenas admitir a existncia de nmeros inteiros negativos e incorpor-
los ao conjunto no adequado. Alm disso, temos em as operaes de adio
TEOREMA
A relao ~ em x definida por (a, b) ~ (c , d ) quando a + d = b + c
de equivalncia.
Demonstrao:
Vejamos cada um dos itens que exigem verificar para que de fato tenhamos
uma relao de equivalncia, entretanto, antes de desenvolvermos a demonstrao
formal, vale destacar o comentrio de Ferreira (2010, p. 43):
Definio
x
O conjunto quociente ou x ~ constitudo pelas classes de
~
equivalncias (a b) , se denota por , e ser chamado de conjunto dos nmeros
x
inteiros. Assim, estabelecemos = = {(a, b) tal que (a,b) x} .
~
A partir desta definio, descreveremos o modo de operar os elementos
deste novo conjunto. Assim, poderemos falar da noo de adio e subtrao em
. Temos agora (a, b) ~ (x, y) que equivale a (a, b) = (x, y) , expressa pelo fato de
que a + y = b + x (a - b) = x - y . Vamos utilizar esta observao como ponto de
partida para buscar uma definio rigorosa de adio de inteiros (FERREIRA, 2010,
p. 44).
Veremos ento o que deveria ser(a, b) + (c , d ) . Neste sentido,
Ferreira (2010, p.44) argumenta que se (a, b) expressa, em essncia, a
diferena (a - b) , e (c , d ) expressa (c - d ) , a matemtica elementar nos d
Definio
x
Dados (a, b) e (c , d ) em = , definiremos a soma de dois elementos
~
(a, b) + (c , d ) := (a + c , b + d ) .
Ao definirmos objetos que envolvem classes de equivalncias, necessrio
verificarmos que tais definies no dependem de como os representamos em
classes (FERREIRA, 2010, p. 45). Nesse sentido, Ferreira (2010, p. 45) observa
que, pela definio, teramos (3,5) + (4,1) = (7,6) . No entanto, temos tambm
(2,4) = (3,5) e (3,0) = (4,1) , logo deveramos ter (2,4) + (3,0) tambm igual
a (7,6) . E pela definio dada, (2,4) + (3,0) = (5,4) , felizmente, igual a (7,6) .
Mostraremos agora que isso vale, em geral, isto , a definio dada no depende dos
representantes das classes de equivalncias envolvidas. Neste caso, dizemos que a
adio de nmeros inteiros est bem definida.
TEOREMA
Se (a, b) = (a ', b ') e (c , d ) = (c ', d ') , ento (a, b) + (c , d ) = (a ', b ') + (c ', d ') ,
+
isto , a adio de nmeros inteiros est bem definida.
Demonstrao:
Sabemos pelo teorema anterior que, se (a, b) = (a ', b ') , ento
(a, b) ~ (a ', b ') a + b ' = b + a ' . Por outro lado, temos (c , d ) = (c ', d ') , ento,
(c , d ) ~ (c ', d ') c + d ' = d + c ' . Logo, temos: (a, b) + (c , d ) := (a + c , b + d )
e (a ', b ') + (c ', d ') := (a '+ c ', b '+ d ') . Ferreira (2010, p. 46) verifica que
os dois segundos membros coincidem. Mas isto equivale a verificar que
(a + c ) + (b '+ d ') = (b + d ) + (a '+ c ') . O resto deixaremos a seu cargo, aluno.
TEOREMA
A operao de adio em associativa, comutativa, tem (0,0) como
elemento neutro e vale a lei do cancelamento, como em . Alm disso, vale a
Demonstrao:
Deixamos a seu cargo, aluno.
Definio
Dados (a, b) e (c , d ) , definimos o produto (a, b) (c , d ) como sendo
o inteiro (ac + db, ad + bc ) .
TEOREMA
A multiplicao em est bem definida, isto , se (a, b) = (a ', b ') e
(c , d ) = (c ', d ') , ento (a, b) (c, d ) = (a ', b ') (c ', d ') .
TEOREMA
A multiplicao em comutativa, associativa, tem (1,0) como elemento
neutro da multiplicao e distributiva em relao adio. Alm disso, vale a
propriedade do cancelamento multiplicativo, isto , se a, b , g , com g (0,0) ,
ento se ag = bg a = b .
Demonstrao:
Deixamos para voc, leitor.
Definio
Dados os inteiros (a, b) e (c , d ) , escrevemos (a, b) (c , d ) , quando
a + d b + c . Os smbolos ,< e < definem-se de forma anloga que fizemos
para a relao de ordem em (FERREIRA, 2010, p. 50).
Como nos casos da adio e multiplicao, verifica-se que a relao de ordem
definida por Ferreira (2010) est bem definida. Os smbolos de desigualdade utilizados
para a relao de ordem em so os mesmos que utilizamos para a relao de ordem
TEOREMA
A relao definida acima uma relao de ordem em , ou seja,
reflexiva, antissimtrica e transitiva. Alm disso, essa relao compatvel com as
operaes em , isto , para quaisquer a, b , g ,vale:
a) a b a + g b + g ;
b) se a b e g (0,0) ag bg ;
c) (Lei da tricotomia): apenas uma das situaes seguintes ocorre:
a = (0,0) ou a > (0,0) ou a < (0,0) .
Demonstrao:
Deixamos a seu cargo, leitor.
Definio
Dado (a, b) , dizemos que:
i) (a, b) positivo quando (a, b) > (0,0) ; ii) (a, b) no negativo quando
(a, b) (0,0) ; iii) (a, b) negativo quando (a, b) < (0,0) ; iv) (a, b) no positivo
quando (a, b) (0,0) .
Ferreira (2010, p. 52) observa que (a, b) (0,0) a + 0 b + 0 \ a b .
Analogamente, se (a, b) > (0,0) a + 0 > b + 0 \ a > b . Ademais, se
(a, b) (0,0) a b . Essa observao est de acordo com a ideia de que a classe
de equivalncia (a, b) representa a diferena a - b . Tornaremos essa ideia
precisa mais adiante, ao final das observaes aps o prximo teorema.
Observamos ainda que se (a, b) positivo, como vimos que a > b ,
ento existe m * tal que a = b + m . Esta igualdade equivale a (a, b) = (m,0) .
Analogamente, se (a, b) negativo, ento existe m * tal que (a, b) = (0, m) .
Essas observaes levantadas por Ferreira (2010, p. 52) e o princpio da Tricotomia
nos dizem que: = {(0, m) tal que m * } {(0,0)} {(m,0) tal que m * } sendo
uma unio disjunta. A partir desta constatao, utilizaremos as seguintes notaes:
*- := {(0, m) tal que m * } , *+ = {(m,0) tal que m * } , + = *+ {(0,0)} ,
- = *- {(0,0)} . Note-se ainda que o conjunto dos nmeros inteiros no negativos,
+ , est em bijeo com . Esta bijeo bastante especial porque mostra que +
uma cpia algbrica de , no sentido dado pelo teorema seguinte (FERREIRA,
2010, 51).
Demonstrao:
Deixamos a seu cargo, aluno.
Definio
Seja X um subconjunto no vazio de . Dizemos que X limitado
inferiormente se existe a , tal que , para todo x X . Um tal a se
chama cota inferior de X. Analogamente, definimos subconjunto de limitado
superiormente e cota superior dele.
Corolrio
Seja x tal que 0 < x 1 , ento x = 1 .
Demonstrao:
Use como sugesto o conjunto A = { y | 0<y 1} . Use o PBO para mostrar
que este conjunto possui elemento mnimo. Conclua que A = { y | 0<y 1}={1} .
Corolrio
Sejam n, x , tais que n < x n +1 , ento x = n +1 .
Demonstrao:
Deixaremos para voc, aluno.
Definio
x se x 0
Seja x , definimos o valor absoluto de s, denotando por x = .
-
x se x<0
Definio
Um elemento x diz-se inversvel se existe y tal que xy = 1 .
Proposio:
Os nicos elementos inversveis em so 1 e -1.
Exerccio:
2n - 1 se n>0
Mostre que f (n) = - uma bijeo de f : .
2n se n 0
Para concluir esta seo, vale destacar as consideraes de Ferreira (2010, p.
57) ao mencionar que Cantor rompeu o paradigma grego de que o todo sempre
maior do que suas partes prprias, como vimos tambm na aula anterior. Cantor
caracterizou conjuntos infinitos que podem ser colocados em bijeo com uma parte
prpria sua (FERREIRA, 2010, p. 58).
Nesta aula procedemos com a construo axiomtica dos nmeros inteiros.
Na aula seguinte. abordaremos a construo dos nmeros racionais, denotados
por , ao discutir as incluses . Os nmeros que, no senso comum,
so interpretados como pedaos de pizza ou partes de um bolo no contexto
escolar, evidenciam uma acepo superficial que no pode ser suficiente para um
futuro professor de Matemtica.
Ferreira (2010, p. 62) destaca ainda que, para se chegar a uma definio
adequada, novamente trabalha-se com o conceito de relao de equivalncia, do
mesmo modo que empregamos para definir um nmero inteiro a partir do conceito de
nmero natural.
Consideremos o conjunto x * := {(a, b) tal que a e b * } . Definimos
nele a relao (a, b) ~ (c , d ) ad = bc . Em seguida temos o seguinte teorema.
TEOREMA
A relao (a, b) ~ (c , d ) ad = bc de equivalncia.
Demonstrao:
Ferreira (2010, p. 62) diz que a prova de que ~ tem as propriedades reflexiva
e simtrica fica como exerccio. Quanto propriedade transitiva, se (a, b) ~ (c , d )
e (c , d ) ~ (e , f ) , ento queremos mostrar que (a, b) ~ (e , f ) , isto , se ad = bc e
cf = de , ento af = be . Multiplicando ambos os membros da primeira igualdade
por f e da segunda igualdade por b, obtemos adf = bcf e bcf = bde , onde segue
que adf = bde , cancelando d 0 , obtemos o que queramos. por causa deste
ltimo detalhe da demonstrao que partimos de x * e no de x (FERREIRA,
2010, p. 62).
Definio
Dado (a, b) x * , denotamos por a (que se l a sobre b)
b
a classe de equivalncia do par (a, b) pela relao ~ acima. Assim,
a
= {(x, y ) x * se (x,y)~(a,b)} .
b
Definio
Denotamos por , e denominamos conjunto dos nmeros racionais,
o conjunto quociente de x * pela relao de equivalncia ~ , isto ,
( x * ) a
= ~ = { b tal que a e b } como no Ensino Fundamental
*
Definio
Sejam a e c nmeros racionais, isto , elementos de . Definimos as
b d
operaes chamadas de adio e de multiplicao, respectivamente, por: (*)
a c ad + bc e (**) a c ad + bc .
+ = =
bd bd bd bd
TEOREMA
As operaes +
e esto bem definidas.
Demonstrao:
Deixaremos para voc, leitor.
TEOREMA
O conjunto , munido das operaes acima, tem as propriedades algbricas
1
de , onde o elemento neutro aditivo 0 e o neutro multiplicativo . Alm
1 1
Demonstrao:
Deixaremos para voc, leitor.
Definio
Sejam a e c nmeros racionais, com b, d > 0 . Escrevemos a c , quando
b d a
b d
c
ad bc e dizemos que menor do que ou igual a .
b d
TEOREMA
A relao , introduzida acima, est bem definida e uma relao de ordem
em .
Demonstrao:
Deixaremos para voc, aluno.
Demonstrao:
a c
Escrevendo r = e s = , com b, d > 0 , vamos comparar os inteiros
b d
ad e bc . Pela Lei da Tricotomia em , ou ad = bc , em cujo caso ocorre r = s , ou
ad < bc , em cujo caso ocorre r < s , ou ad > bc , em cujo caso ocorre s < r . Alm
disso, a validade de uma das afirmaes exclui a validade das outras.
n
Em seguida, Ferreira (2010, p. 68) define a funo i : por i(n) = ,
1
para todo n . Esta a funo de que falamos anteriormente, que imerge
em . Assim, podemos enunciar o seguinte teorema.
Demonstrao:
m n
No item (i) temos que se i(m) = i(n) = n 1 = m 1 n = m (1-
1 1
Exerccio:
Sejam X um subconjunto de um universo U e {An }n U
uma famlia de subconjuntos de U. Mostre que
X \ (Un An ) = n ( X \ An ) e X \ (n An ) = n ( X \ An ) , lembrando
que Un An = {x U tal que x A n , para algum n } e
n An = {x U tal que x A n , " n } .
Lema1 : Todo subconjunto infinito de enumervel.
Demonstrao:
Seja X um subconjunto infinito de e x0 seu menor elemento, que existe
devido ao Principio da Boa Ordem. Como X infinito, o conjunto Y0 = X -{x0 } .
Seja agora x1 o menor elemento de Y0 . De modo indutivo, obteremos por meio deste
raciocnio os elementos x0 , x1 , x2 , x3 ,....., xn . Em seguida, obtemos o elemento xn+1
como o menor elemento de Yn = X -{x0 , x1 , x2 , x3 ,......, xn } , para todo n .
Caso contrrio, o conjunto X seria finito. Afirmamos agora que:
= X = {x0 , x1 , x2 , x3 ,......, xn ,.....,....} = {x0 } {x0 , x1 } {x0 , x1 , x2 } ..... = n An
onde An = {x0 , x1 , x2 , x3 ,......, xn } . De fato, pelo exerccio anterior, podemos
escrever que X \ (Un An ) = n ( X \ An ) = n (Yn ) . Assim, se existisse mais
algum x X - (Un An ) , tal que x [n (Yn )] , e como tal, deveria ser maior do
que x0 , com mesma razo, deve ser maior do que x1 , por estar em Y1 , e, assim,
Demonstrao:
Deixaremos como tarefa para voc, leitor.
Proposio:
*+ enumervel.
Demonstrao:
Consideremos os nmeros racionais escritos na forma irredutvel, dada pelo
m
lema anterior. Seja f : *+ dada por f = 2m 3n . O teorema Fundamental
n
da Aritmtica e a unicidade da representao de fraes na forma irredutvel, dada
pela proposio acima, mostram que f 1-1 e tem como imagem um subconjunto
infinito de , que , enumervel.
TEOREMA
enumervel.
Demonstrao:
Basta escrever = *- {0} *+ .
Nesta ltima aula, discutiremos alguns aspectos formais a respeito dos nmeros
reais e dos nmeros complexos. Lima (2004) critica de modo veemente a forma pela
qual so introduzidos tais conceitos no ensino escolar. Alm de serem introduzidos
de forma indevida e de modo equivocado, na medida em que no se conhece sua
natureza em essncia, dificilmente o professor percebe tais problemas, uma vez
que nem sempre na graduao se d a nfase devida a esses conceitos. Com
a reflexo que propomos nesta aula, buscamos, assim, evitar esse problema no
mbito da formao do futuro professor.
Objetivos
AULA 6 133
Exemplo:
Observamos que o elemento mnimo do conjunto A = o nmero 0. Por
outro lado, o conjunto A = {x | 0<x<1} no tem elemento mnimo, pelo fato
x
de que, para todo x , temos 0<x<1 \ 0< <x<1 .
2
q
q q
n p p
Por outro lado, notamos que < = a , para todo n . De
n q +1 q
n p n p p
fato, basta observar que 0 < < = = a . Assim, precisamos
n q +1 n q q
mostrar que no existe elemento mnimo, mas tomando n = 8q , obtemos
8q p 64q2 p2
c := , observando que c 2 = > 2 . De fato, vemos que:
(8q2 + 1)
2
8q q + 1
1 1
( p2 - 2q2 ) > 2
+ 32q2 ( p2 - 2q2 ) > 1 + 16q2
32q 2
32q2 p2 64q 4 16q2 > 1 32q2 p2 > 64q 4 + 16q2 + 1
32q2 p2 64 q 2 p 2
>1 >2
(8q2 + 1) (8q2 + 1)
2 2
2
a) O conjunto a = x | x<
3
5 { }
um corte. De fato, notamos que tomando
2
2 3
e < , assim, vale o item (i). No caso do item (ii), considerando r = a ,
5 5 5 5
{
e) O conjunto a = x | - 3 x<
exerccio.
8
5 }
no um corte. Deixamos como
Demonstrao:
Vamos negar a propriedade desejada acima, ou seja, supor que q p . Como
admitimos que a um corte, j temos de graa a condio (i). Por outro lado, se
q p , onde p a e q , ento, pelo item (ii) da definio, deveramos ter que
q a , o que implica uma contradio. Assim, necessariamente, temos q > p .
Observamos que a negao da propriedade fornecida por esta proposio
pode ser til, assim, caso tenhamos um corte a , com p a e se q p ,
necessariamente, obtemos que q a , que basicamente a condio (iii).
Proposio:
Se r e a = {x | x<r} , ento a um corte e r a menor cota superior de a .
Demonstrao:
Vejamos que o conjunto a = {x | x<r} um corte. De fato, notamos que
a = {x | x<r} , mas a , pois o conjunto dos racionais ilimitado. Por
outro lado, a = {x | x<r} , dado r , podemos sempre encontrar um
nmero x , de modo que x < r .
Para verificar (iii), basta observar que, se tivermos um elemento qualquer
s a , ento sempre podemos tomar a mdia aritmtica de dois racionais
s +r s +r
s< < r , e como r e , vemos que o elemento cumpre a condio
2 2
s +r
< r , logo s + r a . Assim, sempre conseguimos obter um valor maior do
2 2 s +r
que s a , de modo que a , ou seja, s a no elemento mximo. Ferreira
2
(2010, p. 80) sublinha que r a menor cota superior. De fato, supomos que exista
outra cota superior r ' de a = {x | x<r} , menor do que r , ou seja, r ' < r .
Os cortes do tipo da proposio anterior so denominados cortes racionais e
se representam por r * . Os cortes que no possuem cota superior mnima no so
racionais.
Pode-se verificar que todo corte que possui cota superior mnima racional.
Mostraremos que existem cortes que no possuem cota superior mnima, logo no
so racionais.
Demonstrao:
Verificaremos o item (i). De fato, de imediato temos a , pois *- e
0 a = {x + | x2 <2} *- , logo a . Para o item (ii), desejamos verificar
Teorema
Seja a = {x + | x <2} - . Ento a um corte que no racional.
2 *
Deixamos as condies (i) e (ii) para discutir mais adiante. Quanto condio
(iii), devemos provar que, se x a , ento existe y a , com y > x (no admite
elemento mximo). Isso bvio se x 0 . Mas vamos supor que x > 0 , com x 2 < 2 .
Para encontrarmos um elemento y nas condies acima, tomaremos h *+ tal que
(x + h) < 2 e pr y = x + h . Vamos trabalhar com a condio (x 2 + 2h x + h2 ) < 2
2
Notao:
Denotaremos por o conjunto de todos os cortes, ou seja, := {a | a um corte} .
Proposio:
Sejam a, b . Dizemos que a menor do que b e escrevemos a < b quando
b \a .
Definio
Se a e a > 0 * , a chama-se corte positivo. Se a > 0 * , a dito corte negativo. Se
a 0 * , a se chama corte no negativo e se a 0 * , a se chama corte no positivo.
Teorema (tricotomia)
Para a, b , uma e apenas umas das possibilidades ocorre, a = b ou a < b ou
a>b.
Demonstrao:
Deixamos como tarefa para voc, leitor.
Lema:
Sejam a, b , ento:
i) se a < b a b e a b ;
ii) a a a b .
Demonstrao:
Deixamos como tarefa para voc, leitor.
Teorema
A relao uma relao de equivalncia em .
Demonstrao:
Deixamos como tarefa para voc, leitor.
Teorema
Sejam a, b . Se g := {r + s | r a e s b } , ento g .
Demonstrao:
Mostraremos que o conjunto acima satisfaz as trs condies de corte.
Notamos que estamos admitindo que a, b , portanto g . Sejam
t - a e y - b , e observamos que, por definio, t > r , "r a e
u > s , "s b . Assim, obtivemos t + u > r + s , "r a e "s b , ou seja, t + u g ,
logo g .
Definio
Para a, b , definimos a + b como sendo o corte do teorema anterior, ou seja,
a + b := {r + s | r a e s b } .
Teorema
*
A adio de cortes em comutativa, associativa, e possui elemento 0 como neutro.
Demonstrao:
Com a comutatividade descrita por a + b = b + a , reparamos que, se
r a + b , podemos escrever r = p + q , e pela comutatividade da soma de nmeros
racionais, escrevemos r = p + q = q + p b + a . Portanto, a + b b + a , e, de
modo semelhante, verificamos que a + b b + a .
A associatividade descrita por a + (b + g ) = (a + b ) + g .
Lema:
Sejam a e r *+ , ento o conjunto {s + m r | m } no limitado
superiormente em .
Demonstrao:
Deixamos a seu cargo, leitor.
Lema:
Sejam a e r *+ , ento existem nmeros racionais p e q tais que
p a , q a , q no cota superior mnima de a e q - p = r .
Definio
Seja a . Existe um nico b tal que a + b = 0 * . Como no caso dos inteiros e
racionais, tal elemento b denota-se por -a e se chama simtrico (ou inverso aditivo) de
a.
Demonstrao:
Ferreira (2010, p. 86) supe a condio em que se tem a + b1 = a + b2 = 0 * . Na
associatividade
sequncia, escreve b2 = b2 + 0 * = b2 + (a + b1 ) = (b2 + a ) + b1 = 0 * + b1 = b1 .
Por outro lado, a demonstrao da existncia do simtrico depende, no entanto, da
situao considerada (FERREIRA, 2010, p. 86).
Ferreira (2010, p. 86) fornece a ideia de como construir o elemento simtrico,
considerando, inicialmente, um caso particular de a = 3* . de se esperar que
o simtrico seja (-3)* . Temos: a = 3* = {r | r<3}, (-3)* = {s | s< - 3} .
E ainda que 3* + (-3)* = {r + s |r 3* s (-3)* } . Necessitamos verificar que
3* + (-3)* 0 * e vice-versa.
Seja t 3* + (-3)* , ento t = r + s , onde r < 3 e s < -3 . Logo,
t = r + s < 3 + (-3) = 0 e portanto t < 0 e t 0 . Seja agora t 0 , ou seja, t < 0 .
* *
Definio
Como nos casos de e , definimos a subtrao em por
a - b = a + (-b ) , "a,b .
Demonstrao:
Deixamos como tarefa para voc, leitor.
Teorema
Para a, b , g , com a 0 * e b 0 * ,
seja g := - {r | r=pq , com p a, q b , p 0 e q 0} .
*
Demonstrao:
Deixamos como tarefa para voc, leitor.
Definio
Sejam a, b , g , definimos:
-( a b ) se a > 0 * e b < 0 * ou a < 0 * e b > 0 *
ab = ( a b ) se a < 0 * , b < 0 * ou a > 0 * e b > 0 *
0 se a = 0 * e b = 0 *
Teorema
A multiplicao de cortes comutativa, associativa, tem 1* como elemento neutro e se
a, b , g , vale:
i) a( b + g ) = ab + ag
ii) a 0 * = 0 *
iii) ab = 0 * se, e somente se, a = 0 * ou b = 0 *
iv) se a b e g 0 * , ento ag bg
v) se a b e g < 0 , ento ag bg
*
Demonstrao:
Deixamos como tarefa para voc, leitor.
Proposio:
Seja a , temos que r a se, e somente se, r * < a .
Proposio:
Sejam a, b e a < b , ento existe um corte racional r * tal que a < r * < b .
Demonstrao:
Deixamos a seu cargo, leitor.
Definio
O conjunto dos cortes ser, a partir de agora, denominado de conjunto dos nmeros
reais e denotado por . Os cortes racionais sero identificados, via a injeo j : ,
com os nmeros racionais. Todo corte que no for racional ser denominado numero
irracional.
Notao:
A identificao de j() com nos permite escrever . O conjunto -
representa o conjunto dos nmeros irracionais.
Demonstrao:
Vamos supor que existam dois nmeros g1 e g2 , nas condies do enunciado
acima, com g1 <g2 , nas condies do enunciado do teorema. Consideremos g3 tal
que g1 <g3 < g2 , devido pela proposio anterior. Repare que de g3 < g2 , resulta
que g3 A , pois b g2 , "b B e = A B . De modo anlogo, g1 <g3 , resulta
que g3 B . Obtemos ento que g3 A B = uma contradio. A existncia
fica a seu cargo, leitor.
Ferreira (2010, p. 93) acentua que este teorema fornece, em essncia, a
diferena entre e . E acrescenta: no teorema anterior e o exerccio anterior nos
dizem, informalmente que, em no h lacunas, mas que em , h. Por esta
razo, dizemos que possui a propriedade da completude ou que completo
(FERREIRA, 2010, p. 93).
Corolrio
Nas condies do teorema anterior, ou existe em A um nmero mximo, ou, em
B um nmero mnimo.
Demonstrao:
Deixamos para voc, leitor.
Definio
Consideremos o conjunto = 2 e nele definamos a adio e a multiplicao com
acima. O conjunto 2 , denotado por essas operaes, ser denominado conjunto dos
nmeros complexos e denotado por .
Teorema
As operaes em tm as seguintes propriedades: a adio e a multiplicao so
comutativas, associativas e tm elemento neutro. (0,0) para a adio e (1,0) para a
multiplicao. Alm disso, dado (a, b) seu simtrico existe, -(a, b) , e (-a,-b) ,
a -b
e
-1
e se (a, b) (0,0) , seu inverso existe (a, b) , 2 . Finalmente, a
a + b a + b2
2 2
Demonstrao:
Deixamos como exerccio para voc, leitor.
Ferreira (2010, p. 115) explica que podemos imergir em e observa
inicialmente que um nmero complexo arbitrrio (a, b) pode ser escrito da
forma (a, b) = (a,0) + (b,0) (0,1) , ou seja, utilizando-se apenas de pares ordenados
com a segunda coordenada nula, (a,0) , e (b,0) , e o nmero complexo especial (0,1) .
Consideremos agora a seguinte funo k : dada por k(x ) = (x,0) .
Definio
A funo k : injetora e preserva as operaes de adio e multiplicao, isto ,
k(x + y ) = k(x ) + k( y ) e k(x y ) = k(x ) k( y ) .
Demonstrao:
Deixamos como exerccio para voc, leitor.
De modo similar aos casos estudados anteriormente, aqui tambm temos em
uma cpia algbrica de , k( ) , o que nos permite identificar com k( )
e, portanto, considerar . Admitindo essa identificao e adotando i para o
nmero complexo (0,1) , a expresso para (a, b) = (a,0) + (b,0)(0,1) pode ser escrita
como a + bi , como fazamos no Ensino Mdio (FERREIRA, 2010, p. 115).
partir da frmula fn+1 fn-1 - fn 2 = (-1) n demonstrada pela primeira vez por
Giovanni Domenico Cassini (1625-1712), em 1680, como explica Koshy (2007,
apud ALVES; BORGES NETO, p. 134). Vamos agora realizar o mesmo raciocnio
Figura 3: Apresentao geomtrica das sequncias (ALVES; BORGES NETO, 2010, p. 8).
REFERNCIAS 163
REFERNCIAS 165
Professor Francisco Rgis Vieira Alves atua h dez anos no ensino superior como professor
de Matemtica. Foi professor da Universidade Regional do Cariri URCA, onde promoveu a
modificao e reorganizao do currculo para o professor de Matemtica em consonncia
com paradigmas nacionais e internacionais, e coordenador de cursos de especializao nesta
instituio voltados ao ensino da Matemtica. Atualmente professor do Instituto Federal
de Educao, Cincia e Tecnologia do Estado do Cear (IFCE), no qual possui atividades
direcionadas ao curso de licenciatura. No que diz respeito sua formao acadmica,
licenciado e bacharel em Matemtica UFC; mestre em Matemtica Pura e em Educao
(UFC); e doutor em Educao com nfase no ensino de Matemtica em nvel superior.
pesquisador do laboratrio Multimeios da UFC.