FACTOID # 23: Wisconsin has more metal fabricators per capita than any other state.
 
 Home   Encyclopedia   Statistics   States A-Z   Flags   Maps   FAQ   About 
   
 
WHAT'S NEW
 

SEARCH ALL

FACTS & STATISTICS    Advanced view

Search encyclopedia, statistics and forums:

 

 

(* = Graphable)

 

 


Encyclopedia > Dedekind completion

In mathematics, a Dedekind cut in a totally ordered set S is a partition of it, (A, B), such that A is closed downwards (meaning that for any element x in S, if a is in A and xa, then x is in A as well) and B is closed upwards. The cut itself is, conceptually, the "gap" defined between A and B. The original and most important cases are Dedekind cuts for rational numbers and real numbers.

Contents

Handling Dedekind cuts

It is more symmetrical to use the (A,B) notation for Dedekind cuts, but each of A and B does determine the other. It can be a simplification, in terms of notation if nothing more, to concentrate on one 'half' for example the lower part a. For example it is shown that the typical Dedekind cut in the real numbers is either a pair with A the interval ( −∞, a ), in which case B must be [ a, +∞); or a pair with A the interval ( −∞, a ], in which case B must be ( a, +∞ ).


Ordering Dedekind cuts

If a is a member of S then the set

is a Dedekind cut we could call ( −∞, a ); by identifying a with it, the linearly ordered set S is embedded in the set of all Dedekind cuts of S. If the linearly ordered set S does not enjoy the least-upper-bound property, then the set of Dedekind cuts will be strictly bigger than S.


Regard one Dedekind cut { A, B } as less than another Dedekind cut { C, D } if A is a proper subset of C, or, equivalently D is a proper subset of B. In this way, the set of all Dedekind cuts is itself a linearly ordered set, and, moreover, it does have the least-upper-bound property, i.e., its every nonempty subset that has an upper bound has a least upper bound. Embedding S within a larger linearly ordered set that does have the least-upper-bound property is the purpose.


The cut construction of the real numbers

The Dedekind cut is named after Richard Dedekind, who invented this construction in order to represent the real numbers as Dedekind cuts of the rational numbers. A typical Dedekind cut of the rational numbers is given by

This cut represents the real number in Dedekind's construction.


Additional structure on the cuts

See construction of real numbers


Generalization: Dedekind completions in posets

More generally, in a partially ordered set S, the set of all nonempty downwardly closed subsets (also called order ideals) is a set partially ordered by inclusion, and in the same way we embed S within a larger partially ordered set that, generally unlike the original set S, does have the least-upper-bound property. This larger poset is called the Dedekind completion of S.


Another generalization: surreal numbers

A construction similar to Dedekind cuts is used for the construction of surreal numbers.


See also


  Results from FactBites:
 
Dedekind cut - Wikipedia, the free encyclopedia (511 words)
For example it is shown that the typical Dedekind cut in the real numbers is either a pair with A the interval (−∞, a), in which case B must be [ a, +∞); or a pair with A the interval (−∞, a ], in which case B must be (a, +∞).
Regard one Dedekind cut { A, B } as less than another Dedekind cut { C, D } if A is a proper subset of C, or, equivalently D is a proper subset of B.
The Dedekind cut is named after Richard Dedekind, who invented this construction in order to represent the real numbers as Dedekind cuts of the rational numbers.
  More results at FactBites »

 
 

COMMENTARY     


Share your thoughts, questions and commentary here
Your name
Your comments

Want to know more?
Search encyclopedia, statistics and forums:

 


Press Releases |  Feeds | Contact
The Wikipedia article included on this page is licensed under the GFDL.
Images may be subject to relevant owners' copyright.
All other elements are (c) copyright NationMaster.com 2003-5. All Rights Reserved.
Usage implies agreement with terms, 1022, m