Dedekind cut

GPTKB entity
AI-created image of Dedekind cut
AI-created image

Statements (16)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:alternativeName gptkb:Dedekind_section
gptkbp:defines A partition of the rational numbers into two non-empty sets A and B such that every element of A is less than every element of B, and A contains no greatest element.
gptkbp:describedBy Stetigkeit und irrationale Zahlen
gptkbp:field gptkb:mathematics
gptkb:set_theory
number theory
https://www.w3.org/2000/01/rdf-schema#label Dedekind cut
gptkbp:introducedIn 1872
gptkbp:namedAfter gptkb:Richard_Dedekind
gptkbp:relatedTo rational numbers
real numbers
gptkbp:usedFor construction of real numbers
gptkbp:usedIn real analysis
gptkbp:bfsParent gptkb:Richard_Dedekind
gptkbp:bfsLayer 4