-
A vector space consists of the following four
elements:
-
A set of vectors
VV,
-
A field of scalars
(where, for our purposes,
is either
ℝ or
ℂ),
-
The operations of vector addition "+"
(i.e., + :
V×V→V
V
V
V
)
-
The operation of scalar multiplication
"⋅"(i.e., ⋅ :
×V→V
V
V
)
for which the following properties hold. (Assume
x∧y∧z∈V
x
y
z
V
and
α∧β∈
α
β
.)
| Properties |
Examples |
| commutativity |
x+y=y+x
x
y
y
x
|
| associativity |
x+y+z=x+y+z
x
y
z
x
y
z
|
|
αβx=αβx
α
β
x
α
β
x
|
| distributivity |
α⋅x+y=α⋅x+α⋅y
α
⋅
x
y
⋅
α
x
⋅
α
y
|
|
α+βx=αx+βx
α
β
x
α
x
β
x
|
| additive identity |
∀,x∈V:∃0,0∈V:x+0=x
x
V
0
0
V
x
0
x
|
| additive inverse |
∀,x∈V:∃-x,-x∈V:x+-x=0
x
V
x
x
V
x
x
0
|
| multiplicative identity |
∀,x∈V:1⋅x=x
x
V
⋅
1
x
x
|
Important examples of vector spaces include
|
Properties
|
Examples
|
|
real NN-vectors
|
V=ℝN
V
N
,
=ℝ
|
|
complex NN-vectors
|
V=ℂN
V
N
,
=ℂ
|
|
sequences in
"
lp
lp
"
|
V={xn|∃,n∈ℤ:∑n=-∞∞|xn|p<∞}
V
x
n
n
n
x
n
p
,
=ℂ
|
|
functions in "
ℒp
ℒp
"
|
V={ft|∫-∞∞|ft|pdt<∞}
V
f
t
t
f
t
p
,
=ℂ
|
where we have assumed the usual definitions of addition and
multiplication. From now on, we will denote the arbitrary
vector space (
VV,
, +, ⋅) by the
shorthand
VV and
assume the usual selection of
(
, +, ⋅). We will
also suppress the "⋅" in scalar multiplication, so that
α⋅x
⋅
α
x
becomes
αx
α
x
.