Bourbaki

Bài tập 21, § 4

Nhãn 03FP, cố định. Trích dẫn là [Bourbaki, Tag 03FP].

Các lý thuyết phổ, V, p. 510

Cho n⩾1n\geqslant 1 là một số nguyên.

a) Với mọi số nguyên r>n2r > n^2 và mọi họ (a1,...,ar)(a_1, . . . , a_r) các phần tử của L(Cn)\mathscr{L}(\mathbf{C}^n), ta có

∑σ∈Srε(σ)aσ(1)⋯aσ(r)=0(4) \sum_{\sigma\in\mathfrak{S}_r}\varepsilon (\sigma )a_{\sigma(1)}\cdots a_{\sigma(r)}= 0 \tag{4}

b) Gọi r(n)r(n) là số nguyên nhỏ nhất r⩾1r\geqslant 1 sao cho công thức (4) đúng với mọi họ (ai)1⩽i⩽r(a_i)_{1\leqslant i\leqslant r}. Ta có r(n)⩾r(n−1)+2r(n)\geqslant r(n-1) + 2. (Xét một họ (a1,...,ar(n−1)−1)(a_1, . . . , a_{r(n-1)-1}) trong L(Cn−1)\mathscr{L}(\mathbf{C}^{n-1}) sao cho biểu thức trên, ký hiệu là bb, là khác không; xem các phần tử của L(Cn)\mathscr{L}(\mathbf{C}^n) như các ma trận, chọn ii và jj sao cho bi,jb_{i,j} là khác không; xem aia_i và bb như các phần tử của L(Cn)\mathscr{L}(\mathbf{C}^n) bằng cách thêm một hàng và một cột toàn số không, sau đó định nghĩa các ma trận ar(n−1)a_{r(n-1)} và ar(n−1)+1a_{r(n-1)+1} sao cho biểu thức (4) đối với (a1,...,ar(n−1)+1)(a_1, . . . , a_{r(n-1)+1}) là khác không.)

Lời giải

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

Được trích dẫn bởi

Không có.

Trích dẫn đến

Không có.

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.