Résumé
En mathématiques, un groupe topologique est un groupe muni d'une topologie compatible avec la structure de groupe, c'est-à-dire telle que la loi de composition interne du groupe et le passage à l'inverse sont deux applications continues. L'étude des groupes topologiques mêle donc des raisonnements d'algèbre et de topologie. La structure de groupe topologique est une notion essentielle en topologie algébrique. Les deux axiomes de la définition peuvent être remplacés par un seul : Un morphisme de groupes topologiques est un morphisme de groupes continu. Sur tout groupe topologique localement compact, il existe une et une seule mesure de Borel quasi-régulière non nulle (à coefficient multiplicateur près) invariante par les translations à gauche (x ↦ y∗x) : la mesure de Haar. Le cercle S, qui peut être considéré comme le groupe multiplicatif des nombres complexes de module 1 ou comme le groupe des rotations de centre fixé dans un plan euclidien. Tout sous-groupe de S est soit fini soit dense. Un groupe discret (groupe muni de la topologie discrète). Tout groupe produit (muni de la topologie produit) d'une famille de groupes topologiques. Par exemple (l'espace de Cantor, muni de sa structure naturelle de groupe produit). Dans un groupe topologique, les translationssont des homéomorphismes. La topologie est déterminée par la donnée des voisinages de l'élément neutre e. Un groupe topologique G est séparé si et seulement si le singleton {e} est fermé dans G. Également, G est séparé si et seulement si l'intersection des voisinages de e est réduite à {e}. Si U est un ouvert et A une partie quelconque alors U∗A est un ouvert (puisqu'il s'écrit ) et de même, A∗U est un ouvert. Tout groupe quotient G/H d'un groupe topologique G par un sous-groupe normal H est encore un groupe topologique, lorsque G/H est muni de la topologie quotient. De plus, G/H est séparé si et seulement si H est fermé. Un groupe topologique est naturellement muni de deux structures uniformes (à droite et à gauche) qui induisent sa topologie, et qui coïncident si le groupe est commutatif.
À 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 (9)

Invariant integrals on topological groups

Vasco Schiavo

We generalize the fixed-point property for discrete groups acting on convex cones given by Monod in [23] to topological groups. At first, we focus on describing this fixed-point property from a functi
ACADEMIC PRESS INC ELSEVIER SCIENCE2022

Invariant Integrals on Topological Groups and Applications

Vasco Schiavo

We study a fixed point property for linear actions of discrete groups on weakly complete convex proper cones in locally convex topological vector spaces. We search to understand the class of discrete
EPFL2021

A Covariance Formula For Topological Events Of Smooth Gaussian Fields

Alejandro Rivera

We derive a covariance formula for the class of 'topological events' of smooth Gaussian fields on manifolds; these are events that depend only on the topology of the level sets of the field, for examp
INST MATHEMATICAL STATISTICS2020
Afficher plus
Personnes associées (1)
Concepts associés (178)
Groupe orthogonal
En mathématiques, le groupe orthogonal réel de degré n, noté O(n), est le groupe des transformations géométriques d'un espace Euclidien de dimension n qui préservent les distances (isométries) et le point origine de l'espace. Formellement, on introduit le groupe orthogonal d'une forme quadratique q sur E, espace vectoriel sur un corps commutatif K, comme le sous-groupe du groupe linéaire GL(E) constitué des automorphismes f de E qui laissent q invariante : pour tout vecteur x de E.
Continuité uniforme
En topologie, la continuité uniforme (ou l'uniforme continuité) est une propriété plus forte que la continuité, et se définit dans les espaces métriques ou plus généralement les espaces uniformes. Contrairement à la continuité, la continuité uniforme n'est pas une notion « purement topologique » c'est-à-dire ne faisant intervenir que des ouverts : sa définition dépend de la distance ou de la structure uniforme. Le contexte typique de la définition de la continuité uniforme est celui des espaces métriques. N.
Groupe topologique
En mathématiques, un groupe topologique est un groupe muni d'une topologie compatible avec la structure de groupe, c'est-à-dire telle que la loi de composition interne du groupe et le passage à l'inverse sont deux applications continues. L'étude des groupes topologiques mêle donc des raisonnements d'algèbre et de topologie. La structure de groupe topologique est une notion essentielle en topologie algébrique. Les deux axiomes de la définition peuvent être remplacés par un seul : Un morphisme de groupes topologiques est un morphisme de groupes continu.
Afficher plus
Cours associés (16)
MATH-487: Topics in stochastic analysis
This course offers an introduction to Markov processes, a widely used model for random evolutions with no memory.
MATH-315: Spaces of non-positive curvature and groups
Non-positive curvature is a fundamental aspect of geometry appearing in Euclidean spaces, hyperbolic spaces, trees, buildings and many more spaces. We study it with the general but powerful tool of CA
MATH-410: Riemann surfaces
This course is an introduction to the theory of Riemann surfaces. Riemann surfaces naturally appear is mathematics in many different ways: as a result of analytic continuation, as quotients of complex
Afficher plus
Séances de cours associées (108)
Open Mapping Théorème
Explique le théorème de cartographie ouverte pour les cartes holomorphes entre les surfaces de Riemann.
Kirillov Paradigm pour le groupe Heisenberg
Explore le paradigme Kirillov pour le groupe Heisenberg et les représentations unitaires.
Limites et topologies inverses
Explore les limites inverses, les finitions infinies et les topologies de Hausdorff en théorie de groupe et en topologie.
Afficher plus