Thread: quantum spaces
View Single Post
  #2  
Old August 22nd 05 posted to sci.physics
michaeld
external usenet poster
 
Posts: 21
Default quantum spaces

David Macmanus wrote:

The term 'closed' and also the term 'complete' are used to describe
vectors and spaces in quantum mechanics.
A set of vectors is 'closed' if a sequence of vectors converges to a
vector which is also a member of the set.
A space is complete if every Cauchy sequence of vectors converges to a
limit vector that is also in the space.
These two terms seem to say the same thing - it's pretty difficult for
me to be able to understand why they don't amount to the same thing -
they both refer to converging vectors.
Perhaps one way might be if someone could give an example of a set of
closed vectors that does not live in a complete space.
Or/Also a complete space that admits a set of vectors that isn't closed.
Thanks for any help.
David.


If you're talking about subsets of a Hilbert space (or indeed any
complete metric space), then they are the same thing. Given a complete
metric space (X,d) then if A is a subset of X it's easy to show that A
is closed in X iff (A,d') is itself a complete metric space (where d'
is given by the restriction of d to A x A).

In general complete is an adjective that may, or may not, apply to any
metric space such as a normed space or an inner product space. A
complete normed space is called a Banach space and a complete inner
product space is called a Hilbert space.

In contrast it makes no sense to talk of a space being 'closed'. You
can only talk about a space being closed in (blah) - another space. If
X is a topological space then a subspace A is closed in X iff the
complement X - A is open in A. In the case that X is a metric space
(e.g. a normed/Hilbert space) then an alternative characterisation is
that A is closed in X iff whenever a_1,a_2,... is a sequence in A that
tends to a in X then necessarily a is in A. In the non-metric case you
need a generalisation of sequences (called nets) for this alternative
characterisation.

But the point, anyway, is that a space itself cannot be closed, it only
makes sense to talk about it being closed in another space. In contrast
completeness is an intrinsic property of the space itself.

Ads
 

Watch Anime - Debt Consolidation - Loans - Loans - Myspace Layouts