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

In summary: So, for example, if ##x = f(y)##, then ##x + y = f(x+y)##.Now, to see that the addition of functions always produces a vector, consider this situation: Suppose you have two functions, f and g, such that ##f(x) = g(x)##. Then,f(x+y) = f(x) + g(y)= f(x+y) = f(x)+g(g(y))= f(x) + g(g(x))= x+x = x+2= x+y = y+xThis
  • #1
sheldonrocks97
Gold Member
66
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
  • #2
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##.
 
  • #3
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.
 

1. What are the 8 axioms of vector space?

The 8 axioms of vector space are closure under addition, closure under scalar multiplication, commutativity of addition, associativity of addition, existence of identity element for addition, existence of identity element for scalar multiplication, distributivity of scalar multiplication over addition, and compatibility of scalar multiplication with field multiplication.

2. How do you prove closure under addition for C[a;b]?

To prove closure under addition for C[a;b], we need to show that for any two elements f(x) and g(x) in C[a;b], their sum f(x) + g(x) is also in C[a;b]. This can be done by showing that the sum of any two continuous functions over the interval [a;b] is also continuous.

3. What is the identity element for scalar multiplication in C[a;b]?

The identity element for scalar multiplication in C[a;b] is the constant function 1, which when multiplied by any continuous function f(x) results in f(x) itself.

4. How is associativity of addition proven for C[a;b]?

Associativity of addition in C[a;b] can be proven by showing that for any three elements f(x), g(x), and h(x) in C[a;b], (f(x) + g(x)) + h(x) is equal to f(x) + (g(x) + h(x)). This can be done by using the properties of associativity in the real numbers and the continuity of functions over the interval [a;b].

5. Why is the distributivity of scalar multiplication over addition important in C[a;b]?

The distributivity of scalar multiplication over addition is important in C[a;b] because it allows us to perform operations on functions in a consistent manner. It ensures that we can multiply a function by a scalar and then add it to another function, or we can add two functions and then multiply the sum by a scalar, and get the same result. This is essential for the consistent application of mathematical operations in vector spaces.

Similar threads

  • Calculus and Beyond Homework Help
Replies
9
Views
1K
  • Calculus and Beyond Homework Help
Replies
2
Views
1K
  • Differential Geometry
Replies
3
Views
1K
  • Calculus and Beyond Homework Help
Replies
12
Views
1K
  • Calculus and Beyond Homework Help
Replies
1
Views
1K
  • Calculus and Beyond Homework Help
Replies
4
Views
1K
  • Calculus and Beyond Homework Help
Replies
11
Views
5K
  • Linear and Abstract Algebra
Replies
10
Views
2K
  • Calculus and Beyond Homework Help
Replies
6
Views
3K
  • Calculus and Beyond Homework Help
Replies
2
Views
1K
Back
Top