Espaces euclidiens (MATH403_MATH)

Volume horaire

CM : 24h / TD : 30h

Présentation

Introduction à l'algèbre bilinéaire, l'orthogonalité.

Aplications à la géométrie : orientation, isométries.

Mise en oeuvre sur ordinateur des algorithmes numériques associés.

Objectifs

Savoir utiliser les outils fondamentaux de l'algèbre bilinéaire, l'orthogonalité. Pouvoir les appliquer en géométrie. Comprendre et savoir programmer les méthodes numériques correspondantes.

Compétences acquises

  • Comprendre le cadre euclidien et hilbertien d'un point de vue formel.
  • Savoir traduire la géométrie élémentaire dans ce cadre (orientation d'un espace, orthogonalité). 
  • Savoir utiliser l’orthogonalité pour réduire les applications linéaires.
  • Pouvoir mettre en œuvre les algorithmes associés à l'orthogonalité sur ordinateur.

Pré-requis

Enseignements d'algèbre linéaire des deux premières années, particulièrement celui sur la réduction des endomorphismes.

Plan du cours

- Formes bilinéaires et quadratiques. Forme bilinéaire, forme positive et définie positive, matrice représentative d'une forme bilinéaire, changement de bases, réduction (méthode de Gauss), théorème d'inertie de Sylvester, signature.

- Produit scalaire et orthogonalité. Espaces préhilbertiens, euclidiens et hermitiens, théorème de Pythagore, inégalité de Cauchy-Schwarz et de Minkowski, norme euclidienne, identité du parallélogramme comme caractérisation des normes issues d'un produit scalaire, familles orthogonales et orthonormées, bases orthonormées, procédé d'orthonormalisation de Gram-Schmidt, complétion d'une famille orthonormée en une base orthonormée, orthogonal d'un sous espace, supplémentaire orthogonal, équation d'un hyperplan, projection orthogonale, distance à un sous-espace.

- Orientation. Orientation d'un espace vectoriel, bases orthonormées directes, orientation des hyperplans.

- Isométries vectorielles. Automorphismes orthogonaux et unitaires, matrices orthogonales et unitaires, groupe orthogonal et unitaire, les isométries qui fixent l'origine sont linéaires, groupe des isométries du plan : translation, rotations et symétries. Mesures d'angles orientés. Adjoint d'un endomorphisme, endomorphisme symétrique, orthogonal, normal, réduction orthogonale des endomorphismes symétriques réels, réduction unitaire des endomorphismes normaux complexes, réduction orthogonale des endomorphismes normaux réels : application à la réduction des isométries linéaires en toutes dimensions et notamment dans R3.

-Introduction à la structure euclidienne affine.

Diplômes intégrant ce cours

En bref

Crédits ECTS : 6

Méthode d'enseignement
En présence

Langue d'enseignement
Français

Contact(s)

UFR, Écoles, Instituts

Responsable(s)

Christian Lecot

Email : Christian.Lecot @ univ-smb.fr

Lieu(x)

  • Le Bourget-du-Lac (73)