MINIMAL GENERATOR SETS FOR FINITELY GENERATED SHIFT-INVARIANT SUBSPACES OF L 2 (R n )

Save this PDF as:

Size: px
Start display at page:

Download "MINIMAL GENERATOR SETS FOR FINITELY GENERATED SHIFT-INVARIANT SUBSPACES OF L 2 (R n )"

Transcription

1 MINIMAL GENERATOR SETS FOR FINITELY GENERATED SHIFT-INVARIANT SUBSPACES OF L 2 (R n ) MARCIN BOWNIK AND NORBERT KAIBLINGER Abstract. Let S be a shift-invariant subspace of L 2 (R n ) defined by N generators and suppose that its length L, the minimal number of generators of S, is smaller than N. Then we show that at least one reduced family of generators can always be obtained by a linear combination of the original generators, without using translations. In fact, we prove that almost every such combination yields a new generator set. On the other hand, we construct an example where any rational linear combination fails. 1. Introduction and Main Result Given a family of functions φ 1,..., φ N L 2 (R n ), let S = S(φ 1,..., φ N ) denote the closed subspace of L 2 (R n ) generated by their integer translates. That is, S is the closure of the set of all functions f of the form N (1) f(t) = c j,k φ j (t k), t R n, j=1 k Z n where finitely many c j,k C are nonzero. By construction, these spaces S L 2 (R n ) are invariant under shifts, i.e., integer translations and they are called finitely generated shift-invariant spaces. Shift-invariant spaces play an important role in analysis, most notably in the areas of spline approximation, wavelets, Gabor (Weyl-Heisenberg) systems, subdivision schemes and uniform sampling. The structure of this type of spaces is analyzed in [1], see also [2, 3, 4, 9]. Only implicitly we are concerned with the dependence properties of sets of generators, for details on this topic we refer to [7, 8]. The minimal number L N of generators for the space S is called the length of S. Although we include the case L = N, our results are motivated by the case L < N. In this latter case, there exists a smaller family of generators ψ 1,..., ψ L L 2 (R n ) such that S(φ 1,..., φ N ) = S(ψ 1,..., ψ L ), with L < N. Since the new generators ψ 1,..., ψ L belong to S, they can be approximated in the L 2 -norm by functions of the form (1), i.e., by finite sums of shifts of the original generators. However, we prove that at least one reduced set of generators can be obtained from a linear combination of the original Date: December 17, Mathematics Subject Classification. Primary 47A15; Secondary 46E30. Key words and phrases. shift-invariant space, finitely generated shift-invariant space, principal shift-invariant space, minimal generator set. The first author was partially supported by the NSF grant DMS The second author was supported by the Austrian Science Fund FWF grant J

2 2 MARCIN BOWNIK AND NORBERT KAIBLINGER generators without translations. In particular, no limit or infinite summation is required. In fact, we show that almost every such linear combination yields a valid family of generators. On the other hand, we show that those combinations which fail to produce a generator set can be dense. That is, combining generators can be a sensitive procedure. Let M N,L (C) denote the space of complex N L matrices endowed with the product Lebesgue measure of C NL = R 2NL. Theorem 1. Given φ 1,..., φ N L 2 (R n ), let S = S(φ 1,..., φ N ) and let L N be the length of S. Let R M N,L (C) denote the set of those matrices Λ = (λ j,k ) 1 j N, 1 k L such that the linear combinations ψ k = N j=1 λ j,k φ j, for k = 1,..., L, yield S = S(ψ 1,..., ψ L ). (i) Then R = M N,L (C) \ N, where N is a null-set in M N,L (C). (ii) The set N in (i) can be dense in M N,L (C). Remark 1. The conclusions of Thm. 1 also hold when the complex matrices M N,L (C) are replaced by real matrices M L,N (R). We note that our results are not restricted to the case of compactly supported generators. We also mention that the shift-invariant space S in Thm. 1 is not required to be regular nor quasi-regular, see [1] for these notions. 2. Examples The main result, Thm. 1, has been formulated for finitely generated shift-invariant (FSI) spaces. We will illustrate this result by examples in the special case of principal shift-invariant (PSI) spaces. A shift-invariant subspace, initially possibly defined by more than one generator, is called principal if it can be defined by a single generator, i.e., if its length is L = 1. As an immediate consequence of Thm. 1 in the case of PSI spaces we have the following corollary. Corollary 1. Given φ 1,..., φ N L 2 (R n ), let S = S(φ 1,..., φ N ) and suppose that S is principal, i.e., the length of S is L = 1. Let R C N denote the set of those vectors λ = (λ 1,..., λ N ) such that the linear combination ψ = N j=1 λ j φ j yields S = S(ψ). (i) Then R = C N \ N, where N is a null-set in C N. (ii) The set N in (i) can be dense in C N. The subsequent examples illustrate Corollary 1 and show that the set N can be a singleton (Example 1) or indeed be dense in C N (Example 2). Example 3 demonstrates how the exceptional set N can be computed. We use the following normalization for the Fourier transform f(x) = f(t)e 2πi t,x dt, x R n. R n The support of a function f is defined without closure, supp f = {t R n : f(t) 0}. Let F denote the Lebesgue measure of a subset F R n. We will need the following elementary lemma, which can be easily deduced from [1, Thm. 1.7]. Lemma 1. Suppose that Σ R n is measurable and Σ (k + Σ) = 0, for all k Z n \ {0}. Let φ L 2 (R n ) be given by φ = χ Σ. Then S = S(φ) is a PSI space of the form S = {f L 2 (R n ) : supp f Σ}

3 MINIMAL GENERATOR SETS FOR SHIFT-INVARIANT SUBSPACES 3 Moreover, for any ψ S, we have S(ψ) = {f L 2 (R n ) : supp f supp ψ}. Example 1. The function sinc L 2 (R) is defined by sin πt sinc(t) =, t R. πt Given N 1, let φ 1,..., φ N L 2 (R) be a collection of distinct translations of the sinc-function. That is, φ j (t) = sinc(t t j ), t R, j = 1,..., N, where t 1,..., t N R satisfy t j t k, for j k. Let S = S(φ 1,..., φ N ). Then S is the Paley-Wiener space of functions in L 2 (R) which are band-limited to [ 1 2, 1 2 ], so S is principal. For example, the sinc-function itself or any of its shifts individually generate S. Indeed any linear combination of the original generators yields a single generator for S as well, unless all coefficients are zero. Hence, in this example the set N of Thm. 1 is consisting of the zero vector only. N = {0}, 0 = (0,..., 0) C N, Proof. The Fourier transform of any nonzero linear combination ψ = N j=1 λ jφ j of the given generators is a nonzero trigonometric polynomial restricted to the interval [ 1 2, 1 2 ]. Such a trigonometric polynomial cannot vanish on a subset of [ 1 2, 1 2 ] with positive measure. Hence, we have supp ψ = [ 1 2, 1 2 ], modulo null sets. Therefore, by Lemma 1 we obtain S = S(ψ), independently of the choice of (λ 1,..., λ N ) 0, so S = S(ψ) holds for any such linear combination. Example 2. For x R, let x denote the largest integer less or equal x. We define a discretized version of the Archimedean spiral by γ : [0, 1) Z 2, Next, let γ(x) = ( u cos 2πu, u sin 2πu ), u = tan π 2 x, x [0, 1). γ (x) = { γ(x)/ γ(x), if γ(x) 0, 0, otherwise, x [0, 1). Now define φ 1, φ 2 L 2 (R) by their Fourier transforms, obtained from γ = (γ1, γ 2 { ) by γj φ (x), x [0, 1), j (x) = j = 1, 2. 0, x R \ [0, 1), Let S = S(φ 1, φ 2 ). Then S is principal. In fact, the function ψ = λ 1 φ 1 + λ 2 φ 2 is a single generator, S = S(ψ), if and only if λ 1 and λ 2 are rationally linearly independent. So here the set N of Thm. 1 is N = {(λ 1, λ 2 ) C 2 : λ 1 and λ 2 rationally linear dependent}. In particular, any rational linear combination of φ 1, φ 2 fails to generate S. This example illustrates Corollary 1 for the case of real coefficients, cf. Remark 1. Namely, N R 2 is a null-set in R 2 yet it contains Q 2, so it is dense in R 2. For the extension to the case of complex coefficients, see the proof of Thm. 1(ii).

4 4 MARCIN BOWNIK AND NORBERT KAIBLINGER Proof. The Archimedean spiral is sufficiently close to Z 2 such that its discretization γ contains all of Z 2. In fact, for each z Z 2, the pre-image I z := γ 1 (z) R has positive measure, it contains at least one interval of positive length. Now suppose that λ 1, λ 2 C are linearly dependent over the rationals or, equivalently, over the integers. That is, Then, for ψ = λ 1 φ 1 + λ 2 φ 2 we obtain λ 1 z 1 + λ 2 z 2 = 0, for some z = (z 1, z 2 ) Z 2 \ {0}. (2) ψ(x) = λ1 φ1 (x) + λ 2 φ2 (x) = z 1 (λ 1 z 1 + λ 2 z 2 ) = 0 for all x I z. Since z 0, we have while (2) implies that so we conclude that I z supp φ 1 supp φ 2, I z supp ψ =, (supp φ 1 supp φ 2 ) \ supp ψ I z > 0. Thus, using Lemma 1 with Σ = supp φ 1 supp φ 2 [0, 1] we obtain S(ψ) S(φ 1, φ 2 ), for any rationally dependent λ 1, λ 2. With complementary arguments we obtain that if λ 1, λ 2 are rationally independent, then ψ(x) 0, for a.e. x z 0 I z = supp φ 1 supp φ 2, and consequently S(ψ) = S(φ 1, φ 2 ). Example 3. Let ρ: [0, 1] [0, 1] be an arbitrary measurable function. Define φ 1, φ 2 L 2 (R) by their Fourier transform φ 1 (x) = χ [0,1] (x) cos 2πρ(x), φ2 (x) = χ [0,1] (x) sin 2πρ(x), x R, and let S = S(φ 1, φ 2 ). Then S = {f L 2 (R): supp f [0, 1]}. In this example, the set N of Thm. 1 is determined by N = {0} (u θ ), θ Θ where u θ = (cos 2πθ, sin 2πθ) C 2, for given θ [0, 1], and Proof. First, we observe that Θ = {θ [0, 1]: ρ 1 (θ) > 0}. supp φ 1 supp φ 2 = [0, 1]. Hence, for ψ = λ 1 φ 1 + λ 2 φ 2 with λ = (λ 1, λ 2 ) C 2, by using Lemma 1 with Σ = [0, 1] we have the equivalence S = S(ψ) supp ψ = [0, 1] (modulo null sets)

5 MINIMAL GENERATOR SETS FOR SHIFT-INVARIANT SUBSPACES 5 λ 1 φ1 (x) + λ 2 φ2 (x) 0, for a.e. x [0, 1] (λ 1, λ 2 ) (cos 2πρ(x), sin 2πρ(x)), for a.e. x [0, 1] λ u ρ(x), for a.e. x [0, 1]. Therefore, we obtain the complementary characterization S S(ψ) λ u ρ(x), for all x from a set of positive measure, { λ = 0 or λ (u θ ), for some θ Θ, since (u θ1 ) (u θ2 ) = {0}, for θ 1 θ Proof of Thm. 1 We generally identify an operator A: C N l 2 (Z n ), v Av, with its matrix representation, (3) A = (a 1,..., a N ), a 1,..., a N l 2 (Z n ), that is, (4) Av(k) = N v j a j (k), k Z n. j=1 The composition of A with Λ M N,L (C) of the form A Λ can thus be viewed as a matrix multiplication. Recall the notion rank(a) = dim(range(a)). Lemma 2. Let L N and suppose that A: C N l 2 (Z n ) satisfies rank(a) L. Define N A = {Λ M N,L (C): rank(a Λ) rank(a)}. Then N A is a null-set in M N,L (C). Remark 2. (i) Since A and Λ in Lemma 2 are finite rank operators, we notice that the identity rank(a Λ) = rank(a) holds if and only if range(a Λ) = range(a), for both of these range spaces are finite-dimensional hence they are closed. (ii) If rank(a) = L = N, then N A = {Λ M N,N (C): Λ singular}. If rank(a) = L = 1, then A = s a for some s l 2 (Z n ), a C N, and Proof. Let K = rank(a) and note that N A = a = {λ C N : λ a}. K = dim(range(a)) = dim(ker(a) ). Let {q 1,..., q K } C N denote an orthonormal basis for ker(a) and let {q K+1,..., q N } C N denote an orthonormal basis for ker(a). Define Q M N,N (C) by its column vectors Q = (q 1,..., q N ) and notice that Q is unitary. Then the operator R = A Q: C N l 2 (Z n ) has the matrix representation R = A Q = (Aq 1,..., Aq N ) = (r 1,..., r K, 0,..., 0),

6 6 MARCIN BOWNIK AND NORBERT KAIBLINGER where r 1,..., r K l 2 (Z n ) are linearly independent. The special structure of R allows us to determine (5) N R = {Λ M N,L (C): rank(r Λ) rank(r)} = { Λ = ( Λ 1 Λ 2 ) MK,L (C) M N K,L (C): rank(λ 1 ) K 1 }. Since the rank-deficient matrices in M K,L (C) are a null-set in M K,L (C), we conclude from (5) that N R is a null-set in M N,L (C), i.e., (6) N R = 0. Now we observe that (7) N A = {Λ M N,L (C): rank(a Λ) rank(a)} = {Λ M N,L (C): rank(r Q 1 Λ) rank(r Q 1 )} = {Q Λ M N,L (C): rank(r Λ) rank(r)} = QN R. Since Q is unitary, we notice that the bijection Λ QΛ is measure preserving in M N,L (C). Therefore, from (6) and (7) we obtain N A = Q N R = N R = 0. The next lemma is a variant of the Fubini theorem without integrals, it is sometimes called Fubini s theorem for null sets. In some cases it is an implicit preliminary result for proving the Fubini-Tonelli theorem. Conversely, it also follows immediately from the Fubini-Tonelli theorem, so we omit a reference. Lemma 3. Given X R n 1 and Y R n 2, suppose F X Y. For x X, let F x = {y Y : (x, y) F } and for y Y, let F y = {x X : (x, y) F }. If F is measurable, then the following are equivalent. (i) F = 0, (ii) F x = 0, for a.e. x X, (iii) F y = 0, for a.e. y Y. Remark 3. It is known from a paradoxical set of Sierpiński that the assumption that F is measurable in Lemma 3 cannot be removed. Proof of Thm. 1. (i) Given f L 2 (R n ), let T f : T n l 2 (Z n ) denote the fibration mapping for shift-invariant spaces [1, 3], defined by T f(x) = ( f(x + k) )k Z n, x T n, where T n = R n /Z n is identified with the fundamental domain [ 1 2, 1 2 )n. For x T n, define A(x): C N l 2 (Z n ), v A(x) v, by its matrix representation, cf. (3) and (4), A(x) = (T φ 1 (x),..., T φ N (x)), x T n.

7 MINIMAL GENERATOR SETS FOR SHIFT-INVARIANT SUBSPACES 7 We note that each column of A(x) is an element of l 2 (Z n ). Then for the composed operator A(x) Λ: C L l 2 (Z n ) we have λ 1,1... λ 1,L A(x) Λ = (T φ 1 (x),..., T φ N (x)).. λ N,1... λ N,L Define the subset F T n M N,L (C) by = (T ψ 1 (x),..., T ψ L (x)), x T n. F = {(x, Λ) T n C N : rank(a(x) Λ) rank ( A(x) ) }. Since x T φ j (x) is measurable, for j = 1,..., N, we have that x A(x) is measurable so the function h: T n M N,L (C) N defined by h(x, Λ) = rank(a(x)) rank(a(x) Λ) is measurable. Now the set F is the pre-image under h of {1,..., L}, i.e., so we conclude that F is measurable. Denote F = h 1 ({1,..., L}), F x = {Λ M N,L (C): rank(a(x) Λ) rank(a(x))}, x T n, and F Λ = {x T n : rank(a(x) Λ) rank(a(x))}, By Lemma 2 we have that So Lemma 3 implies that F x = 0, for a.e. x T n. (8) F Λ = 0, for a.e. Λ M N,L (C). Λ M N,L (C). Next, by Remark 2 and using the notion of the range function J S of a shift-invariant space S [1, 3, 4], we have for x T n, (9) rank(a(x) Λ) = rank(a(x)), range(a(x) Λ) = range(a(x)), span ( T ψ 1 (x),... T ψ L (x) ) = span ( T φ 1 (x),... T φ N (x) ), J S(ψ1,...,ψ L )(x) = J S(φ1,...,φ N )(x). Thus, from the characterization of FSI spaces in terms of the range function [1, 3], by using (9) we obtain the following equivalence, (10) S(ψ 1,..., ψ L ) = S(φ 1,..., φ N ) J S(ψ1,...,ψ L )(x) = J S(φ1,...,φ N )(x), for a.e. x T n, rank(a(x) Λ) = rank(a(x)), for a.e. x T n. Then using (10) the set N of Thm. 1 can be expressed as follows, N = {Λ M N,L (C): S(ψ 1,..., ψ L ) S(φ 1,..., φ N )} = {Λ M N,L (C): rank(a(x) Λ) rank ( A(x) ) for all x from a set

8 8 MARCIN BOWNIK AND NORBERT KAIBLINGER = {Λ M N,L (C): F Λ > 0}. of positive measure} Therefore, (8) implies that N is a null set. (ii) For principal shift-invariant spaces (L = 1) and in dimension n = 1, the statement is verified by Example 2 for the case of N = 2 generators and real coefficients. The construction can be extended to general N and complex coefficients. Namely, replace the Archimedean spiral in R 2, which comes close to each point of the lattice Z 2, with a continuous curve γ in C N = R 2N which comes close to the lattice Z 2N. More precisely, we require that γ intersects with every open cube k + (0, 1) 2N, for k Z 2N. The case of general L = 1,..., N is obtained by extending the pair of generators φ 1, φ 2 to the set of 2L generators {φ (k) 1, φ(k) 2 } 1 k L, where φ (k) j (x) = e 2πikx φ j (x), k = 1,..., L, j = 1, 2, x R. The extension of this construction to arbitrary dimension n = 1, 2,... yields no additional difficulty, and hence we omit the details. 4. Final Remarks We have shown that some minimal generator sets for finitely generated shift-invariant subspaces of L 2 (R n ) can always be obtained as linear combinations of the original generators without using translations. It is interesting to ask whether the same holds for finitely generated shift-invariant subspaces of L p (R n ), where 1 p and p 2. For a few properties of these spaces we refer to [5, 6]. Since the proof of Thm. 1 relies heavily on fiberization techniques for p = 2 and on the characterization of shift-invariant spaces in terms of range functions, this question remains open for p 2. References [1] C. de Boor, R. A. DeVore, and A. Ron, The structure of finitely generated shift-invariant spaces in L 2(R d ), J. Funct. Anal. 119 (1994), no. 1, [2], Approximation from shift-invariant subspaces of L 2(R d ), Trans. Amer. Math. Soc. 341 (1994), no. 2, [3] M. Bownik, The structure of shift-invariant subspaces of L 2 (R n ), J. Funct. Anal. 177 (2000), no. 2, [4] H. Helson, Lectures on Invariant Subspaces, Academic Press, New York, [5] R.-Q. Jia, Shift-invariant spaces on the real line, Proc. Amer. Math. Soc. 125 (1997), no. 3, [6], Stability of the shifts of a finite number of functions, J. Approx. Theory 95 (1998), no. 2, [7] R. Q. Jia and C. A. Micchelli, On linear independence for integer translates of a finite number of functions, Proc. Edinburgh Math. Soc. 36 (1993), no. 1, [8] A. Ron, A necessary and sufficient condition for the linear independence of the integer translates of a compactly supported distribution, Constr. Approx. 5 (1989), no. 3, [9] A. Ron and Z. Shen, Frames and stable bases for shift-invariant subspaces of L 2(R d ), Canad. J. Math. 47 (1995), no. 5, Department of Mathematics, University of Oregon, Eugene, Oregon , USA address: Department of Mathematics, University of Vienna, Nordbergstraße 15, 1090 Vienna, Austria Current address: School of Mathematics, Georgia Institute of Technology, Atlanta, Georgia , USA address:

Review: Vector space

Math 2F Linear Algebra Lecture 13 1 Basis and dimensions Slide 1 Review: Subspace of a vector space. (Sec. 4.1) Linear combinations, l.d., l.i. vectors. (Sec. 4.3) Dimension and Base of a vector space.

Mathematics Course 111: Algebra I Part IV: Vector Spaces

Mathematics Course 111: Algebra I Part IV: Vector Spaces D. R. Wilkins Academic Year 1996-7 9 Vector Spaces A vector space over some field K is an algebraic structure consisting of a set V on which are

Methods for Finding Bases

Methods for Finding Bases Bases for the subspaces of a matrix Row-reduction methods can be used to find bases. Let us now look at an example illustrating how to obtain bases for the row space, null space,

NOTES ON LINEAR TRANSFORMATIONS

NOTES ON LINEAR TRANSFORMATIONS Definition 1. Let V and W be vector spaces. A function T : V W is a linear transformation from V to W if the following two properties hold. i T v + v = T v + T v for all

Similarity and Diagonalization. Similar Matrices

MATH022 Linear Algebra Brief lecture notes 48 Similarity and Diagonalization Similar Matrices Let A and B be n n matrices. We say that A is similar to B if there is an invertible n n matrix P such that

Vector Spaces II: Finite Dimensional Linear Algebra 1

John Nachbar September 2, 2014 Vector Spaces II: Finite Dimensional Linear Algebra 1 1 Definitions and Basic Theorems. For basic properties and notation for R N, see the notes Vector Spaces I. Definition

Chapter 5: Application: Fourier Series

321 28 9 Chapter 5: Application: Fourier Series For lack of time, this chapter is only an outline of some applications of Functional Analysis and some proofs are not complete. 5.1 Definition. If f L 1

Math 215 Exam #1 Practice Problem Solutions

Math 5 Exam # Practice Problem Solutions For each of the following statements, say whether it is true or false If the statement is true, prove it If false, give a counterexample (a) If A is a matrix such

CHAPTER III - MARKOV CHAINS

CHAPTER III - MARKOV CHAINS JOSEPH G. CONLON 1. General Theory of Markov Chains We have already discussed the standard random walk on the integers Z. A Markov Chain can be viewed as a generalization of

MATH 110 Spring 2015 Homework 6 Solutions

MATH 110 Spring 2015 Homework 6 Solutions Section 2.6 2.6.4 Let α denote the standard basis for V = R 3. Let α = {e 1, e 2, e 3 } denote the dual basis of α for V. We would first like to show that β =

Linear Span and Bases

MAT067 University of California, Davis Winter 2007 Linear Span and Bases Isaiah Lankham, Bruno Nachtergaele, Anne Schilling (January 23, 2007) Intuition probably tells you that the plane R 2 is of dimension

Interpolating Polynomials Handout March 7, 2012

Interpolating Polynomials Handout March 7, 212 Again we work over our favorite field F (such as R, Q, C or F p ) We wish to find a polynomial y = f(x) passing through n specified data points (x 1,y 1 ),

INTERSECTION OF DILATES OF SHIFT-INVARIANT SPACES

PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 137, Number 2, February 2009, Pages 563 572 S 0002-9939(08)09682-2 Article electronically published on October 8, 2008 INTERSECTION OF DILATES OF

MATH 304 Linear Algebra Lecture 16: Basis and dimension.

MATH 304 Linear Algebra Lecture 16: Basis and dimension. Basis Definition. Let V be a vector space. A linearly independent spanning set for V is called a basis. Equivalently, a subset S V is a basis for

IRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL. 1. Introduction

IRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL R. DRNOVŠEK, T. KOŠIR Dedicated to Prof. Heydar Radjavi on the occasion of his seventieth birthday. Abstract. Let S be an irreducible

3. Some commutative algebra Definition 3.1. Let R be a ring. We say that R is graded, if there is a direct sum decomposition, M n, R n,

3. Some commutative algebra Definition 3.1. Let be a ring. We say that is graded, if there is a direct sum decomposition, = n N n, where each n is an additive subgroup of, such that d e d+e. The elements

F. ABTAHI and M. ZARRIN. (Communicated by J. Goldstein)

Journal of Algerian Mathematical Society Vol. 1, pp. 1 6 1 CONCERNING THE l p -CONJECTURE FOR DISCRETE SEMIGROUPS F. ABTAHI and M. ZARRIN (Communicated by J. Goldstein) Abstract. For 2 < p

Linear Algebra Concepts

University of Central Florida School of Electrical Engineering Computer Science EGN-3420 - Engineering Analysis. Fall 2009 - dcm Linear Algebra Concepts Vector Spaces To define the concept of a vector

Exercise 1. Let E be a given set. Prove that the following statements are equivalent.

Real Variables, Fall 2014 Problem set 1 Solution suggestions Exercise 1. Let E be a given set. Prove that the following statements are equivalent. (i) E is measurable. (ii) Given ε > 0, there exists an

MATH10212 Linear Algebra. Systems of Linear Equations. Definition. An n-dimensional vector is a row or a column of n numbers (or letters): a 1.

MATH10212 Linear Algebra Textbook: D. Poole, Linear Algebra: A Modern Introduction. Thompson, 2006. ISBN 0-534-40596-7. Systems of Linear Equations Definition. An n-dimensional vector is a row or a column

QUADRATIC ALGEBRAS WITH EXT ALGEBRAS GENERATED IN TWO DEGREES. Thomas Cassidy

QUADRATIC ALGEBRAS WITH EXT ALGEBRAS GENERATED IN TWO DEGREES Thomas Cassidy Department of Mathematics Bucknell University Lewisburg, Pennsylvania 17837 Abstract Green and Marcos [3] call a graded k-algebra

MATHEMATICAL BACKGROUND

Chapter 1 MATHEMATICAL BACKGROUND This chapter discusses the mathematics that is necessary for the development of the theory of linear programming. We are particularly interested in the solutions of a

1 Orthogonal projections and the approximation

Math 1512 Fall 2010 Notes on least squares approximation Given n data points (x 1, y 1 ),..., (x n, y n ), we would like to find the line L, with an equation of the form y = mx + b, which is the best fit

Math 113 Homework 3. October 16, 2013

Math 113 Homework 3 October 16, 2013 This homework is due Thursday October 17th at the start of class. Remember to write clearly, and justify your solutions. Please make sure to put your name on the first

HOLOMORPHIC FRAMES FOR WEAKLY CONVERGING HOLOMORPHIC VECTOR BUNDLES

HOLOMORPHIC FRAMES FOR WEAKLY CONVERGING HOLOMORPHIC VECTOR BUNDLES GEORGIOS D. DASKALOPOULOS AND RICHARD A. WENTWORTH Perhaps the most useful analytic tool in gauge theory is the Uhlenbeck compactness

P -adic numbers And Bruhat-Tits Tree

P -adic numbers And Bruhat-Tits Tree In the first part of these notes we give a brief introduction to p-adic numbers. In the second part we discuss some properties of the Bruhat-Tits tree. It is mostly

4.5 Linear Dependence and Linear Independence

4.5 Linear Dependence and Linear Independence 267 32. {v 1, v 2 }, where v 1, v 2 are collinear vectors in R 3. 33. Prove that if S and S are subsets of a vector space V such that S is a subset of S, then

( ) which must be a vector

MATH 37 Linear Transformations from Rn to Rm Dr. Neal, WKU Let T : R n R m be a function which maps vectors from R n to R m. Then T is called a linear transformation if the following two properties are

Sec 4.1 Vector Spaces and Subspaces

Sec 4. Vector Spaces and Subspaces Motivation Let S be the set of all solutions to the differential equation y + y =. Let T be the set of all 2 3 matrices with real entries. These two sets share many common

f(x) is a singleton set for all x A. If f is a function and f(x) = {y}, we normally write

Math 525 Chapter 1 Stuff If A and B are sets, then A B = {(x,y) x A, y B} denotes the product set. If S A B, then S is called a relation from A to B or a relation between A and B. If B = A, S A A is called

MATH 304 Linear Algebra Lecture 18: Rank and nullity of a matrix.

MATH 304 Linear Algebra Lecture 18: Rank and nullity of a matrix. Nullspace Let A = (a ij ) be an m n matrix. Definition. The nullspace of the matrix A, denoted N(A), is the set of all n-dimensional column

7 - Linear Transformations

7 - Linear Transformations Mathematics has as its objects of study sets with various structures. These sets include sets of numbers (such as the integers, rationals, reals, and complexes) whose structure

Course 421: Algebraic Topology Section 1: Topological Spaces

Course 421: Algebraic Topology Section 1: Topological Spaces David R. Wilkins Copyright c David R. Wilkins 1988 2008 Contents 1 Topological Spaces 1 1.1 Continuity and Topological Spaces...............

d(f(g(p )), f(g(q))) = d(g(p ), g(q)) = d(p, Q).

10.2. (continued) As we did in Example 5, we may compose any two isometries f and g to obtain new mappings f g: E E, (f g)(p ) = f(g(p )), g f: E E, (g f)(p ) = g(f(p )). These are both isometries, the

Orthogonal Diagonalization of Symmetric Matrices

MATH10212 Linear Algebra Brief lecture notes 57 Gram Schmidt Process enables us to find an orthogonal basis of a subspace. Let u 1,..., u k be a basis of a subspace V of R n. We begin the process of finding

Applications of Fourier series

Chapter Applications of Fourier series One of the applications of Fourier series is the evaluation of certain infinite sums. For example, n= n,, are computed in Chapter (see for example, Remark.4.). n=

3.7 Non-autonomous linear systems of ODE. General theory

3.7 Non-autonomous linear systems of ODE. General theory Now I will study the ODE in the form ẋ = A(t)x + g(t), x(t) R k, A, g C(I), (3.1) where now the matrix A is time dependent and continuous on some

Some Basic Properties of Vectors in n

These notes closely follow the presentation of the material given in David C. Lay s textbook Linear Algebra and its Applications (3rd edition). These notes are intended primarily for in-class presentation

BANACH AND HILBERT SPACE REVIEW

BANACH AND HILBET SPACE EVIEW CHISTOPHE HEIL These notes will briefly review some basic concepts related to the theory of Banach and Hilbert spaces. We are not trying to give a complete development, but

1. Sigma algebras. Let A be a collection of subsets of some fixed set Ω. It is called a σ -algebra with the unit element Ω if. lim sup. j E j = E.

Real Analysis, course outline Denis Labutin 1 Measure theory I 1. Sigma algebras. Let A be a collection of subsets of some fixed set Ω. It is called a σ -algebra with the unit element Ω if (a), Ω A ; (b)

Row Ideals and Fibers of Morphisms

Michigan Math. J. 57 (2008) Row Ideals and Fibers of Morphisms David Eisenbud & Bernd Ulrich Affectionately dedicated to Mel Hochster, who has been an inspiration to us for many years, on the occasion

Lecture Note on Linear Algebra 15. Dimension and Rank

Lecture Note on Linear Algebra 15. Dimension and Rank Wei-Shi Zheng, wszheng@ieee.org, 211 November 1, 211 1 What Do You Learn from This Note We still observe the unit vectors we have introduced in Chapter

Galois theory and the normal basis theorem

Galois theory and the normal basis theorem Arthur Ogus December 3, 2010 Recall the following key result: Theorem 1 (Independence of characters) Let M be a monoid and let K be a field. Then the set of monoid

An important class of codes are linear codes in the vector space Fq n, where F q is a finite field of order q.

Chapter 3 Linear Codes An important class of codes are linear codes in the vector space Fq n, where F q is a finite field of order q. Definition 3.1 (Linear code). A linear code C is a code in Fq n for

T ( a i x i ) = a i T (x i ).

Chapter 2 Defn 1. (p. 65) Let V and W be vector spaces (over F ). We call a function T : V W a linear transformation form V to W if, for all x, y V and c F, we have (a) T (x + y) = T (x) + T (y) and (b)

by the matrix A results in a vector which is a reflection of the given

Eigenvalues & Eigenvectors Example Suppose Then So, geometrically, multiplying a vector in by the matrix A results in a vector which is a reflection of the given vector about the y-axis We observe that

6. Metric spaces. In this section we review the basic facts about metric spaces. d : X X [0, )

6. Metric spaces In this section we review the basic facts about metric spaces. Definitions. A metric on a non-empty set X is a map with the following properties: d : X X [0, ) (i) If x, y X are points

Linear Codes. In the V[n,q] setting, the terms word and vector are interchangeable.

Linear Codes Linear Codes In the V[n,q] setting, an important class of codes are the linear codes, these codes are the ones whose code words form a sub-vector space of V[n,q]. If the subspace of V[n,q]

Problem Set. Problem Set #2. Math 5322, Fall December 3, 2001 ANSWERS

Problem Set Problem Set #2 Math 5322, Fall 2001 December 3, 2001 ANSWERS i Problem 1. [Problem 18, page 32] Let A P(X) be an algebra, A σ the collection of countable unions of sets in A, and A σδ the collection

KOLMOGOROV-SMIRNOV ISOMETRIES OF THE SPACE OF GENERALIZED DISTRIBUTION FUNCTIONS

KOLMOGOROV-SMIRNOV ISOMETRIES OF THE SPACE OF GENERALIZED DISTRIBUTION FUNCTIONS LAJOS MOLNÁR* AND PATRĆIA SZOKOL** Abstract. In this paper we describe the structure of surjective isometries of the space

Summary of week 8 (Lectures 22, 23 and 24)

WEEK 8 Summary of week 8 (Lectures 22, 23 and 24) This week we completed our discussion of Chapter 5 of [VST] Recall that if V and W are inner product spaces then a linear map T : V W is called an isometry

1 Sets and Set Notation.

LINEAR ALGEBRA MATH 27.6 SPRING 23 (COHEN) LECTURE NOTES Sets and Set Notation. Definition (Naive Definition of a Set). A set is any collection of objects, called the elements of that set. We will most

Math 312 Homework 1 Solutions

Math 31 Homework 1 Solutions Last modified: July 15, 01 This homework is due on Thursday, July 1th, 01 at 1:10pm Please turn it in during class, or in my mailbox in the main math office (next to 4W1) Please

Ideal Class Group and Units

Chapter 4 Ideal Class Group and Units We are now interested in understanding two aspects of ring of integers of number fields: how principal they are (that is, what is the proportion of principal ideals

The Dirichlet Unit Theorem

Chapter 6 The Dirichlet Unit Theorem As usual, we will be working in the ring B of algebraic integers of a number field L. Two factorizations of an element of B are regarded as essentially the same if

4.6 Null Space, Column Space, Row Space

NULL SPACE, COLUMN SPACE, ROW SPACE Null Space, Column Space, Row Space In applications of linear algebra, subspaces of R n typically arise in one of two situations: ) as the set of solutions of a linear

Problems for Advanced Linear Algebra Fall 2012

Problems for Advanced Linear Algebra Fall 2012 Class will be structured around students presenting complete solutions to the problems in this handout. Please only agree to come to the board when you are

(b) Prove that there is NO ordered basis γ of V s.t. Solution: (a) We have

Advanced Linear Algebra, Fall 2011. Solutions to midterm #1. 1. Let V = P 2 (R), the vector space of polynomials of degree 2 over R. Let T : V V be the differentiation map, that is, T (f(x)) = f (x). (a)

Fourier series. Jan Philip Solovej. English summary of notes for Analysis 1. May 8, 2012

Fourier series Jan Philip Solovej English summary of notes for Analysis 1 May 8, 2012 1 JPS, Fourier series 2 Contents 1 Introduction 2 2 Fourier series 3 2.1 Periodic functions, trigonometric polynomials

Linear Least Squares

Linear Least Squares Suppose we are given a set of data points {(x i,f i )}, i = 1,...,n. These could be measurements from an experiment or obtained simply by evaluating a function at some points. One

Preliminaries of linear algebra

Preliminaries of linear algebra (for the Automatic Control course) Matteo Rubagotti March 3, 2011 This note sums up the preliminary definitions and concepts of linear algebra needed for the resolution

THE DIMENSION OF A VECTOR SPACE

THE DIMENSION OF A VECTOR SPACE KEITH CONRAD This handout is a supplementary discussion leading up to the definition of dimension and some of its basic properties. Let V be a vector space over a field

Cylinder Maps and the Schwarzian

Cylinder Maps and the Schwarzian John Milnor Stony Brook University (www.math.sunysb.edu) Bremen June 16, 2008 Cylinder Maps 1 work with Araceli Bonifant Let C denote the cylinder (R/Z) I. (.5, 1) fixed

MATH 2030: SYSTEMS OF LINEAR EQUATIONS. ax + by + cz = d. )z = e. while these equations are not linear: xy z = 2, x x = 0,

MATH 23: SYSTEMS OF LINEAR EQUATIONS Systems of Linear Equations In the plane R 2 the general form of the equation of a line is ax + by = c and that the general equation of a plane in R 3 will be we call

CHAPTER IV NORMED LINEAR SPACES AND BANACH SPACES

CHAPTER IV NORMED LINEAR SPACES AND BANACH SPACES DEFINITION A Banach space is a real normed linear space that is a complete metric space in the metric defined by its norm. A complex Banach space is a

Linear Maps. Isaiah Lankham, Bruno Nachtergaele, Anne Schilling (February 5, 2007)

MAT067 University of California, Davis Winter 2007 Linear Maps Isaiah Lankham, Bruno Nachtergaele, Anne Schilling (February 5, 2007) As we have discussed in the lecture on What is Linear Algebra? one of

Fourier Series. A Fourier series is an infinite series of the form. a + b n cos(nωx) +

Fourier Series A Fourier series is an infinite series of the form a b n cos(nωx) c n sin(nωx). Virtually any periodic function that arises in applications can be represented as the sum of a Fourier series.

MATH1231 Algebra, 2015 Chapter 7: Linear maps

MATH1231 Algebra, 2015 Chapter 7: Linear maps A/Prof. Daniel Chan School of Mathematics and Statistics University of New South Wales danielc@unsw.edu.au Daniel Chan (UNSW) MATH1231 Algebra 1 / 43 Chapter

Lectures notes on orthogonal matrices (with exercises) 92.222 - Linear Algebra II - Spring 2004 by D. Klain

Lectures notes on orthogonal matrices (with exercises) 92.222 - Linear Algebra II - Spring 2004 by D. Klain 1. Orthogonal matrices and orthonormal sets An n n real-valued matrix A is said to be an orthogonal

MATH31011/MATH41011/MATH61011: FOURIER ANALYSIS AND LEBESGUE INTEGRATION. Chapter 4: Fourier Series and L 2 ([ π, π], µ) ( 1 π

MATH31011/MATH41011/MATH61011: FOURIER ANALYSIS AND LEBESGUE INTEGRATION Chapter 4: Fourier Series and L ([, π], µ) Square Integrable Functions Definition. Let f : [, π] R be measurable. We say that f

Quick Reference Guide to Linear Algebra in Quantum Mechanics

Quick Reference Guide to Linear Algebra in Quantum Mechanics Scott N. Walck September 2, 2014 Contents 1 Complex Numbers 2 1.1 Introduction............................ 2 1.2 Real Numbers...........................

A CHARACTERIZATION OF QUASICONVEX VECTOR-VALUED FUNCTIONS. 1. Introduction

1 2 A CHARACTERIZATION OF QUASICONVEX VECTOR-VALUED FUNCTIONS Abstract. The aim of this paper is to characterize in terms of scalar quasiconvexity the vector-valued functions which are K-quasiconvex with

MATH36001 Background Material 2015

MATH3600 Background Material 205 Matrix Algebra Matrices and Vectors An ordered array of mn elements a ij (i =,, m; j =,, n) written in the form a a 2 a n A = a 2 a 22 a 2n a m a m2 a mn is said to be

REAL ANALYSIS I HOMEWORK 2

REAL ANALYSIS I HOMEWORK 2 CİHAN BAHRAN The questions are from Stein and Shakarchi s text, Chapter 1. 1. Prove that the Cantor set C constructed in the text is totally disconnected and perfect. In other

Section 6.1 - Inner Products and Norms

Section 6.1 - Inner Products and Norms Definition. Let V be a vector space over F {R, C}. An inner product on V is a function that assigns, to every ordered pair of vectors x and y in V, a scalar in F,

These axioms must hold for all vectors ū, v, and w in V and all scalars c and d.

DEFINITION: A vector space is a nonempty set V of objects, called vectors, on which are defined two operations, called addition and multiplication by scalars (real numbers), subject to the following axioms

CHARACTERISTIC ROOTS AND VECTORS

CHARACTERISTIC ROOTS AND VECTORS 1 DEFINITION OF CHARACTERISTIC ROOTS AND VECTORS 11 Statement of the characteristic root problem Find values of a scalar λ for which there exist vectors x 0 satisfying

FACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z

FACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z DANIEL BIRMAJER, JUAN B GIL, AND MICHAEL WEINER Abstract We consider polynomials with integer coefficients and discuss their factorization

Finite dimensional topological vector spaces

Chapter 3 Finite dimensional topological vector spaces 3.1 Finite dimensional Hausdorff t.v.s. Let X be a vector space over the field K of real or complex numbers. We know from linear algebra that the

ON GALOIS REALIZATIONS OF THE 2-COVERABLE SYMMETRIC AND ALTERNATING GROUPS

ON GALOIS REALIZATIONS OF THE 2-COVERABLE SYMMETRIC AND ALTERNATING GROUPS DANIEL RABAYEV AND JACK SONN Abstract. Let f(x) be a monic polynomial in Z[x] with no rational roots but with roots in Q p for

Math 225A, Differential Topology: Homework 3

Math 225A, Differential Topology: Homework 3 Ian Coley October 17, 2013 Problem 1.4.7. Suppose that y is a regular value of f : X Y, where X is compact and dim X = dim Y. Show that f 1 (y) is a finite

Prime Numbers and Irreducible Polynomials

Prime Numbers and Irreducible Polynomials M. Ram Murty The similarity between prime numbers and irreducible polynomials has been a dominant theme in the development of number theory and algebraic geometry.

160 CHAPTER 4. VECTOR SPACES

160 CHAPTER 4. VECTOR SPACES 4. Rank and Nullity In this section, we look at relationships between the row space, column space, null space of a matrix and its transpose. We will derive fundamental results

Recall that two vectors in are perpendicular or orthogonal provided that their dot

Orthogonal Complements and Projections Recall that two vectors in are perpendicular or orthogonal provided that their dot product vanishes That is, if and only if Example 1 The vectors in are orthogonal

x 3y 2z = 6 1.2) 2x 4y 3z = 8 3x + 6y + 8z = 5 x + 3y 2z + 5t = 4 1.5) 2x + 8y z + 9t = 9 3x + 5y 12z + 17t = 7 Linear Algebra-Lab 2

Linear Algebra-Lab 1 1) Use Gaussian elimination to solve the following systems x 1 + x 2 2x 3 + 4x 4 = 5 1.1) 2x 1 + 2x 2 3x 3 + x 4 = 3 3x 1 + 3x 2 4x 3 2x 4 = 1 x + y + 2z = 4 1.4) 2x + 3y + 6z = 10

Math 54. Selected Solutions for Week Is u in the plane in R 3 spanned by the columns

Math 5. Selected Solutions for Week 2 Section. (Page 2). Let u = and A = 5 2 6. Is u in the plane in R spanned by the columns of A? (See the figure omitted].) Why or why not? First of all, the plane in

FINITE DIMENSIONAL ORDERED VECTOR SPACES WITH RIESZ INTERPOLATION AND EFFROS-SHEN S UNIMODULARITY CONJECTURE AARON TIKUISIS

FINITE DIMENSIONAL ORDERED VECTOR SPACES WITH RIESZ INTERPOLATION AND EFFROS-SHEN S UNIMODULARITY CONJECTURE AARON TIKUISIS Abstract. It is shown that, for any field F R, any ordered vector space structure

MA106 Linear Algebra lecture notes

MA106 Linear Algebra lecture notes Lecturers: Martin Bright and Daan Krammer Warwick, January 2011 Contents 1 Number systems and fields 3 1.1 Axioms for number systems......................... 3 2 Vector

1 VECTOR SPACES AND SUBSPACES

1 VECTOR SPACES AND SUBSPACES What is a vector? Many are familiar with the concept of a vector as: Something which has magnitude and direction. an ordered pair or triple. a description for quantities such

Theta Functions. Lukas Lewark. Seminar on Modular Forms, 31. Januar 2007

Theta Functions Lukas Lewark Seminar on Modular Forms, 31. Januar 007 Abstract Theta functions are introduced, associated to lattices or quadratic forms. Their transformation property is proven and the

Problem Set 1 Solutions Math 109

Problem Set 1 Solutions Math 109 Exercise 1.6 Show that a regular tetrahedron has a total of twenty-four symmetries if reflections and products of reflections are allowed. Identify a symmetry which is

Continued Fractions and the Euclidean Algorithm

Continued Fractions and the Euclidean Algorithm Lecture notes prepared for MATH 326, Spring 997 Department of Mathematics and Statistics University at Albany William F Hammond Table of Contents Introduction

Inner Product Spaces

Math 571 Inner Product Spaces 1. Preliminaries An inner product space is a vector space V along with a function, called an inner product which associates each pair of vectors u, v with a scalar u, v, and

The Mathematics of Origami

The Mathematics of Origami Sheri Yin June 3, 2009 1 Contents 1 Introduction 3 2 Some Basics in Abstract Algebra 4 2.1 Groups................................. 4 2.2 Ring..................................

LINEAR ALGEBRA W W L CHEN

LINEAR ALGEBRA W W L CHEN c W W L Chen, 1997, 2008 This chapter is available free to all individuals, on understanding that it is not to be used for financial gain, and may be downloaded and/or photocopied,

4: EIGENVALUES, EIGENVECTORS, DIAGONALIZATION

4: EIGENVALUES, EIGENVECTORS, DIAGONALIZATION STEVEN HEILMAN Contents 1. Review 1 2. Diagonal Matrices 1 3. Eigenvectors and Eigenvalues 2 4. Characteristic Polynomial 4 5. Diagonalizability 6 6. Appendix:

The determinant of a skew-symmetric matrix is a square. This can be seen in small cases by direct calculation: 0 a. 12 a. a 13 a 24 a 14 a 23 a 14

4 Symplectic groups In this and the next two sections, we begin the study of the groups preserving reflexive sesquilinear forms or quadratic forms. We begin with the symplectic groups, associated with

Math 497C Sep 17, Curves and Surfaces Fall 2004, PSU

Math 497C Sep 17, 2004 1 Curves and Surfaces Fall 2004, PSU Lecture Notes 4 1.9 Curves of Constant Curvature Here we show that the only curves in the plane with constant curvature are lines and circles.