Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Séance de cours

Des collecteurs intégrés aux collecteurs généraux: Pourquoi?

Dans cours

MATH-512: Optimization on manifolds

We develop, analyze and implement numerical algorithms to solve optimization problems of the form min f(x) where x is a point on a smooth manifold. To this end, we first study differential and Riemannian geometry (with a focus dictated by computational con ...

Description

Cette séance de cours explore le concept de mise à niveau des fondations des collecteurs intégrés aux collecteurs généraux, en mettant l'accent sur l'optimisation sur les collecteurs. L'instructeur discute des ensembles lisses qui ne sont pas explicitement intégrés, donnant des exemples d'optimisation avec des symétries. De plus, la séance de cours couvre la définition des fonctions lisses, des vecteurs tangents et des ensembles lisses.

Enseignant·e

Nicolas Boumal

Source officielle

Proximité ontologique

Mathématiques

Géométrie: Géométrie différentielle

Concepts associés (32)

Smooth scheme

In algebraic geometry, a smooth scheme over a field is a scheme which is well approximated by affine space near any point. Smoothness is one way of making precise the notion of a scheme with no singular points. A special case is the notion of a smooth variety over a field. Smooth schemes play the role in algebraic geometry of manifolds in topology. First, let X be an affine scheme of finite type over a field k. Equivalently, X has a closed immersion into affine space An over k for some natural number n.

Smooth structure

In mathematics, a smooth structure on a manifold allows for an unambiguous notion of smooth function. In particular, a smooth structure allows one to perform mathematical analysis on the manifold. A smooth structure on a manifold is a collection of smoothly equivalent smooth atlases. Here, a smooth atlas for a topological manifold is an atlas for such that each transition function is a smooth map, and two smooth atlases for are smoothly equivalent provided their union is again a smooth atlas for This gives a natural equivalence relation on the set of smooth atlases.

Smoothness

In mathematical analysis, the smoothness of a function is a property measured by the number of continuous derivatives it has over some domain, called differentiability class. At the very minimum, a function could be considered smooth if it is differentiable everywhere (hence continuous). At the other end, it might also possess derivatives of all orders in its domain, in which case it is said to be infinitely differentiable and referred to as a C-infinity function (or function).

Symétrie

La symétrie est une propriété d'un système : c'est lorsque deux parties sont semblables. L'exemple le plus connu est la symétrie en géométrie. De manière générale, un système est symétrique quand on peut permuter ses éléments en laissant sa forme inchangée. Le concept d'automorphisme permet de préciser cette définition. Un papillon, par exemple, est symétrique parce qu'on peut permuter tous les points de la moitié gauche de son corps avec tous les points de la moitié droite sans que son apparence soit modifiée.

Groupe de symétrie

Le groupe de symétrie, ou groupe des isométries, d'un objet (, signal, etc.) est le groupe de toutes les isométries sous lesquelles cet objet est globalement invariant, l'opération de ce groupe étant la composition. C'est un sous-groupe du groupe euclidien, qui est le groupe des isométries de l'espace affine euclidien ambiant. (Si cela n'est pas indiqué, nous considérons ici les groupes de symétrie en géométrie euclidienne, mais le concept peut aussi être étudié dans des contextes plus larges, voir ci-dessous.

Afficher plus

Séances de cours associées (59)

Formes différentielles sur les collecteurs

Introduit des formes différentielles sur les collecteurs, couvrant les faisceaux tangents et les appariements d'intersection.

Intégration de formes différentielles

Couvre l'intégration de formes différentielles sur des variétés lisses, y compris les concepts de formes fermées et exactes.

Champs vecteurs de rétractations et faisceaux tangents : faisceaux Tangent MOOC: Introduction à l'optimisation sur des manifolds lisses : méthodes du premier ordre

Couvre les rétractions, les faisceaux tangents et les sous-manifolds intégrés sur les collecteurs avec des preuves et des exemples.

Riemannian connexions: ce qu'ils sont et pourquoi nous nous soucions

Couvre les connexions Riemannian, en mettant l'accent sur leurs propriétés et leur signification en géométrie.

Des collecteurs intégrés aux collecteurs généraux : mise à niveau de nos fondations

Examine la transition entre les multiples intégrés et les multiples généraux, améliore les concepts fondamentaux et discute des raisons mathématiques des deux approches.

Afficher plus

Concepts associés (32)