Kvaal ESQC22 Lecture2
Kvaal ESQC22 Lecture2
Kvaal ESQC22 Lecture2
ESQC Mathematics
Lecture 2
By Simen Kvaal
simen.kvaal@kjemi.uio.no
Drop me a
message!
Matrices
We pick up from last time
1
9/14/22
Space of matrices
• A matrix is a table
# cols
# rows
2
9/14/22
Matrix—matrix product
• C(x) = A(B(x)) is a linear operator.
Definition : Matrix product
A(BC) = (AB)C
(A + B)C = AC + BC A(B + C) = AB + AC
AB ! BA
3
9/14/22
• Hermitian adjoint:
General finite-dimensional
vector spaces
With several examples
4
9/14/22
looks
• Polynomials of degree ≤ n
• A function space we see that
we get a
• Show: Jupyter notebook
matrix!
• Differentiation operator (n = 4)
Space of matrices
• The space M(n) of square matrices (over some field) is a vector space
5
9/14/22
A finite-dimensional C*-algebra
• In the second-quant lectures,
A very important
example from the
• We can consider an operator which is a polynomial mathematical
point of view
•
If N spin-orbitals: max N particles, so max degree is 2N
• So a finite dimensional vector space X of operators
• A vector space with a multiplication operation
6
9/14/22
Vector space
(linear
Mathematical abstraction
Euclidean space structure)
Comes with
linear structure +
inner product
Topology, Other
e.g., inner structures,
product, norm, e.g.,
or metric multiplication
F V + : V×V →
V · : F×V → V x y z∈V α, β ∈ F
😬
0∈V 0+x= x x∈V
x + (y + z) = (x + y) + z
x+y=y+x
x$ x + x$ = 0
(αβ) · x = α · (β · x)
1·x= x
(α + β) · x = α · x + β · x
α · (x + y) = α · x + α · y
7
9/14/22
V L⊂V L
{vi | 1 ≤ i ≤ k} ⊂ L
k
!
ai vi = 0 =⇒ ai = 0 i
i=1
V V
V n
{b1 , · · · , bn } n
Theorem
8
9/14/22
Example
• The standard basis in Euclidean space:
9
9/14/22
For infinite
basis
• The space of quadratically integrable functions expansions
Quantum
mechanics!
Action of
• And linear operators are …. matrices!
operator in the
given basis
10
9/14/22
V !·, ·" : V × V → F
Orthonormal
• Inner prod induces an inner product on
basis
• It is not the Euclidean inner product unless
11
9/14/22
Remark
Fn M(n, m, F)
More on matrices
Matrices are very central to finite dimensional spaces
12
9/14/22
End of lecture 2
• That’s it for today!
13