In mathematics, the unit interval is the closed interval , that is, the set of all that are greater than or equal to 0 and less than or equal to 1. It is often denoted (capital letter ). In addition to its role in real analysis, the unit interval is used to study homotopy theory in the field of topology.
In the literature, the term "unit interval" is sometimes applied to the other shapes that an interval from 0 to 1 could take: , , and . However, the notation is most commonly reserved for the closed interval .
In mathematical analysis, the unit interval is a dimension analytical manifold whose boundary consists of the two points 0 and 1. Its standard orientability goes from 0 to 1.
The unit interval is a total order and a complete lattice (every subset of the unit interval has a supremum and an infimum).
The unit interval is a subset of the . However, it has the same size as the whole set: the cardinality of the continuum. Since the real numbers can be used to represent points along an Real line, this implies that a line segment of length 1, which is a part of that line, has the same number of points as the whole line. Moreover, it has the same number of points as a square of area 1, as a cube of volume 1, and even as an unbounded n-dimensional Euclidean space (see Space filling curve).
The number of elements (either real numbers or points) in all the above-mentioned sets is Uncountable set, as it is strictly greater than the number of .
Sometimes, the term "unit interval" is used to refer to objects that play a role in various branches of mathematics analogous to the role that plays in homotopy theory. For example, in the theory of quivers, the (analogue of the) unit interval is the graph whose vertex set is and which contains a single edge e whose source is 0 and whose target is 1. One can then define a notion of homotopy between quiver analogous to the notion of homotopy between continuous maps.
Interpreting these values as logical yields a multi-valued logic, which forms the basis for fuzzy logic and probabilistic logic. In these interpretations, a value is interpreted as the "degree" of truth – to what extent a proposition is true, or the probability that the proposition is true.
|
|