2613:
case of sqrt(2). I also understand the argument that the "reals" constructed with dedekind cuts have the least upper bound property. What I fail to see, however, is why the "reals" contain the transcendentals. Why cannot the reals complete with the least upper bound property contain only algebraics? That is to say, I dont see how dedekind cuts give rise to transcendentals. I dont see how to express the bounds on the rationals in the lower cut to give rise to, say, pi, for example. It seems to me that constructing the transcendentals with dedekind cuts requires reference to other transcendentals... or best case scenario, non-rational algebraics. I feel when it comes to transcendentals there is a circular reasoning problem going on here. Can someone show me an example of a non-trivial transcendental being defined with a dedekind cut? Or even for that matter a particular algebraic root of a fifth degree polynomial? I have yet to see such a thing in my research. Alternatively, I *can* construct transcendentals if I bound the rationals in the lower cut with an infinite polynomial or infinite series, but then at that point we'd might as well employ the Cauchy construction of the reals instead.
2514:
reference to establish that this was
Dedekind's motivation for the "Schnitt". (I am not familiar with the primary sources so I'm not the person to do this.) The relation of "the number line" (why not say the real numbers) to Euclidean geometry might be made more explicit here, or at least a reference to a rigorous treatment of the proposition claimed ("the construction ensures...") would be very desirable. If that takes up too much space in the introduction, perhaps putting it in a later section would be appropriate. I don't think a detailed treatment is warranted; just something a little bit clearer, e.g. some reference to Dedekind's construction of the reals allowing R^2 to be a model of Euclid's postulates in the two-dimensional case, or something along these lines. If anyone thinks they can do this concisely, and with awareness of the extent to which it reflects Dedekind's motivation, I for one think it would be a valuable improvement to the article.
2537:
with the
Cartesian plane... on the other hand, I guess the point may be that the construction preceded or came simultaneously with the first rigorous axiomatization of the reals? One could argue that, if the rationals were correctly (even if somewhat informally) axiomatized, then Dedekind's construction provides, in some sense, the first rigorous mathematical theory of the real numbers, and therefore of Euclidean two-space, so that it really does solve the problem in a way the Greeks and Descartes, even though they recognized the desirability of talking about irrational numbers, and even did so to a great extent. Anyone care to comment? This seems close to the essence of Dedekind's achievement, so it is central to the article.
2533:"Dedekind used the German word Schnitt (cut) in a visual sense rooted in Euclidean geometry. When two straight lines cross, one is said to cut the other. Dedekind's construction of the real numbers allows us to use R^2 (the Cartesian product of R with itself) as a model of two-dimensional Euclidean space. In particular, and unlike the Cartesian product of the rationals with themselves, it satisfies Euclid's postulate that two crossing lines always have one point in common because each of them defines a Dedekind cut on the other."
1497:
does not make sense mathematically. What is the difference between the continuum of numbers and the "numbers themselves"? The set of numbers being discussed is ambiguous. If the sentence is referring to the set of rational numbers, it is incorrect because that is not a discrete set as is claimed. If the set being discussed is the set of integers (which is a discrete set) then the formulation of the reals via
Dedekind cuts is incorrect. I think the paragraph should be deleted due to its lack of mathematical foundation.
446:. This is essentailly that instead of calling (A,B) a cut, we call B the cut. This has the virtue of removing a whole pile of stuff relating to "the other half" which is never interesting. It allows ordering by simple subsetting, which seems a huge virtue. And its logically identical (at least in the context of the reals - CM may know otherwise for more esoteric bases). I think we should also point out somewhere that one can *define* the reals as the cuts (whilst also, of course, noting that there are other ways).
131:
121:
100:
848:(in either order!) I think this is where the confusion about the definition lies. You have to fix the order of the mappings, it seems. By using the "closed-down", "closed-up" mappings, you get both defintions (corr. to different orders of mappings) thrown together instead of just one. If you restrict to just one order of the Galois mappings, then suddenly addition is closed. This leads me to think maybe we have the definition of a Dedekind cut slightly wrong altogether.
209:
267:. These definitions are not all from the same source (though presumably all "public knowledge", "well-known" or "sufficiently obvious" ); they may not be entirely consistent with each other and/or with the definitions that were stated (and presently remain unaltered) at the beginning of the article. Please comment, and correct as appropriate. (I've put the same request on
69:
714:
1544:
translated this from the German " … erschaffen wir eine neue, eine irrationale Zahl … ." There is no mention of "define." There is only
Dedekind's use of the words meaning creation and creating. We can't arbitrarily change Dedekind's words and freely substitute "define" for "create" whenever we feel like doing so. By adding the phrase, "if you will,"
718:. My only contribution here was the last paragraph of the lede. I'm not aware that the definition is seriously in error. I was brought up on Whittaker and Watson myself and the treatment here looks much the same as theirs. I encourage you simply to correct any errors where you see them. As for Cauchy sequence stuff that's probably best dealt with in
2510:"Dedekind used the German word Schnitt (cut) in a visual sense rooted in Euclidean geometry. When two straight lines cross, one is said to cut the other. Dedekind's construction of the number line ensures that two crossing lines always have one point in common because each of them defines a Dedekind cut on the other."
2002:
2044:
Set A is open: it contains no greatest element. Set B may be open or closed: if it's at a rational number, then it contains a least element, which is that number. If it's a cut of the rationals and is at an irrational number, then it contains no least element (among the rationals) and is open, like
637:
There is a problem with the definition: "In mathematics, a
Dedekind cut, named after Richard Dedekind, is a partition of the rational numbers into two non-empty parts A and B, such that all elements of A are less than all elements of B, and A contains no greatest element. Dedekind cuts are one method
338:
21:40, 9 Jul 2004 (UTC)) In several places the article seems to take for granted the existence of the reals. For example, it talks about being able "to do arithmetic on cuts, just like you can do on the reals" (I paraphrase). But (as far as I can understand this) that's the wrong way round. The reals
2569:
The example of the cut representing the square root of 2 is fine. But there's nothing unclear about it actually being a cut. Also, any discussion of it representing the square root of 2 is inappropriate unless some information is added about how the algebraic structure of the rationals is extended
2025:
You, guys are lucky, because it seems you understand something. I don't. What't the meaning of this? Any fool can make an open-bordered set by not including the surface (in
Dedekind's case a zero-dimensional surface constituted by the "cut" value), but so what? Wasn't that known before Dedekind? And
830:
Now I'm getting confused on the definition. Taken at face value, it is true, the standard way of defining addition is not closed. This is a problem. It's okay if we restrict the lower subset not to have an upper bound, e.g. This is how I usually see the definition in analysis books. Now, I looked up
726:
stressing your remarks above. What I would like to see in this article is a discussion of the historical context of
Dedekind's construction, including reservations expressed at the time about its perceived geometrical bias, and then perhaps a really careful description of the construction, following
2000:
article. Both versions seem not quite right to me. For one thing, you have to define multiplication of cuts before you can prove things involving multiplication. Both articles have the sentence "However, neither claim is immediate", but seem to be talking about different claims! I tried to find a
964:
to incorporate the condition that the low/left set contain no greatest element. This is a requirement made by Walter Rudin, MathWorld, PlanetMath, any other source I have ever seen, and most importantly, it is needed to make the construction of R to actually work. Otherwise, as that article pointed
462:
is that it is a monotone mapping to the two-element ordered set {0,1} with 0 < 1. Well, that is no more and no less complicated than propositions taking values in the
Booleans {yes, no}; and one can equally replace those by the set on which the proposition takes value 'no'. In practice one needs
2536:
Again I'm not that aware of the history... in some sense the fact that the
Cartesian product of the rationals with themselves does not satisfy Euclid's postulates has been known at least since the Greeks, so Descartes was surely aware of it... so it may not be that Dedekind really solved a problem
1496:
I beg your pardon. The comment was in haste. My complaint is mainly against the second paragraph, not the entire introduction. The sentence "The
Dedekind cut resolves the contradiction between the continuous nature of the number line continuum and the discrete nature of the numbers themselves."
2612:
The prototypical examples of dedekind cuts are always rational numbers and simple square roots like sqrt(2). I can easily see how dedekind cuts give rise to algebraic numbers using some kind of integer polynomial in the set construction bounding our rationals, such as saying x^2 < 2 as per the
2513:
This suggests a motivation for defining the real numbers, coming from a desire for a two-dimensional space to have the properties one might want, e.g. to satisfy Euclid's postulates. It does seem plausible to me that this was one of Dedekind's motivations, but would like to see a fairly specific
2048:
OK, any fool can divide a set into two sets. The brilliant thing here is to define the cut as a significant mathematical object and start building a new number system out of it – that is, to start from the rationals and create a model for the set of real numbers. Defining how to multiply cuts is
1311:
I didn't explain the axiom of choice thing last time, sorry. It was worded poorly. Dedekind was able to prove the completeness of the real numbers without using the axiom of choice by using cuts. This is the significance of Dedekind cuts in Mathematics. The construction using Cauchy sequences
1548:
seems to imply that his word "define" is the preferred word, but, the word "create" will be tolerated if necessary. This is not the case. We have Dedekind's own exact words as a reference. He, the original author, used the words meaning creation and creating. If he wanted to use the word meaning
392:
complete field. People hope there is essentially one model; there might be no model (sceptical, finitist approach), or too many models to handle (let in the logicians with the continuum hypothesis etc.). It doesn't matter so much in practice - one just uses the axioms one has responsibly, and it
383:
22:34, 9 Jul 2004 (UTC)) Err, far be it from me to disagree, but I shall. You too are speaking as if the reals have some independent existence. No matter how you introduce the reals (Cauchy or whatever) their arithmetic properties are defined by the properties of the rationals in the definition;
1453:
Personally, I don't see the point of saying that the irrational numbers are "created" by mathematicians. For that matter, all numbers are "created" by mathematicians. There's nothing more concrete about the number 1 than there is about the number pi. The whole introduction seems to be rather
1543:
is entitled, in German, "Schöpfung der irrationalen Zahlen." As translated by W. W. Beman, in the English translation published by Open Court and Dover, this definitely means, "Creation of Irrational Numbers." In this chapter, Dedekind wrote, "… we create a new, an irrational number … ." Beman
1337:
account of the meaning of Dedekind's cut. The quotation was the one place in Dedekind's essay that the famous mathematician clearly and distinctly showed, in a few words, how the cut resolved the continuum problem by placing a rational or irrational number at every point on the number line.
840:" (denote A-up) and similarly for smaller than. This is a Galois connection on the power set, and a Dedekind cut is defined to be a "Galois subset", i.e. a subset so that after you apply each mapping one by the other, you get the same thing. Example: A = (−∞, 0], then A-up = = A. NOTICE:
920:" 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."
1346:
wants it, without an enlightening and concise explanation which was accompanied by a very pertinent and important quotation by the renowned mathematician. I reproduce it below for the benefit of curious readers who may judge for themselves the value of the paragraph and quotation:
318:
Most may not, but they are pretty ordinary objects in math (e.g. they are studied routinely in lower-division discrete math classes), and so cuts in posets aren't extraordinarily "esoteric" (a relative term), so it's hardly out of place to give the full poset presentation here.
1475:
This is a typical lack of understanding of Dedekind's own actual words. What does being "concrete" have to do with positing the existence of a number? Who cares? Ours is an ignorant time and we are proud of our ignorance and our youthful superiority to the old thinkers. Would
1775:
was published in '01. There may be a valid underlying point here (I suppose if you wanted to prove completeness in terms of Cauchy sequences, you'd be tempted to use AC to pick a representative from each equivalence class of sequences), but it's not really explained.
339:*are* dedekind cuts (or some other definition starting from the rationals). Arithmetic on reals is *defined* by the corresponding actions on cuts. Just as arithmetic on rationals is defined by the corresponding operations on sets of pairs.
641:
It states "non-empty 'parts' A and B" and then goes on to talk about these "parts" as if they are sets, which indeed they are. I will correct this so that it states "sets" and not parts, because only sets have elements by definition.
727:
perhaps Hardy's celebrated account. Incidentally, as far as getting your concerns looked at by editors here, it would be best to start a new section at the end of the Talk page. Otherwise they are quite likely not to be noticed.
2274:
I agree with your first two statements above. The definition is different from that in "Advanced Calculus" by Angus Taylor. I think the definition is wrong; but I don't know what you mean by Q in your definition of A and B.
770:
Well, yes. You might like to read Hardy's classic account in "A Course of Pure Mathematics" ( first year study in his time at Cambridge around 1910 and still very readable) where he discusses exactly that point of view.
1996:, you may not have noticed that it says "positive", so your example using negative numbers doesn't apply. However, the couple of sentences after "neither claim is immediate" need work. Similar sentences appear in the
835:
agreed with the definition given here. Basically, their definition was in terms of Galois connections, where the Galois mappings are given (in words) by "take the set of all things bigger than or equal to all things in
580:
The formatting - I just made it standard for this site - it was extraordinarily hard to edit as it was. I don't think we need various different versions of 'Dedekind cut', unless and until they fulfil a clear need.
544:
On one hand that's a good move because that's where the detailed definitions for arithmetic, set, and order operations on Dedekind cuts would seem most relevant. (But why did the move mangle the careful formatting?
856:
It's not okay to restrict the lower subset not to have an upper bound, because that is required in the definition. What you see and what you understand from "analysis books" is open to varying interpretations.
1242:
1070:
1423:
There is no room in the Dedekind Cut article for Dedekind's quote, which precisely explains the cut. But, on Knowledge, there is plenty of room, for example, to include such things as a reference in
1480:
favor us with a clear explanation of his opinion that "The whole introduction seems to be rather lacking in understanding of modern math" or is it so obvious that we should know without being told?
897:
2177:
2223:
187:
454:, which currently has no detail to speak of. Before changing the definition, and remembering that WP is not supposed to innovate on terminology, one should hesitate a moment, anyway. The
601:
into Dedekind cuts of rationals. In other words, the "distinct version of Dedekind cut" you're referring to about the rationals is able to happen not just because we have the poset
2445:
tells us everything there is to know about the cut (A,B). Now it gets confusing because we define addition and multiplication of cuts. If we call the cuts with a greatest element
2128:
1696:
1663:
1946:
1823:
1517:
The second paragraph seems to me to imply the use of Dedkind cuts is the unique way to define (or "create" if you will) the irrational numbers, thus neglecting the method of
1394:
number, which we regard as completely defined by this cut ... . From now on, therefore, to every definite cut there corresponds a definite rational or irrational number ....
463:
to be fluent in saying things either way. So we should have all that on this page, in some form; as I said, I think the axiomatics can be elsewhere (cf. the approach on the
2592:
The information about the algebraic structure extension should be added anyway, regardless of this issue — the section on constructing the reals is incomplete without it. —
2670:
It would be good to include in this article a discussion of how addition and multiplication of Dedekind cuts are defined. Currently these operations are left unmentioned.
1975:
685:
A and B, such that A is closed downwards (meaning that for all a in A, x ≤ a implies that x is in A as well) and B is closed upwards, and A contains no greatest element.
924:
If we do identify (-inf, a) with a, then we are missing all the cuts (-inf, a] -- so the set of Dedekind cuts is bigger than S even if S "enjoys" the l-u-b property. --
548:
On the other hand however, while (any and all versions of) "Dedekind cut" can be defined without requiring the detailed definitions for operations, it may well be that
2530:
If it seems consistent with the mathematical facts, I think the following wording might improve the passage from the article quoted at the top of my previous comment:
2507:
I wonder if the following should provided with references, and the discussion expanded just slightly (although probably in a later section, not in the introduction).
2423:
2365:
2339:
2486:
2463:
2443:
2385:
621:
belong at a separate page -- because the field operations are so essential, and field operations aren't part of the theory of general Dedekind cuts in posets.
1904:
1863:
1333:'s deletion. Here we had a clear, concise explanation of a Dedekind Cut, verified by a key quotation by Richard Dedekind himself. You couldn't ask for a more
2099:. However, it goes on to say "The cut itself is in neither set", thereby contradicting the prior statement in the case where the cut is a rational number.
1907:, but how does this prove that A is closed downward, B closed upwards or that A contains no greatest element (like the cut is defined in the introduction)?
47:
2695:
177:
2387:
positive. A (fraction) cut is an ordered pair (A,B) of (infinite) sets of fractions (meeting certain conditions) so it is not a fraction itself. Hence
2309:
I'm just looking at this and who knows if anyone cares any more, but I'd say that we could avoid the word rational for just a little bit and talk about
657:
Yes, thanks IP. It was implicit in the wikilinking of "partition", but it's obviously better to use "sets". I've wikilinked "sets". "Subsets" perhaps?
342:
Not entirely. One can introduce the reals in a number of ways (e.g. Cauchy sequences of rationals). The main result is that a Dedekind cut of the
153:
2690:
2685:
2553:
1726:
753:
I am not interested. In my opinion, neither D. Cuts nor Cauchy sequences define the "real" numbers because irrational numbers don't exist.
1384:
there is considered to be a real number, either rational or irrational, at every point on the number line continuum, with no discontinuity
2614:
2570:
to the set of cuts. Otherwise, the discussion trying to show that this really is the square root of 2 doesn't really make any sense.
2577:
1978:
901:
858:
806:
689:
643:
237:
2255:
any cut on a rational number isn't a Dedekind cut (though I'm not sure that the least upper bound property can be satisfied that way)
225:
844:. If we think of "identifying" these intervals [a, ∞) with their complements, we get what we think of as open intervals down to −∞,
757:
144:
105:
1997:
723:
719:
886:
The above suggestion "you might want to add that the lower cut is a Cauchy sequence" is completely wrong. It is most definitely
2026:
what's the difference between making a rational or an irrational cut? Anyways the two sets are open towards the cutting value.
1993:
1167:
995:
421:. Remember, the reals form a poset, too! So, once you have constructed them, it's perfectly consistent to form Dedekind cuts
409:
assume any properties of existence of the reals. When he says, "the main result is that a Dedekind cut of the reals must be
2004:
Elements of the theory of functions By Konrad Knopp. It doesn't do the proof in detail but then neither does this article.
2488:. But the cut is not really the same thing as the largest fraction in the left-hand member of the cut. I hope that helps.
2656:
961:
557:
537:
476:
451:
80:
754:
2133:
2102:
Of course, if we ignore "The cut itself is in neither set", then we have a clear definition. Equivalently for some
2182:
1759:
439:
380:
335:
312:
369:
I'd be quite happy to move all the general order theory down to the end; and get the Dedekind-story at the top.
2597:
2549:
2521:
2091:. According to the definition of a partition, this means every rational number is a member of exactly one of
1730:
1110:), or has a greatest element? It wouldn't be a Dedekind cut, would it? The simplest example I can think of is
842:
if we change the order of the mappings, we get intervals going to ∞ rather than −∞, but they are still closed
493:
If the phrase "Dedekind cut" applies to distinct notions or versions (e.g. "original", "simplified", and/or "
2652:
2618:
2581:
1982:
1703:
1590:
862:
810:
693:
647:
761:
2545:
2517:
1502:
1459:
928:
688:
If you are responsible for this article, you might want to add that the lower cut is a Cauchy sequence.
582:
556:
versions of "Dedekind cut". (See also my note from 02:39, 8 May 2004 (UTC), above). Referencing between
480:
468:
398:
372:
268:
86:
130:
2105:
504:
perhaps not necessarily on different pages, but at least in distinct sections, for separate reference;
2573:
2541:
2493:
2057:
2012:
1313:
893:
877:
873:
388:
Actually that's not the approach always adopted. One can just write down axioms for the real numbers
251:
Hmmm. I don't see this as a stub. There's more to be added certainly, but the basic facts are here.
68:
2593:
1992:
I have problems with that part, too. Re your last question: similarly to a mistake I just made at
1781:
1668:
1635:
1913:
1798:
613:. That is precisely why Charles thinks the drawn-out details of this particular construction from
292:
Start off by defining Dedekind cut in the the simplest case: as a dedeckind cut in the rationals.
240:
for that content in the latter page, and it must not be deleted as long as the latter page exists.
152:
on Knowledge. If you would like to participate, please visit the project page, where you can join
1719:...One completion of S is the set of its downwardly closed subsets (also called order ideals)...
1699:
1586:
1485:
136:
120:
99:
2468:
then these new rationals work just like the fractions and that cut mentioned "is" the rational
1951:
384:
which of course end up being the properties you expect or things would have gone badly wrong...
315:
21:40, 9 Jul 2004 (UTC)) Probably a good idea. Most of us don't knwo what posets are, Charles.
2291:
1371:
1283:
1521:. We ought to be clear that to in modern mathematics this is only one possible approach. --
1390:
Whenever, then, we have to do with a cut produced by no rational number, we create a new, an
2280:
2031:
1498:
1477:
1455:
1342:
doesn't see this. The readers of the article are the losers here. Let the article remain as
776:
732:
662:
564:
should have to be correspondingly precise, and edits on either page (ideally) synchronized.
259:
I've just added some definitions for comparison, arithmetic operations, and evaluations of
2489:
2394:
2053:
2008:
1763:
1751:
1518:
1428:
1367:
925:
681:
More generally, a Dedekind cut is a partition of a totally ordered set into two non-empty
450:
Arguably the business of Dedekind cuts of the rationals giving one the reals should be at
2344:
2316:
1771:
This appears to be an anachronism; Zermelo didn't even formulate AC until 1904, whereas
1721:
Downward closed sets are the lower sets; order ideals are directed lower sets; they are
479:. I think that will make it easier to shuffle this page into some better logical order.
443:
2299:
2264:
1777:
1146:
I have deleted the following paragraph from the article, for the reasons stated above:
1135:
946:
442:
20:05, 11 Jul 2004 (UTC)) I'd like to propose switching the definition to that used at
2471:
2448:
2428:
2370:
589:
Again, WMC, I think you're confusing the order theory def with the particular case of
2679:
1766:(proving the existence of a complete ordered field to be independent of said axiom).
1550:
1481:
1432:
1409:
849:
622:
567:
521:
426:
320:
272:
1869:
1828:
1130:- the set of its Dedekind cuts is empty, so there can be absolutely no embedding of
1424:
1343:
1339:
1330:
1322:
755:
http://www.spacetimeandtheuniverse.com/math/4507-0-999-equal-one-317.html#post21409
561:
459:
366:
in the left interval. So, there is no 'gap' remaining to isolate within the reals.
252:
2425:(which is a fraction since all the members are fractions) then that one fraction
393:
would be 'bad luck' if there were no model at all. This, IIRC, is how Dieudonne's
2236:
I suppose the question is whether "The cut itself is in neither set" means that:
2660:
2276:
2076:
I'm not sure whether the article contradicts itself or is just a bit confusing.
2027:
1755:
1545:
1536:
1522:
1375:
1366:
nature of the numbers themselves. Wherever a cut occurs and it is not on a real
1356:
772:
728:
658:
464:
149:
1489:
1412:
1352:
303:
126:
2673:(Addition is pretty easy, but multiplication of cuts can be a bit awkward.)
2295:
2260:
1359:
597:
is so important is that one can transfer and expand the field operations on
1539:
writes: "… define (or 'create' if you will) … ." Chapter 4 of Dedekind's
1363:
1271:
966:
512:
508:
475:
OK, I have now moved the detailed definitions for operations on reals to
260:
2503:
Relation to Euclidean Geometry needs references/clarification/expansion?
1098:
Ehm... not quite. What if the left set of that "cut" is empty (so that (
264:
945:} is a Dedekind cut - the first set cannot have a greatest element. --
1274:
property, then the set of Dedekind cuts will be strictly bigger than
536:
I have now moved the detailed definitions for operations on reals to
2622:
2601:
2585:
2557:
2525:
2497:
2303:
2284:
2268:
2061:
2039:
2016:
1986:
1977:
and therefore A is not closed downwards, and it shouldn't be a cut.
1785:
1734:
1707:
1594:
1553:
1525:
1506:
1463:
1435:
1316:
1282:
has the least-upper-bound property, the set of its Dedekind cuts is
1138:
949:
931:
905:
881:
866:
814:
780:
765:
736:
697:
666:
651:
405:
WMC, all of the ways Charles mentioned above to construct the reals
281:
2290:ℚ is the standard symbol for the set of all rational numbers. See
2252:
a rational or irrational real number and is not the number itself
1569:
Why does the Dedekind-MacNeille completion consist of the sets (
2001:
ref that would help via Google Books. This might help a bit:
872:
Why is there no mention of the upper set B in the definition?
203:
62:
890:
a Cauchy sequence, especially because it is not a sequence.
2240:
the cut is just the notional boundary between the values in
1750:
The original and most important cases are Dedekind cuts for
965:
out itself, the cuts would not be closed under addition. --
2565:
Problems with the section on the construction of the reals
2391:
since it is not a fraction. Now if A has a largest member
2079:
The first paragraph states first that a Dedekind cut is a
2628:
How can B have the smallest element if A can't be empty?
1351:
The Dedekind cut resolves the contradiction between the
1237:{\displaystyle \{\{x\in S:x<a\},\{x\in S:x\geq a\}\}}
1065:{\displaystyle \{\{x\in S:x<a\},\{x\in S:x\geq a\}\}}
1600:
In the meanwhile I fonund the answer myself: the sets (
233:
229:
220:
215:
40:
1382:
by the mathematician. Through the use of this device,
2474:
2451:
2431:
2397:
2373:
2347:
2319:
2185:
2136:
2108:
1954:
1916:
1873:
1832:
1801:
1671:
1638:
1170:
998:
444:
http://planetmath.org/encyclopedia/DedekindCuts.html
148:, a collaborative effort to improve the coverage of
2648:have the smallest element of the rational numbers?
2480:
2457:
2437:
2417:
2379:
2359:
2333:
2217:
2171:
2122:
1969:
1940:
1897:
1856:
1817:
1698:, so both give essentially the same completion. --
1690:
1657:
1236:
1064:
973:Embedding of a set in the set of its Dedekind cuts
1665:is order reversing and bijective, its inverse is
495:instead of calling (A,B) a cut, we call B the cut
497:", etc. etc.) then I'd suggest that they should
330:Dodgy (would "imprecise" be more NPOV?) language
302:Leave generalizations for later in the article.
2172:{\displaystyle A=\mathbb {Q} \cap (-\infty ,x)}
1388:
1262:is embedded in the set of all Dedekind cuts of
1090:is embedded in the set of all Dedekind cuts of
2218:{\displaystyle B=\mathbb {Q} \cap [x,\infty )}
8:
2666:Addition and multiplication of Dedekind cuts
1825:. It argues that (A,B) is a cut, because if
1549:"define" he would have written "definieren."
1231:
1228:
1204:
1198:
1174:
1171:
1059:
1056:
1032:
1026:
1002:
999:
488:I'd like to propose switching the definition
507:and surely not omitting version(s) "due to
2571:
1454:lacking in understanding of modern math.
891:
207:
94:
19:
15:
2473:
2450:
2430:
2407:
2396:
2372:
2346:
2323:
2318:
2193:
2192:
2184:
2144:
2143:
2135:
2116:
2115:
2107:
1953:
1915:
1872:
1831:
1802:
1800:
1682:
1670:
1649:
1637:
1169:
997:
511:" and/or "particular representative of a
417:", he is speaking about Dedekind cuts of
960:I've changed the definition here and at
214:Text and/or other creative content from
96:
66:
1745:I have removed the following snippet:
1250:is a Dedekind cut we could call ( −∞,
1078:is a Dedekind cut we could call ( −∞,
898:2601:200:C082:2EA0:7D50:88F7:2D96:18EC
638:of construction of the real numbers."
7:
2313:which are (of course) expressions
1312:requires the proof to use the AoC.
846:but these complements aren't Galois!
711:
142:This article is within the scope of
1795:I don't understand the example for
593:. One of the reasons the case with
85:It is of interest to the following
2209:
2157:
1758:. Dedekind used cuts to prove the
1258:with it, the linearly ordered set
1086:with it, the linearly ordered set
831:in an order theory book, and they
232:on 21 May 2011. The former page's
14:
2696:Mid-priority mathematics articles
2636:are smaller than all elements of
2123:{\displaystyle x\in \mathbb {R} }
1541:Continuity and Irrational Numbers
1401:Continuity and Irrational Numbers
162:Knowledge:WikiProject Mathematics
1998:construction of the real numbers
805:Have read it and it's nonsense.
720:Construction of the real numbers
712:
165:Template:WikiProject Mathematics
129:
119:
98:
67:
2083:of the rationals into two sets
1994:Talk:Maximum spacing estimation
1773:Essays on the Theory of Numbers
182:This article has been rated as
2623:15:19, 20 September 2018 (UTC)
2367:relatively prime integers and
2292:Set (mathematics)#Special sets
2212:
2200:
2166:
2151:
1812:
1804:
1714:Dedekind completions in posets
1691:{\displaystyle B\mapsto B^{l}}
1675:
1658:{\displaystyle A\mapsto A^{u}}
1642:
1266:. If the linearly ordered set
458:of the definition in terms of
395:Foundations of Modern Analysis
1:
2558:17:59, 18 December 2012 (UTC)
2526:17:45, 18 December 2012 (UTC)
2304:13:08, 15 November 2011 (UTC)
2062:16:49, 28 November 2010 (UTC)
1941:{\displaystyle -3<-1\in A}
1818:{\displaystyle {\sqrt {(}}2)}
1565:Dedekind-MacNeille completion
1507:15:26, 26 November 2008 (UTC)
1490:20:26, 24 November 2008 (UTC)
1464:17:43, 24 November 2008 (UTC)
1317:03:33, 17 December 2005 (UTC)
1139:03:13, 10 December 2005 (UTC)
950:03:06, 10 December 2005 (UTC)
425:, and say things about them.
226:Dedekind–MacNeille completion
156:and see a list of open tasks.
2691:C-Class mathematics articles
2686:Old requests for peer review
2389:the cut is not in either set
2285:21:35, 7 November 2011 (UTC)
2040:14:01, 14 October 2010 (UTC)
2017:20:52, 10 October 2010 (UTC)
962:Construction of real numbers
906:19:33, 20 January 2024 (UTC)
722:where there is a section on
710:responsible for the article
675:There are still more errors:
558:construction of real numbers
538:construction of real numbers
477:construction of real numbers
452:construction of real numbers
2632:Since, all elements in set
2269:14:21, 13 August 2011 (UTC)
1786:06:18, 4 October 2008 (UTC)
1436:00:04, 1 October 2006 (UTC)
1413:00:38, 27 August 2006 (UTC)
1290:, by identifying each cut (
605:, it's the poset and field
434:Proposal for simplification
362:,+∞) or the other one with
2712:
2661:09:59, 23 April 2020 (UTC)
2498:03:50, 25 April 2013 (UTC)
1970:{\displaystyle -3\notin A}
1905:x\wedge y\notin B}" /: -->
1864:0\wedge x\notin B}" /: -->
1708:08:28, 25 April 2008 (UTC)
1595:15:35, 23 April 2008 (UTC)
1513:Second paragraph POV (heh)
969:13:34, Jun 24, 2005 (UTC)
2644:cant be empty, how could
2627:
2602:22:48, 13 June 2015 (UTC)
2586:22:36, 13 June 2015 (UTC)
1760:completeness of the reals
1585:? Or is this the same? --
1554:18:38, 8 March 2007 (UTC)
1526:15:16, 8 March 2007 (UTC)
1329:I am really surprised at
852:16:28, 15 Dec 2004 (UTC)
815:05:26, 14 June 2015 (UTC)
585:07:32, 14 Jul 2004 (UTC)
552:such definitions go with
483:14:59, 12 Jul 2004 (UTC)
401:09:38, 10 Jul 2004 (UTC)
224:was copied or moved into
181:
114:
93:
22:
18:
2229:has a least element iff
2072:Can the cut be rational?
1987:12:13, 28 May 2010 (UTC)
1870:x\wedge y\notin B}": -->
1829:0\wedge x\notin B}": -->
1735:05:19, 14 May 2008 (UTC)
1321:
1106:) is not a partition of
932:15:25, 20 May 2005 (UTC)
882:14:24, 14 May 2019 (UTC)
867:14:33, 21 May 2015 (UTC)
781:03:10, 23 May 2015 (UTC)
766:01:45, 23 May 2015 (UTC)
737:15:59, 21 May 2015 (UTC)
698:14:31, 21 May 2015 (UTC)
667:12:03, 19 May 2015 (UTC)
652:08:27, 19 May 2015 (UTC)
625:15:37, 15 Dec 2004 (UTC)
576:03:47, 14 Jul 2004 (UTC)
530:03:47, 14 Jul 2004 (UTC)
501:be covered (eventually);
471:07:53, 12 Jul 2004 (UTC)
429:15:37, 15 Dec 2004 (UTC)
375:22:12, 9 Jul 2004 (UTC)
323:15:37, 15 Dec 2004 (UTC)
255:10:30 16 Jul 2003 (UTC)
188:project's priority scale
1298:) with the supremum of
306:19:55, 9 Jul 2004 (UTC)
282:02:39, 8 May 2004 (UTC)
145:WikiProject Mathematics
2482:
2459:
2439:
2419:
2381:
2361:
2335:
2219:
2173:
2124:
2049:part of that process.
1971:
1942:
1900:
1859:
1819:
1692:
1659:
1407:
1406:
1238:
1066:
912:Ordering Dedekind cuts
486:William M. Connolley:
75:This article is rated
2483:
2460:
2440:
2420:
2418:{\displaystyle r=a/b}
2382:
2362:
2336:
2220:
2174:
2125:
1972:
1943:
1901:
1898:{\displaystyle y: -->
1860:
1857:{\displaystyle x: -->
1820:
1693:
1660:
1624:are exactly the sets
1608:are exactly the sets
1577:and not of the sets (
1349:
1239:
1067:
269:Knowledge:Peer review
2472:
2449:
2429:
2395:
2371:
2345:
2317:
2183:
2134:
2106:
1952:
1914:
1871:
1830:
1799:
1669:
1636:
1168:
996:
440:William M. Connolley
381:William M. Connolley
336:William M. Connolley
313:William M. Connolley
168:mathematics articles
2360:{\displaystyle a,b}
2334:{\displaystyle a/b}
1270:does not enjoy the
238:provide attribution
2653:TheFibonacciEffect
2478:
2455:
2435:
2415:
2377:
2357:
2331:
2244:and the values in
2215:
2169:
2120:
1967:
1938:
1899:x\wedge y\notin B}
1895:
1858:0\wedge x\notin B}
1854:
1815:
1762:without using the
1688:
1655:
1399:Richard Dedekind,
1254:); by identifying
1234:
1082:); by identifying
1062:
956:Definition changed
941:for which {(−∞,a],
916:From the article:
609:, altogether, the
534:Charles Matthews:
137:Mathematics portal
81:content assessment
23:Article milestones
2588:
2576:comment added by
2561:
2544:comment added by
2481:{\displaystyle r}
2458:{\displaystyle r}
2438:{\displaystyle r}
2380:{\displaystyle b}
2225:. Consequently,
1866:then there exist
1807:
1374:(which is also a
1372:irrational number
1278:; conversely, if
1272:least-upper-bound
908:
896:comment added by
271:.) Best regards,
244:
243:
202:
201:
198:
197:
194:
193:
61:
60:
57:
56:
41:February 16, 2008
2703:
2560:
2538:
2487:
2485:
2484:
2479:
2464:
2462:
2461:
2456:
2444:
2442:
2441:
2436:
2424:
2422:
2421:
2416:
2411:
2386:
2384:
2383:
2378:
2366:
2364:
2363:
2358:
2340:
2338:
2337:
2332:
2327:
2248:, and it merely
2224:
2222:
2221:
2216:
2196:
2178:
2176:
2175:
2170:
2147:
2129:
2127:
2126:
2121:
2119:
2052:
2036:
2007:
1976:
1974:
1973:
1968:
1947:
1945:
1944:
1939:
1906:
1903:
1902:
1896:
1865:
1862:
1861:
1855:
1824:
1822:
1821:
1816:
1808:
1803:
1752:rational numbers
1697:
1695:
1694:
1689:
1687:
1686:
1664:
1662:
1661:
1656:
1654:
1653:
1616:, and the sets (
1519:cauchy sequences
1404:
1284:order isomorphic
1243:
1241:
1240:
1235:
1071:
1069:
1068:
1063:
717:
716:
715:
583:Charles Matthews
481:Charles Matthews
469:Charles Matthews
467:page, in fact).
399:Charles Matthews
373:Charles Matthews
297:insert a picture
223:
211:
210:
204:
170:
169:
166:
163:
160:
139:
134:
133:
123:
116:
115:
110:
102:
95:
78:
72:
71:
63:
43:
20:
16:
2711:
2710:
2706:
2705:
2704:
2702:
2701:
2700:
2676:
2675:
2668:
2630:
2610:
2608:Transcendentals
2567:
2539:
2505:
2470:
2469:
2447:
2446:
2427:
2426:
2393:
2392:
2369:
2368:
2343:
2342:
2315:
2314:
2181:
2180:
2132:
2131:
2104:
2103:
2074:
2050:
2032:
2005:
1950:
1949:
1912:
1911:
1868:
1867:
1827:
1826:
1797:
1796:
1793:
1791:sqrt(2) example
1764:axiom of choice
1743:
1716:
1678:
1667:
1666:
1645:
1634:
1633:
1567:
1515:
1429:Henry Kissinger
1405:
1398:
1368:rational number
1327:
1314:Benandorsqueaks
1309:
1307:axiom of choice
1166:
1165:
1154:is a member of
994:
993:
982:is a member of
975:
958:
914:
713:
635:
436:
332:
289:
249:
219:
208:
167:
164:
161:
158:
157:
135:
128:
108:
79:on Knowledge's
76:
39:
12:
11:
5:
2709:
2707:
2699:
2698:
2693:
2688:
2678:
2677:
2667:
2664:
2629:
2626:
2609:
2606:
2605:
2604:
2594:David Eppstein
2566:
2563:
2546:MorphismOfDoom
2518:MorphismOfDoom
2504:
2501:
2477:
2454:
2434:
2414:
2410:
2406:
2403:
2400:
2376:
2356:
2353:
2350:
2330:
2326:
2322:
2307:
2306:
2272:
2257:
2256:
2253:
2250:corresponds to
2214:
2211:
2208:
2205:
2202:
2199:
2195:
2191:
2188:
2168:
2165:
2162:
2159:
2156:
2153:
2150:
2146:
2142:
2139:
2118:
2114:
2111:
2073:
2070:
2069:
2068:
2067:
2066:
2065:
2064:
2046:
2020:
2019:
1966:
1963:
1960:
1957:
1937:
1934:
1931:
1928:
1925:
1922:
1919:
1894:
1891:
1888:
1885:
1882:
1879:
1876:
1853:
1850:
1847:
1844:
1841:
1838:
1835:
1814:
1811:
1806:
1792:
1789:
1769:
1768:
1742:
1739:
1727:81.210.248.125
1715:
1712:
1711:
1710:
1685:
1681:
1677:
1674:
1652:
1648:
1644:
1641:
1566:
1563:
1562:
1561:
1560:
1559:
1558:
1557:
1514:
1511:
1510:
1509:
1473:
1472:
1471:
1470:
1469:
1468:
1467:
1466:
1444:
1443:
1442:
1441:
1440:
1439:
1396:
1355:nature of the
1326:
1320:
1308:
1305:
1304:
1303:
1247:
1246:
1245:
1244:
1233:
1230:
1227:
1224:
1221:
1218:
1215:
1212:
1209:
1206:
1203:
1200:
1197:
1194:
1191:
1188:
1185:
1182:
1179:
1176:
1173:
1160:
1159:
1096:
1095:
1075:
1074:
1073:
1072:
1061:
1058:
1055:
1052:
1049:
1046:
1043:
1040:
1037:
1034:
1031:
1028:
1025:
1022:
1019:
1016:
1013:
1010:
1007:
1004:
1001:
988:
987:
974:
971:
957:
954:
953:
952:
922:
921:
913:
910:
870:
869:
828:
827:
826:
825:
824:
823:
822:
821:
820:
819:
818:
817:
792:
791:
790:
789:
788:
787:
786:
785:
784:
783:
744:
743:
742:
741:
740:
739:
679:
678:
677:
676:
670:
669:
634:
631:
629:
627:
626:
578:
577:
574:
570:
565:
546:
532:
531:
528:
524:
519:
505:
502:
473:
472:
435:
432:
431:
430:
386:
385:
331:
328:
327:
326:
325:
324:
308:
307:
299:
298:
294:
293:
288:
285:
279:
275:
257:
248:
247:Early comments
245:
242:
241:
236:now serves to
212:
200:
199:
196:
195:
192:
191:
180:
174:
173:
171:
154:the discussion
141:
140:
124:
112:
111:
103:
91:
90:
84:
73:
59:
58:
55:
54:
51:
44:
36:
35:
32:
29:
25:
24:
13:
10:
9:
6:
4:
3:
2:
2708:
2697:
2694:
2692:
2689:
2687:
2684:
2683:
2681:
2674:
2671:
2665:
2663:
2662:
2658:
2654:
2649:
2647:
2643:
2639:
2635:
2625:
2624:
2620:
2616:
2615:50.35.103.217
2607:
2603:
2599:
2595:
2591:
2590:
2589:
2587:
2583:
2579:
2575:
2564:
2562:
2559:
2555:
2551:
2547:
2543:
2534:
2531:
2528:
2527:
2523:
2519:
2515:
2511:
2508:
2502:
2500:
2499:
2495:
2491:
2475:
2467:
2452:
2432:
2412:
2408:
2404:
2401:
2398:
2390:
2374:
2354:
2351:
2348:
2328:
2324:
2320:
2312:
2305:
2301:
2297:
2293:
2289:
2288:
2287:
2286:
2282:
2278:
2271:
2270:
2266:
2262:
2254:
2251:
2247:
2243:
2239:
2238:
2237:
2234:
2233:is rational.
2232:
2228:
2206:
2203:
2197:
2189:
2186:
2163:
2160:
2154:
2148:
2140:
2137:
2112:
2109:
2100:
2098:
2094:
2090:
2086:
2082:
2077:
2071:
2063:
2059:
2055:
2047:
2043:
2042:
2041:
2037:
2035:
2029:
2024:
2023:
2022:
2021:
2018:
2014:
2010:
2003:
1999:
1995:
1991:
1990:
1989:
1988:
1984:
1980:
1964:
1961:
1958:
1955:
1935:
1932:
1929:
1926:
1923:
1920:
1917:
1908:
1892:
1889:
1886:
1883:
1880:
1877:
1874:
1851:
1848:
1845:
1842:
1839:
1836:
1833:
1809:
1790:
1788:
1787:
1783:
1779:
1774:
1767:
1765:
1761:
1757:
1753:
1748:
1747:
1746:
1740:
1738:
1736:
1732:
1728:
1724:
1720:
1713:
1709:
1705:
1701:
1700:NeoUrfahraner
1683:
1679:
1672:
1650:
1646:
1639:
1631:
1627:
1623:
1619:
1615:
1611:
1607:
1603:
1599:
1598:
1597:
1596:
1592:
1588:
1587:NeoUrfahraner
1584:
1580:
1576:
1572:
1564:
1555:
1552:
1547:
1542:
1538:
1535:I wonder why
1534:
1533:
1532:
1531:
1530:
1529:
1528:
1527:
1524:
1520:
1512:
1508:
1504:
1500:
1495:
1494:
1493:
1491:
1487:
1483:
1479:
1465:
1461:
1457:
1452:
1451:
1450:
1449:
1448:
1447:
1446:
1445:
1437:
1434:
1430:
1426:
1422:
1421:
1420:
1419:
1418:
1417:
1416:
1414:
1411:
1402:
1395:
1393:
1387:
1385:
1381:
1377:
1373:
1369:
1365:
1361:
1358:
1354:
1348:
1345:
1341:
1336:
1332:
1324:
1319:
1318:
1315:
1306:
1301:
1297:
1293:
1289:
1285:
1281:
1277:
1273:
1269:
1265:
1261:
1257:
1253:
1249:
1248:
1225:
1222:
1219:
1216:
1213:
1210:
1207:
1201:
1195:
1192:
1189:
1186:
1183:
1180:
1177:
1164:
1163:
1162:
1161:
1157:
1153:
1149:
1148:
1147:
1145:
1141:
1140:
1137:
1133:
1129:
1125:
1121:
1117:
1113:
1109:
1105:
1101:
1093:
1089:
1085:
1081:
1077:
1076:
1053:
1050:
1047:
1044:
1041:
1038:
1035:
1029:
1023:
1020:
1017:
1014:
1011:
1008:
1005:
992:
991:
990:
989:
985:
981:
977:
976:
972:
970:
968:
963:
955:
951:
948:
944:
940:
936:
935:
934:
933:
930:
929:84.151.225.29
927:
919:
918:
917:
911:
909:
907:
903:
899:
895:
889:
884:
883:
879:
875:
868:
864:
860:
855:
854:
853:
851:
847:
843:
839:
834:
816:
812:
808:
804:
803:
802:
801:
800:
799:
798:
797:
796:
795:
794:
793:
782:
778:
774:
769:
768:
767:
763:
759:
756:
752:
751:
750:
749:
748:
747:
746:
745:
738:
734:
730:
725:
724:Dedekind cuts
721:
709:
706:
705:
704:
703:
702:
701:
700:
699:
695:
691:
686:
684:
674:
673:
672:
671:
668:
664:
660:
656:
655:
654:
653:
649:
645:
639:
632:
630:
624:
620:
616:
612:
611:ordered field
608:
604:
600:
596:
592:
588:
587:
586:
584:
575:
572:
568:
566:
563:
559:
555:
551:
547:
543:
542:
541:
540:
539:
529:
526:
522:
520:
517:
515:
510:
506:
503:
500:
496:
492:
491:
490:
489:
484:
482:
478:
470:
466:
461:
457:
453:
449:
448:
447:
445:
441:
433:
428:
424:
420:
416:
412:
408:
404:
403:
402:
400:
396:
391:
382:
378:
377:
376:
374:
370:
367:
365:
361:
357:
353:
349:
345:
340:
337:
329:
322:
317:
316:
314:
310:
309:
305:
301:
300:
296:
295:
291:
290:
286:
284:
283:
280:
277:
273:
270:
266:
262:
256:
254:
246:
239:
235:
231:
227:
222:
217:
213:
206:
205:
189:
185:
179:
176:
175:
172:
155:
151:
147:
146:
138:
132:
127:
125:
122:
118:
117:
113:
107:
104:
101:
97:
92:
88:
82:
74:
70:
65:
64:
52:
50:
49:
45:
42:
38:
37:
33:
30:
27:
26:
21:
17:
2672:
2669:
2650:
2645:
2641:
2637:
2633:
2631:
2611:
2578:73.147.18.72
2572:— Preceding
2568:
2540:— Preceding
2535:
2532:
2529:
2516:
2512:
2509:
2506:
2465:
2388:
2310:
2308:
2273:
2258:
2249:
2245:
2241:
2235:
2230:
2226:
2101:
2096:
2092:
2088:
2084:
2080:
2078:
2075:
2033:
1979:78.49.23.196
1909:
1794:
1772:
1770:
1756:real numbers
1749:
1744:
1737:chrystomath
1722:
1718:
1717:
1629:
1625:
1621:
1617:
1613:
1609:
1605:
1601:
1582:
1578:
1574:
1570:
1568:
1540:
1516:
1474:
1425:The Simpsons
1408:
1403:, Section IV
1400:
1391:
1389:
1383:
1379:
1350:
1344:User:Fredrik
1340:User:Fredrik
1334:
1331:User:Fredrik
1328:
1323:User:Fredrik
1310:
1299:
1295:
1291:
1287:
1279:
1275:
1267:
1263:
1259:
1255:
1251:
1158:then the set
1155:
1151:
1143:
1142:
1131:
1127:
1123:
1119:
1115:
1111:
1107:
1103:
1099:
1097:
1091:
1087:
1083:
1079:
986:then the set
983:
979:
959:
942:
938:
937:There is no
923:
915:
892:— Preceding
887:
885:
871:
859:197.79.0.247
845:
841:
837:
832:
829:
807:197.79.3.185
707:
690:197.79.0.247
687:
682:
680:
644:197.79.9.234
640:
636:
628:
618:
614:
610:
606:
602:
598:
594:
590:
579:
562:Dedekind cut
553:
549:
535:
533:
513:
498:
494:
487:
485:
474:
460:order theory
455:
437:
422:
418:
414:
410:
406:
397:starts out.
394:
389:
387:
371:
368:
363:
359:
355:
351:
347:
343:
341:
333:
258:
250:
221:Dedekind cut
216:this version
184:Mid-priority
183:
143:
109:Mid‑priority
87:WikiProjects
46:
1741:Anachronism
1725:the same.
1546:User:SCZenz
1537:User:SCZenz
1376:real number
1357:number line
1325:'s Deletion
758:197.79.0.85
465:real number
159:Mathematics
150:mathematics
106:Mathematics
48:Peer review
2680:Categories
2490:Gentlemath
2130:, we have
2054:Coppertwig
2009:Coppertwig
1632:, the map
1392:irrational
1353:continuous
926:SirJective
874:Dutugamunu
633:Definition
413:some real
354:: so, (-∞,
350:some real
287:Suggestion
2466:rationals
2311:fractions
2081:partition
1778:Trovatore
1492:Lestrade
1431:article.
1415:Lestrade
1360:continuum
1136:Fibonacci
1134:in it. --
947:Fibonacci
550:different
230:this edit
2574:unsigned
2554:contribs
2542:unsigned
2030:dixit. (
1556:Lestrade
1551:Lestrade
1482:Lestrade
1438:Lestrade
1433:Lestrade
1410:Lestrade
1364:discrete
1362:and the
1122:}, with
894:unsigned
850:Revolver
623:Revolver
554:distinct
516:(German)
509:Dedekind
427:Revolver
423:of reals
346:must be
321:Revolver
261:supremum
53:Reviewed
1499:Gandalf
1478:Gandalf
1456:Gandalf
1380:created
1335:apropos
1144:Update:
573:W ~@) R
527:W ~@) R
514:Schnitt
358:) and [
278:W ~@) R
265:infimum
253:Andrewa
234:history
186:on the
77:C-class
31:Process
2277:RHB100
2028:Rursus
1948:, but
1523:SCZenz
773:c1cada
729:c1cada
659:c1cada
571:rank
525:rank
407:do not
276:rank
83:scale.
34:Result
2341:with
1910:Also
1878:: -->
1837:: -->
1427:in a
1378:) is
1370:, an
683:parts
456:point
419:reals
344:reals
304:CSTAR
228:with
2657:talk
2640:and
2619:talk
2598:talk
2582:talk
2550:talk
2522:talk
2494:talk
2300:talk
2296:Smjg
2294:. —
2281:talk
2265:talk
2261:Smjg
2179:and
2095:and
2087:and
2058:talk
2034:bork
2013:talk
1983:talk
1924:<
1782:talk
1754:and
1731:talk
1704:talk
1620:) =
1604:) =
1591:talk
1581:) =
1573:) =
1503:talk
1486:talk
1460:talk
1193:<
1126:<
1021:<
978:"If
902:talk
878:talk
863:talk
811:talk
777:talk
762:talk
733:talk
694:talk
663:talk
648:talk
560:and
545:...)
263:and
28:Date
2038:!)
1723:not
1286:to
1150:If
1114:= {
967:Jao
888:not
833:dis
708:Not
617:to
499:all
390:qua
218:of
178:Mid
2682::
2659:)
2651:--
2621:)
2600:)
2584:)
2556:)
2552:•
2524:)
2496:)
2302:)
2283:)
2267:)
2259:—
2210:∞
2198:∩
2158:∞
2155:−
2149:∩
2113:∈
2060:)
2045:A.
2015:)
1985:)
1962:∉
1956:−
1933:∈
1927:−
1918:−
1890:∉
1884:∧
1849:∉
1843:∧
1784:)
1776:--
1733:)
1706:)
1676:↦
1643:↦
1593:)
1505:)
1488:)
1462:)
1397:—
1386:.
1223:≥
1211:∈
1181:∈
1094:."
1051:≥
1039:∈
1009:∈
904:)
880:)
865:)
813:)
779:)
764:)
735:)
696:)
665:)
650:)
411:at
348:at
2655:(
2646:B
2642:A
2638:B
2634:A
2617:(
2596:(
2580:(
2548:(
2520:(
2492:(
2476:r
2453:r
2433:r
2413:b
2409:/
2405:a
2402:=
2399:r
2375:b
2355:b
2352:,
2349:a
2329:b
2325:/
2321:a
2298:(
2279:(
2263:(
2246:B
2242:A
2231:x
2227:B
2213:)
2207:,
2204:x
2201:[
2194:Q
2190:=
2187:B
2167:)
2164:x
2161:,
2152:(
2145:Q
2141:=
2138:A
2117:R
2110:x
2097:B
2093:A
2089:B
2085:A
2056:(
2051:☺
2011:(
2006:☺
1981:(
1965:A
1959:3
1936:A
1930:1
1921:3
1893:B
1887:y
1881:x
1875:y
1852:B
1846:x
1840:0
1834:x
1813:)
1810:2
1805:(
1780:(
1729:(
1702:(
1684:l
1680:B
1673:B
1651:u
1647:A
1640:A
1630:A
1628:=
1626:B
1622:B
1618:B
1614:B
1612:=
1610:A
1606:A
1602:A
1589:(
1583:A
1579:A
1575:A
1571:A
1501:(
1484:(
1458:(
1302:.
1300:A
1296:B
1294:,
1292:A
1288:S
1280:S
1276:S
1268:S
1264:S
1260:S
1256:a
1252:a
1232:}
1229:}
1226:a
1220:x
1217::
1214:S
1208:x
1205:{
1202:,
1199:}
1196:a
1190:x
1187::
1184:S
1178:x
1175:{
1172:{
1156:S
1152:a
1132:S
1128:b
1124:a
1120:b
1118:,
1116:a
1112:S
1108:S
1104:B
1102:,
1100:A
1092:S
1088:S
1084:a
1080:a
1060:}
1057:}
1054:a
1048:x
1045::
1042:S
1036:x
1033:{
1030:,
1027:}
1024:a
1018:x
1015::
1012:S
1006:x
1003:{
1000:{
984:S
980:a
943:B
939:B
900:(
876:(
861:(
838:A
809:(
775:(
760:(
731:(
692:(
661:(
646:(
619:R
615:Q
607:Q
603:Q
599:Q
595:Q
591:Q
569:F
523:F
518:"
438:(
415:x
379:(
364:x
360:x
356:x
352:x
334:(
311:(
274:F
190:.
89::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.