Vous êtes sur la page 1sur 11

UNIVERSIDADE FEDERAL DA BAHIA- UFBA DISCIPLINA: Matemtica Discreta I MAT A42 Michele Novais

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

estrutura de semi-grupo sobre , ou que

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

aditivo. E se a operao for multiplicao diremos que

Diz-se que uma operao estrutura de monoide sobre relao operao , se


1

sobre um conjunto , ou que

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.

estrutura de grupo sobre , ou que

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 .

(elemento neutro direita). Se de . Tal que Temos que

o conjunto das matrizes

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

nico. tem um elemento inverso

um conjunto dos inteiros. Seja um grupo. .

em um grupo o inverso nico.

. Portanto, G contm diversos elementos inversos diferentes,

Exemplo 9. Grupo de permutao

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

subgrupo se, e somente se, so vlidas as duas seguintes

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.

Um anel uma estrutura algbrica da forma

i. ii. iii.

OBSERVAO 1. Se for um monide , dito ser anel com

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.

Segue-se que podemos definir um subanel da seguinte forma:

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.

04. Seja A um anel e

Exemplo 2. Consideremos o anel

um ideal esquerda mas no a direita. Exemplo 4. so todos ideais de .

para todo

Se + e . a adio usual dos inteiros, comutativo co identidade?

um anel

2. Relao de ordem 2.1. Operaes binrias.


As operaes que tem interesse para a computao e informtica so as seguintes: operaes binrias , ou seja, cujo domnio um

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 .

dar um exemplo de dois elementos

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:

a. Uma operao binria uma aplicao do tipo

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.

Pr-ordem (ou quase ordem) dita ser uma relao de pr-

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

Propriedades das operaes binrias


Seja um conjunto e seja uma operao binria em . 1. A operao dita associativa se A associatividade nos permite escrever 2. A operao dita comutativa se 3. tem um elemento neutro (ou elemento identidade) se 4. Se tem um elemento neutro sem parnteses,

Ou

ento dito ser um conjunto

pois o grupamento dos termos no interfere no resultado.

pr-ordenado. Relao de ordem Parcial


sobre um conjunto S uma relao de

Diz-se que uma relao (i) (ii) (iii)

elemento em tem um inverso com relao a se

ordem se, e somente se, as seguintes condies esto verificadas: ( reflexiva) (anti-simtrica) ( transitiva)

Se

uma relao de ordem sobre

, diremos que S um portanto uma estrutura um conjunto e

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 estrutura ordenada. Isto

uma

Diremos que

uma ordem total sobre . Nesse caso,

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

Exemplo 5. Seja ordem seja,

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

<. Ento a<b

.Mostre que essa uma relao de ordem total em

2.5. Seja

Ordem estrita uma estrutura ordenada. Consideramos a relao

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:

. Se uma ordem total, a ordem estrita associada a ela tambm

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