Isométrie affine

Résumé

Une isométrie affine est une transformation bijective d'un espace affine euclidien dans un autre qui est à la fois une application affine et une isométrie (c'est-à-dire une bijection conservant les distances). Si cette isométrie conserve aussi l'orientation, on dit que c'est un déplacement. Si elle inverse l'orientation, il s'agit d'un antidéplacement. Les déplacements sont les composés de translations et rotations. Les réflexions sont des antidéplacements. On désigne par le plan (, plus précisément, un plan affine réel euclidien). Les applications suivantes sont des isométries de : Étant donné un vecteur l'application qui, à tout point , associe le point tel que : c'est la translation de vecteur . Sa réciproque est la translation de vecteur . Elle n'a aucun point fixe, sauf si , auquel cas c'est l'identité. Étant donné un point de et un angle orienté , l'application qui fixe et, à un point distinct de , associe l'unique point tel que et : c'est la rotation plane de centre et d'angle . Sa réciproque est la rotation de centre et d'angle . Étant donné une droite l'application qui, à tout point , associe le point tel que , où est le projeté orthogonal de sur : c'est la symétrie axiale par rapport à . On peut la définir autrement : si alors et si alors est tel que est la médiatrice de . Les symétries sont involutives. Une isométrie du plan ayant trois points fixes non alignés est l'identité. Une isométrie du plan autre que l'identité ayant au moins deux points fixes A et B est la réflexion par rapport à la droite (AB). Une isométrie du plan ayant un unique point fixe A est une rotation de centre A. Si une application d'un espace euclidien dans lui-même conserve les distances alors elle est affine, et son application linéaire associée conserve la norme donc est un automorphisme orthogonal. Réciproquement, toute application affine dont l'application linéaire associée est un automorphisme orthogonal est une isométrie affine. Les automorphismes orthogonaux sont caractérisés par le fait que leur matrice dans une base orthonormée est une matrice orthogonale.

Source officielle

https://fr.wikipedia.org/wiki/Isométrie_affine

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Publications associées (3)

Incommensurate crystallography without additional dimensions

Philippe Kocian

It is shown that the Euclidean group of translations, when treated as a Lie group, generates translations not only in Euclidean space but on any space, curved or not. Translations are then not necessarily vectors (straight lines); they can be any curve compatible with the parameterization of the considered space. In particular, attention is drawn to the fact that one and only one finite and free module of the Lie algebra of the group of translations can generate both modulated and non-modulated lattices, the modulated character being given only by the parameterization of the space in which the lattice is generated. Moreover, it is shown that the diffraction pattern of a structure is directly linked to the action of that free and finite module. In the Fourier transform of a whole structure, the Fourier transform of the electron density of one unit cell (i.e. the structure factor) appears concretely, whether the structure is modulated or not. Thus, there exists a neat separation: the geometrical aspect on the one hand and the action of the group on the other, without requiring additional dimensions.

Wiley-Blackwell2013

As Avez showed (in 1970), the fundamental group of a compact Riemannian manifold of nonpositive sectional curvature has exponential growth if and only if it is not flat. After several generalizations from Gromov, Zimmer, Anderson, Burger and Shroeder, the following theorem was proved by Adams and Ballmann (in 1998). Theorem Let X be a proper CAT(0) space. If Γ is an amenable group of isometries of X, then at least one of the following two assertions holds: Γ fixes a point in ∂X (boundary of X). X contains a Γ-invariant flat (isometric copy of Rn, n ≥ 0). Following an idea of my PhD advisor Nicolas Monod, I tried to generalize this theorem in the context of goupoids, in this case Borel G-spaces and countable Borel equivalence relations. This lead me to study the notion of Borel fields of metric spaces, which turns out to be a suitable context to define an action of a countable Borel equivalence relation. A field of metric spaces over a set Ω is a family {(Xω,dω)} ω∈Ω of nonempty metric spaces denoted by (Ω,X•). We introduced as S( Ω,X•) the set of maps Such maps are called sections. If Ω is a Borel space, we can define a Borel structure on a field of metric spaces to be a subset Lℒ( Ω,X•) of S( Ω,X•) satisfying these three conditions For all f, g ∈ ℒ(Ω,X•), the function Ω → R, ω → dω(f(ω), g(ω)) is Borel. If h ∈ S(Ω,X•) is such that the function Ω → R, ω → dω(f(ω), h(ω)) is Borel for all f ∈ ℒ(Ω,X•), then h ∈ ℒ(Ω,X•). There exists a countable family of sections {fn}n≥1 ⊆ ℒ(Ω,X•) such that {fn (ω)}n≥1 = Xω for all ω ∈ Ω. This definition is consistent with more classical definitions of Borel fields of Banach spaces or of Borel fields of Hilbert spaces. The notion of a Borel field of metric spaces has been used in convex analysis and in economy. As said before, we can define an action of a countable Borel equivalence relation ℛ ⊆ Ω2 on a Borel field of metric spaces (Ω,X•) in a natural way. It's determined by a family of bijectives maps {α(ω, ω') : Xω → Xω'}(ω,ω')∈ℛ such that For all (ω,ω'), (ω',ω") ∈ ℛ the following equality is satisfied α(ω', ω") ◦ α(ω, ω') = α(ω, ω"). For all f, g ∈ ℒ(Ω,X), the function ℛ → R, (ω, ω') → dω(f(ω), α(ω', ω)g(ω')) is Borel. Zimmer (1977) introduced the notion of amenability for ergodic G-spaces and equivalence relations, of which we obtained the first generalization (in collaboration with Philippe Henry). Theorem Let R be a countable, Borel, preserving the class of the measure, ergodic and amenable equivalence relation on the probability space Ω acting on a Borel field ( Ω,X•) of proper CAT(0) spaces with finite topological dimension. Then at least one of the following assertions is true: There exists an ℛ-invariant Borel section ξ ∈ L(Ω,∂X•). There exists an ℛ-invariant Borel subfield (Ω, F•) of (Ω,X•) consisting of flat subsets. And the second generalization for amenable ergodic G-spaces. Theorem Let G be a locally compact second countable group, Ω a preserving class of the measure, ergodic amenable G-space, X a proper CAT(0) space with finite topological dimension and α : G × Ω → Iso(X) a Borel cocycle. Then at least one of the following assertions is true: There exists an α-invariant Borel function ξ : Ω → ∂X. There exists an α-invariant borelian subfield (Ω, F•) of the trivial field (Ω, X) consisting of flat subsets. If we consider (Ω,μ) to be a strong boundary of the group G, the cocycle α to come from an action of G on X, and X to have flats of at most dimension 2, then we can conclude the following. Theorem Let G be a locally compact second countable group, (Ω,μ) a strong boundary of G, X a proper CAT(0) space with finite topological dimension and whose flats are of dimension at most 2. Let suppose that G acts by isometry on X. Then at least one of the following assertions is true: There exists a G-equivariant Borel function ξ: Ω → ∂X. There exists a G-invariant flat F in X. The proof of the three theorems are strongly based on properties of Borel field of metric spaces that we prove in this thesis.

EPFL2010

The mathematical facet of modern crystallography is essentially based on analytical geometry, linear algebra as well as group theory. This study endeavours to approach the geometry and symmetry of crystals using the tools furnished by differential geometry and the theory of Lie groups. These two branches of mathematics being little known to crystallographers, the pertinent definitions such as differentiable manifold, tangent space or metric tensor or even isometries on a manifold together with some important results are given first. The example of euclidean space, taken as riemannian manifold, is treated, in order to show that the affine aspect of this space is not at all an axiom but the consequence of the euclidean nature of the manifold. Attention is then directed to a particular subgroup of the group of euclidean isometries, namely that of translations. This has the property of a Lie group and it turns out that the action of its elements, as well as those of its Lie algebra, plays an important role in generating a lattice on a manifold and in its tangent space, too. In particular, it is pointed out that one and only one finite and free module of the Lie algebra of the group of translations can generate both, modulated and non-modulated lattices. This last classification therefore appears continuous rather than black and white and is entirely determined by the parametrisation considered. Since a lattice in a tangent space has the properties of a vector space, it always possesses the structure of a finite, free module, which shows that the assignment of aperiodicity to modulated structures is quite subjective, even unmotivated. Thanks to the concept of representation of a lattice or a crystal in a tangent space, novel definitions of the notions of symmetry operation of a space group and point symmetry operation, as well as symmetry element and intrinsic translation arise; they altogether naturally blend into the framework of differential geometry. In order to conveniently pass from one representation of a crystal in one tangent space to another or to the structure on a manifold, an equivalence relation on the tangent bundle of the manifold is introduced. This relation furthermore allows to extend the concept of symmetry operation to the tangent bundle; this extension furnishes, particularly in the euclidean case, a very practical way of representing symmetry operations of space groups completely devoid of any dependence on an origin, or, in other words, in which each and every point may be considered the origin. The investigation of the group of translations having being completed, the study of the linear parts of the isometries comes naturally. Based on the fact that the set of linear parts possesses the structure of a Lie group, several results are proven in a rigorous manner, such as the fact that a rotation angle of π/3 is incompatible with a three-dimensional cubic lattice. Procedures for determining different crystal systems in function of the type of rotation are laid out by way of the study of orthogonal matrices and their relation to the matrix associated with the type of system. Finally, the description of a crystal by its diffraction patterns is taken on. It is shown that the general aspect of such a pattern is directly linked to the action of that free and finite module of the Lie algebra of translations which generates a lattice on a manifold. In the case of modulated crystals, it is demonstrated that the appearance of supplementary spots is caused by the geometry, i.e. by the parametrisation of the manifold in which the crystal exists and not by the action of the module in the Lie algebra. Thus, there exists a neat separation: the geometrical aspect on the one hand, and the action of the group on the other. As the last topic, other ways of interpreting the diffraction pattern of a modulated structure are laid out in order to argue that mere experimental data do not warrant the uniqueness of a model. The goal of this study is by no means an attempt at overthrowing existing structural models such as the superspace-formalism or at revolutionising the methods for determining structures, but is rather aimed at sustaining that the definition of certain notions becomes thoroughly natural within the appropriate mathematical framework, and, that the term aperiodicity assigned to modulated structures no longer has a true meaning.

EPFL2009

Concepts associés (59)

Rotations and reflections in two dimensions

In Euclidean geometry, two-dimensional rotations and reflections are two kinds of Euclidean plane isometries which are related to one another. A rotation in the plane can be formed by composing a pair of reflections. First reflect a point P to its image P′ on the other side of line L1. Then reflect P′ to its image P′′ on the other side of line L2. If lines L1 and L2 make an angle θ with one another, then points P and P′′ will make an angle 2θ around point O, the intersection of L1 and L2. I.e.

Groupe affine

Les automorphismes d'un espace affine A constituent un groupe appelé groupe affine de A et noté GA(A). En notant E l'espace vectoriel qui dirige A, l'application qui à tout automorphisme u de A fait correspondre l'automorphisme f de E associé à u est un morphisme du groupe affine GA(A) dans le groupe linéaire GL(E). Son noyau forme le groupe des translations. GA(A) est isomorphe au produit semi-direct du groupe additif de E par GL(E). Il est donc engendré par les translations, les transvections et les dilatations.

Screw axis

A screw axis (helical axis or twist axis) is a line that is simultaneously the axis of rotation and the line along which translation of a body occurs. Chasles' theorem shows that each Euclidean displacement in three-dimensional space has a screw axis, and the displacement can be decomposed into a rotation about and a slide along this screw axis. Plücker coordinates are used to locate a screw axis in space, and consist of a pair of three-dimensional vectors. The first vector identifies the direction of the axis, and the second locates its position.

Afficher plus

Cours associés (7)

MATH-124: Geometry for architects I

Ce cours entend exposer les fondements de la géométrie à un triple titre : 1/ de technique mathématique essentielle au processus de conception du projet, 2/ d'objet privilégié des logiciels de concept

MATH-213: Differential geometry

Ce cours est une introduction à la géométrie différentielle classique des courbes et des surfaces, principalement dans le plan et l'espace euclidien.

MATH-123(b): Geometry

The course provides an introduction to the study of curves and surfaces in Euclidean spaces. We will learn how we can apply ideas from differential and integral calculus and linear algebra in order to

Afficher plus

Séances de cours associées (111)

Délégation quantique de calcul

Explore la délégation sécurisée des tâches de calcul quantique aux serveurs externes tout en assurant la confidentialité et l'intégrité des données.

Isometries et bases orthonormées MATH-213: Differential geometry

Discute des isométries et des bases orthonormées en mathématiques.

Théorie Conformelle des Bases de Champ PHYS-739: Conformal Field theory and Gravity

Couvre les bases de la théorie des champs conformaux, en mettant l'accent sur les grands CFT N et les fonctions de corrélation.

Afficher plus