SlideShare uma empresa Scribd logo
1 de 26
Prepared by 
Tanuj Parikh
Chapter Two: Vector Spaces 
Vector space ~ Linear combinations of vectors. 
I. Definition of Vector Space 
II. Linear Independence 
III. Basis and Dimension 
• Topic: Fields 
• Topic: Crystals 
• Topic: Voting Paradoxes 
• Topic: Dimensional Analysis 
Ref: T.M.Apostol, “Linear Algebra”, Chap 3, Wiley (97)
I. Definition of Vector Space 
I.1. Definition and Examples 
I.2. Subspaces and Spanning Sets
Algebraic Structures 
Ref: Y.Choquet-Bruhat, et al, “Analysis, Manifolds & Physics”, Pt 
I., North Holland (82) 
Structure Internal Operations Scalar Multiplication 
Group * No 
Ring, Field * , + No 
Module / Vector Space + Yes 
Algebra + , * Yes 
Field = Ring with idenity & all elements except 0 have inverses. 
Vector space = Module over Field.
I.1. Definition and Examples 
Definition 1.1: (Real) Vector Space ( V,  § ;  ) 
A vector space (over ) consists of a set V along with 2 operations ‘§’ and ‘¨’ s.t. 
(1) For the vector addition § : 
" v, w, u Î V 
a) v § w Î V ( Closure ) 
b) v § w = w § v ( Commutativity ) 
c) ( v § w ) § u = v § ( w § u ) ( Associativity ) 
d) $ 0 Î V s.t. v § 0 = v ( Zero element ) 
e) $ -v Î V s.t. v § (-v) = 0 ( Inverse ) 
(2) For the scalar multiplication ¨ : 
" v, w Î V and a, b Î , [  is the real number field (,+,´) 
f) a ¨ v Î V ( Closure ) 
g) ( a + b ) ¨ v = ( a ¨ v ) § (b ¨ v ) ( Distributivity ) 
h) a ¨ ( v § w ) = ( a ¨ v ) § ( a ¨ w ) 
i) ( a ´ b ) ¨ v = a ¨ ( b ¨ v ) ( Associativity ) 
j) 1 ¨ v = v 
 § is always written as + so that one writes v + w instead of v § w 
 ´ and ¨ are often omitted so that one writes a b v instead of ( a ´ b ) ¨ v
Definition in Conventional Notations 
Definition 1.1: (Real) Vector Space ( V,  + ;  ) 
A vector space (over ) consists of a set V along with 2 operations ‘+’ and ‘ ’ s.t. 
(1) For the vector addition + : 
" v, w, u Î V 
a) v + w Î V ( Closure ) 
b) v + w = w + v ( Commutativity ) 
c) ( v + w ) + u = v + ( w + u ) ( Associativity ) 
d) $ 0 Î V s.t. v + 0 = v ( Zero element ) 
e) $ -v Î V s.t. v -v = 0 ( Inverse ) 
(2) For the scalar multiplication : 
" v, w Î V and a, b Î , [  is the real number field (,+,´) ] 
a) a v Î V ( Closure ) 
b) ( a + b ) v = a v + b v ( Distributivity ) 
c) a ( v + w ) = a v + a w 
d) ( a ´ b ) v = a ( b v ) = a b v ( Associativity ) 
e) 1 v = v
Example 1.3: 2 
x y 
2 is a vector space if 1 1 
æ ö æ ö 
ax by 
ax by 
æ + ö 
= ç ¸ è + ø 
x y 1 1 
a b a b 
+ = ç ¸+ ç ¸ 
x y 
è 2 ø è 2 
ø 
2 2 
" a,bÎR 
0 
0 
= æ ö ç ¸ 
è ø 
with 0 
Proof it yourself / see Hefferon, p.81. 
Example 1.4: Plane in 3. 
The plane through the origin 0 
ì æ x 
ö ü 
= ï ç ¸ í ç ¸ + + = ï ý ï î çè ø¸ ï þ 
P y x y z 
z 
is a vector space. 
P is a subspace of 3. 
Proof it yourself / see Hefferon, 
p.82.
Example 1.5: 
Let § & ¨ be the (column) matrix addition & scalar multiplication, resp., then 
( n, + ;  ) is a vector space. 
( n, + ;  ) is not a vector space since closure is violated under scalar multiplication. 
Example 1.6: 
0 
0 
0 
0 
V 
ì æ ö ü 
ï ç ¸ ï = ï ç ¸ ï í ç ¸ ý ï ç ¸ ï îï è ø ïþ 
Let then (V, + ;  ) is a vector space. 
Definition 1.7: A one-element vector space is a trivial space.
Example 1.8: Space of Real Polynomials of Degree n or less, n 
ìï ïü = í Î ý 
îï ïþ 
P å R { 2 3 } 
0 
n 
k 
n k k 
k 
a x a 
= 
3 0 1 2 3 k P = a + a x + a x + a x a ÎR 
n is a vector space with vectors 
a º å 
n n 
The kth component of a is 
a + b = å +å ( ) k k k a + b = a + b 
Vector 
addition: 0 0 
k k 
a x b x 
k k 
k k 
= = 
Scalar multiplication: 
æ ö 
a å 
b b a x 
= ç ¸ 
è 0 
ø 
n 
k 
k 
k 
= 
Zero element: 
= å + 
= å 
0 = å ( ) 0 k i.e., 0 = "k 
0 
0 
n 
k 
k 
x 
= 
0 
n 
k 
k 
k 
a x 
= 
( ) 
0 
n 
k 
k k 
k 
a b x 
= 
0 
n 
k 
k 
k 
ba x 
= 
i.e. 
, 
( ) k k i.e. b a = ba 
, 
E.g. 
, 
-a º å - ( ) k k i.e. -a = -a 
å ÎP L ÎR 
is isomorphic to n+1 with ( ) 1 
n 0 
0 
~ , , 
n 
k n 
k n n 
k 
a x a a + 
= 
Inverse: ( ) 
0 
n 
k 
k 
k 
a x 
= 
, 
( ) k k a = a
Example 1.9: Function Space 
The set { f | f :  →  } of all real valued functions of natural numbers is 
a vector space if 
Vector addition: ( f1 + f2 ) ( n) º f1 ( n) + f2 ( n) 
Scalar multiplication: ( a f ) ( n) º a f ( n) 
nÎN 
aÎR 
Zero 
element: 
zero(n) = 0 
Inverse: ( - f ) (n) º - f ( n) 
f ( n ) is a vector of countably infinite dimensions: f = ( f(0), f(1), f(2), f(3), … ) 
E.g., 
f ( n) = n2 +1 ~ f = (1, 2, 5,10,L)
Example 1.10: Space of All Real Polynomials,  
ìï ïü = í Î Î ý 
îï ïþ 
P å R N 
0 
, 
n 
k 
k k 
k 
a x a n 
= 
 is a vector space of countably infinite dimensions. 
å ÎP ( L ) ÎR 
0 1 2 
0 
k ~ , , , 
k 
k 
a x a a a 
¥ 
¥ 
= 
Example 1.11: Function Space 
The set { f | f :  →  } of all real valued functions of real numbers is a 
vector space of uncountably infinite dimensions.
Example 13: Solution Space of a Linear Homogeneous Differential Equation 
ì ü 
= í ® + = ý 
î þ 
2 
2 S f : d f f 0 
R R is a vector space with 
d x 
Vector addition: ( f + g) ( x) º f ( x) + g ( x) 
Scalar multiplication: ( a f ) ( x) º a f ( x) 
Zero 
element: 
zero(x) = 0 
Inverse: ( - f ) (x) º - f ( x) 
Closure: 
aÎR 
+ = + = ( ) ( ) 
2 2 
2 2 d f f 0 & d g g 0 
d x d x 
2 
d a f bg 
a f bg 
2 0 
d x 
+ 
→ + + = 
Example 14: Solution Space of a System of Linear Homogeneous Equations
Remarks: 
• Definition of a mathematical structure is not unique. 
• The accepted version is time-tested to be most concise & elegant. 
Lemma 1.16: Lose Ends 
In any vector space V, 
1. 0 v = 0 . 
2. ( -1 ) v + v = 0 . 
3. a 0 = 0 . 
" v ÎV and a Î . 
Proof: 
1. 0 = v - v = (1+ 0) v - v = v + 0v - v = 0v 
2. 
( -1) v + v = ( -1+1) v = 0v = 0 
3. 
a 0 = a ( 0 v) = ( a 0) v = 0 v = 0
Exercises 2.I.1. 
1. At this point “the same” is only an intuition, but nonetheless for 
each vector space identify the k for which the space is “the same” as k. 
(a) The 2´3 matrices under the usual operations 
(b) The n ´ m matrices (under their usual operations) 
(c) This set of 2 ´ 2 matrices 
ìï æ a 
0 
ö ïü í ç ¸ a + b + c 
= 0 
ý 
îï è b c 
ø ïþ 
2. 
(a) Prove that every point, line, or plane thru the origin in 3 is a 
vector space under the inherited operations. 
(b) What if it doesn’t contain the origin?
I.2. Subspaces and Spanning Sets 
Definition 2.1: Subspaces 
For any vector space, a subspace is a subset that is itself a vector space, 
under the inherited operations. 
Note: A subset of a vector space is a subspace iff it is closed under § & ¨. 
ì æ x 
ö ü 
= ï ç ¸ í ç ¸ + + = ï ý ï î çè ø¸ ï þ 
Example 2.2: Plane in 3 P y x y z 
0 
z 
is a subspace of 3. 
→ It must contain 0. (c.f. Lemma 2.9.) 
Proof: Let ( ) ( ) 1 1 1 1 2 2 2 2 , , , , , T T r = x y z r = x y z ÎP 
→ 1 1 1 2 2 2 x + y + z = 0 , x + y + z = 0 
 ( ) 1 2 1 2 1 2 1 2 , , T ar + br = ax + bx ay + by az + bz 
with ( ) ( ) ( ) ( ) ( ) 1 2 1 2 1 2 1 1 1 2 2 2 ax + bx + ay + by + az + bz = a x + y + z + b x + y + z 
→ 1 2 ar + br ÎP " a,bÎR QED 
= 0
Example 2.3: The x-axis in n is a subspace. 
( ,0, ,0) -axis T Proof follows directly from the fact that r = x L Î x 
Example 2.4: 
• { 0 } is a trivial subspace of n. 
• n is a subspace of n. 
Both are improper subspaces. 
All other subspaces are proper. 
Example 2.5: Subspace is only defined wrt inherited operations. 
({1},§ ; ) is a vector space if we define 1§1 = 1 and a¨1=1 "aÎ. 
However, neither ({1},§ ; ) nor ({1},+ ; ) is a subspace of the vector space 
(,+ ; ).
Example 2.6: Polynomial Spaces. 
n is a proper subspace of m if n < m. 
Example 2.7: Solution Spaces. 
The solution space of any real linear homogeneous ordinary 
differential equation,  f = 0, 
is a subspace of the function space of 1 variable { f :  →  }. 
Example 2.8: Violation of Closure. 
+ is not a subspace of  since (-1) v Ï + " vÎ +.
Lemma 2.9: 
Let S be a non-empty subset of a vector space ( V, + ;  ). 
W.r.t. the inherited operations, the following statements are equivalent: 
1. S is a subspace of V. 
2. S is closed under all linear combinations of pairs of vectors. 
3. S is closed under arbitrary linear combinations. 
Proof: See Hefferon, p.93. 
Remark: Vector space = Collection of linear combinations of vectors.
Example 2.11: Parametrization of a Plane in 3 
ì æ x 
ö ü 
= ï ç ¸ í ç ¸ - 2 + = 0 
ï ý ï î çè ø¸ ï þ 
S y x y z 
z 
is a 2-D subspace of 3. 
ì æ 2 
y - z 
ö ü 
= ï ç ¸ í ç y ¸ y , 
z 
Î R 
ï ý ï î çè z 
ø¸ ï þ 
ì æ 2 ö æ - 1 
ö ü 
= ï ç í y 1 ¸+ ç ¸ z ç 0 ¸ ç ¸ y , 
z 
Î R 
ï ý ï î çè 0 ø¸ èç 1 
ø¸ ï þ 
i.e., S is the set of all linear combinations of 2 vectors (2,1,0)T, & 
(-1,0,1)T. 
Example 2.12: Parametrization of a Matrix Subspace. 
ìï æ a 
0 
ö ïü = í ç ¸ + + = 0 
ý 
îï è ø ïþ 
L a b c 
b c 
is a subspace of the space of 2´2 matrices. 
ìï æ- b - c 
0 
= ö í ç ¸ b , 
c 
Î R 
ïü b c 
ý 
îï è ø ïþ 
ìï æ - 1 0 ö æ - 1 0 
= b ¸+ c ö í ç ç ¸ b , 
c 
Î R 
ïü 1 0 0 1 
ý 
îï è ø è ø ïþ
Definition 2.13: Span 
Let S = { s1 , …, sn | sk Î ( V,+, ) } be a set of n vectors in vector space V. 
The span of S is the set of all linear combinations of the vectors in S, i.e., 
ì ü 
= í Î Î ý 
î þ 
å s s R with span Æ = { 0 } 
span S c S c 
1 
, 
n 
k k k k 
k 
= 
Lemma 2.15: The span of any subset of a vector space is a subspace. 
Proof: 
n n 
Let S = { s, …, s| sÎ ( V,+,) } 
1 n k  and u =å s v =å s Î 
u , 
v span S 
k k k k 
= = 
k k 
1 1 
w = u + v =å + s 
® a b ( au bv 
) 
1 
n 
k k k 
k 
= 
=å s Î " a,bÎR 
1 
n 
k k 
k 
w span S 
= 
QED 
Converse: Any vector subspace is the span of a subset of its members. 
Also: span S is the smallest vector space containing all members of 
S.
Example 2.16: 
For any vÎV, span{v} = { a v | a Î } is a 1-D subspace. 
Example 2.17: 
Proof: 
The problem is tantamount to showing that for all x, y Î, $ unique a,b Î s.t. 
1 1 
1 1 
x 
æ ö = a æ ö + b 
æ ö ç è y 
¸ ç ¸ ç ¸ ø è ø è - ø 
i.e., a b x 
+ = 
- = 
a b y 
has a unique solution for arbitrary x & y. 
Since 1 ( ) 
a = x + y 1 ( ) 
2 
b = x - y " x, yÎR QED 
2 
2 1 1 
, 
1 1 
span 
ì æ ö æ ö ü í ç ¸ ç ¸ ý = î è ø è - ø þ 
R
Example 2.18: 2 
Let S = span{ 3x - x2 , 2x } = { a ( 3x - x2 ) + 2bx a,bÎR } 
Question: 
0 2 0 
? 
c S = =P 
Answer is yes since 
ì ü 
= í ý 
î þ 
å = subspace of 2 ? 
1 c = 3a + 2b 2 c = -a 
1 3 
2 
a = -c b = ( c - a 
) 2 1 
and 
1 3 
2 
( ) 1 2 
= c + c 
2 
1 
k 
k 
k 
c x 
= 
Lesson: A vector space can be spanned by different sets of vectors. 
Definition: Completeness 
A subset S of a vector space V is complete if span S = V.
Example 2.19: All Possible Subspaces of 3 
See next section for proof. 
Planes thru 
0 
Lines thru 0
Exercises 2.I.2 
ì æ x 
ö ü 
ï ç í ç y ¸ ï çè ø¸ ¸ x + y + z 
= ý ï z 
ï î þ 
1. Consider the set 1 
under these operations. 
x x x x 1 
y y y y 
z z z z 
æ ö æ + - ç 1 ¸+ ç 2 ö æ 1 2 
ö 
¸= ç ¸ çç 1 ¸¸ çç + 2 ¸¸ çç 1 2 
¸¸ è 1 ø è + 2 ø è 1 2 
ø 
x rx r 1 
r y r y 
z rz 
æ ö æ - + ö 
ç ¸= ç ¸ çç ¸¸ çç ¸¸ è ø è ø 
(a) Show that it is not a subspace of 3. (Hint. See Example 2.5). 
(b) Show that it is a vector space. 
( To save time, you need only prove axioms (d) & (j), and closure 
under all linear combinations of 2 vectors.) 
(c) Show that any subspace of 3 must pass thru the origin, and so any 
subspace of 3 must involve zero in its description. 
Does the converse hold? 
Does any subset of 3 that contains the origin become a subspace 
when given the inherited operations?
2. Because ‘span of’ is an operation on sets we naturally consider how it 
interacts with the usual set operations. Let [S] º Span S. 
(a) If S Í T are subsets of a vector space, is [S] Í [T] ? 
Always? Sometimes? Never? 
(b) If S, T are subsets of a vector space, is [ S È T ] = [S] È [T] ? 
(c) If S, T are subsets of a vector space, is [ S Ç T ] = [S] Ç [T] ? 
(d) Is the span of the complement equal to the complement of the span? 
3. Find a structure that is closed under linear combinations, and yet is not 
a vector space. (Remark. This is a bit of a trick question.)
Vector Spaces Chapter: Definitions, Examples & Subspaces

Mais conteúdo relacionado

Mais procurados

Linear dependence & independence vectors
Linear dependence & independence vectorsLinear dependence & independence vectors
Linear dependence & independence vectorsRakib Hossain
 
Lesson 22: Quadratic Forms
Lesson 22: Quadratic FormsLesson 22: Quadratic Forms
Lesson 22: Quadratic FormsMatthew Leingang
 
Maths-->>Eigenvalues and eigenvectors
Maths-->>Eigenvalues and eigenvectorsMaths-->>Eigenvalues and eigenvectors
Maths-->>Eigenvalues and eigenvectorsJaydev Kishnani
 
My Lecture Notes from Linear Algebra
My Lecture Notes fromLinear AlgebraMy Lecture Notes fromLinear Algebra
My Lecture Notes from Linear AlgebraPaul R. Martin
 
vector space and subspace
vector space and subspacevector space and subspace
vector space and subspace2461998
 
Eigen values and eigen vectors
Eigen values and eigen vectorsEigen values and eigen vectors
Eigen values and eigen vectorstirath prajapati
 
Differential Equations
Differential EquationsDifferential Equations
Differential EquationsKrupaSuthar3
 
Chapter 4: Vector Spaces - Part 1/Slides By Pearson
Chapter 4: Vector Spaces - Part 1/Slides By PearsonChapter 4: Vector Spaces - Part 1/Slides By Pearson
Chapter 4: Vector Spaces - Part 1/Slides By PearsonChaimae Baroudi
 
Null space, Rank and nullity theorem
Null space, Rank and nullity theoremNull space, Rank and nullity theorem
Null space, Rank and nullity theoremRonak Machhi
 
2 linear independence
2 linear independence2 linear independence
2 linear independenceAmanSaeed11
 
3. Linear Algebra for Machine Learning: Factorization and Linear Transformations
3. Linear Algebra for Machine Learning: Factorization and Linear Transformations3. Linear Algebra for Machine Learning: Factorization and Linear Transformations
3. Linear Algebra for Machine Learning: Factorization and Linear TransformationsCeni Babaoglu, PhD
 
Eigen values and eigen vectors
Eigen values and eigen vectorsEigen values and eigen vectors
Eigen values and eigen vectorsRiddhi Patel
 

Mais procurados (20)

Vector Space.pptx
Vector Space.pptxVector Space.pptx
Vector Space.pptx
 
Ch4
Ch4Ch4
Ch4
 
Vector space
Vector spaceVector space
Vector space
 
Linear dependence & independence vectors
Linear dependence & independence vectorsLinear dependence & independence vectors
Linear dependence & independence vectors
 
Lesson 22: Quadratic Forms
Lesson 22: Quadratic FormsLesson 22: Quadratic Forms
Lesson 22: Quadratic Forms
 
Maths-->>Eigenvalues and eigenvectors
Maths-->>Eigenvalues and eigenvectorsMaths-->>Eigenvalues and eigenvectors
Maths-->>Eigenvalues and eigenvectors
 
My Lecture Notes from Linear Algebra
My Lecture Notes fromLinear AlgebraMy Lecture Notes fromLinear Algebra
My Lecture Notes from Linear Algebra
 
Vector spaces
Vector spaces Vector spaces
Vector spaces
 
Vector spaces
Vector spacesVector spaces
Vector spaces
 
vector space and subspace
vector space and subspacevector space and subspace
vector space and subspace
 
Eigen values and eigen vectors
Eigen values and eigen vectorsEigen values and eigen vectors
Eigen values and eigen vectors
 
Power series
Power series Power series
Power series
 
Conformal mapping
Conformal mappingConformal mapping
Conformal mapping
 
Differential Equations
Differential EquationsDifferential Equations
Differential Equations
 
Chapter 4: Vector Spaces - Part 1/Slides By Pearson
Chapter 4: Vector Spaces - Part 1/Slides By PearsonChapter 4: Vector Spaces - Part 1/Slides By Pearson
Chapter 4: Vector Spaces - Part 1/Slides By Pearson
 
Ring
RingRing
Ring
 
Null space, Rank and nullity theorem
Null space, Rank and nullity theoremNull space, Rank and nullity theorem
Null space, Rank and nullity theorem
 
2 linear independence
2 linear independence2 linear independence
2 linear independence
 
3. Linear Algebra for Machine Learning: Factorization and Linear Transformations
3. Linear Algebra for Machine Learning: Factorization and Linear Transformations3. Linear Algebra for Machine Learning: Factorization and Linear Transformations
3. Linear Algebra for Machine Learning: Factorization and Linear Transformations
 
Eigen values and eigen vectors
Eigen values and eigen vectorsEigen values and eigen vectors
Eigen values and eigen vectors
 

Destaque

Vector Spaces,subspaces,Span,Basis
Vector Spaces,subspaces,Span,BasisVector Spaces,subspaces,Span,Basis
Vector Spaces,subspaces,Span,BasisRavi Gelani
 
Tutorial 1 mth 3201
Tutorial 1 mth 3201Tutorial 1 mth 3201
Tutorial 1 mth 3201Drradz Maths
 
Deep learning for mere mortals - Devoxx Belgium 2015
Deep learning for mere mortals - Devoxx Belgium 2015Deep learning for mere mortals - Devoxx Belgium 2015
Deep learning for mere mortals - Devoxx Belgium 2015Samir Bessalah
 
Equations of Tangents and Normals
Equations of Tangents and NormalsEquations of Tangents and Normals
Equations of Tangents and Normalscoburgmaths
 
Properties of Congruence
Properties of CongruenceProperties of Congruence
Properties of CongruenceAllanna Unias
 
Algebird : Abstract Algebra for big data analytics. Devoxx 2014
Algebird : Abstract Algebra for big data analytics. Devoxx 2014Algebird : Abstract Algebra for big data analytics. Devoxx 2014
Algebird : Abstract Algebra for big data analytics. Devoxx 2014Samir Bessalah
 
Lesson 7: The Derivative (Section 21 slide)
Lesson 7: The Derivative (Section 21 slide)Lesson 7: The Derivative (Section 21 slide)
Lesson 7: The Derivative (Section 21 slide)Matthew Leingang
 
Production and Beyond: Deploying and Managing Machine Learning Models
Production and Beyond: Deploying and Managing Machine Learning ModelsProduction and Beyond: Deploying and Managing Machine Learning Models
Production and Beyond: Deploying and Managing Machine Learning ModelsTuri, Inc.
 
Machine Learning In Production
Machine Learning In ProductionMachine Learning In Production
Machine Learning In ProductionSamir Bessalah
 

Destaque (15)

Vector Spaces,subspaces,Span,Basis
Vector Spaces,subspaces,Span,BasisVector Spaces,subspaces,Span,Basis
Vector Spaces,subspaces,Span,Basis
 
Tutorial 1 mth 3201
Tutorial 1 mth 3201Tutorial 1 mth 3201
Tutorial 1 mth 3201
 
Deep learning for mere mortals - Devoxx Belgium 2015
Deep learning for mere mortals - Devoxx Belgium 2015Deep learning for mere mortals - Devoxx Belgium 2015
Deep learning for mere mortals - Devoxx Belgium 2015
 
Diff. call lessons
Diff. call lessonsDiff. call lessons
Diff. call lessons
 
Equations of Tangents and Normals
Equations of Tangents and NormalsEquations of Tangents and Normals
Equations of Tangents and Normals
 
Information Security Seminar #2
Information Security Seminar #2Information Security Seminar #2
Information Security Seminar #2
 
algebraic-geometry
algebraic-geometryalgebraic-geometry
algebraic-geometry
 
Properties of Congruence
Properties of CongruenceProperties of Congruence
Properties of Congruence
 
Algebird : Abstract Algebra for big data analytics. Devoxx 2014
Algebird : Abstract Algebra for big data analytics. Devoxx 2014Algebird : Abstract Algebra for big data analytics. Devoxx 2014
Algebird : Abstract Algebra for big data analytics. Devoxx 2014
 
Lesson 7: The Derivative
Lesson 7: The DerivativeLesson 7: The Derivative
Lesson 7: The Derivative
 
Lesson 7: The Derivative (Section 21 slide)
Lesson 7: The Derivative (Section 21 slide)Lesson 7: The Derivative (Section 21 slide)
Lesson 7: The Derivative (Section 21 slide)
 
The Number Theory
The Number TheoryThe Number Theory
The Number Theory
 
Production and Beyond: Deploying and Managing Machine Learning Models
Production and Beyond: Deploying and Managing Machine Learning ModelsProduction and Beyond: Deploying and Managing Machine Learning Models
Production and Beyond: Deploying and Managing Machine Learning Models
 
Machine Learning In Production
Machine Learning In ProductionMachine Learning In Production
Machine Learning In Production
 
Rates of change_updated
Rates of change_updatedRates of change_updated
Rates of change_updated
 

Semelhante a Vector Spaces Chapter: Definitions, Examples & Subspaces

μ-RANGE, λ-RANGE OF OPERATORS ON A HILBERT SPACE
μ-RANGE, λ-RANGE OF OPERATORS ON A HILBERT SPACEμ-RANGE, λ-RANGE OF OPERATORS ON A HILBERT SPACE
μ-RANGE, λ-RANGE OF OPERATORS ON A HILBERT SPACEtheijes
 
Vector Space & Sub Space Presentation
Vector Space & Sub Space PresentationVector Space & Sub Space Presentation
Vector Space & Sub Space PresentationSufianMehmood2
 
Nbhm m. a. and m.sc. scholarship test 2006
Nbhm m. a. and m.sc. scholarship test 2006Nbhm m. a. and m.sc. scholarship test 2006
Nbhm m. a. and m.sc. scholarship test 2006MD Kutubuddin Sardar
 
Math 511 Problem Set 4, due September 21Note Problems 1 t
Math 511 Problem Set 4, due September 21Note Problems 1 tMath 511 Problem Set 4, due September 21Note Problems 1 t
Math 511 Problem Set 4, due September 21Note Problems 1 tAbramMartino96
 
Conjugate Gradient Methods
Conjugate Gradient MethodsConjugate Gradient Methods
Conjugate Gradient MethodsMTiti1
 
Dynamic Programming for 4th sem cse students
Dynamic Programming for 4th sem cse studentsDynamic Programming for 4th sem cse students
Dynamic Programming for 4th sem cse studentsDeepakGowda357858
 
Solution set 3
Solution set 3Solution set 3
Solution set 3慧环 赵
 
Intuitionistic First-Order Logic: Categorical semantics via the Curry-Howard ...
Intuitionistic First-Order Logic: Categorical semantics via the Curry-Howard ...Intuitionistic First-Order Logic: Categorical semantics via the Curry-Howard ...
Intuitionistic First-Order Logic: Categorical semantics via the Curry-Howard ...Marco Benini
 
Class 10 Maths Ch Polynomial PPT
Class 10 Maths Ch Polynomial PPTClass 10 Maths Ch Polynomial PPT
Class 10 Maths Ch Polynomial PPTSanjayraj Balasara
 
Fourier 3
Fourier 3Fourier 3
Fourier 3nugon
 
ALA Solution.pdf
ALA Solution.pdfALA Solution.pdf
ALA Solution.pdfRkAA4
 
2nd-year-Math-full-Book-PB.pdf
2nd-year-Math-full-Book-PB.pdf2nd-year-Math-full-Book-PB.pdf
2nd-year-Math-full-Book-PB.pdfproacademyhub
 

Semelhante a Vector Spaces Chapter: Definitions, Examples & Subspaces (20)

Vector space
Vector spaceVector space
Vector space
 
μ-RANGE, λ-RANGE OF OPERATORS ON A HILBERT SPACE
μ-RANGE, λ-RANGE OF OPERATORS ON A HILBERT SPACEμ-RANGE, λ-RANGE OF OPERATORS ON A HILBERT SPACE
μ-RANGE, λ-RANGE OF OPERATORS ON A HILBERT SPACE
 
Sect4 5
Sect4 5Sect4 5
Sect4 5
 
Vector Space & Sub Space Presentation
Vector Space & Sub Space PresentationVector Space & Sub Space Presentation
Vector Space & Sub Space Presentation
 
Nbhm m. a. and m.sc. scholarship test 2006
Nbhm m. a. and m.sc. scholarship test 2006Nbhm m. a. and m.sc. scholarship test 2006
Nbhm m. a. and m.sc. scholarship test 2006
 
math camp
math campmath camp
math camp
 
Notes
NotesNotes
Notes
 
Math 511 Problem Set 4, due September 21Note Problems 1 t
Math 511 Problem Set 4, due September 21Note Problems 1 tMath 511 Problem Set 4, due September 21Note Problems 1 t
Math 511 Problem Set 4, due September 21Note Problems 1 t
 
U unit3 vm
U unit3 vmU unit3 vm
U unit3 vm
 
Conjugate Gradient Methods
Conjugate Gradient MethodsConjugate Gradient Methods
Conjugate Gradient Methods
 
Dynamic Programming for 4th sem cse students
Dynamic Programming for 4th sem cse studentsDynamic Programming for 4th sem cse students
Dynamic Programming for 4th sem cse students
 
Linear algebra
Linear algebraLinear algebra
Linear algebra
 
Calculus Homework Help
Calculus Homework HelpCalculus Homework Help
Calculus Homework Help
 
Solution set 3
Solution set 3Solution set 3
Solution set 3
 
Intuitionistic First-Order Logic: Categorical semantics via the Curry-Howard ...
Intuitionistic First-Order Logic: Categorical semantics via the Curry-Howard ...Intuitionistic First-Order Logic: Categorical semantics via the Curry-Howard ...
Intuitionistic First-Order Logic: Categorical semantics via the Curry-Howard ...
 
Class 10 Maths Ch Polynomial PPT
Class 10 Maths Ch Polynomial PPTClass 10 Maths Ch Polynomial PPT
Class 10 Maths Ch Polynomial PPT
 
Maths 12
Maths 12Maths 12
Maths 12
 
Fourier 3
Fourier 3Fourier 3
Fourier 3
 
ALA Solution.pdf
ALA Solution.pdfALA Solution.pdf
ALA Solution.pdf
 
2nd-year-Math-full-Book-PB.pdf
2nd-year-Math-full-Book-PB.pdf2nd-year-Math-full-Book-PB.pdf
2nd-year-Math-full-Book-PB.pdf
 

Mais de Tanuj Parikh

1080093 634446814277798750
1080093 6344468142777987501080093 634446814277798750
1080093 634446814277798750Tanuj Parikh
 
Water resources engineering
Water resources engineeringWater resources engineering
Water resources engineeringTanuj Parikh
 
Construction materils 1.0
Construction materils 1.0Construction materils 1.0
Construction materils 1.0Tanuj Parikh
 
Partial differentiation
Partial differentiationPartial differentiation
Partial differentiationTanuj Parikh
 
Curve generation %a1 v involute and evolute
Curve generation %a1 v involute and evoluteCurve generation %a1 v involute and evolute
Curve generation %a1 v involute and evoluteTanuj Parikh
 
Renewable nonrenewable
Renewable nonrenewableRenewable nonrenewable
Renewable nonrenewableTanuj Parikh
 
New engineering materials
New engineering materialsNew engineering materials
New engineering materialsTanuj Parikh
 
Important of engg materials
Important of engg materialsImportant of engg materials
Important of engg materialsTanuj Parikh
 
Coupling clutch brake
Coupling clutch brakeCoupling clutch brake
Coupling clutch brakeTanuj Parikh
 
Cpd women social activis
Cpd women social activis Cpd women social activis
Cpd women social activis Tanuj Parikh
 
Indian freedom fighters
Indian freedom fightersIndian freedom fighters
Indian freedom fightersTanuj Parikh
 
The secreat book review
The secreat book reviewThe secreat book review
The secreat book reviewTanuj Parikh
 
Communication skills politics in india
Communication skills politics in indiaCommunication skills politics in india
Communication skills politics in indiaTanuj Parikh
 
Industrial drafting
Industrial draftingIndustrial drafting
Industrial draftingTanuj Parikh
 

Mais de Tanuj Parikh (19)

1080093 634446814277798750
1080093 6344468142777987501080093 634446814277798750
1080093 634446814277798750
 
Water resources engineering
Water resources engineeringWater resources engineering
Water resources engineering
 
Construction materils 1.0
Construction materils 1.0Construction materils 1.0
Construction materils 1.0
 
Compressors
CompressorsCompressors
Compressors
 
Partial differentiation
Partial differentiationPartial differentiation
Partial differentiation
 
Curve generation %a1 v involute and evolute
Curve generation %a1 v involute and evoluteCurve generation %a1 v involute and evolute
Curve generation %a1 v involute and evolute
 
3. curves2
3. curves23. curves2
3. curves2
 
Renewable nonrenewable
Renewable nonrenewableRenewable nonrenewable
Renewable nonrenewable
 
New engineering materials
New engineering materialsNew engineering materials
New engineering materials
 
Logic gates (2)
Logic gates (2)Logic gates (2)
Logic gates (2)
 
Pump eme
Pump emePump eme
Pump eme
 
Important of engg materials
Important of engg materialsImportant of engg materials
Important of engg materials
 
Coupling clutch brake
Coupling clutch brakeCoupling clutch brake
Coupling clutch brake
 
Cpd women social activis
Cpd women social activis Cpd women social activis
Cpd women social activis
 
Indian freedom fighters
Indian freedom fightersIndian freedom fighters
Indian freedom fighters
 
Powder matellurgy
Powder matellurgyPowder matellurgy
Powder matellurgy
 
The secreat book review
The secreat book reviewThe secreat book review
The secreat book review
 
Communication skills politics in india
Communication skills politics in indiaCommunication skills politics in india
Communication skills politics in india
 
Industrial drafting
Industrial draftingIndustrial drafting
Industrial drafting
 

Último

Python Programming for basic beginners.pptx
Python Programming for basic beginners.pptxPython Programming for basic beginners.pptx
Python Programming for basic beginners.pptxmohitesoham12
 
ROBOETHICS-CCS345 ETHICS AND ARTIFICIAL INTELLIGENCE.ppt
ROBOETHICS-CCS345 ETHICS AND ARTIFICIAL INTELLIGENCE.pptROBOETHICS-CCS345 ETHICS AND ARTIFICIAL INTELLIGENCE.ppt
ROBOETHICS-CCS345 ETHICS AND ARTIFICIAL INTELLIGENCE.pptJohnWilliam111370
 
『澳洲文凭』买麦考瑞大学毕业证书成绩单办理澳洲Macquarie文凭学位证书
『澳洲文凭』买麦考瑞大学毕业证书成绩单办理澳洲Macquarie文凭学位证书『澳洲文凭』买麦考瑞大学毕业证书成绩单办理澳洲Macquarie文凭学位证书
『澳洲文凭』买麦考瑞大学毕业证书成绩单办理澳洲Macquarie文凭学位证书rnrncn29
 
Turn leadership mistakes into a better future.pptx
Turn leadership mistakes into a better future.pptxTurn leadership mistakes into a better future.pptx
Turn leadership mistakes into a better future.pptxStephen Sitton
 
Secure Key Crypto - Tech Paper JET Tech Labs
Secure Key Crypto - Tech Paper JET Tech LabsSecure Key Crypto - Tech Paper JET Tech Labs
Secure Key Crypto - Tech Paper JET Tech Labsamber724300
 
Triangulation survey (Basic Mine Surveying)_MI10412MI.pptx
Triangulation survey (Basic Mine Surveying)_MI10412MI.pptxTriangulation survey (Basic Mine Surveying)_MI10412MI.pptx
Triangulation survey (Basic Mine Surveying)_MI10412MI.pptxRomil Mishra
 
Gravity concentration_MI20612MI_________
Gravity concentration_MI20612MI_________Gravity concentration_MI20612MI_________
Gravity concentration_MI20612MI_________Romil Mishra
 
2022 AWS DNA Hackathon 장애 대응 솔루션 jarvis.
2022 AWS DNA Hackathon 장애 대응 솔루션 jarvis.2022 AWS DNA Hackathon 장애 대응 솔루션 jarvis.
2022 AWS DNA Hackathon 장애 대응 솔루션 jarvis.elesangwon
 
Cost estimation approach: FP to COCOMO scenario based question
Cost estimation approach: FP to COCOMO scenario based questionCost estimation approach: FP to COCOMO scenario based question
Cost estimation approach: FP to COCOMO scenario based questionSneha Padhiar
 
Mine Environment II Lab_MI10448MI__________.pptx
Mine Environment II Lab_MI10448MI__________.pptxMine Environment II Lab_MI10448MI__________.pptx
Mine Environment II Lab_MI10448MI__________.pptxRomil Mishra
 
Artificial Intelligence in Power System overview
Artificial Intelligence in Power System overviewArtificial Intelligence in Power System overview
Artificial Intelligence in Power System overviewsandhya757531
 
Virtual memory management in Operating System
Virtual memory management in Operating SystemVirtual memory management in Operating System
Virtual memory management in Operating SystemRashmi Bhat
 
Comparative study of High-rise Building Using ETABS,SAP200 and SAFE., SAFE an...
Comparative study of High-rise Building Using ETABS,SAP200 and SAFE., SAFE an...Comparative study of High-rise Building Using ETABS,SAP200 and SAFE., SAFE an...
Comparative study of High-rise Building Using ETABS,SAP200 and SAFE., SAFE an...Erbil Polytechnic University
 
Katarzyna Lipka-Sidor - BIM School Course
Katarzyna Lipka-Sidor - BIM School CourseKatarzyna Lipka-Sidor - BIM School Course
Katarzyna Lipka-Sidor - BIM School Coursebim.edu.pl
 
SOFTWARE ESTIMATION COCOMO AND FP CALCULATION
SOFTWARE ESTIMATION COCOMO AND FP CALCULATIONSOFTWARE ESTIMATION COCOMO AND FP CALCULATION
SOFTWARE ESTIMATION COCOMO AND FP CALCULATIONSneha Padhiar
 
multiple access in wireless communication
multiple access in wireless communicationmultiple access in wireless communication
multiple access in wireless communicationpanditadesh123
 
Computer Graphics Introduction, Open GL, Line and Circle drawing algorithm
Computer Graphics Introduction, Open GL, Line and Circle drawing algorithmComputer Graphics Introduction, Open GL, Line and Circle drawing algorithm
Computer Graphics Introduction, Open GL, Line and Circle drawing algorithmDeepika Walanjkar
 
Forming section troubleshooting checklist for improving wire life (1).ppt
Forming section troubleshooting checklist for improving wire life (1).pptForming section troubleshooting checklist for improving wire life (1).ppt
Forming section troubleshooting checklist for improving wire life (1).pptNoman khan
 
List of Accredited Concrete Batching Plant.pdf
List of Accredited Concrete Batching Plant.pdfList of Accredited Concrete Batching Plant.pdf
List of Accredited Concrete Batching Plant.pdfisabel213075
 

Último (20)

Python Programming for basic beginners.pptx
Python Programming for basic beginners.pptxPython Programming for basic beginners.pptx
Python Programming for basic beginners.pptx
 
ROBOETHICS-CCS345 ETHICS AND ARTIFICIAL INTELLIGENCE.ppt
ROBOETHICS-CCS345 ETHICS AND ARTIFICIAL INTELLIGENCE.pptROBOETHICS-CCS345 ETHICS AND ARTIFICIAL INTELLIGENCE.ppt
ROBOETHICS-CCS345 ETHICS AND ARTIFICIAL INTELLIGENCE.ppt
 
『澳洲文凭』买麦考瑞大学毕业证书成绩单办理澳洲Macquarie文凭学位证书
『澳洲文凭』买麦考瑞大学毕业证书成绩单办理澳洲Macquarie文凭学位证书『澳洲文凭』买麦考瑞大学毕业证书成绩单办理澳洲Macquarie文凭学位证书
『澳洲文凭』买麦考瑞大学毕业证书成绩单办理澳洲Macquarie文凭学位证书
 
Turn leadership mistakes into a better future.pptx
Turn leadership mistakes into a better future.pptxTurn leadership mistakes into a better future.pptx
Turn leadership mistakes into a better future.pptx
 
Secure Key Crypto - Tech Paper JET Tech Labs
Secure Key Crypto - Tech Paper JET Tech LabsSecure Key Crypto - Tech Paper JET Tech Labs
Secure Key Crypto - Tech Paper JET Tech Labs
 
Triangulation survey (Basic Mine Surveying)_MI10412MI.pptx
Triangulation survey (Basic Mine Surveying)_MI10412MI.pptxTriangulation survey (Basic Mine Surveying)_MI10412MI.pptx
Triangulation survey (Basic Mine Surveying)_MI10412MI.pptx
 
Gravity concentration_MI20612MI_________
Gravity concentration_MI20612MI_________Gravity concentration_MI20612MI_________
Gravity concentration_MI20612MI_________
 
2022 AWS DNA Hackathon 장애 대응 솔루션 jarvis.
2022 AWS DNA Hackathon 장애 대응 솔루션 jarvis.2022 AWS DNA Hackathon 장애 대응 솔루션 jarvis.
2022 AWS DNA Hackathon 장애 대응 솔루션 jarvis.
 
Cost estimation approach: FP to COCOMO scenario based question
Cost estimation approach: FP to COCOMO scenario based questionCost estimation approach: FP to COCOMO scenario based question
Cost estimation approach: FP to COCOMO scenario based question
 
Mine Environment II Lab_MI10448MI__________.pptx
Mine Environment II Lab_MI10448MI__________.pptxMine Environment II Lab_MI10448MI__________.pptx
Mine Environment II Lab_MI10448MI__________.pptx
 
Artificial Intelligence in Power System overview
Artificial Intelligence in Power System overviewArtificial Intelligence in Power System overview
Artificial Intelligence in Power System overview
 
Virtual memory management in Operating System
Virtual memory management in Operating SystemVirtual memory management in Operating System
Virtual memory management in Operating System
 
Comparative study of High-rise Building Using ETABS,SAP200 and SAFE., SAFE an...
Comparative study of High-rise Building Using ETABS,SAP200 and SAFE., SAFE an...Comparative study of High-rise Building Using ETABS,SAP200 and SAFE., SAFE an...
Comparative study of High-rise Building Using ETABS,SAP200 and SAFE., SAFE an...
 
Katarzyna Lipka-Sidor - BIM School Course
Katarzyna Lipka-Sidor - BIM School CourseKatarzyna Lipka-Sidor - BIM School Course
Katarzyna Lipka-Sidor - BIM School Course
 
SOFTWARE ESTIMATION COCOMO AND FP CALCULATION
SOFTWARE ESTIMATION COCOMO AND FP CALCULATIONSOFTWARE ESTIMATION COCOMO AND FP CALCULATION
SOFTWARE ESTIMATION COCOMO AND FP CALCULATION
 
multiple access in wireless communication
multiple access in wireless communicationmultiple access in wireless communication
multiple access in wireless communication
 
Computer Graphics Introduction, Open GL, Line and Circle drawing algorithm
Computer Graphics Introduction, Open GL, Line and Circle drawing algorithmComputer Graphics Introduction, Open GL, Line and Circle drawing algorithm
Computer Graphics Introduction, Open GL, Line and Circle drawing algorithm
 
Forming section troubleshooting checklist for improving wire life (1).ppt
Forming section troubleshooting checklist for improving wire life (1).pptForming section troubleshooting checklist for improving wire life (1).ppt
Forming section troubleshooting checklist for improving wire life (1).ppt
 
Designing pile caps according to ACI 318-19.pptx
Designing pile caps according to ACI 318-19.pptxDesigning pile caps according to ACI 318-19.pptx
Designing pile caps according to ACI 318-19.pptx
 
List of Accredited Concrete Batching Plant.pdf
List of Accredited Concrete Batching Plant.pdfList of Accredited Concrete Batching Plant.pdf
List of Accredited Concrete Batching Plant.pdf
 

Vector Spaces Chapter: Definitions, Examples & Subspaces

  • 2. Chapter Two: Vector Spaces Vector space ~ Linear combinations of vectors. I. Definition of Vector Space II. Linear Independence III. Basis and Dimension • Topic: Fields • Topic: Crystals • Topic: Voting Paradoxes • Topic: Dimensional Analysis Ref: T.M.Apostol, “Linear Algebra”, Chap 3, Wiley (97)
  • 3. I. Definition of Vector Space I.1. Definition and Examples I.2. Subspaces and Spanning Sets
  • 4. Algebraic Structures Ref: Y.Choquet-Bruhat, et al, “Analysis, Manifolds & Physics”, Pt I., North Holland (82) Structure Internal Operations Scalar Multiplication Group * No Ring, Field * , + No Module / Vector Space + Yes Algebra + , * Yes Field = Ring with idenity & all elements except 0 have inverses. Vector space = Module over Field.
  • 5. I.1. Definition and Examples Definition 1.1: (Real) Vector Space ( V, § ;  ) A vector space (over ) consists of a set V along with 2 operations ‘§’ and ‘¨’ s.t. (1) For the vector addition § : " v, w, u Î V a) v § w Î V ( Closure ) b) v § w = w § v ( Commutativity ) c) ( v § w ) § u = v § ( w § u ) ( Associativity ) d) $ 0 Î V s.t. v § 0 = v ( Zero element ) e) $ -v Î V s.t. v § (-v) = 0 ( Inverse ) (2) For the scalar multiplication ¨ : " v, w Î V and a, b Î , [  is the real number field (,+,´) f) a ¨ v Î V ( Closure ) g) ( a + b ) ¨ v = ( a ¨ v ) § (b ¨ v ) ( Distributivity ) h) a ¨ ( v § w ) = ( a ¨ v ) § ( a ¨ w ) i) ( a ´ b ) ¨ v = a ¨ ( b ¨ v ) ( Associativity ) j) 1 ¨ v = v  § is always written as + so that one writes v + w instead of v § w  ´ and ¨ are often omitted so that one writes a b v instead of ( a ´ b ) ¨ v
  • 6. Definition in Conventional Notations Definition 1.1: (Real) Vector Space ( V, + ;  ) A vector space (over ) consists of a set V along with 2 operations ‘+’ and ‘ ’ s.t. (1) For the vector addition + : " v, w, u Î V a) v + w Î V ( Closure ) b) v + w = w + v ( Commutativity ) c) ( v + w ) + u = v + ( w + u ) ( Associativity ) d) $ 0 Î V s.t. v + 0 = v ( Zero element ) e) $ -v Î V s.t. v -v = 0 ( Inverse ) (2) For the scalar multiplication : " v, w Î V and a, b Î , [  is the real number field (,+,´) ] a) a v Î V ( Closure ) b) ( a + b ) v = a v + b v ( Distributivity ) c) a ( v + w ) = a v + a w d) ( a ´ b ) v = a ( b v ) = a b v ( Associativity ) e) 1 v = v
  • 7. Example 1.3: 2 x y 2 is a vector space if 1 1 æ ö æ ö ax by ax by æ + ö = ç ¸ è + ø x y 1 1 a b a b + = ç ¸+ ç ¸ x y è 2 ø è 2 ø 2 2 " a,bÎR 0 0 = æ ö ç ¸ è ø with 0 Proof it yourself / see Hefferon, p.81. Example 1.4: Plane in 3. The plane through the origin 0 ì æ x ö ü = ï ç ¸ í ç ¸ + + = ï ý ï î çè ø¸ ï þ P y x y z z is a vector space. P is a subspace of 3. Proof it yourself / see Hefferon, p.82.
  • 8. Example 1.5: Let § & ¨ be the (column) matrix addition & scalar multiplication, resp., then ( n, + ;  ) is a vector space. ( n, + ;  ) is not a vector space since closure is violated under scalar multiplication. Example 1.6: 0 0 0 0 V ì æ ö ü ï ç ¸ ï = ï ç ¸ ï í ç ¸ ý ï ç ¸ ï îï è ø ïþ Let then (V, + ;  ) is a vector space. Definition 1.7: A one-element vector space is a trivial space.
  • 9. Example 1.8: Space of Real Polynomials of Degree n or less, n ìï ïü = í Î ý îï ïþ P å R { 2 3 } 0 n k n k k k a x a = 3 0 1 2 3 k P = a + a x + a x + a x a ÎR n is a vector space with vectors a º å n n The kth component of a is a + b = å +å ( ) k k k a + b = a + b Vector addition: 0 0 k k a x b x k k k k = = Scalar multiplication: æ ö a å b b a x = ç ¸ è 0 ø n k k k = Zero element: = å + = å 0 = å ( ) 0 k i.e., 0 = "k 0 0 n k k x = 0 n k k k a x = ( ) 0 n k k k k a b x = 0 n k k k ba x = i.e. , ( ) k k i.e. b a = ba , E.g. , -a º å - ( ) k k i.e. -a = -a å ÎP L ÎR is isomorphic to n+1 with ( ) 1 n 0 0 ~ , , n k n k n n k a x a a + = Inverse: ( ) 0 n k k k a x = , ( ) k k a = a
  • 10. Example 1.9: Function Space The set { f | f :  →  } of all real valued functions of natural numbers is a vector space if Vector addition: ( f1 + f2 ) ( n) º f1 ( n) + f2 ( n) Scalar multiplication: ( a f ) ( n) º a f ( n) nÎN aÎR Zero element: zero(n) = 0 Inverse: ( - f ) (n) º - f ( n) f ( n ) is a vector of countably infinite dimensions: f = ( f(0), f(1), f(2), f(3), … ) E.g., f ( n) = n2 +1 ~ f = (1, 2, 5,10,L)
  • 11. Example 1.10: Space of All Real Polynomials,  ìï ïü = í Î Î ý îï ïþ P å R N 0 , n k k k k a x a n =  is a vector space of countably infinite dimensions. å ÎP ( L ) ÎR 0 1 2 0 k ~ , , , k k a x a a a ¥ ¥ = Example 1.11: Function Space The set { f | f :  →  } of all real valued functions of real numbers is a vector space of uncountably infinite dimensions.
  • 12. Example 13: Solution Space of a Linear Homogeneous Differential Equation ì ü = í ® + = ý î þ 2 2 S f : d f f 0 R R is a vector space with d x Vector addition: ( f + g) ( x) º f ( x) + g ( x) Scalar multiplication: ( a f ) ( x) º a f ( x) Zero element: zero(x) = 0 Inverse: ( - f ) (x) º - f ( x) Closure: aÎR + = + = ( ) ( ) 2 2 2 2 d f f 0 & d g g 0 d x d x 2 d a f bg a f bg 2 0 d x + → + + = Example 14: Solution Space of a System of Linear Homogeneous Equations
  • 13. Remarks: • Definition of a mathematical structure is not unique. • The accepted version is time-tested to be most concise & elegant. Lemma 1.16: Lose Ends In any vector space V, 1. 0 v = 0 . 2. ( -1 ) v + v = 0 . 3. a 0 = 0 . " v ÎV and a Î . Proof: 1. 0 = v - v = (1+ 0) v - v = v + 0v - v = 0v 2. ( -1) v + v = ( -1+1) v = 0v = 0 3. a 0 = a ( 0 v) = ( a 0) v = 0 v = 0
  • 14. Exercises 2.I.1. 1. At this point “the same” is only an intuition, but nonetheless for each vector space identify the k for which the space is “the same” as k. (a) The 2´3 matrices under the usual operations (b) The n ´ m matrices (under their usual operations) (c) This set of 2 ´ 2 matrices ìï æ a 0 ö ïü í ç ¸ a + b + c = 0 ý îï è b c ø ïþ 2. (a) Prove that every point, line, or plane thru the origin in 3 is a vector space under the inherited operations. (b) What if it doesn’t contain the origin?
  • 15. I.2. Subspaces and Spanning Sets Definition 2.1: Subspaces For any vector space, a subspace is a subset that is itself a vector space, under the inherited operations. Note: A subset of a vector space is a subspace iff it is closed under § & ¨. ì æ x ö ü = ï ç ¸ í ç ¸ + + = ï ý ï î çè ø¸ ï þ Example 2.2: Plane in 3 P y x y z 0 z is a subspace of 3. → It must contain 0. (c.f. Lemma 2.9.) Proof: Let ( ) ( ) 1 1 1 1 2 2 2 2 , , , , , T T r = x y z r = x y z ÎP → 1 1 1 2 2 2 x + y + z = 0 , x + y + z = 0 ( ) 1 2 1 2 1 2 1 2 , , T ar + br = ax + bx ay + by az + bz with ( ) ( ) ( ) ( ) ( ) 1 2 1 2 1 2 1 1 1 2 2 2 ax + bx + ay + by + az + bz = a x + y + z + b x + y + z → 1 2 ar + br ÎP " a,bÎR QED = 0
  • 16. Example 2.3: The x-axis in n is a subspace. ( ,0, ,0) -axis T Proof follows directly from the fact that r = x L Î x Example 2.4: • { 0 } is a trivial subspace of n. • n is a subspace of n. Both are improper subspaces. All other subspaces are proper. Example 2.5: Subspace is only defined wrt inherited operations. ({1},§ ; ) is a vector space if we define 1§1 = 1 and a¨1=1 "aÎ. However, neither ({1},§ ; ) nor ({1},+ ; ) is a subspace of the vector space (,+ ; ).
  • 17. Example 2.6: Polynomial Spaces. n is a proper subspace of m if n < m. Example 2.7: Solution Spaces. The solution space of any real linear homogeneous ordinary differential equation,  f = 0, is a subspace of the function space of 1 variable { f :  →  }. Example 2.8: Violation of Closure. + is not a subspace of  since (-1) v Ï + " vÎ +.
  • 18. Lemma 2.9: Let S be a non-empty subset of a vector space ( V, + ;  ). W.r.t. the inherited operations, the following statements are equivalent: 1. S is a subspace of V. 2. S is closed under all linear combinations of pairs of vectors. 3. S is closed under arbitrary linear combinations. Proof: See Hefferon, p.93. Remark: Vector space = Collection of linear combinations of vectors.
  • 19. Example 2.11: Parametrization of a Plane in 3 ì æ x ö ü = ï ç ¸ í ç ¸ - 2 + = 0 ï ý ï î çè ø¸ ï þ S y x y z z is a 2-D subspace of 3. ì æ 2 y - z ö ü = ï ç ¸ í ç y ¸ y , z Î R ï ý ï î çè z ø¸ ï þ ì æ 2 ö æ - 1 ö ü = ï ç í y 1 ¸+ ç ¸ z ç 0 ¸ ç ¸ y , z Î R ï ý ï î çè 0 ø¸ èç 1 ø¸ ï þ i.e., S is the set of all linear combinations of 2 vectors (2,1,0)T, & (-1,0,1)T. Example 2.12: Parametrization of a Matrix Subspace. ìï æ a 0 ö ïü = í ç ¸ + + = 0 ý îï è ø ïþ L a b c b c is a subspace of the space of 2´2 matrices. ìï æ- b - c 0 = ö í ç ¸ b , c Î R ïü b c ý îï è ø ïþ ìï æ - 1 0 ö æ - 1 0 = b ¸+ c ö í ç ç ¸ b , c Î R ïü 1 0 0 1 ý îï è ø è ø ïþ
  • 20. Definition 2.13: Span Let S = { s1 , …, sn | sk Î ( V,+, ) } be a set of n vectors in vector space V. The span of S is the set of all linear combinations of the vectors in S, i.e., ì ü = í Î Î ý î þ å s s R with span Æ = { 0 } span S c S c 1 , n k k k k k = Lemma 2.15: The span of any subset of a vector space is a subspace. Proof: n n Let S = { s, …, s| sÎ ( V,+,) } 1 n k  and u =å s v =å s Î u , v span S k k k k = = k k 1 1 w = u + v =å + s ® a b ( au bv ) 1 n k k k k = =å s Î " a,bÎR 1 n k k k w span S = QED Converse: Any vector subspace is the span of a subset of its members. Also: span S is the smallest vector space containing all members of S.
  • 21. Example 2.16: For any vÎV, span{v} = { a v | a Î } is a 1-D subspace. Example 2.17: Proof: The problem is tantamount to showing that for all x, y Î, $ unique a,b Î s.t. 1 1 1 1 x æ ö = a æ ö + b æ ö ç è y ¸ ç ¸ ç ¸ ø è ø è - ø i.e., a b x + = - = a b y has a unique solution for arbitrary x & y. Since 1 ( ) a = x + y 1 ( ) 2 b = x - y " x, yÎR QED 2 2 1 1 , 1 1 span ì æ ö æ ö ü í ç ¸ ç ¸ ý = î è ø è - ø þ R
  • 22. Example 2.18: 2 Let S = span{ 3x - x2 , 2x } = { a ( 3x - x2 ) + 2bx a,bÎR } Question: 0 2 0 ? c S = =P Answer is yes since ì ü = í ý î þ å = subspace of 2 ? 1 c = 3a + 2b 2 c = -a 1 3 2 a = -c b = ( c - a ) 2 1 and 1 3 2 ( ) 1 2 = c + c 2 1 k k k c x = Lesson: A vector space can be spanned by different sets of vectors. Definition: Completeness A subset S of a vector space V is complete if span S = V.
  • 23. Example 2.19: All Possible Subspaces of 3 See next section for proof. Planes thru 0 Lines thru 0
  • 24. Exercises 2.I.2 ì æ x ö ü ï ç í ç y ¸ ï çè ø¸ ¸ x + y + z = ý ï z ï î þ 1. Consider the set 1 under these operations. x x x x 1 y y y y z z z z æ ö æ + - ç 1 ¸+ ç 2 ö æ 1 2 ö ¸= ç ¸ çç 1 ¸¸ çç + 2 ¸¸ çç 1 2 ¸¸ è 1 ø è + 2 ø è 1 2 ø x rx r 1 r y r y z rz æ ö æ - + ö ç ¸= ç ¸ çç ¸¸ çç ¸¸ è ø è ø (a) Show that it is not a subspace of 3. (Hint. See Example 2.5). (b) Show that it is a vector space. ( To save time, you need only prove axioms (d) & (j), and closure under all linear combinations of 2 vectors.) (c) Show that any subspace of 3 must pass thru the origin, and so any subspace of 3 must involve zero in its description. Does the converse hold? Does any subset of 3 that contains the origin become a subspace when given the inherited operations?
  • 25. 2. Because ‘span of’ is an operation on sets we naturally consider how it interacts with the usual set operations. Let [S] º Span S. (a) If S Í T are subsets of a vector space, is [S] Í [T] ? Always? Sometimes? Never? (b) If S, T are subsets of a vector space, is [ S È T ] = [S] È [T] ? (c) If S, T are subsets of a vector space, is [ S Ç T ] = [S] Ç [T] ? (d) Is the span of the complement equal to the complement of the span? 3. Find a structure that is closed under linear combinations, and yet is not a vector space. (Remark. This is a bit of a trick question.)