Path (topology) in the context of "Jordan curve theorem"

In topology, a topological space is called simply connected (or 1-connected, or 1-simply connected) if it is path-connected and every path between two points can be continuously transformed into any other such path while preserving the two endpoints in question. Intuitively, this corresponds to a space that has no disjoint parts and no holes that go completely through it, because two paths going around different sides of such a hole cannot be continuously transformed into each other. The fundamental group of a topological space is an indicator of the failure for the space to be simply connected: a path-connected topological space is simply connected if and only if its fundamental group is trivial.

The world line (or worldline) of an object is the path that an object traces in 4-dimensional spacetime. It is an important concept of modern physics, and particularly theoretical physics.

The concept of a "world line" is distinguished from concepts such as an "orbit" or a "trajectory" (e.g., a planet's orbit in space or the trajectory of a car on a road) by inclusion of the dimension time, and typically encompasses a large area of spacetime wherein paths which are straight perceptually are rendered as curves in spacetime to show their (relatively) more absolute position states—to reveal the nature of special relativity or gravitational interactions.

In topology, two continuous functions from one topological space to another are called homotopic (from Ancient Greek: ὁμός homós 'same, similar' and τόπος tópos 'place') if one can be "continuously deformed" into the other, such a deformation being called a homotopy (/həˈmɒtəpiː/ hə-MOT-ə-pee; /ˈhoʊmoʊˌtoʊpiː/ HOH-moh-toh-pee) between the two functions. A notable use of homotopy is the definition of homotopy groups and cohomotopy groups, important invariants in algebraic topology.

In practice, there are technical difficulties in using homotopies with certain spaces. Algebraic topologists work with compactly generated spaces, CW complexes, or spectra.

In the mathematical field of geometric topology, the Poincaré conjecture (UK: /ˈpwæ̃kæreɪ/, US: /ˌpwæ̃kɑːˈreɪ/, French: [pwɛ̃kaʁe]) is a theorem about the characterization of the 3-sphere, which is the hypersphere that bounds the unit ball in four-dimensional space.

Originally conjectured by Henri Poincaré in 1904, the theorem concerns spaces that locally look like ordinary three-dimensional space but which are finite in extent. Poincaré hypothesized that if such a space has the additional property that each loop in the space can be continuously tightened to a point, then it is necessarily a three-dimensional sphere. Attempts to resolve the conjecture drove much progress in the field of geometric topology during the 20th century.