Jump to content

linear independence


triclino

Recommended Posts

CAN somebody,please write the definition for the linear independence of the following functions??

 

[math] e^x,e^{2x}[/math]

 

I might possibly, be barking up the wrong tree, but for a given set of vectors...[math]q_1\bold{v}_1+q_2\bold{v}_2+q_3\bold{v}_3 = \bold{0}[/math] The set is linearly independent if (trivially) [math]q=0[/math]. So, surely you'd need to define the interval of [math]x[/math], for the set of those two functions ?

 

EDIT: I misread, you're asking for a definition. I'm a bit confused by this (possibly beyond my scope), plus, why are you asking ? Is this a brain teaser of some sort, or are you expecting somebody to do your work ?

Link to comment
Share on other sites

  • 4 weeks later...

The problem with this definition is the following:

 

If we define the functions to be linearly independent,iff ,for all a,b,x [math] ae^x+be^{2x}=0\Longrightarrow a=b=0[/math],then in this definition if we put: a=1,b=-1,x=0 we have [math] ae^x + be^{2x}=0[/math],but [math]a\neq 0 [/math]and [math]b\neq 0[/math].

 

Which shows that the definition is not applicable.

 

Any suggestions??

Link to comment
Share on other sites

I am sorry ,but i fail to see the difference between "for all x" and "for any x".

 

Besides taking the negation of the above formula we get:

 

there exists a,b ,x such that [math]ae^x +be^{2x}=0[/math] and [math]a\neq 0[/math] and [math]b\neq 0[/math],a formula true for a=1,b=-1 and x=0.

 

Hence the formula for linear independence is not true ,thus the functions are linearly dependent

Link to comment
Share on other sites

What ? Like you said in your previous post that [math]a = b = 0[/math] and in the same sentence that [math]a \neq 0[/math] and [math] b \neq 0[/math]. So ?

 

It can still be linearly independent if you defined x, despite the coefficents of a and b (providing they don't equal 0.) What's the difference between putting a coefficient on x and defining x, if you want it to be linearly independent ?

 

However, I don't see the difference between 'all x', and 'any x' either. The problem is you didn't define x !

Link to comment
Share on other sites

Sorry, I think I didn't read your post carefully enough. The definition you gave starts to give me headaches but I think putting the "for all x" behind the equation might fix it.

 

Anyways, I was thinking about the following definition (like said, it seems I didn't read your post carefully enough - sorry again) that seems to make a bit more sense to me:

 

- Two functions f(x), g(x) are linearly dependent if there is a pair (a,b) with [math]a \neq 0[/math] or [math] b \neq 0 [/math] such that af(x)+bg(x)=0, where 0 is the zero function, i.e. a function that is zero for all x. This implies that (af+bg)(x) must be zero for all x.

equivalently:

- The negation would be that two functions f(x),g(x) are linearly independent if for any pair (a,b) with [math]a \neq 0[/math] or [math] b \neq 0 [/math] there exists at least one point x such that [math]af(x) + bg(x) \neq 0[/math].

 

Sidenote: By "for any x" I meant "there exists one x such that ...". You hopefully see that this is different from "for all x it is true that ... "

Link to comment
Share on other sites

 

 

- The negation would be that two functions f(x),g(x) are linearly independent if for any pair (a,b) with [math]a \neq 0[/math] or [math] b \neq 0 [/math] there exists at least one point x such that [math]af(x) + bg(x) \neq 0[/math].

 

"

 

Your definition of linear independence would make the functions:

 

f(x) = x and g(x) =2x linearly independent,because for a=1 ,b=1 there exists,x=2 such that ,[math]ax +2bx\neq 0[/math]

 

But are these two functions linearly independent??

Link to comment
Share on other sites

There is no point x such that for the pair a=2, b=-1 af(x)+bg(x) = 2x - 2x = 0 was [math] \neq 0[/math]. I meant to write "for all pairs (a,b)" in case that really wasn't obvious (like from the sentence before that one).

 

EDIT: But perhaps it's best for you to just look up a definition from some webpage (Mathworld or Wikipedia), realize that "0" in af(x)+bg(x)=0 means the function O(x)=0 (and not a real number) and actually try to answer your question with that. The big difference is that O(x) is zero for every x, not just for one special choice of x.

Edited by timo
Link to comment
Share on other sites

In wikipedia the proof that i could get is the following one ;

 

 

 

"Let V be the vector space of all functions of a real variable t. Then the functions [math]e^t[/math] and [math]e^{2t}[/math] in V are linearly independent.

 

 

Proof

Suppose a and b are two real numbers such that

 

[math]ae^t + be^{2t}[/math] = 0

for all values of t. We need to show that a = 0 and b = 0. In order to do this, we divide through by [math]e^t[/math] (which is never zero) and subtract to obtain

 

[math]be^t[/math] = −a.

In other words, the function [math]be^t[/math] must be independent of t, which only occurs when b = 0. It follows that a is also zero."

 

Which very much implies that the definition of inderendence of functions is ;

 

for all a,b,t : [math]ae^t + be^{2t}=0\Longrightarrow a=b=0[/math]

 

But again in this definition if we put a=1,b=-1 ,t=0 ,then the definition gives

a false unswer,because [math] ae^t +be^{2t}=0[/math],but[math] a\neq 0[/math] and [math] b\neq 0[/math].

 

And since in logic : true implying false is ,false ,the definition brakes down for these values

|

Link to comment
Share on other sites

I am sorry ,but i fail to see the difference between "for all x" and "for any x".

This is the root of your problem. It is what leads you to nonsense like this:

But again in this definition if we put a=1,b=-1 ,t=0 ,then the definition gives

a false unswer,because [math] ae^t +be^{2t}=0[/math],but[math] a\neq 0[/math] and [math] b\neq 0[/math].

 

You need to understand the difference between "for all" and "for any". Example: [math]e^x=1[/math] is true for one particular value of x. It most definitely is not true for all x. In comparison, [math]e^x>0[/math] is true for all real x, [math]e^x>1[/math] is true for all positive values of x.

Link to comment
Share on other sites

triclino, you can either continue to make silly, false analogies or you can try to understand. To use your bus analogy correctly, there are uncountably many buses heading out of town. Only one of them, bus number zero, goes to LA. That is not anywhere close to "all".

Link to comment
Share on other sites

there are uncountably many buses heading out of town. .

 

Such a town does not exist, at least on earth.

 

There is no difference between "for all" and "for any","ANY mathematician- logician" can tell you that

Link to comment
Share on other sites

There is no difference between "for all" and "for any","ANY mathematician- logician" can tell you that

The problem here is that you are using "for any" to mean the existential qualifier [math]\exists[/math] rather than the universal qualifier [math]\forall[/math]. There is a huge difference between

 

[math]\exists a : \forall x\ af(x) + g(x) = 0[/math]

 

and

 

[math]\forall x \exists a: af(x) + g(x) = 0 [/math]

 

The former means that either [math]g(x)[/math] is the zero function or that [math]f(x)[/math] and [math]g(x)[/math] are linearly independent. The latter is trivially true and has no meaning.

Edited by D H
Link to comment
Share on other sites

Ga ga ra ba dum . Ga ga ra ba dum

triclino, people actually spend time giving you legible answers to the questions you raise. Either you stop acting like a child or stop posting.

 

Do go over our rules.

 

~moo

Link to comment
Share on other sites

First of all i never quoted anybody and write underneath ga ga ra ba dum,thus showing disrespect for his/her post.

Ga ga ra ba dum was intended to ease the tension and cause laughter.

 

Sense of humor in any human activity,i think is absolutely necessary

Link to comment
Share on other sites

First of all i never quoted anybody and write underneath ga ga ra ba dum,thus showing disrespect for his/her post.

Quotes are a way to put things in context; i quoted YOU and then asked you to start following the rules.

 

If it wasn't clear, the "request" was made as mycapacity as a moderator in this forum, and is only phrased as a request for the sake of politeness. Following our rules is non-negotiable, and the rules include not being disrespectful.

 

Ga ga ra ba dum was intended to ease the tension and cause laughter.

A commendable, but failed attempt. This is also not the only post where you are acting disrespectfully to others. This was a note to get the discussion going on track rather than to the gutter.

 

Posting up "ga ga ra ba dum" after a reply suggests the other poster speaks garbage. You might've not meant it to seem this way, but it does. If your intention was to joke around about your lack of understanding, you are in dire need of rephrasing your jokes.

Sense of humor in any human activity,i think is absolutely necessary

 

Perhaps, but theres a difference between joking and disrespecting. You seem to be going slightly over that line. I'm assuming it's unintentional, which is why i did not give you any "points" towards a suspension, and I do give you the benefit of the doubt, but please try to step back, read what you write, and before you make a joke see if its appropriate to make one.

 

If people put the time to answer you and 98% of your replies are jokes, then you're wasting their time.

 

Welcome to Science Forums. Now please participate in debates where all parties are privvy to your jokes, not just you.

 

~moo

Now please get this discussion back on track and away from petty arguments about the (very clear) set of rules we have in this forum.

Link to comment
Share on other sites

[math]\exists[/math] (exists) means that these is at least one [math]x[/math] such that [math]P(x)[/math] is true in your wff*.

 

[math]\forall[/math] (for all) means that [math]P(x)[/math] is true in your wff for all [math]x[/math].

 

I think every mathematician will say there is a difference between exists and for all.

 

 

*Well-Formulated Formula. (I must stress my knowledge of logic is tiny)

Link to comment
Share on other sites

  • 2 months later...

I don't know if this is a proof :

 

(Contraposition) : [math]e^x,e^{2x}[/math] are linearly dependent if there are constant a,b nonzero, such that [math]ae^x+be^{2x}=0,\forall x[/math].

 

x=0, implies [math]a+b=0[/math]

x=1 implies [math]a+be=0[/math] a contradiction since a,b are constant.

 

So those two functions are lin. independent...

Link to comment
Share on other sites

Create an account or sign in to comment

You need to be a member in order to leave a comment

Create an account

Sign up for a new account in our community. It's easy!

Register a new account

Sign in

Already have an account? Sign in here.

Sign In Now
×
×
  • Create New...

Important Information

We have placed cookies on your device to help make this website better. You can adjust your cookie settings, otherwise we'll assume you're okay to continue.