isometrias para poder fazer uso de tal caracteriza¸c˜ao.
Uma vez constru´ıdo o isomorfismo entre a C
∗
-´algebra universal gerada por duas
isometrias que comutam com mais alguma hip´otese e um produto cruzado parcial,
nos perguntamos se atrav´es deste isomorfismo poder´ıamos obter informa¸c˜oes sobre
as representa¸c˜oes desta C
∗
-´algebra, j´a que o estudo de representa¸c˜oes da C
∗
-´algebra
gerada por duas isometrias que somente comutam ´e muito complexo. Em geral, os
artigos conseguem decompor o espa¸co de Hilbert onde estas isometrias atuam em
muitas partes, determinam a maioria delas, mas em pelo menos uma das partes nada
conseguem afirmar. Como acrescentamos uma hip´otese adicional, nos perguntamos se
a complexidade do problema diminuiria. Foi ent˜ao que nos deparamos com o trabalho
de Hor´ak and M¨uller [8], no qual eles acrescentavam a mesma hip´otese sobre o par de
isometrias que comutam e determinavam as representa¸c˜oes da C
∗
-´algebra gerada por
elas. As t´ecnicas usadas para isto foram muito diferentes das t´ecnicas estudas nesta
disserta¸c˜ao, no entanto, conseguimos obter uma classe de representa¸c˜oes fazendo uso
do fato que podemos ver esta C
∗
-´algebra como um produto cruzado parcial. Esta classe
de representa¸c˜oes, que obtivemos fazendo uso da teoria de representa¸c˜oes induzidas,
tamb´em foi obtida no artigo [8] e, pelo que consta neste artigo, esta classe ´e muito
importante no estudo das representa¸c˜oes desta C
∗
-´algebra. Possivelmente usando
outras t´ecnicas seria poss´ıvel reconstituir o teorema principal deste artigo, no qual
os autores determinam todas as representa¸c˜oes desta C
∗
-´algebra, mas n˜ao fomos t˜ao
longe.
No cap´ıtulo 1 n´os faremos um estudo da abordagem de Coburn sobre a C
∗
-´algebra
gerada por uma isometria; apesar destas t´ecnicas serem tamb´em completamente dis-
tintas das t´ecnicas que usaremos para estudar a C
∗
-´algebra gerada por duas isometrias
que comutam e satisfazem mais uma rela¸c˜ao, achamos importante citar este trabalho,
j´a que ele nos serviu como uma motiva¸c˜ao. No cap´ıtulo 2, abordamos a teoria b´asica
de a¸c˜oes parciais e representa¸c˜oes parciais que ser´a usada no cap´ıtulo 3, para demons-
trar o teorema que d´a a caracteriza¸c˜ao de C
∗
-´algebras geradas por um conjunto de
geradores e com um conjunto espec´ıfico de rela¸c˜oes como um produto cruzado par-
cial. Uma vez feito o teorema em abstrato, iremos no cap´ıtulo 4 em busca de quais
hip´oteses acrescentar sobre o par de isometrias que comutam, para fazer uso do teo-
rema anteriormente citado. Por fim, no cap´ıtulo 5 estudamos um pouco da teoria de
representa¸c˜oes induzidas, para construir uma classe de representa¸c˜oes da C
∗
-´algebra
em quest˜ao. Al´em disso, acrescentamos a este trabalho dois apˆendices: o primeiro
trata da teoria de C
∗
-´algebra universais e envolventes, que ´e a linguagem moderna
para tratar o problema em quest˜ao e o segundo, sobre a teoria de C
∗
-m´odulos de Hil-
bert e fibrados de Fell, que s ˜ao duas teorias que nos auxiliar˜ao em alguns resultados.
2