Глава 5

Векторные пространства

[14/7%]
Показать
LaTeX
§
Задача 5.1.1

Привести пример, подтверждающий, что для трех подпространств теорема (о равносильности линейной независимости подпространств U1,…,UkU_1, \ldots , U_k, объединения базисов подпространств и равенства dim⁡(U1+…+Uk)=dim⁡U1+…+dim⁡Uk\dim (U_1+\ldots +U_k)=\dim U_1+\ldots +\dim U_k), верная для пары подпространств, неверна.

?
Задача 5.1.2

Привести пример трех линейно зависимых подпространств, все попарные пересечения которых равны нулю.

?
Задача 5.1.3

Пусть A=Ln(K)A = L_n(K) --- алгебра матриц. Обозначим через AdA_d линейную оболочку матричных единиц EijE_{ij} с j−i=dj-i=d. Доказать, что подпространства AdA_d задают градуировку алгебры AA. (Здесь Ad=0A_d = 0 при ∣d∣≥n|d| \geq n.)

?
§
Задача 5.2.1

Пусть XX --- множество ребер тетраэдра, YY --- множество его граней, и пусть φ:F(X,K)→F(Y,K)\varphi : F(X,K) \to F(Y,K) --- линейное отображение, определяемое формулой

g(y)=∑x⊂yf(x), g(y) = \sum _{x \subset y} f(x),

т.е. значение функции gg на какой-либо грани равно сумме значений функции ff на сторонах этой грани. Найти dim⁡Ker⁡φ\dim \operatorname {Ker} \varphi в случае, когда char⁡K=2\operatorname {char} K = 2.

?
Задача 5.2.2

Используя линейные отображения, доказать, что ранг произведения двух матриц (не обязательно квадратных) не превосходит ранга каждой из них (теорема 2.3.5), а если одна из этих матриц невырожденна, то ранг произведения равен рангу другой матрицы.

?
§
Задача 5.3.1

Показать, что линейные функции ε1,…,εn\varepsilon_1, \ldots , \varepsilon_n (где n=dim⁡Vn = \dim V) составляют базис пространства V∗V^* тогда и только тогда, когда не существует ненулевого вектора x∈Vx \in V, для которого ε1(x)=…=εn(x)=0\varepsilon_1(x) = \ldots = \varepsilon_n(x) = 0.

?
Задача 5.3.2

Пусть VV --- пространство многочленов степени ≤n{}\leq n над полем KK. Показать, что линейные функции ε0,ε1,…,εn\varepsilon_0, \varepsilon_1, \ldots , \varepsilon_n, определяемые равенствами

εi(f)=f(xi), \varepsilon _i(f) = f(x_i),

где x0,x1,…,xnx_0, x_1, \ldots , x_n --- различные элементы поля KK, составляют базис пространства V∗V^*, и найти сопряженный базис пространства VV. Показать, что формула (двойственного базиса через εi\varepsilon_i) в этом случае превращается в интерполяционную формулу Лагранжа.

?
Задача 5.3.3

Пусть VV то же, что и в задаче 5.3.2, причем char⁡K=0\operatorname {char} K = 0. Показать, что линейные функции ε0,ε1,…,εn\varepsilon_0, \varepsilon_1, \ldots , \varepsilon_n, определяемые равенствами

εi(f)=f(i)(x0), \varepsilon _i(f) = f^{(i)}(x_0),

где x0∈Kx_0 \in K, составляют базис пространства V∗V^*, и найти сопряженный базис пространства VV. Показать, что формула из задачи 5.3.2 в этом случае превращается в формулу Тейлора.

?
§
Задача 5.4.1

Доказать невырожденность билинейных функций

?
(1)

α(X,Y)=tr⁡XY\alpha (X,Y) = \operatorname {tr} XY на пространстве Ln(K)L_n(K);

(2)

определитель матрицы второго порядка как функция ее строк, на пространстве K2K^2.

Задача 5.4.2

Найти сигнатуру симметрической билинейной функции α(X,Y)=tr⁡XY\alpha (X,Y) = \operatorname {tr} XY на пространстве Ln(K)L_n(K) (в случае K=RK = \mathbb {R}).

?
Задача 5.4.3

Доказать, что произвольная (не обязательно невырожденная) квадратичная функция qq над Zp\mathbb {Z}_p может быть приведена ровно к одному из двух видов

x12+…+xr−12+xr2,x12+…+xr−12+εxr2, x_1^2+\ldots +x_{r-1}^2+x_r^2, \qquad x_1^2+\ldots +x_{r-1}^2+\varepsilon x_r^2,

где r=rk⁡qr = \operatorname {rk} q.

?
§
Задача 5.5.1

Получить соотношение между двугранными углами тетраэдра, рассмотрев матрицу Грама системы единичных векторов, перпендикулярных его граням и направленных во внешнюю сторону.

?
Задача 5.5.2

Применяя процесс ортогонализации к столбцам матрицы, доказать, что каждая матрица A∈GLn(R)A \in \mathrm{GL}_n(\mathbb {R}) может быть единственным образом представлена в виде A=OBA = OB, где OO --- ортогональная матрица, а BB --- треугольная матрица с положительными элементами на диагонали.

?
§
Задача 5.6.1

Записать условие унитарности матрицы через матричные элементы двумя способами.

?