Talk:Hilbert cube

From formulasearchengine
Jump to navigation Jump to search

Template:Maths rating

Misleading Language?

"The Hilbert cube is best defined as the topological product of the intervals [0, 1/n] for n = 1, 2, 3, 4, ... That is, it is a cuboid of countably infinite dimension, where the lengths of the edges in each orthogonal direction form the sequence ."

I believe I understand the intent of the language "cuboid of countable infinite dimension" but this language is somewhat misleading, as the Hamel dimension of the Hilbert cube as a Hilbert Space is decidedly NOT countable (as a consequence of the completeness of the Hilbert cube and the Baire Category Theorem). Perhaps this should be noted somewhere in the article? 71.61.180.25 (talk) 05:22, 28 January 2013 (UTC)

Compact

The phrase: "Since l2 is not locally compact, no point has a compact neighbourhood, " seems a little overstretched. That a space is not locally compact could mean that all points but one have a compact neighborhood. 68.232.110.205

True. But since this sentence is merely of pedagogical nature anyway (mathematically, there is no reason that "one should expect" that compact subsets are finite dimensional), I would suggest to replace it by the following -- that is, unless one would simply delete it:

"Since no point of l2 has a compact neighbourhood, one might expect..."

(indeed l2 is homogeneous -- but I don't see the need to elaborate on this since this is just correcting a supposed misconception, "one might expect"...)

Contradiction?

I apologise, my math language is a bit rusty.... but I think some of the statements on this page don't add up, and I don't know enough about the subject to correct it.

"Topologically, the Hilbert cube may be defined as the product of countably infinitely many copies of the unit interval [0,1]. That is, it is the cube of countably infinite dimension."

"It's sometimes convenient to think of the Hilbert cube as a metric space, indeed as a specific subset of a Hilbert space with countably infinite dimension. For these purposes, it's best not to think of it as a product of copies of [0,1], but instead as

   [0,1] × [0,1/2] × [0,1/3] × ···;

for topological properties, this makes no difference."

and

"an open ball around p of any fixed radius e > 0 must go outside the cube in some dimension."

It seems to me that the third statement is dependent on the second, since if the first statment is true and truly does define a Hilbert cube then one simply needs to make the radius of the ball less than 1, then since in every dimension we are 'locally within' [0,1] any member of the ball must also be 'inside the cube in this dimension'.

Jheriko 13:48, 10 April 2006 (UTC)

Since nobody has corrected this I am going to do some research then replace/remove which ever part of this page is faulty.

Jheriko 10:34, 24 July 2006 (UTC)

Fixed. Jheriko 16:52, 20 September 2006 (UTC)

I wonder: the article states, "the length of each edge has a length 1/n () with the extra condition that none of the edges are of equal length." But aren't any parallel edges of equal length?Orthografer 19:25, 26 August 2007 (UTC)

Reference '.X-OLAP' not understandable in English.

The second of the references (...X-OLAP) points to some IBM stuff presumably in Russian.

Perhaps the author of the reference can find a solution or put a warning.

--Uffe 08:19, 5 July 2006 (UTC)

Homeomorphic

"Topologically, the Hilbert cube is indistinguishable from..:"

is it homeomorphic? if so, let's just say so. Zero sharp 06:02, 4 August 2007 (UTC)