INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

Documentos relacionados
INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

INE0003 FUNDAMENTOS DE MATEMÁTICA DISCRETA

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

INE0003 FUNDAMENTOS DE MATEMÁTICA DISCRETA

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

Geradores e relações

Reticulados e Álgebras de Boole

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

A DEFINIÇÃO AXIOMÁTICA DO CONJUNTO DOS NÚMEROS NATURAIS.

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

1 Noções preliminares

1 Grupos (23/04) Sim(R 2 ) T T

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

Números - Aula 03. Alexandre Nolasco de Carvalho Universidade de São Paulo São Carlos SP, Brazil

Topologia de Zariski. Jairo Menezes e Souza. 25 de maio de Notas incompletas e não revisadas RASCUNHO

Capítulo 1. Os Números. 1.1 Notação. 1.2 Números naturais não nulos (inteiros positivos) Última atualização em setembro de 2017 por Sadao Massago

Aula 12 HOMOMORFISMO DE ANÉIS PRÉ REQUISITOS. As aulas 6, 10 e 11. META. Estabelecer o conceito de Homomorfismo de Anéis.

INE0003 FUNDAMENTOS DE MATEMÁTICA DISCRETA

Lista 1. 9 Se 0 < x < y e n N então 0 < x n < y n.

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

Funções monótonas. Pré-Cálculo. Funções decrescentes. Funções crescentes. Humberto José Bortolossi. Parte 3. Definição. Definição

Definição 1. Um ideal de um anel A é um subgrupo aditivo I de A tal que ax I para todo a A, x I. Se I é um ideal de A escrevemos I A.

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

Vamos começar relembrando algumas estruturas algébricas Grupos. Um grupo é um conjunto G munido de uma função

Funções, Seqüências, Cardinalidade

ALGEBRA I Maria L ucia Torres Villela Instituto de Matem atica Universidade Federal Fluminense Junho de 2007 Revis ao em Fevereiro de 2008

Notas de Aula de Fundamentos de Matemática

Funções monótonas. Pré-Cálculo. Atividade. Funções crescentes. Parte 3. Definição

2019/01. Estruturas Básicas: Conjuntos, Funções, Sequências, e Somatórios Área de Teoria DCC/UFMG /01 1 / 76

1.1 Conjuntos parcialmente ordenados (c.p.o. s)

MA14 - Aritmética Unidade 1 Resumo. Divisibilidade

sumário 1 introdução e conceitos básicos 1 2 noções de lógica e técnicas de demonstração introdução à matemática discreta...

Dado um inteiro positivo n, definimos U(n) como sendo o conjunto dos inteiros positivos menores que n e primos com n. Não é difícil ver que a

Capítulo 6. Operadores Ortogonais. Curso: Licenciatura em Matemática. Professor-autor: Danilo Felizardo Barboza Wilberclay Gonçalves Melo

Aplicar as propriedades imediatas dos homomorfismos de grupos. Aplicar os teoremas dos homomorfismos na relação de problemas.

Luís Fernando Schultz Xavier da Silveira. 12 de maio de 2010

Capítulo 2. Conjuntos Infinitos. 2.1 Existem diferentes tipos de infinito

Contando o Infinito: os Números Cardinais

V Workshop de Álgebra UFG-CAC. Só Funções. Francismar Ferreira Lima. Universidade Tecnológica Federal do Paraná (UTFPR) 09 de novembro de / 43

MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES

Axioma dos inteiros. Sadao Massago

(Ciência de Computadores) 2005/ Diga quais dos conjuntos seguintes satisfazem o Princípio de Boa Ordenação

Universidade Federal de Goiás Câmpus Catalão Aluno: Bruno Castilho Rosa Orientador: Igor Lima Seminário Semanal de Álgebra

Espaços Euclidianos. Espaços R n. O conjunto R n é definido como o conjunto de todas as n-uplas ordenadas de números reais:

Exercícios de revisão para a primeira avaliação Gabaritos selecionados

obs: i) Salvo menção em contrário, anel = anel comutativo com unidade. ii) O conjunto dos naturais inclui o zero.

f(xnyn) = f(xyn) = f(xy) = f(x)f(y) = f(xn)f(yn).

Teoria dos Conjuntos. (Aula 6) Ruy de Queiroz. O Teorema da. (Aula 6) Ruy J. G. B. de Queiroz. Centro de Informática, UFPE

Lista permanente de exercícios - parte de Grupos. As resoluções se encontram nas notas de aula A1, A2, A3.

Teoria dos anéis 1 a parte 3

Introdução à Teoria de Grupos Grupos cíclicos Grupos de permutações Isomorfismos

Números Reais. Víctor Arturo Martínez León b + c ad + bc. b c

Capítulo 0: Conjuntos, funções, relações

Homologia de um Complexo Simplicial Finito e o Teorema do Traço de Hopf

Os números inteiros. Capítulo 2

ESTRUTURAS ALGÉBRICAS FICHA DE EXERCÍCIOS

Semigrupos Factorizáveis: os casos inverso e ortodoxo

ANÉIS. Professora: Elisandra Bär de Figueiredo

Capítulo 1 Conceitos e Resultados Básicos

Notas sobre Sequências e Cardinalidade (1)

ENFOQUE USANDO CORTES DE DEDEKIND

Análise I. Notas de Aula 1. Alex Farah Pereira de Agosto de 2017

Análise I Solução da 1ª Lista de Exercícios

SUMÁRIO. Álgebra I 3 1. Grupos Exercícios Subgrupos Exercícios Homomorfismo de Grupos e Aplicações 35 3.

Capítulo 1. Os Números. 1.1 Notação. 1.2 Números naturais (inteiros positivos)

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

14 AULA. Funções LIVRO. META: Apresentar o conceitos de funções.

Grupos: Resumo. Definição 1.1 Um grupo é um conjunto G juntamente com uma operação binária. G G G (a, b) a b. (a b) c = a (b c) a e = e a = a

Notas de Aula. Gustavo Henrique Silva Sarturi. i Z (1 i m) a j1 a j2

Departamento de Matemática. Trabalho de Conclusão de Curso B Relatório Final. O Grupo Fundamental

1 A Álgebra do corpo dos números complexos

Especialização em Matemática - Estruturas Algébricas

Transformações Lineares

2 Espaços Vetoriais. 2.1 Espaços Vetoriais Euclidianos

Capítulo 2. Conjuntos Infinitos. 2.1 Existem diferentes tipos de infinito

Capítulo 2. Conjuntos Infinitos

GRUPOS ALGUNS GRUPOS IMPORTANTES. Professora: Elisandra Bär de Figueiredo

Produtos de potências racionais. números primos.

Relações Binárias, Aplicações e Operações

SEMIGRUPOS ASSOCIADOS A GERMES DE CURVAS PLANAS IRREDUTÍVEIS 1

DAMCZB014-17SA Introdução à análise funcional Claudia Correa. Conjuntos quocientes e espaços vetoriais quocientes

5 Congruências lineares. Programa. 1 Parte 1 - Conjuntos e Aplicações. 1 Conjuntos. 4 Indução matemática e divisibilidade

Números naturais e cardinalidade

A2. Cada operação é distributiva sobre a outra, isto é, para todo x, y e z em A, x (y + z) = (x y) + (x z) e x + (y z) = (x + y) (x + z)

3.4 Álgebra booleana, ordens parciais e reticulados

Grupos livres e apresentações, grupos hopfianos e grupos residualmente finitos

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

ÁLGEBRA LINEAR. NOTAS DE AULAS (ICMC-USP SÃO CARLOS) 2 o semestre de 2015

Curso Satélite de. Matemática. Sessão n.º 1. Universidade Portucalense

Extensão de um Isomorfismo

OS TEOREMAS DE JORDAN-HÖLDER E KRULL-SCHMIDT (SEGUNDA VERSÃO)

(A1) As operações + e são comutativas, ou seja, para todo x e y em A, x + y = y + x e x y = y x

1 Números Complexos. Seja R o conjunto dos Reais. Consideremos o produto cartesiano R R = R 2 tal que:

MAT5728 Álgebra Lista 1

Definição 2.1 Seja X um espaço linear complexo. Uma aplicação

Transcrição:

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA PARA A COMPUTAÇÃO PROF. DANIEL S. FREITAS UFSC - CTC - INE Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.1/31

7 - ESTRUTURAS ALGÉBRICAS 7.1) Operações Binárias 7.2) Semigrupos 7.3) Produtos e Quocientes de Semigrupos 7.4) Grupos 7.5) Produtos e Quocientes de Grupos Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.2/31

SEMIGRUPOS Semigrupo: conjunto S + oper. binária associativa definida sobre S. Sistema algébrico simples. Muitas aplicações importantes. Ex.: máquinas de estados finitos Denotado por (S, ). Ou simplesmente por S (quando fica claro o que é ). Também nos referimos a a b como o produto de a e b. (S, ) é chamado de comutativo se é uma operação comutativa. Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.3/31

EXEMPLOS DE SEMIGRUPOS Exemplo: (Z, +) é um semigrupo comutativo. Exemplo: (P (S), ) é um semigrupo comutativo. Exemplo: (Z, ) não é um semigrupo pois a subtração não é associativa. Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.4/31

EXEMPLOS DE SEMIGRUPOS Exemplo: Seja S um conjunto fixo não-vazio. E seja S S o conjunto de todas as funções f : S S Então, sejam f e g dois elementos de S S : definimos f g como f g (função composta) é uma operação binária associativa sobre S S Portanto, (S S, ) é um semigrupo (não-comutativo). Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.5/31

EXEMPLOS DE SEMIGRUPOS Exemplo: Seja (L, ) um reticulado. Definição: a b = a b Então, L é um semigrupo. Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.6/31

EXEMPLOS DE SEMIGRUPOS Exemplo: Seja A = {a 1, a 2,..., a n }. Sejam α e β dois elementos de A. Note que concatenação ( ) é uma operação binaria sobre A. É associativa: se α, β e γ são elementos quaisquer de A : α (β γ) = (α β) γ Logo, (A, ) é um semigrupo. (é o chamado semigrupo livre gerado por A ) Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.7/31

ASSOCIATIVIDADE EM SEMIGRUPOS Em um semigrupo (S, ) a propriedade associativa pode ser generalizada: Teorema: O produto dos elementos a 1, a 2,..., a n (n 3), de um semigrupo, não depende da inserção de parênteses. Ou seja, este produto pode ser escrito como: a 1 a 2 a n Exemplo: São iguais os produtos: ((a 1 a 2 ) a 3 ) a 4 a 1 (a 2 (a 3 a 4 )) (a 1 (a 2 a 3 )) a 4 Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.8/31

IDENTIDADES EM SEMIGRUPOS Um elemento identidade de um semigrupo satisfaz a: e a = a e = a, a S Exemplo: O número 0 é uma identidade do semigrupo (Z, +). Teorema: Se um semigrupo (S, ) tem uma identidade, ela é única. Prova: Suponha que e e e são identidades em S. Como e é uma identidade: e e = e Também, como e é uma identidade: e e = e Portanto: e = e Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.9/31

MONÓIDES Monóide: semigrupo que tem identidade. Exemplo: O semigrupo (P (S), ) é um monóide. A identidade é o elemento, pois: A = A = A = A = A, A P (S) Exemplo: O semigrupo (A, ) é um monóide. A identidade é o elemento Λ, pois: α Λ = Λ α = α, α A Exemplo: O conjunto de todas as relações sobre um conjunto A é um monóide sob a operação de composição. A identidade é a relação de igualdade. Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.10/31

SUBSEMIGRUPOS & SUBMONÓIDES Sejam (S, ) um semigrupo e T um subconjunto de S: (T, ) é um subsemigrupo de (S, ) se T for fechado sob (fechado: a b T sempre que a, b T ) Similarmente: Seja (S, ) um monóide (com identidade e) e seja T um subconjunto de S. (T, ) é um submonóide de (S, ) se T for fechado sob e se e T. Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.11/31

SUBSEMIGRUPOS & SUBMONÓIDES Note que a associatividade vale em qualquer subconjunto de um semigrupo. Deste modo, um subsemigrupo (T, ) de um semigrupo (S, ) é por si mesmo um semigrupo. Da mesma forma: um submonóide de um monóide é ele próprio um monóide. Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.12/31

SUBSEMIGRUPOS & SUBMONÓIDES Exemplo: Seja (S, ) um semigrupo. Então: (S, ) é um subsemigrupo de (S, ) Seja (S, ) um monóide. Então: (S, ) é um submonóide de (S, ) ({e}, ) também é um submonóide de (S, ) Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.13/31

POTÊNCIAS EM SEMIGRUPOS Seja a um elemento de um semigrupo (S, ) Para n Z +, definimos recursivamente as potências a n : a 1 = a a n = a n 1 a, n 2 Além disto: se (S, ) é um monóide, definimos: se m e n são inteiros não-negativos: a 0 = e a m a n = a m+n Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.14/31

POTÊNCIAS EM SEMIGRUPOS Exemplo: Se (S, ) é um semigrupo e: a S T = {a i i Z + } Então (T, ) é um subsemigrupo de (S, ). Exemplo: Se (S, ) é um monóide e: a S T = {a i i Z + ou i = 0} Então (T, ) é um submonóide de (S, ). Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.15/31

POTÊNCIAS EM SEMIGRUPOS Exemplo: Seja T o conjunto de todos os inteiros pares. Então (T, ) é um subsemigrupo do monóide (Z, ). Mas não é um submonóide: a identidade de Z (o número 1), não pertence a T. Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.16/31

ISOMORFISMOS Sejam (S, ) e (T, ) dois semigrupos. Uma f : S T é um isomorfismo de (S, ) para (T, ) se: ela for uma bijeção de S para T f(a b) = f(a) f(b), a, b S Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.17/31

ISOMORFISMOS Já que f é uma bijeção de S para T : f 1 existe e é uma correspondência um-para-um de T para S. Proposição: f 1 é um isomorfismo de (T, ) para (S, ). Prova: sejam a e b elementos de T já que f é sobrejetiva: devem existir a e b em S tais que f(a) = a e f(b) = b então: a = f 1 (a ) e b = f 1 (b ) daí: f 1 (a b ) = f 1 (f(a) f(b)) = f 1 (f(a b)) = (f 1 f)(a b) = a b = f 1 (a ) f 1 (b ) Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.18/31

ISOMORFISMOS Se (S, ) e (T, ) são isomórficos, escrevemos: S T Procedimento para mostrar que (S, ) e (T, ) são isomórficos: 1. Defina uma função f : S T com Dom(f) = S. 2. Mostre que f é um-para-um (injetiva). 3. Mostre que f é sobrejetiva. 4. Mostre que f(a b) = f(a) f(b). Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.19/31

ISOMORFISMOS Exemplo: Seja T os inteiros pares. Mostre que os semigrupos (Z, +) e (T, +) são isomórficos. Passo 1: a função f : Z T é f(a) = 2a Passo 2: mostrando que f é injetiva (um-para-um): suponha que f(a 1 ) = f(a 2 ) então: 2a 1 = 2a 2 = a 1 = a 2 Passo 3: mostrando que f é sobrejetiva: seja b qualquer inteiro par então: b/2 = a Z Passo 4: f preserva relação entre operações: f(a + b) = 2(a + b) = 2a + 2b = f(a) + f(b) Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.20/31

ISOMORFISMOS Em geral: é fácil verificar se uma f : S T é ou não um isomorfismo mas é difícil mostrar que dois semigrupos são isomórficos Como no caso dos reticulados: quando dois semigrupos são isomórficos, só podem diferir na natureza dos seus elementos suas estruturas de semigrupos devem ser idênticas Se S e T são semigrupos finitos: operações binárias dadas por tabelas de multiplicação S e T serão isomórficos se, rearranjando e renomeando os elementos de S, obtemos a tabela de T. Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.21/31

ISOMORFISMOS Exemplo: Seja S = {a, b, c} e T = {x, y, z}. Sejam as seguintes tabelas de multiplicação: a b c a a b c b b c a c c a b x y z x z x y y x y z z y z x Fácil verificar que impõem estruturas de semigrupo a S e T. Agora, considere a função: f(a) = y f(b) = x f(c) = z Substituindo os elementos de S por suas imagens e rearranjando a tabela, obtemos, exatamente, a tabela de T portanto, S e T são isomórficos. Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.22/31

ISOMORFISMOS Teorema: Prova: Sejam os monóides: (S, ), com identidade e (T, ), com identidade e. Então, se f : S T é um isomorfismo, f(e) = e. Seja b um elemento qualquer de T. Como f é sobrejetiva, há um a em S tal que f(a) = b. Então: b = f(a) = f(a e) = f(a) f(e) = b f(e) Similarmente, como a = e a, temos que: b = f(e) b. Logo, b T : b = b f(e) = f(e) b. Ou seja, f(e) é uma identidade para T. Daí, como a identidade tem que ser única: f(e) = e Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.23/31

ISOMORFISMOS Conseqüência do teorema anterior: Um semigrupo com identidade não pode ser isomórfico a um semigrupo sem identidade. Exemplo: Seja T o conjunto dos inteiros pares. Então os semigrupos (Z, ) e (T, ) não são isomórficos. Pois Z tem uma identidade e T não. Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.24/31

HOMOMORFISMOS Agora vamos tirar da definição de isomorfismo de semigrupos as exigências de que ele seja injetivo e sobrejetivo. Obtemos outro importante método para comparar as estruturas algébricas de dois semigrupos: Sejam (S, ) e (T, ) dois semigrupos. Uma f : S T é um homomorfismo de (S, ) para (T, ) se: f(a b) = f(a) f(b), a, b S Nota: se, por acaso, f também for sobrejetiva, dizemos que T é a imagem homomórfica de S. Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.25/31

HOMOMORFISMOS Exemplo: Seja A = {0, 1} e considere os semigrupos: (A, ), onde é concatenação (A, +), onde + é definida pela tabela de multiplicação: + 0 1 0 0 1 1 1 0 Agora, seja a função f : A A, definida por: 8 < 1 se α tem um nro ímpar de 1s f(α) = : 0 se α tem um nro par de 1s f é um homomorfismo, pois: f(α β) = f(α) + f(β), α, β A Além disto, f é sobrejetiva, pois: f(0) = 0 e f(1) = 1 Mas f não é um isomorfismo, pois não é um-para-um (injetiva). Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.26/31

HOMOMORFISMOS Diferença: o isomorfismo tem que ser injetivo e sobrejetivo. Para ambos: imagem de um produto = produto das imagens Teorema: Sejam: (S, ) e (T, ) monóides com respectivas identidades e e e f : S T um homomorfismo de (S, ) para (T, ) Então f(e) = e. A união deste teorema com os dois a seguir mostra que: se um semigrupo (T, ) é a imagem homomórfica do semigrupo (S, ): (T, ) tem uma forte semelhança algébrica com (S, ). Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.27/31

HOMOMORFISMOS Teorema: Seja f um homomorfismo de um semigrupo (S, ) para um semigrupo (T, ) e seja S um subsemigrupo de (S, ). Então: f(s ) = {t T t = f(s) para algum s S } é um subsemigrupo de (T, ) ou seja: a imagem de S sob f é um subsemigrupo de (T, ) prova Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.28/31

HOMOMORFISMOS Prova: se t 1 e t 2 são elementos quaisquer de f(s ), então: t 1 = f(s 1 ) e t 2 = f(s 2 ) para alguns s 1, s 2 S daí: t 1 t 2 = f(s 1 ) f(s 2 ) = f(s 1 s 2 ) = f(s 3 ) aonde: s 3 = s 1 s 2 S logo: t 1 t 2 f(s ) portanto: f(s ) é fechado sob além disto, já que a associatividade vale em T, ela vale em f(s ) assim, f(s ) é um subsemigrupo de (T, ). Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.29/31

HOMOMORFISMOS Teorema: Se f é um homomorfismo de um semigrupo comutativo (S, ) sobre um semigrupo (T, ), então (T, ) também é comutativa. Prova: sejam t 1 e t 2 elementos quaisquer de T. então: t 1 = f(s 1 ) e t 2 = f(s 2 ) para alguns s 1 e s 2 em S logo: t 1 t 2 = f(s 1 ) f(s 2 ) = f(s 1 s 2 ) = f(s 2 s 1 ) = f(s 2 ) f(s 1 ) = t 2 t 1 portanto: (T, ) também é comutativa. Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.30/31

SEMIGRUPOS Final deste item. Dica: fazer exercícios sobre semigrupos... Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.31/31