lgebras e Tecnologia

1 lgebras reais

Iniciao Nova Matemtica da Engenharia Geloneze-Menochi

Para Tales ... a questo primordial no era o que sabemos, mas como o sabemos. Aristteles 1. LGEBRAS REAIS 1.1 O CORPO DOS REAIS E AS LGEBRAS
1

SOBRE

H trs tipos de conceitos fundamentais na Fsica: os escalares, os vetoriais e os tensoriais. Os escalares so conceitos como distncia, tempo, comprimento, rea, volume, massa, temperatura, densidade, etc. Como exemplo de escalares fundamentais citamos as coordenadas de um ponto num espao representado por um sistema de coordenadas. Os conceitos vetoriais so aqueles caracterizados por uma direo, um sentido e uma magnitude. Esses conceitos so denominados vetores. Fora, torque, corrente eltrica, campo eltrico, campo magntico, velocidade e acelerao so exemplos de vetores. Usualmente um vetor representado graficamente por um segmento de reta orientado, cujo comprimento corresponde sua magnitude, e a reta suporte desse segmento determina a sua direo. Quanto s grandezas tensoriais, um bom exemplo o momento de inrcia. No usaremos tensores nesse livro. Fazemos uso de apenas uma estrutura matemtica: a estrutura de lgebra. A lgebra dos nmeros reais a estrutura dos escalares. Os escalares so objetos algbricos nesse livro so os elementos de um corpo K que podem ser multiplicados pelos vetores v. Por exemplo, quando se dobra uma fora v, multiplica-se o vetor representante v da fora por 2 obtendo-se 2v. Quando se altera apenas o sentido de uma fora v, multiplica-se o vetor que representa essa fora por 1 obtendo-se v. importante esclarecer a estrutura dos corpos que tm um importante papel em Fsica e, particularmente, na cinemtica do rob, em cdigos, etc. A lgebra dos nmeros reais uma das mais importantes estruturas algbricas da matemtica. Ela a base fundamental da Anlise Matemtica, rea da Matemtica de grande aplicao nas Cincias em geral, especialmente na Fsica. Definio 1.1.1 Dizemos que os nmeros reais formam um corpo ordenado porque existem duas operaes, a adio e a multiplicao, dois elementos distinguidos 0 e 1, que satisfazem
4

lgebras e Tecnologia
1 lgebras reais

Iniciao Nova Matemtica da Engenharia Geloneze-Menochi

as seguintes propriedades: (a) a adio comutativa a + b = b + a; (b) a multiplicao comutativa a.b = b.a; (c) a adio associativa (a + b) + c = a + (b + c); (d) a multiplicao associativa (a.b).c = a.(b.c); (e) existe um elemento neutro para a adio a + 0 = a; (f) existe um elemento neutro para a multiplicao a.1 = a; (g) existe o elemento inverso aditivo a + ( a) = 0; (h) existe o elemento inverso multiplicativo a.(

1 ) = 1 a

(desde que a 0);

(i) vale a propriedade distributiva a.(b + c) = a.b + a.c. Existe uma ordem total compatvel com as operaes. Isso quer dizer que, quaisquer que sejam a e b, temos a b ou b a, e essa ordem se relaciona com as operaes de adio e multiplicao da seguinte maneira: (j) se a b e b c, ento a c (essa propriedade se chama transitividade); (k) se b c, ento a + b a + c, para qualquer a; (l) se a 0, e b c, ento a.b a.c. Observemos que a adio tem as mesmas propriedades que a multiplicao com as seguintes ressalvas: 1. o elemento neutro 0 da adio , por hiptese, diferente do elemento neutro 1 da multiplicao; 2. todos os nmeros a da estrutura tm inversos aditivos ( a), enquanto que os nmeros a tambm possuem inversos multiplicativos desde que a 0.
5

lgebras e Tecnologia
1 lgebras reais

Iniciao Nova Matemtica da Engenharia Geloneze-Menochi

A propriedade comutativa permite que adicionemos e multipliquemos dois nmeros em qualquer ordem: a ordem das parcelas no altera a soma e a ordem dos fatores no altera o produto. A propriedade associativa permite que adicionemos e multipliquemos trs nmeros de dois modos: ou operando o resultado dos dois primeiros com o terceiro, ou operando o primeiro com o resultado dos dois ltimos. Quanto ao elemento inverso, h uma assimetria. A razo disso que se houvesse simetria nesse caso, existiria um inverso A multiplicativo do 0. Isso nos levaria a 0.A = 1. Entretanto, no difcil mostrar que, para qualquer nmero real b, temos: 0.b = 0. A conseqncia disso seria que 1 = 1.1 = 1.(0.A) = (1.0).A = 0.A = 0, o que nos daria a igualdade 1 = 0! Concluiramos que para quaisquer nmeros reais a e b, a = b! Exerccio 1.1.1 Mostre que no corpo ordenado dos nmeros reais vale a igualdade 0.a = 0, qualquer que seja o nmero real a. Mostre tambm que se 1 = 0, ento para quaisquer nmeros reais a e b, temos a = b. Qual a concluso? O exerccio acima nos mostra que se impusermos simetria entre a inverso da adio e a inverso da multiplicao, pagaremos um preo muito caro por isso, o preo do colapso da estrutura dos nmeros reais: s existiria um nmero real, a saber, o zero (ou o 1, como quisermos, pois seriam iguais)! No poderamos aplicar essa estrutura na Fsica porque no esperamos que exista apenas um objeto fsico! interessante notar que as propriedades acima implicam que existem infinitos nmeros reais. Como 1 no 0, segue-se que 2 no 1 e 2 tambm no 0! Exerccio 1.1.2 Mostre que nenhuma soma 1 +4243 de 1 1 + ... + 1
n

n parcelas iguais a 1 pode ser 0 no corpo ordenado dos nmeros reais. A concluso que existem infinitos nmeros reais. No podemos agora concluir que existem infinitos objetos fsicos na Natureza! Apenas podemos observar que, na hiptese de que exista mais de um objeto fsico na Natureza, uma estrutura matemtica de apenas um elemento no poderia servir de modelo para nenhum padro.
6

lgebras e Tecnologia
1 lgebras reais

Iniciao Nova Matemtica da Engenharia Geloneze-Menochi

natural perguntar se, ao contrrio, uma estrutura algbrica com infinitos elementos pode servir Fsica. O infinito um dos objetos matemticos mais fundamentais e mais importantes. Porm, a cincia em geral no lida com uma quantidade infinita de objetos. Mesmo assim, as estruturas matemticas infinitas so de grande utilidade Cincia. Como exemplo, aplicaremos mais tarde a estrutura algbrica dos nmeros reais na cinemtica do rob plano e no Captulo 6 nas noes introdutrias de herana gentica. Exerccio 1.1.3 Mostre que as fraes formam um corpo ordenado. Conclua que o corpo dos nmeros reais contm um corpo que no ele prprio. Mostre que as fraes formam um subcorpo do corpo dos nmeros reais. Existem outros subcorpos dentro do corpo dos nmeros reais? Quantos? Exerccio 1.1.4 Mostre que os nmeros complexos formam um corpo. Mostre que no existe uma ordem na qual os complexos possam ser ordenados de modo compatvel com a adio e com a multiplicao. Mostre que os nmeros reais formam um subcorpo do corpo dos nmeros complexos. Observemos que alguma propriedade relacionando a adio e a multiplicao tem que valer, pois, do contrrio, no teramos como relacionar essas duas operaes. A propriedade distributiva uma possibilidade (das mais simples) de relacionamento entre a adio e a multiplicao. Ainda no caso de uma estrutura cuja multiplicao no possui as mesmas propriedades da adio, dizemos que ela no comutativa, ou no associativa, ou no tem elemento neutro, ou ainda, que ela no possui a propriedade do elemento inverso multiplicativo. Analogamente, quando a multiplicao associativa dizemos que a estrutura associativa; quando a multiplicao comutativa dizemos que a estrutura comutativa; quando a multiplicao tem elemento neutro dizemos que a estrutura tem unidade e, finalmente, quando a multiplicao possui a propriedade do elemento inverso para todos os elementos, exceto para o 0, dizemos que os elementos no nulos so inversveis. Quando uma estrutura comutativa, associativa, tem unidade, e os seus elementos no nulos so inversveis, dizemos que ela
7

lgebras e Tecnologia
1 lgebras reais

Iniciao Nova Matemtica da Engenharia Geloneze-Menochi

um corpo. Por exemplo, como j vimos, os nmeros reais, as fraes e os nmeros complexos formam um corpo. Quando pensamos em tais estruturas, inevitvel perguntar por que interessante supor que a multiplicao imite a adio. Isto , por que interessante supor que a multiplicao tambm tenha as mesmas propriedades da adio, quais sejam, a propriedade comutativa, a propriedade associativa, a propriedade do elemento neutro e a propriedade do elemento inverso? O fato que todas as lgebras tm sua utilidade, de um modo ou de outro. Por exemplo, as lgebras genticas, de grande importncia no estudo de populaes, so comutativas mas no associativasi. Definio 1.1.2 Uma lgebra real (complexa) um conjunto V com uma adio +, que satisfaz as propriedades comutativa, associativa, do elemento neutro 0 e do oposto aditivo, e com uma multiplicao que satisfaz a propriedade distributiva. Os elementos do conjunto so denominados vetores. Embora no precisemos exigir que a multiplicao tenha as mesmas, ou apenas algumas das propriedades da adio de vetores, exigimos que esses vetores admitam uma multiplicao por escalar, isto , uma multiplicao por nmeros reais (complexos). As propriedades da lgebra real (complexa) esto explicadas abaixo. Definio 1.1.3 Diremos que uma lgebra real (complexa) uma lgebra sobre o corpo dos reais (complexos), justamente porque seus elementos, isto , seus vetores, podem ser multiplicados por nmeros reais (complexos) produzindo novos vetores. A estrutura de lgebra real (complexa) sofisticada: a multiplicao por escalar uma operao que envolve entes diferentes, ou seja, escalar e vetor e, no entanto, produz como resultado um novo vetor. Devemos nos pronunciar quanto ao relacionamento entre vetores e escalares numa lgebra real (a discusso anloga no caso complexo). Motivados pela experincia dos fsicos com os conceitos de adio de foras e de multiplicao de foras por nmeros, fazemos a seguinte exigncia para uma lgebra real (a e b representam nmeros reais e v e w representam vetores): a (v + w) = av + aw
8

lgebras e Tecnologia
1 lgebras reais

Iniciao Nova Matemtica da Engenharia Geloneze-Menochi

isso quer dizer que a multiplicao por escalar distribui em relao adio de vetores; (a + b) v = a v + b v isso quer dizer que a multiplicao por escalar distribui em relao adio de escalares; (a.b)v = a(bv) isso quer dizer que a multiplicao por escalar compatvel com a multiplicao dos nmeros reais; 1v = v isso quer dizer que o elemento neutro da multiplicao real continua neutro na multiplicao por escalar. Ainda h a multiplicao de vetores para ser relacionada com a multiplicao por escalar. Novamente, motivados pela experincia dos fsicos com os vetores do espao tridimensional, fazemos as seguintes exigncias para o relacionamento entre multiplicao por escalar e a multiplicao interna entre os vetores de V: a (v w) = (a v) w = v (a w) isso significa que a multiplicao por escalar compatvel com a multiplicao vetorial; (a.b) v = a (b v) isso significa que a multiplicao entre nmeros reais compatvel com a multiplicao por escalar. Resumindo, ento, as propriedades que caracterizam uma lgebra real, podemos formar o seguinte quadro de relaes. Observemos que a e b so escalares, isto , nmeros reais, e u, v e w so elementos de V, isto , so vetores. esquerda esto as propriedades da adio de vetores; direita mostramos como a adio de vetores convive com a multiplicao
9

lgebras e Tecnologia
1 lgebras reais

Iniciao Nova Matemtica da Engenharia Geloneze-Menochi

por escalar e com a multiplicao vetorial: u + (v + w) = (u + v) + w u+v=v+u u+0=u u + ( u) = 0 a (v + w) = av + aw (a + b) v = a v + b v u (v + w) = u v + u w (u + v) w = u w + v w

Finalmente, mostramos como as multiplicaes se relacionam e a propriedade do elemento neutro na multiplicao por escalar: a (v w) = (a v) w = v (a w) (a.b) v = a (b v) 1v = v Exerccio 1.1.5 fcil ver que os nmeros reais formam uma lgebra real. Por via das dvidas, mostre todos os detalhes dessa afirmao. Pense nos nmeros reais como segmentos orientados na reta numrica (cartesiana) com origem no 0. Esses segmentos orientados so representantes dos vetores da lgebra real. Exerccio 1.1.6 Mostre que os nmeros complexos formam uma lgebra real. Os vetores so representados por flechas com origem em (0, 0). Agora, considere os nmeros reais como o corpo de escalares dessa lgebra real. Exerccio 1.1.7 Mostre que os nmeros complexos formam uma lgebra complexa. Pense nos nmeros complexos como flechas no plano cartesiano com origem em (0, 0). Considere os nmeros complexos como o corpo de escalares. O exemplo mais esperado de lgebra real, e mais importante para a cinemtica do rob, o conjunto de vetores tridimensionais com sua adio e sua multiplicao usuais de vetores por escalar, combinados com o produto vetorial clssico. Definio 1.1.4 Dados dois vetores u = (a, b, c) e v = (d, e, f) de 3 definimos o seu produto vetorial como sendo o vetor w = u v = (b.f c.e) i (a.f c.d) j + (a.e b.d) k. Definimos a multiplicao por escalar pela frmula: t.u = (ta, tb, tc), onde t .
10

lgebras e Tecnologia
1 lgebras reais

Iniciao Nova Matemtica da Engenharia Geloneze-Menochi

Representaremos essa estrutura por < 3,+, >. Exerccio 1.1.8 Mostre que < 3,+,> uma lgebra real no comutativa, no associativa, sem elemento neutro e sem a propriedade do inverso multiplicativo. Antes de aplicar essa lgebra real Fsica, apreciemos a maneira como o produto vetorial foi definido. Observemos a simetria envolvida na definio. Pensemos nos determinantes 2 2 que podemos extrair da matriz das coordenadas dos vetores u e v:

a b d e

c f

O determinante das colunas 2 e 3 como coeficiente do vetor i; o determinanteii das colunas 1 e 3 como coeficiente do vetor j; e o determinante das colunas 1 e 2 como coeficiente do vetor k. A bela simetria escondida est na escolha sempre de colunas com posies que completam o conjunto de ndices {1, 2, 3} com a posio do vetor bsico i, ou j, ou k. Matematicamente difcil imaginar simetria mais atraente para os elementos da matriz de coordenadas de u e v. notvel que essa definio, um tributo idia de simetria, tenha sido justamente aquela que os fsicos descobriram ser extremamente til e importante na investigao das leis fsicas da Natureza. No obstante toda a simetria contida no produto vetorial, ele no comutativo, nem associativo, no tem elemento neutro e no possui a propriedade do elemento inverso multiplicativo. Tiramos daqui uma grande lio sobre investigao cientfica. Existem, como mostrado pela Fsica, na Natureza fenmenos que, para serem modelados matematicamente, necessitam de estruturas no comutativas, no associativas, etc. Da a importncia do trabalho dos matemticos que sempre procuram generalizar os conceitos e resultados descobertos. Mesmo estruturas que parecem, primeira vista, estranhas ou intratveis no escapam das investigaes dos matemticos. Reciprocamente, as descobertas de padres fsicos da Natureza estimulam a investigao de simetrias escondidas nas estruturas matemticas. A Histria da Cincia confirma o grande sucesso desse
11

lgebras e Tecnologia
1 lgebras reais

Iniciao Nova Matemtica da Engenharia Geloneze-Menochi

relacionamento entre Fsica e Matemtica. Mostraremos no volume de cinemtica que o produto vetorial pode ser manipulado matematicamente para fornecer uma bela frmula (de Rodrigues) para a rotao no espao de um ngulo em torno de uma certa reta. til lembrar que uma lgebra real tem 11 propriedades que definem sua estrutura. Sugerimos que o leitor elabore uma pequena tabela com as 11 propriedades da lgebra real para uso constante. Ainda falta mencionarmos a 13a. propriedade dos nmeros reais. Essa propriedade a grande responsvel pela idia de continuidade. Na Fsica tem sido muito importante a idia de um espao contnuo, sem vazios, e essa propriedade esperada para os nmeros reais. No se deseja que haja um vazio entre dois nmeros reais. Acrescentamos, ento, estrutura dos nmeros reais essa hiptese. Ela conhecida como o Axioma da Completividade. Por exemplo, considere o conjunto de nmeros reais que so maiores do que 0, e cujos quadrados so menores do que 2. Isto , considere o conjunto C = {x | 0 < x e x2 < 2}. Agora formemos o conjunto D = {x | 0 < x e x2 > 2}. O conjunto C no vazio pois 1 pertence a ele. Por outro lado, todos os elementos de C so menores do que todos os elementos de D que tambm no vazio, pois 1,5 pertence a ele. Logo, se pensarmos os elementos de C e de D arranjados em ordem crescente, utilizando a ordem dos nmeros reais, poderemos imaginar o que existe entre eles. Pelo Axioma da Completividade, no pode haver vazio entre dois nmeros reais. Portanto, tem que existir um nmero real que separa esses conjuntos C e D. Esse nmero separador no seno a famosa, mas misteriosa, raiz quadrada de 2.
1.2 ADIO E SUBTRAO DE VETORES

Consideremos os vetores a e b, cuja soma a + b pretendemos

12

lgebras e Tecnologia
1 lgebras reais

Iniciao Nova Matemtica da Engenharia Geloneze-Menochi

determinar. Tomemos um ponto qualquer A e, com origem em A, tracemos um segmento orientado AB representante do vetor a. Agora, utilizemos B para traar o segmento orientado BC representante do vetor b. O vetor representado pelo segmento orientado de origem A e extremidade C , por definio, o vetor soma dos vetores a e b, isto , a + b = AB + BC = AB + BC = AC = c onde os colchetes indicam a classe de equivalncia do segmento orientado dentro deles. Isto , os colchetes de um segmento orientado nada mais so do que o prprio vetor. O segmento orientado AC um representante de um vetor c. B a A c Algebricamente, o modelo da operao geomtrica realizada acima a soma algbrica de duas ternas de nmeros reais que modelam algebricamente os vetores a e b. O vetor c obtido pela regra geomtrica acima modelado, ento, pela soma das ternas de nmeros reais que representam a e b. Assim, temos a frmula: c = a + b = (x1, y1, z1) + (x2, y2, z2) = (x1 + x2, y1 + y2, z1 + z2) onde a = (x1, y1, z1), b = (x2, y2, z2). Exerccio 1.2.1 Esboce os vetores a = (1, 2) e b = (1, 2) no plano cartesiano. Calcule e esboce os resultados no plano cartesiano: (a) a + b; (b) a b = a + ( b); (c) a b = ( a) + ( b); (d) a + b = ( a) + b. b C

[ ] [ ] [

] [ ]

13

lgebras e Tecnologia
1 lgebras reais

Iniciao Nova Matemtica da Engenharia Geloneze-Menochi

Exerccio 1.2.2 Esboce os vetores a = (1, 2, 0) e b = (1, 2, 1) no espao tridimensional das ternas de nmeros reais. Calcule e esboce os resultados. (a) a + b; (b) a b = a + ( b); (c) a b = ( a) + ( b); (d) a + b = ( a) + b.
1.3 MULTIPLICAO DE VETOR POR ESCALAR

Dados um vetor v no nulo e um nmero real t, chama-se produto do nmero real t pelo vetor v, ou simplesmente a multiplicao do vetor v pelo escalar t, o vetor tv tal que: (a) o comprimento de tv o produto do mdulo de t pelo comprimento de v; (b) a direo de tv a mesma de v; (c) o sentido de tv o mesmo de v se t > 0, e contrrio ao sentido de v, se t < 0. A multiplicao geomtrica acima pode ser modelada algebricamente. Para isso definimos: t (x, y, z) = (tx, ty, tz) z tz tv v x

ty

Exerccio 1.3.1 Esboce os vetores: (a) 3a + 2b; (b) 2 a 3 b; (c) 2 a 3 b; (d) 2 a + 3 b

14

lgebras e Tecnologia
1 lgebras reais

Iniciao Nova Matemtica da Engenharia Geloneze-Menochi

no plano cartesiano, onde a = (1, 2) e b = (1, 2). Exerccio 1.3.2 Esboce os vetores: (a) 3a + 2b; (b) 2 a 3 b; (c) 2 a 3 b; (d) 2 a + 3 b no espao tridimensional, onde a = (1, 2, 0) e b = (1, 2, 1).
1.4 ESPAOS VETORIAIS 1.4.1 ESPAOS VETORIAIS

Um espao vetorial real uma parte de uma lgebra real. uma estrutura <V, +, > onde a adio + uma operao que se refere aos elementos de V, isto , aos vetores, e a multiplicao por escalar uma operao que se refere multiplicao de um vetor por um elemento do corpo de escalares, isto , em nosso caso, por um nmero real. O quadro abaixo resume as propriedades de um espao vetorial real. u + (v + w) = (u + v) + w u+v=v+u u+0=u u + ( u) = 0 a (v + w) = av + aw (a + b) v = a v + b v (a.b) v = a (b v) 1v = v

Para introduzir a idia de um espao vetorial comeamos com os exemplos mais importantes. Eles so denotados por 1, 2, 3, ... , n, ou seja, para cada inteiro positivo n, introduzimos o conjunto das n uplas. O espao vetorial n consiste dos conjuntos ordenados de n elementos, onde os elementos so nmeros reais. Assim, os vetores desses espaos vetoriais so esses conjuntos ordenados de nmeros. Exemplo 1,4.1 O espao vetorial real de dimensoiii 1, 1, o prprio conjunto dos nmeros reais com sua adio e sua multiplicao. O objeto geomtrico que representa esse espao vetorial uma reta da geometria Euclidiana.

15

lgebras e Tecnologia
1 lgebras reais

Iniciao Nova Matemtica da Engenharia Geloneze-Menochi

Exerccio 1.4.1 Mostre que os nmeros reais, com suas operaes usuais, tm uma estrutura de espao vetorial sobre si prprio. Exemplo 1.4.2 O espao vetorial real 2 representa o plano x-y usual. As duas componentes de um vetor so as coordenadas x e y. Exemplo 1.4.3 O espao vetorial real 3 representa o espao tridimensional usual. Uma terna (a, b, c) de nmeros reais pode ser visualizada como a extremidade do segmento orientado que vai da origem (0, 0, 0) do sistema de coordenadas at o ponto do espao tridimensional que possui aquelas trs coordenadas. Exerccio 1.4.2 Mostre que nmeros reais.
2

so espaos vetoriais sobre os

Notemos que, a partir da dimenso 4, no mais enxergamos os pontos representados pelas n uplas com n > 3. Mas podemos imaginar, por exemplo, vetores de um espao de dimenso 11 como sendo apenas conjuntos ordenados contendo 11 nmeros. H teorias que afirmam que o nosso universo possui, no mnimo, 11 dimenses. Assim como o nosso universo, os espaos de n dimenses possuem geometrias. Por mais estranhas que elas sejam Albert Einstein props que as retasiv do espao-tempo so os caminhos percorridos pela luz sempre podemos imaginar suas propriedades em termos apenas de suas coordenadas. Nesse sentido, podemos afirmar que a lgebra extremamente poderosa na representao de fenmenos espaciais. Em se tratando de espaos vetoriais duas operaes so possveis: podemos adicionar dois vetores e multiplicar vetores por escalares. Essas operaes so feitas componente a componente. Por exemplo, (1, 2, 3) + (3, 1, 5) = (1 3, 2 + 1, 3 5) = ( 2, 1, 2). Se v um vetor de 3, onde v = (1, 0, 4), ento 2v o vetor com coordenadas (2, 0, 8). Agora, observemos que uma srie de propriedades pode ser verificada, tanto para a adio de vetores, como para a multiplicao por escalares. Definamos, formalmente, um espao vetorial sobre os nmeros reais.
16

lgebras e Tecnologia
1 lgebras reais

Iniciao Nova Matemtica da Engenharia Geloneze-Menochi

Definio 1.4.1 Seja V um conjunto no-vazio, onde esto definidas, uma adio entre dois elementos quaisquer, e uma multiplicao de seus elementos por escalares, isto , pelos nmeros reais. Assim, podemos dizer que a cada par de vetores u, v V , est associada uma soma u + v V, e a cada par v V, a , est associado um vetor av V. Ento, V chamado um espao vetorial sobre (e os elementos de V so chamados vetores e os nmeros reais so os escalares) se as seguintes propriedades so satisfeitas. (a) Para quaisquer vetores u, v, w V, (u + v) + w = u + (v + w). [Associatividade da adio.] (b) Para quaisquer vetores u, v V, u + v = v + u. [Comutatividade da adio.] (c) Existe um vetor em V, indicado por 0, denominado vetor zero, tal que u + 0 = u, qualquer que seja o vetor u V. [Propriedade do elemento neutro da adio.] (d) Para cada vetor u V , existe um vetor em V, denotado por u, tal que u + (-u) = 0. [Propriedade do elemento oposto aditivo da adio.] (e) Para qualquer escalar a a (u + v) = a u + a v. , e quaisquer vetores u, v V,

[Propriedade distributiva da multiplicao escalar em relao adio.] (f) Para quaisquer escalares a, b (a + b) u = au + bu. , e qualquer vetor u V,

[Propriedade distributiva da multiplicao em relao adio escalar.]

17

lgebras e Tecnologia
1 lgebras reais

Iniciao Nova Matemtica da Engenharia Geloneze-Menochi

(g) Para quaisquer escalares a, b , e qualquer que seja o vetor u V, (ab) u = a (bu). [Propriedade associativa da multiplicao por escalar.] (h) Para o escalar unitrio 1 o vetor u V. , 1u = u, qualquer que seja

[Propriedade do elemento neutro da multiplicao por escalar.] Notemos que os quatro ltimos axiomas regulam a maneira como a multiplicao escalar pode se envolver com a adio dos vetores. Se o espao vetorial fosse complexo, o corpo de escalares seria o corpo dos nmeros complexos. As quatro primeiras propriedades dizem respeito estrutura aditiva de V. Seguem-se algumas propriedades dos espaos vetoriais:

1. Qualquer soma de vetores da forma v1 + v2 + L + vm no exige parnteses e no depende da ordem das parcelas.
2. O vetor 0 nico. 3. O oposto aditivo u de u nico. 4. A Lei do Cancelamento vlida, isto , para quaisquer vetores u, v, w V, u + w = v + w acarreta u = v (w foi cancelado). Definio 5.4.2 Definimos a diferena u v entre u e v como sendo o vetor w que somado com v resulta no vetor u. uv=w v +w=u Observemos a presena do smbolo , que significa que uma dessas igualdade equivalente outra, isto , uma delas vale se, e somente no caso de a outra tambm valer. Ou ainda, sempre que tivermos a possibilidade lgica de utilizar uma delas, ento tambm estaremos autorizados logicamente a utilizar a outra. Exerccio 1.4.4 Seja V um espao vetorial sobre as seguintes afirmaes so satisfeitas:
18

. Ento,

lgebras e Tecnologia
1 lgebras reais

Iniciao Nova Matemtica da Engenharia Geloneze-Menochi

a) para 0

, e para qualquer vetor u V, 0u = 0 (ateno: 0 (escalar) 0 (vetor));

b) para qualquer escalar a , e 0 V, a0 = 0; c) se au = 0, para a , e u V, ento a = 0 ou u = 0; d) para qualquer escalar a , e qualquer u V, ( a) u = a ( u) = (au). A definio formal acima nos permite pensar em conjuntos de objetos, os mais estranhos possveis, como espaos vetoriais, desde que possamos indicar as operaes de adio e de multiplicao por escalar. Damos alguns exemplos: Exemplo 1.4.3 O espao de pontos com um nmero infinito de coordenadas. Os vetores tm infinitas componentes. Por exemplo, v = (2, 3, 2, 3, 2, 3, ...). As operaes de adio e multiplicao por escalar permanecem inalteradas. Exemplo 1.4.4 O espao das matrizes m n sobre , indicado por Mmn ( ). Nesse caso os vetores so matrizes m n. Observe que podemos adicionar as matrizes termo a termo e tambm multiplicar seus termos por escalares (nmeros reais). Alm disso, todos os 8 Axiomas da definio de espao vetorial se verificam. Esse espao semelhante (no significa que sejam espaos iguais) ao espao vetorial mn. Exerccio 1.4.5 Mostre que Mmn( ) um espao vetorial sobre onde as operaes so as sugeridas no Exemplo 1.4.4. ,

Exemplo 1.4.5 O espao F(X) das funes reais sobre um conjunto X. Seja X um conjunto no-vazio. Consideremos o conjunto F(X) de todas as funes de X em . (Note que F(X) possui infinitos elementos, isto , existem infinitas funes de X em , pois X novazio.) A soma de duas funes f, g F(X) a funo f + g F(X) definida por (f + g)(x) = f(x) + g(x), O produto de um escalar a af F(X) definida por x X.

por uma funo f F(X), a funo

19

lgebras e Tecnologia
1 lgebras reais

Iniciao Nova Matemtica da Engenharia Geloneze-Menochi

(af)(x) = a f(x),

x X.

Ento, F(X), com as operaes acima, um espao vetorial sobre . O vetor zero em F(X) a funo 0 que associa a cada x X o nmero 0 , isto , 0(x) = 0, x X. Para qualquer funo f F(X), a funo f definida por ( f)(x) = f(x), x X

o vetor oposto aditivo de f. Existem outros exemplos de espaos vetoriais, mas os espaos vetoriais que precisamos nesse momento so o plano e o espao tridimensional e os seus subespaos vetoriais. O espao de funes ser importante para o tratamento de sinais nas sries de Fourier, nas Transformadas de Laplace e nas Wavelets. Definio 1.4.3 Dizemos que W um subespao vetorial de um espao vetorial V se: (a) dados dois vetores em W , sua soma permanece em W; (b) dados um vetor w de W e um escalar a, o produto aw ainda um vetor de W. Notemos que, em outras palavras, um subespao um subconjunto que invariante para a adio de vetores e multiplicao por escalar. Se definirmos v + W como sendo o conjunto dos vetores da forma v + w, w W, e aW como sendo o conjunto dos vetores da forma aw com w W, temos: v + W = W = aW, a 0, quando v W. Em outras palavras, W invariante porque no se altera se adicionarmos um vetor seu v a todos os seus vetores. Analogamente, W fica inalterado se multiplicarmos todos os seus vetores por um escalar 0. A noo de invariante, assim como as noes de simetria, de ordem e a de relao de equivalncia so as trs noes mais profundas da Matemtica. Por exemplo, sem simetria no haveria a Fsica Contempornea e sem invariantes algbricos e geomtricos, Einstein no teria obtido a Teoria da Relatividade.
20

lgebras e Tecnologia
1 lgebras reais

Iniciao Nova Matemtica da Engenharia Geloneze-Menochi

Podemos verificar facilmente que um subespao vetorial tambm um espao vetorial. Exerccio 1.4.6 Mostre que: (a) o vetor 0 de V tem que pertencer a qualquer subespao vetorial W de V; (b) o vetor w tem que pertencer a W se w est em W. Exerccio 1.4.7 Mostre que um subespao vetorial de um espao vetorial real um espao vetorial real. Em particular o vetor 0 pertence a todo subespao, pois, como o subespao novazio, por definio, basta tomar o produto de um vetor do subespao pelo escalar zero. Daremos alguns exemplos de subespaos: Exemplo 1.4.7 Seja V um espao vetorial. Ento, o conjunto {0} consistindo do vetor zero apenas, e tambm o prprio espao V, so subespaos de V. Exemplo 1.4.8 Seja W o plano xy em 3, consistindo dos vetores cuja terceira componente 0; ou, em outras palavras, W = {(a, b, 0)| a, b }. Note que 0 = (0, 0, 0) W pois a terceira componente de 0 0. Para quaisquer dois vetores u, v em W e qualquer escalar a , temos que u + v W e au W. Exemplo 1.4.9 Seja V = Mmn ( ) o espao das matrizes m n. Ento, o subconjunto W, das matrizes triangulares superiores um subespao de V. Exerccio 1.4.8 Mostre que a interseco de um nmero arbitrrio de subespaos de um espao vetorial V um subespao de V.
1.5 PRODUTO ESCALAR E PRODUTO VETORIAL 1.5.1 PRODUTO ESCALAR

natural em Fsica Clssica, associar-se a um par de vetores um nmero real. Por exemplo, para se conceber o trabalho realizado por uma fora, imagina-se que uma fora F atua sobre um corpo causando um deslocamento d, e ento se define o trabalho realizado
21

lgebras e Tecnologia
1 lgebras reais

Iniciao Nova Matemtica da Engenharia Geloneze-Menochi

como proporcional s magnitudes desses dois vetoresv. |F| . |d| Uma boa pergunta a seguinte: qual a constante de proporcionalidade que nos permitiria substituir o smbolo pela igualdade = ? A teoria fsica baseada em experimentaes determina a constante 1. Portanto, temos: = |F| . |d| Mas h uma ressalva: essa frmula s vale se os vetores F e d forem paralelos!

F n Fd

Fn d Figura 1..5.1.1

Decompondo-se o vetor F em duas componentes, uma componente Fd paralela ao deslocamento d, e outra componente Fn perpendicular a d, e lembrando que a teoria nos permite supor que o trabalho aditivo, isto , o trabalho realizado por uma fora o mesmo que a soma dos trabalhos realizados por suas componentes, qualquer que seja a decomposio considerada, conclumos que = |Fd| . |d| + |Fn| . |0| uma vez que o deslocamento do corpo na direo de n nulo (esse fato corroborado em laboratrio). Assim, se escrevermos Fd em funo da fora originalmente dada F e do ngulo , obtemos a frmula: = |F| .|d|.cos . Observemos que o conceito de trabalho sugere uma interessante operao entre dois vetores, a saber, dados vetores u e v, podemos
22

lgebras e Tecnologia
1 lgebras reais

Iniciao Nova Matemtica da Engenharia Geloneze-Menochi

associar a eles um nmero real, que denominaremos o produto escalar de u e v, e o indicaremos matematicamente por: u v = |u| .|v|.cos . A pergunta que surge imediatamente se essa definio se aplicaria a outras situaes que no fossem a do trabalho realizado por uma fora. A resposta afirmativa, e para mencionar apenas dois exemplos, lembramos dos conceitos de circulao em uma curva e fluxo exterior de um campo de escoamento no plano atravs dessa curva, ou suas verses espaciais, a saber, circulao atravs do bordo de uma superfcie e fluxo exterior de um campo de escoamento atravs dessa superfcie no espao: o produto escalar de grande utilidade no teorema de Stokes que descreve a relao entre circulao do campo de escoamento e seu fluxo exteriorvi. muito mais fcil mencionarmos aplicaes do produto escalar na prpria Matemtica. Porm, antes de desenvolvermos mais propriedades e aplicaes do produto escalar, convidamos o leitor a resolver um exerccio fundamental que estabelece uma conexo utilssima entre o produto escalar tal qual definido acima e uma expresso algbrica envolvendo as coordenadas cartesianas dos vetores dados. Exerccio 1.5.1 Mostre que o produto escalar distributivo, isto , u (v + w) = u v + u w. Exerccio 1.5.2 Mostre que se u = (a, b, c) e v = (A, B, C), ento u v = aA + bB + cC. [Sugesto. Escreva os vetores na base ortonormal {i, j, k}, use o exerccio anterior e o fato de que vetores perpendiculares tm produto escalar zero.] Agora podemos mencionar uma srie de aplicaes do produto escalar na Matemtica (o que ainda muito pouco perto do que existe).
23

lgebras e Tecnologia
1 lgebras reais

Iniciao Nova Matemtica da Engenharia Geloneze-Menochi

Exerccio 1.5.3 Mostre que, se u = (a, b, c), e P = (x0, y0, z0), ento o plano que passa por P e perpendicular a u tem a seguinte descrio: Q = (x, y, z), pertence a se, e somente se, (Q P) u = 0 ou ainda, Q = (x, y, z), pertence a se, e somente se, a.(x x0) + b.(y y0) + c.(z z0) = 0. Exerccio 1.5.4 Em Exerccio 1.5.5 Em
3

, ache as equaes dos planos xy, yz e xz. , ache a equao do plano paralelo ao plano : 3x + 2y 5z = 2

que contenha o ponto (1, 1, 1). Exerccio 1.5.6 Em ao plano

3

, ache a equao do plano perpendicular : 3x + 2y 5z = 2

que contenha o ponto (1, 1, 1). Uma outra aplicao importante do produto escalar se encontra na multiplicao de matrizes: o produto de uma linha por uma coluna nada mais do que o produto escalar. A multiplicao de matrizes uma generalizao do produto escalar.
1.5.2 PRODUTO VETORIAL

tambm natural em Fsica Clssica, associar-se a um par de vetores u e v um novo vetor w com certas caractersticas diferentes daquelas necessrias para um modelo de trabalho realizado (lembremos que o trabalho realizado por uma fora no exige as noes de direo e de sentido). J no o caso, por exemplo, do momento de uma fora F aplicada a um corpo, imaginando-se que o ponto de aplicao esteja situado a uma distncia b (a letra b usada aqui de propsito para lembrar brao de alavanca) de um ponto O
24

lgebras e Tecnologia
1 lgebras reais

Iniciao Nova Matemtica da Engenharia Geloneze-Menochi

em torno do qual o corpo vai girar como conseqncia da ao de F. A concepo mais simples para modelar o comportamento desse corpo sob a ao de F, imaginar que o momento m a grandeza resultante da ao de F sobre ele em um ponto representado pelo vetor b situado distncia b de O. A sua magnitude proporcional s magnitudes dos dois vetores.

Assim, escrevemos: |m| |F| . |b| Novamente, uma boa pergunta a seguinte: qual a constante de proporcionalidade que nos permitiria substituir o smbolo pela igualdade = ? A teoria fsica baseada em experimentaes determina a constante 1. Portanto, temos:
|m| = |F| . |b|. Mas h uma ressalva: essa frmula s vale se os vetores F e b forem perpendiculares! m

F O b Figura 1.5.2.1 A idia engenhosa dos fsicos foi imaginar um vetor m que representasse o giro do corpo em torno de uma reta fixa. O vetor m, ento, pode ser concebido como paralelo reta fixa na rotao. m F Figura 1.5.2.2 b

b
25

lgebras e Tecnologia
1 lgebras reais

Iniciao Nova Matemtica da Engenharia Geloneze-Menochi

Observemos que m perpendicular ao plano determinado pelos vetores b e F (porque se verifica, experimentalmente, que a reta fixada perpendicular ao plano determinado por b e F). Quanto ao sentido de m, utilizamos a famosa regra da mo direita: imaginando o dedo mdio apontando para F, a partir de b, ou, equivalentemente, medindo-se o ngulo de b para F, o polegar obrigado a se posicionar para cima conforme a Figura 3-1.5. Novamente decompondo F em uma componente perpendicular a b e outra paralela a b, lembramos que somente a primeira contribui para a rotao do corpo. Isso se deve hiptese de que no h deslocamento do ponto de aplicao da fora na direo de b. A componente de F na direo perpendicular a b tem mdulo |F| sen . Logo, podemos escrever que o mdulo do produto vetorial m entre b e F se expressa por: |m| = |b F| = |b|.|F|.sen Para obtermos o produto vetorial de u e v em termos de suas coordenadas cartesianas podemos utilizar a engenhosa escolha simtrica de produtos cruzados das coordenadas dadas. Expliquemos: suponha que u = (a, b, c) e v = (A, B, C) sejam os vetores, dados por coordenadas em relao a uma base do espao 3, e escrevamos esses dados na forma matricial seguinte: M =

a b c . A B C

Agora, combinamos esses nmeros de uma forma simtrica por meio de adies e multiplicaes: aB bA, bC cB, aC cA so expresses formadas simetricamente, aos pares. Assim, combinamos a com B e b com A. O que no imediato observar a razo da escolha do sinal negativo entre esses produtos: por que no uma adio? Exerccio 1.5.7 Demonstre que o produto vetorial no associativo, isto , encontre vetores u, v e w, tais que u (v w) (u v) w. Exerccio 1.5.8 Demonstrevii que o produto vetorial distributivo, isto , mostre que
26

lgebras e Tecnologia
1 lgebras reais

Iniciao Nova Matemtica da Engenharia Geloneze-Menochi

u (v + w) = u v + u w e (u + v) w = u w + v w. Indicando os vetores na forma de coordenadas cartesianas u = ai + bj + ck e v = Ai + Bj + Ck, como o produto vetorial distributivo, podemos escrever: u v = (ai + bj + ck) (Ai + Bj + Ck) = = ai Ai + ai Bj + ai Ck + bj Ai + bj Bj + bj Ck + ck Ai + ck Bj + ck Ck = = aA ii + aB ij + aC ik + bA ji + bB jj + bC j k + ca ki + cb kj + cc kk = = aB ij + bA ji + aC ik + ca ki + bC jk + cb kj = = aB ij bA ij + aC ik cA ik + bC jk cB jk = = (aB bA) ij + (aC cA) ik + (bC cB) jk = = (aB bA) k + (aC cA) ( j) + (bC cB) i = = (bC cB) i (aC cA) j + (aB bA) k. Observemos, ento, que o fato de o produto vetorial ser distributivo, implica que as coordenadas do produto vetorial so formadas segundo uma certa simetria utilizando-se a matriz acima M. O sinal negativo na segunda parcela da frmula acima pode ser explicado dizendo-se que o fato do vetor j ocupar uma posio
27

lgebras e Tecnologia
1 lgebras reais

Iniciao Nova Matemtica da Engenharia Geloneze-Menochi

mpar primeira linha, segunda coluna, 1 + 2 = 3 na matriz abaixo faz com que seu coeficiente seja afetado por esse sinal.

i j k a b c A B C
Observamos que o produto vetorial de u e v pode ser, ento, obtido calculando-se formalmente o determinante da matriz acima e lembrando-se que, ao escrever o coeficiente de j, deve-se inverter seu sinal. Exerccio 1.5.9 Calcule os produtos vetoriais pedidos sabendo-se que u = (1, 1, 1), v = (1, 0, 1) e w = (2, 3 1). (a) u v, (b) u w, (c) v u, (d) w u. Exerccio 1.5.10 Mostre que o produto vetorial anticomutativo, isto , uv=vu Do ponto de vista da Matemtica, so muito interessantes as interpretaes geomtricas desses produtos de vetores. No caso do produto escalar, a sua grande aplicao est no clculo de projees ortogonais de vetores sobre retas: se um dos vetores, digamos v, unitrio, isto , tem magnitude 1, ento o mdulo do produto escalar de u com v o comprimento da projeo ortogonal projv (u) de u sobre a reta suporte de v. Assim, temos: |u v| = |u| .|v|.|cos | = |u|.1.|cos | = |u|.|cos | = |projv (u)| u |v| = 1 projv (u) projv (u) u

No caso do produto vetorial de u por v, podemos interpret-lo como

28

lgebras e Tecnologia
1 lgebras reais

Iniciao Nova Matemtica da Engenharia Geloneze-Menochi

sendo um vetor perpendicular ao plano determinado por eles cuja magnitude a rea do paralelogramo gerado pelos vetores u e v. Se eles no determinam um plano, isto , se so paralelos, o seu produto vetorial o vetor nulo, no h o que interpretar. Exerccio 1.5.11 Calcule a rea do paralelogramo gerado pelos pontos (0, 0, 0), (1, 1, 1) e (1, 2, 3). Faa um esboo dessa figura. Exerccio 1.5.12 Calcule a rea do paralelogramo gerado pelos pontos (0, 0, 0), (1, 1, 1) e (1, 2, 3). Faa um esboo dessa figura. Podemos combinar o produto escalar com o produto vetorial obtendo um nmero que tambm possui um significado geomtrico interessante e importante. o chamado produto misto: u v w. Notemos que h duas possibilidades: u v w ou u v w. claro que no h necessidade de colocarmos parnteses porque no existe produto vetorial de um nmero por um vetor. Logo, sempre o produto vetorial o primeiro a ser efetuado. Exerccio 1.5.13 Mostre que o mdulo do produto misto dos vetores u, v e w pode ser interpretado como o volume do paraleleppedo gerado por eles.

Figura 1.5.2.3 Exerccio 1.5.14 Qual a relao entre u v w e u v w? Compare os produtos mistos u v w, v w u, w u v. Exerccio 1.5.15 Mostre que u (v w) = (u w) v (u v) w . [A est mais uma elegante aplicao do produto escalar.]
29

lgebras e Tecnologia
1 lgebras reais

Iniciao Nova Matemtica da Engenharia Geloneze-Menochi

Exerccio 1.5.16 Calcule o volume do tetraedroviii determinado pelos vrtices (0, 0, 0), (1, 0, 0), (0, 1, 0) e (1, 1, 1). Esboce o tetraedro.
1.6 IDEAIS LATERAIS

O conceito de ideal associado a um anel possui inmeras aplicaes na Matemtica e desempenha um papel fundamental na Teoria dos Anis. A noo de ideal de um anel foi introduzida pelo matemtico alemo Richard Dedekind no final do Sculo XIX para estudar algumas questes da Teoria dos Nmeros Algbricos. O ideal mais simples de ser exemplificado o conjunto dos nmeros pares em .. Definio 1.6.1. Sejam A um anel e B um subconjunto no vazio de A. Suponhamos que B seja fechado para as operaes de adio e multiplicao do anel, isto , (i) (ii) x, y B x + y B; x, y B x. y B.

Dizemos que B um subanel de A. Exemplo 1.6.1. O anel dos nmeros inteiros um subanel do corpo dos nmeros racionais, o qual um subcorpo do corpo dos nmeros reais. O corpo dos nmeros reais um subanel do corpo dos nmeros complexos que por sua vez um subanel do anel dos quaternions, que por sua vez um subanel dos octonions. Proposio 1.6.1. Sejam A um anel e B um subconjunto de A; ento, B um subanel de A se, e somente se, valem as seguintes condies: (i) 0 B (ii) x, y B x y B; (iii) x, y B x. y B. Exerccio 1.6.1 Demonstre a Proposio 1.6.1.

30

lgebras e Tecnologia
1 lgebras reais

Iniciao Nova Matemtica da Engenharia Geloneze-Menochi

Definio 1.6.2. Seja A um anel e considere I um subconjunto de A. Dizemos que I um ideal esquerda de A, se as seguintes propriedades esto satisfeitas: (i) (ii) x, y I x + y I; I, x A x I.

A denominao ideal esquerda se refere ao fato de que a condio (ii) relativa multiplicao esquerda por elemento do anel. Observe que um ideal I esquerda um subanel de A e, se A um anel com unidade, ento I = A quando 1 I.. De modo anlogo, definimos ideal direita: Definio 1.6.3. Seja A um anel com unidade e considere J um subconjunto de A. Dizemos que J um ideal direita de A, se as seguintes propriedades esto satisfeitas: (i) x, y J x + y J; (ii) J, x A x J. Observe que um ideal J direita um subanel de A e, se A um anel com unidade, e 1 A, ento J = A. Um subconjunto I de um anel A denomina-se um ideal bilateral de A, ou simplesmente um ideal de A, se I simultaneamente ideal esquerda e direita, ou seja, Definio 1.6.4. Um subconjunto I de um anel A diz-se um ideal de A se as seguintes condies esto satisfeitas: (i) (ii) x, y I x + y I; I, x A x I e x I.

Se A um anel comutativo, ento todo ideal direita, ou esquerda, de A um ideal de A, ou seja, um ideal bilateral. Exemplo 1.6.2. O subconjunto nulo do anel A, {0}, e o prprio anel A so exemplos de ideais e denominam-se ideais triviais de A. Os ideais no triviais de um anel so chamados de ideais prprios.
31

lgebras e Tecnologia
1 lgebras reais

Iniciao Nova Matemtica da Engenharia Geloneze-Menochi

Exemplo 1.6.3. O anel dos nmeros inteiros comutativo e, sendo assim, todos os seus ideais so bilaterais. Observe que em , o conjunto dos nmeros pares um ideal, porm no o caso para o conjunto dos nmeros mpares. Exemplo 1.6.4. Considere o anel A = C[0,1] das funes contnuas com as operaes usuais de adio e multiplicao f: [0,1] de funes e seja b [0,1]. O conjunto I = {f A : f(b) = 0} um ideal de A. De fato, i) ii) iii) iv) 0 I, pois 0 a funo constantemente igual a zero; se f, g I, ento (f g) I, pois (f g)(b) = f(b) g(b) = 0; se f, g I, ento (f.g) I, pois,(f.g)(b) = f(b).g(b) = 0; se f A e g I, ento (f. g) I, pois (f.g)(b) = f(b). g (b) = f(b)0 = 0.

Definio 1.6.5. Seja I um ideal de um anel A. Dizemos que I um ideal maximal de A se os nicos ideais de A contendo I so o prprio I e o anel A. Exerccio 1.6.2 Considere o anel A = C[0,1] das funes contnuas com as operaes usuais de adio e multiplicao f: [0,1] de funes e seja b [0,1]. Demonstre que o conjunto I = {f A : f(b) = 0} um ideal maximal de A. Exemplo 1.6.5 Considere um anel A e x1, x 2, ... , x n elementos de A. O conjunto I = Ax1 + Ax2 + ...+ Axn = {a1x1 + a 2 x 2 + ... + an xn: ai A} um ideal esquerda de A, denominado ideal esquerda gerado pelos elementos x1, x2, ..., xn de A. O ideal I = Ax1 denominado ideal principal esquerda de A gerado pelo elemento x1 de A.

32

lgebras e Tecnologia
1 lgebras reais

Iniciao Nova Matemtica da Engenharia Geloneze-Menochi

Exerccio 1.6.3 Demonstre que I = Ax1 + Ax2 + ...+ Axn = {a1x1 + a2x2 + ... + an xn: ai A} um ideal esquerda de A. Analogamente, definimos ideal direita gerado pelos elementos x1, x 2, ... , x n de A, e ideal principal direita de A gerado pelo elemento x1 de A, I = x1A. Se A um anel comutativo, os ideais gerados so bilaterais, ou seja, so ideais esquerda e direita simultaneamente. Nesse caso, o ideal I costuma ser denotado por I = (x1, x2, ... , xn). Exemplo 1.6.6 Vimos anteriormente que o conjunto dos nmeros pares um ideal de . O conjunto dos mltiplos do nmero 2 o conjunto dos nmeros pares, ou seja, (2) = {2x : x } que o ideal gerado pelo nmero 2. Exerccio 1.6.4 Seja m um nmero inteiro. Demonstre que (m) = {mx: x } um ideal de . Exerccio 1.6.5 Seja I um ideal de . Demonstre que I = (0), ou existe um nico inteiro positivo m tal que I = (m). Conclumos, desse exerccio, que todo ideal de principal. Vamos introduzir uma classe importante de anis, os anis quocientes. Considere A um anel e seja J um ideal de A. Definimos a seguinte relao em A, se x, y A, x y (mod J) x y J.

Primeiramente, vamos demonstrar que a relao (mod J), definida acima, uma relao de equivalncia em A. De fato,
(i) x x (mod J) pois x x = 0 J; (ii) x y (mod J) y x (mod J) pois, x y J y x = ( x y) J;
33

lgebras e Tecnologia
1 lgebras reais

Iniciao Nova Matemtica da Engenharia Geloneze-Menochi

(iii)x y (mod J) e y z (mod J) x z (mod J) pois, x y J, y z J x z = (x y) + (y z) J.

Denotaremos por x a classe de equivalncia do elemento x A relativamente relao (mod J). Desse modo, x o conjunto {y A: y x (mod J)}. Notemos que uma classe de equivalncia o conjunto dos elementos equivalentes a algum elemento x. Equivalentes em relao a alguma caracterstica especificada. Quase tudo se constri em Matemtica por intermdio do conceito de classe de equivalncia de um elemento x. Esse um dos conceitos mais importantes em Matemtica. Por exemplo, a classe de equivalncia da frao meio o conjunto {... , 5/10, 4/8, 3/6, 2/4, 1/2, 1/2, 2/4, 3/6, 4/8, 5/10, ...}. Observe que y x y x J e, assim, denotamos a classe x por

x = x + J = {x + z : z J}.
Denominamos conjunto quociente de A pelo ideal J ao conjunto A/J = {x + J : x A} = { x : x A}. Proposio 1.6.2. Sejam A um anel e J um ideal em A. Se x y (mod J) e x y (mod J), ento: (i) x + x y + y(mod J); (ii) x x y y(mod J). Demonstrao. (i) Como x y J e x y J segue-se que (x + x) (y + y) = (x y) + (x y) J. Logo x + x y + y(mod J); (ii) Consideremos x = y + a, a J, e x = y + b, b J . Ento,
34

lgebras e Tecnologia
1 lgebras reais

Iniciao Nova Matemtica da Engenharia Geloneze-Menochi

x x y y = (y + a)(y + b) y y = y y + y . b + a y + a b y y = y b + a y + a b J, pois a, b J que um ideal de A. Corolrio 1.6.1 Sejam A um anel, e J um ideal de A. Se x = x' e y = y ' , ento: (i) x + y = x'+ y ' ; (ii) x. y = x'.y ' . Conclumos que a classe da soma independe dos representantes das classes das parcelas e a classe do produto independe dos representantes das classes dos fatores. Os resultados anteriores permitem definir as operaes de adio, (+), e multiplicao, (), no conjunto quociente A/J de modo a torn-lo um anel. Teorema 1.6.1. Seja A um anel e J um ideal de A. Se x = x + J e A/J = { x : x A}, ento as operaes de: (i) adio: + : A/J A/J A/J ( x , y ) x + y = x + y e (ii) multiplicao : A/J A/J A/J ( x , y ) x y = x y definem duas operaes no conjunto A/J.

(iii) <A/J, +, > um anel (chamado anel quociente de A por J); (iv) Se 1 a unidade de A ento 1 a unidade de A/J. (v) Se A comutativo ento A/J comutativo.
35

lgebras e Tecnologia
1 lgebras reais

Iniciao Nova Matemtica da Engenharia Geloneze-Menochi

Exerccio 1.6.5 Demonstre o teorema acima. Exemplo 1.6.7 Os anis / , onde = n = (n), n um nmero inteiro positivo, so anis quocientes. O estudo dos anis quocientes de anis de polinmios de grande importncia em lgebra e Teoria dos Nmeros. Em particular, construmos cdigos cclicos com eles no Volume I.
NOTAS
i

[LYUBI].

ii

i j Porque a posio do vetor j na matriz a b d e

k c mpar: linha 1 f

e coluna 2 nos do 1 + 2 = 3 = mpar. O determinante simblico dessa matriz a motivao para a definio do produto vetorial. Os coeficientes do produto vetorial se inspiram na definio de cofator de um elemento da matriz. iii No Captulo 2 definimos dimenso com rigor. iv Geodsicas so os caminhos mais curtos entre dois pontos em espaos geomtricos gerais. v No h maneira mais simples de se conceber a dependncia de uma grandeza em relao a outras duas ou mais grandezas. Lavoisier, Dalton e Proust tiveram a mesma atitude com as substancias qumicas para determinar o nmero atmico dos seus elementos. bem antiga essa prtica de se investigar um fenmeno a partir da idia da proporcionalidade. A proporo o modelo matemtico mais simples ao qual se pode recorrer. claro que o modelo precisa ser corroborado por experincias. A Humanidade teve muita sorte com a Natureza pelo fato de a Natureza, se comportar, algumas vezes, como grandezas proporcionais. Isso permitiu o incio da anlise cientifica dos fatos naturais mesmo em pocas histricas em que a Matemtica era, digamos, ingnua. Infelizmente esse no o caso para a maioria dos fenmenos naturais e no naturais, mas, em compensao, hoje a Matemtica j muito menos ingnua [STERN]. Propomos ao leitor interpretar o termo ingenuidade como a incapacidade de medir simetria. Com o desenvolvimento da teoria dos grupos tornou-se possvel medir simetrias e, como, felizmente, a Natureza parece estar repleta de simetria, ou se comportar como se uma simetria tivesse sido quebrada, a Humanidade est hoje mais capacitada a analisar cientificamente os fenmenos em geral.
vi

[STEW] 36

lgebras e Tecnologia
1 lgebras reais
vii
viii

Iniciao Nova Matemtica da Engenharia Geloneze-Menochi

[Sugesto. Se necessrio, consulte [ALOFIN], pgina 45.] [Sugesto. Observe a figura 4-4.5.2.]

37