2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




На страницу Пред.  1, 2, 3
 
 Re: Ядро линейного функционала
Сообщение02.12.2022, 02:18 
mihaild, в принципе, можно проверить по индукции, не используя понятие линейной зависимости функционалов. При $n=1$ условие задачи равносильно условию $\ker f = \ker f_1$. Для $n=2$ либо $\ker f_1=\ker f_2$ либо $\ker f_1\ne \ker f_2$. Первый вариант очевиден. Во втором существуют вектора $e_1, e_2$ такие, что $f_i(e_j)=\delta_{ij}$. Пусть верно для $k$, проверим для $k+1$. Возможны два варианта. Либо ядро никакого из ф-лов семейства $f_1,...,f_{k+1}$ не содержит пересечение ядер остальных ф-лов этого семейства, и тогда существуют такие $e_1,...,e_{k+1}$, что $f_i(e_j)=\delta_{ij}$. Либо для некоторого $m, 1\le m\le k+1,$ ядро ф-ла $f_m$ содержит пересечение ядер остальных ф-лов из семейства $f_1,...,f_{k+1}$, и тогда $f_m$ можно представить в виде линейной комбинации остальных ф-лов этого семейства, а значит и $f$ - тоже.

 
 
 
 Re: Ядро линейного функционала
Сообщение05.12.2022, 02:42 
Аватара пользователя
Мы рассматриваем конечномерный случай и отождествляем $L$ и $L^{**}$.
Пусть $F=\operatorname{span}\{ f_1,...,f_n\}\subset L^*$.
Пусть $K$ — подпространство таких векторов $x\in L$, что $f(x)=0$ для любого $f\in F$. Тогда $K=F^0$, т.е. $K$ — аннулятор $F$.
Пусть $g\in L^*$ и $g(x)=0$ для любого $x\in K$. Тогда $g\in K^0=(F^0)^0$.
Поскольку аннулятор аннулятора $F$ есть $F$, функционал $g$ является линейной комбинацией $f_1,...,f_n$.

 
 
 [ Сообщений: 32 ]  На страницу Пред.  1, 2, 3


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group