Definition talk:Dimension (Hilbert Space)

From ProofWiki
Jump to navigation Jump to search

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)

You may have missed that the link to basis points to Definition:Basis (Hilbert Space), which is different from the usual Definition:Hamel Basis (a maximal lin.ind. subset). I have no clue where to put the def. for LE spaces, as the field is still practically absent on PW. --Lord_Farin (talk) 22:49, 5 December 2012 (UTC)
Ah yes; this makes sense --Linus44 (talk) 22:57, 5 December 2012 (UTC)