23 relations: Complete lattice, Complete metric space, Completeness (order theory), Construction of the real numbers, Dedekind–MacNeille completion, Euclid's Elements, Galois connection, Greatest and least elements, Interval (mathematics), Irrational number, Least-upper-bound property, Linear continuum, Mathematics, Number line, Partially ordered set, Partition of a set, Rational number, Real number, Richard Dedekind, Set (mathematics), Subset, Surreal number, Total order.
Complete lattice
In mathematics, a complete lattice is a partially ordered set in which all subsets have both a supremum (join) and an infimum (meet).
New!!: Dedekind cut and Complete lattice · See more »
Complete metric space
In mathematical analysis, a metric space M is called complete (or a Cauchy space) if every Cauchy sequence of points in M has a limit that is also in M or, alternatively, if every Cauchy sequence in M converges in M. Intuitively, a space is complete if there are no "points missing" from it (inside or at the boundary).
New!!: Dedekind cut and Complete metric space · See more »
Completeness (order theory)
In the mathematical area of order theory, completeness properties assert the existence of certain infima or suprema of a given partially ordered set (poset).
New!!: Dedekind cut and Completeness (order theory) · See more »
Construction of the real numbers
In mathematics, there are several ways of defining the real number system as an ordered field.
New!!: Dedekind cut and Construction of the real numbers · See more »
Dedekind–MacNeille completion
In order-theoretic mathematics, the Dedekind–MacNeille completion of a partially ordered set (also called the completion by cuts or normal completion) is the smallest complete lattice that contains the given partial order.
New!!: Dedekind cut and Dedekind–MacNeille completion · See more »
Euclid's Elements
The Elements (Στοιχεῖα Stoicheia) is a mathematical treatise consisting of 13 books attributed to the ancient Greek mathematician Euclid in Alexandria, Ptolemaic Egypt c. 300 BC.
New!!: Dedekind cut and Euclid's Elements · See more »
Galois connection
In mathematics, especially in order theory, a Galois connection is a particular correspondence (typically) between two partially ordered sets (posets).
New!!: Dedekind cut and Galois connection · See more »
Greatest and least elements
In mathematics, especially in order theory, the greatest element of a subset S of a partially ordered set (poset) is an element of S that is greater than every other element of S. The term least element is defined dually, that is, it is an element of S that is smaller than every other element of S. Formally, given a partially ordered set (P, ≤), an element g of a subset S of P is the greatest element of S if Hence, the greatest element of S is an upper bound of S that is contained within this subset.
New!!: Dedekind cut and Greatest and least elements · See more »
Interval (mathematics)
In mathematics, a (real) interval is a set of real numbers with the property that any number that lies between two numbers in the set is also included in the set.
New!!: Dedekind cut and Interval (mathematics) · See more »
Irrational number
In mathematics, the irrational numbers are all the real numbers which are not rational numbers, the latter being the numbers constructed from ratios (or fractions) of integers.
New!!: Dedekind cut and Irrational number · See more »
Least-upper-bound property
In mathematics, the least-upper-bound property (sometimes the completeness or supremum property) is a fundamental property of the real numbers and certain other ordered sets.
New!!: Dedekind cut and Least-upper-bound property · See more »
Linear continuum
In the mathematical field of order theory, a continuum or linear continuum is a generalization of the real line.
New!!: Dedekind cut and Linear continuum · See more »
Mathematics
Mathematics (from Greek μάθημα máthēma, "knowledge, study, learning") is the study of such topics as quantity, structure, space, and change.
New!!: Dedekind cut and Mathematics · See more »
Number line
In basic mathematics, a number line is a picture of a graduated straight line that serves as abstraction for real numbers, denoted by \mathbb.
New!!: Dedekind cut and Number line · See more »
Partially ordered set
In mathematics, especially order theory, a partially ordered set (also poset) formalizes and generalizes the intuitive concept of an ordering, sequencing, or arrangement of the elements of a set.
New!!: Dedekind cut and Partially ordered set · See more »
Partition of a set
In mathematics, a partition of a set is a grouping of the set's elements into non-empty subsets, in such a way that every element is included in one and only one of the subsets.
New!!: Dedekind cut and Partition of a set · See more »
Rational number
In mathematics, a rational number is any number that can be expressed as the quotient or fraction of two integers, a numerator and a non-zero denominator.
New!!: Dedekind cut and Rational number · See more »
Real number
In mathematics, a real number is a value of a continuous quantity that can represent a distance along a line.
New!!: Dedekind cut and Real number · See more »
Richard Dedekind
Julius Wilhelm Richard Dedekind (6 October 1831 – 12 February 1916) was a German mathematician who made important contributions to abstract algebra (particularly ring theory), axiomatic foundation for the natural numbers, algebraic number theory and the definition of the real numbers.
New!!: Dedekind cut and Richard Dedekind · See more »
Set (mathematics)
In mathematics, a set is a collection of distinct objects, considered as an object in its own right.
New!!: Dedekind cut and Set (mathematics) · See more »
Subset
In mathematics, a set A is a subset of a set B, or equivalently B is a superset of A, if A is "contained" inside B, that is, all elements of A are also elements of B. A and B may coincide.
New!!: Dedekind cut and Subset · See more »
Surreal number
In mathematics, the surreal number system is a totally ordered proper class containing the real numbers as well as infinite and infinitesimal numbers, respectively larger or smaller in absolute value than any positive real number.
New!!: Dedekind cut and Surreal number · See more »
Total order
In mathematics, a linear order, total order, simple order, or (non-strict) ordering is a binary relation on some set X, which is antisymmetric, transitive, and a connex relation.
New!!: Dedekind cut and Total order · See more »
Redirects here:
Completion (order theory), Dedekind Cut, Dedekind cuts, Dedekind section, Dedekind's Axiom.
References
[1] https://en.wikipedia.org/wiki/Dedekind_cut