Editing Linkless embedding (section)

==Definitions==
[[File:Hopf Link.png|thumb|Two linked curves forming a [[Hopf link]].]]
When the [[circle]] is mapped to three-dimensional [[Euclidean space]] by an [[injective function]] (a continuous function that does not map two different points of the circle to the same point of space), its image is a [[closed curve]].
Two disjoint closed curves that both lie on the same plane are [[unlinked]], and more generally a pair of disjoint closed curves is said to be unlinked when there is a continuous deformation of space that moves them both onto the same plane, without either curve passing through the other or through itself. If there is no such continuous motion, the two curves are said to be [[Link (knot theory)|linked]]. For example, the Hopf link is formed by two circles that each pass through the disk spanned by the other. It forms the simplest example of a pair of linked curves, but it is possible for curves to be linked in other more complicated ways. If two curves are not linked, then it is possible to find a topological disk in space, having the first curve as its boundary and disjoint from the second curve. Conversely if such a disk exists then the curves are necessarily unlinked.

The [[linking number]] of two closed curves in three-dimensional space is a [[topology|topological]] [[invariant (mathematics)|invariant]] of the curves: it is a number, defined from the curves in any of several equivalent ways, that does not change if the curves are moved continuously without passing through each other. The version of the linking number used for defining linkless embeddings of graphs is found by projecting the embedding onto the plane and counting the number of [[crossing number (graph theory)|crossings]] of the projected embedding in which the first curve passes over the second one, [[Modular arithmetic|modulo]] 2.<ref name="rst93a">{{harvtxt|Robertson|Seymour|Thomas|1993a}}.</ref> The projection must be "regular", meaning that no two vertices project to the same point, no vertex projects to the interior of an edge, and at every point of the projection where the projections of two edges intersect, they cross [[Transversality (mathematics)|transversally]]; with this restriction, any two projections lead to the same linking number.
The linking number of the unlink is zero, and therefore, if a pair of curves has nonzero linking number, the two curves must be linked. However, there are examples of curves that are linked but that have zero linking number, such as the [[Whitehead link]].

An embedding of a graph into three-dimensional space consists of a mapping from the vertices of the graph to points in space, and from the edges of the graph to curves in space, such that each endpoint of each edge is mapped to an endpoint of the corresponding curve, and such that the curves for two different edges do not intersect except at a common endpoint of the edges.
Any finite graph has a finite (though perhaps exponential) number of distinct [[cycle (graph theory)|simple cycles]], and if the graph is embedded into three-dimensional space then each of these cycles forms a simple closed curve. One may compute the linking number of each disjoint pair of curves formed in this way; if all pairs of cycles have zero linking number, the embedding is said to be linkless.<ref>{{harvtxt|Conway|Gordon|1983}}; {{harvtxt|Sachs|1983}}; {{harvtxt|Robertson|Seymour|Thomas|1993a}}.</ref>

In some cases, a graph may be embedded in space in such a way that, for each cycle in the graph, one can find a disk bounded by that cycle that does not cross any other feature of the graph. In this case, the cycle must be unlinked from all the other cycles disjoint from it in the graph. The embedding is said to be flat if every cycle bounds a disk in this way.<ref>{{harvtxt|Robertson|Seymour|Thomas|1993a}}. A similar definition of a "good embedding" appears in {{harvtxt|Motwani|Raghunathan|Saran|1988}}; see also {{harvtxt|Saran|1989}} and {{harvtxt|Böhme|1990}}.</ref> A flat embedding is necessarily linkless, but there may exist linkless embeddings that are not flat: for instance, if ''G'' is a graph formed by two disjoint cycles, and it is embedded to form the Whitehead link, then the embedding is linkless but not flat.

A graph is said to be intrinsically linked if, no matter how it is embedded, the embedding is always linked. Although linkless and flat embeddings are not the same, the graphs that have linkless embeddings are the same as the graphs that have flat embeddings.<ref>{{harvtxt|Robertson|Seymour|Thomas|1993b}}.</ref>