Let A and B be real or complex C*-algebras. Let V and W be real or complex (right) full Hilbert C*-modules over A and B, respectively. Let T be a linear bijective map from V onto W. We show the following four statements are equivalent. (a) T is a unitary operator, i.e., there is a ∗-isomorphism £\ : A ¡÷ B such that <Tx,Ty> = £\(<x,y>), ∀ x,y∈ V ; (b) T preserves TRO products, i.e., T(x<y,z>) =Tx<Ty,Tz>, ∀ x,y,z in V ; (c) T is a 2-isometry; (d) T is a complete isometry. Moreover, if A and B are commutative, the four statements are also equivalent to (e) T is a isometry. On the other hand, if V and W are complex Hilbert C*-modules over complex C*-algebras, then T is unitary if and only if it is a module map, i.e., T(xa) = (Tx)£\(a), ∀ x ∈ V,a ∈ A.

In this dissertation we study lattices in quotient spaces. The basic quotient spaces are: (1) n-dimensional euclidean tori, obtained from quotient of Rn by discrete groups of isometries ge- nerated by linearly independent translations and (2) hyperbolic °at g-tori (tori of genus g ¸ 2), obtained from quotient of hyperbolic plane by fuchsian groups. In the euclidean environment, the considered lattices are provided of the additive group Z2; while in the hyperbolic case the studied lattices are the geometrically uniform and the cyclic ones. / Neste trabalho estudamos reticulados em espaços quocientes. Os espaços quocientes considerados foram: (1) toros euclidianos n-dimensionais, obtidos pelo quociente de Rn por grupos discretos de isometrias gerados por translações linearmente independentes e (2) g-toros planos hiperbólicos (g ¸ 2) ; obtidos pelo quociente do plano hiperbólico por grupos fuchsianos. No caso euclidiano, os reticulados considerados foram provenientes de Z2; enquanto que no caso hiperbólico os reticulados estudados foram os geometricamente uniformes e os cíclicos. / Mestre em Matemática

Nesta dissertação apresentamos uma sequência de atividades não tradicionais, com foco no ensino e na aprendizagem de Geometria, em particular no que se refere às Isometrias no Plano, elaboradas para alunos de Ensino Fundamental, e o resultado de sua aplicação a oito turmas de 9o ano, como forma de desenvolver habilidades de raciocínio desses alunos. Utilizamos para esse experimento o Design Experiment, experimento de ensino fundamentado no aprimoramento contínuo, e a teoria de Van Hiele baseada na tese de doutorado de Adela Jaime-Pastor (1993), com uma série de atividades elaboradas e aplicadas pela professora/pesquisadora envolvendo as translações e as reflexões, através das fases de aprendizagem e níveis de raciocínio que os alunos desenvolvem com a aplicação dessa teoria. Esse experimento foi dividido em dois momentos, aplicação com quatro turmas de 9o ano em 2015 e aplicação com outras quatro turmas de 9o ano em 2016, subdivididos em outras duas situações, atividades sobre translações e atividades sobre reflexões. Os dados desse experimento foram obtidos através das produções dos alunos, que trabalharam em duplas, em sala de aula, registrados por meio de fotos, vídeos e áudios gravados pela própria pesquisadora. Também utilizamos as bonecas de papel de Brigitte Servatius (1997), com as quais foram trabalhadas translações e reflexões. Os alunos participantes do experimento finalizaram-no com noções sólidas das características das isometrias e um visível progresso em seu nível de conhecimento. A forma como as atividades foram realizadas trouxeram reflexos na rotina desses estudantes em sala de aula, tornando evidente que a busca por situações que despertem o interesse dos alunos de forma inovadora pode gerar melhores resultados e a motivação de uma contínua aprendizagem. / In this dissertation we present a sequence of non-traditional activities, focusing on the teaching and learning of Geometry, in particular regarding the Isometrics in the Plan, elaborated for elementary school students, and the result of its application to eight classes of 9th grade , As a way to develop students\' reasoning skills. We used for this experiment the Design Experiment, a teaching experiment based on continuous improvement, and Van Hiele\'s theory based on Adela Jaime-Pastor\'s (1993) doctoral thesis, with a series of activities elaborated and applied by the teacher/researcher involving the translations and the reflections, through the phases of learning and levels of reasoning that the students develop with the application of this theory. This experiment was divided in two moments, application with four classes of 9th grade in 2015 and application with four other groups of 9th grade in 2016, subdivided into two other situations, activities on translations and activities on reflections. The data of this experiment were obtained through the productions of the students, who worked in doubles, in the classroom, recorded through photos, videos and audios recorded by the researcher herself. We also used the paper dolls of Brigitte Servatius (1997), with which we worked on translations and reflections. The students participating in the experiment finalized it with solid notions of the characteristics of the isometries and a visible progress in their level of knowledge. The way the activities were carried out brought reflexes to the routine of these students in the classroom, making it evident that the search for situations that arouse the students\' interest in an innovative way can generate better results and the motivation of continuous learning.

[pt] Apresentaremos uma versão de Teorema Ergódico Multiplicativo para cociclos subaditivos devido a Karlsson e Margulis. Como aplicação, analisaremos três exemplos de cociclos nos seguintes espaços: Grafo gerado por grupo livre em dois geradores, disco hiperbólico, espaco das matrizes positivas simétricas definidas. Também usaremos o Teorema de Karlsson e Margulis para mostrar o Teorema de Oseledets. / [en] We will show a version of Multiplicative Ergodic Theorem for subbaditive cocycles due to Karlsson and Margulis. As an application, we will analyze three examples of cocycles in following spaces: graph generated by free group of two generators, hyperbolic disc, space of positive definite symetric matrices. Also, we will use the Theorem of Karlsson and Margulis to prove Theorem of Oseledets.

No description available.

Nous étudions les semi-groupes de matrices avec des points de vue variés qui se re-coupent. Le point de vue de la croissance s’avère relié à un point de vue géométrique : nous avons partiellement généralisé aux semi-groupes un théorème de Patterson-Sullivan-Paulin sur les groupes, qui donne l’égalité entre exposant critique et dimension de Hausdorff de l’ensemble limite. Nous obtenons cela dans le cadre général des semi-groupes d’isométries d’un espace Gromov-hyperbolique, et notre preuve nous a permis d’obtenir également d’autres résultats nouveaux. Le point de vue informatique s’avère également relié à la croissance, puisque la notion de semi-groupe fortement automatique, que nous avons introduit, permet de calculer les exposants critiques exactes de semi-groupes de développement en base β. Et ce point de vue donne également beaucoup d’autres informations sur ces semi-groupes. Cette notion de croissance s’avère aussi reliée à des conjectures sur les fractions continues telles que celle de Zaremba. Et c’est en étudiant certains semi-groupes de matrices que nous avons pu démontrer des résultats sur les fractions continues périodiques bornées qui permettent de petites avancées dans la résolution d'une conjecture de McMullen. / We study matrix semigroups with different point of view that overlaps. The growth point of view seems to be related with the geometric point of view : we partially generalize to the semigroups a theorem on groups of Patterson-Sullivan-Paulin, that give the equality between the critical exponent and the Hausdorff dimension of the limit set. We obtain this in the general framework of isometries of a Gromov-hyperbolic space, and our proof give also others new results. The computer science point of view is also related to the growth, since we obtain a way to calculate exact values of critical exponents of somes β-adic development semigroups, from a notion of automatic semigroups that we introduce. Furthermore this point of view give a lot of information on these semigroups. This notion of growth shows to be also related to conjectures on continued fractions like Zaremba’s one. And by studing some matrix semigroups we were able to prove some results on bounded periodic continued fractions, doing a little step in the resolution of a conjecture of McMullen.

<p>Un code de permutations G(n,d) un sous-ensemble C de Sym(n) tel que la distance de Hamming D entre deux éléments de C est supérieure ou égale à d. Dans cette thèse, le groupe des isométries de (Sym(n),D) est déterminé et il est prouvé que ces isométries sont des automorphismes du schéma d'association induit sur Sym(n) par ses classes de conjugaison. Ceci mène, par programmation linéaire, à de nouveaux majorants de la taille maximale des G(n,d) pour n et d fixés et n compris entre 11 et 13. Des algorithmes de génération avec rejet d'objets isomorphes sont développés. Pour classer les G(n,d) non isométriques, des invariants ont été construits et leur efficacité étudiée. Tous les G(4,3) et les G(5,4) ont été engendrés à une isométrie près, il y en a respectivement 61 et 9445 (dont 139 sont maximaux et décrits explicitement). D’autres classes de G(n,d) sont étudiées.<p><p><p><p> <p><p><p><p>A permutation code G(n,d) is a subset C of Sym(n) such that the Hamming distance D between two elements of C is larger than or equal to d. In this thesis, we characterize the isometry group of the metric space (Sym(n),D) and we prove that these isometries are automorphisms of the association scheme induced on Sym(n) by the conjugacy classes. This leads, by linear programming, to new upper bounds for the maximal size of G(n,d) codes for n and d fixed and n between 11 and 13. We develop generating algorithms with rejection of isomorphic objects. In order to classify the G(n,d) codes up to isometry, we construct invariants and study their efficiency. We generate all G(4,3) and G(4,5)codes up to isometry; there are respectively 61 and 9445 of them. Precisely 139 out of the latter codes are maximal and explicitly described. We also study other classes of G(n,d)codes.<p><p><p><p> / Doctorat en sciences, Spécialisation mathématiques / info:eu-repo/semantics/nonPublished

Dans ce travail, nous classifions les automorphismes non-symplectiques des variétés équivalentes par déformations à des variétés de Kummer généralisées de dimension 4, ayant une action d'ordre premier sur le réseau de Beauville-Bogomolov. Dans un premier temps, nous donnons les lieux fixes des automorphismes naturels de cette forme. Par la suite, nous développons des outils sur les réseaux en vue de les appliquer à nos variétés. Une étude réticulaire des tores complexes de dimension 2 permet de mieux comprendre les automorphismes naturels sur les variétés de type Kummer. Nous classifions finalement tous les automorphismes décrits précédemment sur ces variétés. En application de nos résultats sur les réseaux, nous complétons également la classification des automorphismes d'ordre premier sur les variétés équivalentes par déformations à des schémas de Hilbert de 2 points sur des surfaces K3, en traitant le cas de l'ordre 5 qui restait ouvert. / Ln this work, we classify non-symplectic automorphisms of varieties deformation equivalent to 4-dimensional generalized Kummer varieties, having a prime order action on the Beauville-Bogomolov lattice. Firstly, we give the fixed loci of natural automorphisms of this kind. Thereafter, we develop tools on lattices, in order to apply them to our varieties. A lattice-theoritic study of 2-dimensional complex tori allows a better understanding of natural automorphisms of Kummer-type varieties. Finaly, we classify all the automorphisms described above on thos varieties. As an application of our results on lattices, we complete also the classification of prime order automorphisms on varieties deformation-equivalent to Hilbert schemes of 2 points on K3 surfaces, solving the case of order 5 which was still open.