Քվատերնիոններ

Քվատերնիոնները կոմպլեքս թվերի ընդհանրացում են։ Նրանք ասոցատիվ, ոչ-կոմուտատիվ *-հանրահաշիվների օրինակ են։ Որպես գծային տարածություն նրանք համարժեք են 
  
    
      
        
          
            R
          
          
            4
          
        
      
    
    {\displaystyle \mathbb {R} ^{4}}
   քառաչափ գծային տարածությանը։
Նրանց առաջին անգամ սահմանել և նկարագրել է իրլանդացի մաթեմատիկոս Վիլյամ Ռոուեն Համիլտոն-ը 1843 թվին։


== Պատմություն ==
1835 թ-ին 30 տարեկանում Համիլտոնը գիտակցեց, որ կոմպլեքս թվերը կարելի է ներկայացնել որպես իրական թվերի մի զույգ՝ (x,y)։ Ոգևորված 
  
    
      
        
          C
        
      
    
    {\displaystyle \mathbb {C} }
  -ի և երկչափ երկրաչափության կապով նա փորձում էր եռաչափ տարածությունը նկարագրող մի ավելի մեծ հանրահաշիվ կառուցել։ Հետագայում նա գրում էր իր որդուն. «Վերը նշված ամսվա ամեն առավոտյան, երբ ես իջնում էի նախաճաշելու, քո կրտսեր եղբայրը` Վիլյամ Էդվինն ու դու ինձ հարցնում էիք. ՛Հայրիկ, դու սովորե՞լ ես բազմապատկել տրիպլետները։՛ Դրան ես ստիպված էի գլուխս տխուր թափահարելով պատասխանել. ՛Ոչ, ես դրանք միայն գումարել և հանել եմ կարողանում։՛»
Վերջապես, 1843 թ-ի հոկտեմբերի 16-ին, կնոջ հետ Դուբլինում Թագավորական Ջրանցք-ի կողքով դեպի Իրլանդական Թագավորական Ակադեմիայում հանդիպման քայլելիս նա կատարեց իր հայտնագործությունը։ «Կարելի է ասել, ես զգացի, որ մտքերիս գալվանական շղթան փակվեց. և այդ փակումից աջառացած կայծերը  i,j և k-ի միջև ֆունդամենտալ հավասարումներն էին»։ Եվ մաթեմատիկական վանդալիզմի հայտնի ակտում Համիլտոնը Բրուգհեմի կամրջի քարի վրա փորագրում է հայտնի հավասարումները՝


== Սահմանում ==
Քվատերնիոն կանվանենք

տեսքի կամայական տարր, որտեղ 
  
    
      
        (
        1
        ,
        
          i
          ,
          j
          ,
          k
        
        )
      
    
    {\displaystyle (1,\mathbf {i,j,k} )}
   բազիսային էլէեմենտները ասոցատիվ են և բավարարում են (1) առնչություններին։ Քվատերնիոնային հանրահաշիվն օժտված է նաև *-գործողությամբ, որը սահմանվում է հետևյալ կերպ՝

Հեշտ է ստուգել (հաշվի առնելով (1) և (2) սահմանումները), որ 
  
    
      
        (
        
          
            q
          
          
            1
          
        
        
          
            q
          
          
            2
          
        
        
          )
          
            ∗
          
        
        =
        
          
            q
          
          
            2
          
          
            ∗
          
        
        
          
            q
          
          
            1
          
          
            ∗
          
        
        :
      
    
    {\displaystyle (\mathbf {q} _{1}\mathbf {q} _{2})^{*}=\mathbf {q} _{2}^{*}\mathbf {q} _{1}^{*}:}
  


== Հատկություններ ==


==== Արտադրյալ ====
Ձախից և աջից (1) առնչությունները բազմապատկելով 
  
    
      
        
          i
          ,
          j
          ,
          k
        
      
    
    {\displaystyle \mathbf {i,j,k} }
  -ով կստանանք համարժեք առնչություններ՝
 և ցիկլիլ տեղափոխություններ։ Այս առնչությունները կարելի է 
ընդհանրացնել մեկ դիագրամում՝

Ժամսլաքի ուղղությամբ շարժվելիս, կամայական երկու էլեմենտների արտադրյալը հավասար է երրորդին։ Ժամսլաքին հակառակ ուղղությամբ շարժվելիս, արտադրյալը ձեռք է բերում «-» նշանը։


==== Նորմ ====
Քվատերնիոնային նորմը սահմանվում հետևյալ կերպով՝

Հեշտ է ստուգել, որ քվատերնիոնները նորմավորված հանրահաշիվ են՝


==== Թենզորային ներկայացում ====
Նշանակենք 
  
    
      
        
          
            e
          
          
            1
          
        
        =
        
          i
        
        ,
        
          
            e
          
          
            2
          
        
        =
        
          j
        
        ,
        
          
            e
          
          
            3
          
        
        =
        
          k
        
      
    
    {\displaystyle \mathbf {e} _{1}=\mathbf {i} ,\mathbf {e} _{2}=\mathbf {j} ,\mathbf {e} _{3}=\mathbf {k} }
  : Այս նշանակման միջոցով քվատերնիոնների արտադրյալը կարելի է գրել ավելի կոմպակտ տեսքով՝

որտեղ 
  
    
      
        
          δ
          
            a
            b
          
        
      
    
    {\displaystyle \delta _{ab}}
   -ն Քրոնեկերի սիմվոլն է, իսկ 
  
    
      
        
          ε
          
            a
            b
            c
          
        
      
    
    {\displaystyle \varepsilon _{abc}}
  -ն՝ բացարձակ անտիսիմետրիկ թենզորը։


==== Քլիֆորդի հանրհահաշիվ ====
Հաշվի առնելով (3) առնչությունը կարող ենք գրել՝

Այս առնչությունները սահմանում են 
  
    
      
        Cliff
        ⁡
        (
        2
        )
      
    
    {\displaystyle \operatorname {Cliff} (2)}
   Քլիֆորդի հանրահաշիվը։ Այսպիսով, հեշտ է տեսնել, որ 
  
    
      
        
          H
        
        =
        Cliff
        ⁡
        (
        2
        )
      
    
    {\displaystyle \mathbb {H} =\operatorname {Cliff} (2)}
  :