Dualidade Bitopológica para Reticulados Distributivose Álgebrasde Heyting

Detalhes bibliográficos
Autor(a) principal: Santana, Emanuele Rose Romero de
Data de Publicação: 2012
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da UFBA
Texto Completo: http://repositorio.ufba.br/ri/handle/ri/19493
Resumo: O presente trabalho tem como objetivo principal apresentar a equivalência dual entre a categoria DLat, dos reticulados distributivos, e as categorias Pries, dos espaços Priestley, e Spec, dos espaços espectrais, por meio dos isomor smos entre estas últimas e a categoria PStone, dos espaços pairwise Stone; também estabelecer a equivalência dual de DLat com PStone, obtendo com isso uma alternativa para o isomor smo de Cornish. Estes isomor smos e as equivalências duais entre as referidas categorias, possibilitaram as descrições duais de alguns conceitos algébricos importantes na Teoria de Reticulados, como ltros e ideais de um reticulado. Por m, como alternativa para a dualidade de Esakia, são apresentadas dualidades bitopológicas para álgebras de Heyting.
id UFBA-2_f39295f23ae899e61504190cd50d6896
oai_identifier_str oai:repositorio.ufba.br:ri/19493
network_acronym_str UFBA-2
network_name_str Repositório Institucional da UFBA
repository_id_str 1932
spelling Santana, Emanuele Rose Romero deSantana, Emanuele Rose Romero deBrunner, Andreas Bernhard MichaelBrunner, Andreas Bernhard MichaelPaiva, Valeria Correa Vaz deMariano, Hugo Luiz2016-06-14T15:37:04Z2016-06-14T15:37:04Z2016-06-142012CDU : 512.56 : 515.1http://repositorio.ufba.br/ri/handle/ri/19493O presente trabalho tem como objetivo principal apresentar a equivalência dual entre a categoria DLat, dos reticulados distributivos, e as categorias Pries, dos espaços Priestley, e Spec, dos espaços espectrais, por meio dos isomor smos entre estas últimas e a categoria PStone, dos espaços pairwise Stone; também estabelecer a equivalência dual de DLat com PStone, obtendo com isso uma alternativa para o isomor smo de Cornish. Estes isomor smos e as equivalências duais entre as referidas categorias, possibilitaram as descrições duais de alguns conceitos algébricos importantes na Teoria de Reticulados, como ltros e ideais de um reticulado. Por m, como alternativa para a dualidade de Esakia, são apresentadas dualidades bitopológicas para álgebras de Heyting.This work aims to present the duality between the categories DLat of the distributive bounded lattices, and the categories Pries of the Priestley spaces and Spec of the spectral spaces, using isomorphisms between the last mentioned categories and the category PStone of the pairwise Stone spaces; also we establish the equivalence of DLat and PStone, receiving so an alternative for the Cornish isomorphism. These isomorphisms and the equivalencies between the above mentioned categories, make it possible to get dual descriptions of some important lattice theoretic notions, as lters and ideals of a lattice. Finally, to propose an alternative to the Esakia duality are shown bitopological dualities for Heyting algebras.Submitted by Diogo Barreiros (diogo.barreiros@ufba.br) on 2016-06-14T14:54:41Z No. of bitstreams: 1 Dissertação - Emanuele Romero.pdf: 945237 bytes, checksum: cc06b7a0943c2fe576ba1ae1ef553446 (MD5)Approved for entry into archive by Alda Lima da Silva (sivalda@ufba.br) on 2016-06-14T15:37:04Z (GMT) No. of bitstreams: 1 Dissertação - Emanuele Romero.pdf: 945237 bytes, checksum: cc06b7a0943c2fe576ba1ae1ef553446 (MD5)Made available in DSpace on 2016-06-14T15:37:04Z (GMT). No. of bitstreams: 1 Dissertação - Emanuele Romero.pdf: 945237 bytes, checksum: cc06b7a0943c2fe576ba1ae1ef553446 (MD5)CAPESMatemáticaEspaços pairwise Stoneespaços Priestleyespaços espectraisespaços bitopológicosespaços Esakia;dualidadesreticuladosDualidade Bitopológica para Reticulados Distributivose Álgebrasde Heytinginfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisInstituto de MatemáticaMestrado em MatemáticaUFBAbrasilinfo:eu-repo/semantics/openAccessporreponame:Repositório Institucional da UFBAinstname:Universidade Federal da Bahia (UFBA)instacron:UFBAORIGINALDissertação - Emanuele Romero.pdfDissertação - Emanuele Romero.pdfapplication/pdf945237https://repositorio.ufba.br/bitstream/ri/19493/1/Disserta%c3%a7%c3%a3o%20-%20Emanuele%20Romero.pdfcc06b7a0943c2fe576ba1ae1ef553446MD51LICENSElicense.txtlicense.txttext/plain1383https://repositorio.ufba.br/bitstream/ri/19493/2/license.txt690bb9e0ab0d79c4ae420a800ae539f0MD52TEXTDissertação - Emanuele Romero.pdf.txtDissertação - Emanuele Romero.pdf.txtExtracted texttext/plain180461https://repositorio.ufba.br/bitstream/ri/19493/3/Disserta%c3%a7%c3%a3o%20-%20Emanuele%20Romero.pdf.txtf608d9f4f09e90fee67ec5ee58c8d044MD53ri/194932022-07-05 14:03:34.998oai:repositorio.ufba.br:ri/19493VGVybW8gZGUgTGljZW4/P2EsIG4/P28gZXhjbHVzaXZvLCBwYXJhIG8gZGVwPz9zaXRvIG5vIFJlcG9zaXQ/P3JpbyBJbnN0aXR1Y2lvbmFsIGRhIFVGQkEuCgogUGVsbyBwcm9jZXNzbyBkZSBzdWJtaXNzPz9vIGRlIGRvY3VtZW50b3MsIG8gYXV0b3Igb3Ugc2V1IHJlcHJlc2VudGFudGUgbGVnYWwsIGFvIGFjZWl0YXIgCmVzc2UgdGVybW8gZGUgbGljZW4/P2EsIGNvbmNlZGUgYW8gUmVwb3NpdD8/cmlvIEluc3RpdHVjaW9uYWwgZGEgVW5pdmVyc2lkYWRlIEZlZGVyYWwgZGEgQmFoaWEgCm8gZGlyZWl0byBkZSBtYW50ZXIgdW1hIGM/P3BpYSBlbSBzZXUgcmVwb3NpdD8/cmlvIGNvbSBhIGZpbmFsaWRhZGUsIHByaW1laXJhLCBkZSBwcmVzZXJ2YT8/Pz9vLiAKRXNzZXMgdGVybW9zLCBuPz9vIGV4Y2x1c2l2b3MsIG1hbnQ/P20gb3MgZGlyZWl0b3MgZGUgYXV0b3IvY29weXJpZ2h0LCBtYXMgZW50ZW5kZSBvIGRvY3VtZW50byAKY29tbyBwYXJ0ZSBkbyBhY2Vydm8gaW50ZWxlY3R1YWwgZGVzc2EgVW5pdmVyc2lkYWRlLgoKIFBhcmEgb3MgZG9jdW1lbnRvcyBwdWJsaWNhZG9zIGNvbSByZXBhc3NlIGRlIGRpcmVpdG9zIGRlIGRpc3RyaWJ1aT8/Pz9vLCBlc3NlIHRlcm1vIGRlIGxpY2VuPz9hIAplbnRlbmRlIHF1ZToKCiBNYW50ZW5kbyBvcyBkaXJlaXRvcyBhdXRvcmFpcywgcmVwYXNzYWRvcyBhIHRlcmNlaXJvcywgZW0gY2FzbyBkZSBwdWJsaWNhPz8/P2VzLCBvIHJlcG9zaXQ/P3Jpbwpwb2RlIHJlc3RyaW5naXIgbyBhY2Vzc28gYW8gdGV4dG8gaW50ZWdyYWwsIG1hcyBsaWJlcmEgYXMgaW5mb3JtYT8/Pz9lcyBzb2JyZSBvIGRvY3VtZW50bwooTWV0YWRhZG9zIGVzY3JpdGl2b3MpLgoKIERlc3RhIGZvcm1hLCBhdGVuZGVuZG8gYW9zIGFuc2Vpb3MgZGVzc2EgdW5pdmVyc2lkYWRlIGVtIG1hbnRlciBzdWEgcHJvZHU/Pz8/byBjaWVudD8/ZmljYSBjb20gCmFzIHJlc3RyaT8/Pz9lcyBpbXBvc3RhcyBwZWxvcyBlZGl0b3JlcyBkZSBwZXJpPz9kaWNvcy4KCiBQYXJhIGFzIHB1YmxpY2E/Pz8/ZXMgc2VtIGluaWNpYXRpdmFzIHF1ZSBzZWd1ZW0gYSBwb2w/P3RpY2EgZGUgQWNlc3NvIEFiZXJ0bywgb3MgZGVwPz9zaXRvcyAKY29tcHVscz8/cmlvcyBuZXNzZSByZXBvc2l0Pz9yaW8gbWFudD8/bSBvcyBkaXJlaXRvcyBhdXRvcmFpcywgbWFzIG1hbnQ/P20gYWNlc3NvIGlycmVzdHJpdG8gCmFvIG1ldGFkYWRvcyBlIHRleHRvIGNvbXBsZXRvLiBBc3NpbSwgYSBhY2VpdGE/Pz8/byBkZXNzZSB0ZXJtbyBuPz9vIG5lY2Vzc2l0YSBkZSBjb25zZW50aW1lbnRvCiBwb3IgcGFydGUgZGUgYXV0b3Jlcy9kZXRlbnRvcmVzIGRvcyBkaXJlaXRvcywgcG9yIGVzdGFyZW0gZW0gaW5pY2lhdGl2YXMgZGUgYWNlc3NvIGFiZXJ0by4KRepositório InstitucionalPUBhttp://192.188.11.11:8080/oai/requestopendoar:19322022-07-05T17:03:34Repositório Institucional da UFBA - Universidade Federal da Bahia (UFBA)false
dc.title.pt_BR.fl_str_mv Dualidade Bitopológica para Reticulados Distributivose Álgebrasde Heyting
title Dualidade Bitopológica para Reticulados Distributivose Álgebrasde Heyting
spellingShingle Dualidade Bitopológica para Reticulados Distributivose Álgebrasde Heyting
Santana, Emanuele Rose Romero de
Matemática
Espaços pairwise Stone
espaços Priestley
espaços espectrais
espaços bitopológicos
espaços Esakia;
dualidades
reticulados
title_short Dualidade Bitopológica para Reticulados Distributivose Álgebrasde Heyting
title_full Dualidade Bitopológica para Reticulados Distributivose Álgebrasde Heyting
title_fullStr Dualidade Bitopológica para Reticulados Distributivose Álgebrasde Heyting
title_full_unstemmed Dualidade Bitopológica para Reticulados Distributivose Álgebrasde Heyting
title_sort Dualidade Bitopológica para Reticulados Distributivose Álgebrasde Heyting
author Santana, Emanuele Rose Romero de
author_facet Santana, Emanuele Rose Romero de
author_role author
dc.contributor.author.fl_str_mv Santana, Emanuele Rose Romero de
Santana, Emanuele Rose Romero de
dc.contributor.advisor1.fl_str_mv Brunner, Andreas Bernhard Michael
dc.contributor.referee1.fl_str_mv Brunner, Andreas Bernhard Michael
Paiva, Valeria Correa Vaz de
Mariano, Hugo Luiz
contributor_str_mv Brunner, Andreas Bernhard Michael
Brunner, Andreas Bernhard Michael
Paiva, Valeria Correa Vaz de
Mariano, Hugo Luiz
dc.subject.cnpq.fl_str_mv Matemática
topic Matemática
Espaços pairwise Stone
espaços Priestley
espaços espectrais
espaços bitopológicos
espaços Esakia;
dualidades
reticulados
dc.subject.por.fl_str_mv Espaços pairwise Stone
espaços Priestley
espaços espectrais
espaços bitopológicos
espaços Esakia;
dualidades
reticulados
description O presente trabalho tem como objetivo principal apresentar a equivalência dual entre a categoria DLat, dos reticulados distributivos, e as categorias Pries, dos espaços Priestley, e Spec, dos espaços espectrais, por meio dos isomor smos entre estas últimas e a categoria PStone, dos espaços pairwise Stone; também estabelecer a equivalência dual de DLat com PStone, obtendo com isso uma alternativa para o isomor smo de Cornish. Estes isomor smos e as equivalências duais entre as referidas categorias, possibilitaram as descrições duais de alguns conceitos algébricos importantes na Teoria de Reticulados, como ltros e ideais de um reticulado. Por m, como alternativa para a dualidade de Esakia, são apresentadas dualidades bitopológicas para álgebras de Heyting.
publishDate 2012
dc.date.submitted.none.fl_str_mv 2012
dc.date.accessioned.fl_str_mv 2016-06-14T15:37:04Z
dc.date.available.fl_str_mv 2016-06-14T15:37:04Z
dc.date.issued.fl_str_mv 2016-06-14
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://repositorio.ufba.br/ri/handle/ri/19493
dc.identifier.other.none.fl_str_mv CDU : 512.56 : 515.1
identifier_str_mv CDU : 512.56 : 515.1
url http://repositorio.ufba.br/ri/handle/ri/19493
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv Instituto de Matemática
dc.publisher.program.fl_str_mv Mestrado em Matemática
dc.publisher.initials.fl_str_mv UFBA
dc.publisher.country.fl_str_mv brasil
publisher.none.fl_str_mv Instituto de Matemática
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFBA
instname:Universidade Federal da Bahia (UFBA)
instacron:UFBA
instname_str Universidade Federal da Bahia (UFBA)
instacron_str UFBA
institution UFBA
reponame_str Repositório Institucional da UFBA
collection Repositório Institucional da UFBA
bitstream.url.fl_str_mv https://repositorio.ufba.br/bitstream/ri/19493/1/Disserta%c3%a7%c3%a3o%20-%20Emanuele%20Romero.pdf
https://repositorio.ufba.br/bitstream/ri/19493/2/license.txt
https://repositorio.ufba.br/bitstream/ri/19493/3/Disserta%c3%a7%c3%a3o%20-%20Emanuele%20Romero.pdf.txt
bitstream.checksum.fl_str_mv cc06b7a0943c2fe576ba1ae1ef553446
690bb9e0ab0d79c4ae420a800ae539f0
f608d9f4f09e90fee67ec5ee58c8d044
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFBA - Universidade Federal da Bahia (UFBA)
repository.mail.fl_str_mv
_version_ 1801502580771127296