Registro:
Documento: | Tesis Doctoral |
Disciplina: | matematica |
Título: | Una teoría general de representación para mv-algebras |
Título alternativo: | A general theory for representation of mv-algebras |
Autor: | Poveda Quiñones, Yuri Alexander |
Editor: | Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales |
Publicación en la Web: | 2023-05-09 |
Fecha de defensa: | 2007 |
Fecha en portada: | 2007 |
Grado Obtenido: | Doctorado |
Título Obtenido: | Doctor de la Universidad de Buenos Aires en el área de Ciencias Matemáticas |
Departamento Docente: | Departamento de Matemáticas |
Director: | Dubuc, Eduardo Julio |
Idioma: | Español |
Palabras clave: | MV-ALGEBRA; MV-CADENA; TOPOS; ESPACIO ETAL; FIBRA; FUNTOR REPRESENTABLE; TOPOLOGIA SUBCANONICA; TOPOS CLASIFICANTEMV-ALGEBRA; MV-CHAIN; TOPOS; ETAL SPACE; FIBER; REPRESENTABLE FUNCTOR; SUBCANONIC TOPOLOGY |
Formato: | PDF |
Handle: |
http://hdl.handle.net/20.500.12110/tesis_n4174_PovedaQuinones |
PDF: | https://bibliotecadigital.exactas.uba.ar/download/tesis/tesis_n4174_PovedaQuinones.pdf |
Registro: | https://bibliotecadigital.exactas.uba.ar/collection/tesis/document/tesis_n4174_PovedaQuinones |
Ubicación: | MAT 004174 |
Derechos de Acceso: | Esta obra puede ser leída, grabada y utilizada con fines de estudio, investigación y docencia. Es necesario el reconocimiento de autoría mediante la cita correspondiente. Poveda Quiñones, Yuri Alexander. (2007). Una teoría general de representación para mv-algebras. (Tesis Doctoral. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales). Recuperado de http://hdl.handle.net/20.500.12110/tesis_n4174_PovedaQuinones |
Resumen:
El trabajo relaciona mv-álgebras con haces sobre un espacio topológico. En [3] se obtiene un teorema de representación de mv-álgebras localmente finitas. Cada mv-algebra localmente finita A es isomorfa al álgebra de las secciones globales de un haz EA →XA (espacio topológico etal de base XA), cuyas fibras son subalgebras del intervalo racional [0; 1] ∩Q. Generalizamos el teorema de representación de [3] a todas las mv-álgebras arquimedianas, considerando como espacio base XA el conjunto de los ideales maximales M de A munidos de una tipología análoga a la conocida topología de Zariski. El espacio XA resulta ser un espacio de Stone. Mostramos que en el caso de mv-álgebras localmente finitas, nuestra construcción y la de [3] son equivalentes. Luego generalizamos estos resultados a mv-álgebras arbitrarias siguiendo los lineamientos de la teoría de topos clasificantes. Introducimos el espectro primo SpecA de una mv-álgebra general, como el haz de cadenas cuyo espacio base es el conjunto de ideales primos de A, munido de la topología coZariski. Las fibras de EA son los cocientes A=P con P ideal primo. Demostramos que la base XA resulta un espacio compacto y que toda mv-álgebra A es isomorfa al álgebra de secciones globales del haz SpecA. Una corolario interesante de nuestro teorema de representación general, aplicado al caso de las mv-álgebras libres, es una nueva demostración del teorema de McNaughton (ver capítulo 7).
Abstract:
The present work relates mv-algebras with sheaves over topological spaces. In [3] a representation theorem for locally finite mv-algebras is obtained. Each locally finite mv-algebra A results isomorphic to the algebra of global sections of a sheaf EA → XA (etal topological space with base XA), where the fibers are subalgebras of the rational interval [0; 1] ∩Q. We generalize this representation theorem to archimedian mv-algebras, considering as base space XA the set of maximal ideals M of A with a topology that is analog to the classic Zariski topology. The space XA results a Stone space. We show that, for locally finite mv-algebras, our construction and the one in [3] are equivalents. We further generalize these results to arbitrary mv-algebras following the lines of the calssifying topoi theory. We introduce the prime spectrum SpecA of a general mv-algebra, as the sheaf of chains with the set of prime ideals of A, as base space with the coZariski topology. The fibers of E are the quotients A=P with P prime ideal of A. We prove that the base XA results a compact space and that any mv-algebra A is isomorphic to the algebra of global sections of the sheaf SpecA. As a corollary of our general representation theorem applied to free mv-algebras, we obtain a new proof of McNaughton theoerm (see chapter 7).
Citación:
---------- APA ----------
Poveda Quiñones, Yuri Alexander. (2007). Una teoría general de representación para mv-algebras. (Tesis Doctoral. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de https://hdl.handle.net/20.500.12110/tesis_n4174_PovedaQuinones
---------- CHICAGO ----------
Poveda Quiñones, Yuri Alexander. "Una teoría general de representación para mv-algebras". Tesis Doctoral, Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales, 2007.https://hdl.handle.net/20.500.12110/tesis_n4174_PovedaQuinones
Estadísticas:
Descargas totales desde :
Descargas mensuales
https://bibliotecadigital.exactas.uba.ar/download/tesis/tesis_n4174_PovedaQuinones.pdf