Talk:Completely metrizable space

"Complete topological space"
Is the term "complete topological space" used in some notable references? Otherwise I think it should be deleted from the article. Anyway, I think "complete topological space" should not used on Wikipedia, as it is misleading (explained below).

I think the term "complete topological space" is outright confusing: there exist complete topological vector spaces which are not metrizable (consider e. g. the space $$D(\mathbb R)$$ of all smooth functions on $$\mathbb R$$ with compact supports, used as a test function space in distribution theory --- this is an LF-space which is complete but not metrizable (as explained in Distribution space)), so they are not "complete topological spaces" in the sense of this article (although they are complete and they are topological spaces!). Actually I like the notion "topologically complete" only a little more, because it would be as natural to use it for complete uniformizability (like Kelley does), but it is used by several notable authors.

So I would rather delete the phrase "complete topological space" from this article (and any redirects and links to it), or if some notable authors have used "complete topological space" in this sense, then it should be mentioned in this article but it should be pointed out that this usage is misleading. --Jaan Vajakas (talk) 01:37, 5 March 2013 (UTC)
 * Have you looked in the history to figure out who added that term? Certainly it's not one I would use, but usage varies.  What is a complete topological vector space?  Offhand, I would expect that phrase to mean that the vector space is normed, and the metric derived from the norm is Cauchy complete.  If that's not what it means, then what? --Trovatore (talk) 02:23, 5 March 2013 (UTC)
 * A complete topological vector space is one whose uniformity (induced by its topology and addition operation) is complete, i. e. where every Cauchy net converges (in the uniformity of topological vector space, a net $$(x_a)$$ is Cauchy iff for any zero-neighborhood $$O$$ there exists $$\alpha$$ s. t. $$\forall \beta,\gamma \geq \alpha \quad x_\beta-x_\gamma \in O$$). (Complete uniformity is a generalization of complete metric: a metric is complete iff the uniformity induced by it is complete.) Jaan Vajakas (talk) 11:05, 5 March 2013 (UTC)
 * I posted a message on User_talk:Sullivan.t.j but haven't got any answer so far. So now I removed the synonym complete topological space from this article and made Complete topological space into a disambiguation page instead of redirect to Completely metrizable space. Jaan Vajakas (talk) 16:12, 9 April 2013 (UTC)


 * Willard (Exercise 24F): A topological space X is topologically complete iff X is a Gδ in its Stone–Čech compactification &beta;X. It need not be metrizable. YohanN7 (talk) 11:47, 17 December 2013 (UTC)


 * Yes, that is yet another meaning of topologically complete (besides completely metrizable and completely uniformizable). That property (but often with the assumption that the space is Hausdorff) is also called Čech-completeness (e. g. or Engelking's General Topology (1989)). Jaan Vajakas (talk) 09:54, 19 December 2013 (UTC)


 * (Willard seems not to assume Hausdorffness but only complete regularity in his definition of topologically complete.) Jaan Vajakas (talk) 10:33, 19 December 2013 (UTC)

Completion of completely metrizable space?
I am not happy with the sentences "Every metrizable space has a completion that is a completely metrizable space. The completion of Q is R." in the article. I guess metrizable spaces and metric spaces have been confused here. How would the completion of a metrizable topological space be defined? There are many choices for a complete metric space that is a completion of some metric on the given metrizable topological space. Maybe there indeed exists a natural choice of choosing a single one out of them, but I couldn't find such in Willard's book. E. g. the completion of (0, 1) with respect to one metric compatible with its topology is [0, 1], with respect to another one (0, 1) itself is complete, and these completions [0, 1] and (0, 1) are not topologically the same (I should come up with a better counterexample, since one could of course define the completion of a metrizable space to be the space itself in the special case when it is already completely metrizable). Jaan Vajakas (talk) 10:24, 19 December 2013 (UTC)


 * I think you are entirely correct. The sentences aren't incorrect as it stands, but very misleading. How about
 * "Every metrizable space has a completion, depending on the choice of metric, that is a complete metric space. The completion of Q with its usual metric is R."


 * Also, somewhere in the article the difference between metrizable and metric should be mentioned. But I don't think we should abandon metrizable in favor of metric simply because the title of the page is about metrizable spaces. YohanN7 (talk) 11:03, 19 December 2013 (UTC)


 * Now I reworded and restructured the article to my liking. I also explained the difference between metric spaces and metrizable spaces. I haven't heard of the term “completion of metrizable space” and Willard does not seem to use it either, so I avoided it and only used the well-known concept “completion of metric space”. Jaan Vajakas (talk) 19:05, 19 December 2013 (UTC)


 * Now that I look at it, my explanation of the difference between (complete) metric space and (completely) metrizable space is probably not at the best place. Perhaps it should be in some other article (maybe Metrizable space). Or on a talk page. This is standard stuff that occurs in many places in pure mathematics. But it won't hurt either and I don't have time to make it nicer. Hope it helps. Jaan Vajakas (talk) 19:20, 19 December 2013 (UTC)


 * Looks good. Disregard my above comment about "abandoning metrizable in favor of metric", it doesn't read at all as I intended it to.
 * A detail about products: I think the "each with each at least two elements" qualification is more confusing than enlightening to the reader.
 * Suggestion: Make a section called Definition. In there define completely metrizable exactly (and remove it from the lead), and point out very shortly, the difference between metrizable and metric. The lead could well contain other things, like how "nice" completeness is, like existence of limits of sequences, much like compactness. (Willard mentions this.) YohanN7 (talk) 19:38, 19 December 2013 (UTC)


 * How would you rephrase the sentence about products better? Simply dropping the condition each of which contains at least two elements would render it incorrect. Or maybe the second sentence of the product property should be dropped altogether since it follows from the first sentence and a property of products of metrizable spaces (which should actually be mentioned on the page Metrizable space).
 * I don't have much time and interest writing motivative talk in the article. If you think it is needed, you may do it yourself. However, I think that things that can be discussed in Complete metric space (like the niceness of completeness of metric spaces, convergence of Cauchy sequences etc.) should be discussed there, since I see completely metrizability as a secondary concept; the primary concept is completeness of metric space.
 * Complete metric spaces (and complete uniform spaces) are also what most people are interested in (as the number of edits of the Wikipedia articles confirms), since most applications don't make use of bare topological spaces but concrete metric of uniform spaces (often topological vector spaces); complete metrizability only interests a relatively small group of specialists (general topologists). So I think it is reasonable to expect that the readers of the article on complete metrizability already know what a complete metric space is or are able to read it from the page Complete metric space. Jaan Vajakas (talk) 22:13, 19 December 2013 (UTC)


 * Right, this is a secondary article. But I'm curious, what do you need the "at least two" points for? The nitpicky might instead add "nonempty" in places, or say "at most countably many factors that have more than one point". YohanN7 (talk) 22:36, 19 December 2013 (UTC)


 * I reworded this property according to your suggestion (and fixed a small error: "countable -> at most countable"). Perhaps it sounds better now indeed. The meaning is the same (now the property is formally a little stronger, as it can also be applied in case some factors contain only one element, but it is a trivial fact that one-element factors don't change the product (up to a homeomorphism)). Jaan Vajakas (talk) 09:52, 20 December 2013 (UTC)


 * Looks nice. I made a small cosmetic change (smaller caption) in the "Difference..."-section. YohanN7 (talk) 10:44, 20 December 2013 (UTC)