Академический Документы
Профессиональный Документы
Культура Документы
1. lgebra abstrata
1.1. Semigrupo sobre um conjunto define uma
Diz-se que uma operao INTRODUO TEORIA DAS ORDENS INTRODUO Historicamente, o estudo das lgebras, em computao e informtica, destaca-se a partir de 1950, com o desenvolvimento da teoria dos autmatos e linguagens formais. De certa forma, toda computao e informtica, baseada, direta e indiretamente, sobre lgebras. As diretrizes curriculares do MEC para cursos de computao e informtica [MEC 2004] referem-se a lgebra como sendo uma denominao alternativa para a Matemtica Discreta. Assim, o estudo de lgebra mais amplo central no contexto da matemtica discreta. 1.2. Monoide Notao. relao operao , se
um semi-grupo em
( associatividade) Se a operao for adio diremos que um semi-grupo multiplicativo. Se a operao for comutativa, isto um semi-grupo comutativo. , dizemos que um semi-grupo
define uma
um monoide em
c. d. (existncia do elemento neutro) Portanto um monide um semi-grupo que possui elemento neutro. 1.3. Exemplo 1. Consideremos a aplicao . Essa operao associativa pois . Tambm neutro dessa operao. E Logo Exemplo 2. Considere a aplicao de . Logo 0 o elemento . tal que ( associatividade) (existncia do elemento neutro) tal que Exemplo 3. Verifique se subgrupo. a. b. define um monide ou um (existncia do elemento inverso) Portanto G um monide elemento simetrizvel. que possua propriedade: todo que leva Diz-se que uma operao operao se, e somente se sobre um conjunto define uma Grupo e. f.
um grupo em relao
com a operao de mdc define um monide comutativo. . E com a operao de composio de funo um
semi-grupo? um monide?
Se a operao for comutativa, dizemos que comutativo ou abeliano. Exemplo 1. ( Exemplo 2. Exemplo3. Seja um grupo abeliano. um grupo abeliano.
um grupo
1.3.1. Propriedades bsicas de grupos 1. Seja um grupo no qual ento uma identidade direita qualquer elemento de .
elementos inteiros com a operao de adio de matrizes. + uma operao binria fechada Exemplo4. Temos um grupo aditivo comutativo, pois os inteiros possui essa caracterstica. com a operao de multiplicao de matrizes com a operao -, isto subtrao de
2. Teorema da Unicidade do Elemento Neutro de um Grupo Em qualquer grupo (ou monide) nico. De fato. Seja um elemento neutros de . Ento particular . Se outro elemento neutro de G, em . , pela lema anterior, o elemento neutro
no um monide. Mostre! Exemplo5. Mostre que inteiros no um monoide. Exemplo6. Quais dos semi-grupoas a seguir so monides? Indique seus elementos neutros.
3. Teorema da Unicidade dos Inversos em um Grupo Exemplo 7. Faa a tabela do Exemplo 8. Seja . Mostre que com a estrutura aditiva Para cada x em um grupo Todo elemento mas para cada
De fato, ento = 4. Teorema do Inverso de um Produto Se um grupo com a operao ento vamos . provar que = . Segue-se
1.3.2. Subgrupo Um subconjunto no-vazio de um grupo subgrupo de se fechado em sob e se Um subconjunto no-vazio condies: 1. Quaisquer que seja 2. Qualquer que seja o , ento ento . chamado de um grupo. um
de um grupo
Exemplo. Encontre subgrupos de 5. Lei do cancelamento. Qualquer grupo satisfaz a lei do cancelamento direita e a esquerda. Isto De fato, ento . 1.4. ANEL , onde: um grupo abeliano; um semigrupo . Isto , vale a lei da distributividade direita e esquerda.
i. ii. iii.
Exemplo 2. Os inteiros pares formam um anel comutativo sem identidade. Exemplo 3. Os nmeros racionais constituem um corpo. Exemplo 4. Exemplo 5. dito ser identidade. Exemplo 6. mdulo Exemplo 7. Exemplo 8. um anel que no comutativo. um corpo. um anel chamado anel dos inteiros so corpos. um anel comutativo sem
identidade. (isto , se existe o elemento neutro da multiplicao ); 2. Se for comutativo, o anel comutativo; 3. Um anel chamado domnio de integridade se um anel comutativo com identidade no qual se . ( isto , sem divisores de zero); 4. Um anel dito ser anel de diviso se os elementos de no nulos de formam um grupo multiplicativo sob (.);
1.4.1. SUBANEL Seja que i. ii. Assim podemos tambm considerar a soma e o produto como operao de dizemos que . Se for um anel com as operaes de um subanel de . um anel e um subconjunto de . Suponhamos seja fechado para as operaes de , isto
5. Um anel chamado corpo se os elementos no nulos de R, formam um grupo comutativo sob (.). Assim um corpo um anel de diviso comutativo. Exemplo 1. Os inteiros constituem um domnio de no um grupo. no forma um anel de integridade mas no um corpo, pois Isto os elementos no nulos de diviso.
Atividade I Seja um anel e um subconjunto de . B um subanel 01. Seja subgrupos de um grupo G. Mostre que: um subgrupo de um subgrupo de de R se, e somente se: i. ii. 02. Seja S o conjunto dos nmeros racionais no nulos. Seja Se B subanel de r, usaremos a notao: Exemplo 1. Exemplo 2. 3.5.1. IDEAL Seja um subanel de um anel . um ideal de 05. Seja Exemplo 1. ideal de . 06. Seja . Mostre que R um anel comutativo com 1. Defina em por: . . Defina em R as operaes por: . . 03. Mostre que um subanel de . Quais dos axiomas de grupo valem para no subanel de . Prove que
a. b.
para todo
um anel
07. Escreva todos os divisores de zero dos seguintes anis a. b. c. d. e. um subanel de um ideal de . e tais que 08. Mostre que 09. Sejam 10. Em ideais de R. Mostre que .
conjunto resultante de produto cartesiano; operao interna a um conjunto A, ou seja, cujo domnio e contradomnio so definidas sobre A. Operaes fechadas, ou seja total.
Definio. Operao binria, Operao interna e Operao fechada. Sejam conjuntos. Ento:
b. Uma operao interna ao conjunto A uma operao cujo domnio e o contradomnio esto definidos em A. Em particular uma operao binria interna ao conjunto A:
2.2.
c. Operaes fechadas, ou seja total. uma funo.
Seja X um conjunto no-vazio. Uma relao R ordenamento ou quase ordem em X, se as seguintes condies forem satisfeitas: i. ii. Reflexividade Transitividade ento . Se possui uma pr ordem 2.3.
ento todo
Ou
ordem se, e somente se, as seguintes condies esto verificadas: ( reflexiva) (anti-simtrica) ( transitiva)
Se
do seguinte tipo: Para esta uma relao de ordem. 2.4. Relao de ordem total
. Mostre que
conjunto ordenado pela ordem ordenada um par ordenado uma ordem sobre . Exemplo 1. ordem sobre . De fato, e Exemplo 2. .
, onde
uma
Diremos que
uma estrutura totalmente ordenada. Se R no uma ordem total, diremos que R uma ordem parcial. Exemplo 4. Consideremos o conjunto dos nmeros naturais - divisibilidade em no uma relao de divisores de (i) , verificar a seguinte (ii) uma estrutura ordenada? Sim uma estrutura totalmente ordenada? No
ordem. Mas a divisibilidade uma relao de ordem no conjunto dos nmeros naturais. Se uma ordem condio, (iv) Exemplo 3. Seja X um conjunto e P(X) a coleo de todos os subconjuntos de X. podemos estabelecer em P(X) uma relao R De modo geral a relao de divisibilidade sobre o conjunto dos naturais uma relao de ordem, mas no um relao de ordem total. sobre um conjunto
o conjunto dos nmeros reais e a relao de se for um nmero negativo ou nulo (ou
Exemplo 4. A ordem estrita associada ordem significa Isto , estritamente menor a que . Ordem lexicogrfica
2.5. Seja
2.6.
possvel estabelecer uma relao de ordem total em seguinte forma: Dizemos que Se
da
sobre definida por A relao (i) (ii) (iii) Nesse caso diz-se que total. uma ordem estrita associada a ordem denominada ordem estrita sobre se satisfaz as
Esta relao de ordem denominada relao de ordem lexicogrfica no Essa definio pode ser facilmente generalizada. Seja X um conjunto totalmente ordenado por uma relao de ordem total . Ento pode ser totalmente ordenado dizendo-se: se houver um tal que seguintes condies:
10
Atividade 2 a. 1. Diga se as operaes binrias seguintes de operaes binrias em . a. b. c. d. e. Em caso afirmativo, diga se a operao e associativa, se possui elemento neutro e se possui elementos invertveis. 2. Considere um conjunto com 5 elementos e construa um exemplo de relao de ordem total e de ordem parcial. 3. Mostre que as relaes abaixo so relaes de ordem em seus respectivos conjuntos, e determine quais conjuntos so parcialmente ordenado e quais so totalmente ordenado. so b. . (Ordem menor ou igual ). . (Ordem menor ou igual ).
11