Phép chuyển cơ sở

Trong toán học, một cơ sở có thứ tự của một không gian vectơ hữu hạn chiều cho phép biểu diễn duy nhất một phần tử bất kỳ trong không gian vectơ bởi một vectơ tọa độ, tức là một dãy có thứ tự gồm vô hướng xác định gọi là các tọa độ. Nếu phải xét hai cơ sở khác nhau, tọa độ biểu diễn cho một vectơ trong một cơ sở nói chung là khác với tọa độ biểu diễn cho cùng vectơ đó trong cơ sở kia. Một phép chuyển cơ sở là sự chuyển đổi mỗi một khẳng định được diễn đạt qua các tọa độ đối với một cơ sở thành một khẳng định được diễn đạt qua các tọa độ đối với cơ sở kia.
Một sự chuyển đổi như vậy là kết quả của việc áp dụng "công thức chuyển cơ sở", tức là công thức biểu diễn tọa độ đối với một cơ sở theo các tọa độ đối với cơ sở kia. Sử dụng ma trận, công thức này có thể được viết như sau
trong đó các từ "cũ" và "mới" tương ứng chỉ cơ sở được xác định ban đầu và cơ sở kia, formula_2 và formula_3 là các vectơ cột biểu diễn tọa độ của cùng một vectơ trong hai cơ sở, và formula_4 được gọi là ma trận chuyển cơ sở (còn gọi là ma trận chuyển tiếp), là ma trận mà các cột của nó là các vectơ tọa độ của các vectơ cơ sở mới trong cơ sở cũ.
Bài viết này chủ yếu xét các không gian vectơ hữu hạn chiều. Tuy nhiên, nhiều kết quả dưới đây vẫn đúng với các không gian vectơ vô hạn chiều.
Công thức chuyển cơ sở.
Cho formula_5 là một cơ sở của không gian vectơ hữu hạn chiều trên trường .
Với mỗi , ta có thể xác định một vectơ bất kỳ bởi các tọa độ của nó formula_6 đối với cơ sở formula_7
Cho
là ma trận mà cột thứ là vectơ tọa độ của . (Từ đây về sau, chỉ số luôn để chỉ các hàng của và các vectơ formula_10 còn chỉ số để chỉ các cột của của và formula_11 quy ước này nhằm tránh nhầm lẫn trong tính toán tường minh.)
Đặt formula_12 ta có formula_13 là cơ sở của khi và chỉ khi ma trận là khả nghịch, hay nói một cách tương đương là nó có định thức khác 0. Trong trường hợp này, được gọi là "ma trận chuyển cơ sở", từ cơ sở formula_14 đến cơ sở formula_13.
Cho trước một vectơ formula_16 ta có formula_17 là tọa độ của nó đổi với formula_14, và formula_19 là tọa độ của nó đối với formula_13; tức là:
"Công thức chuyển cơ sở" liên hệ tọa độ đối với cơ sở cũ với tọa độ đối với cơ sở mới. Với cách ký hiệu như trên, nó là
Dưới dạng ma trận, công thức chuyển đổi cơ sở có thể viết là
trong đó formula_24 và formula_25 là các ma trận cột gồm các tọa độ của trong các cơ sở tương ứng formula_7 và formula_27
"Chứng minh:" Sử dụng định nghĩa trên của ma trận chuyển cơ sở, ta có
Bởi formula_29 công thức chuyển cơ sở là kết quả của sự phân tích duy nhất một vectơ trên một cơ sở.
Phép chuyển cơ sở cũng là một biến đổi tuyến tính, biểu diễn bởi ma trận chuyển cơ sở.
Ví dụ.
Xét không gian vectơ Euclid formula_30 Cơ sở chính tắc của không gian này bao gồm hai vectơ formula_31 và formula_32 Nếu ta quay hai vectơ này một góc , ta có "cơ sở mới" gồm các vectơ formula_33 và formula_34
Vì vậy, ma trận chuyển cơ sở là formula_35
Công thức chuyển cơ sở khẳng định rằng, nếu formula_36 là các tọa độ mới của một vectơ formula_37 thì ta có
Tức là,
Có thể kiểm tra điều này bằng cách viết lại
Biến đổi tuyến tính.
Xét biến đổi tuyến tính từ một không gian vectơ có số chiều vào một không gian vectơ có số chiều . Ma trận biểu diễn cho biến đổi này đối với các cơ sở "cũ" của và là một ma trận cỡ . Phép chuyển cơ sở trong không gian được xác định bởi ma trận chuyển cơ sở cỡ , và trong không gian thì ma trận chuyển cơ sở là cỡ .
Đối với các cơ sở "mới", ma trận của biến đổi là
Đây là một hệ quả đơn giản của công thức chuyển cơ sở.
Tự đồng cấu.
Tự đồng cấu tuyến tính là các biến đổi tuyến tính từ một không gian vectơ vào chính nó. Đối với phép chuyển cơ sở với tự đồng cấu, công thức ở mục trước vẫn được áp dụng, nhưng ở trường hợp này ma trận chuyển cơ sở là giống nhau. Tức là, nếu là một ma trận vuông biểu diễn cho một tự đồng cấu trên đối với một cơ sở "cũ", còn là ma trận chuyển cơ sở, thì ma trận của tự đồng cấu đối với cơ sở "mới" là
Bởi vì mọi ma trận khả nghịch đều có thể được dùng làm ma trận chuyển cơ sở, từ điều này suy ra hai ma trận là đồng dạng khi và chỉ khi chúng biểu diễn cho cùng một tự đồng cấu đối với hai cơ sở khác nhau.
Dạng song tuyến tính.
Một "dạng song tuyến tính" trên một không gian vectơ "V" trên một trường là một hàm mà nó tuyến tính đối với cả hai đối số. Tức là là song tuyến tính nếu các ánh xạ formula_43 và formula_44 là tuyến tính với formula_45 được giữ cố định.
Ma trận của dạng song tuyến tính trên một cơ sở formula_46 (gọi là cơ sở "cũ") là ma trận mà phần tử ở hàng và cột là . Điều này suy ra rằng nếu và là các ma trận cột gồm tọa độ của hai vectơ và , ta có
trong đó formula_48ký hiệu chuyển vị của ma trận .
Nếu là ma trận chuyển cơ sở, thì ma trận của dạng song tuyến tính đối với cơ sở mới là
Một dạng song tuyến tính đối xứng là dạng song tuyến tính sao cho formula_50 đối với mọi vectơ và trong . Theo đó ta có ma trận của là ma trận đối xứng đối với mọi cơ sở. Có thể suy ra từ đây rằng thuộc tính đối xứng của ma trận phải được bảo toàn bởi phép chuyển cơ sở. Ta có thể tính toán để kiểm chứng điều này, nhớ rằng chuyển vị của tích ma trận bằng tích các chuyển vị theo thứ tự ngược lại, cụ thể:
và hai vế của phương trình này đều bằng formula_52 nếu ma trận là đối xứng.
Nếu đặc số của trường nền không phải là 2, thì đối với mỗi dạng song tuyến tính đối xứng tồn tại một cơ sở mà ở đó ma trận của nó là ma trận đường chéo. Hơn nữa, các phần tử khác 0 trên đường chéo được xác định bởi phép nhân với ma trận vuông. Vì thế nếu trường nền là trường số thực formula_53, các phần tử khác 0 này có thể được chọn là hoặc . Định lý quán tính Sylvester khẳng định rằng số các số và chỉ phụ thuộc vào dạng song tuyến tính và không phụ thuộc chuyển cơ sở.
Dạng song tuyến tính đối xứng trên các số thực thường gặp trong hình học và vật lý, cụ thể là trong nghiên cứu về các mặt bậc hai và quán tính của một vật rắn. Trong các trường hợp này, sử dụng cơ sở trực chuẩn là hữu ích; điều này có nghĩa là ta thường muốn giới hạn thực hiện các phép chuyển cơ sở có ma trận chuyển cơ sở là trực giao, tức là ma trận sao cho formula_54 Các ma trận như vậy có tính chất cơ bản là các công thức chuyển cơ sở là giống nhau đối với một dạng song tuyến tính đối xứng và tự đồng cấu được biểu diễn bởi cùng một ma trận đối xứng. Định lý phổ khẳng định rằng, cho một ma trận đối xứng như vậy, tồn tại một phép chuyển cơ sở trực giao sao cho ma trận kết quả (của cả dạng song tuyến tính và tự đồng cấu) là một ma trận đường chéo với các giá trị riêng của ma trận ban đầu nằm trên đường chéo. Một hệ quả là trên trường số thực, nếu ma trận của một tự đồng cấu là đối xứng thì nó là chéo hóa được.