Quantum mechanics/Mathematical background

Vector Spaces
A vector space over a field $F$ is a set $V$ together with two operations that satisfy the eight axioms listed below.


 * The first operation, called vector addition or simply addition $+ : V × V → V$, takes any two vectors $v$ and $w$ and assigns to them a third vector which is commonly written as $v + w$, and called the sum of these two vectors. (Note that the resultant vector is also an element of the set $V$ ).
 * The second operation, called scalar multiplication $· : F × V → V$， takes any scalar $a$ and any vector $v$ and gives another vector $av$. (Similarly, the vector $av$ is an element of the set $V$ ).

Elements of $V$ are commonly called vectors. Elements of $F$ are commonly called scalars.

In the two examples above, the field is the field of the real numbers and the set of the vectors consists of the planar arrows with fixed starting point and of pairs of real numbers, respectively.

To qualify as a vector space, the set $V$ and the operations of addition and multiplication must adhere to a number of requirements called axioms. In the list below, let $u$, $v$ and $w$ be arbitrary vectors in $V$, and $a$ and $b$ scalars in $F$.

These axioms generalize properties of the vectors introduced in the above examples. Indeed, the result of addition of two ordered pairs (as in the second example above) does not depend on the order of the summands:

Likewise, in the geometric example of vectors as arrows, $u + (v + w) = (u + v) + w$ since the parallelogram defining the sum of the vectors is independent of the order of the vectors. All other axioms can be checked in a similar manner in both examples. Thus, by disregarding the concrete nature of the particular type of vectors, the definition incorporates these two and many more examples in one notion of vector space.

Subtraction of two vectors and division by a (non-zero) scalar can be defined as

When the scalar field $u + v = v + u$ is the real numbers $0 ∈ V$, the vector space is called a real vector space. When the scalar field is the complex numbers $v + 0 = v$, the vector space is called a complex vector space. These two cases are the ones used most often in engineering. The general definition of a vector space allows scalars to be elements of any fixed field $v ∈ V$. The notion is then known as an $v ∈ V$-vector spaces or a vector space over $−v ∈ V$. A field is, essentially, a set of numbers possessing addition, subtraction, multiplication and division operations. For example, rational numbers form a field.

In contrast to the intuition stemming from vectors in the plane and higher-dimensional cases, there is, in general vector spaces, no notion of nearness, angles or distances.

Inner Product Spaces
Definition and equivalent expression of dot product

Definitions of inner product space, orthogonal, normalized vector, orthonormal basis.

Gram-Schmidt theorem

Wikipedia

 * Vector space •

Textbook

 * Ramamurti Shankar, Principle of Quantum Mechanics, 2nd ed. (1994), Chap. 1. Mathematical Introduction
 * David J. Griffith, Introduction to Quantum Mechanics, 2nd ed. (2005), Chap. 3. Formalism