Prove that C[a;b] satisfies 8 axioms of vector space

Click For Summary
SUMMARY

The discussion focuses on proving that the space of continuous functions C[a; b] satisfies the eight axioms of a vector space. Participants emphasize that specific examples of vectors, such as <1,2,3> and <4,5,6>, are insufficient for demonstrating the properties of vector spaces. Instead, they recommend using arbitrary continuous functions f and g to illustrate the axioms, particularly the commutative property of addition and closure under addition. The key takeaway is that the properties must hold for all elements in C[a; b], not just specific instances.

PREREQUISITES
  • Understanding of vector space axioms
  • Familiarity with continuous functions
  • Basic knowledge of function addition and scalar multiplication
  • Concept of function spaces in linear algebra
NEXT STEPS
  • Study the properties of function spaces in linear algebra
  • Learn how to prove vector space axioms using arbitrary elements
  • Explore the implications of closure properties in function spaces
  • Investigate examples of other function spaces, such as L^2 spaces
USEFUL FOR

Students of linear algebra, mathematicians, and educators looking to understand or teach the properties of vector spaces, particularly in the context of function spaces.

sheldonrocks97
Gold Member
Messages
66
Reaction score
2

Homework Statement



Show that C[a; b], with the usual scalar multiplication
and addition of functions, satis es the eight axioms of a vector space.

Homework Equations



Eight Axioms of Vector Space:
A1. x + y = y + z
A2. (x+y)+z=x+(y+z)
A3. There exists an element 0 such that x + 0 = 0
A4. There exists an element -x such that x+(-x)=0
A5. α(x+y)=αx+αy
A6. (α+β)x=αx+βx
A7. (αβ)x=α(βx)
A8. 1·x=x
where x, y, and z are all vectors and α, β are scalars

The Attempt at a Solution



Let x=<1,2,3> y=<4,5,6> and z=<7,8,9> α=2 and β=3

1. <1,2,3>+<4,5,6>=<5,7,9> and <4,5,6>+<1,2,3>=<5,7,9>

Am I on the right track here or is there something I am doing wrong so far?
 
Physics news on Phys.org
sheldonrocks97 said:
Let x=<1,2,3> y=<4,5,6> and z=<7,8,9> α=2 and β=3

1. <1,2,3>+<4,5,6>=<5,7,9> and <4,5,6>+<1,2,3>=<5,7,9>

Am I on the right track here or is there something I am doing wrong so far?
I'm not sure what you are doing here. Isn't ##C[a; b]## the set of continuous functions on the interval ##[a,b]##? So this has nothing to do with the vectors you have written above. Additionally, even if the space was ##\mathbb{R}^3## instead of ##C[a;b]##, it would not suffice to show that the property is true for a couple of specific vectors. You need to show that the properties hold for general elements of the space.

To point you in the right direction, start by choosing two arbitrary elements ##x,y \in C[a;b]##. Here, ##x## and ##y## are continuous functions on ##[a,b]##. Now, explain why ##x + y \in C[a;b]##, and why ##x + y = y + x##.
 
C[a, b] is a function space, a kind of vector space where the "vectors" are functions.

To be more suggestive that we're dealing with functions, I would work with arbitrary elements named, say, f and g, rather than x and y. It doesn't really matter what you call them, but using f and g would remind you more that the elements you're working with are functions.
 

Similar threads

Replies
9
Views
2K
Replies
11
Views
5K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 6 ·
Replies
6
Views
4K
  • · Replies 12 ·
Replies
12
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 16 ·
Replies
16
Views
4K
  • · Replies 9 ·
Replies
9
Views
6K