Definition talk:Dimension (Hilbert Space)

Possibly this definition should be merged with Definition:Dimension (Linear Algebra): or given as "the dimension of a Hilbert space is it's dimension as a vector space".

Side note: any ideas about where dimension: locally euclidean space should go? Dimension (Geometry) seems most appropriate, but given how complicated that'll get I daren't start there. --Linus44 (talk) 22:45, 5 December 2012 (UTC)