Made available in DSpace on 2014-06-11T19:27:09Z (GMT). No. of bitstreams: 0 Previous issue date: 2011-11-10Bitstream added on 2014-06-13T18:30:56Z : No. of bitstreams: 1 dutra_acb_me_rcla.pdf: 707752 bytes, checksum: 003487414f094d392a97a22a4efb885b (MD5) / Neste trabalho tratamos do objeto matemático Grupo Topológico. Para este desenvolvimento, abordamos elementos básicos de Grupo e Espaço Topológico / In this work we consider the mathematical object Topological Group. For this development, we discuss the basic elements of the Group and Topological Space

En 2003, Broto-Levi-Oliver van introduir el concepte de grup p-local finit, el qual és una generalització dels espais classificadors de grups finits p-completats. Més tard, els mateixos autors van introduir també el concepte de grup p-local compacte, el qual és una generalització dels espais classificadors de grups de Lie p-completats i dels grups p-compactes. Mentre que el concepte de grup p-local finit exòtic està clarament definit, en el cas compacte hi ha vàries famílies de grups que donen lloc a grups p-locals compactes, desdibuixant així la noció d'exoticitat. En aquesta tesi construim nous exemples de grups p-locals finits exòtics per a cada p >= 5. A més, demostrem que aquests nous exemples són simples en el sentit de que no contenen cap subsistema normal propi no trivial. Llavors, desenvolupem la teoria dels límits de sistemes de fusió. Demostrem que, per a tota família de sistemes de fusió satisfent certes propietats de compatibiliat, podem construir un sistema de fusió relacionat sobre un grup p-toral discret. A més, provem que aquesta construcció del límit coincideix amb el límit directe des d'un punt de vista categòric sota hipòtesis de saturació. Utilitzant els nous exemples de grups p-locals finits per a p >= 5, així com també altres famílies descobertes per Broto-Levi-Oliver i Díaz-Ruiz-Viruel, apliquem la construcció del límit per a obtenir dos nous exemples de sistemes de fusió sobre grups p-torals discrets per a cada p >= 5 i un nou exemple per a p = 3. Un cop tenim els nous sistemes de fusió, generalitzem un criteri de saturació conegut per a grups p-locals finits al cas compacte. Llavors, utilitzem aquest criteri per demostrar la saturació dels nous exemples que hem creat, donant lloc així a nous exemples de grups p-locals compactes. Finalment, demostrem que tant el nou exemple de grup 3-local compacte com els dous nous exemples de grups p-locals compactes per a p >= 5 no es poden realitzar amb grups de Lie compactes ni amb grups p-compactes. / In 2003, Broto-Levi-Oliver introduced the concept of p-local finite group, which is a generalization for p-completed classifying spaces of finite groups. Later, the same authors introduced also the notion of p-local compact group, which is a generalization for p-completed classifying spaces of compact Lie groups and p-compact groups. While the concept of exotic p-local finite group is clearly defined, in the compact case there are several families of groups which give rise to p-local compact groups, blurring this way the notion of exoticness. In this thesis we construct new examples of exotic p-local finite groups for every p >= 5. Moreover, we prove that these new examples are simple in the sense that they contain no proper nontrivial normal subsystems. Then, we develop the theory of limits of fusion systems. We prove that, for any family of fusion systems satisfying certain compatibility properties, we can construct a related fusion system over a discrete p-toral group. Moreover, we prove that this limit construction coincides with the direct limit from a categorical point of view under saturation hypothesis. Using the new examples of p-local finite groups for p >= 5, as well as other families of examples discovered by Broto-Levi-Oliver and Díaz-Ruiz-Viruel, we apply the limit construction to produce two new examples of fusion systems over discrete p-toral groups for each p >= 5 and one new example for p = 3. Once we have the new saturated fusion systems, we generalize a saturation criterion known for p-local finite groups to the compact case. Then, we use this criterion to prove the saturation of the new examples we have created, giving rise in this way to new examples of p-local compact groups. Finally, we prove that neither the new example of 3-local compact group nor the new two examples of p-local compact groups for p >= 5 can be realized by compact Lie groups or by p-compact groups.

Nesse trabalho combinamos a teoria de Nielsen de pontos fixos com a teoria dos grupos de transformações para dar condições necessárias e sucientes para realizar um subconjunto A localmente contrátil de X G - como o conjunto de pontos xos de uma apli- h : X X em uma classe de homotopia equivariante dada, onde G é X é uma G -variedade suave e compacta. Além disso, se X é o espaço total de um G -brado localmente trivial demos condições cação equivariante um grupo de Lie compacto e necessárias e sucientes para o correspondente problema de realização para aplicações G -equivariantes que preservam bra, onde G é um grupo nito. / In this work, we combine the Nielsen fixed point theory with the transformation group theory to present necessary and sucient conditions for the realization of a locally contrac- G -subset A of X as the xed point set of a map h : X X in a given G -homotopy class. Here, G is a compact Lie group and X is a compact smooth G -manifold. In adition, if X is the total space of a G -ber bundle we present necessary and sucient conditions for the corresponding realization problem for G -ber-preserving maps when G tible is a nite group.

No description available.

Sea S la categoría de los conjuntos simpliciales , C una categoría pequeña y SC la categoría de los C-diagramas en S. Se estudian fibraciones en SC sobre un C-diagrama constante; estas fibraciones se pueden ver como un conjunto de fibraciones en S sobre el mismo espacio base cuyas aplicaciones entre los espacios totales estan determinadas por C (de tal forma que el diagrama de fibraciones resultante es conmutativo). Usando la estructura de categoría de modelos cofibrantemente generada sobre SC podemos generalizar algunos conceptos clásicos , como por ejemplo el de fibración minimal, producto cartesiano torcido o grupo estructural de un fibrado. Cuando C es una categoría con un número finito de objetos y en la que todo endomorfismo es isomorfismo, es decir una EI-categoría, se prueba el siguiente resultado de clasificación: TEOREMA: Sea F un C-diagrama sobre una EI-categoría con un número finito de objetos. Si B es un espacio conexo, el conjunto de clases de equivalencia fibra a fibra de fibraciones con base B y fibra F esta en correspondencia biyectiva con el conjunto de clases de homotopía de aplicaciones entre el espacio base B y el espacio clasificador del monoide homotópico de autoequivalencias homotópicas del diagrama F. Como sabemos dada una fibración en S siempre es posible obtener una localización fibra a fibra de esta, aunque el mismo resultado no es cierto en general para el caso de funtores de colocalización y más especificamente en el caso de celularizaciones. Aplicando este teorema es posible determinar la existencia y unicidad de celularizaciones fibra a fibra, lo cual se estudia en términos de teoría de obstrucción. Adicionalmente es posible concluir otros resultados clásicos, como por ejemplo el relacionado con localizaciones fibra a fibra.

Dado un espacio topológico punteado A, E. Dror-Farjoun introduce en 1995 la noción de A-homotopía, donde A y sus suspensiones juegan el mismo papel que las esferas en homotopía clásica. Por tanto se definen los grupos de A-homotopía de un espacio punteado X como las clases de homotopía de aplicaciones definidas desde las suspensiones de A a X. La idea de CW-complejo es sustituida por la de espacio A-celular, i.e., un espacio construido mediante ciertos colímites homotópicos punteados de A de manera iterada. El concepto de aproximación celular es remplazada por la de aproximación A-celular, esto es, un espacio A-celular CWAX junto con una aplicación natural CWAX → X que induce una equivalencia entre los espacios de aplicaciones punteadas map*(A, CWAX) y map*(A, X), y por tanto un isomorfismo en grupos de A-homotopía. Sea p un número primo. En este trabajo estudiamos la A-celularización, donde A es un espacio clasificador del tipo BZ/pm, BZ/p∞ o un producto de estos, de dos familias de espacios: los espacios ΣBZ/p-acíclios salvo p-completación, y los espacios clasificadores de grupos p-locales compactos. En el primer caso vemos que la A-celularización de un espacio ΣBZ/p-acíclio salvo p-completación 1-conexo X es equivalente a la fibra homotópica de la racionalización X^p → (X^p)Q. Como ejemplos tenemos los espacios de lazos infinitos y las torres de Postnikov 1-conexos con segundo grupo de homotopía de torsión. En el segundo caso, dado un grupo p-local compacto (S, F , L ), para el estudio de la celularización de |L |^p definimos el núcleo de una aplicación f : |L |^p → Y^p como el subgrupo de S formado por los elementos x tales que la restricción de f al espacio clasificador del grupo generado por x es homotópicamente trivial. Demostramos que, bajo ciertas hipótesis sobre |L |^p, si el núcleo de cierta aplicación determinante en el cálculo de la celularización es todo el p-grupo S, entonces la A-celularización de |L |^p es equivalente a la fibra homotópica de la racionalización |L |^p → (|L |^p)Q . En el caso finito somos un más precisos, demostrando que si (S, F , L ) es un grupo p-local finito entonces |L |^p es BZ/pm -celular si y solamente si dicho núcleo es igual al mínimo subgrupo de S fuertemente cerrado que contiene toda la pi-torsión para i ≤ m. En el caso de un grupo de Lie compacto y conexo probamos que existe un entero no negativo m0 tal que para todo m ≥ m0 la (BZ/p∞ x BZ/pm)-celularización de BG^p es equivalente a la fibra homotópica de la racionalización BG^p → (BG^p)Q. / Given a pointed topological space A, in 1995 E. Dror-Farjoun introduced the notion of A-homotopy, where A and its suspensions play the same role of the spheres in classical homotopy. Therefore the A-homotopy groups of a pointed space X are defined as the homotopy classes of maps from the suspensions of A to X. The idea of CW-complex is replaced by the one of A-cellular space, i.e., a space constructed by certain iterated homotopy colimits from A. The concept of cellular approximation is replaced by the A-cellular approximation, this is, a space A-cellular CWAX together with a natural map CWAX → X which induces an equivalence in the mapping spaces map*(A, CWAX) and map*(A, X), and hence an isomorphism in A-homotopy groups. Let p be a prime. In this work we study the A-cellularization, where A is a classifying space of type BZ/pm, BZ/p∞, or a product of these, of two families of spaces: the ΣBZ/p-acyclic spaces up to p-completion and the classifying spaces of p-local compact groups. In the first case we prove that the A-cellularization of a 1-connected ΣBZ/p-acyclic space up to p-completion X is equivalent to the homotopy fibre of the rationalization X^p → (X^p)Q.. Examples include the 1-connected infinite loop spaces and Postnikov pieces whose second homotopy group is a torsion group. In the second case, given a p-local group compact (S, F , L ), for the study of the A-cellularization of |L |^p, we define the kernel of a map f : |L |^p → Y^ as the subgroup of S formed by the elements x which the restriction of f to the classifying space of the group generated by x is null-homotopic. Under certain assumptions on |L |^p, we show that if the kernel of a certain map, which is determinant in the computation of the A-cellularization, is the p-group S, then the A-cellularization of |L |^p is the homotopy fibre of the rationalization |L |^p → (|L |^p)Q. In the finite case we are more precise, we prove that if (S, F , L ) is a finite p- local group, then |L |^p is BZ/pm-cellular if and only if the kernel of this map is equal to the minimal strongly F -closed subgroup in S that contains all the pi-torsion for i ≤ m. In the case of a compact Lie group, we prove that there is a non-negative integer m0 such that for all m ≥ m0, the (BZ/p∞ x BZ/pm)-cellularization of BG^p is equivalent to the homotopy fibre of the rationalization BG^p → (BG^p)Q.

O ICTM (Interval Categorizer Tesselation Model), objeto da presente tese, é um modelo geral para análise de espaços de natureza geométrica, baseado em tesselaçoes, que é capaz de produzir uma categorização confiável de conjunto de pontos de um dado espaço, de acordo com múltiplas características dos pontos, cada característica correspondendo a uma camada do modelo. Por exemplo, na análise de terrenos geográficos, uma região geográfica pode ser analisada de acordo com a sua topografia, vegetaçao, demografia, dados econômicos etc, cada uma gerando uma subdivisão diferente da região. O modelo geral baseado em tesselações não está restrito, porém, a análise de espaços bi-dimensionais. O conjunto dos pontos analisados pode pertencer a um espaço multidimensional, determinando a característica multi-dimensional de cada camada. Um procedimento de projeção das categorizações obtidas em cada camada sobre uma camada básica leva a uma categorização confiavel mais significante, que combina em uma só classificação as análises obtidas para cada característica. Isto permite muitas análises interessantes no que tange a dependência mútua das características. A dimensão da tesselação pode ser arbitrária ou escolhida de acordo com algum critério específico estabelecido pela aplicação. Neste caso, a categorização obtida pode ser refinada, ou pela re-definição da dimensão da tesselação ou tomando cada sub-região resultante para ser analisada separadamente A formalização nos registradores pode ser facilmente recuperada apenas pela indexação dos elementos das matrizes, em qualquer momento da execução. A implementação do modelo é naturalmente paralela, uma vez que a análise é feita basicamente por regras locais. Como os dados de entrada numéricos são usualmente suscetíveis a erros, o modelo utiliza a aritmética intervalar para se ter um controle automático de erros. O modelo ICTM também suporta a extração de fatos sobre as regiões de modo qualitativo, por sentenças lógicas, ou quantitativamente, pela análise de probabilidade. Este trabalho recebe apoio nanceiro do CNPq/CTPETRO e FAPERGS.

PAIVA, Rui Eduardo Brasileiro. Injetividade como um fenômeno de transversalidade em geometrias de curvatura negativa. 2013. 46 f. Dissertação(Mestrado em Matemática) - Centro de Ciências, Universidade Federal do Ceará, Programa de Pós-Graduação em Matemática, Fortaleza, 2013. / Submitted by Erivan Almeida (eneiro@bol.com.br) on 2014-02-07T13:26:20Z No. of bitstreams: 1 2013_dis_rebpaiva.pdf: 549615 bytes, checksum: c4bf5ba27d3a751e1acc0d1235cca562 (MD5) / Approved for entry into archive by Rocilda Sales(rocilda@ufc.br) on 2014-02-07T16:46:30Z (GMT) No. of bitstreams: 1 2013_dis_rebpaiva.pdf: 549615 bytes, checksum: c4bf5ba27d3a751e1acc0d1235cca562 (MD5) / Made available in DSpace on 2014-02-07T16:46:30Z (GMT). No. of bitstreams: 1 2013_dis_rebpaiva.pdf: 549615 bytes, checksum: c4bf5ba27d3a751e1acc0d1235cca562 (MD5) Previous issue date: 2013 / In this work, we study the problem of injectivity of a local di eomorphism on dimension two of the point of view of the geometry of negative curvature. The main theorem provides a set of suficient conditions for injectivity of a local diffeomorphism f : M1 → M2 , between Hadamard surfaces, which depends on certain transversality conditions to be satisfied by simple foliations defined by horocycles associated to the metric with non positive curvature varying in M1 and M2 , and the pull-back in f of such foliations. This result gives a geometric definition for some of the results about the global asymptotic stability conjecture, in particular, it has a partial extension of the spectral condition for the case of Hadamard manifolds. / Nesta dissertação abordamos o problema de injetividade de difeomorfismos locais em dimensão dois, do ponto de vista da geometria de curvatura negativa. O teorema principal fornece um conjunto de condições suficientes para injetividade de um difeomorfismo local f : M1 → M2, entre superfícies de Hadamard, que se baseiam inteiramente em certas condições de transversalidade simples de serem satisfeitas por folheações definidas pelos horociclos associados a métrica de curvatura não positiva variável em M1 e M2 , e o pull-back por f de tais folheações. O Teorema fornece também uma definição geomé trica para alguns dos resultados sobre a conjectura de estabilidade global assintótica, em particular, apresenta uma extensão parcial da condição espectral para o caso de variedades de Hadamard.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Filosofia e Ciências Humanas, Programa de Pós-Graduação em Psicologia, Florianópolis, 2013. / Made available in DSpace on 2013-06-26T01:33:00Z (GMT). No. of bitstreams: 1 316405.pdf: 1875403 bytes, checksum: e8048130547cdc631c533934f6452262 (MD5) / Esta dissertação aborda o uso da Topologia na Psicanálise, relacionando-a com os registros Real, Simbólico e Imaginário - RSI. São apresentadas a Primeira e a Segunda Tópica freudiana, duas construções psicanalíticos desenvolvidos com intuito de mostrar o funcionamento do aparelho psíquico. Para falar dos registros, Lacan usou a Cadeia Borromeana, mostrou a relação entre os três registros por via do enlaçamento dos anéis que formam a cadeia. Naquele momento ainda não havia estudo topológico propriamente dito, assim Lacan apropriou-se de alguns conceitos de outros campos de estudo, Matemática, Filosofia, Antropologia, Linguística. Da matemática trouxe a Topologia, mas com uma proposta diferente, seus interesses não eram pelas propriedades dos espaços, e nem pela provação e demonstração de esquemas, grafos e teorias, mas sim o uso de um artifício para mostrar os registros, principalmente o Real.<br> / Abstract : This dissertation discusses the use of topology in Psychoanalysis, relating it to the records Real, Symbolic and Imaginary - RSI. Are presented the First and Second Topical Freudian psychoanalytic two constructions developed with intention to show the functioning of the psychic apparatus. To talk of records, Lacan used the Borromean Chain, showed the relationship between the three records via the intertwining rings that form the chain. At that time there was still no topological study itself, so Lacan appropriated some concepts from other fields of study, Mathematics, Philosophy, Anthropology, Linguistics. Math brought topology, but with a different proposal, their interests were not by the properties of the spaces, and not by trial and demonstration schemes, graphs and theories, but the use of a device to show the records, especially the Real.

O ICTM (Interval Categorizer Tesselation Model), objeto da presente tese, é um modelo geral para análise de espaços de natureza geométrica, baseado em tesselaçoes, que é capaz de produzir uma categorização confiável de conjunto de pontos de um dado espaço, de acordo com múltiplas características dos pontos, cada característica correspondendo a uma camada do modelo. Por exemplo, na análise de terrenos geográficos, uma região geográfica pode ser analisada de acordo com a sua topografia, vegetaçao, demografia, dados econômicos etc, cada uma gerando uma subdivisão diferente da região. O modelo geral baseado em tesselações não está restrito, porém, a análise de espaços bi-dimensionais. O conjunto dos pontos analisados pode pertencer a um espaço multidimensional, determinando a característica multi-dimensional de cada camada. Um procedimento de projeção das categorizações obtidas em cada camada sobre uma camada básica leva a uma categorização confiavel mais significante, que combina em uma só classificação as análises obtidas para cada característica. Isto permite muitas análises interessantes no que tange a dependência mútua das características. A dimensão da tesselação pode ser arbitrária ou escolhida de acordo com algum critério específico estabelecido pela aplicação. Neste caso, a categorização obtida pode ser refinada, ou pela re-definição da dimensão da tesselação ou tomando cada sub-região resultante para ser analisada separadamente A formalização nos registradores pode ser facilmente recuperada apenas pela indexação dos elementos das matrizes, em qualquer momento da execução. A implementação do modelo é naturalmente paralela, uma vez que a análise é feita basicamente por regras locais. Como os dados de entrada numéricos são usualmente suscetíveis a erros, o modelo utiliza a aritmética intervalar para se ter um controle automático de erros. O modelo ICTM também suporta a extração de fatos sobre as regiões de modo qualitativo, por sentenças lógicas, ou quantitativamente, pela análise de probabilidade. Este trabalho recebe apoio nanceiro do CNPq/CTPETRO e FAPERGS.