KnotA knot is an intentional complication in cordage which may be practical or decorative, or both. Practical knots are classified by function, including hitches, bends, loop knots, and splices: a hitch fastens a rope to another object; a bend fastens two ends of a rope to each another; a loop knot is any knot creating a loop; and splice denotes any multi-strand knot, including bends and loops. A knot may also refer, in the strictest sense, to a stopper or knob at the end of a rope to keep that end from slipping through a grommet or eye.
Topological propertyIn topology and related areas of mathematics, a topological property or topological invariant is a property of a topological space that is invariant under homeomorphisms. Alternatively, a topological property is a proper class of topological spaces which is closed under homeomorphisms. That is, a property of spaces is a topological property if whenever a space X possesses that property every space homeomorphic to X possesses that property. Informally, a topological property is a property of the space that can be expressed using open sets.
Link groupIn knot theory, an area of mathematics, the link group of a link is an analog of the knot group of a knot. They were described by John Milnor in his Ph.D. thesis, . Notably, the link group is not in general the fundamental group of the link complement. The link group of an n-component link is essentially the set of (n + 1)-component links extending this link, up to link homotopy. In other words, each component of the extended link is allowed to move through regular homotopy (homotopy through immersions), knotting or unknotting itself, but is not allowed to move through other components.
Linear algebraic groupIn mathematics, a linear algebraic group is a subgroup of the group of invertible matrices (under matrix multiplication) that is defined by polynomial equations. An example is the orthogonal group, defined by the relation where is the transpose of . Many Lie groups can be viewed as linear algebraic groups over the field of real or complex numbers. (For example, every compact Lie group can be regarded as a linear algebraic group over R (necessarily R-anisotropic and reductive), as can many noncompact groups such as the simple Lie group SL(n,R).
Hopf linkIn mathematical knot theory, the Hopf link is the simplest nontrivial link with more than one component. It consists of two circles linked together exactly once, and is named after Heinz Hopf. A concrete model consists of two unit circles in perpendicular planes, each passing through the center of the other. 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.
CurveIn mathematics, a curve (also called a curved line in older texts) is an object similar to a line, but that does not have to be straight. Intuitively, a curve may be thought of as the trace left by a moving point. This is the definition that appeared more than 2000 years ago in Euclid's Elements: "The [curved] line is [...] the first species of quantity, which has only one dimension, namely length, without any width nor depth, and is nothing else than the flow or run of the point which [...
Knot invariantIn the mathematical field of knot theory, a knot invariant is a quantity (in a broad sense) defined for each knot which is the same for equivalent knots. The equivalence is often given by ambient isotopy but can be given by homeomorphism. Some invariants are indeed numbers (algebraic), but invariants can range from the simple, such as a yes/no answer, to those as complex as a homology theory (for example, "a knot invariant is a rule that assigns to any knot K a quantity φ(K) such that if K and are equivalent then φ(K) = φ().
Knot complementIn 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 knot in a three-manifold M (most often, M is the 3-sphere). Let N be a tubular neighborhood of K; so N is a solid torus. The knot complement is then the complement of N, The knot complement XK is a compact 3-manifold; the boundary of XK and the boundary of the neighborhood N are homeomorphic to a two-torus.
GeometryGeometry (; ) is a branch of mathematics concerned with properties of space such as the distance, shape, size, and relative position of figures. Geometry is, along with arithmetic, one of the oldest branches of mathematics. A mathematician who works in the field of geometry is called a geometer. Until the 19th century, geometry was almost exclusively devoted to Euclidean geometry, which includes the notions of point, line, plane, distance, angle, surface, and curve, as fundamental concepts.
Start menuThe Start menu is a graphical user interface element that has been part of Microsoft Windows since Windows 95, providing a means of opening programs and performing other functions in the Windows shell. The Start menu, and the Taskbar on which it appears, were created and named in 1993 by Daniel Oran, a program manager at Microsoft who had previously collaborated on Great ape language research with the behavioral psychologist B.F. Skinner at Harvard. The Start menu was renamed Start screen in Windows 8, before returning to its original name with Windows 10.
Figure-eight knot (mathematics)In knot theory, a figure-eight knot (also called Listing's knot) is the unique knot with a crossing number of four. This makes it the knot with the third-smallest possible crossing number, after the unknot and the trefoil knot. The figure-eight knot is a prime knot. The name is given because tying a normal figure-eight knot in a rope and then joining the ends together, in the most natural way, gives a model of the mathematical knot.
UnlinkIn the mathematical field of knot theory, an unlink is a link that is equivalent (under ambient isotopy) to finitely many disjoint circles in the plane. An n-component link L ⊂ S3 is an unlink if and only if there exists n disjointly embedded discs Di ⊂ S3 such that L = ∪i∂Di. A link with one component is an unlink if and only if it is the unknot. The link group of an n-component unlink is the free group on n generators, and is used in classifying Brunnian links. The Hopf link is a simple example of a link with two components that is not an unlink.
