Bất đẳng thức liên quan đến giá trị kì dị của ma trận

Đối với hệ vector và ta ký hiệu

Mệnh đề 1: Nếu là các giá trị riêng của  thế thì với hệ vector thì

Đặt là cơ sở trực chuẩn cũng đồng thời là các vector riêng của toán tử .

Ta có

Khai triển theo công thức Binet-Cauchy ta nhận được

Áp dụng bất đẳng thức Cauchy-Schwarz ta có

Mệnh đề 2: Giả sử là các giá trị riêng của (singular values). Thế thì với bất kì hệ vector () thì

Điều này hiển nhiên là hệ quả của mệnh đề 1.

Mệnh đề 3: Cho và – toán tử tuyến tính trong , , là giá trị riêng của toán tử tương ứng, được đánh số thứ tự giảm dần theo giá trị. Chứng minh với ta có

Giả sử là cơ sở trực chuẩn hợp từ cơ sở trực chuẩn cũng đồng thời là các vector riêng của

(Áp dụng MĐ2 hai lần)