Folhetim Educ. Mat., Feira de Santana, Ano 18, N umero 163, nov./dez.

, 2011

ISSN 1415-8779

Este Folhetim e um ve culo de divulga c ao, circula c ao de ideias e de est mulo ao estudo e a ` curiosidade intelectual. Dirige-se a todos os interessados pelos aspectos pedag ogicos, los ocos e hist oricos da Matem atica. Pretende construir uma ponte para unir os que est ao pr oximos e os que est ao distantes.

A Matem atica: suas origens, seu objeto e seus m etodos (continua c ao)
Carloman Carlos Borges

2.2 Axiom atica (continua c ao)

Ligados a uma determinada axiom atica temos dois outros problemas: o problema do rigor e o problema da verdade; como j a dissemos anteriormente, a verdade matem atica e relativa a uma certa teoria T, e jamais uma coisa acabada: aqui, vale o princ pio da n ao contradi c ao. Igualmente o rigor: ele n ao se encontra acabado numa suposta imutabilidade. Ambos esses conceitos s ao hist oricos; ambos experimentam seus renamentos, de acordo com a evolu c ao da Matem atica. Isto e perfeitamente compreens vel se levarmos em considera c ao a pr opria historicidade da raz ao humana. Nenhuma ci encia e formada de compartimentos estanques; mesmo entre as ci encias existe uma interdepend encia, pois cada uma delas revela aspectos espec cos da realidade.

Prosseguimos com a transcri c ao das notas intituladas A Matem atica: suas origens, seu objeto e seus m etodos - Parte I, de autoria do professor Carloman. Esta edi c ao tratar a de deni c oes, encerrando o t opico A Matem atica continua progredindo, iniciado no Folhetim 158. O subt opico Axiom atica e nalizado neste n umero, trazendo considera c oes sobre o problema da verdade e o problema do rigor. Veremos uma discuss ao entre deni c oes reais e deni c oes usuais empregadas em Matem atica, que s ao: deni c oes nominais ou expl citas; deni c oes por abstra c ao; deni c oes por recorr encia. Desejamos aos nobres leitores e a seus familiares um 2012 pr ospero e repleto de realiza c oes.

2.3 Deni c oes

O conhecimento humano e conceitual; o homem conhece o como se existisse, entre mundo por interm edio dos conceitos. E a realidade objetiva e o sujeito cognoscente, um biongo formado por novas ideias. O conhecimento imediato do mundo, sem quaisquer media c oes, seria o conhecimento intuitivo, o conhecimento dos santos e dos grandes m sticos orientais e seus adeptos bem sucedidos. Aqui, estamos interessados no conhecimento matem atico que e essencialmente conceitual. Para sobreviver o homem precisa ajustar-se ` a realidade que lhe e circundante, conhecendo-a cada vez melhor e transformando-a com esse conhecimento. Na aquisi c ao de suas verdades, ele forma indispens conceitos, combina-os e forma teorias. E avel, portanto, renar seus conceitos: tornar o biongo existente, mencionado logo acima, cada vez mais l mpido. O processo de renamento conceitual e um processo limite, porque o processo do conhecimento, em sua totalidade, e um processo innito. O assim chamado princ pio da economia do pensamento atravessa todas as ci encias; estamos empregando-o, por exem-

Carloman Carlos Borges (UEFS) - in memoriam In acio de Sousa Fadigas (UEFS) Marcos Grilo Rosa (UEFS) Traz bulo Henrique (UEFS)

Folhetim Educ. Mat., Feira de Santana, Ano 18, N umero 163, p.2, nov./dez., 2011

plo, quando procuramos denir as entidades com as quais nossa mente lida. Uma deni c ao e, antes de mais nada, uma conven c ao conceitual; quando, ainda exemplicando, denimos c rculo como o lugar geom etrico dos pontos do plano equidistantes de um ponto xo desse mesmo plano, a conven c ao est a perfeitamente clara: doravante, empregaremos o termo c rculo no lugar de toda essa frase entre aspas. Em deni c oes desse tipo, as mais usuais em Matem atica, o trabalho criador da mente e evidente: o ser denido: c rculo - nasce com a sua pr opria deni c ao e e claro que ele pode, em outro contexto, servir de termo primitivo, da mesma maneira como nossa deni c ao lugar geom etrico - aparece primitivamente, isto e, sem deni c ao. Quando falamos em termos primitivos, acrescentamos serem termos sem deni c ao, porquanto e imposs vel denir-se todos os termos sem cair naquilo que e comumente chamado de regress ao ao innito; todavia, os axiomas de uma determinada teoria T , estabelece rela c oes entre os termos primitivos dessa mesma teoria e, atrav es dessas rela c oes, cam estabelecidos os signicados dos termos primitivos da teoria T . Por isso, alguns autores acham que os axiomas s ao deni c oes impl citas dos termos primitivos da mesma teoria, no sentido dado acima. Agora, considere a deni c ao: O Brasil faz fronteiras com o Uruguai, a Argentina, etc. Com esta frase denimos as fronteiras do Brasil, isto e, algo j a existente; esta deni c ao n ao introduz no vocabul ario de T qualquer termo novo, pois apenas menciona, enumera coisas reais; deni c oes desse tipo s ao designadas deni c oes reais e n ao s ao empregadas em Matem atica. As deni c oes mais usuais em Matem atica s ao: a) deni c oes nominais ou expl citas; b) deni c oes por abstra c ao; c) deni c oes por recorr encia. Todos os tr es tipos acima possuem uma caracter stica comum: introduzem no vocabul ario da teoria T , em estudo, termos novos; a deni ca o

de c rculo, j a mencionada, e um exemplo de deni c ao nominal ou expl cita, tipo bastante usual em Matem atica. Todas as deni c oes, logo abaixo, ainda pertencem ao tipo (a): i) Um determinante e nulo se, e somente se, suas leiras ou colunas s ao linearmente dependentes; ii) A B = o conjunto dos elementos que pertencem, simultaneamente, aos conjuntos A e B ; iii) A B = a intersec c ao de A e B e o pr oprio A. As deni c oes por abstra ca o requerem uma pequena introdu c ao: devemos, primeiro, introduzir alguns outros termos. Assim, consideremos a t ao conhecida rela c ao de igualdade =. Ela goza das propriedades: a) x = x (Propriedade Reexiva); b) x = y y = x (Propriedade Sim etrica); c) x = y, y = z x = z (Propriedade Transitiva). Dado um conjunto A, uma rela c ao de equival encia em A e uma rela c ao bin aria em A que goza das tr es propriedades mencionadas acima, destarte, a rela c ao de igualdade entre elementos de um conjunto A estabelece em A uma rela c ao de equival encia. O s mbolo e comumente empregado para designar tal rela c ao; assim x y (x equivale a y ) mostra que os elementos x e y do conjunto A possuem, entre si, a rela c ao denida. Um outro exemplo de rela c ao de equival encia e dado pela rela c ao de paralelismo, no conjunto R das retas do plano euclidiano P , pois sendo a, b e c elementos de R: i) a a ( a e paralela a si mesma) ii)a b b a iii)a b , b c a c Um conceito importante intimamente ligado ao de rela c ao de equival encia, e o de parti c ao. Considere o conjunto A dos autom oveis fabricados no Brasil, das marcas Fiat, Chevrolet e Volkswagen, representados, respectivamente, por F , C e V ; em A estabelecemos a rela c ao o carro a tem a mesma marca que o carro b; esta rela c ao e de equival encia no conjunto A, pois desfruta das tr es propriedades acima. De fato, seja A: F V F C F C F V V C C C F V C F C V V V V F V F F F C

MATEMATICA NEMOC - NUCLEO DE EDUCAC AO OMAR CATUNDA Folhetim Educ. Mat., Feira de Santana, Ano 18, N umero 163, nov./dez. 2011 - Editores: In acio, Grilo e Traz bulo Digita c ao: Josenildes Oliveira Venas Almeida e Manoel Aquino dos Santos - Editora c ao: Evandro Vaz e Nivaldo Assis - Impress ao: Imprensa Gr aca Universit aria - Periodicidade: bimestral - Tiragem: 1.500 exemplares - Distribui c ao gratuita - Endere co: Avenida Transnordestina s/n, M odulo Prof. Carloman Carlos Borges, bairro Novo Horizonte, Feira de Santana, BA, Brasil. CEP 44.036-900. - Telefone: (75)3161-8115 - Fax: (75)3161-8086 - E-mail: nemoc@uefs.br Home-Page: www.uefs.br/nemoc

Folhetim Educ. Mat., Feira de Santana, Ano 18, N umero 163, p.3, nov./dez., 2011

Em um novo quadro, ap os dividir o conjunto A em compartimentos, coloquemos, em cada um deles os carros da mesma marca: V V V V V V V V V C C C C C C C C F F F F F F F F F F

Ao conjunto acima d a-se o nome de conjuntoquociente (A/R) e ele representa uma parti ca o do conjunto A, isto e, uma decomposi c ao un voca de A em subconjuntos com as propriedades: i) s ao disjuntos dois a dois; ii) sua reuni ao e o pr oprio A; iii) nenhum desses subconjuntos e vazio. Cada um desses subconjuntos se chama classe de equival encia. Sendo a um elemento de A, ent ao, ao subconjunto: a = { x A; x a } de todos os elementos equivalentes a um dado a, chama-se classe de equival encia do elemento a. Seja = 2 um plano real com um sistema de coordenadas retangulares cartesianas. Consideremos dois pontos P e P pertencentes a e a uma mesma reta horizontal. Seja a propriedade pertencem a uma mesma reta horizontal; esta propriedade e uma rela c ao de equival encia e as classes de equival encia s ao determinadas por retas horizontais:

foi denido; na linguagem comum, o signicado de um termo j a assegura seu uso; ali as, a maioria das palavras que usamos n os as aprendemos baseados apenas nos seus signicados. Em Matem atica, todavia, exige-se a deni c ao daqueles termos que n ao s ao primitivos dentro de uma mesma axiom atica. A deni c ao de dire c ao e o primeiro exemplo de uma deni c ao por abstra ca o. Seja a rela c ao de paralelismo mencionada na p agina 2; trata-se de uma rela c ao de equival encia no conjunto das retas do plano euclidiano e, ent ao, o seu conjunto quociente e uma parti c ao em R. Sabemos que, numa rela c ao de equival encia, dois elementos s ao equivalentes se, e somente se, eles determinam a mesma classe de equival encia; logo, o que duas retas paralelas t em de comum e a classe de equival encia, denindose a dire c ao de uma reta x como sendo sua classe de equivalencia x em R. Assim, sejam as retas:

Em uma classe coloquemos todas as retas paralelas ` a reta x; teremos ent ao, a primeira classe de equival encia em R; em outra classe, coloquemos todas as retas paralelas ` a reta dada y ; teremos a segunda classe de equival encia. Assim, procedendo, teremos as diversas classes de equival encia da parti c ao associada ` a rela c ao de paralelismo. Vejamos a visualiza c ao dessas classes:

Este exemplo foi extra do do livro Introduccion al Algebra de A. I. Kostrikin, Editorial MIR. Outro exemplo importante de rela c ao de equival encia e sugerido pela rela c ao de equipol encia entre segmentos orientados do plano euclidiano . Dizemos que os dois segmentos orientados a e b pertencentes ao plano , s ao equipolentes quando possuem a mesma dire c ao, o mesmo sentido e o mesmo comprimento (por enquanto, dire c ao aqui signica que dois segmentos a e b est ao situados em uma mesma reta ou em retas paralelas; ademais, a e b podem ser nulos). Evidentemente, saber o signicado de um termo n ao implica que ele

Folhetim Educ. Mat., Feira de Santana, Ano 18, N umero 163, p.4, nov./dez., 2011

Observemos que a dire c ao de uma reta e um conjunto, o qual e a sua correspondente classe de equival encia. Outro exemplo de uma deni c ao por abstra c ao e sugerido pela rela c ao de equipol encia. Assim, um vetor determinado por um segmento orientado a e o conjunto de todos os segmentos orientados do plano que s ao equipolentes ao segmento orientado a, isto e, um vetor a e a classe de equival encia determinada pelo segmento orientado a. Como qualquer uma das classes de equival encia determinada por um segmento orientado a e formada de innitos elementos, conclu mos: um vetor e um conjunto innito de segmentos orientados. Nas diversas aplica c oes pr aticas, por em, empregamos um segmento orientado a para representar o vetor a, isto e, representamos um vetor a - que e um conjunto innito de segmentos orientados, por apenas um segmento orientado a - que e um conjunto innito de pontos. Os exemplos acima mostram como cada rela c ao de equipol encia permite denir por abstra c ao um novo conceito. Outro tipo de deni c ao usado em Matem atica ea deni c ao por recorr encia, a qual utiliza o V axioma de Peano; este tipo de deni c ao introduz novos conceitos ligados aos n umeros naturais. Assim, para introduzir o conceito de soma de n umeros naturais, dene-se: m + 1 = s(m) m + s(n) = s(m + n) sendo m, n n umeros naturais dados. Lembramos que s(m) e o sucessor de m. Concretamente, ter amos: 14 + 2 = 14 + s(1) = s(14 + 1) = 16 Para denir an , a e n naturais, temos: a1 = a an+1 = an .a Nesse tipo de deni c ao e f acil perceber a passagem do innito potencial ao acabado. Note-se que, na deni c ao de soma dada acima e introduzida por Peano, s ao empregados os termos primitivos um e sucessor; ademais, uma inspe c ao visual sobre ela pode levar-nos a ` ideia de que estamos diante de uma deni c ao incorreta, uma vez que a coisa denida - o sinal + - faz parte dos dois lados da identidade; ora, se o s mbolo a ser denido (que e o sinal +) o e por interm edio dele pr oprio, encontramo-nos diante de uma deni c ao circular, t ao usada pelos dicion arios. A obje c ao e inteligente, embora, neste caso, possa ser rebatida satisfatoriamente, pois o sinal + pode ser eliminado do segundo membro da identidade; para tal basta lem-

brar que: s(s(s(5))) = s(s(6)) = s(7) = 8 Assim, pela deni c ao: 5 + 3 = 5 + s(2) = s(5 + 2) que aparenta ser circular, signica: 5 + 3 = s(s(s(5))) Para maiores detalhes, pode-se consultar Leonidas Hegenberg, Deni c oes: termos te oricos e signicado, Editora Cultrix - Editora da Universidade de S ao Paulo.

A Matem atica: suas origens, seu objeto e seus m etodos. (Continua c ao)

CEEM Semipresencial O N ucleo de Inform atica e Sociedade (NIS) e o NEMOC oferecer ao em 2012 o Curso de Especializa c ao em Educa c ao Matem atica, Modalidade Semipresencial. Brevemente, ser a lan cado o edital para o processo seletivo. Maiores informa c oes, no site do NEMOC: http://www.uefs.br/nemoc V deos do IMPA O IMPA disponibiliza no endere co http://video.impa.br um reposit orio de v deos de cursos, palestras, col oquios, etc. Est ao dispon veis, gratuitamente, v deos das cinco u ltimas edi c oes do Col oquio Brasileiro de Matem atica, cursos do Programa de Aperfei coamento de Professores de Matem atica do Ensino M edio, aulas de disciplinas do mestrado e doutorado como, por exemplo, An alise na Reta e Topologia das Variedades, etc. H a uma se c ao interessante contendo entrevistas com em eritos do IMPA: Elon Lages, Manfredo Perdig ao, Maur cio Peixoto e Jacob Palis foram os entrevistados at e o momento.

Envie para cada Folhetim um selo de postagem nacional de 1o porte. Dentro de no m aximo quatro semanas, contadas a partir da data de recebimento do seu pedido, voc e receber a permitida a reprodu os folhetins solicitados. OBS.: E c ao total ou parcial deste Folhetim, desde que citada a fonte.