Pullback functor Seja p : A B um morsmo numa categoria. Denimos o functor p : PtB (C) PtA (C) , que leva cada ponto sobre B na sua imagem aps produto brado com p : X B A X
e cada morsmo no morsmo nico (induzido pela propriedade universal) entre as imagens de pontos em PtA (C) .
Tiver co-igualizadores de pares ncleos Os epimorsmos regulares (os co-igualizadores) forem estveis para produtos brados.
Uma categoria ser regular se e s se tiver uma factorizao nica estvel para produtos brados de cada morsmo da forma f = m e onde e um epimorsmo regular, e m um monomorsmo.
Uma categoria exacta uma categoria regular onde toda a relao de equivalncia for efectiva (um par ncleo). Tem-se as denies seguintes: homolgica = pontuada + protomodular + regular semi-abeliana = homolgica + exacta + cocompleta semi-abeliana = pontuada + protomodular + exacta + cocompleta
Denio Um grupo de Lie uma variedade diferencivel munida de uma estrutura de grupo que igualmente diferencivel. Um exemplo S 1 com a variedade diferencivel habitual. Em particular, um grupo de Lie um espao topolgico munido de um grupo que contnuo.
Denio Um grupo topolgico um grupo munido de uma topologia tal que as operaes de grupo sejam aplicaes contnuas. Um morsmo entre grupos topolgicos um homomorsmo contnuo.
Teorema Um grupo topolgico um espao homogneo.
Demonstrao. A aplicao X X ; t ba1 t , que a a atribui b , um homeomorsmo.
Teorema Se uma propriedade topolgica vlida numa vizinhana aberta do elemento neutro, ento vlida em todo o grupo topolgico.
Consequncias: Se um grupo topolgico tiver um sistema de vizinhanas numervel da identidade, ento metrizvel. Se um homomorsmo entre grupos topolgicos for contnuo para uma vizinhana do elemento neutro, ento contnuo.
b (1X b ) = 0 gb (1X b ) = 0 K [f ] a K [g ] ker g ker f X b W g t Z f s cf (1X b ) = 0 Y c f (1X b ) = 0 ! v : X K [f ] 1X b = ker f v 0 = b ker f v = (ker g a)v v = 0 1X b = 0.
Alg(T) protomodular TopT protomodular K [f ] a K [g ] ker g ker f X b W g t Z f s Y c
Seja U : TopT Top o functor de esquecimento habitual. O functor de Yoneda Top(U (W ), ) manda o diagrama para um diagrama em ConjT . Sendo assim, Top(U (W ), b ) um isomorsmo, ou seja, existe d : W X contnua tal que b d = 1W . Olhando para Top(U (X ), ), obtem-se d b = 1X . U reecte isomorsmos. Lucas Taylor Earl Variedades de lgebras Topolgicas
Uma lgebra de Lie sobre um anel R um mdulo A com uma aplicao linear [, ] : A A A (chamada de colchetes de Lie) que satisfaz os axiomas: a. [a, a] = 0, b. [a, [b , c ]] + [b , [c , a]] + [c , [a, b ]] = 0 para cada a, b , c A.
Uma lgebra de Lie topolgica uma lgebra de Lie munida de uma topologia que seja compatvel com todas as operaes da mesma. Como lgebras de Lie so em particular mdulos, a categoria Lie(R ) protomodular: basta tomar n = 1, e = 0, 1 (x , y ) = x y e (x , y ) = x + y . Se L for a teoria de lgebras de Lie sobre R ento TopL protomodular.
uma aco de Q em K . K Q o produto munido da operao de grupo (a1 , b1 ) (a2 , b2 ) = (a1 b1 (a2 , b1 b2 ). Esta estrutura a nica a menos de isomorsmo. Existe uma equivalncia de categorias entre Grp(G ) e PtG (Grp).
Functor Mondico Um functor U diz-se mondico se tiver adjunto esquerda e se o functor de comparao J : D CT uma equivalncia de categorias. D U F C J CT FT UT .
Exemplo O functor U = kerG = 0 G mondico. U tem como adjunto esquerda F que leva cada grupo para o seu produto livre (coproduto) com G e as projeco e incluso cannicas. U reecte isomorsmos porque Grp protomodular e pontuado. U preserve co-igualizadores que existem em geral em PtG (Grp). Este functor mondico em qualquer variedade semi-abeliana (Borceux-Clementino, Inyangala).
Diz-se que C tem produtos semidirectos se para cada morsmo p : E B , o functor p mondico.
Seja T o endofunctor associado ao functor p , e seja (X , ) uma lgebra do tipo T. Dene-se o produto semidirecto (X , ) (B , p ) como sendo o objecto em PtB (C) que corresponde a (X , ).
Como que construimos estes produtos semidirectos nas variedades topolgicas?
Em (Inyangala) mostrado que o produto semidirecto de certas variedades semi-abelianas constuido custa do produto cartesiano. Uma dica do Prof. Dr. Andreia Montoli surgeriu que este resultado ainda se aplica no caso das lgebras topolgicas semi-abelianas.
Teorema Seja T uma teoria pontuada (com constante 0) que contenha + e entre as suas operaes binrias que satisfazem os axiomas: x + 0 = x; 0 + x = x; (x + y ) y = x ; (x y ) + y = x . O produto semidirecto em TopT , (X , ) B onde B um objecto de TopT e (X , ) uma lgebra sobre T o espao topolgico X B munido da estrutura
((x1 , b1 ), . . . , (xn , bn )) = ( ( (x1 +b1 , . . . , xn +bn ) (b1 , . . . , bn )), (b1 , para cada operao e elementos bi , xi de B e X , respectivamente. Lucas Taylor Earl Variedades de lgebras Topolgicas
![01_Funcoes[1]_20130512142920 (1)](https://imgv2-1-f.scribdassets.com/img/document/153474995/149x198/343811a774/1373671028?v=1)
