Trực giao

Trong toán học, trực giao là tổng quát hóa của khái niệm tính vuông góc trong lĩnh vực đại số tuyến tính về các dạng song tuyến tính. Hai phần tử "u" và "v" của một không gian vectơ với dạng song tuyến tính "B" là trực giao nếu . Tùy vào dạng song tuyến tính, không gian vectơ có thể có vectơ khác không trực giao với chính nó. Trong trường hợp không gian hàm, họ các hàm trực giao được sử dụng để tạo ra cơ sở.
Mở rộng ra, khái niệm trực giao còn được dùng để chỉ sự tách biệt giữa các chức năng nhất định trong một hệ thống. Thuật ngữ cũng có ý nghĩa chuyên biệt trong nhiều ngành khác bao gồm nghệ thuật và hóa học.
Toán học và vật lý.
Các định nghĩa.
Một tập hợp các vectơ trong một không gian tích trong được gọi là trực giao theo cặp nếu từng cặp vectơ là trực giao. Một tập như vậy gọi là tập trực giao.
Một không gian vectơ với một dạng song tuyến tính khái quát hóa trường hợp không gian tích trong. Khi dạng song tuyến tính áp dụng lên hai vectơ có kết quả bằng 0 thì chúng trực giao. Trường hợp với một mặt phẳng giả Euclid, khái niệm trực giao hypebol. Trong sơ đồ trên, các trục x′ and t′ trực giao hypebol với mọi "ϕ" cho trước.
Không gian vectơ Euclid.
Trong không gian Euclid, hai vectơ trực giao khi và chỉ khi tích vô hướng của chúng bằng 0, tức là chúng tạo thành một góc 90° (π/2 radian), hay khi một trong hai vectơ không. Vì vậy sự trực giao của các vectơ là sự mở rộng khái niệm tính vuông góc cho không gian với chiều bất kỳ.
Phần bù trực giao của một không gian con là không gian bao gồm các vectơ trực giao với mỗi vectơ trong không gian con đó. Trong một không gian vectơ Euclid ba chiều, phần bù trực giao của một đường thẳng qua gốc tọa độ là một mặt phẳng qua gốc tọa độ vuông góc với nó, và ngược lại.
Lưu ý rằng khái niệm hai mặt phẳng vuông góc trong hình học không tương ứng với phần bù trực giao, vì trong không gian ba chều một cặp vectơ trong đó mỗi vectơ đến từ một mặt phẳng trong hai mặt phẳng vuông góc, có thể tạo với nhau một góc bất kỳ.
Trong không gian Euclid bốn chiều, phần bù trực giao của một đường thẳng là một siêu phẳng và ngược lại, còn phần bù trực giao của một mặt phẳng cũng là một mặt phẳng.
Ma trận trực giao.
Trong đại số tuyến tính, một ma trận trực giao, hay ma trận trực chuẩn, là một ma trận vuông thực với các cột và hàng của nó là các vectơ trực chuẩn.
Còn có thể biểu diễn điều này như sau
với formula_5 là chuyển vị của và formula_6 là ma trận đơn vị.
Điều này dẫn đến đặc điểm sau: một ma trận là trực giao nếu chuyển vị của nó chính là nghịch đảo của nó:
với formula_8 là nghịch đảo .
Một ma trận trực giao thì luôn là ma trận khả nghịch (với nghịch đảo ), unita (), với là liên hợp Hermite (chuyển vị liên hợp) của , và vì vậy cũng là ma trận chuẩn tắc () với các hệ số thực. Định thức của một ma trận trực giao bất kỳ là +1 hoặc là −1. Dưới dạng biến đổi tuyến tính, một ma trận trực giao bảo toàn tích trong của các vectơ, và vì vậy là một phép đẳng cự ("isometry") trên không gian Euclid, ví dụ như phép quay, phép đối xứng hay đối xứng quay. Nói cách khác nó là một biến đổi unita.
Hàm trực giao.
Sử dụng tích phân, ta có thể sử dụng công thức sau để định nghĩa tích trong của hai hàm "f" và "g" so với hàm trọng số "w" trên một đoạn :
Trong trường hợp đơn giản, .
Ta nói rằng hai hàm phân biệt "f" và "g" trực giao nếu tích trong của chúng (tức là giá trị của tích phân xác định trên) bằng 0:
Sự trực giao của hai hàm số đối với một tích trong không dẫn đến sự trực giao đối với một tích trong khác.
Ta có thể viết chuẩn đối với tích trong này như sau
Các hàm trong một họ hàm "trực giao" đối với "w" trên đoạn nếu
Các phần tử của một tập hợp hàm "trực chuẩn" đối với "w" trên đoạn nếu
với
là ký hiệu delta Kronecker. Nói cách khác, mỗi cặp của chúng (trừ các cặp ghép một hàm với chính nó) đều trực giao, và chuẩn của mỗi hàm đều bằng 1. Xem thêm cụ thể về đa thức trực giao.
Các ví dụ.
formula_24
Đa thức trực giao.
Nhiều dãy đa thức được đặt tên theo các nhà toán học thời trước là dãy các đa thức trực giao. Ví dụ: