









Study with the several resources on Docsity
Earn points by helping other students or get them with a premium plan
Prepare for your exams
Study with the several resources on Docsity
Earn points to download
Earn points by helping other students or get them with a premium plan
and vectors as well as of matrix and vector operations, the goal of this appendix is to provide a brush-up of linear algebra. A.I Definitions.
Typology: Lecture notes
1 / 15
This page cannot be seen from the preview
Don't miss anything!










Since modelling and control of robot manipulators requires an extensive use of matrices and vectors as well as of matrix and vector operations, the goal of this appendix is to provide a brush-up of linear algebra.
A matrix of dimensions (m x n), with m and n positive integers, is an array of
r
A = [aijL = (^1) ""'. m =. ... j = 1, ... ,n'.
If m = n, the matrix is said to be square; if m < n, the matrix has more columns than rows; if m > n the matrix has more rows than columns. Further, if n = 1, the notation (A. 1) is used to represent a (column) vector a of dimensions (m x 1)1; the elements
to be upper triangular if aij = 0 for i > j:
o
An (n x n) square matrix A is said to be diagonal if aij = 0 for i :/= j, i.e., o
o
1 According to standard mathematical notation, small boldface is used to denote vectors while capital boldface is used to denote matrices. Scalars are denoted by roman characters.
(A.2)
336 Modelling and Control of Robot Manipulators
is said to be identity and is denoted by In^2 • A matrix is said to be null if all its elements are null and is denoted by O. The null column vector is denoted by O.
(n x m) which is obtained from the original matrix by interchanging its rows and columns:
[
all a
A^ T^ = a.^12 a
aln a2n The transpose of a column vector a is the row vector aT.
a1n 1 a~n.
ann
[-~"
a ... 0 ...^ a,.a2n^1 A=.
-aln -a2n ... 0 A partitioned matrix is a matrix whose elements are matrices (blocks) of proper dimensions:
All A^12_... A1n_^ 1
A=.. (^)...
AmI Am2 ... Amn A partitioned matrix may be block-triangular or block-diagonal. Special partitions of a matrix are that by columns
A = [al a2 ... (^) an] and that by rows
[ail
ar
2 Subscript n is usually omitted if the dimensions are clear from the context.
338 Modelling and Control of Robot Manipulators
whose elements are given by Cij = L~=1 aikbkj. The following properties hold:
A = Alp = ImA
Notice that, in general, AB :/= BA, and AB = 0 does not imply that A = 0 or
column of B, and the blocks Aik and Bkj have dimensions compatible with product,
on the blocks of proper position and treating them like elements. For an (n x n) square matrix A, the determinant of A is the scalar given by the
n det(A) = I:>ij( -1)i+jdet(A(ij)). j=l
(A.9)
The determinant can be computed according to any row i as in (A.9); the same result
The following property holds:
As a consequence, if a matrix has two equal columns (rows), then its determinant is
Given an (m x n) matrix A, the determinant of the square block obtained by selecting an equal number k of rows and columns is said to be k-order minor of matrix A. The minors obtained by taking the first k rows and columns of A are said to be principal minors. If A and B are square matrices, then
n det(A) = II aii· i=
Linear Algebra 339
m det(A) IT det(Aii). i=l
A square matrix A is said to be singular when det(A) = O. The rank g(A) of a matrix A of dimensions (m x n) is the maximum integer r so
a(A) :::;min{m,n} p(A) = g(AT) p(AT^ A) = p(A) p(AB) :::;min{p(A), p(B)}.
A matrix so that p(A) = min{m, n} is said to befull-rank.
j = 1, .. ,n
(A.ll)
inverse of A, so that A-IA = AA-I^ = In.
i.e., det(A) :/= 0 (nonsingular matrix). The inverse of A can be computed as
- det(A) Adj A.
The following properties hold:
(AT)-l = (A-1)T.
If the inverse of a square matrix is equal to its transpose
then the matrix is said to be orthogonal; in this case it is
(A. 12)
(A.B)
(A. 14)
(A. 15)
Linear Algebra 341
. d of T f(x) = dtf(x(t)) = ax x = gradxf(x)x. (A.20)
Given a vector function g(x) of dimensions (m x 1), whose elements gi are differ- entiable with respect to the vector x of dimensions (n x 1), the Jacobian matrix (or simply Jacobian) of the function is defined as the (m x n) matrix
Jg(x) = og(x) ax =
Ogl (x) ax Og2(X) ax (^) (A.21)
If x(t) is a differentiable function with respect to t, then
g(x) = ~g(x(t)) = ;: x = Jg(x)x.
Given n vectors Xi of dimensions (m x 1), they are said to be linearly independent if the expression
holds only when all the constants ki vanish. A necessary and sufficient condition for the vectors Xl, X2 ... ,Xn to be linearly independent is that the matrix
has rank n; this implies that a necessary condition for linear independence is that n ~ m. If instead g(A) = r < n, then only r vectors are linearly independent and the remaining n - r vectors can be expressed as a linear combination of the previous ones.
operations of sum of two vectors of X and product of a scalar by a vector of X have values in X and the following properties hold:
342 Modelling and Control of Robot Manipulators
\fx,y E X \fx,y,z E X \fx E X
\fx E X \fa,j3 E IR \fx E X \fa,j3 E IR \fx E X \fa E IR \fx,y E X.
(a+j3)x=ax+j3x a(x + y) = ax + ay
x+y=y+x
\fXEX, 3(-x)EX:x+(-x)= Ix = x
The dimension of the space dim(X) is the maximum number of linearly indepen- dent vectors x in the space. A set {Xl, X2, ... ,xn} of linearly independent vectors is
as a linear combination of vectors from the basis:
(A.23)
where the constants CI , C2, ••• , Cn are said to be the components of the vector y in the basis {Xl, X2,· .. ,xn}. A subset Y of a vector space X is a subspace Y ~ X if it is a vector space with the operations of vector sum and product of a scalar by a vector, i.e.,
ax + j3y E Y \fa,j3EIR \fx,yEY.
According to a geometric interpretation, a subspace is a hyperplane passing by the origin (null element) of X. The scalar product < x, y > of two vectors x and y of dimensions (m x 1) is the scalar that is obtained by summing the products of the respective components in a given basis:
Two vectors are said to be orthogonal when their scalar product is null:
(A.25)
The norm of a vector can be defined as
It is possible to show that both the triangle inequality
and the Schwarz' inequality
344 Modelling and Control of Robot Manipulators
A.4 Linear Transformations
Consider a vector space X of dimension n and a vector space Y of dimension m with m ~ n. The linear transformation between the vectors x E X and y E Y can be defined as y=Ax (A.34)
in terms of the matrix A of dimensions (m x n). The range space (or simply range) of the transformation is the subspace
which is the subspace generated by the linearly independent columns of matrix A taken as a basis of y. It is easy to recognize that
g(A) == dim(R(A)). (^) (A.36)
On the other hand, the null space (or simply null) of the transformation is the subspace
Therefore, if g(A) = r ~ min{m,n}, then dim(R(A)) = rand dim(N(A)) = n - r. It follows that if m < n, then N(A) :/= 0 independently of the rank of A; if
If x E N(A) and y E R(AT), then yT x = 0, i.e., the vectors in the null space
be shown that the set of vectors orthogonal to each vector of the range space of AT
where .1denotes the orthogonal complement of a subspace. A linear transformation allows defining the norm of a matrix A induced by the
the norm of A can be defined as
(A.40)
(A.41)
Linear Algebra 345
which can be computed also as
Ilxll=l
A direct consequence of (A.40) is the property
Consider the linear transformation on a vector u established by an (n x n) square
(with u :/= 0), then Au=..\u. The equation in (A.43) can be rewritten in matrix form as
For the homogeneous system of equations in (A.44) to have a solution different from
which is termed characteristic equation. Its solutions "\1, ... ,..\n are the eigenvalues
are said to be the eigenvectors associated with the eigenvalues ..\i. The matrix U formed by the column vectors Ui is invertible and constitutes a basis in the space of dimension n. Further, the similarity transformation established by U: A = U-1AU (A.47)
is so that A = diag{..\l' ... ,..\n}. It follows that det(A) = n:1.Ai. If the matrix A is symmetric, its eigenvalues are real and A can be written as A=UTAU;
hence, the eigenvector matrix U is orthogonal.
A bilinear form in the variables Xi and Yj is the scalar m n B = L L aijxiYj i=l j=l
(A.48)
Linear Algebra 347
with m < n. In an analogous way, a negative semi-definite matrix can be defined. Given the bilinear form in (A.49), the gradient of the form with respect to x is given by
Given the quadratic form in (A.50) with A symmetric, the gradient of the form with
. d T T' Q(x) = dtQ(x(t)) = 2x Ax + x Ax; (A.58)
The inverse of a matrix can be defined only when the matrix is square and nonsingular. The inverse operation can be extended to the case of non-square matrices. Given a
of A can be defined as the matrix Al of dimensions (n x m) so that
If instead n > m, a right inverse of A can be defined as the matrix A,. of dimensions (n x m) so that
If A has more rows than columns (m > n) and has rank n, a special left inverse is the matrix (A. 59)
definite matrix, a weighted left pseudo-inverse is given by
(A.60)
348 Modelling and Control of Robot Manipulators
If A has more columns than rows (m < n) and has rank m, a special right inverse is the matrix (A.61)
definite matrix, a weighted right pseUdo-inverse is given by
If A has more columns than rows (m < n) and has rank m, then the solution x for a given y is not unique; it can be shown that the expression
of linear equations established by (A.34). The term At y E A(l· (A) == R(AT)
On the other hand, if A has more rows than columns (m > n), the equation in (A.34) has no solution; it can be shown that an approximate solution is given by
For a nonsquare matrix it is not possible to define eigenvalues. An extension of the
(m x n), the matrix AT A has n nonnegative eigenvalues Al 2': A2 2: ... 2: An 2: 0 (ordered from the largest to the smallest) which can be expressed in the form
The scalars (T1 2': (T2 2': ... 2: (Tn 2: 0 are said to be the singular values of matrix A. The singular value decomposition (SVD) of matrix A is given by
(A.65)
3 Subscripts 1 and r are usually omitted whenever the use of a left or right pseudo-inverse is clear from the context.