Talk:Real number/Archive 2

etymology
The article currently claims:


 * The term "real number" is a retronym coined in response to "imaginary number".

However, I checked the Oxford English Dictionary, and it's not clear that this is quite true.

In particular, the OED has an entry for the mathematical usage of "real" as an adjective to describe "quantities (Opposed to IMAGINARY, or IMPOSSIBLE)" (emphasis added). In particular, the earliest usages they cite actually seem to be using the term "real" to describe only positive roots, and in another case it seems to be restricted to only rational roots:


 * 1727-41 CHAMBERS Cycl. s.v. Root, If the value of x be positive, i.e. if x be a positive quantity,..the root [of an equation] is called a real or true root. 1841 Penny Cycl. XX. 150/2 Here a and b are meant to be real algebraical quantities, that is, reducible to positive or negative whole numbers or fractions.

In short, the term "real" was originally a broader reflection of the prejudices of pre-modern mathematicians against certain classes of numbers as "impossible" or "unreal". As time went on, eventually negative and irrational solutions were considered "real", and only the imaginary solutions were excluded...which apparently became fixed terminology by the end of the 19th century (when most of these prejudices had been cast aside in favor of a more axiomatic rigor).

—Steven G. Johnson (talk) 00:45, 17 August 2008 (UTC)


 * Interesting. Of course in some sense the Chambers quote is not directly on point, since he's using a distinct notion of real from the one treated in the article; in another sense, the example actually supports what is being claimed about real being coined in contradistinction to imaginary; and in still another sense, you're right, it makes the current text problematic. I wonder if we could find a less dictionary-like source that gives more details about the history of the usage. --Trovatore (talk) 00:52, 17 August 2008 (UTC)


 * The point is that the term "real number" did not originate as an antonym to "imaginary number", it originated as a classification of polynomial roots, and gradually evolved from there to the modern definition. —Steven G. Johnson (talk) 06:41, 17 August 2008 (UTC)
 * Well, it isn't clear that the modern sense of real number actually evolved from the usage being cited, but if it did, it was apparently in contradistinction to an earlier sort notion of imaginariness. But in any case this is all speculative, and dictionaries are not good references. It would be nice to find something about this in a history of mathematics; that would be a good source. --Trovatore (talk) 08:38, 17 August 2008 (UTC)


 * http://members.aol.com/jeff570/i.html claims that "the terms IMAGINARY and REAL were introduced in French by Rene Descartes (1596-1650) in "La Geometrie" (1637)" and also gives an English citation dated 1685. In both cases real means not imaginary (or not complex). I've no idea how reliable that is, but the quotation looks pretty convincing to me. As Trovatore says, a maths history would be better. -- Jitse Niesen (talk) 10:11, 17 August 2008 (UTC)

Retronym?

 * ''The term "real number" is a retronym coined in response to "imaginary number".

I doubt this, and it is unsourced. The OED quotes Descartes: "Les..racines..ne sont pas tousiours reeles; mais quelquefois seulement imaginaires; " which suggests that the terms are twins. (This refers to real and imaginary roots, of course; but the earliest uses will be in that context.) Septentrionalis PMAnderson 22:11, 13 December 2006 (UTC)

The retronym question is something like a hoax, in my opinion. The term "real number", in various languages, appears well before 1872: Hamilton used it in English, Liouville in French, Leibniz and Gauss in Latin (realis quantitas). It comes straight from Descartes, the quotation from OED is correct: he divided the solutions of equations in "réelles" and "imaginaires", and the former into "vraies" (positive) and "fausses" (negative or zero). He also used "quantité réelle" and "quantité imaginaire". Later on, but already in the 18th century, mathematician started to say "number" instead of "quantity". But the contraposition between "real" and "imaginary" is there from the start. Bballmath (talk) 10:32, 3 July 2009 (UTC)

Too much jargon
Whilst a science article can't always subscribe to the axiom if you can't explain it to a layman, then you don't know your subject, I'd go as far as to say that this article is obfuscatory in the extreme. I'm not a stupid person (my mother once told me), but I still fail to understand what the difference between a real and unreal (or is it imaginary) number is from the first paragraph - and that is something I'm afraid I always complain about! We have a duty to non-specialists to inform, as well as provide the specialists with hard reference material. Blitterbug (talk) 07:29, 9 July 2009 (UTC)


 * The article is not (and should not be) primarily about the difference between real and imaginary numbers. It is, and should be, primarily about the real numbers, which are a much subtler and more difficult concept than it would first appear.
 * Still, I kind of agree that the article could do a better job of explaining, at least, why it's a subtle and difficult concept. The geometric nature of the reals is underemphasized, and Zeno's paradoxes, which are one of the key first indications that something non-obvious is needed, are not mentioned at all. --Trovatore (talk) 16:08, 9 July 2009 (UTC)

Iam so lost —Preceding unsigned comment added by 67.248.211.132 (talk) 21:34, 20 October 2009 (UTC)

rotational expression —Preceding unsigned comment added by 124.104.66.200 (talk) 00:23, 15 July 2010 (UTC)

Meaning of "strictly more"
What is the meaning of "strictly more". Isn't it just the same thing as "more"? —Preceding unsigned comment added by 216.188.231.253 (talk) 05:41, 29 September 2010 (UTC)
 * It means "more, and not the same". Yes, that is just the same thing as "more".  The "strictly" is for emphasis, to make it crystal clear that we don't mean "at least as many as". --Trovatore (talk) 08:16, 29 September 2010 (UTC)

Countable or uncountable number of algorithms?
In the "Uses" section, we have the following statement:

"Because there are only countably many algorithms, but an uncountable number of reals, "most" real numbers fail to be computable."

First of all, I kinda feel the truthines of this statement, but have never seen it proved. So, proof needed. Second, if this or these proofs exist, there should definitely be an inline citation, as this would be material enough for an entire article on its own (IMO).

Cheers! Trolle3000  [talk]  06:51, 23 October 2010 (UTC)


 * See for example this book as a citation.


 * Basically, the statement is obvious if you understand what "countable" means. Any computer program, Turing machine, etcetera, can be expressed as a finite string of symbols (from a finite dictionary), and such strings are countable.  — Steven G. Johnson (talk) 19:19, 23 October 2010 (UTC)

4X[2+3]-4+3 —Preceding unsigned comment added by 109.236.36.8 (talk) 13:11, 4 December 2010 (UTC)

Nelson or not Nelson
After two reverts to restore a previous controversial section on Nelson's theory of the reals, tkuvho(talk) send me a private mail saying that I am wrong in my edits and that I have to read the IST page (There is no IST page, but I guess he meant internal set theory).

Here is my answer, which may be interesting to everybody:

"May be your are right in your assertion about Nelson. But
 * 1) The section was tagged twice as not sourced and non neutral. The tags precise that both are valid reasons for deletion. Protonk(talk) did it and you have reverted it without good reasons.
 * 2) My edit is aimed to resolve these issues in a constructive (usual, not mathematical meaning) way, which you never try to do. Again you revert it, starting seemingly an edit war.
 * 3) May be you are right and I am wrong about about Nelson theory. But you do not provide any verifiable source supporting your opinion. If you have such sources, you may edit the first paragraph of the new version by adding, for example "Edward Nelson (not Ed Nelson, which is a showbusinessman) has introduced another non ZF theory of the reals [cite source], which differs by this specific feature".
 * 4) In any case WP:NPOV implies that the space devoted to Nelson's theory should not be much larger than the space devoted to constructivism."

Comments are needed to avoid an edit war. D.Lazard (talk) 14:43, 22 December 2010 (UTC)

My comments: &mdash; Carl (CBM · talk) 16:15, 22 December 2010 (UTC)
 * 1) This sentence seems very dubious to me: "Abraham Robinson's theory of nonstandard nonstandard hyperreal numbers, although based on Zermelo-Fraenkel axiomatization, is somewhat related to constructivism."  Any connection to constructivism there is extremely tenuous. The fact that constructivists are interested in real numbers is certainly true, but it should not need to be backed up by an example of Robinson.  I will add a proper reference to Bishop and Bridges.
 * 2) I think that the paragraph on Robinson's hyperreals should be in the "generalizations and extensions" section. Would anyone object to that?
 * 3) I don't know that Nelson's theory is very widely studied. Certainly it seems much, much less well known than Robinson's theory.  I think that, if it were going to be mentioned here, Nelson's theory should be limited to a single sentence and a link. Robinson's theory maybe deserves a paragraph.

Also, the article on constructivism links Nelson with constructivism for his study of predicative arithmetic. That's correct, but IST is not a predicative system, nor one that people in constructive mathematics seem to study very much. &mdash; Carl (CBM · talk) 16:29, 22 December 2010 (UTC)


 * I agree with your comment and your modification of the page: Before reading them, I have reintroduced Nelson in Robinson's paragraph. I intended also to remove the dubious link to constructivism, but I forgot to do it. Ignoring everything about Nelson's theory I have tried to extract relevant information from tkuvho(talk) edits and related wp articles. I was wrong. D.Lazard (talk) 16:38, 22 December 2010 (UTC)


 * Thanks, D.Lazard. Carl: internal set theory is not as obscure as you seem to think.  Thus, in France it is actually more in vogue than Robinson's approach.  As far as the present page is concerned, Nelson's theory is more relevant than Robinson's, since the latter is a theory of an extension of the reals, whereas the former is a theory of the reals themselves--with respect to a different background set theory (though of course still with respect to classical logic, making it a far more "conservative" theory than Lawvere's, for example).  Tkuvho (talk) 17:06, 22 December 2010 (UTC)


 * I don't think that Robinson's approach is particularly in vogue, but at least it's often described in model theory books as an application of ultraproducts. On the other hand, Nelson's set theory doesn't seem to be discussed either in set theory books or in model theory books, at least not the ones I have seen.


 * There is a difficulty when you say "extension of the reals": the reals are a semantic object in the metatheory, like the natural numbers. So what happens (apparently? ) is that IST never defines the actual real numbers, just as an &omega;-inconsistent set theory would never be able to define the actual natural numbers. I'm actually somewhat confused on that point, because the article on internal set theory is somewhat fuzzy, and claims that IST is a conservative extension of ZFC. ZFC certainly proves that there are no infinitesimal real numbers, so if the article is right then IST also proves there are no infinitesimals. &mdash; Carl (CBM · talk) 17:41, 22 December 2010 (UTC)


 * Actually I was hoping you would explain some of these things to me rather than vice versa. Having said this, I was describing Robinson, not Nelson, as an "extension of the reals", so I don't understand your first comment.  Nelson's numbers are not an extension, they are the reals themselves.  When you speak of the "actual reals" you are apparently referring to what Nelson would call "standard" reals, i.e. reals with a truthful value of his "S" predicate.  These are indeed not a "set" in "internal set theory".  This corresponds to the fact that in Robinson, the reals do not form an internal set.  With the "sets" that are allowed in Nelson, the least upper bound axiom is satisfied.  But this upper bound may fail to satisfy to "standard" predicate, so to a naive observer it looks "infinite".  Here the ZFC axioms will indeed prove that there are no "infinitesimals", but you will nonetheless have positive reals less than any standard real.  If I said anything that's amiss I would appreciate if someone could correct this, as I am much more familiar with Robinson than Nelson.  Tkuvho (talk) 18:29, 22 December 2010 (UTC)


 * I do not know enough of logic to have an advice on Nelson's theory. I may only said the following: When I was in mathematics department until the eighties (I am now in computer science department), I have heard of Cohen's and Robinson's results, but never of Nelson's. I guess, that, even in France, most young mathematicians (except those specialized in logic) have never heard of any of the three. In any case this convince me that the title of the section is the good one. CBM, my opinion is that Robinson is better here: Non standard analysis prove exactly the same results as classical analysis, but simplifies some (or many?) proofs. The difference lies only in the basic framework. D.Lazard (talk) 18:48, 22 December 2010 (UTC)


 * I had a chance to look at this paper by Nelson, enough to see what is going on (to some extent). What Nelson does is to add a new predicate, "standard", so that only some real numbers are called "standard". But this term "standard" does not mean "is a real number in the standard model of ZFC", it's just a new predicate that could have been called anything.


 * What Tkuvho said about infinitesimals seems right to me.


 * Now, Nelson's results imply that if there is a model of IST in which the "external" real numbers really are the real numbers of the standard model of ZFC, then the "standard" real numbers in this model are actually only a finite subset of the actual real numbers. In that case it cannot be said that the "standard" real numbers are meant to replace what we normally think of as real numbers. But it seems unlikely to me that IST has such a model, in which case the things that IST calls "external" real numbers will never be the set of actual real numbers (i.e. the ones in the standard model of ZFC.) In that case, which I think is quite likely but don't have the desire to check, IST does indeed entail an extension of the real numbers, because IST has no model in which the "real numbers" of the model are the actual real numbers.


 * In any case, ignoring all that, I think that linking to the article on IST from this article is completely appropriate, since it's a relevant link, but it needs to be kept lower in the article, with the more technical topics, and the discussion should be kept very brief. I view it almost like a "see also" link, but included in the article text instead of the see also section. &mdash; Carl (CBM · talk) 20:42, 22 December 2010 (UTC)
 * Existing text is still problematic, though.  I have to object in particular to the claim that the classical treatment of the reals is "based on" ZF.  I think it would be more accurate to say that Cantor's and Zermelo's work was motivated by considerations arising from the study of the reals.  --Trovatore (talk) 20:48, 22 December 2010 (UTC)


 * Yes, I agree. How about "The real numbers are most often formalized using the Zermelo-Fraenkel axiomatization of set theory, but some mathematicians study the real numbers with other logical foundations of mathematics. In particular, the real numbers are also studied in reverse mathematics and in constructive mathematics." &mdash; Carl (CBM · talk) 21:10, 22 December 2010 (UTC)


 * An alternative wording would be to say that ZF is the background set theory of the traditional treatment of the reals. Carl: I am a bit confused by what you write, but as far as I understand it, (1) the "external" real numbers will never be the usual ones familiar from ZFC; (2) the "standard" real numbers are meant to replace what ZF-afficionados think of as ordinary real numbers; (3) since IST is in a suitable sense "isomorphic" to Robinson, it does entail an extension of the reals.  The claim of IST being a conservative extension of ZFC I think is meant as a claim that they are simultaneously consistent, but I am out of my depth here.  Tkuvho (talk) 21:17, 22 December 2010 (UTC)
 * Yes, well, see, I disagree with the claim that ZF is the "background set theory". The background set theory is not really any axiomatic theory whatsoever. --Trovatore (talk) 21:50, 22 December 2010 (UTC)

If you don't specify the background set theory then you have considerable latitude as to what your reals could look like. They could for example look like Nelson's reals, assorted with the "standard" predicate, in such a way that some real numbers already behave as infinitesimals. This is of course fabulous news for analysis; you can define a derivative by actually forming the infinitesimal quotient a la ancienne; you can write down a Dirac delta function that's actually a function rather than a distribution. So all in all I am sympathetic to your point of view. Though I am not entirely convinced this is what you meant :) Tkuvho (talk) 21:56, 22 December 2010 (UTC)
 * The set theory is not unspecified. It's just not axiomatic.  --Trovatore (talk) 22:02, 22 December 2010 (UTC)

You seem to want to eat the cake and have it, too. The background theory is there, and presumably it is ZF, but it's not axiomatic ZF. It's real life, platonic, sweaty under the armpits kind of ZF, that certainly does not tolerate any competition from funny standard predicates. Tkuvho (talk) 22:06, 22 December 2010 (UTC)
 * If you call it "ZF" you're referring to an axiomatization. The "real life etc kind of ZF" is just called "set theory". --Trovatore (talk) 22:11, 22 December 2010 (UTC)
 * When I say "set theory" I mean ZF(C)... If I mean the standard model, I say that too. &mdash; Carl (CBM · talk) 22:13, 22 December 2010 (UTC)
 * So you don't count even large cardinals? --Trovatore (talk) 22:50, 22 December 2010 (UTC)
 * It's not necessary to resolve this in order to find an acceptable wording for the article. But I don't see why we need ZFC to see that the real line is a complete Archimedean ordered field; I think this is clear just from our intuition about various properties of idealized geometric lines. &mdash; Carl (CBM · talk) 22:13, 22 December 2010 (UTC)


 * Trovatore: I am still not sure what you are trying to say. Fine, let's call it "set theory".  The traditional approach to defining the reals certainly starts with set theory.  The question is, which set theory do you start with?  If you don't specify the axioms, you don't know which set theory you are in.  If you start with ZF, you get one kind of real field.  If you start with the IST axiomatisation, you get a real field with greater ability to express intuitively appealing constructions in calculus.  Carl: I think I can appreciate that your "idealized geometric line" is a ZF-based real field.  On the other hand, quantum theory tells us that certain tiny lengths are inaccessible even theoretically.  Similarly, the finite size of the universe tells us that certain huge sizes are inaccessible even theoretically (see the related motivational discussion at IST).  My "idealized geometric line" is much closer to Nelson's than to Cantor's.   Tkuvho (talk) 10:25, 23 December 2010 (UTC)
 * No, the traditional approach does not "start" with set theory. It can be expressed in set theory, which is completely different.  I think you're falling prey here to the error of foundationalism. --Trovatore (talk) 03:25, 24 December 2010 (UTC)


 * No, I am perfectly aware of the trap of foundationalism, I am just saying that the traditional approach falls into the said trap, as one can see by consulting any textbook.   At any rate, the point seems a bit academic.  The real line can be "expressed" in ZF, or it can be expressed in an enriched axiomatisation such as IST.  In this formulation, all of my remarks still apply.  Tkuvho (talk) 05:36, 24 December 2010 (UTC)


 * (&larr;) What Nelson means by "conservative extension" is that if you take ZFC augmented with an extra predicate for "standard" and Nelson's extra axioms for IST that give meaning to this predicate, then any sentence of ZFC that does not mention the new "standard" predicate and which is provable in IST is already provable in ZFC. &mdash; Carl (CBM · talk) 21:29, 22 December 2010 (UTC)

Uses
The following entry seems highly questionable:


 * 'Note importantly, however, that all actual measurements of physical quantities yield rational numbers because the precision of such measurements can only be finite.'

If you measure a long distance by counting how many times you can fit a 1 m^2 square plate diagonally on the way, your measurement will yield an irrational number of meters. Lapasotka (talk) 09:21, 5 January 2011 (UTC)
 * Yeah, it's problematic, as is the following bit about computers being able to use only rationals. It's true in both cases that the usual representations used to report a measurement, or to represent a value in a computer, denote rationals, but the text as stated is not really justified.  I'm not quite ready to just rip the text out, though; this needs a little thought. --Trovatore (talk) 10:32, 5 January 2011 (UTC)


 * I agree that the sentence is questionable as it is, but it is because of a bad presentation of a relevant fact. I suggest to replace this sentence by something like:
 * Note importantly, however, that all actual measurements of physical quantities yield approximate values which are usually expressed by finite decimal or binary numbers, which are rational numbers (here finite means that there are only a finite number of digits in the fractional part of the number). In particular, real numbers are approximately represented in computers by floating point numbers, which are also rational numbers. Nevertheless these rational values are not manipulated as rational numbers, but as approximations of unknown real numbers. For example the product of two floating point numbers is different of their product as rational numbers, as the fractional part is truncated to keep a fixed precision.
 * D.Lazard (talk) 11:07, 5 January 2011 (UTC)


 * Notice that Lapasotka said "by counting how many times you can fit a 1 m^2 square plate diagonally on the way" (emphasis added). The actual result of your measurement is a count, i.e. a natural number. Only after you multiply it by the assumed length of the plate's diagonal does it become an irrational number. JRSpriggs (talk) 12:10, 5 January 2011 (UTC)


 * My counter argument is probably too naive, but there is certainly a problem here. In mainstream physics the space and time themselves are modeled using the real numbers, and one can certainly conduct measurements which necessarily produce irrational values for some quantities in the same physical model. If you model an actual cylinder by a mathematical cylinder, the diameter and the circumference of the cylinder will have the ratio &pi; in your physical model, and measuring either of these quantities from the actual cylinder will yield an irrational value for at least one of them in the physical model.


 * Of course one stores only an appropriate number of digits for different quantities when conducting physical measurements in practice, so taking the opposite point of view one could say that actual measurements only yield integer quantities. But this is only a convention. I really cannot see why I couldn't take an ordinary measuring tape and wrap it around an actual cylinder to see that its circumference is about &pi; m. This is a legitimate physical measurement which yields an irrational number.


 * BTW, has anyone else heard about a court ruling where the ratio of the diameter and the circumference of a circle was fixed as 3.14? Lapasotka (talk) 21:31, 5 January 2011 (UTC)

As I see it, the valid point being made by the existing text is the following: ''Real numbers are infinite-precision objects. It is impossible to make a measurement to infinite precision, nor can computers store infinite-precision representations.''

That is true and worth saying. What's fishy is the idea that, given that the objects represented are not infinite-precision real numbers, they must be rational numbers. I don't think they are. To me they seem more like "fuzzy real numbers", real numbers represented within a tolerance.

Unfortunately, going into too much detail along those lines is likely to run afoul of WP:OR. So I think it would be better to say that you can't make measurements to infinite precision nor represent them in computers, and leave it at that. --Trovatore (talk) 22:06, 5 January 2011 (UTC)


 * The redaction I have proposed above for replacing the questionable sentence seems to me to be more or less the same as Trovatore's "fuzzy real numbers". The fact that the product of two floating point numbers is different from their product as rational numbers appears as a key to show that measured values, although represented by rationals, are not rational numbers (we find here a key distinction, which is common in computer science, between a (mathematical) object and its representation.
 * I am surprised that nobody has yet discussed my proposition for replacing the questionable sentence. D.Lazard (talk) 22:51, 5 January 2011 (UTC)
 * But I said (or at least meant) that I would not put the "fuzzy reals" idea into the article, on WP:NOR grounds. I think the same about your discussion on floating-point numbers, unless you can source it.  Even then the idea should probably be attributed to a particular source rather than stated as a fact, unless you can show that it is the consensus view in the field. --Trovatore (talk) 22:57, 5 January 2011 (UTC)


 * To Trovatore: I like your proposed alternative wording. JRSpriggs (talk) 06:53, 6 January 2011 (UTC)


 * To D.Lazard: The alternative wording is correct and nice, but a little lengthy. Perhaps you could merge or replace the following passage with it:


 * Note importantly, however, that all actual measurements of physical quantities yield rational numbers because the precision of such measurements can only be finite.


 * Computers cannot directly operate on real numbers, but only on a finite subset of rational numbers, limited by the number of bits used to store them. However, computer algebra systems are able to treat some irrational numbers exactly by storing their algebraic description (such as "sqrt(2)") rather than their rational or their decimal approximation.


 * Another perplexing passage in this section is


 * Unlimited precision real numbers in the physical universe are prohibited by the holographic principle and the Bekenstein bound.


 * The citation leads to ArXiv (not peer reviewed) into an article where this problematics is not even mentioned (at least in a short glance.) Besides, what is an "unlimited precision real number"? Has 1 or 2 less precision than &pi; or e? I propose total discarding of this sentence. Rest of the section seems to be fine. Lapasotka (talk) 09:44, 7 January 2011 (UTC)

Structure of the article
How about dividing the material in the article as follows:


 * Introduction (not a section)
 * 1.Elementary description
 * 2.Historical development
 * 3.Formal definition
 * 4.Uses in mathematics and sciences
 * 5.Extensions and generalizations

I could write an elementary geometric decription with pictures into the first section. That is also a good place to explain the decimal expansions and perhaps uncountability of real numbers, which can be done in relatively simple terms. Lapasotka (talk) 12:33, 14 January 2011 (UTC)


 * "Incremental change" is the key, as I already mentioned above. I don't see much support among the key editors at this page (many of whom are professional mathematicians) to sweeping changes to the page.  Some of your ideas are good, but their implementation requires patience.  Tkuvho (talk) 19:15, 15 January 2011 (UTC)

I assume that reordering or merging stubbish sections is an incremental change if their content is not changed. The real proposition here is to divide the definitions/descriptions (1 and 3 in this list) into two parts. The "Elementary description" should be accessible to a wide audience and a good reading for precalculus students in US system. It should also follow the historical development of real numbers, explaining the topics in the order


 * Geometric considerations -> Algebra -> Decimal representations -> Completeness (no gaps in the real line)

The "Formal definitions", I think, is an appropriate place to go Bourbaki, and to include the current Properties section in it. Also the wordings could be a little bit more precise. For example, real numbers "is not a complete metric space", but rather it "has the standard metric d(x,y)=|x-y|, which is complete." Lapasotka (talk) 20:53, 15 January 2011 (UTC)


 * I am not a big supporter of Bourbaki, either. On the other hand, this page happens to be about the unique Archimedean complete ordered field, not about measuring temperature in the refrigerator.  What's the last time you used an equivalence class of Cauchy sequences to measure temperature?  Tkuvho (talk) 21:07, 15 January 2011 (UTC)

On introduction
I think the introduction should start with a conscise non-jargon description of the concept of real numbers. For instance "continuum" is jargon and does not describe much to anyone who does not understand the concept of real numbers already. Also the dichotomy of reals into rationals and irrationals should be postponed a little bit, because it doesn't describe anything either (unless you already understand what real number AND rational numbers are).

Proposal for introduction:

Real numbers are mathematical objects that are used to measure various quantities in mathematics, physics and other sciences. Real numbers include natural numbers, which are used in counting objects (two apples, four cars, three Cadillacs etc.) as well as ordering them (first, second and third place in a contest etc.), but real numbers are also useful in measuring quantities which can "change continuously", such as the temperature inside a refrigerator or the length of a fuse.

The question "What real numbers really are?" is largely philosophical. Instead, in mathematics the real numbers are defined rigorously by how they behave. The real number system consists of the set $$\mathbb R$$ of all real numbers, the operations of addition and multiplication, and the order relation between two real numbers. The axioms of real numbers describe precisely how this system of real numbers behaves, and they are tailored to encapsulate the geometric idea of an infinitely long line with two special points 0 (the origin) and 1 on it (this particular line is frequently referred to as the number line or the real line). Real numbers correspond to the points on the number line and the order relation x<y means that the points x and y appear on the number line in the same order as 0 and 1. Addition of real numbers x and y corresponds to parallel translation of the corresponding line segments starting from 0, and their product is determined by the proportions of these line segments and the line segment from 0 to 1.

The set $$\mathbb N$$ of natural numbers contains those real numbers 1, 2=1+1, 3=1+1+1, ... that can be reached by adding the number 1 arbitrarily many times to itself, the set $$\mathbb Z$$ of integers contains 0, all natural numbers and their negatives, and the set $$\mathbb Q$$ of rational numbers contains all real numbers $$\tfrac{m}{n}$$, where m is an integer and n is a natural number. Rational numbers are dense in the set of real numbers in the sense that for any real number there is a rational number arbitrarily close to it. However, there are points on the real line that do not correspond to rational numbers, a fact of which the ancient Greek and Indian mathematicians were already aware of. The most common example is the diagonal of the unit square, which is of irrational length $$\sqrt{2}$$.

The completeness property of the real number system encapsulates the idea that there are no holes (or gaps) on the real line, and also that there are no infinitely small or infinitely large real numbers. Informally it states that if one cuts the real line into two halves, then exactly one of the halves will contain an end point. The set of rational numbers does not satisfy this property, since one can cut it into two halves at $$\sqrt 2$$. There are extensions of the real number system where both infinitely small and infinitely large real numbers exist, and they are studied in non-standard analysis.

A common way to represent real numbers is by decimal expansions such as 523, -4.25, and 4.91648367... where "..." signifies that the decimal expansion continues indefinitely. Integers correspond to decimal expressions without a fractional part (the sequence of numerals after the decimal point) and rational numbers to those decimal expressions for which the tail of the rational part is periodic, such as $$\tfrac{25}{12}$$=2.08333... Irrational numbers always have infinitely long decimal representations without any periodicity, for example, π=3.1415926535...

End of proposal, last edited by Lapasotka (talk) 11:17, 14 January 2011 (UTC), D.Lazard (talk) 16:07, 14 January 2011 (UTC)

Please comment. I will wait for few days before tampering with anything. Maybe some pictures will be helpful in visualizing the meaning of multiplication and division of real numbers. Lapasotka (talk) 15:35, 9 January 2011 (UTC)


 * The "holes" or more precisely, "gaps", and the completeness property are relevant to this page. Note however that the rest of the material above applies just as well to the rational numbers.  I know it may be shocking to realize one does not need the "real" numbers to measure temperature inside the refrigerator, but I don't think we should necessarily impose such an illusion on our readers.  Tkuvho (talk) 16:10, 9 January 2011 (UTC)

I added "gaps" by your suggestion, and also something about irrational numbers. The geometric constructions for the multiplication and addition are of course the same for rational numbers, but the crux is that they work equally well for all real numbers, and that they can be explained to people without knowledge of higher mathematics or axiomatic systems.

Of course one can measure the temperature of a refrigerator with quite a few different number systems, of even with some suitable refrigeratory Performance Index taking values from blue to red, for that matter, but this article is about real numbers, which is the standard system for measuring physical quantities "taking values in the continuum". I was being careful not to state that one needs real numbers to do physical measurements, but only that they are useful in things like that. Lapasotka (talk) 22:47, 9 January 2011 (UTC)


 * Not really. People interested in doing physical measurements on the one hand, and people interested in gappiness and completeness on the other, form two largely disjoint groups of individuals.   The concern for completeness is a largely theoretical concern having little to do with computation.  You can do all of Euclid and not notice there are any gaps, as Dedekind pointed out.  Tkuvho (talk) 01:20, 10 January 2011 (UTC)

You cannot do all Euclid and not notice that there are gaps on the rational line (which I suppose you meant). Algebraic numbers will do, however. But back to the point:

We need more opinions on the relevance of the discussion of what real numbers are really needed in physical measurements within the article. I see it as an unneccessary complification, since one can also turn the question upside down and ask what numbers need to be discarded. I think we agree that there should be a section on the subsets of real numbers that can be constructed by certain finite processes, such as floating point numbers, algebraic numbers and geometrically constructible numbers, as well as some others subsets such as definable real numbers. However, my impression is that mainstream physicists (or other scientists) do not care too much about these finesses and perhaphs they should not be mentioned in the introduction even though they are of mathematical and (perhaps) philosophical importance.

If there are no objections, corrections or improvements I will paste the text above into the introduction within a few days. Lapasotka (talk) 07:12, 10 January 2011 (UTC)


 * I object, the the grounds that the expressions "real measurement" and "real number" do not refer to the same meaning of the word "real". Namely, real numbers are a number system that has been developed with certain theoretical considerations in mind, such as the property of completeness making it a useful system in mathematical arguments.  Measurements in the real world, on the other hand, and as Lapasotka acknowledges, "do not care too much about these finesses".  Arguing that real numbers are needed to measure the temperature in the refrigerator is therefore merely a play on words.  Tkuvho (talk) 10:36, 10 January 2011 (UTC)

To Tkuvho: Please re-read 'but real numbers are also useful in measuring quantities which can "change continuously", such as the temperature inside a refrigerator or the length of a fuse.' I agree on the questionability of the statement 'real numbers are needed to measure the temperature in the refrigerator', but this is a different claim. What do you think of the first (actual) one? Lapasotka (talk) 13:27, 10 January 2011 (UTC)


 * The subsection Real_number already contains an appropriately brief discussion of measurement and other physical applications. If you mean to ask literally whether real numbers, including the completeness property, are useful in measuring temperature inside the refrigerator, I would have to express scepticism.  Are you confusing the two meanings of the word "real"?  Tkuvho (talk) 14:07, 10 January 2011 (UTC)


 * A clarification: decimal numbers are useful in measurement; a similar claim for real numbers is questionable. Tkuvho (talk) 14:09, 10 January 2011 (UTC)

Alright. Maybe one needs to be more precise: 'but real numbers are also useful in modeling quantities which can "change continuously", such as the temperature inside a refrigerator or the length of a fuse.' Either in Real_number subsection or in another subsection covering decimal representations and floating point numbers one could underline your point. BTW, I don't think I have confused the meaning of the word "real" as the part of the combined word "real number" into its other possible meanings. Whether any numbers are "real" in the everyday sense of the word is a philosophical question that I will not try to answer. Lapasotka (talk) 14:37, 10 January 2011 (UTC)


 * I just don't think that the completeness property is useful in anything having to do with refrigerators. Decimal numbers and floating point numbers are useful in dealing with refrigerators.  I still think you have the wrong address.  Tkuvho (talk) 15:11, 10 January 2011 (UTC)
 * My objections are somewhat different. Completeness is not used directly in real-world applications, but the reals are the most mathematically natural structure that works, and that naturalness aids you in all sorts of ways.
 * Basically I think the proposed text is too long, insufficiently geometrically-oriented, and it says a few things I don't agree with. It's too much like an essay &mdash; not a lot too much, but a little too much.  It is very well written, and I am certainly not married to the existing text, which is also insufficiently geometrical.  We can discuss further, but please don't just dump in the text as it is. --Trovatore (talk) 17:43, 10 January 2011 (UTC)


 * I have a deja vu feeling that we had this discussion somewhere before :) Prithee tell me whereby are the real numbers so natural?  They are the unique complete ordered field alright, but by the time you are done explaining completeness as well as uncountability (go tell that to a laboratory assistant) how much more natural have you gotten than saying "roots of all polynomials"?  Decimals, not real numbers, are used in measurement.  Tkuvho (talk) 17:54, 10 January 2011 (UTC)

To Trovatore: Thank you for the comment. I feel myself that the geometric explanation of the real number system is too lengthy, so it is probably better to cut it down to a few words and move the rest together with some pictures into a short subsection. I somehow feel the same about N,Z,Q-part, but from the previous comments it seems that constrasting real numbers with rational numbers cannot be left out of the introduction. Most importantly, saying only that "real numbers can be defined axiomatically" is not a satisfactory solution. Can you please point out the things you do not agree with. Also some ideas how to switch the bias would be useful, but let us keep in mind that this article is about real numbers (as defined in mathematics), not about "real world" or practices of storing measured data in science laboratories. Lapasotka (talk) 19:58, 10 January 2011 (UTC)
 * To Trovatore: Adding a more detailed discussion of geometry is a good idea. I am not sure whether it should go in the lede or in one of the sections, but one could mention what is known in the literature as "Cantor's axiom", namely the positing of the identification of the numerical continuum on the one hand, and the geometric line in space, on the other.  Tkuvho (talk) 05:58, 11 January 2011 (UTC)
 * I think that's a little bit backwards. My position is that the geometrical line is the motivation for the reals in the first place.  To be sure, there are other applications; they're also the natural way of modeling other physical quantities that appear to vary continuously, such as energy.  But geometry, I'm pretty sure, came first, and is still the most natural way of understanding the structure.  --Trovatore (talk) 07:56, 11 January 2011 (UTC)
 * This is one place I agree with Trovatore. The identification of points on the line with numbers has to date back at least as far as Descartes. But the ancient Greeks were able to work with lines, and obtain non-obvious results about real numbers such as the irrationality of the square root of two, starting with the real line and adding a coordinate system rather than starting with a field and adding topology.


 * A little later I will try editing the proposed text above to shorten it, and I'll post the results here. &mdash; Carl (CBM · talk) 12:39, 11 January 2011 (UTC)

I did a little streamlining on my original proposal, deleted the mentions on proportionality and re-explained multiplication by comparison of areas. I really think there should be a section where the relationship between real numbers and plane geometry is explained more throughoutly in elementary (pun intented) terms. The fact that real numbers represent abstract proportions should be presented as well, but I don't have a very good idea how. Lapasotka (talk) 16:43, 11 January 2011 (UTC)

I copied here my major change on the introduction that Trovatore just reverted. I am happy to discuss more, but nothing has happened in the talk page recently. Please comment so we can reach some resolution. The current vesion of the introduction is worse than B-class. Lapasotka (talk) 09:23, 14 January 2011 (UTC)
 * I'll comment more later. But one thing is it's too long.  A lot too long, maybe 2x.  Another is the bit about mathematicians talking about how reals behave rather than what they are &mdash; that's OK if it means structuralism, not OK if it means formalism.  Those are the two big things.  I'll come back and analyze more closely. --Trovatore (talk) 09:35, 14 January 2011 (UTC)

Structuralism vs. constructivism is a good point, and writing down a short description taking into account both points is a challenging task. My understanding is that nowadays most mathematicians tend to be somewhere between platonists and structuralists, and constructivists are in the minority, so I didn't consider this as a major fault. I compared the length of the introduction to those of the featured math articles and it seemed to be about 50% longer on average. I added a comment on structuralism and shortened the proposition a little bit. Actually it is not much longer than the introductions of some featured math articles any more. To shorten it further I think the discussion of N,Z and Q could be almost entirely discarded. Lapasotka (talk) 10:27, 14 January 2011 (UTC)

To Trovatore: I think I misunderstood your earlier comment. Indeed, geometric intuition should be emphasized either in the intro (which is hard if we want to keep it short) or in the first section about basic properties. Lapasotka (talk) 09:56, 16 January 2011 (UTC)

Constructive attitude needed!
The page is a pain to elaborate. Almost everything is reverted instead of modified and no-one seems to be able to get anything done with it. It is a shame, since real numbers is one of the most important topics in mathematics, and the page as it is right now is a mess. Before I started on it I took a look on featured articles in mathematics and noticed that an elementary description, accessible at least to high school students, is an essential part of them. Here are some comments: And a kind request: Lapasotka (talk) 08:09, 20 January 2011 (UTC)
 * Only stating the definitions and properties using math jargon leads to an article which is readable only to people who are familiar with the content already. (Therefore, to a useless article.)
 * The geometric intuition of an infinitely long number line with addition corresponding to concatenation and multiplication corresponding to the proportionality with respect to the unit [0,1] is the intented model for all axiomatic definitions of real numbers.
 * Claiming that the real line is only a geometric interpretation of the real numbers is backwards, extremely POV and historically inaccurate.
 * Collaborative effort should mean modifying inaccurate passages, not reverting them altogether.
 * Take a look at the featured articles in mathematics and see how they are written.
 * Elaborate this article. It needs it. Don't destroy everything that is added to it.

Recent change may have unintended meaning.
A recent change by a user made subtle modifications to a sentence that drastically altered the meaning of the statement. Here is the link to the change in question. No sources were added. Is the new meaning or the old one correct? Cliff (talk) 18:12, 18 February 2011 (UTC)


 * I guess that the new formulation is correct. It is sure that Richard Dedekind has given a rigorous definition of the reals, well known as Dedekind cuts. What has to be checked is the date of this work. In fact the article Dedekind cut refers without date to the essay where Dedekind gave this proof and links to the English translation dated of 1901. On Scholar Google I have found a citation giving the date of 1872 to the English title of this essay. Moreover, in the preface of this essay, Dedekind says that he has communicated this construction to some colleagues a long time before publishing the essay.


 * In summary the edit seems correct, but the date should be checked and source is needed. Moreover "were given by Richard Dedekind (1856) and then by Georg Cantor ..." would better be replaced by "were given independently by Richard Dedekind (1856) and by Georg Cantor ..."
 * D.Lazard (talk) 20:04, 18 February 2011 (UTC)

My mistake, I was not clear enough. I don't challenge the information about Dedekind, that's easy enough to verify. My question about the modifications were actually to the second paragraph in the History section. The change implies that the the acceptance of these types of numbers was local to Europe, but that Chinese and Arab scholars had accepted these ideas earlier. The previous incarnation of the paragraph indicated that these three regions accepted these notions at about the same time. Cliff (talk) 20:20, 18 February 2011 (UTC)

The changes have now been reverted, but which is correct? since there is no source for either contribution, how do we know which is correct? reverted article. ---Cliff (talk) 20:24, 18 February 2011 (UTC)

Incremental change
I am not sure if this is encoded in some formal wiki regulations somewhere, but it seems to me that the appropriate way to proceed with a lede is incremental: one generally avoids making sweeping changes, and adds items one at a time. This is surely the best way of avoiding reverts. Tkuvho (talk) 09:33, 14 January 2011 (UTC)


 * I have read again both introductions. It appears to me that the proposed new one is better but too technical: the fundamental operations need to be enumerated, but their description should be left to the body of the article. Also, in the line of Tkuvho's suggestion, it should be carefully checked that no idea of the old introduction is omitted.
 * Another thing: the proposed introduction refers to the geometric idea of "the real line". Therefore it should be linked to the article line, where, among other definitions, lines are defined as subsets of Rn.Thus care is needed to avoid circular definitions, even if they are informal. Note that the introduction of line has been recently changed, because it suffered of the same issues (but worse) as the one of this article.
 * D.Lazard (talk) 10:11, 14 January 2011 (UTC)

I copied the proposition on the talk page for the reason that it can be incrementally changed before replacing the original one. I felt that the original introduction needed so many structural changes that it was better to do them at once to avoid unreadable versions of the page. Here is a list of (seemingly) unmentioned things in the original intro: Now the description of fundamental operations (multiplication and addition) is mentioned but not explained in the proposal. Lapasotka (talk) 10:53, 14 January 2011 (UTC)
 * 1) Complex numbers (better only to mention only inside the article)
 * 2) "—indeed, the realization that a better definition was needed—was one of the most important developments of 19th century mathematics." (This remark fits better into the History section)
 * 3) equivalence classes, Cauchy sequences, complete Archimedean ordered field (too technical for an introduction of such a central topic, which should be readable for a wide audience.)
 * 4) Dedekind cuts (This is actually described, but "Dedekind cut" is not mentioned)


 * let's discuss your suggestions one at a time. Concerning (1): the dichotomy of real versus complex is an important one and should certainly be mentioned in the introduction.  Tkuvho (talk) 11:26, 14 January 2011 (UTC)
 * Perhaps it is good to mention that real numbers can be seen as special cases of complex numbers. Or put it differently, the real line can be seen as a part of the complex plane. Brevity is the only problem. Lapasotka (talk) 12:07, 14 January 2011 (UTC)

Note - Just a thought as a reminder, in order to avoid going through this (or a similar) process every time a new contributor arrives, wouldn't it be a good idea to provide a solid standard textbook source with each change? - DVdm (talk) 11:39, 14 January 2011 (UTC)
 * It is recommendable when something comes up which is not already mentioned in the references. This topic is standard to the bone at the level of current discussion, and the controversies are primarily on style Lapasotka (talk) 12:07, 14 January 2011 (UTC)
 * Yes, it was just a reminder. But replace recommendable with mandatory, and you're in business :-) - DVdm (talk) 12:19, 14 January 2011 (UTC)


 * Getting back to your list, your item (2) is a valid suggestion. Perhaps the whole phrase should be deleted, but obviously other editors would have to express themselves in support.  As far as your item (3) is concerned, I think these key properties should be mentioned in the introduction.  Keep in mind that this is not a page on decimal numbers, which are a key tool in practical measurement.  The remarks on temperature in refrigerators could be more appropriate at decimal, decimal representation, etc., or at Simon Stevin who is largely responsible for the prevalence of decimals today.  Tkuvho (talk) 19:19, 15 January 2011 (UTC)


 * In regards the above list, does anyone know the source for (2)? —Preceding unsigned comment added by 66.254.231.144 (talk) 15:02, 30 March 2011 (UTC)


 * The introduction of Dedekind essay cited in article Dedekind cut shows clearly that Dedekind realized "that a better definition was needed". (Why this essay is not cited here?). The second part of the sentence is an opinion which could be qualified as original research, but it seems to be a consensus among mathematicians about it. Such a unanimous opinion is difficult to source? D.Lazard (talk) 15:24, 30 March 2011 (UTC)


 * D.Lazard, If you found a source that would be useful here at the Real number article, add it. I looked at the introduction of the article you mentioned however, and did not find it clear that Dedekind realized "that a better definition was needed". Can you point us to a specific passage in the essay that indicates what you say it does? Cliff (talk) 20:09, 30 March 2011 (UTC)

Questionable matters in Uses
Why is the following metaphysical "deduction" still there?


 * "Note importantly, however, that all actual measurements of physical quantities yield rational numbers because the precision of such measurements can only be finite."

And what about the other even more questionable statement, which is certainly not widely agreed upon and only backed up by a non-peer-reviewed citation?


 * "Unlimited precision real numbers in the physical universe are prohibited by the holographic principle and the Bekenstein bound.[3]"

I skimmed through the citation and even if it was reliable and peer-reviewed (which ArXiv is not), it did not imply such a strong and controversial conclusion. Besides, the existence of any sort of numbers in the physical universe is a philosophical question, and should be left out of mathematics articles. At most, there could be a section called "Real numbers and metaphysics" where one can include statements like these. In the way how they are stated now they might give a false impression on the importance and definiteness of real number system at the heart of modern day mathematics and its applications. Lapasotka (talk) 09:11, 27 May 2011 (UTC)


 * "Actual measurements" actually yield finite decimals, not rational numbers, this should be corrected. As far as unlimited precision, quantum mechanics certainly tells us that infinite divisibility breaks down at sufficiently small scales, so the numbers introduced by Simon Stevin do not model reality accurately at that scale, and we don't need to go to an arxiv post for that.  Tkuvho (talk) 11:01, 27 May 2011 (UTC)


 * The "arxiv post" was published in ACM SIGACT News, Vol. 36, No. 1. (March 2005), pp. 30–52, though I have no idea what the reputation of this publication is, as it is not my field. Does anyone know? Tkuvho (talk) 11:03, 27 May 2011 (UTC)

I elaborated the "physical sciences" part into a form which most working mathematicians and physicists can probably agree with. I am still waiting for more comments on the "infinite divisibility". As far as I understand, the space-time is actually modeled by a Minkowski-space (effectively R4) in relativistic quantum mechanics, or by some higher dimesional fibre bundle in super string theories. I don't see how in such framework "infinite precision real numbers" do not exist in the "physical universe". After all, statements as above can only be made with respect to some physical model of the reality. Lapasotka (talk) 13:23, 27 May 2011 (UTC)

I edited the part on the existence of infinite precision real numbers in the physical universe in accordance to the Wikipedia links. I am not an expert on these matters, but I tried to be true to the referred articles. Somekind of elaboration was needed, because the previous statement was simply too radical to be stated only "as matter of fact". Next I would like to draw attention to the P=NP -part. There are no citations. What might that piece of text actually try to achieve? Lapasotka (talk) 13:57, 27 May 2011 (UTC)

Decimal digits
''A real number is one that can be expressed in the form 'DDD.ddd'. DDD is zero or more decimal digits ddd is zero or more decimal digits Of course, DDD must be finite in length. This restriction does not apply to ddd.''

Why must DDD be finite in length? If a sequence of real numbers goes to infinity, then there must be an (countably) infinite number of digits in ...DDD. What am I missing?


 * I don't really understand the question. The sequence 101,102,103,104,... goes to infinity, but none of the numbers have infinite digits.


 * In effect, a sequence of numbers may go to infinity, but a single number can't. (Consider the problem of comparing two such "infinite integers".  How could you decide which was bigger without calculating all the (infinite) digits ..DDDD for both numbers.


 * On ...DDD.ddd...: ...DDD.ddd, for a finite .ddd defines the 10-adic numbers. p-adic numbers form a field only when p is prime. The real numbers are an ordered field. How do you order the repeating numbers a=...101010. and b=...010101. so that field order is preserved, giver B=10A+1 and A=10B? — Preceding unsigned comment added by 24.236.65.120 (talk) 18:24, 16 June 2011 (UTC)


 * Hello, I would like to make a few suggestions for this article. First, I would recommend removing the "or" in the introduction after the semicolon (where it's talking about irrational numbers being things like the square root of two and pi) because it suggest a nonexistent duality (e.g. I can write pi as 3.14159265358979323846264338...).  I would also recommend editing the example because it's too close to e (it looks like someone was trying to write e but couldn't remember the digits).  There are also too many dots after that decimal expansion too.  I would change it myself, but for some reason Wikipedia wont let me edit this page at the moment (it's just this page; I don't know why).  —Preceding unsigned comment added by 24.7.66.250 (talk) 20:40, 20 October 2008 (UTC)

complete implies Archimedean
The lead says that the reals can be defined axiomatically as the "complete Archimedean ordered field." The main body of the article, however, gives an axiomatization that simply defines them as a "complete ordered field." The second version is correct, and the word "Archimedean" in the lead should be deleted. The Archimedean property is not independent of completeness. If you make a conservative extension of the reals to a nonarchimedean system, you get the hyperreals, which lack completeness. The Archimedean property is important, but it shouldn't be given in the lead as if it were independent of completeness. You only have to specify whether it's Archimedean if it's not complete. The rationals are Archimedean and not complete; the hyperreals are non-Archimedean and not complete.--76.167.77.165 (talk) 15:16, 22 March 2009 (UTC)


 * I opened this talk page to suggest this very issue. Just because the hyperreals are not complete does not mean that no other non-Archemedean ordered field is not complete. — Preceding unsigned comment added by 24.236.65.120 (talk) 18:36, 16 June 2011 (UTC)


 * I changed "Archimedean ordered" to "totally ordered", which should resolve this issue. Lapasotka (talk) 09:18, 18 June 2011 (UTC)

Everywhere dense?
In the Advanced Properties section the article claims that the real numbers are everywhere dense. I am familiar with the concept "dense" and "nowhere dense", but not "everywhere dense". Surely when claiming that a set is dense one has to specify the set in which it is dense. The complex numbers are an example of a set in which the real numbers are nowhere dense. Can it still be possible that they are everywhere dense? 70.72.220.88 (talk) 03:21, 21 December 2011 (UTC)


 * Well, "complete" is not the same as "order-dense", which I think was the intent (strictly between any two points lies a third point). --Trovatore (talk) 06:08, 21 December 2011 (UTC)
 * ... or for that matter, not the same as the topological notion of "dense in itself" (i.e. has no isolated points). --Trovatore (talk) 06:10, 21 December 2011 (UTC)
 * OK. "Complete" is important here and was lacking here. If another important property remains lacking you may add it. D.Lazard (talk) 08:44, 21 December 2011 (UTC)

Misuse of sources
This article has been edited by a user who is known to have misused sources to unduly promote certain views (see WP:Jagged 85 cleanup). Examination of the sources used by this editor often reveals that the sources have been selectively interpreted or blatantly misrepresented, going beyond any reasonable interpretation of the authors' intent.

Please help by viewing the entry for this article shown at the page, and check the edits to ensure that any claims are valid, and that any references do in fact verify what is claimed.

I searched the page history, and found 3 edits by Jagged 85. Tobby72 (talk) 22:38, 20 January 2012 (UTC)