Diffeomorphism | EPFL Graph Search

Are you an EPFL student looking for a semester project?

Work with us on data science and visualisation projects, and deploy your project as an app on top of GraphSearch.

In mathematics, a diffeomorphism is an isomorphism of smooth manifolds. It is an invertible function that maps one differentiable manifold to another such that both the function and its inverse are differentiable. Given two manifolds and , a differentiable map is called a diffeomorphism if it is a bijection and its inverse is differentiable as well. If these functions are times continuously differentiable, is called a -diffeomorphism. Two manifolds and are diffeomorphic (usually denoted ) if there is a diffeomorphism from to . They are -diffeomorphic if there is an times continuously differentiable bijective map between them whose inverse is also times continuously differentiable. Given a subset of a manifold and a subset of a manifold , a function is said to be smooth if for all in there is a neighborhood of and a smooth function such that the restrictions agree: (note that is an extension of ). The function is said to be a diffeomorphism if it is bijective, smooth and its inverse is smooth. Hadamard-Caccioppoli Theorem If , are connected open subsets of such that is simply connected, a differentiable map is a diffeomorphism if it is proper and if the differential is bijective (and hence a linear isomorphism) at each point in . First remark It is essential for to be simply connected for the function to be globally invertible (under the sole condition that its derivative be a bijective map at each point). For example, consider the "realification" of the complex square function Then is surjective and it satisfies Thus, though is bijective at each point, is not invertible because it fails to be injective (e.g. ). Second remark Since the differential at a point (for a differentiable function) is a linear map, it has a well-defined inverse if and only if is a bijection. The matrix representation of is the matrix of first-order partial derivatives whose entry in the -th row and -th column is . This so-called Jacobian matrix is often used for explicit computations. Third remark Diffeomorphisms are necessarily between manifolds of the same dimension.

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Related publications (11)

Related people (4)

Related concepts (144)

Related courses (8)

Related lectures (35)

Property FW, differentiable structures and smoothability of singular actions

Yash Lodha, Nicolas Matte Bon

We provide a smoothening criterion for group actions on manifolds by singular diffeomorphisms. We prove that if a countable group Gamma has the fixed point property FW for walls (for example, if it ha

WILEY2020

A finitely presented infinite simple group of homeomorphisms of the circle

Yash Lodha

We construct a finitely presented, infinite, simple group that acts by homeomorphisms on the circle, but does not admit a non-trivial action by C1-diffeomorphisms on the circle. This is the first such

WILEY2019

Hyperbolicity as an obstruction to smoothability for one-dimensional actions

Yash Lodha

Ghys and Sergiescu proved in the 1980s that Thompson's group T, and hence F, admits actions by C-infinity diffeomorphisms of the circle. They proved that the standard actions of these groups are topol

GEOMETRY & TOPOLOGY PUBLICATIONS2019

MATH-344: Introduction to differential geometry

This course will serve as a first introduction to the geometry of Riemannian manifolds, which form an indispensible tool in the modern fields of differential geometry, analysis and theoretical physics

MATH-494: Topics in arithmetic geometry

P-adic numbers are a number theoretic analogue of the real numbers, which interpolate between arithmetics, analysis and geometry. In this course we study their basic properties and give various applic

MATH-410: Riemann surfaces

This course is an introduction to the theory of Riemann surfaces. Riemann surfaces naturally appear is mathematics in many different ways: as a result of analytic continuation, as quotients of complex

In mathematics, a manifold is a topological space that locally resembles Euclidean space near each point. More precisely, an -dimensional manifold, or -manifold for short, is a topological space with the property that each point has a neighborhood that is homeomorphic to an open subset of -dimensional Euclidean space. One-dimensional manifolds include lines and circles, but not lemniscates. Two-dimensional manifolds are also called surfaces. Examples include the plane, the sphere, and the torus, and also the Klein bottle and real projective plane.

In mathematics, a differentiable manifold (also differential manifold) is a type of manifold that is locally similar enough to a vector space to allow one to apply calculus. Any manifold can be described by a collection of charts (atlas). One may then apply ideas from calculus while working within the individual charts, since each chart lies within a vector space to which the usual rules of calculus apply. If the charts are suitably compatible (namely, the transition from one chart to another is differentiable), then computations done in one chart are valid in any other differentiable chart.

Essential Coexistence Phenomenon in Hamiltonian Dynamics

By Yakov Pesin delves into the essential coexistence phenomenon in Hamiltonian dynamics, exploring types I and II and providing examples and proofs.

Conformal Field Theory: Stress Tensor & Ward Identities

Explores the invariance of quantum/statistical field theory under conformal transformations and the stress tensor properties.

3-dimensional Anosov flows: U(1)-extension and Exponential Mixing

Explores the U(1)-extension of Anosov diffeomorphisms and the proof of exponential mixing through uniform contractivity and cancellation by complex phases.