10
No segundo capítulo nosso objetivo é encontrar um limitante superior para o número de
conjuntos controláveis efetivos numa variedade "‡ag" de um grupo de Lie real simples não
compacto, tendo como base o trabalho de Braga Barros [4]. Para isso, usaremos alguns
resultados de [20] : Na primeira seção enunciaremos alguns resultados básicos sobre con-
juntos controláveis para ações de semigrupos, encontrados em [1] ; [10] e [20]. Em seguida,
apresentaremos uma revisão dos principais resultados sobre conjuntos controláveis para
ações de subsemigrupos de grupos de Lie semisimples nas suas variedades "‡ag", encon-
trados em [3]. Posteriormente, encontraremos um limitante superior para o número de
conjuntos controláveis efetivos numa variedade "‡ag" de um grupo de Lie real simples
não compacto. Esses limitantes superiores serão encontrados analisando separadamente o
tipo de sistema de raízes, como feito por Braga Barros em [4]. Finalmente, os diagramas
de Satake, encontrados em [13] ; nos possibilitam apresentar uma tabela onde é dado o
número máximo de conjuntos controláveis nas variedades "‡ag" dos grupos de Lie simples
reais e não compactos.
Por …m, introduzimos alguns apêndices. No apêndice A, estudaremos os princípios fun-
damentais das álgebras de Lie de dimensão …nita, baseado em [5] ; [11] ; [18]. Na primeira
seção apresentaremos as de…nições dos conceitos que formam a linguagem básica da teo-
ria das álgebras de Lie. Em seguida faremos um estudo mais detalhado sobre as álgebras
solúveis e nilpotentes, mostrando os teoremas de Engel e de Lie, que garantem que para
álgebras solúveis e nilpotentes de transformações lineares, pode-se encontrar uma base
que triangularize os elementos dessas álgebras. O estudo das álgebras nilpotentes, através
do Teorema de Engel, serve de base para as subálgebras de Cartan, que é essencial para
a classi…cação das álgebras semisimples. Posteriormente estudaremos a forma de Cartan-
Killing, os critérios de Cartan e as subálgebras de Cartan. A forma de Cartan-Killing de
uma álgebra de Lie de dimensão …nita atua como instrumento que nos permite investigar,
através dos critérios de Cartan, se uma álgebra de Lie é solúvel ou semisimples.
No apêndice B, com base em [11] e [18] ; iremos nos concentrar apenas no estudo das
álgebras semisimples e suas representações. O primeiro passo é ver como se comportam as
representações irredutíveis da álgebra sl(2): Também demonstraremos alguns resultados
das subálgebras de Cartan de uma álgebra semisimples, sua representação adjunta e os
pesos relacionados a essa representação. Em seguida estudaremos os pesos, fórmula de
Killing, sistemas simples de raízes e seus diagramas de Dynkin associados. Cada peso irá