Multi View Geometry 1
Multi View Geometry 1
Background:
Linear Algebra
Chapter 1
Mathematical Background:
Linear Algebra Vector Spaces
Linear Transformations
and Matrices
1 Vector Spaces
Vector Spaces
Linear Transformations
and Matrices
Properties of Matrices
2 Linear Transformations and Matrices
Singular Value
Decomposition
3 Properties of Matrices
+: V ×V →V
Vector Spaces
Properties of Matrices
· : R × V → V, Singular Value
Decomposition
Linear Transformations
i=1 and Matrices
Properties of Matrices
k
X
αi vi = 0 ⇒ αi = 0 ∀i,
i=1
Linear Transformations
and Matrices
n
X Properties of Matrices
v= αi bi .
Singular Value
i=1 Decomposition
h·, ·i : V × V → R
Linear Transformations
and Matrices
1 hu, αv + βwi = αhu, v i + βhu, wi (linear)
Properties of Matrices
2 hu, v i = hv , ui (symmetric) Singular Value
Decomposition
3 hv , v i ≥ 0 and hv , v i = 0 ⇔ v = 0 (positive definite)
The scalar product induces a norm
p
| · | : V → R, |v | = hv , v i
and a metric
p
d : V × V → R, d(v , w) = |v − w| = hv − w, v − wi
On V = Rn , one can define the canonical inner product for the Prof. Daniel Cremers
canonical basis B = In as
n
X
hx, y i = x > y = xi yi
i=1 Vector Spaces
Linear Transformations
which induces the standard L2 -norm or Euclidean norm and Matrices
Properties of Matrices
√ q Singular Value
|x|2 = x > x = x12 + · · · + xn2 Decomposition
The latter product is called the induced inner product from the
matrix A.
Given two matrices A ∈ Rm×n and B ∈ Rk ×l , one can define Prof. Daniel Cremers
Properties of Matrices
an
Singular Value
Due to the linearity, the action of L on the space V is uniquely Decomposition
L(x) = Ax ∀x ∈ V ,
where
A = (L(e1 ), . . . , L(en )) ∈ Rm×n .
The set of all real m × n-matrices is denoted by M(m, n). In
the case that m = n, the set M(m, n) ≡ M(n) forms a ring
over the field R, i.e. it is closed under matrix multiplication and
summation. updated May 6, 2019 9/28
Mathematical
The Linear Groups GL(n) and SL(n) Background:
Linear Algebra
There exist certain sets of linear transformations which form a Prof. Daniel Cremers
group.
A group is a set G with an operation ◦ : G × G → G such that:
1 closed: g1 ◦ g2 ∈ G ∀g1 , g2 ∈ G, Vector Spaces
Singular Value
4 inverse: ∃g −1 ∈ G : g ◦ g −1 = g −1 ◦ g = e ∀g ∈ G. Decomposition
A group G has a matrix representation (dt.: Darstellung) or can Prof. Daniel Cremers
Properties of Matrices
n n
An affine transformation L : R → R is defined by a matrix
A ∈ GL(n) and a vector b ∈ Rn such that:
Linear Transformations
The set of all such affine transformations is called the affine and Matrices
Singular Value
L defined above is not a linear map unless b = 0. By Decomposition
product, i.e.:
The set of all orthogonal matrices forms the orthogonal group Vector Spaces
Linear Transformations
O(n), which is a subgroup of GL(n). For an orthogonal matrix and Matrices
R we have Properties of Matrices
Singular Value
L : Rn → Rn ; x 7→ Rx + T .
Vector Spaces
The set of all such transformations is called the Euclidean Linear Transformations
group E(n). It is a subgroup of the affine group A(n). and Matrices
Singular Value
( ) Decomposition
R T n
E(n) = R ∈ O(n), T ∈ R .
0 1
In summary:
SO(n) ⊂ O(n) ⊂ GL(n), SE(n) ⊂ E(n) ⊂ A(n) ⊂ GL(n + 1).
range(A) = {y ∈ Rm ∃x ∈ Rn : Ax = y }.
Vector Spaces
The range of a matrix A is given by the span of its column Linear Transformations
and Matrices
vectors. Properties of Matrices
The null space or kernel of a matrix A (dt.: Kern) is given by the Singular Value
Singular Value
3 rank(A) is equal to the maximum number of linearly Decomposition
[V,D]=eig(A);
Linear Transformations
and Matrices
2 The eigenvectors of a matrix A associated with different Properties of Matrices
eigenvalues are linearly independent. Singular Value
Decomposition
Properties of Matrices
Alternatively, one can define the Frobenius norm of A as: Singular Value
Decomposition
sX q
||A||f ≡ aij2 = trace(A> A).
i,j
Note that these norms are in general not the same. Since the
matrix A> A is symmetric and pos.
semi-definite, we can
diagonalize it as: A> A = V diag σ12 , . . . , σn2 V > with
Properties of Matrices
2 There exists an orthogonal matrix V such that Singular Value
Decomposition
>
A = V ΛV ,
b = u3
u 0 −u1 ∈ R3×3 . Linear Transformations
and Matrices
−u2 u1 0 Properties of Matrices
Singular Value
Decomposition
This is a linear operator from the space of vectors R3 to the
space of skew-symmetric matrices in R3×3 .
In particular, the matrix u
b has the property that
bv = u × v ,
u
Properties of Matrices
SVD can be seen as a generalization of eigenvalues and Singular Value
eigenvectors to non-square matrices. The computation of SVD Decomposition
Linear Transformations
• Σ ∈ Rp×p , Σ = diag{σ1 , . . . , σp }, with σ1 ≥ . . . ≥ σp , and Matrices
Properties of Matrices
Singular Value
> > >
ker(A A) = ker(A) and range(A A) = range(A ), Decomposition
1
ui ≡ Avi ⇔ Avi = σi ui , i = 1, . . . , p
σi
then the ui ∈ Rm are orthonormal:
1 1
hui , uj i = hAvi , Avj i = hvi , A> Avj i = δij .
σi σj σi σj
updated May 6, 2019 25/28
Mathematical
Proof of SVD Decomposition 2 Background:
Linear Algebra
A = Ũ Σ̃ Ṽ > .
Now simply delete all columns of Ũ and the rows of Ṽ > which
are multiplied by zero singular values and we obtain the form
A = U Σ V > , with U ∈ Rm×p and V ∈ Rn×p .
Linear Transformations
corresponding singular value: and Matrices
Properties of Matrices
y = Ax = U Σ V > x ⇔ U > y = Σ V > x. Singular Value
Decomposition
For certain quadratic matrices one can define an inverse Prof. Daniel Cremers
AA† A = A, A† AA† = A† .