Linear Algebra - Linear Spaces

Mano Jow
Messages
18
Reaction score
0
Hello there,
I'm having some problems with a proof-like exercise on linear algebra. Here's what I'm supposed to do:

Homework Statement


Determine whether each of the given sets is a real linear space, if addition and multiplication by real scalars are defined in the usual way. For those that are not, tell which axioms fail to hold.

Homework Equations


All increasing functions.
(there are others, like rational functions, all Taylor polynomials of degree \leq n, etc. but I guess my doubts are related to all of them).

The Attempt at a Solution


Well, after a couple of attempts my teacher told me that once I prove that increasing functions are a subset of the functions linear space, I just need to prove the closure axioms. This can be done just by saying "the increasing fuctions are contained in the set of functions". Ok, then I started to prove the closure under addtion.

Let f be an increasing funcion, if x1 < x2, then f(x1) < f(x2). The same applies to a increasing function g.
So, adding g(x1) to both sides of the f(x) equation and f(x2) to both sides of the g(x) equation, we have:

(1) f(x1) + g(x1) < f(x2) + g(x1)
(2) g(x1) + f(x2) < g(x2) + f(x2)
\Rightarrow f(x1) + g(x1) < g(x2) + f(x2)
\Rightarrow (f+g)(x1) < (f+g)(x2)

And I guess it's proven that it's closed under addition. Is that right?
Now, I know it's not closed under multiplication because if I multiplicate f by -1 it won't be an increasing function anymore. But can I just say that and it's ok or is there another way to show it's not closed under multiplication?

I have tried this (let a be a real number):
f(x1) < f(x2) \Rightarrow af(x1) < af(x2) \Rightarrow (af)(x1) < (af)(x2). But I don't think I got anything useful.

I'd be very grateful if anyone could help.
Thanks in advance.
 
Physics news on Phys.org
Mano Jow said:
Hello there,
I'm having some problems with a proof-like exercise on linear algebra. Here's what I'm supposed to do:

Homework Statement


Determine whether each of the given sets is a real linear space, if addition and multiplication by real scalars are defined in the usual way. For those that are not, tell which axioms fail to hold.

Homework Equations


All increasing functions.
(there are others, like rational functions, all Taylor polynomials of degree \leq n, etc. but I guess my doubts are related to all of them).

The Attempt at a Solution


Well, after a couple of attempts my teacher told me that once I prove that increasing functions are a subset of the functions linear space, I just need to prove the closure axioms. This can be done just by saying "the increasing fuctions are contained in the set of functions". Ok, then I started to prove the closure under addtion.

Let f be an increasing funcion, if x1 < x2, then f(x1) < f(x2). The same applies to a increasing function g.
So, adding g(x1) to both sides of the f(x) equation and f(x2) to both sides of the g(x) equation, we have:

(1) f(x1) + g(x1) < f(x2) + g(x1)
Since g(x1) < g(x2), you can continue the inequality above with < f(x2) + g(x2).

This shows that f(x1) + g(x1) < f(x2) + g(x2), or
(f + g)(x1) < (f + g)(x2), and you're done with that part.
Mano Jow said:
(2) g(x1) + f(x2) < g(x2) + f(x2)
\Rightarrow f(x1) + g(x1) < g(x2) + f(x2)
\Rightarrow (f+g)(x1) < (f+g)(x2)

And I guess it's proven that it's closed under addition. Is that right?
Now, I know it's not closed under multiplication because if I multiplicate f by -1 it won't be an increasing function anymore. But can I just say that and it's ok or is there another way to show it's not closed under multiplication?
This is enough to show that the set of increasing functions is not closed under scalar multiplication.
Mano Jow said:
I have tried this (let a be a real number):
f(x1) < f(x2) \Rightarrow af(x1) < af(x2) \Rightarrow (af)(x1) < (af)(x2). But I don't think I got anything useful.

I'd be very grateful if anyone could help.
Thanks in advance.
 
Thanks a lot for the fast reply!
 
Thread 'Use greedy vertex coloring algorithm to prove the upper bound of χ'
Hi! I am struggling with the exercise I mentioned under "Homework statement". The exercise is about a specific "greedy vertex coloring algorithm". One definition (which matches what my book uses) can be found here: https://people.cs.uchicago.edu/~laci/HANDOUTS/greedycoloring.pdf Here is also a screenshot of the relevant parts of the linked PDF, i.e. the def. of the algorithm: Sadly I don't have much to show as far as a solution attempt goes, as I am stuck on how to proceed. I thought...
Back
Top