2C

Размерность

[20/0%]
LaTeX
Задача 2C.1

Покажите, что подпространствами R2\mathbb {R}^{2} являются в точности {0}\left\{ 0\right\}, все прямые в R2\mathbb {R}^{2}, проходящие через начало координат, и R2\mathbb {R}^{2}.

?
Задача 2C.2

Покажите, что подпространствами R3\mathbb {R}^{3} являются в точности {0}\left\{ 0\right\}, все прямые в R3\mathbb {R}^{3}, проходящие через начало координат, все плоскости в R3\mathbb {R}^{3}, проходящие через начало координат, и R3\mathbb {R}^{3}.

?
Задача 2C.3
?
(a)

Пусть U={p∈P4(F):p(6)=0}U = \left\{ p \in \mathcal{P}_{4}(\mathbf{F}): p(6) = 0\right\}. Найдите базис UU.

(b)

Дополните базис из (a) до базиса P4(F)\mathcal{P}_{4}(\mathbf{F}).

(c)

Найдите подпространство WW пространства P4(F)\mathcal{P}_{4}(\mathbf{F}), такое что P4(F)=U⊕W\mathcal{P}_{4}(\mathbf{F}) = U \oplus W.

Задача 2C.4
?
(a)

Пусть U={p∈P4(R):p′′(6)=0}U = \left\{ p \in \mathcal{P}_{4}(\mathbb {R}): p^{\prime \prime }(6) = 0\right\}. Найдите базис UU.

(b)

Дополните базис из (a) до базиса P4(R)\mathcal{P}_{4}(\mathbb {R}).

(c)

Найдите подпространство WW пространства P4(R)\mathcal{P}_{4}(\mathbb {R}), такое что P4(R)=U⊕W\mathcal{P}_{4}(\mathbb {R}) = U \oplus W.

Задача 2C.5
?
(a)

Пусть U={p∈P4(F):p(2)=p(5)}U = \left\{ p \in \mathcal{P}_{4}(\mathbf{F}): p(2) = p(5)\right\}. Найдите базис UU.

(b)

Дополните базис из (a) до базиса P4(F)\mathcal{P}_{4}(\mathbf{F}).

(c)

Найдите подпространство WW пространства P4(F)\mathcal{P}_{4}(\mathbf{F}), такое что P4(F)=U⊕W\mathcal{P}_{4}(\mathbf{F}) = U \oplus W.

Задача 2C.6
?
(a)

Пусть U={p∈P4(F):p(2)=p(5)=p(6)}U = \left\{ p \in \mathcal{P}_{4}(\mathbf{F}): p(2) = p(5) = p(6)\right\}. Найдите базис UU.

(b)

Дополните базис из (a) до базиса P4(F)\mathcal{P}_{4}(\mathbf{F}).

(c)

Найдите подпространство WW пространства P4(F)\mathcal{P}_{4}(\mathbf{F}), такое что P4(F)=U⊕W\mathcal{P}_{4}(\mathbf{F}) = U \oplus W.

Задача 2C.7
?
(a)

Пусть U={p∈P4(R):∫−11p=0}U = \left\{ p \in \mathcal{P}_{4}(\mathbb {R}): \int_{-1}^{1} p = 0\right\}. Найдите базис UU.

(b)

Дополните базис из (a) до базиса P4(R)\mathcal{P}_{4}(\mathbb {R}).

(c)

Найдите подпространство WW пространства P4(R)\mathcal{P}_{4}(\mathbb {R}), такое что P4(R)=U⊕W\mathcal{P}_{4}(\mathbb {R}) = U \oplus W.

Задача 2C.8

Пусть v1,…,vmv_{1}, \ldots , v_{m} линейно независимы в VV и w∈Vw \in V. Докажите, что

dim⁡span⁡(v1+w,…,vm+w)≥m−1 \operatorname {dim} \operatorname {span}\left(v_{1}+w, \ldots , v_{m}+w\right) \geq m-1
?
Задача 2C.9

Пусть mm — натуральное число и p0,p1,…,pm∈P(F)p_{0}, p_{1}, \ldots , p_{m} \in \mathcal{P}(\mathbf{F}) таковы, что каждый pkp_{k} имеет степень kk. Докажите, что p0,p1,…,pmp_{0}, p_{1}, \ldots , p_{m} — базис Pm(F)\mathcal{P}_{m}(\mathbf{F}).

?
Задача 2C.10

Пусть mm — натуральное число. Для 0≤k≤m0 \leq k \leq m положим

pk(x)=xk(1−x)m−k. p_{k}(x) = x^{k}(1-x)^{m-k}.

Покажите, что p0,…,pmp_{0}, \ldots , p_{m} — базис Pm(F)\mathcal{P}_{m}(\mathbf{F}). Базис из этой задачи приводит к так называемым многочленам Бернштейна. Вы можете найти в интернете, как многочлены Бернштейна используются для приближения непрерывных функций на [0,1][0,1].

?
Задача 2C.11

Пусть UU и WW — два четырёхмерных подпространства C6\mathbb {C}^{6}. Докажите, что в U∩WU \cap W существуют два вектора, ни один из которых не является скалярным кратным другого.

?
Задача 2C.12

Пусть UU и WW — подпространства R8\mathbb {R}^{8}, такие что dim⁡U=3,dim⁡W=5\operatorname {dim} U = 3, \operatorname {dim} W = 5 и U+W=R8U+W = \mathbb {R}^{8}. Докажите, что R8=U⊕W\mathbb {R}^{8} = U \oplus W.

?
Задача 2C.13

Пусть UU и WW — два пятимерных подпространства R9\mathbb {R}^{9}. Докажите, что U∩W≠{0}U \cap W \neq \left\{ 0\right\}.

?
Задача 2C.14

Пусть VV — десятимерное векторное пространство, а V1,V2,V3V_{1}, V_{2}, V_{3} — подпространства VV с dim⁡V1=dim⁡V2=dim⁡V3=7\operatorname {dim} V_{1} = \operatorname {dim} V_{2} = \operatorname {dim} V_{3} = 7. Докажите, что V1∩V2∩V3≠{0}V_{1} \cap V_{2} \cap V_{3} \neq \left\{ 0\right\}.

?
Задача 2C.15

Пусть VV конечномерно, а V1,V2,V3V_{1}, V_{2}, V_{3} — подпространства VV с dim⁡V1+dim⁡V2+dim⁡V3>2dim⁡V\operatorname {dim} V_{1}+\operatorname {dim} V_{2}+\operatorname {dim} V_{3} > 2 \operatorname {dim} V. Докажите, что V1∩V2∩V3≠{0}V_{1} \cap V_{2} \cap V_{3} \neq \left\{ 0\right\}.

?
Задача 2C.16

Пусть VV конечномерно и UU — подпространство VV с U≠VU \neq V. Пусть n=dim⁡Vn = \operatorname {dim} V и m=dim⁡Um = \operatorname {dim} U. Докажите, что существуют n−mn-m подпространств VV, каждое размерности n−1n-1, пересечение которых равно UU.

?
Задача 2C.17

Пусть V1,…,VmV_{1}, \ldots , V_{m} — конечномерные подпространства VV. Докажите, что V1+⋯+VmV_{1}+\cdots +V_{m} конечномерно и

dim⁡(V1+⋯+Vm)≤dim⁡V1+⋯+dim⁡Vm. \operatorname {dim}\left(V_{1}+\cdots +V_{m}\right) \leq \operatorname {dim} V_{1}+\cdots +\operatorname {dim} V_{m}.

Неравенство выше обращается в равенство тогда и только тогда, когда V1+⋯+VmV_{1}+\cdots +V_{m} является прямой суммой, как будет показано в 3.94.

?
Задача 2C.18

Пусть VV конечномерно, причём dim⁡V=n≥1\operatorname {dim} V = n \geq 1. Докажите, что существуют одномерные подпространства V1,…,VnV_{1}, \ldots , V_{n} пространства VV, такие что

V=V1⊕⋯⊕Vn. V = V_{1} \oplus \cdots \oplus V_{n}.
?
Задача 2C.19

Объясните, почему по аналогии с формулой для числа элементов объединения трёх конечных множеств можно предположить, что если V1,V2,V3V_{1}, V_{2}, V_{3} — подпространства конечномерного векторного пространства, то

dim⁡(V1+V2+V3)=dim⁡V1+dim⁡V2+dim⁡V3−dim⁡(V1∩V2)−dim⁡(V1∩V3)−dim⁡(V2∩V3)+dim⁡(V1∩V2∩V3). \begin{aligned} \operatorname {dim}\left(V_{1}+V_{2}+V_{3}\right) = & \operatorname {dim} V_{1}+\operatorname {dim} V_{2}+\operatorname {dim} V_{3} \\ & -\operatorname {dim}\left(V_{1} \cap V_{2}\right)-\operatorname {dim}\left(V_{1} \cap V_{3}\right)-\operatorname {dim}\left(V_{2} \cap V_{3}\right) \\ & +\operatorname {dim}\left(V_{1} \cap V_{2} \cap V_{3}\right). \end{aligned}

Затем либо докажите приведённую выше формулу, либо приведите контрпример.

?
Задача 2C.20

Докажите, что если V1,V2V_{1}, V_{2} и V3V_{3} — подпространства конечномерного векторного пространства, то

dim⁡(V1+V2+V3)=dim⁡V1+dim⁡V2+dim⁡V3−dim⁡(V1∩V2)+dim⁡(V1∩V3)+dim⁡(V2∩V3)3−dim⁡((V1+V2)∩V3)+dim⁡((V1+V3)∩V2)+dim⁡((V2+V3)∩V1)3. \begin{aligned} \operatorname {dim} & \left(V_{1}+V_{2}+V_{3}\right) \\ = & \operatorname {dim} V_{1}+\operatorname {dim} V_{2}+\operatorname {dim} V_{3} \\ & -\frac{\operatorname {dim}\left(V_{1} \cap V_{2}\right)+\operatorname {dim}\left(V_{1} \cap V_{3}\right)+\operatorname {dim}\left(V_{2} \cap V_{3}\right)}{3} \\ & -\frac{\operatorname {dim}\left(\left(V_{1}+V_{2}\right) \cap V_{3}\right)+\operatorname {dim}\left(\left(V_{1}+V_{3}\right) \cap V_{2}\right)+\operatorname {dim}\left(\left(V_{2}+V_{3}\right) \cap V_{1}\right)}{3}. \end{aligned}

Формула выше может показаться странной, поскольку её правая часть не похожа на целое число.

?