Is the generalized Baire space complete? - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-19T09:13:26Z http://mathoverflow.net/feeds/question/112318 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/112318/is-the-generalized-baire-space-complete Is the generalized Baire space complete? Ioannis Souldatos 2012-11-13T21:21:43Z 2012-11-14T15:18:24Z <p>I want to see whether the fact that the Baire space $\omega^\omega$ is a complete (metrizable) space generalizes to $\kappa^\kappa$ being a complete (topological) space. I think this is an easy question, but it is not my area and I did not find a reference.</p> <p><strong>Definitions</strong>: Let $\kappa$ be an <em>uncountable</em> cardinal equipped with the discrete topology and $\kappa^\kappa$ the set of all functions from $\kappa$ to $\kappa$ equipped with the product topology. </p> <p>A Hausdorff topological space is complete is every Cauchy net converges to a (unique) limit.</p> <p><strong>Question</strong>: Is $\kappa^\kappa$ complete? </p> <p>If so can you provide some reference (paper, textbook etc.)? </p> <p>Thank you.</p> http://mathoverflow.net/questions/112318/is-the-generalized-baire-space-complete/112319#112319 Answer by Lasse Rempe-Gillen for Is the generalized Baire space complete? Lasse Rempe-Gillen 2012-11-13T21:33:48Z 2012-11-14T09:49:14Z <p>I think the notion of completeness doesn't make sense for topological spaces; you need at least a uniform structure. </p> <p>According to the encyclopedia of mathematics, the product of complete uniform spaces is complete:</p> <p><a href="http://www.encyclopediaofmath.org/index.php/Complete_uniform_space" rel="nofollow">http://www.encyclopediaofmath.org/index.php/Complete_uniform_space</a></p> <p>(I found this by googling "product of complete uniform spaces").</p> <p><strong>EDIT.</strong> I just checked my copy of Kelley's "General Topology". Chapter 6 deals with uniform spaces. In this chapter, Theorem 10 states that the topology of the product uniformity is the product topology, and Theorem 25 states that the product of uniform spaces is complete if and only if each coordinate space is complete. This provides the reference you asked for.</p> http://mathoverflow.net/questions/112318/is-the-generalized-baire-space-complete/112321#112321 Answer by Toby Bartels for Is the generalized Baire space complete? Toby Bartels 2012-11-13T22:26:27Z 2012-11-14T15:18:24Z <p>As has already been remarked by Lasse Rempe-Gillen, you need to know what a Cauchy net is, say from a uniform structure. But since you want $\kappa$ to be discrete [edit: I had ‘complete’ here once] as a topological space, surely you just want it to be discrete as a uniform space, so let's do that. And then give $\kappa^\kappa$ the product uniformity. (For $\kappa := \omega$, this is the uniform structure that underlies the usual metric on Baire space.)</p> <p>So the answer is Yes, $\kappa^\kappa$ is complete. This is because every discrete uniform space is complete, and (as Lasse has remarked) any product of complete spaces is complete. Also, note that the underlying topology of the product uniformity is the product topology, so $\kappa^\kappa$ has the topology that you originally wanted.</p> <p>The cited facts are all part of my general knowledge; I will try to find specific references for them.</p>