Bourbaki

Bài tập 12, § 1

Hàm số một biến thực, III

a) Cho ∑i,jcijxixˉj\sum_{i,j} c_{ij} x_i \bar{x}_j với cji=cˉijc_{ji} = \bar{c}_{ij} là một dạng Hermit dương không suy biến, và Δ\Delta là định thức của nó; chứng minh rằng Δ≤c11c22…cnn\Delta \leq c_{11} c_{22} \ldots c_{nn} (biểu diễn Δ\Delta và ciic_{ii} theo các giá trị riêng của dạng Hermit, và sử dụng Mệnh đề 2).

b) Suy ra rằng nếu (aij)(a_{ij}) là một ma trận bình phương cấp nn với các phần tử phức tùy ý và Δ\Delta là định thức của nó, thì ta có ("bất đẳng thức Hadamard")

∣Δ∣2≤(∑j=1n∣a1j∣2)(∑j=1n∣a2j∣2)⋯(∑j=1n∣anj∣2) |\Delta|^2 \leq \left( \sum_{j=1}^n |a_{1j}|^2 \right) \left( \sum_{j=1}^n |a_{2j}|^2 \right) \cdots \left( \sum_{j=1}^n |a_{nj}|^2 \right)
với đẳng thức chỉ xảy ra nếu một trong các số hạng ở vế phải là không hoặc nếu, với mọi chỉ số phân biệt h,kh, k
ah1aˉk1+ah2aˉk2+⋯+ahnaˉkn=0 a_{h1}\bar{a}_{k1} + a_{h2}\bar{a}_{k2} + \cdots + a_{hn}\bar{a}_{kn} = 0
(nhân ma trận (aij)(a_{ij}) với liên hợp của ma trận chuyển vị của nó).

Lời giải

Chưa có lời giải nào được viết.

Bản dịch máy từ tiếng Anh, bởi gpt-5-6-mini. Chưa được người kiểm tra. Mô hình này là bản rút gọn của mô hình đã viết phần còn lại của ngôn ngữ này.