DOCSLIB.ORG

Arxiv:1104.4829V1 [Physics.Class-Ph] 26 Apr 2011 Summation, with Greek Indexes Used for Temporal and Rocal Basis When Dealing with Non-Orthonormal Spaces

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Arxiv:1104.4829V1 [Physics.Class-Ph] 26 Apr 2011 Summation, with Greek Indexes Used for Temporal and Rocal Basis When Dealing with Non-Orthonormal Spaces DRAFT VERSION MAY 30, 2018 Preprint typeset using LATEX style emulateapj v. 11/10/09 CHANGE OF BASIS AND GRAM-SCHMIDT ORTHONORMALIZATION IN SPECIAL RELATIVITY PEETER JOOT 1 Draft version May 30, 2018 ABSTRACT While an explicit basis is common in the study of Euclidean spaces, it is usually implied in the study of inertial relativistic systems. There are some conceptual advantages to including the basis in the study of special relativistic systems. A Minkowski metric implies a non-orthonormal basis, and to deal with this complexity the concepts of reciprocal basis and the vector dual are introduced. It is shown how the reciprocal basis is related to upper and lower index coordinate extraction, the metric tensor, change of basis, projections in non-orthonormal bases, and finally the Gram-Schmidt proce- dure. It will be shown that Lorentz transformations can be viewed as change of basis operations. The Lorentz boost in one spatial dimension will be derived using the Gram-Schmidt orthonormal- ization algorithm, and it will be shown how other Lorentz transformations can be derived using the Gram-Schmidt procedure. Subject headings: Lorentz boost, change of basis, special relativity, inertial frame, reciprocal basis, dual vector, Gram-Schmidt orthonormalization. 1. ABSTRACT 0 0 2. PRELIMINARIES, NOTATION, AND DEFINITIONS x · y = ±(x y − x · y). (3) 2.1. Four vectors, and the standard basis Here y = (y0, y). This is the Minkowski inner prod- Four vectors will be written as a tuples of time and uct, and is non-positive definite. Opposite signs re- space coordinates. These will be represented herein as quired for the spatial and temporal portions of the prod- non-bold letters of the form uct, but the overall sign is arbitrary and conventions vary by author. A positive sign will be used herein. No x = (ct, x) = (ct, x, y, z) = (x0, x1, x2, x3), (1) attempt to motivate why a mixed sign for the time and space coordinates will be made here. That more difficult where bold letters will be reserved for Euclidean vec- job is deferred to any number of books covering special tors. As usual, the factor of c in the time coordinate is relativity (e.g. (Landau and Lifshitz 1980).) included so that the units of any of the coordinates in The use of a non-orthonormal basis, even in Euclidean the tuple have dimensions of distance. With spaces, makes life a bit more difficult. There is, however, no choice in the matter for special relativity, since the e0 = (1, 0, 0, 0) standard basis is pseudo-orthonormal with elements (2) e1 = (0, 1, 0, 0) unity only up to a sign. For example, with the overall (2) sign of the inner product (3) chosen to be positive e2 = (0, 0, 1, 0) e3 = (0, 0, 0, 1) e1 · e1 = e2 · e2 = e3 · e3 = −(e0 · e0) = −1. (4) the ordered set fe0, e1, e2, e3g will be referred to as the A relativistic basis cannot be constructed for which all standard basis. Upper indexes will be used for the co- 2 the basis vectors have strictly unit norm. Unit vector ordinates of the four vector in the standard basis (so x will be used here loosely to refer to any vector u such is the 2-indexed coordinate of the four vector and not that u · u = ±1. the square of x). Lower indexed four vector coordinates will be introduced later once the reciprocal basis is in- 2.3. Reciprocal basis, duality, and coordinate representation troduced. with a non-orthonormal basis Repeated mixed upper and lower indexes will imply It is convenient to introduce the concept of a recip- arXiv:1104.4829v1 [physics.class-ph] 26 Apr 2011 summation, with Greek indexes used for temporal and rocal basis when dealing with non-orthonormal spaces. spatial indexes f0, 1, 2, 3g, and Latin indexes used in a f ··· g The utility of a reciprocal basis is not limited to the non- Euclidean context 1, 2, N . Euclidean vector space of special relativity. The recipro- 2.2. Relativistic inner product cal basis elements are defined implicitly such that At the heart of special relativity is the definition of e · eb = d b. (5) the invariant length or interval, which defines a dis- a a a tance like measure between a pair of vectors, relating The vector e is referred to as the dual of ea, and the both time and space coordinates. This invariance may ordered set of vectors feag is called the reciprocal basis be codified by defining an inner product for the space- feag. time vector space of the form Given a coordinate representation 1 [email protected] a x = x ea, (6) 2 the coordinates may be extracted by taking dot prod- As a concrete example consider ucts with the reciprocal basis elements 4 a b a b a a x = x · e = (x eb) · e = x db = x . (7) 2 Similarly, for the same vector x represented in the re- 4 4 = · e1 e + · e2 e (15) ciprocal basis 2 1 2 2 x = x ea, (8) = 1 + − 1 a 6 1 2 2 . the coordinates may be extracted by taking dot prod- e Coordinates may also be computed with respect to the ucts with a 1 2 reciprocal basis. With x = ce + de , dotting with e1 and x · e = (x eb) · e = x db = x . (9) e2 respectively provides these a b a b a a ¨ · = 1 · + 2 ¨· = In this context there is nothing special about either up- x e1 ce e1 d¨e e1 c 1 ¨¨ 2 (16) per or lower indexes. They are just coordinates with x · e2 = c¨e · e2 + de · e2 = d. respect to a basis and its reciprocal basis, respectively. Again considering the concrete example above When the original basis happens to be orthonormal, there is equality between the basis vectors and their re- 4 = a x = ciprocal duals ea e , as well as between the coordi- 2 nates calculated from those bases respectively x = xa. a In tensor algebra, upper indexes are “special” since the 4 4 = · e e1 + · e e2 invariant transformations are defined in terms of those 2 1 2 2 (17) coordinates, but that is really just a choice of basis. It 2 −1 is in fact possible (Doran and Lasenby 2003) to express = 6 + 8 . Lorentz transformations in a completely coordinate free −1 1 fashion, where there is freedom to employ upper or This pair of coordinate calculations is depicted in fig- lower index representation of the coordinates, or coor- ure ((1)). dinates with respect to any basis, even one that is not normal. 2.3.1. Reciprocal basis example in 2D Euclidean space The calculation of the reciprocal basis elements may be dependent on the complete set of elements in the non-dual basis. This can be illustrated nicely by con- sidering an example of an oblique basis in a Euclidean space. For a 2 dimensional Euclidean space, a non- orthonormal basis A = fe1, e2g such as 1 1 e = e = 1 1 , 2 2 , (10) may be chosen. In this column vector representation the duality relation (5) takes the form T e1 1 2 T e e = I. (11) e2 Inversion provides the dual vectors Figure 1. Vector projections in oblique and reciprocal frames. T−1 −1 1 2 e1 1 1 2 −1 e e = T = = , (12) e2 1 2 −1 1 or The projections onto the elements of a general non- orthonormal basis are 2 −1 e1 = e2 = −1 , 1 . (13) Proj (x) = (x · ei)e (18a) ei i The problem of solving for the coordinates a, b of a i Proj i (x) = (x · e )e , (18b) vector x = ae1 + be2 in this oblique basis now reduces e i to taking dot products (no sum) and not x · ei Proj (x) = Proj i (x) = ei. (19) 1 1 ¨¨1 ei e e · e x · e = ae1 · e + b¨e2 · e = a (14a) i i 2 ¨¨2 2 The operator (18) for projecting onto elements of non- x · e = a¨e1 · e + be2 · e = b. (14b) orthonormal bases does imply (19) for the special cases 3 of orthonormal and pseudo-orthonormal bases, since 2.3.5. Metric tensors ei = e /(e · e ). i i i Upper and lower index coordinates with respect to any basis and its reciprocal, orthonormal or not, are re- 2.3.2. Projections lated by dot products of the basis elements, and are not Examples of projections onto the Euclidean non- independent. Given a vector with both upper and lower orthonormal basis above have been seen. In general the index representation relations (7), and (9) allow for such Fourier decomposi- tion of a vector into components in each of the respec- a b x = x ea = x e , (24) tive basis directions b a a utilizing the coordinate representation in the chosen x = x ea = (x · e )ea a a (20) basis, and in the reciprocal basis, the dot product in = xae = (x · ea)e . terms of coordinates is found to take the standard tensor With (20) containing x on both the LHS and in the form a RHS as (x · e )ea, this relation has an appearance of be- ing somewhat recursive. This is however, an important x · x = (xae ) · (x eb) = xax da = xax . (25) property, since each of the RHS terms represents a pro- a b b b a jection. The projection of a vector onto the basis element The upper and lower coordinates may be related by m ea is taking dot products with em, and e as follows Proj (x) = (x · ea)e , (21) ea a a (no sum implied.) This will be important since the xm = x · em = (em · ea)x (26a) m m m b Gram-Schmidt procedure is essentially just the repeated x = x · e = (e · e )xb.
Load more

Recommended publications
  • 21. Orthonormal Bases
    21. Orthonormal Bases The canonical/standard basis 011 001 001 B C B C B C B0C B1C B0C e1 = B.C ; e2 = B.C ; : : : ; en = B.C B.C B.C B.C @.A @.A @.A 0 0 1 has many useful properties. • Each of the standard basis vectors has unit length: q p T jjeijj = ei ei = ei ei = 1: • The standard basis vectors are orthogonal (in other words, at right angles or perpendicular). T ei ej = ei ej = 0 when i 6= j This is summarized by ( 1 i = j eT e = δ = ; i j ij 0 i 6= j where δij is the Kronecker delta. Notice that the Kronecker delta gives the entries of the identity matrix. Given column vectors v and w, we have seen that the dot product v w is the same as the matrix multiplication vT w. This is the inner product on n T R . We can also form the outer product vw , which gives a square matrix. 1 The outer product on the standard basis vectors is interesting. Set T Π1 = e1e1 011 B C B0C = B.C 1 0 ::: 0 B.C @.A 0 01 0 ::: 01 B C B0 0 ::: 0C = B. .C B. .C @. .A 0 0 ::: 0 . T Πn = enen 001 B C B0C = B.C 0 0 ::: 1 B.C @.A 1 00 0 ::: 01 B C B0 0 ::: 0C = B. .C B. .C @. .A 0 0 ::: 1 In short, Πi is the diagonal square matrix with a 1 in the ith diagonal position and zeros everywhere else.
    [Show full text]
  • Orthonormal Bases in Hilbert Space APPM 5440 Fall 2017 Applied Analysis
    Orthonormal Bases in Hilbert Space APPM 5440 Fall 2017 Applied Analysis Stephen Becker November 18, 2017(v4); v1 Nov 17 2014 and v2 Jan 21 2016 Supplementary notes to our textbook (Hunter and Nachtergaele). These notes generally follow Kreyszig’s book. The reason for these notes is that this is a simpler treatment that is easier to follow; the simplicity is because we generally do not consider uncountable nets, but rather only sequences (which are countable). I have tried to identify the theorems from both books; theorems/lemmas with numbers like 3.3-7 are from Kreyszig. Note: there are two versions of these notes, with and without proofs. The version without proofs will be distributed to the class initially, and the version with proofs will be distributed later (after any potential homework assignments, since some of the proofs maybe assigned as homework). This version does not have proofs. 1 Basic Definitions NOTE: Kreyszig defines inner products to be linear in the first term, and conjugate linear in the second term, so hαx, yi = αhx, yi = hx, αy¯ i. In contrast, Hunter and Nachtergaele define the inner product to be linear in the second term, and conjugate linear in the first term, so hαx,¯ yi = αhx, yi = hx, αyi. We will follow the convention of Hunter and Nachtergaele, so I have re-written the theorems from Kreyszig accordingly whenever the order is important. Of course when working with the real field, order is completely unimportant. Let X be an inner product space. Then we can define a norm on X by kxk = phx, xi, x ∈ X.
    [Show full text]
  • Bornologically Isomorphic Representations of Tensor Distributions
    Bornologically isomorphic representations of distributions on manifolds E. Nigsch Thursday 15th November, 2018 Abstract Distributional tensor fields can be regarded as multilinear mappings with distributional values or as (classical) tensor fields with distribu- tional coefficients. We show that the corresponding isomorphisms hold also in the bornological setting. 1 Introduction ′ ′ ′r s ′ Let D (M) := Γc(M, Vol(M)) and Ds (M) := Γc(M, Tr(M) ⊗ Vol(M)) be the strong duals of the space of compactly supported sections of the volume s bundle Vol(M) and of its tensor product with the tensor bundle Tr(M) over a manifold; these are the spaces of scalar and tensor distributions on M as defined in [?, ?]. A property of the space of tensor distributions which is fundamental in distributional geometry is given by the C∞(M)-module isomorphisms ′r ∼ s ′ ∼ r ′ Ds (M) = LC∞(M)(Tr (M), D (M)) = Ts (M) ⊗C∞(M) D (M) (1) (cf. [?, Theorem 3.1.12 and Corollary 3.1.15]) where C∞(M) is the space of smooth functions on M. In[?] a space of Colombeau-type nonlinear generalized tensor fields was constructed. This involved handling smooth functions (in the sense of convenient calculus as developed in [?]) in par- arXiv:1105.1642v1 [math.FA] 9 May 2011 ∞ r ′ ticular on the C (M)-module tensor products Ts (M) ⊗C∞(M) D (M) and Γ(E) ⊗C∞(M) Γ(F ), where Γ(E) denotes the space of smooth sections of a vector bundle E over M. In[?], however, only minor attention was paid to questions of topology on these tensor products.
    [Show full text]
  • Lecture 4: April 8, 2021 1 Orthogonality and Orthonormality
    Mathematical Toolkit Spring 2021 Lecture 4: April 8, 2021 Lecturer: Avrim Blum (notes based on notes from Madhur Tulsiani) 1 Orthogonality and orthonormality Definition 1.1 Two vectors u, v in an inner product space are said to be orthogonal if hu, vi = 0. A set of vectors S ⊆ V is said to consist of mutually orthogonal vectors if hu, vi = 0 for all u 6= v, u, v 2 S. A set of S ⊆ V is said to be orthonormal if hu, vi = 0 for all u 6= v, u, v 2 S and kuk = 1 for all u 2 S. Proposition 1.2 A set S ⊆ V n f0V g consisting of mutually orthogonal vectors is linearly inde- pendent. Proposition 1.3 (Gram-Schmidt orthogonalization) Given a finite set fv1,..., vng of linearly independent vectors, there exists a set of orthonormal vectors fw1,..., wng such that Span (fw1,..., wng) = Span (fv1,..., vng) . Proof: By induction. The case with one vector is trivial. Given the statement for k vectors and orthonormal fw1,..., wkg such that Span (fw1,..., wkg) = Span (fv1,..., vkg) , define k u + u = v − hw , v i · w and w = k 1 . k+1 k+1 ∑ i k+1 i k+1 k k i=1 uk+1 We can now check that the set fw1,..., wk+1g satisfies the required conditions. Unit length is clear, so let’s check orthogonality: k uk+1, wj = vk+1, wj − ∑ hwi, vk+1i · wi, wj = vk+1, wj − wj, vk+1 = 0. i=1 Corollary 1.4 Every finite dimensional inner product space has an orthonormal basis.
    [Show full text]
  • Solution: the First Element of the Dual Basis Is the Linear Function Α
    Homework assignment 7 pp. 105 3 Exercise 2. Let B = f®1; ®2; ®3g be the basis for C defined by ®1 = (1; 0; ¡1) ®2 = (1; 1; 1) ®3 = (2; 2; 0): Find the dual basis of B. Solution: ¤ The first element of the dual basis is the linear function ®1 such ¤ ¤ ¤ that ®1(®1) = 1; ®1(®2) = 0 and ®1(®3) = 0. To describe such a function more explicitly we need to find its values on the standard basis vectors e1, e2 and e3. To do this express e1; e2; e3 through ®1; ®2; ®3 (refer to the solution of Exercise 1 pp. 54-55 from Homework 6). For each i = 1; 2; 3 you will find the numbers ai; bi; ci such that e1 = ai®1 + bi®2 + ci®3 (i.e. the coordinates of ei relative to the ¤ ¤ ¤ basis ®1; ®2; ®3). Then by linearity of ®1 we get that ®1(ei) = ai. Then ®2(ei) = bi, ¤ and ®3(ei) = ci. This is the answer. It can also be reformulated as follows. If P is the transition matrix from the standard basis e1; e2; e3 to ®1; ®2; ®3, i.e. ¡1 t (®1; ®2; ®3) = (e1; e2; e3)P , then (P ) is the transition matrix from the dual basis ¤ ¤ ¤ ¤ ¤ ¤ ¤ ¤ ¤ ¤ ¤ ¤ ¡1 t e1; e2; e3 to the dual basis ®1; ®2; a3, i.e. (®1; ®2; a3) = (e1; e2; e3)(P ) . Note that this problem is basically the change of coordinates problem: e.g. ¤ 3 the value of ®1 on the vector v 2 C is the first coordinate of v relative to the basis ®1; ®2; ®3.
    [Show full text]
  • Vectors and Dual Vectors
    Vectors By now you have a pretty good experience with \vectors". Usually, a vector is defined as a quantity that has a direction and a magnitude, such as a position vector, velocity vector, acceleration vector, etc. However, the notion of a vector has a considerably wider realm of applicability than these examples might suggest. The set of all real numbers forms a vector space, as does the set of all complex numbers. The set of functions on a set (e.g., functions of one variable, f(x)) form a vector space. Solutions of linear homogeneous equations form a vector space. We begin by giving the abstract rules for forming a space of vectors, also known as a vector space. A vector space V is a set equipped with an operation of \addition" and an additive identity. The elements of the set are called vectors, which we shall denote as ~u, ~v, ~w, etc. For now, you can think of them as position vectors in order to keep yourself sane. Addition, is an operation in which two vectors, say ~u and ~v, can be combined to make another vector, say, ~w. We denote this operation by the symbol \+": ~u + ~v = ~w: (1) Do not be fooled by this simple notation. The \addition" of vectors may be quite a different operation than ordinary arithmetic addition. For example, if we view position vectors in the x-y plane as \arrows" drawn from the origin, the addition of vectors is defined by the parallelogram rule. Clearly this rule is quite different than ordinary \addition".
    [Show full text]
  • Ch 5: ORTHOGONALITY
    Ch 5: ORTHOGONALITY 5.5 Orthonormal Sets 1. a set fv1; v2; : : : ; vng is an orthogonal set if hvi; vji = 0, 81 ≤ i 6= j; ≤ n (note that orthogonality only makes sense in an inner product space since you need to inner product to check hvi; vji = 0. n For example fe1; e2; : : : ; eng is an orthogonal set in R . 2. fv1; v2; : : : ; vng is an orthogonal set =) v1; v2; : : : ; vn are linearly independent. 3. a set fv1; v2; : : : ; vng is an orthonormal set if hvi; vji = 0 and jjvijj = 1, 81 ≤ i 6= j; ≤ n (i.e. orthogonal and unit length). n For example fe1; e2; : : : ; eng is an orthonormal set in R . 4. given an orthogonal basis for a vector space V , we can always find an orthonormal basis for V by dividing each vector by its length (see Example 2 and 3 page 256) n 5. a space with an orthonormal basis behaves like the euclidean space R with the standard basis (it is easier to work with basis that are orthonormal, just like it is n easier to work with the standard basis versus other bases for R ) 6. if v is a vector in a inner product space V with fu1; u2; : : : ; ung an orthonormal basis, Pn Pn then we can write v = i=1 ciui = i=1hv; uiiui Pn 7. an easy way to find the inner product of two vectors: if u = i=1 aiui and v = Pn i=1 biui, where fu1; u2; : : : ; ung is an orthonormal basis for an inner product space Pn V , then hu; vi = i=1 aibi Pn 8.
    [Show full text]
  • Duality, Part 1: Dual Bases and Dual Maps Notation
    Duality, part 1: Dual Bases and Dual Maps Notation F denotes either R or C. V and W denote vector spaces over F. Define ': R3 ! R by '(x; y; z) = 4x − 5y + 2z. Then ' is a linear functional on R3. n n Fix (b1;:::; bn) 2 C . Define ': C ! C by '(z1;:::; zn) = b1z1 + ··· + bnzn: Then ' is a linear functional on Cn. Define ': P(R) ! R by '(p) = 3p00(5) + 7p(4). Then ' is a linear functional on P(R). R 1 Define ': P(R) ! R by '(p) = 0 p(x) dx. Then ' is a linear functional on P(R). Examples: Linear Functionals Definition: linear functional A linear functional on V is a linear map from V to F. In other words, a linear functional is an element of L(V; F). n n Fix (b1;:::; bn) 2 C . Define ': C ! C by '(z1;:::; zn) = b1z1 + ··· + bnzn: Then ' is a linear functional on Cn. Define ': P(R) ! R by '(p) = 3p00(5) + 7p(4). Then ' is a linear functional on P(R). R 1 Define ': P(R) ! R by '(p) = 0 p(x) dx. Then ' is a linear functional on P(R). Linear Functionals Definition: linear functional A linear functional on V is a linear map from V to F. In other words, a linear functional is an element of L(V; F). Examples: Define ': R3 ! R by '(x; y; z) = 4x − 5y + 2z. Then ' is a linear functional on R3. Define ': P(R) ! R by '(p) = 3p00(5) + 7p(4). Then ' is a linear functional on P(R). R 1 Define ': P(R) ! R by '(p) = 0 p(x) dx.
    [Show full text]
  • A Some Basic Rules of Tensor Calculus
    A Some Basic Rules of Tensor Calculus The tensor calculus is a powerful tool for the description of the fundamentals in con- tinuum mechanics and the derivation of the governing equations for applied prob- lems. In general, there are two possibilities for the representation of the tensors and the tensorial equations: – the direct (symbolic) notation and – the index (component) notation The direct notation operates with scalars, vectors and tensors as physical objects defined in the three dimensional space. A vector (first rank tensor) a is considered as a directed line segment rather than a triple of numbers (coordinates). A second rank tensor A is any finite sum of ordered vector pairs A = a b + ... +c d. The scalars, vectors and tensors are handled as invariant (independent⊗ from the choice⊗ of the coordinate system) objects. This is the reason for the use of the direct notation in the modern literature of mechanics and rheology, e.g. [29, 32, 49, 123, 131, 199, 246, 313, 334] among others. The index notation deals with components or coordinates of vectors and tensors. For a selected basis, e.g. gi, i = 1, 2, 3 one can write a = aig , A = aibj + ... + cidj g g i i ⊗ j Here the Einstein’s summation convention is used: in one expression the twice re- peated indices are summed up from 1 to 3, e.g. 3 3 k k ik ik a gk ∑ a gk, A bk ∑ A bk ≡ k=1 ≡ k=1 In the above examples k is a so-called dummy index. Within the index notation the basic operations with tensors are defined with respect to their coordinates, e.
    [Show full text]
  • Multilinear Algebra
    Appendix A Multilinear Algebra This chapter presents concepts from multilinear algebra based on the basic properties of finite dimensional vector spaces and linear maps. The primary aim of the chapter is to give a concise introduction to alternating tensors which are necessary to define differential forms on manifolds. Many of the stated definitions and propositions can be found in Lee [1], Chaps. 11, 12 and 14. Some definitions and propositions are complemented by short and simple examples. First, in Sect. A.1 dual and bidual vector spaces are discussed. Subsequently, in Sects. A.2–A.4, tensors and alternating tensors together with operations such as the tensor and wedge product are introduced. Lastly, in Sect. A.5, the concepts which are necessary to introduce the wedge product are summarized in eight steps. A.1 The Dual Space Let V be a real vector space of finite dimension dim V = n.Let(e1,...,en) be a basis of V . Then every v ∈ V can be uniquely represented as a linear combination i v = v ei , (A.1) where summation convention over repeated indices is applied. The coefficients vi ∈ R arereferredtoascomponents of the vector v. Throughout the whole chapter, only finite dimensional real vector spaces, typically denoted by V , are treated. When not stated differently, summation convention is applied. Definition A.1 (Dual Space)Thedual space of V is the set of real-valued linear functionals ∗ V := {ω : V → R : ω linear} . (A.2) The elements of the dual space V ∗ are called linear forms on V . © Springer International Publishing Switzerland 2015 123 S.R.
    [Show full text]
  • Math 2331 – Linear Algebra 6.2 Orthogonal Sets
    6.2 Orthogonal Sets Math 2331 { Linear Algebra 6.2 Orthogonal Sets Jiwen He Department of Mathematics, University of Houston [email protected] math.uh.edu/∼jiwenhe/math2331 Jiwen He, University of Houston Math 2331, Linear Algebra 1 / 12 6.2 Orthogonal Sets Orthogonal Sets Basis Projection Orthonormal Matrix 6.2 Orthogonal Sets Orthogonal Sets: Examples Orthogonal Sets: Theorem Orthogonal Basis: Examples Orthogonal Basis: Theorem Orthogonal Projections Orthonormal Sets Orthonormal Matrix: Examples Orthonormal Matrix: Theorems Jiwen He, University of Houston Math 2331, Linear Algebra 2 / 12 6.2 Orthogonal Sets Orthogonal Sets Basis Projection Orthonormal Matrix Orthogonal Sets Orthogonal Sets n A set of vectors fu1; u2;:::; upg in R is called an orthogonal set if ui · uj = 0 whenever i 6= j. Example 82 3 2 3 2 39 < 1 1 0 = Is 4 −1 5 ; 4 1 5 ; 4 0 5 an orthogonal set? : 0 0 1 ; Solution: Label the vectors u1; u2; and u3 respectively. Then u1 · u2 = u1 · u3 = u2 · u3 = Therefore, fu1; u2; u3g is an orthogonal set. Jiwen He, University of Houston Math 2331, Linear Algebra 3 / 12 6.2 Orthogonal Sets Orthogonal Sets Basis Projection Orthonormal Matrix Orthogonal Sets: Theorem Theorem (4) Suppose S = fu1; u2;:::; upg is an orthogonal set of nonzero n vectors in R and W =spanfu1; u2;:::; upg. Then S is a linearly independent set and is therefore a basis for W . Partial Proof: Suppose c1u1 + c2u2 + ··· + cpup = 0 (c1u1 + c2u2 + ··· + cpup) · = 0· (c1u1) · u1 + (c2u2) · u1 + ··· + (cpup) · u1 = 0 c1 (u1 · u1) + c2 (u2 · u1) + ··· + cp (up · u1) = 0 c1 (u1 · u1) = 0 Since u1 6= 0, u1 · u1 > 0 which means c1 = : In a similar manner, c2,:::,cp can be shown to by all 0.
    [Show full text]
  • True False Questions from 4,5,6
    (c)2015 UM Math Dept licensed under a Creative Commons By-NC-SA 4.0 International License. Math 217: True False Practice Professor Karen Smith 1. For every 2 × 2 matrix A, there exists a 2 × 2 matrix B such that det(A + B) 6= det A + det B. Solution note: False! Take A to be the zero matrix for a counterexample. 2. If the change of basis matrix SA!B = ~e4 ~e3 ~e2 ~e1 , then the elements of A are the same as the element of B, but in a different order. Solution note: True. The matrix tells us that the first element of A is the fourth element of B, the second element of basis A is the third element of B, the third element of basis A is the second element of B, and the the fourth element of basis A is the first element of B. 6 6 3. Every linear transformation R ! R is an isomorphism. Solution note: False. The zero map is a a counter example. 4. If matrix B is obtained from A by swapping two rows and det A < det B, then A is invertible. Solution note: True: we only need to know det A 6= 0. But if det A = 0, then det B = − det A = 0, so det A < det B does not hold. 5. If two n × n matrices have the same determinant, they are similar. Solution note: False: The only matrix similar to the zero matrix is itself. But many 1 0 matrices besides the zero matrix have determinant zero, such as : 0 0 6.
    [Show full text]