Results 1 to 7 of 7

Thread: Induction of Quaternion

  1. #1
    Member
    Joined
    Dec 2017
    From
    Tel Aviv
    Posts
    142

    Induction of Quaternion

    (1)Can the proof by induction be in Quaternion?
    (2a)Can be induction on complex number?
    (2b)There is a general way to use induction on complex number?
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    Apr 2005
    Posts
    20,032
    Thanks
    3160

    Re: Induction of Quaternion

    "Proof by induction" can be used in any "inductive set". That is a set in which:
    1) there is a "first" member.
    2) given any member there is a well-defined way of selecting a "next" number.

    While there certainly are "inductive" subsets of the complex numbers and quaternions, those sets themselves are not inductive (neither are the rational numbers nor the real numbers).
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Member
    Joined
    Dec 2017
    From
    Tel Aviv
    Posts
    142

    Re: Induction of Quaternion

    More things:
    [I continue the last post]
    Can somebody give an example that no inductive
    (3)expression of complex number
    (4)expression of Hamliton Quaternion?
    Follow Math Help Forum on Facebook and Google+

  4. #4
    MHF Contributor

    Joined
    Apr 2005
    Posts
    20,032
    Thanks
    3160

    Re: Induction of Quaternion

    Quote Originally Posted by policer View Post
    Can you give inductive examples to:
    (1) subset of complex numbers
    (2) [more important to me] subset of Hamilton Quaternion numbers
    Can somebody give an example that no inductive
    (3)expression of complex number
    (4)expression of Hamliton Quaternion?

    For (1) and (2), the obvious example is the set of positive integers which is an inductive subset of both the complex numbers and the quaternions (the "first" member is 1 and, given any positive integer, x, the "next" member is x+1). Almost as obvious is the set of negative integers, taking the "first" member to be -1 and, for each negative integer x, the "next" member to be x-1.

    I don't know what you mean by "inductive expression". I did not use the word "expression". However, both the complex numbers and the quaternions include the real numbers as a subset and the real numbers cannot be "ordered" so cannot be an inductive set. If a set is not inductive neither is any superset.
    Follow Math Help Forum on Facebook and Google+

  5. #5
    MHF Contributor
    Joined
    Nov 2010
    Posts
    3,717
    Thanks
    1512

    Re: Induction of Quaternion

    Unless you are talking about transfinite induction, which requires (and is equivalent to) the Axiom of Choice, Zorn's Lemma, and the Well-Ordering Theorem.
    Follow Math Help Forum on Facebook and Google+

  6. #6
    Member
    Joined
    Dec 2017
    From
    Tel Aviv
    Posts
    142

    Re: Induction of Quaternion

    Can you give an example to transfinite induction? How it made?
    Follow Math Help Forum on Facebook and Google+

  7. #7
    MHF Contributor
    Joined
    Nov 2010
    Posts
    3,717
    Thanks
    1512

    Re: Induction of Quaternion

    Quote Originally Posted by policer View Post
    Can you give an example to transfinite induction? How it made?
    You can read up on someone's favorite transfinite proofs here:

    Interesting Proofs Using Transfinite Induction
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Quaternion, -j * k = 0?
    Posted in the Advanced Algebra Forum
    Replies: 3
    Last Post: Sep 24th 2012, 01:34 PM
  2. Is this the Quaternion group?
    Posted in the Discrete Math Forum
    Replies: 0
    Last Post: Dec 1st 2011, 07:23 AM
  3. Quaternion
    Posted in the Advanced Algebra Forum
    Replies: 7
    Last Post: Sep 26th 2011, 06:38 PM
  4. [SOLVED] quaternion algebra
    Posted in the Advanced Algebra Forum
    Replies: 4
    Last Post: Aug 29th 2011, 11:02 AM
  5. Quaternion Group
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: Nov 4th 2009, 11:26 AM

/mathhelpforum @mathhelpforum