The superposition principle is a founding principle of quantum mechanics; we have already made use of it in interpreting the Young's slit experiment. Quantum mechanics is a linear theory, and so it is natural that vector spaces play an important role in it. We shall see that a physical state is represented mathematically by a vector in a space whose characteristics we shall define; this is called the space of states. A second founding principle, which can also be deduced from the Young's slit experiment, is the existence of probability amplitudes. These probability amplitudes will be represented mathematically by scalar products defined on the space of states. In the theory of waves, the use of complex numbers is just a convenience, but in quantum mechanics the probability amplitudes are fundamentally complex numbers – the scalar product will a priori be a complex number. Physical properties like momentum, position, energy, and so on will be represented by operators acting in the space of states. In this chapter we shall introduce the essential properties of Hilbert spaces, that is, vector spaces on which a positive-definite scalar product is defined, and we shall limit ourselves to the case of finite dimension. This restriction will be lifted later on, because the space of states is in general of infinite dimension. The mathematical theory of Hilbert spaces of infinite dimension is much more complicated than that of spaces of finite dimension, and we shall put off studying them until Chapter 7. The reader familiar with vector spaces of finite dimension and operators in such spaces can proceed directly to Chapter 3 after reviewing the notation.