JSci.maths.algebras

Class HilbertSpace

java.lang.Object

JSci.maths.algebras.HilbertSpace

All Implemented Interfaces:

BanachSpace, Module, VectorSpace, AbelianGroup

Direct Known Subclasses:

Hilb.OperatorSpace

public class HilbertSpace
extends java.lang.Object
implements BanachSpace

The HilbertSpace class encapsulates Hilbert spaces.

Version:

1.0

Author:

Mark Hale

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static interface	HilbertSpace.Member This interface defines a member of a Hilbert space.

Constructor Summary

Constructors

Constructor and Description
HilbertSpace(int n) Constructs a Hilbert space.

Method Summary

Methods

Modifier and Type	Method and Description
int	dimension() Returns the dimension.
VectorSpace.Member	getVector(Complex[] array) Returns a vector from the Hilbert space.
boolean	isNegative(AbelianGroup.Member a, AbelianGroup.Member b) Returns true if one vector is the negative of the other.
boolean	isZero(AbelianGroup.Member v) Returns true if the vector is equal to zero.
AbelianGroup.Member	zero() Returns the zero vector.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

HilbertSpace

public HilbertSpace(int n)

Constructs a Hilbert space.

Method Detail

getVector

public VectorSpace.Member getVector(Complex[] array)

Returns a vector from the Hilbert space.

dimension

public int dimension()

Returns the dimension.

zero

public AbelianGroup.Member zero()

Returns the zero vector.

Specified by:

zero in interface AbelianGroup

isZero

public boolean isZero(AbelianGroup.Member v)

Returns true if the vector is equal to zero.

Specified by:

isZero in interface AbelianGroup

Parameters:

v - a group member

isNegative

public boolean isNegative(AbelianGroup.Member a,
                 AbelianGroup.Member b)

Returns true if one vector is the negative of the other.

Specified by:

isNegative in interface AbelianGroup

Parameters:

a - a group member

b - a group member