Dualidade Bitopológica para Reticulados Distributivose Álgebrasde Heyting
Autor(a) principal: | |
---|---|
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 |