In the

mathematical Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...

subject of

topology Topology (from the Greek language, Greek words , and ) is the branch of mathematics concerned with the properties of a Mathematical object, geometric object that are preserved under Continuous function, continuous Deformation theory, deformat ...

, an ambient isotopy, also called an ''h-isotopy'', is a kind of continuous distortion of an ambient space, for example a

manifold In mathematics, a manifold is a topological space that locally resembles Euclidean space near each point. More precisely, an n-dimensional manifold, or ''n-manifold'' for short, is a topological space with the property that each point has a N ...

, taking a

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 \rightarrow M satisfies certain properties. There are different types of submanifolds depending on exactly ...

to another submanifold. For example in

knot theory In topology, knot theory is the study of knot (mathematics), mathematical knots. While inspired by knots which appear in daily life, such as those in shoelaces and rope, a mathematical knot differs in that the ends are joined so it cannot be und ...

, one considers two

knot A knot is an intentional complication in Rope, cordage which may be practical or decorative, or both. Practical knots are classified by function, including List of hitch knots, hitches, List of bend knots, bends, List of loop knots, loop knots, ...

s the same if one can distort one knot into the other without breaking it. Such a distortion is an example of an ambient isotopy. More precisely, let

N

and

M

be manifolds and

g

and

h

embedding In mathematics, an embedding (or imbedding) is one instance of some mathematical structure contained within another instance, such as a group (mathematics), group that is a subgroup. When some object X is said to be embedded in another object Y ...

s of

N

M

. A

continuous map In mathematics, a continuous function is a function such that a small variation of the argument induces a small variation of the value of the function. This implies there are no abrupt changes in value, known as '' discontinuities''. More preci ...

\rightarrow M

is defined to be an ambient isotopy taking

g

h

F_0

is the

identity map Graph of the identity function on the real numbers In mathematics, an identity function, also called an identity relation, identity map or identity transformation, is a function that always returns the value that was used as its argument, unc ...

, each map

F_t

is a

homeomorphism In mathematics and more specifically in topology, a homeomorphism ( from Greek roots meaning "similar shape", named by Henri Poincaré), also called topological isomorphism, or bicontinuous function, is a bijective and continuous function ...

from

M

to itself, and

F_1 \circ g = h

. This implies that the

orientation Orientation may refer to: Positioning in physical space * Map orientation, the relationship between directions on a map and compass directions * Orientation (housing), the position of a building with respect to the sun, a concept in building des ...

must be preserved by ambient isotopies. For example, two knots that are

mirror image A mirror image (in a plane mirror) is a reflection (physics), reflected duplication of an object that appears almost identical, but is reversed in the direction perpendicular to the mirror surface. As an optical phenomenon, optical effect, it r ...

s of each other are, in general, not equivalent.

References

*M. A. Armstrong, ''Basic Topology'',

Springer-Verlag Springer Science+Business Media, commonly known as Springer, is a German multinational publishing company of books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing. Originally founded in 1842 in ...

, 1983 *Sasho Kalajdzievski, ''An Illustrated Introduction to Topology and Homotopy'', CRC Press, 2010, Chapter 10: Isotopy and Homotopy Topology Maps of manifolds {{topology-stub

See also

References