DOCSLIB.ORG

Spatial Vector Algebra

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Spatial Vector Algebra bra A Short Course on Spatial Vector Algebra The Easy Way to do Rigid Body Dynamics Spatial Vector Alge Roy Featherstone Dept. Information Engineering, RSISE The Australian National University 1 © 2005 Roy Featherstone bra Spatial vector algebra is a concise vector notation for describing rigid−body velocity, acceleration, inertia, etc., using 6D vectors and tensors. fewer quantities fewer equations Spatial Vector Alge less effort fewer mistakes 2 bra Mathematical Structure spatial vectors inhabit two vector spaces: M6 −− motion vectors F6 −− force vectors with a scalar product defined between them Spatial Vector Alge m . f = work ``.'' : M6 F6 R 3 bra Bases T A coordinate vector m=[m1,...,m6] represents a motion vector m in a basis 6 {d1,...,d6} on M if 6 m = Σ mi di i=1 T Likewise, a coordinate vector f=[f1,...,f6] Spatial Vector Alge represents a force vector f in a basis 6 {e1,...,e6} on F if 6 f = Σ fi ei i=1 4 bra Bases 6 If {d1, ..., d6} is an arbitrary basis on M then there exists a unique reciprocal basis 6 {e1, ..., e6} on F satisfying 0 : i = j di . ej = { 1 : i = j Spatial Vector Alge With these bases, the scalar product of two coordinate vectors is m . f = mT f 5 ω bra Velocity vP The velocity of a rigid body P can be described by choosing a point, P, in the body specifying the linear velocity, vP, of that point Spatial Vector Alge specifying the angular velocity, ω, of the body as a whole 6 ω bra Velocity vP P The body is then deemed to be translating with a linear velocity vP while simultaneously Spatial Vector Alge rotating with an angular velocity ω about an axis passing through P 7 ω bra Velocity vP P vO OP O ω velocity ( ,vP) at P Spatial Vector Alge ω is equivalent to ( ,vO) at O ω where vO = vP + OP 8 ω bra Velocity vP P vO ω OP x ωy ω ω O ^ z Spatial velocity: vO = = vO vOx Spatial Vector Alge vOy .. These are the Plucker coordinates vOz of v^ in the frame Oxyz 9 bra Force nP f P A general force acting on a rigid body is equivalent to the sum of a force f acting along a line passing through a point P, and Spatial Vector Alge a couple, nP 10 bra Force nP f P nO f OP O general force (f,nP) at P Spatial Vector Alge is equivalent to (f,nO) at O where nO = nP + OP f 11 bra Force nP f P nO f OP nOx nOy O ^ nO nOz Spatial force: fO = = f fx Spatial Vector Alge fy .. These are the Plucker coordinates fz ^ of f in the frame Oxyz 12 bra .. Plucker Coordinates A Cartesian coordinate frame Oxyz defines twelve basis vectors: dOx, dOy, dOz, dx, dy, dz : rotations about the Ox, Oy and Oz axes, translations in the x, y and z directions Spatial Vector Alge ex, ey, ez, eOx, eOy, eOz : couples in the yz, zx and xy planes, and forces along the Ox, Oy and Oz axes 13 bra ω ^ ^ nO .. If vO = and fO = are the Plucker vO f ^ coordinates of v^ and f in Oxyz, then ^ ω ω ω v = x dOx + y dOy + z dOz + + vOx dx + vOy dy + vOz dz ^ f = nOx ex + nOy ey + nOz ez + Spatial Vector Alge + fx eOx + fy eOy + fz eOz and ^ ^ ^ T ^ v . f = vO fO 14 bra Coordinate Transforms B r A transform from A to B E for motion vectors: 0 −rz ry B E 0 1 0 ~ X = where r = rz 0 −rx A 0 E ~rT 1 −ry rx 0 Spatial Vector Alge corresponding transform B F B −T for force vectors: XA = ( XA) 15 bra Basic Operations with Spatial Vectors Composition of velocities If vA = velocity of body A vB = velocity of body B vBA = relative velocity of B w.r.t. A Then vB = vA + vBA Scalar multiples Spatial Vector Alge . If s and q are a joint motion axis and velocity variable, then the joint velocity . is vJ = s q 16 bra Composition of forces If forces f1 and f2 both act on the same body then their resultant is ftot = f1 + f2 Action and reaction Spatial Vector Alge If body A exerts a force f on body B, then body B exerts a force −f on body A (Newton's 3rd law) 17 bra Now try question set A Spatial Vector Alge 18 bra Spatial Cross Products There are two cross product operations: one for motion vectors and one for forces ω ω ^ ^ m m vO mO = = ω vO mO mO + vO m ω ω ^ ^ nO nO + vO f vO fO = = ω Spatial Vector Alge vO f f ^ ^ where vO and mO are motion vectors, and ^ fO is a force. 19 bra Differentiation The derivative of a spatial vector is itself a spatial vector d s(t+δt)−s(t) in general, s = lim dt δt 0 δt The derivative of a spatial vector that is Spatial Vector Alge fixed in a moving body with velocity v is d s = v s dt 20 bra Differentiation in Moving Coordinates d d s = sO + vO sO dt O dt velocity of coordinate frame componentwise derivative of coordinate Spatial Vector Alge vector coordinate vector representing ds/dt 21 bra Acceleration . is the rate of change of velocity: ω. ^ d ^ a = v = . dt vO but this is not the linear acceleration of Spatial Vector Alge any point in the body! 22 bra Classical acceleration is ω. where v'O is the derivative of vO . v'O taking O to be fixed in the body Spatial acceleration is ω. where vO is the derivative of vO . taking to be fixed in space vO O Spatial Vector Alge What's the difference? Spatial acceleration is a vector. 23 bra Acceleration Example ω fixed axis vO Spatial Vector Alge A body rotates with constant angular velocity ω, so its spatial velocity is constant, so its spatial acceleration is zero; but almost every body−fixed point is accelerating. 24 bra Basic Operations with Accelerations Composition If aA = acceleration of body A aB = acceleration of body B aBA = acceleration of B w.r.t. A Then aB = aA + aBA Spatial Vector Alge Look, no Coriolis term! 25 bra Now try question set B Spatial Vector Alge 26 bra Rigid Body Inertia mass: m CoM: C C c inertia O at CoM: IC ~ ^ IO m c spatial inertia tensor: IO = Spatial Vector Alge m ~cT m 1 ~~ where IO = IC − m c c 27 bra Basic Operations with Inertias Composition If two bodies with inertias IA and IB are joined together then the inertia of the composite body is Itot = IA + IB Spatial Vector Alge Coordinate transformation formula B F A A T A IB = XA IA XB = ( XB) IA XB 28 bra Equation of Motion d f = (I v) = I a + v I v dt f = net force acting on a rigid body I = inertia of rigid body v = velocity of rigid body Spatial Vector Alge I v = momentum of rigid body a = acceleration of rigid body 29 bra Motion Constraints If a rigid body's motion is constrained, then its velocity is an element of a subspace, S M6, called the motion subspace degree of (motion) freedom: dim(S) degree of constraint: 6 − dim(S) Spatial Vector Alge S can vary with time 30 bra Matrix Representation Let S be any 6 dim(S) matrix such that range(S) = S, then the columns of S define a basis on S any vector v S can be expressed in the form v = S α, where α is a dim(S) 1 Spatial Vector Alge vector of coordinates 31 bra Constraint Forces motion constraints are enforced by constraint forces constraint forces do no work: if fc is the constraint force, and S the motion subspace matrix, then T S fc = 0 Spatial Vector Alge constraint forces occupy a subspace T F6 satisfying dim(S) + dim(T) = 6 and ST T = 0 32 bra Constrained Motion a f I A force, f, is applied to a fc body with inertia I that is constrained to a subspace S = Range(S) of M6. Assuming the body is initially at rest, what is its acceleration? α Spatial Vector Alge velocity v = S = 0 . acceleration a = S α + S α = S α T constraint force S fc = 0 33 bra a equation of motion f I f + fc = I a + v I v fc = I a solution . f + fc = I S α . ST f = ST I S α Spatial Vector Alge . T −1 T apparent α = ( ) S I S S f inverse inertia a = S (ST I S)−1 ST f 34 bra Now try question set C Spatial Vector Alge 35 bra Inverse Dynamics joint 1 joint 2 joint n base link 1 link n . .. qi, qi, si joint velocity, acceleration & axis vi, ai link velocity and acceleration Spatial Vector Alge fi force transmitted from link i−1 to i τi joint force variable Ii link inertia 36 bra velocity of link i is the velocity of link i−1 plus the velocity across joint i . vi = vi−1 + si qi acceleration is the derivative of velocity . .. ai = ai−1 + si qi + si qi equation of motion Spatial Vector Alge fi − fi+1 = Ii ai + vi Ii vi active joint force τ T i = si fi 37 bra The Recursive Newton−Euler Algorithm (Calculate the joint torques τi that will .
Load more

Recommended publications
  • MA 242 LINEAR ALGEBRA C1, Solutions to Second Midterm Exam
    MA 242 LINEAR ALGEBRA C1, Solutions to Second Midterm Exam Prof. Nikola Popovic, November 9, 2006, 09:30am - 10:50am Problem 1 (15 points). Let the matrix A be given by 1 −2 −1 2 −1 5 6 3 : 5 −4 5 4 5 (a) Find the inverse A−1 of A, if it exists. (b) Based on your answer in (a), determine whether the columns of A span R3. (Justify your answer!) Solution. (a) To check whether A is invertible, we row reduce the augmented matrix [A I3]: 1 −2 −1 1 0 0 1 −2 −1 1 0 0 2 −1 5 6 0 1 0 3 ∼ : : : ∼ 2 0 3 5 1 1 0 3 : 5 −4 5 0 0 1 0 0 0 −7 −2 1 4 5 4 5 Since the last row in the echelon form of A contains only zeros, A is not row equivalent to I3. Hence, A is not invertible, and A−1 does not exist. (b) Since A is not invertible by (a), the Invertible Matrix Theorem says that the columns of A cannot span R3. Problem 2 (15 points). Let the vectors b1; : : : ; b4 be defined by 3 2 −1 0 0 5 1 0 −1 1 0 1 1 0 0 1 b1 = ; b2 = ; b3 = ; and b4 = : −2 −5 3 0 B C B C B C B C B 4 C B 7 C B 0 C B −3 C @ A @ A @ A @ A (a) Determine if the set B = fb1; b2; b3; b4g is linearly independent by computing the determi- nant of the matrix B = [b1 b2 b3 b4].
    [Show full text]
  • Notes on Change of Bases Northwestern University, Summer 2014
    Notes on Change of Bases Northwestern University, Summer 2014 Let V be a finite-dimensional vector space over a field F, and let T be a linear operator on V . Given a basis (v1; : : : ; vn) of V , we've seen how we can define a matrix which encodes all the information about T as follows. For each i, we can write T vi = a1iv1 + ··· + anivn 2 for a unique choice of scalars a1i; : : : ; ani 2 F. In total, we then have n scalars aij which we put into an n × n matrix called the matrix of T relative to (v1; : : : ; vn): 0 1 a11 ··· a1n B . .. C M(T )v := @ . A 2 Mn;n(F): an1 ··· ann In the notation M(T )v, the v showing up in the subscript emphasizes that we're taking this matrix relative to the specific bases consisting of v's. Given any vector u 2 V , we can also write u = b1v1 + ··· + bnvn for a unique choice of scalars b1; : : : ; bn 2 F, and we define the coordinate vector of u relative to (v1; : : : ; vn) as 0 1 b1 B . C n M(u)v := @ . A 2 F : bn In particular, the columns of M(T )v are the coordinates vectors of the T vi. Then the point of the matrix M(T )v is that the coordinate vector of T u is given by M(T u)v = M(T )vM(u)v; so that from the matrix of T and the coordinate vectors of elements of V , we can in fact reconstruct T itself.
    [Show full text]
  • Coordinate Vectors and Examples
    Coordinate Vectors and Examples Francis J. Narcowich Department of Mathematics Texas A&M University June 2013 Coordinate vectors. This is a brief discussion of coordinate vectors and the notation for them that I presented in class. Here is the setup for all of the problems. We begin with a vector space V that has a basis B = {v1,..., vn} – i.e., a spanning set that is linearly independent. We always keep the same order for vectors in the basis. Technically, this is called an ordered basis. The following theorem, Theorem 3.2, p. 139, in the text gives the necessary ingredients for making coordinates: Theorem 1 (Coordinate Theorem) Let V = Span(B), where the set B = {v1,..., vn}. Then, every v ∈ V can represented in exactly one way as linear combination of the vj’s if and only if B = {v1,..., vn} is linearly independent – hence, B is a basis, since it spans. In particular, if B is a basis, there are unique scalars x1,...,xn such that v = x1v1 + x2v2 + ··· + xnvn . (1) This theorem allows us to assign coordinates to vectors, provided we don’t change the order of the vectors in B. That is, B is is an ordered basis. When order matters we write B = [v1,..., vn]. (For example, for P3, the ordered basis [1,x,x2] is different than [x,x2, 1].) If the basis is ordered, then the coefficient xj in equation (1) corresponds to vj, and we say that the xj’s are the coordinates of v relative to B. We collect them into the coordinate vector x1 .
    [Show full text]
  • Bases, Coordinates and Representations (3/27/19)
    Bases, Coordinates and Representations (3/27/19) Alex Nita Abstract This section gets to the core of linear algebra: the separation of vectors and linear transformations from their particular numerical realizations, which, until now, we've largely taken for granted. We've taken them for granted because calculus and trigonometry were constructed within the standard Cartesian co- ordinate system for R2 and R3, and the issue was never raised. There is a way to construct a coordinate-free calculus, of course, just like there is a way to construct a coordinate-free linear algebra|the abstract way, purely in terms of properties|but I believe that misses the crucial point. We want coordinates. We need them to apply linear algebra to anything, because coordinates correspond to units of measurement forming a `grid.' Putting coordinates on an abstract vector space is like `turning the lights on' in the dark. Except the abstract vector space is not en- tirely dark. The abstract vector space has structure, it's just that the structure is defined purely in terms of properties, not numbers. In the quintessentially modern Bourbaki style of math, where prop- erties alone are considered, the `abstract vector space over a field’ loses even that residual scalar-multiplicative role of numbers, replac- ing it with the generic scalar|the abstract number|the algebraic field. A field captures, by a clever use of (algebraic) properties, the commonalities of Q, R, C, finite fields Fp, and other types of num- bers. The virtue of this approach is that many proofs become simplified— we no longer have to compute ad nauseam, we can just use proper- ties, whose symbolic tidiness compresses or eliminates the mess of numbers.
    [Show full text]
  • 4.3 COORDINATES in a LINEAR SPACE by Introducing Coordinates, We Can Transform Any N-Dimensional Linear Space Into R 4.3.1 Coord
    4.3 COORDINATES IN A LINEAR SPACE By introducing coordinates, we can transform any n-dimensional linear space into Rn 4.3.1 Coordinates in a linear space Consider a linear space V with a basis B con- sisting of f1; f2; :::fn. Then any element f of V can be written uniquely as f = c1f1 + c2f2 + ¢ ¢ ¢ + cnfn, for some scalars c1; c2; :::; cn. There scalars are called the B coordinates of f, and the vector 2 3 c 6 1 7 6 7 6 c2 7 6 7 6 : 7 6 7 4 : 5 cn is called the B-coordinate vector of f, denoted by [f]B. 1 The B coordinate transformation T (f) = [f]B from V to Rn is an isomorphism (i.e., an invert- ible linear transformation). Thus, V is isomor- phic to Rn; the linear spaces V and Rn have the same structure. Example. Choose a basis of P2 and thus trans- n form P2 into R , for an appropriate n. Example. Let V be the linear space of upper- triangular 2 £ 2 matrices (that is, matrices of the form " # a b : 0 c Choose a basis of V and thus transform V into Rn, for an appropriate n. Example. Do the polynomials, f1(x) = 1 + 2 2 2x + 3x , f2(x) = 4 + 5x + 6x , f3(x) = 7 + 2 8x + 10x from a basis of P2? Solution 3 Since P2 is isomorphic to R , we can use a coordinate transformation to make this into a problem concerning R3. The three given poly- nomials form a basis of P2 if the coordinate vectors 2 3 2 3 2 3 1 4 7 6 7 6 7 6 7 ~v1 = 4 2 5 ; ~v2 = 4 5 5 ; ~v3 = 4 8 5 3 6 9 form a basis of R3.
    [Show full text]
  • Abstract Vector Spaces, Linear Transformations, and Their Coordinate Representations Contents 1 Vector Spaces
    Abstract Vector Spaces, Linear Transformations, and Their Coordinate Representations Contents 1 Vector Spaces 1 1.1 Definitions..........................................1 1.1.1 Basics........................................1 1.1.2 Linear Combinations, Spans, Bases, and Dimensions..............1 1.1.3 Sums and Products of Vector Spaces and Subspaces..............3 1.2 Basic Vector Space Theory................................5 2 Linear Transformations 15 2.1 Definitions.......................................... 15 2.1.1 Linear Transformations, or Vector Space Homomorphisms........... 15 2.2 Basic Properties of Linear Transformations....................... 18 2.3 Monomorphisms and Isomorphisms............................ 20 2.4 Rank-Nullity Theorem................................... 23 3 Matrix Representations of Linear Transformations 25 3.1 Definitions.......................................... 25 3.2 Matrix Representations of Linear Transformations................... 26 4 Change of Coordinates 31 4.1 Definitions.......................................... 31 4.2 Change of Coordinate Maps and Matrices........................ 31 1 Vector Spaces 1.1 Definitions 1.1.1 Basics A vector space (linear space) V over a field F is a set V on which the operations addition, + : V × V ! V , and left F -action or scalar multiplication, · : F × V ! V , satisfy: for all x; y; z 2 V and a; b; 1 2 F VS1 x + y = y + x 9 VS2 (x + y) + z = x + (y + z) => (V; +) is an abelian group VS3 90 2 V such that x + 0 = x > VS4 8x 2 V; 9y 2 V such that x + y = 0 ; VS5 1x = x VS6 (ab)x = a(bx) VS7 a(x + y) = ax + ay VS8 (a + b)x = ax + ay If V is a vector space over F , then a subset W ⊆ V is called a subspace of V if W is a vector space over the same field F and with addition and scalar multiplication +jW ×W and ·jF ×W .
    [Show full text]
  • 2 Vector Bundles
    Part III: Differential geometry (Michaelmas 2004) Alexei Kovalev ([email protected]) 2 Vector bundles. Definition. Let B be a smooth manifold. A manifold E together with a smooth submer- sion1 π : E ! B, onto B, is called a vector bundle of rank k over B if the following holds: (i) there is a k-dimensional vector space V , called typical fibre of E, such that for any −1 point p 2 B the fibre Ep = π (p) of π over p is a vector space isomorphic to V ; (ii) any point p 2 B has a neighbourhood U, such that there is a diffeomorphism π−1(U) −−−!ΦU U × V ? ? π? ?pr y y 1 U U and the diagram commutes, which means that every fibre Ep is mapped to fpg × V . ΦU is called a local trivialization of E over U and U is a trivializing neighbour- hood for E. (iii) ΦU jEp : Ep ! V is an isomorphism of vector spaces. Some more terminology: B is called the base and E the total space of this vector bundle. π : E ! B is said to be a real or complex vector bundle corresponding to the typical fibre being a real or complex vector space. Of course, the linear isomorphisms etc. are understood to be over the respective field R or C. In what follows vector bundles are taken to be real vector bundles unless stated otherwise. Definition. Any smooth map s : B ! E such that π ◦ s = idB is called a section of E. If s is only defined over a neighbourhood in B it is called a local section.
    [Show full text]
  • Linear Algebra I Test 4 Review Coordinates Notation: in All That Follows V Is an N-Dimensional Vector Space with Two Bases S
    Linear Algebra I Test 4 Review Coordinates Notation: In all that follows V is an n-dimensional vector space with two bases ′ ′ ′ S = {v1,..., vn} and S = {v1,..., vn}, and W is an m-dimensional vector space ′ ′ ′ with two bases T = {w1,..., wm} and T = {w1,..., wm}. Finally, L : V → W is a linear map, and we let A be the matrix representation of L with respect to S and T , while B is the matrix representation of L with respect to S′ and T ′ . For all the examples, we have V = P2 with bases S = {t2, t, 1} and S′ = {t2, t +1, t − 1}, and W = M22 with bases 1 0 0 1 0 0 0 0 T = , , , 0 0 0 0 1 0 0 1 and ′ 1 0 0 1 1 0 0 1 T = , , , . 0 1 1 0 1 0 0 0 We will use the linear map L : P2 → M22 given by a b L(at2 + bt + c)= . b c Coordinate Vectors Here is the definition of what a coordinate vector is: a [v]S = b means v = av1 + bv2 + cv3 c Example: For V = P2 we have 1 2 2 2 [t + 2t − 4]S = 2 , because t + 2t − 4 = 1(t ) + 2(t) − 4(1), −4 and 1 2 2 2 [t + 2t − 4]S′ = −1 , because t + 2t − 4 = 1(t ) − 1(t + 1) + 3(t − 1). 3 These were found by equating corresponding coefficients and solving the result- ing system of linear equations. 1 2 Exercise: For v = in W = M22 , find [v]T and [v]T ′ .
    [Show full text]
  • Coordinate Vectors References Are to Anton–Rorres, 7Th Edition
    Coordinate Vectors References are to Anton{Rorres, 7th Edition In order to compute in a general vector space V , we usually need to install a coordinate system on V . In effect, we refer everything back to the standard vector n space R , with its standard basis E = e1; e2;:::; en . It is not enough to say that V looks like Rn; it is necessary to choosef a specific linearg isomorphism. We consistently identify vectors x Rn with n 1 column vectors. We know all about linear transformations between the2 spaces Rn×. Theorem 1 (=Thm. 4.3.3) (a) Every linear transformation T : Rn Rm has the form ! T (x) = Ax for all x Rn (2) 2 for a unique m n matrix A. Explicitly, A is given by × A = [T (e1) T (e2) ::: T (en)] : (3) j j j (b) Assume m = n. Then T is an invertible linear transformation if and only if A 1 1 is an invertible matrix, and if so, the matrix of T − is A− . We call A the matrix of the linear transformation T . Coordinate vectors The commonest way to establish an invertible linear trans- formation (i. e. linear isomorphism) between Rn and a general n-dimensional vector space V is to choose a basis B = b1; b2;:::; bn of V . Then we define the linear n f g transformation LB: R V by ! LB(k1; k2; : : : ; kn) = k1b1 + k2b2 + ::: + knbn in V . (4) So LB(ei) = bi for each i. The purpose of requiring B to be a basis of V is to ensure that LB is invertible.
    [Show full text]
  • Chapter 4 Isomorphism and Coordinates
    Chapter 4 Isomorphism and Coordinates Recall that a vector space isomorphism is a linear map that is both one-to-one and onto. Such a map preserves every aspect of the vector space structure. In other words, if L: V → W is an isomorphism, then any true statement you can say about V using abstract vector notation, vector addition, and scalar multiplication, willtransfertoatruestatement about W when L is applied to the entire statement. We make this more precise with some examples. Example. If L: V → W is an isomorphism, then the set {v1,...,vn} is linearly indepen- dent in V if and only if the set {L(v1),...,L(vn)} is linearly independent in W.The dimension of the subspace spanned by the first set equals the dimension of the subset spanned by the second set. In particular, the dimension of V equals that of W. This last statement about dimension is only one part of a more fundamental fact. Theorem 4.0.1. Suppose V is a finite-dimensional vector space. Then V is isomorphic to W if and only if dim V = dim W. Proof. Suppose that V and W are isomorphic, and let L: V → W be an isomorphism. Then L is one-to-one, so dim ker L = 0. Since L is onto, we also have dim imL = dim W. Plugging these into the rank-nullity theorem for L shows then that dim V = dim W. Now suppose that dim V = dim W = n,andchoosebases{v1,...,vn} and {w1,...,wn} for V and W,respectively.Foranyvectorv in V,wewritev = a1v1 + ···+ anvn,and define L(v)=L(a1v1 + ···+ anvn)=a1w1 + ···+ anwn.
    [Show full text]
  • Linear Independence, Basis, and Dimensions Making the Abstraction Concrete
    Linear (In)dependence Revisited Basis Dimension Linear Maps, Isomorphisms and Coordinates Linear Independence, Basis, and Dimensions Making the Abstraction Concrete A. Havens Department of Mathematics University of Massachusetts, Amherst March 21, 2018 A. Havens Linear Independence, Basis, and Dimensions Linear (In)dependence Revisited Basis Dimension Linear Maps, Isomorphisms and Coordinates Outline 1 Linear (In)dependence Revisited Linear Combinations in an F-Vector Space Linear Dependence and Independence 2 Basis Defining Basis Spanning sets versus Basis 3 Dimension Definition of Dimension and Examples Dimension of Subspaces of finite Dimensional Vector Spaces 4 Linear Maps, Isomorphisms and Coordinates Building Transformations using Bases Isomorphisms Coordinates relative to a Basis A. Havens Linear Independence, Basis, and Dimensions Linear (In)dependence Revisited Basis Dimension Linear Maps, Isomorphisms and Coordinates Linear Combinations in an F-Vector Space F-Linear Combinations Definition Let V be an F-vector space. Given a finite collection of vectors fv1;:::; vk g ⊂ V , and a collection of scalars (not necessarily distinct) a1;:::; ak 2 F, the expression k X a1v1 + ::: + ak vk = ai vi i=1 is called an F-linear combination of the vectors v1;:::; vk with scalar weights a1;::: ak . It is called nontrivial if at least one ai 6= 0, otherwise it is called trivial. A. Havens Linear Independence, Basis, and Dimensions Linear (In)dependence Revisited Basis Dimension Linear Maps, Isomorphisms and Coordinates Linear Combinations in an F-Vector Space F-Linear Spans Definition The F-linear span of a finite collection fv1;:::; vk g ⊂ V of vectors is the set of all linear combinations of those vectors: ( k ) X Span fv1;:::; v g := ai vi ai 2 ; i = 1;:::; k : F k F i=1 If S ⊂ V is an infinite set of vectors, the span is defined to be the set of finite linear combinations made from finite collections of vectors in S.
    [Show full text]
  • Constructions, Decoding and Automorphisms of Subspace Codes
    Constructions, Decoding and Automorphisms of Subspace Codes Dissertation zur Erlangung der naturwissenschaftlichen Doktorwürde (Dr. sc. nat.) vorgelegt der Mathematisch-naturwissenschaftlichen Fakultät der Universität Zürich von Anna-Lena Trautmann aus Deutschland Promotionskomitee Prof. Dr. Joachim Rosenthal (Vorsitz) Dr. Felix Fontein Prof. Dr. Leo Storme (Begutachter) Zürich, 2013 To Bärbel and Wolfgang. iii iv Acknowledgements I would like to heartily thank my advisor Joachim Rosenthal for his continuos guid- ance and support in all matters during my PhD time. His motivation, enthusiasm and knowledge were of big help for my research and the writing of this thesis. Warm thanks also go to Leo Storme and Joan-Josep Climent for reviewing and commenting this thesis, as well as as everyone who proofread parts of it. All their help is well appreciated. I owe my deepest gratitude to my coauthors Joachim, Felice, Michael, Natalia, Davide, Kyle, Felix and Thomas. This thesis would not have been possible without them. Big appreciation goes to my various math friends for their motivation, advice and joy during these last years, especially Virtu, Felice, Urs, Tamara, Maike, Ivan, Elisa and Michael. The financial support of the Swiss National Science Foundation and the University of Zurich is gratefully acknowledged. Last but definitely not least I want to thank Johannes for his support in all non- scientific matters. You are my everything. Anna-Lena Trautmann v vi Synopsis Subspace codes are a family of codes used for (among others) random network coding, which is a model for multicast communication. These codes are defined as sets of vector spaces over a finite field.
    [Show full text]