Groupe topologique - Définition

Source: Wikipédia sous licence CC-BY-SA 3.0.
La liste des auteurs de cet article est disponible ici.

- Introduction - Définition et propriété caractéristique - Exemples de base - Mesure de Haar - Groupes linéaires - Quelques propriétés générales - Topologie p-adique

Introduction

En mathématiques, un groupe topologique est un groupe muni d'une topologie compatible avec la structure de groupe, c'est-à-dire lorsque 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.

Définition et propriété caractéristique

Définition — Un groupe $(G,\star)$ muni d'une topologie est dit topologique lorsque les applications :

$(x,y) \in G^2 \longmapsto x \star y$ ;
et $x\in G \longmapsto x^{-1}$

sont continues.

Les deux axiomes de la définition peuvent être remplacés par un seul :

Théorème — Un groupe $(G,\star)$ est un groupe topologique si et seulement si l'application

;

est continue.

Exemples de base

Théorème : Le groupe additif $\mathbb{R}$ . Un sous-groupe de $\mathbb{R}$ est soit dense, soit de la forme $a\mathbb{Z}$ , pour un unique $a\ge 0$ .

Démonstration :

Soit $\operatorname{(\textstyle G,+)}$ sous groupe différent de $\textstyle \{0\}$ . On définit $G^{+} = G \cap ]0;+\infty[$ . On s’intéresse à la borne inférieure de $\operatorname{G^+}\ :\ a = \inf{G^{+}}$ .

Si $a = 0, \exists a_{n}$ une suite de $\textstyle{G^{+}}$ qui converge vers $\textstyle{0}$ . Soit $\varepsilon > 0 , \exists x \in G \cap ]0;\varepsilon[$ tel que $\forall p \in \mathbb{Z}$ , $px \in G$ . Tout intervalle de longueur $\varepsilon$ contient un élément de $\textstyle{G}$ donc $\textstyle{G}$ est dense.

Si $a\neq0$ , $a \in G^{+}$ : en effet, sinon $(\forall \varepsilon > 0)(\exists(x,y) \in G^{+} ) \big((x,y) \in ]a;a+ \varepsilon [^2\ et\ x < y \bigr)$ (car il y a une infinité d’éléments de $\textstyle{G}$ proche de $\textstyle{a}$ . Alors comme $\textstyle{G}$ est groupe, $z = y-x \in G$ et $0 < z < \varepsilon$ donc $z \in G^{+}$ . En supposant que $\varepsilon < a$ , alors $\operatorname{0 < z < a}$ donc $\textstyle{a}$ n’est plus la borne inférieure de $\textstyle{G^{+}}$ . D’où $a = \operatorname{min}\ {G^{+}}$ et $\textstyle{a}$ est isolé : $\forall n$ , les $\textstyle{na}$ sont dans $\textstyle{G}$ car $\textstyle{G}$ est un groupe : $a\mathbb{Z} \subset G$ .

Soit $y \in G \Rightarrow \exists n \in \mathbb{N}$ tel que $na \le y <(n+1)a$ (par le caractère archimédien de $\mathbb{R}$ ).

$y - na \in G$ mais $y - na \in [0;a[$ . Comme $a = \operatorname{min}\ G^{+}$ , $\textstyle {y - na = 0}$ donc $\textstyle {y = na}$ donc $G \subset a \mathbb{Z}$ :

$G=a\mathbb{Z}$

Le cercle $S^1~$ , 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 $S^1~$ est soit fini soit dense.

Un exemple plus sophistiqué est $(\mathbb{Z}/2\mathbb{Z})^\mathbb{N}$ . Ce groupe est homéomorphe à l'ensemble de Cantor. Pour le voir, on a besoin de la notion de produit infini d'espaces topologiques.

Mesure de Haar

Sur tout groupe topologique localement compact et séparable, il existe une et une seule mesure (à coefficient multiplicateur près) invariante par la translation à gauche $\left( \, x \longmapsto y.x \right)$ : la mesure de Haar.

Groupes linéaires

Dorénavant, nous omettrons le signe $\star$ .

Une classe importante de groupes topoloqiques est formée par les sous-groupes du groupe linéaire $\mathrm{GL}(n,K)~$ , avec $K=\mathbb{R}$ ou $\mathbb{C}$ . On les munit de la topologie induite par celle de $\mathrm{End}(K^n)~$ .

Ces exemples sont des exemples fondamentaux de groupes de Lie réels ou complexes. Ils ont en commun la propriété suivant : il existe un ouvert contenant l'élement neutre et ne contenant aucun sous-groupe non trivial.

Quelques propriétés générales

Dans un groupe topologique, les translations

sont 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é ssi le singleton {e} est fermé dans G. Également, G est séparé ssi l'intersection des voisinages de e est réduite à {e}.

si G est séparé alors c'est a fortiori un espace T1, c'est-à-dire que tous ses singletons sont fermés, en particulier le singleton {e}.
Réciproquement, si {e} est fermé alors G est séparé puisque la diagonale de GxG est fermée, comme image réciproque de {e} par l'application continue qui à tout (x,y) associe x.y^-1.
Si G est séparé alors c'est un espace T1, c'est-à-dire que l'intersection des voisinages de tout point x est réduite à {x}, en particulier pour x=e.
Réciproquement, si l'intersection des voisinages de e est réduite à {e} alors {e} est égal à son adhérence donc fermé (donc, d'après ce qui précède, G est séparé). En effet, pour tout x adhérent à {e}, chaque voisinage de x contient e donc (par continuité de la translation) chaque voisinage de e contient x^-1, d'où x^-1=e, c'est-à-dire x=e.

Si $U~$ est une partie ouverte et $A~$ une partie quelconque, $U\star A$ et $A \star U$ sont ouverts, puisque, par exemple, $U\star A= \bigcup_{a\in A}U\star a$ .

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. Un groupe topologique séparé est par conséquent complètement régulier. Tout morphisme continu de groupes topologiques est uniformément continu pour les structures uniformes à droite (resp. gauche) associées.

Topologie p-adique

- Introduction - Définition et propriété caractéristique - Exemples de base - Mesure de Haar - Groupes linéaires - Quelques propriétés générales - Topologie p-adique

Mach 16: des surprises physiques découvertes dans les vols hypersoniques 🚀

Des scientifiques ont réussi à filmer la séparation des brins de l'ADN 🧬

Comment 13 degrés peuvent transformer une foule en chaos ? 🚶‍♂️

Découverte: les phoques savent évaluer la quantité d'oxygène dans leur sang 🤿

Les trous noirs pourraient-ils protéger la vie dans l'Univers ? 🌱

Implants mammaires en silicone: une toxicité remise en question

Découverte d'un "broyeur d'étoiles" dans notre galaxie 🌀

Neandertal et Sapiens: une collaboration inattendue il y a 100 000 ans 🤝

Que sont ces sphères noires découvertes sur Mars ? 🔴

Découverte: les champignons contre... la grippe 🍄

Découverte inédite: voici comment notre cerveau attache les souvenirs entre eux 🖇️

Découverte: les requins émettent des sons ! 🦈

Des scientifiques inventent un ciment qui aspire le CO2 🌎

Comment le cerveau décode le temps: du récit aux réseaux neuronaux 🕰️

Horloge atomique dans son smartphone et GPS 1000 fois plus précis ⏱️

L'ocytocine: l'hormone de l'amour ou simple mythe ? 💕

Cette nouvelle méthode permettrait d'identifier une vie extraterrestre inattendue 👽

Une araignée géante filmée dans les abysses de l'Antarctique 🕷️

Trois familles d'objets planétaires identifiées dans le Système Solaire externe 🔭

Découverte d'une griffe géante à 2 doigts appartenant à une nouvelle espèce de dinosaure 🦖

Un nouvelle technologie de vaisseaux nucléaires pour explorer le Système solaire 🚀

Votre cerveau se consomme lui-même pour rechercher de l'énergie, pendant un exercice intense 🏃

Des vestiges organiques découverts sur Mars 🧐

Pourquoi les armes nucléaires sont-elles si difficiles et dangereuses à produire ? 💥

MRAM: la mémoire informatique du futur enfin là ? ⚡

Vidange d'un lac glaciaire: la catastrophe du Sikkim en 2023 expliquée 🌊

Qu'est-ce qui a bien pu creuser ces tunnels il y a plusieurs millions d'années ? ⛏️

Les secrets biologiques de Maria Branyas Morera, la supercentenaire 🕰️

Exploiter la rotation terrestre pour produire de l'électricité: l'énergie verte de demain ? ⚡

Que nous apprennent ces émissions radioactives de météorites lunaires et martiennes ? ☢️

La Chine dévoile un processeur quantique fiable à 99.9% 🚀

Voici les emblématiques espèces éteintes que la science pourrait bientôt ressusciter 🦣

Un poisson de 15 millions d'années incroyablement préservé 🐟

Existence démontrée d'un lien entre muscles, cerveau et fertilité 💪

Prévision météo: une petite IA surclasse les plus gros supercalculateurs 🌤️

Cette fosse commune révèle une histoire de violence extrême et de respect ⚔️

Cette nouvelle cellule solaire dure 10 fois plus longtemps 🌞

Des poulets aux plumes de dinosaures: une expérience génétique étonnante 🐔

Vidéo: une pieuvre chevauche un requin, une rencontre marine insolite 🐙

Une explication aux magnétars à faible champ 🧲

Découverte d'une galaxie géante improbable 🌀

Connaissez-vous cette montagne, aux vents dépassant 300 km/h ? 🏔️

L'énergie noire se serait "inversée", l'hypothèse qui explique certaines observations 🤔

COVID-19, cancer... vers une production en masse d'anticorps artificiels ⚔️

Euclid: les premières données sur l'Univers inconnu dévoilées 🌀

Le CO2 déclenche des séismes profonds 🌍

Une super-Terre laboratoire pour la recherche de vie dans l'Univers 🧪

Une révolution: dépister le cancer avec une simple prise de sang 🩸

Découverte d'un ancien tombeau grec, devenu sanctuaire de guérison romain ⚕️

Comment genre et croyances façonnent notre vision de l'homosexualité ? 👀

Page générée en 0.144 seconde(s) - site hébergé chez Contabo
Ce site fait l'objet d'une déclaration à la CNIL sous le numéro de dossier 1037632
A propos - Informations légales
Version anglaise | Version allemande | Version espagnole | Version portugaise