mathematical Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...

knot theory In the mathematical field of topology, knot theory is the study of 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 ...

, the Hopf link is the simplest nontrivial link with more than one component. It consists of two

circle A circle is a shape consisting of all points in a plane that are at a given distance from a given point, the centre. Equivalently, it is the curve traced out by a point that moves in a plane so that its distance from a given point is const ...

s linked together exactly once, and is named after Heinz Hopf.

Geometric realization

A concrete model consists of two

unit circle In mathematics, a unit circle is a circle of unit radius—that is, a radius of 1. Frequently, especially in trigonometry, the unit circle is the circle of radius 1 centered at the origin (0, 0) in the Cartesian coordinate system in the Eucli ...

s in perpendicular planes, each passing through the center of the other.. See in particula
p. 77
This model minimizes the ropelength of the link and until 2002 the Hopf link was the only link whose ropelength was known. The convex hull of these two circles forms a shape called an oloid.

Properties

Depending on the relative

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 desi ...

s of the two components the linking number of the Hopf link is ±1. The Hopf link is a (2,2)- torus link with the braid word :

\sigma_1^2.\,

The

knot complement In mathematics, the knot complement of a tame knot ''K'' is the space where the knot is not. If a knot is embedded in the 3-sphere, then the complement is the 3-sphere minus the space near the knot. To make this precise, suppose that ''K'' is a ...

of the Hopf link is R × ''S''¹ × ''S''¹, the

cylinder A cylinder (from ) has traditionally been a three-dimensional solid, one of the most basic of curvilinear geometric shapes. In elementary geometry, it is considered a prism with a circle as its base. A cylinder may also be defined as an infi ...

over a

torus In geometry, a torus (plural tori, colloquially donut or doughnut) is a surface of revolution generated by revolving a circle in three-dimensional space about an axis that is coplanar with the circle. If the axis of revolution does not ...

. This space has a locally Euclidean geometry, so the Hopf link is not a hyperbolic link. The

knot group In mathematics, a knot is an embedding of a circle into 3-dimensional Euclidean space. The knot group of a knot ''K'' is defined as the fundamental group of the knot complement of ''K'' in R3, :\pi_1(\mathbb^3 \setminus K). Other conventions cons ...

of the Hopf link (the

fundamental group In the mathematical field of algebraic topology, the fundamental group of a topological space is the group of the equivalence classes under homotopy of the loops contained in the space. It records information about the basic shape, or holes, of ...

of its complement) is Z² (the

free abelian group In mathematics, a free abelian group is an abelian group with a basis. Being an abelian group means that it is a set with an addition operation that is associative, commutative, and invertible. A basis, also called an integral basis, is a su ...

on two generators), distinguishing it from an unlinked pair of loops which has the

free group In mathematics, the free group ''F'S'' over a given set ''S'' consists of all words that can be built from members of ''S'', considering two words to be different unless their equality follows from the group axioms (e.g. ''st'' = ''suu''− ...

on two generators as its group. The Hopf-link is not

tricolorable In the mathematical field of knot theory, the tricolorability of a knot is the ability of a knot to be colored with three colors subject to certain rules. Tricolorability is an isotopy invariant, and hence can be used to distinguish between two d ...

: it is not possible to color the strands of its diagram with three colors, so that at least two of the colors are used and so that every crossing has one or three colors present. Each link has only one strand, and if both strands are given the same color then only one color is used, while if they are given different colors then the crossings will have two colors present.

Hopf bundle

The

Hopf fibration In the mathematical field of differential topology, the Hopf fibration (also known as the Hopf bundle or Hopf map) describes a 3-sphere (a hypersphere in four-dimensional space) in terms of circles and an ordinary sphere. Discovered by Heinz Ho ...

is a continuous function from the

3-sphere In mathematics, a 3-sphere is a higher-dimensional analogue of a sphere. It may be embedded in 4-dimensional Euclidean space as the set of points equidistant from a fixed central point. Analogous to how the boundary of a ball in three dimens ...

(a three-dimensional surface in four-dimensional Euclidean space) into the more familiar

2-sphere A sphere () is a geometrical object that is a three-dimensional analogue to a two-dimensional circle. A sphere is the set of points that are all at the same distance from a given point in three-dimensional space.. That given point is the ...

, with the property that the inverse image of each point on the 2-sphere is a circle. Thus, these images decompose the 3-sphere into a continuous family of circles, and each two distinct circles form a Hopf link. This was Hopf's motivation for studying the Hopf link: because each two fibers are linked, the Hopf fibration is a nontrivial

fibration The notion of a fibration generalizes the notion of a fiber bundle and plays an important role in algebraic topology, a branch of mathematics. Fibrations are used, for example, in postnikov-systems or obstruction theory. In this article, all map ...

. This example began the study of

homotopy groups of spheres In the mathematical field of algebraic topology, the homotopy groups of spheres describe how spheres of various dimensions can wrap around each other. They are examples of topological invariants, which reflect, in algebraic terms, the structure ...

Biology

The Hopf link is also present in some proteins. It consists of two covalent loops, formed by pieces of protein backbone, closed with

disulfide bonds In biochemistry, a disulfide (or disulphide in British English) refers to a functional group with the structure . The linkage is also called an SS-bond or sometimes a disulfide bridge and is usually derived by the coupling of two thiol groups. In ...

. The Hopf link topology is highly conserved in proteins and adds to their stability.

History

The Hopf link is named after topologist Heinz Hopf, who considered it in 1931 as part of his research on the

.. However, in mathematics, it was known to

Carl Friedrich Gauss Johann Carl Friedrich Gauss (; german: Gauß ; la, Carolus Fridericus Gauss; 30 April 177723 February 1855) was a German mathematician and physicist who made significant contributions to many fields in mathematics and science. Sometimes refe ...

before the work of Hopf.. It has also long been used outside mathematics, for instance as the crest of Buzan-ha, a Japanese Buddhist sect founded in the 16th century.

References

External links

* *
"LinkProt" - the database of known protein links.
{{Knot theory, state=collapsed Prime knots and links