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

Lecture

Smooth maps and differentials: Smooth maps

In course

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

This lecture covers the concept of smooth maps between embedded submanifolds, defining what it means for a map to be smooth. It explores examples of smooth maps and the extension of smoothness through neighborhoods. The lecture also discusses how composition preserves smoothness and the criteria for a map to be considered smooth at a specific point.

In MOOC

Introduction to optimization on smooth manifolds: first order methods

Instructor

Nicolas Boumal

Official source

Related concepts (12)

Submanifold

In mathematics, a submanifold of a manifold M is a subset S which itself has the structure of a manifold, and for which the inclusion map S → M satisfies certain properties. There are different types of submanifolds depending on exactly which properties are required. Different authors often have different definitions. In the following we assume all manifolds are differentiable manifolds of class Cr for a fixed r ≥ 1, and all morphisms are differentiable of class Cr.

Contact geometry

In mathematics, contact geometry is the study of a geometric structure on smooth manifolds given by a hyperplane distribution in the tangent bundle satisfying a condition called 'complete non-integrability'. Equivalently, such a distribution may be given (at least locally) as the kernel of a differential one-form, and the non-integrability condition translates into a maximal non-degeneracy condition on the form. These conditions are opposite to two equivalent conditions for 'complete integrability' of a hyperplane distribution, i.

Whitney embedding theorem

In mathematics, particularly in differential topology, there are two Whitney embedding theorems, named after Hassler Whitney: The strong Whitney embedding theorem states that any smooth real m-dimensional manifold (required also to be Hausdorff and second-countable) can be smoothly embedded in the real 2m-space, \R^{2m}, if m > 0. This is the best linear bound on the smallest-dimensional Euclidean space that all m-dimensional manifolds embed in, as the real projective spaces of dimension m cannot be embedded into real (2m − 1)-space if m is a power of two (as can be seen from a characteristic class argument, also due to Whitney).

Floer homology

In mathematics, Floer homology is a tool for studying symplectic geometry and low-dimensional topology. Floer homology is a novel invariant that arises as an infinite-dimensional analogue of finite-dimensional Morse homology. Andreas Floer introduced the first version of Floer homology, now called Lagrangian Floer homology, in his proof of the Arnold conjecture in symplectic geometry. Floer also developed a closely related theory for Lagrangian submanifolds of a symplectic manifold.

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.

Related lectures (16)

Retractions vector fields and tangent bundles: Tangent bundles MOOC: Introduction to optimization on smooth manifolds: first order methods

Covers retractions, tangent bundles, and embedded submanifolds on manifolds with proofs and examples.

Smooth sets and functions: Smooth functions, topology, and manifolds

Explores smooth functions on manifolds, emphasizing continuity and atlas topologies.

Smooth Manifolds: Diffeomorphisms MOOC: Introduction to optimization on smooth manifolds: first order methods

Explores smooth manifolds through diffeomorphisms and embedded submanifolds in a linear space.

Forcing of Topological Entropy

Delves into topological entropy in compact manifolds and Reeb flows, emphasizing the forcing of entropy via cylindrical contact homology.

Differentiating Vector Fields: How Not to Do It