---
# System prepended metadata

title: Bài tập 2.2

---

# Bài tập 2.2

## Đề bài

Cho tập vector $S = \{v_1, v_2, \ldots, v_k\}$. Làm sao để kiểm tra tập vector này có là cơ sở của không gian nào không?

## Bài làm

Yêu cầu bài toán không rõ ràng nên có nhiều cách hiểu.

**C1: Kiểm tra $S$ là cơ sở của $\mathbb{R}^n$**

Kiểm tra:

(1) $k = n$;
(2) $S$ độc lập tuyến tính.

**C2: Kiểm tra $S$ là cơ sở của một không gian con bất kì của $\mathbb{R}^n$**

Chỉ cần kiểm tra $S$ độc lập tuyến tính. Khi đó nó là cơ sở của một không gian con $k$ chiều của $\mathbb{R}^n$.

**C3: Kiểm tra $S$ là cơ sở của một không gian con xác định của $\mathbb{R}^n$**

**Ví dụ:** Kiểm tra $S = \{(1,0,0), (1,1,0), (0,0,1)\}$ là cơ sở của $U = \{x \in \mathbb{R}^3 / x_3 = 0\}$.

Kiểm tra:
(1) Các vector của $S$ thuộc $U$;
(2) $S$ sinh $U$;
(3) $S$ độc lập tuyến tính.

---

Để kiểm tra các ý trên:

**P1: Kiểm tra $S$ độc lập tuyến tính**

Xếp các vector của $S$ thành các dòng hoặc cột của một ma trận, gọi ma trận này là $A$. Thực hiện khử Gauss trên ma trận $A$. Đếm số dòng khác $0$ (tất cả phần tử đều không cùng lúc bằng $0$), đây là hạng của ma trận, kí hiệu $rank(A)$. Kiểm tra $rank(A) = k$ ($k$ là số lượng vector).

**P2: Kiểm tra $S$ sinh $U$**

Kiểm tra với mọi $u \in U$, $u$ là tổ hợp tuyến tính của các vector trong $S$.

Một cách ví dụ: Xếp các vector của $S$ thành các cột của một ma trận, gọi là $A$. Giải hệ $Ac = u$ (ẩn $c \in \mathbb{R}^k$). Kiểm tra hệ có nghiệm duy nhất.

**Ví dụ:** Ở ví dụ trên, rõ ràng $S$ đã vi phạm (1) do có $(0, 0, 1) \notin U$. Giả sử không có vector này trong $S$, ta kiểm tra điều kiện (2). 

Xét $u = (a, b, 0) \in U$, hệ

$$
    \left(
        \begin{array}{@{}cc|c@{}}
            1 & 0 & a \\
            1 & 1 & b \\
            0 & 0 & 0 \\
        \end{array}
    \right)
    \leftrightarrow
    \left(
        \begin{array}{@{}cc|c@{}}
            1 & 0 & a \\
            0 & 1 & b-a \\
            0 & 0 & 0 \\
        \end{array}
    \right)
$$

có nghiệm duy nhất là $c = (a, b-a, 0)$. Do đó $U$ được sinh bởi $S$.