En la presente exposicion se tratara la teoria de Gelfand para algebras de Banach conmutativas; como caso particular se consideraran las C * -algebras y se establece la celebre dualidad entre la categoria de los espacios compactos y la categoria de las C* -algebras conmutativas con elemento unidad.