Results 1 to 2 of 2

Math Help - implies sign query

  1. #1
    Junior Member
    Joined
    May 2011
    Posts
    54

    implies sign query

    the condition for linear independence of a set of vectors (a,b,c) is :

    ka+nb+mc=0 implies k=n=m=0. My question is this. Does this sentence mean that k=n=m=0 satisfies the equation and are the only ones to do so, or does it say it is neccesary (but not sufficent) that k=n=m=0 .
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,517
    Thanks
    771

    Re: implies sign query

    Quote Originally Posted by boromir View Post
    the condition for linear independence of a set of vectors (a,b,c) is :

    ka+nb+mc=0 implies k=n=m=0. My question is this. Does this sentence mean that k=n=m=0 satisfies the equation and are the only ones to do so, or does it say it is neccesary (but not sufficent) that k=n=m=0.
    The implication in the definition is in one direction: ka+nb+mc=0 => k=n=m=0. So yes, the definition itself says that k=n=m=0 is only necessary for ka+nb+mc=0. However, the other direction follows trivially from the axioms of the vector space: if k=n=m=0, then of course ka+nb+mc=0. The definition speaks about only one direction probably to avoid saying obvious things.

    Also note that there is an implicit universal quantifier: "For all k, n and m, if ka+nb+mc=0, then k=n=m=0."
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Implies sign
    Posted in the Discrete Math Forum
    Replies: 12
    Last Post: May 26th 2011, 09:03 AM
  2. HK < G implies HK = KH
    Posted in the Advanced Algebra Forum
    Replies: 4
    Last Post: April 5th 2011, 12:38 AM
  3. Proof of p implies (q implies p)
    Posted in the Discrete Math Forum
    Replies: 14
    Last Post: December 24th 2010, 04:09 AM
  4. E(Xn) -> E(X) implies E(|Xn - X|) -> 0??
    Posted in the Advanced Statistics Forum
    Replies: 1
    Last Post: December 12th 2009, 01:48 AM
  5. Nonnegativity of y implies the same for x
    Posted in the Calculus Forum
    Replies: 5
    Last Post: November 4th 2009, 02:38 AM

Search Tags


/mathhelpforum @mathhelpforum