Would it not be a good idea to have Completeness as a dictionary style definition, leading off to:
- Completeness (metric spaces)
- Completeness (measures)
- Completeness (logic)
etc? -- Anon
Yes, I agree that this would make a good disambiguation page. However at this point, it's not really necessary; the metric (or uniform) space concept is the only one that has had enough written about it to form an entire article. Thus, I have created Complete_space, which currently redirects here, in anticipation of this, and we can link to that page instead of this if we wish. However, I don't think that it's necessary to move the contents of this article over there, or to move links to this article over there, until we reach the point that there is either:
- a great deal written about completeness in some other article (such as the article on lattices) that justifies branching it off to a new article, or
- a great deal written about one of the other sorts of completeness in this article that justifies splitting this into two articles.
Then we can do the transition; otherwise, the move may be harmless but is largely a waste of time. IMO. -- Toby Bartels, Monday, June 10, 2002
The main content of this page may need to be moved to complete_metric, or something similar, but it would not be sensible to do this until Pages_that_link_here is fixed. -- Anon
If and when we move it, it should be to Complete_space, since we'll want to discuss other notions of complete spaces (complete uniform spaces, maybe even complete Cauchy spaces) under the heading Generalisations. — Toby Bartels, Sunday, July 14, 2002
Given that Complete measure is a separate article, I'm doing the move now. -- Toby 23:40 Feb 20, 2003 (UTC)
I removed this link:
from the discussion of topologically complete spaces, since it's malformed and didn't fit into the sentence. If anybody knows what it's about, please put it back in as a legible sentence and with a link that might be the title of an article (perhaps it should be two).
I also moved the definition of Cauchy net to its own page.
-- Toby 23:40 Feb 20, 2003 (UTC)