Bội chung nhỏ nhất của các ma trận

Tóm tắt

Dựa trên những kiến thức đã có về bội chung nhỏ nhất của các số nguyên, kết hợp với

khái niệm bội chung nhỏ nhất của các ma trận đã được Éugene Cahen định nghĩa trong [1] và

sử dụng một số kết quả về môđun tự do, các phép toán đối với ma trận, các phép biến đổi sơ

cấp trên ma trận, cách xác định nghiệm của hệ phương trình tuyến tính thuần nhất trên miền

chính. Bài viết làm rõ định nghĩa bội chung nhỏ nhất của các ma trận thông qua các ví dụ và

tính chất. Bài viết cũng chứng minh sự tồn tại và phương pháp tìm bội chung nhỏ nhất của các

ma trận vuông cùng cấp và của các ma trận chỉ có cùng số dòng trên miền chính. Bài viết cũng

trình bày chi tiết hơn về thuật toán tìm bội chung nhỏ nhất của các ma trận trên vành số

nguyên

pdf8 trang | Chuyên mục: Đại Số Sơ Cấp | Chia sẻ: yen2110 | Lượt xem: 205 | Lượt tải: 0download
Tóm tắt nội dung Bội chung nhỏ nhất của các ma trận, để xem tài liệu hoàn chỉnh bạn click vào nút "TẢI VỀ" ở trên
A 
= A.0. 
Tính chất: 
 i) Mọi ma trận đều là bội (bên phải và bên trái ) của chính nó. 
 ii) Nếu A là bội bên phải (trái) của B và B là bội bên phải (trái) của C thì A là bội bên 
phải (trái) của C. 
4.1.2. Bội chung của các ma trận 
Định nghĩa: Cho các ma trận A1, A2,, An. Ma trận M được gọi là bội chung bên trái 
(phải) của các ma trận A1, A2,, An nếu M là bội bên trái đồng thời của mỗi ma trận đó. 
Ví dụ: Xét vành số nguyên ¢ . 
0 1 2
0 0 0
M
 
  
 
 là bội chung của bên trái của 
1 1
0 0
A
 
  
 
 và 
1 2 0
.
0 0 0
B
 
  
 
Vì tồn tại các ma trận 
1 1 2
1 0 0
P
 
  
 
, 
0 1 0
0 0 1
0 0 0
Q
 
 
 
  
 để M = AP = BQ. 
Nhận xét: Ta biết rằng phép nhân hai ma trận chỉ thực hiện được khi số cột của ma trận 
đứng trước bằng số dòng của ma trận đứng sau. Do đó khái niệm bội chung bên trái (phải) của 
các ma trận A1, A2,, An chỉ tồn tại khi chúng có cùng số dòng (cột). Vì vậy nếu không có gì 
gây nhầm lẫn và để cho gọn, từ giờ ta chỉ xét trong các trường hợp mà phép nhân ma trận là 
thực hiện được. 
4.1.3. Bội chung nhỏ nhất của các ma trận 
Định nghĩa: Giả sử M là bội chung bên trái (phải) của các ma trận A1, A2,, An. Nếu mọi 
bội chung bên trái (phải) của A1, A2,, An đều là bội bên trái (phải) của M thì M được gọi là 
BCNN bên trái (phải) của các ma trận đó. 
Nhận xét: Nếu trong các ma trận A1, A2,, An có một ma trận 0 thì 0 là bội chung duy 
nhất của chúng và do đó 0 cũng sẽ là BCNN của các ma trận đó. Vì vậy, sau đây ta chỉ xét 
BCNN của các ma trận khác không và cũng chỉ xét BCNN bên trái, gọi tắt là BCNN và viết tắt 
BCNN của A1,A2,,An là  1 2, ,..., nBCNN A A A . 
Ví dụ: Trên 2( )M ¢ , cho 
1 2
0 1
 
  
 
A ,
1 3
.
0 1
 
  
 
B Khi đó, 
1 0
0 1
 
  
 
I là BCNN(A,B). 
 Thật vậy, ta có: 
1 1  I AA BB với 1
1 2
0 1

 
  
 
A , 1
1 3
0 1
    
 
B nên I là bội 
chung bên trái của A và B. Hơn nữa, nếu M là một bội chung khác của A và B thì ta luôn có M 
= IM. Điều này có nghĩa M cũng là bội chung bên trái của I. Vậy I là BCNN(A,B). 
Nguyễn Thị Khánh Hòa Bội chung nhỏ nhất của các ma trận 
 202 
Chú ý: 1) Nếu M và 'M là BCNN(A1, A2,, An) thì M và 'M sai khác nhau một ma trận. 
Chứng minh: 
Giả sử A1, A2,, An ( )m nM R và ( ), ( )m p m qM M R M M R   . 
Vì M, 'M là  1 2, ,..., nBCNN A A A nên M là bội của 'M và 'M là bội của M. Do đó 
tồn tại P ( )p qM R , Q ( )q pM R để 'M MP và 'M M Q . 
2) Giả thiết thêm R là miền nguyên và M, 'M là các ma trận vuông khác 0 cùng cấp có 
định thức khác 0 thì M và 'M sai khác nhau một ma trận khả nghịch. 
Chứng minh: Theo trên ta có 'M M Q MPQ  . Suy ra det det .det .det .M M P Q 
Vì R là miền nguyên nên det .det 1P Q  . Suy ra P, Q khả nghịch. 
3) Nếu các ma trận A1, A2,, An 0 có BCNN là 0 thì 0 là BCNN duy nhất của chúng. 
 Chứng minh: 
Giả sử M 0 là một BCNN của các ma trận A1, A2,, An 0 . Theo nhận xét 1, tồn tại 
một ma trận P sao cho M = 0.P. Điều này là vô lý. Do đó 0 là BCNN duy nhất. 
4) Theo chú ý 1 và 3, ta có thể kết luận nếu các ma trận A1, A2,, An có BCNN khác 0 thì 
BCNN của chúng là không duy nhất. 
4.2. Sự tồn tại và phương pháp tìm bội chung nhỏ nhất của các ma trận 
Trước tiên, tác giả xin trình bày định lý về sự tồn tại BCNN của các ma trận vuông khác 
0 với điều kiện R là miền chính và BCNN này cũng sẽ có cùng cấp với các ma trận đó. 
4.2.1. Định lí 1: Giả sử R là miền chính. Khi đó, luôn tồn tại BCNN của các ma trận 
vuông khác 0 thuộc ( ).nS M R 
Chứng minh: Giả sử A1, A2, , An là các ma trận khác 0 tùy ý thuộc Mn(R), ta sẽ chứng 
minh luôn tồn tại BCNN(A1, A2, , An). 
Xét 1 2 ... I I I nI AS A S A S . 
* Ta thấy I là iđêan phải của S. Theo bổ đề 4, vì R là miền chính nên mọi iđêan phải của S 
đều là iđêan phải chính. Suy ra tồn tại M S sao cho:  . |  I MS M K K S . 
* Vì M I nên tồn tại 1 2, ,..., nQ Q Q S sao cho 1 1 2 2 ...    n nM AQ A Q A Q . 
Như vậy M là bội chung của A1, A2, , An. (1) 
Giả sử N S cũng là một bội chung của A1, A2, , An. Khi đó N I . Tức là tồn tại 
K S sao cho N = MK. Như vậy N cũng là một bội của M. (2) 
Từ (1) và (2) suy ra M là  1 2, ,..., nBCNN A A A . 
Đối với hai ma trận khác 0 có cùng số dòng, BCNN của chúng cũng luôn tồn tại với điều 
kiện R là miền chính và định lý sau cho ta cách tìm BCNN của chúng. 
4.2.2. Định lý 2: Giả sử R là miền chính. Khi đó luôn tồn tại BCNN của hai ma trận khác 
0 có cùng số dòng. 
Chứng minh: Giả sử A  m nM R , B  m pM R , , 0A B  . Ta sẽ tìm BCNN(A, B). 
* Nếu M là bội chung của A và B thì tồn tại hai ma trận P, Q sao cho 
M = AP = BQ. 
Tạp chí Khoa học Đại học Thủ Dầu Một Số 1(32)-2017 
 203 
Đặt   C A B là ma trận cấp  m n p  . 
Khi đó mỗi vectơ cột của 
P
Q
 
 
 
 sẽ là một nghiệm của hệ phương trình tuyến tính thuần 
nhất CX = 0. (1) 
* Theo Bổ đề 1 và Mệnh đề 1, nếu 
+ rank(C) = n + p thì hệ (1) chỉ có nghiệm tầm thường. Khi đó ma trận 0 là bội chung 
duy nhất và do đó là BCNN(A, B). 
+ rank(C) < n + p thì hệ (1) có tập nghiệm là một môđun tự do với cơ sở S gồm k vectơ 
 1 k n p   . Khi đó các nghiệm của hệ (1) được xác định bằng công thức: 
 0
0
i
A
X
B

 
  
 
 với  i là ma trận cột các tham số cấp 1k  . 
0
0
A
B
 
 
 
là ma trận gồm các 
cột tọa độ của các vectơ trong cơ sở S và A0, B0 lần lượt là các ma trận cấp n k và p k . 
Vì mỗi vectơ cột của 
0
0
A
B
 
 
 
 cũng là một nghiệm của (1) nên 
  0 0 0
0
0
A
A B AA BB
B
 
    
 
Như vậy M = AA0 chính là bội chung của A và B. 
* Giả sử  m qN M R là một bội chung khác của A và B, tức là 1 1N AA BB  với 
   1 1;n q p qA M R B M R   . 
Rõ ràng mỗi vectơ cột của ma trận 
1
1
A
B
 
 
 
 cũng là một nghiệm của hệ (1). Do đó tồn tại 
các giá trị  ij 1, ; 1,R i k j q    sao cho 
01
01
ij k q
AA
BB


  
      
   
Tức là 1 0 ij k q
A A 

    . Vì vậy 1 0 ij ijk q k q
N AA AA M 
 
         . 
Điều này có nghĩa N là một bội của M. Vậy M là BCNN(A, B). 
4.2.3. Phương pháp tìm bội chung nhỏ nhất của nhiều ma trận 
Cho 1 2, ,..., nA A A là các ma trận khác 0 có cùng số dòng trên miền chính R. 
Gọi 2M là  1 2, ,BCNN A A 3M là  2 3, ,BCNN M A , nM là  1, .n nBCNN M A 
Khi đó nM là  1 2, ,..., .nBCNN A A A 
Thật vậy, ta thấy rằng mọi bội chung của 1 2, ,..., nA A A đều là bội chung của 
2 3, ,..., nM A A và ngược lại. Vì vậy ta có    1 2 2 3, ,..., , ,...,n nBCNN A A A BCNN M A A . 
Nguyễn Thị Khánh Hòa Bội chung nhỏ nhất của các ma trận 
 204 
Lặp lại lí luận này nhiều lần, ta sẽ được    1 2 2 3, ,..., , ,...,n nBCNN A A A BCNN M A A 
 3 4, ,..., nBCNN M A A  1.... ,n nBCNN M A  
nghĩa là 
nM là  1 2, ,..., .nBCNN A A A 
Từ Mệnh đề 3 và chứng minh của Định lý 2, ta có được thuật toán tìm BCNN của các ma 
trận trên vành ¢ như sau: 
4.3. Thuật toán tìm BCNN của hai ma trận trên vành ¢ 
Giả sử cần tìm BCNN của A  m nM  ¢ , B  m pM  ¢ , , 0A B  . 
Bước 1: Đặt   C A B là ma trận cấp  m n p  và r = rank(C). 
Xét hệ phương trình tuyến tính thuần nhất CX = 0. (1) 
- Nếu r = n + p thì hệ (1) chỉ có nghiệm tầm thường. Do đó BCNN(A, B) là ma trận 0. 
- Nếu r < n + p thì chuyển sang bước 2. 
Bước 2: Tương tự thuật toán tìm UCLN của hai ma trận vuông trong [5], ta đưa ma trận 
C về dạng D = diag(d1,, dr, 0,,0) bằng hai phép biến đổi sơ cấp trên dòng (cột). Khi đó ta 
có hai ma trận khả nghịch  ;mL M ¢ và      n p n pR M    ¢ sao cho LCR = D. 
Bước 3: Giải hệ DY = 0. Giả sử tìm được nghiệm là 
 
 
1
0
i s
s n p s
Y
I


 
 
  
 
. 
Với s = n + p – r. Is là ma trận đơn vị cấp s.  
1i s


 là ma trận cột các tham số. 
Bước 4: Nghiệm của hệ (1) được tính theo công thức 
 0
1
0
i s
A
X RY
B


 
   
 
với A0, B0 lần lượt là các ma trận cấp n s và p s . 
Bước 5: Khi đó BCNN(A, B) là M = A.A0. 
Ví dụ: Tìm BCNN của hai ma trận A và B ,biết 
1
0
0
A
 
 
 
  
 và 
1 2
2 0
1 0
B
 
 
 
  
. 
Đặt  C A B  . Ta đưa ma trận C về dạng chéo bằng cách sử dụng hai phép biến đổi 
sơ cấp trên dòng, cột như sau: 
2 2 1 2 3 3 3 2 2
3 3 2 1
1 1 2 1 0 0 1 0 0 1 0 0
0 2 0 0 2 0 0 1 0 0 1 0
0 1 0 0 1 0 0 2 0 0 0 0
c c c d d d d d
c c c
C D    
 
        
               
       
                
Phép biến đổi thứ nhất tương đương với việc nhân thêm bên phải C hai ma trận sơ cấp 
Tạp chí Khoa học Đại học Thủ Dầu Một Số 1(32)-2017 
 205 
1
1 1 0
0 1 0
0 0 1
R
 
 
 
  
 và 
2
1 0 2
0 1 0
0 0 1
R
 
 
 
  
 . 
Phép biến đổi thứ hai và ba tương đương với việc nhân thêm bên trái C hai ma trận sơ 
cấp 
1
1 1 0
0 0 1
0 1 0
L
 
 
 
  
 và 
2
1 0 0
0 1 0
0 2 1
L
 
 
 
  
 . 
Đặt R = R1R2 và L = L2L1. Khi đó LCR = D. 
Hệ phương trình DY = 0 có nghiệm là  
0 0
0 0
1
Y a
a
   
    
   
      
 với a¢ là tham số. 
Khi đó hệ phương trình CX = 0 có nghiệm là  
2 2
0 0
1
a
X RY a
a
   
     
   
      
. 
Vậy  ,BCNN A B là  0
1 2
. 0 . 2 0
0 0
M A A
   
     
   
      
. 
TÀI LIỆU THAM KHẢO 
[1] Éugene Cahen, Théorie des nombres, Librairie Sciencetifique A. Hermann & Fils, 1914. 
[2] N. Jacabson, Basic Algebra I, W.H. Freeman and Co., San Francisco, 1974. 
[3] Thomas W. Hungerford, Algebra, Springer Science & Business Media, 1974. 
[4] William Brown, Matrices over commutative rings, Marcel Dekker, 1993. 
[5] Nguyễn Thị Khánh Hòa, Nguyễn Thị Kiều Trinh (2016), Ước chung lớn nhất của các ma trận 
vuông, Tạp chí khoa học Đại học Thủ Dầu Một, số 2 (27). 

File đính kèm:

  • pdfboi_chung_nho_nhat_cua_cac_ma_tran.pdf