Espace de Lobatchevski : Définition et construction rigoureuse L’Espace de Lobatchevski, noté \(\mathbb{H}^n\), est le prototype de variété riemannienne de courbure sectionnelle constante négative \(-1\). Sa construction repose sur un changement de métrique dans le…
Définition des angles de parallélisme En géométrie hyperbolique, le concept d’angle de parallélisme remplace la notion euclidienne de parallélisme unique. Soit $(\mathbb{H}^2, d)$ le plan hyperbolique, muni d’une métrique de courbure constante $-1$. Une droite…
Définition formelle des espaces hermitiens Produit scalaire hermitien Soit $E$ un espace vectoriel sur le corps $\mathbb{C}$. Une application $\langle \cdot, \cdot \rangle : E \times E \to \mathbb{C}$ est un produit scalaire hermitien si…
La norme hermitienne est une généralisation fondamentale de la norme euclidienne aux espaces vectoriels complexes. Elle découle directement de la structure d’un produit scalaire hermitien. Définition formelle Soit $E$ un espace vectoriel sur $\mathbb{C}$. Une…
L’inégalité de Cauchy-Schwarz hermitienne est un résultat fondamental en analyse fonctionnelle et en algèbre linéaire. Elle généralise l’inégalité classique de Cauchy-Schwarz aux espaces vectoriels munis d’un produit scalaire hermitien. Définition d’un espace hermitien Un espace…
L’orthogonalité hermitienne est une généralisation fondamentale de la notion d’orthogonalité euclidienne aux espaces vectoriels sur le corps des complexes. Elle repose sur la structure d’un produit scalaire hermitien, permettant de définir des bases orthonormales et…
Les matrices hermitiennes jouent un rôle central en algèbre linéaire et en mécanique quantique. Nous définirons ces matrices, énoncerons leurs propriétés fondamentales et en donnerons des preuves rigoureuses. Définition formelle Matrice hermitienne (ou auto-adjointes) Soit…
Boules et sphères : Définitions et propriétés fondamentales Les boules et sphères sont des concepts centraux en géométrie et en analyse. Leur étude rigoureuse permet de comprendre la structure des espaces métriques et vectoriels normés.…
Les ensembles ouverts et fermés sont des concepts fondamentaux en topologie et en analyse. Ils permettent de formaliser la notion de voisinage et de définir la continuité dans les espaces métriques. Ensembles ouverts et fermés…
La notion de compacité est un concept fondamental en analyse et en topologie qui formalise l’idée intuitive d’un ensemble « borné et sans divergent vers l’infini ». Définition formelle : Compacité via les recouvrements ouverts Soit $(X,…