Egalit (ou somos todos iguais, mas alguns so mais iguais do que outros)

Um dos primeiros conceitos que uma criana aprende o conceito de igualdade e diferena a minha chupeta igual daquela criana, mas diferente daquela outra, que de outra cor; o que eu tenho entre as pernas igual ao do meu pai, mas diferente do da minha irm e, mesmo assim, quando comeamos a aprender teoria dos conjuntos e matemtica um pouco menos bsica do que o um mais um, parece que tudo o que tnhamos tanta certeza sobre a questo da igualdade estava errado. Para a Matemtica, nada igual a nada que no seja ele mesmo. Quem ser que est errada ento, nossa percepo que nos acompanha quase desde que nascemos ou esta tal de Matemtica? Bom, na verdade, nenhuma das duas. A verdade um pouco mais complicada do que isto, e passa pelo fato de que o mundo real no contm objetos matemticos, assim como, no mundo matemtico no existem objetos reais. Para entender melhor, vamos comear pelo mundo matemtico, j que o mundo real, ao contrrio dos nmeros reais, muito complexo. Quais so as principais propriedades da relao de igualdade entre dois (bom... um) objetos matemticos? I. II. III. Todo objeto igual a si mesmo (a=a) Reflexividade Se um objeto igual a outro, o outro igual ao primeiro (a=b => b=a) Simetria Se dois objetos so iguais a um terceiro, eles so iguais entre si (a=b ^ b=c => a=c) Transitividade

Em matemtica, relaes que possuem estas trs propriedades so chamadas de relaes de equivalncia. O que dissemos at agora foi que a relao de igualdade uma relao de equivalncia. No entanto, de certa forma, tambm verdade que qualquer relao de equivalncia uma relao de igualdade. Como assim? Em primeiro lugar, importante entendermos que a relao de igualdade no a nica relao de equivalncia. Para isto, o melhor a fazer descobrir outros exemplos: i. ii. Tem a mesma idade que, Tem o mesmo peso que, Tem a mesma rea que, ou, mais geralmente Tem a propriedade x igual de so todas equivalncias. [Entre nmeros inteiros] pode ser obtido do outro a partir da soma de um mltiplo de 17, [Entre formas no plano] pode ser obtida da outra atravs de translaes e rotaes ou pode ser obtida da outra atravs de translaes, rotaes e homotetias (ampliao ou reduo mantendo as propores).

fcil ver (talvez o primeiro de forma mais fcil que o segundo) que estes dois tipos de exemplos podem ser estendidos para uma infinidade de outros. Para usar um pouco mais de jargo matemtico, as categorias podem ser descritas por:

i. ii.

f(x) = f(y), onde f uma funo cujo domnio o domnio da relao x = f(y), onde f pertence a um grupo que opera no domnio da relao. Neste caso, se G este grupo, comum dizer que x = y a menos de G

A diviso nestas duas categorias puramente ilustrativa, e no nem mesmo uma diviso de verdade. Por exemplo, a primeira equivalncia listada no item (ii) pode ser re-escrita como Deixa o mesmo resto na diviso por 17 que, que claramente pertenceria ao primeiro grupo. No entanto, muitas vezes mais intuitivo pensar em uma relao de equivalncia em uma das duas formas ou na outra. A segunda observao que, cada vez que definimos uma relao de equivalncia, imediatamente estamos dividindo o nosso mundo (o domnio da relao). Em cada subconjunto, temos todos os elementos do conjunto que so equivalentes a um dado elemento (C(x) = {y D | y ~ x}). Por conta da reflexividade, simetria e transitividade, no difcil ver que, em cada uma dessas classes de equivalncia, todo mundo equivalente entre si, e ningum de uma classe equivalente a ningum de nenhuma outra classe. Vejamos, por exemplo, como ficariam as classes de equivalncia em dois dos nossos exemplos: - Domnio: nmeros inteiros; relao: Deixa o mesmo resto na diviso por 5 que As classes so:
C0 C1 C2 C3 C4 = = = = = {..., {..., {..., {..., {..., -10, -5, 0, 5, 10, ... } -9, -4, 1, 6, 11, ... } -8, -3, 2, 7, 12, ... } -7, -2, 3, 8, 13, ... } -6, -1, 4, 9, 14, ... }

- Domnio: tringulos do plano; relao: pode ser obtida do outro atravs de translaes, rotaes, reflexes e homotetias (ampliao ou reduo). Neste caso, melhor tentar transformar a relao de equivalncia (que foi descrita como uma relao do tipo ii) em uma relao do tipo i. Em primeiro lugar, tanto as translaes quanto as rotaes, reflexes e homotetias no alteram os ngulos de um tringulo. Por outro lado, apesar de ser um pouco mais difcil de demonstrar, se dois tringulos possuem os mesmos ngulos, sempre possvel chegar a um a partir do outro atravs de uma seqncia de translaes, rotaes, reflexes e homotetias. Portanto, para cada combinao de ngulos possvel para um tringulo (trinca de nmeros positivos que somem 180), existe uma classe de equivalncia, contendo todos os tringulos que possuem aqueles ngulos. Como vimos, as classes de equivalncia so um conjunto de subconjuntos do nosso domnio que satisfazem s seguintes condies: I. II. Todos os elementos do domnio pertencem a pelo menos um dos subconjuntos Nenhum elemento do domnio pertence a mais do que um dos subconjuntos.

Qualquer conjunto de subconjuntos que cumpra estas duas condies chamado de partio. Segue ento que qualquer equivalncia est associada a uma partio, formada por suas classes de equivalncia. Por outro lado, dada qualquer partio, naturalmente existe a relao associada Pertence ao mesmo subconjunto da partio que, que uma equivalncia do nosso tipo (i). Cada vez que definimos uma partio (ou uma equivalncia), definimos o seu espao quociente, que nada mais do que o conjunto dos diferentes subconjuntos da partio. Por exemplo, no primeiro exemplo acima, o espao quociente possui 5 elementos, e, no segundo, cada elemento do espao quociente pode ser definido por uma trinca de nmeros positivos que somem 180 (os ngulos do tringulo). Agora que j entendemos um pouco melhor sobre as equivalncias e parties, podemos analisar melhor a afirmao de que toda equivalncia , no fundo, uma igualdade. Vamos tomar como exemplo a nossa equivalncia dos tringulos do plano, a menos de movimentos rgidos, reflexes e homotetias. O que estamos dizendo que no nos interessa o tamanho do tringulo nem sua posio no plano, que, para ns, todos os tringulos eqilteros, por exemplo, so iguais. como se aplicssemos um filtro e s olhssemos o que nos interessa. E a verdade que toda a matemtica , no fundo, exatamente isto. Voltando ao nosso mundo real, eu tenho aqui na minha frente uma caneta Bic cristal azul. Existe alguma outra caneta igual a esta? Como nos ensinou o velho Herclito, nem mesmo esta mesma caneta h meia hora igual caneta que eu tenho na minha frente. Passemos ento o primeiro filtro (espao quociente) por uma equivalncia de continuidade ontolgica, e posso falar da mesma caneta sem precisar me preocupar com o tempo. Com este filtro ainda no posso dizer que nenhuma outra caneta Bic no mundo, mesmo a que eu tenho na minha outra mo, ou a que foi produzida no mesmo lote, que esta seja igual a ela. Dependendo do que eu quero estudar, no entanto, eu posso aplicar filtros maiores ou menores, e a minha classe de equivalncia pode ser formada, por exemplo, por todas as canetas Bic cristal azuis feitas na mesma fbrica, ou todas as canetas Bic cristal azuis, ou todas as canetas, ou at mesmo todos os objetos feitos de plstico. Tudo depende de quais propriedades so relevantes para o meu estudo. Entender quais propriedades so relevantes tambm significa entender quais operaes e funes so relevantes. Por exemplo, se eu vejo os meus tringulos no plano apenas me preocupando com os seus ngulos, a rea do tringulo no est bem definida, j que existem elementos dentro da mesma classe de equivalncia que possuem reas distintas. Da mesma forma, se eu considero os nmeros inteiros positivos apenas pelo nmero de dgitos que eles possuem quando escritos em base 10 (sem contar os possveis zeros esquerda), a operao de soma no faz sentido, porque 10 + 11 = 21 e 90 + 87 = 177, ou seja, a soma de dois nmeros de dois dgitos pode tanto tem dois dgitos quanto 3. Para que uma operao ou funo faa sentido no espao quociente, necessrio que ela seja compatvel com a relao de equivalncia. Sendo mais formal, uma funo f: X -> Y compatvel com uma relao de equivalncia ~ quando x ~ y => f(x) = f(y),

e uma operao o: X x X -> X compatvel com a relao de equivalncia ~ quando a ~ b ^ c ~ d => a o c ~ b o d. Vamos ver alguns exemplos mais para entender melhor o que isto significa: Considere a relao de equivalncia de nmeros inteiros de deixar o mesmo resto na diviso por 5 (ou seja, x ~ y existe N inteiro tal que x = y + 5N). Quais destas funes e operaes fazem sentido no espao quociente? ( verdade que todas elas fazem sentido no espao original os nmeros inteiros) - O resto da diviso por 3 - O nmero de dgitos quando escrito na base 10 - A soma de dois nmeros - O produto de dois nmeros - Elevar um nmero ao quadrado - Se o nmero positivo, zero ou negativo Considere agora a relao de equivalncia entre todos os objetos do plano tal que A ~ B se podemos deformar A sem rasgar ou colar at chegar em B (sendo mais formal, se existe uma bijeo contnua com inversa contnua entre A e B). Quais destas funes e operaes fazem sentido? - A rea - O nmero de lados de um polgono - O fato de ser um polgono ou no - O nmero de buracos (imagine um disco com um buraco, ou dois) - O nmero de pedaos conexos (imagine dois discos, ou trs) Considere a relao de equivalncia entre os pontos do plano com exceo da origem tais que a ~ b se existe uma reta que passa por a, b e a origem (ponto (0,0)). Quais destas propriedades fazem sentido? - A distncia origem - A soma vetorial de dois pontos - A razo entre as coordenadas x e y - Se o ponto est no plano superior ou inferior - Se o ponto pertence a um cone em torno da origem - A multiplicao dos nmeros complexos x + y i (onde x e y so as coordenadas do ponto) Muitas das descobertas da cincia se resumem, na essncia, a descobrir quais so os espaos quocientes adequados para cada problema. Vejamos, por exemplo, a gravidade. Antes de Newton, imaginava-se que existiam leis da fsica distintas para os objetos sublunares (abaixo da lua, os objetos que esto na Terra ou prximos dela) e supralunares (o sol, os planetas e as estrelas fixas). O que Newton descobriu essencialmente se resume a dizer que podemos usar a relao de equivalncia de tudo o que existe de material no universo, seja sub ou supra-lunar, apenas pela sua massa e sua posio no

espao, e a gravidade ainda faz sentido neste espao quociente. Ou seja, a gravidade uma funo apenas da massa dos objetos e de suas posies (relativas) no espao. Da mesma forma, a relatividade restrita de Einstein apenas a conseqncia natural da afirmao de que as leis da fsica so compatveis com a equivalncia de todos os referenciais inerciais (i.e. ignora-se posio e velocidades constantes). Da mesma forma, as diferentes reas da Matemtica so apenas o estudo de diferentes espaos quocientes. A geometria o estudo das classes de equivalncia por movimentos rgidos; se se permitem deformaes (sem rasgar ou colar), temos a topologia. Da mesma forma, a teoria de grupos estuda o espao quociente dos conjuntos com uma operao pela relao de equivalncia dada por bijees entre os conjuntos que respeitam a operao (f(x) o f(y) = f(x o y)). Voltando um pouco para o nosso mundo real, podemos tentar achar outros exemplos de equivalncias como filtros. Um dos filtros mais comuns para dizermos que dois objetos so iguais quando eles so quase idnticos. Ser que podemos formalizar este conceito de forma matemtica? Ser que isto realmente uma equivalncia, no sentido que acabamos de aprender? Vejamos um exemplo. Vamos supor que o nosso domnio seja o dos nmeros inteiros positivos. O critrio de ser quase idntico no parece ter um candidato natural, ento vou escolher um que parece ser adequado: vamos dizer que dois nmeros so quase iguais quando eles diferem por menos de 1%. Ento, por exemplo, 1000 quase igual a 1007, mas 100 no quase igual a 120. Ser que isto uma equivalncia? Bom, temos que testar as 3 propriedades da equivalncia e ver se se aplicam. Reflexividade: Comeamos bem, pois qualquer nmero difere de si mesmo por 0% que menos que 1%. Simetria: Aqui j podemos comear a ter problemas, pois 990.001 difere de 1.000.000 por 9999, que menos que 1% de 1.000.000, mas 1.000.000 difere de 990.001 por 9999, que mais que 1% de 990.001. Acontece que este problema no to srio assim, j que podemos definir que o percentual ser sempre definido com relao ao maior dos nmeros, e a conseguimos a simetria. Transitividade: Aqui j no temos como escapar, basta ver os nmeros 1000, 1009 e 1018. Ser que o problema foi com a nossa definio arbitrria de 1%? Ser que podemos corrigir este problema? A verdade que no. Qualquer definio que faamos de quase igual como sendo + ou X% ou + ou N (i.e. A quase igual a B se A-N < B < A+N) sempre ter o problema da transitividade. Ser que isto significa que qualquer definio de quase igual est fadada ao fracasso como tentativa de equivalncia? Isto vai contra a nossa intuio do dia-a-dia! A verdade que o problema do nosso exemplo no era tanto um problema da relao, mas sim um problema do domnio. Por exemplo, no nosso dia-a-dia, normalmente conseguimos separar as roupas do nosso armrio por cores, embora uma camisa azul no seja exatamente do mesmo tom de azul da outra. Como conseguimos definir esta equivalncia para as nossas camisas e no para os nmeros positivos?

Suponha que as suas camisas tivessem as cores abaixo:

Voc ainda seria capaz de separ-las por cor? Agora, se o seu armrio se parecesse mais com a figura abaixo:

Seria muito mais natural separar as camisas em 5 classes de equivalncia de cores quase iguais. Da mesma forma, embora seja fcil dividir os habitantes uma casa em geraes (crianas, pais e avs), quando se olha a populao como um todo qual o agrupamento que faz sentido? (No a toa que existe tanta controvrsia com relao qual deve ser a idade da maioridade penal!) O nome tcnico deste processo de agrupamento clustering, e uma tcnica extremamente til em reas como o marketing ou administrao. Quando voc capaz de agrupar os seus clientes ou clientes potenciais em classes de equivalncia, consegue ter aes de marketing direcionadas para cada grupo; quando voc capaz de agrupar os tipos de projeto que a sua empresa faz em projetos que possuem caractersticas comuns, voc consegue adaptar os processos para tratar cada projeto de forma mais eficiente sem ter que ter um processo diferente para cada projeto individual. Um exemplo interessante de clustering ocorreu em 2006, quando a Unio Astronmica Internacional se reuniu para realizar uma partio dos objetos celestes do sistema solar. Para isto, eles usaram 3 propriedades dos corpos celestes: (a) Orbita o Sol (em oposio a orbitar outro corpo celeste, como a nossa lua)? (b) Tem massa suficiente para atingir o equilbrio hidrosttico e, portanto, uma forma aproximadamente esfrica (c) Foi definida uma propriedade de um corpo celeste definida a grosso modo como a massa do objeto dividida pela soma da massa de todos os outros objetos que cruzam a rbita daquele objeto ao redor do Sol. Quando grande, isto significa que ele conseguiu limpar a sua rbita, atraindo os demais objetos ou para dentro de si ou como satlites. Com base nos critrios (a) e (b), se formaram de forma fcil duas classes de equivalncia: Se no satisfaz (a) um satlite; se satisfaz (a) e no (b) um asteride. Ainda restavam 12 objetos conhecidos que satisfaziam (a) e (b). Segue a lista destes objetos com o seu valor de : Ranking Nome 1 Terra 1.7 106

2 3 4 5 6 7 8 9 10 11 12

Venus Jpiter Saturno Marte Mercrio Urano Netuno Ceres Eris Pluto Makemake

1.35 106 6.25 105 1.9 105 1.8 105 9.1 104 2.9 104 2.4 104 0.33 0.10 0.077 0.02

natural dividir estes objetos em 2 classes de equivalncia com base no valor de - os 8 primeiros objetos divergem entre si por um fator de cerca de 80, os 4 ltimos por um fator de cerca de 20, e os dois grupos divergem entre si por um fator de 70000! Com base nesta diviso foram definidas as classes de equivalncia dos planetas (os oito primeiros da lista) e planetas-anes (os quatro ltimos). Saindo de novo do mundo real, a questo da igualdade tambm aflige os programadores. Quando que dois objetos so iguais em uma linguagem de programao? A resposta : depende. Por exemplo, em Java, o operador == sempre retorna falso a menos que seja o mesmo objeto (tecnicamente, referncia para a mesma posio de memria); como no exemplo abaixo: Point p1 = new Point(2,1); Point p2 = new Point(2,1); Point p3 = p1; System.out.println(p1 == p2); //false System.out.println(p1 == p3); //false Em compensao, a classe Object possui o mtodo equals, que pode ser sobrescrito para qualquer outra equivalncia que faa mais sentido (embora, naturalmente, o compilador no tenha como garantir que a lgica que foi programada seja, de fato, uma equivalncia e a documentao alertar fortemente que o programador deva garantir que ela o seja). Em linguagens que permitam sobrecarga de operadores, como C# ou C++, o comportamento padro do operador == o mesmo de Java, mas o programador pode alterar o prprio operador para significar outro tipo de equivalncia. Espero que este artigo tenha contribudo para mostrar que a Matemtica no to dissociada assim do mundo real, e espero que o seu conceito sobre a questo da igualdade no seja mais igual ao que era antes de ler este artigo.