Displaying similar documents to “A discretization of the nonholonomic Chaplygin sphere problem.”

Noether’s theorem for a fixed region

Klaus Bering (2011)

Archivum Mathematicum

Similarity:

We give an elementary proof of Noether's first Theorem while stressing the magical fact that the global quasi-symmetry only needs to hold for one fixed integration region. We provide sufficient conditions for gauging a global quasi-symmetry.

Brouwer Invariance of Domain Theorem

Karol Pąk (2014)

Formalized Mathematics

Similarity:

In this article we focus on a special case of the Brouwer invariance of domain theorem. Let us A, B be a subsets of εn, and f : A → B be a homeomorphic. We prove that, if A is closed then f transform the boundary of A to the boundary of B; and if B is closed then f transform the interior of A to the interior of B. These two cases are sufficient to prove the topological invariance of dimension, which is used to prove basic properties of the n-dimensional manifolds, and also to prove basic...