Search Results for ""

An atlas is a collection of consistent coordinate charts on a manifold, where "consistent" most commonly means that the transition functions of the charts are smooth. As the ...

The geodesics in a complete Riemannian metric go on indefinitely, i.e., each geodesic is isometric to the real line. For example, Euclidean space is complete, but the open ...

When two cycles have a transversal intersection X_1 intersection X_2=Y on a smooth manifold M, then Y is a cycle. Moreover, the homology class that Y represents depends only ...

Let M be a compact n-dimensional manifold with injectivity radius inj(M). Then Vol(M)>=(c_ninj(M))/pi, with equality iff M is isometric to the standard round sphere S^n with ...

A metric space X is boundedly compact if all closed bounded subsets of X are compact. Every boundedly compact metric space is complete. (This is a generalization of the ...

A section of a fiber bundle gives an element of the fiber over every point in B. Usually it is described as a map s:B->E such that pi degreess is the identity on B. A ...

Let p be a non-wandering point of a diffeomorphism S:M->M of a compact manifold. The closing lemma concerns if S can be arbitrarily well approximated with derivatives of ...

Let gamma(t) be a smooth curve in a manifold M from x to y with gamma(0)=x and gamma(1)=y. Then gamma^'(t) in T_(gamma(t)), where T_x is the tangent space of M at x. The ...

A map psi:M->M, where M is a manifold, is a finite-to-one factor of a map Psi:X->X if there exists a continuous surjective map pi:X->M such that psi degreespi=pi degreesPsi ...

An n-dimensional manifold M is said to be a homotopy sphere, if it is homotopy equivalent to the n-sphere S^n. Thus no homotopy group can distinguish between M and S^n. The ...