Главная
Новости
Строительство
Ремонт
Дизайн и интерьер




25.11.2022


24.11.2022


23.11.2022


21.11.2022


21.11.2022





Яндекс.Метрика





Банаховы пределы

23.09.2022

Линейный функционал B ∈ l ∞ ∗ {displaystyle mathrm {mathrm {B} } in l_{infty }^{*}} называется банаховым пределом если выполняются следующие 3 условия:
1) B ( 1 ) = 1 {displaystyle B(mathbf {1} )=1}

2) B ≥ 0 {displaystyle Bgeq 0} для любых x ≥ 0 {displaystyle xgeq 0}

3) B ( T x ) = B ( x ) {displaystyle B(Tx)=B(x)} для любого x ∈ l ∞ {displaystyle xin l_{infty }} , где T {displaystyle T} — оператор сдвига, действующий следующим образом: T ( x 1 , x 2 , x 3 , . . . ) = ( x 2 , x 3 , . . . ) {displaystyle T(x_{1},x_{2},x_{3},...)=(x_{2},x_{3},...)}

Существование таких пределов было доказано Стефаном Банахом. Из определения следует, что ‖ B ‖ l ∞ ∗ = 1 {displaystyle |B|_{l_{infty }^{*}}=1} и B ( x 1 , x 2 , . . . ) = lim n → ∞ x n {displaystyle B(x_{1},x_{2},...)=lim _{n o infty }x_{n}} , если последовательность x 1 , x 2 , . . . {displaystyle x_{1},x_{2},...} сходится. Множество банаховых пределов обозначается как B {displaystyle {mathfrak {B}}} . B {displaystyle {mathfrak {B}}} — выпуклое замкнутое множество на единичной сфере пространства l ∞ ∗ {displaystyle l_{infty }^{*}} . Из неравенства треугольника следует, что для любых B 1 , B 2 ∈ B {displaystyle B_{1},B_{2}in {mathfrak {B}}} справедливо неравенство ‖ B 1 − B 2 ‖ ≤ 2 {displaystyle |B_{1}-B_{2}|leq 2} . Если B 1 {displaystyle B_{1}} и B 2 {displaystyle B_{2}} являются крайними точками множества B {displaystyle {mathfrak {B}}} , то ‖ B 1 − B 2 ‖ = 2 {displaystyle |B_{1}-B_{2}|=2} .

Лемма 1

Различные банаховы пределы несравнимы, то есть если B 1 ( x ) ≤ B 2 ( x ) ∀ x ∈ l ∞ x ≥ 0 {displaystyle B_{1}(x)leq B_{2}(x)quad forall xin l_{infty }quad xgeq 0} , то B 1 ( x ) = B 2 ( x ) {displaystyle B_{1}(x)=B_{2}(x)} .

Доказательство

Если B 1 ( u ) ≤ B 2 ( u ) {displaystyle B_{1}(u)leq B_{2}(u)} для какого-то u ∈ l ∞ u ≥ 0 ⇒ ∀ λ > 0 u ≠ 0 B 1 ( λ u ) < B 2 ( λ u ) {displaystyle uin l_{infty }quad ugeq 0quad Rightarrow quad forall lambda >0quad u eq 0quad B_{1}(lambda u)<B_{2}(lambda u)} . Возьмём 0 < λ < 1 ‖ u ‖ ⇒ 0 ≤ λ u ≤ 1 ⇒ 1 − λ u ≥ 0 {displaystyle 0<lambda <{frac {1}{|u|}}quad Rightarrow quad 0leq lambda uleq mathbf {1} quad Rightarrow quad mathbf {1} -lambda ugeq 0} , B 1 ( 1 − λ u ) = 1 − B 1 ( λ u ) > 1 − B 2 ( λ u ) = B 2 ( 1 − λ u ) {displaystyle B_{1}(mathbf {1} -lambda u)=1-B_{1}(lambda u)>1-B_{2}(lambda u)=B_{2}(mathbf {1} -lambda u)}

Получаем противоречие, которое доказывает лемму.

Теорема 1

Функционал f ∈ l ∞ ∗ {displaystyle fin l_{infty }^{*}} можно представить в виде f = B 1 − B 2 {displaystyle f=B_{1}-B_{2}} ( B 1 , B 2 ∈ B {displaystyle B_{1},B_{2}in {mathfrak {B}}} ) тогда и только тогда, когда

  • f ( T x ) = f ( x ) {displaystyle f(Tx)=f(x)} для всех x ∈ l ∞ {displaystyle xin l_{infty }}
  • f ( 1 ) = 1 {displaystyle f(mathbf {1} )=1}
  • ‖ f ‖ l ∞ ∗ ≤ 2 {displaystyle |f|_{l_{infty }^{*}}leq 2}
  • Для того, чтобы при указанных условиях данное представление было единственным, необходимо и достаточно, чтобы ‖ f ‖ l ∞ ∗ = 2 {displaystyle |f|_{l_{infty }^{*}}=2} .

    Доказательство

    Необходимость условий 1.—3. вытекает из определения банаховых пределов. Для доказательства достаточности определим функционал

    g = max ( f , 0 ) = sup 0 ≤ u ≤ x f ( u ) g ∈ l ∞ ∗ g ≥ 0 ∀ x ≤ 0 {displaystyle g=max(f,0)=sup _{0leq uleq x}f(u)quad gin l_{infty }^{*}quad ggeq 0quad forall xleq 0}

    Используя свойства 1.—3. получаем:

    g ( 1 ) = sup 0 ≤ u ≤ 1 f ( u ) = sup 0 ≤ u + 1 2 1 ≤ 1 f ( u + 1 2 1 ) = sup − 1 2 1 ≤ u ≤ 1 2 1 ( f ( u ) + 1 2 f ( 1 ) ) = sup | u | ≤ 1 2 1 f ( u ) = 1 2 ‖ f ‖ l ∞ ∗ ≤ 1 {displaystyle g(mathbf {1} )=sup _{0leq uleq mathbf {1} }f(u)=sup _{0leq u+{frac {1}{2}}mathbf {1} leq mathbf {1} }f(u+{frac {1}{2}}mathbf {1} )=sup _{-{frac {1}{2}}mathbf {1} leq uleq {frac {1}{2}}mathbf {1} }(f(u)+{frac {1}{2}}f(mathbf {1} ))=sup _{left|u ight|leq {frac {1}{2}}mathbf {1} }f(u)={frac {1}{2}}|f|_{l_{infty }^{*}}leq 1} Для B ∈ B {displaystyle Bin {mathfrak {B}}} справедливо, что B 1 = g + ( 1 − ‖ f ‖ 2 ) B ≥ 0 B 1 ( T x ) = B 1 ( x ) B 1 ( 1 ) = 1 {displaystyle B_{1}=g+(1-{frac {|f|}{2}})Bgeq 0qquad B_{1}(Tx)=B_{1}(x)qquad B_{1}(mathbf {1} )=1} ,

    значит B 1 {displaystyle B_{1}} — банахов предел. То же самое верно для функционала B 2 = B 1 − f = g − f + ( 1 − ‖ f ‖ 2 ) B {displaystyle B_{2}=B_{1}-f=g-f+(1-{frac {|f|}{2}})B} . По построению B 1 − B 2 = f {displaystyle B_{1}-B_{2}=f} . Докажем единственность такого представления при ‖ f ‖ = 0 {displaystyle |f|=0} . Пусть f = B 1 − B 2 {displaystyle f=B_{1}-B_{2}} при ‖ f ‖ = 0 {displaystyle |f|=0} .

    B 1 = f + B 2 B 2 = f − B 1 {displaystyle B_{1}=f+B_{2}quad B_{2}=f-B_{1}}
    B 1 ≥ 0 B 1 ≥ 0 ⇒ B 1 ≥ f B 2 ≥ f {displaystyle B_{1}geq 0quad B_{1}geq 0Rightarrow B_{1}geq fquad B_{2}geq f}
    B 1 ≥ max ( f , 0 ) B 2 ≥ max ( − f , 0 ) {displaystyle B_{1}geq max(f,0)quad B_{2}geq max(-f,0)}

    Выше доказано, что m a x ( f , 0 ) ∈ B {displaystyle max(f,0)in {mathfrak {B}}} , аналогичные рассуждения показывают, что m a x ( − f , 0 ) ∈ B {displaystyle max(-f,0)in {mathfrak {B}}} . По лемме 1 получаем

    B 1 = max ( f , 0 ) B 2 = max ( − f , 0 ) {displaystyle B_{1}=max(f,0)quad B_{2}=max(-f,0)}

    Теорема доказана.

    Понятие почти сходимости

    Для заданных a ∈ R 1 {displaystyle ain mathbb {R} ^{1}} , x ∈ l ∞ {displaystyle xin l_{infty }} , для любых B ∈ B {displaystyle mathrm {mathrm {B} } in {mathfrak {B}}}

    B ( x ) = a ⇔ lim n → ∞ 1 n ∑ k = m + 1 m + n x k = a {displaystyle B(x)=aquad Leftrightarrow quad lim _{n o infty }{frac {1}{n}}sum _{k=m+1}^{m+n}x_{k}=a}

    равномерно по m ∈ N {displaystyle min mathbb {N} } . Последнее равенство называется критерием Лоренца. Его можно уточнить следующим образом:

    lim n → ∞ inf m ∈ N 1 n ∑ k = m + 1 m + n x k ≤ B ( x ) ≤ lim n → ∞ sup m ∈ N 1 n ∑ k = m + 1 m + n x k {displaystyle lim _{n o infty }inf _{min mathbb {N} }{frac {1}{n}}sum _{k=m+1}^{m+n}x_{k}leq B(x)leq lim _{n o infty }sup _{min mathbb {N} }{frac {1}{n}}sum _{k=m+1}^{m+n}x_{k}}

    Последовательность x ∈ l ∞ {displaystyle xin l_{infty }} называется почти сходящейся к числу a ∈ R 1 {displaystyle ain mathbb {R} ^{1}} , если значения всех банаховых пределов на этой последовательности равны a {displaystyle a} . Используется следующее обозначение: L i m x k = a {displaystyle Lim,x_{k}=a} . Множество почти сходящихся последовательностей имеет обозначение a c {displaystyle ac} . a c {displaystyle ac} — линейное не сепарабельное пространство, замкнутое и нигде не плотное в l ∞ {displaystyle l_{infty }} . Множество почти сходящихся к числу s {displaystyle s} последовательностей обозначается как a c s {displaystyle ac_{s}} . Ясно, что a c s ⊂ a c {displaystyle ac_{s}subset ac} для любого s {displaystyle s} .

    Пример

    Последовательность x = ( 1 , 0 , 1 , 0 , . . . ) {displaystyle x=(1,0,1,0,...)} не имеет обычного предела, но L i m x = 1 2 {displaystyle Lim,x={frac {1}{2}}} . Для проверки равенства можно использовать критерий Лоренца или свойство данной последовательности: x k = 1 − x k + 1 {displaystyle x_{k}=1-x_{k+1}} .

    L i m x k = L i m ( 1 − x k + 1 ) = 1 − L i m x k + 1 = 1 − L i m x k {displaystyle Lim,x_{k}=Lim,(mathbf {1} -x_{k+1})=1-Lim,x_{k+1}=1-Lim,x_{k}}

    Также можно будет использовать следующую лемму:

    Лемма 2

    Любая периодическая последовательность почти сходится к числу, равному среднему арифметическому значений по периоду .

    Характеристические функции

    Системой Радемахера называется последовательность функций

    r n ( t ) = sgn ⁡ sin ⁡ ( 2 n π t ) n ∈ N t ∈ [ 0 , 1 ] {displaystyle r_{n}(t)=operatorname {sgn} sin(2^{n}pi t)quad nin mathbb {N} quad tin [0,1]}

    Каждому B ∈ B {displaystyle Bin {mathfrak {B}}} можно поставить в соответствие функцию

    f B ( t ) = B ( r n ( t ) ) {displaystyle f_{B}(t)=B(r_{n}(t))}

    которая называется характеристической функцией банахова предела B {displaystyle B} . f B {displaystyle f_{B}} — комплекснозначная функция.

    Теорема 2

    Если A , B ∈ B {displaystyle A,Bin {mathfrak {B}}} и f A ( t ) ≤ f B ( t ) {displaystyle f_{A}(t)leq f_{B}(t)} для всех t ∈ ( 0 , 1 ) {displaystyle tin (0,1)} , то A = B {displaystyle A=B} для всех x ∈ l ∞ {displaystyle xin l_{infty }} .

    Свойства характеристических функций

    Пусть A , B ∈ B {displaystyle A,Bin {mathfrak {B}}} , тогда

  • f B ( t ) {displaystyle f_{B}(t)} периодична, причём периодом является любое двоично-рациональное число из ( 0 , 1 ) {displaystyle (0,1)}
  • f B ( t ) = f B ( t 2 ) {displaystyle f_{B}(t)=f_{B}({frac {t}{2}})} для любых t ∈ ( 0 , 1 ) {displaystyle tin (0,1)}
  • ∀ λ ∈ [ 0 , 1 ] ∃ x ∈ 2 N ∩ a c {displaystyle forall lambda in [0,1],exists ,xin 2^{mathbb {N} }cap ac} , что B ( x ) = λ {displaystyle B(x)=lambda } для любого B ∈ B {displaystyle Bin {mathfrak {B}}} и I m f B = [ − 1 , 1 ] {displaystyle Im,f_{B}=[-1,1]}
  • график f B {displaystyle f_{B}} плотен в прямоугольнике [ 0 , 1 ] × [ − 1 , 1 ] {displaystyle [0,1] imes [-1,1]}
  • f B ( t ) + f B ( 1 − t ) = 0 {displaystyle f_{B}(t)+f_{B}(1-t)=0} для всех t ∈ ( 0 , 1 ) {displaystyle tin (0,1)}