# Гильберт арауығы

Ги́льберт арауығы (рус. Гильбертово пространство) — Евклид арауығының дөйөмләштерелеүе, сикһеҙ үлсәмлек мөмкинлегенә эйә һәм скаляр ҡабатландыҡ нигеҙендә барлыҡҡа килгән метрика буйынса тулы. Давид Гильберт хөрмәтенә уның исеме менән аталған.
Ги́льберт арауығында һыҙыҡлы операторҙар мөһим тикшереү объекты булып торалар. Ги́льберт арауығы төшөнсәһе Гильберттың үҙенең һәм Эрхард Шмидтың интеграль тигеҙләмәләр теорияһы буйынса хеҙмәттәрендә формалашҡан, ә абстракт билдәләмәһе Джон фон Неймандың, Рис Фридьештың һәм Стоундың эрмит операторҙары теорияһы буйынса хеҙмәттәрендә бирелгән.

# Гильберт арауығы
## Билдәләмә

Гильберт арауығы — (ысын йәки комплекслы һандар яланы өҫтөндә) һыҙыҡлы (векторлы) арауыҡ, унда:
* арауыҡтың теләһә ниндәй ике $x$ һәм $y$ элементтары өсөн уларҙың скаляр ҡабатландығын билдәләргә мөмкинлек биргән ҡағиҙә күрһәтелгән$(x,y)$;
* был ҡағиҙә түбәндәге талаптарҙы ҡәнәғәтләндерә:
** $(y,x)=(x,y)$ (ысын Гильберт арауығында урын алмаштырыу законы) йәки $(y,x)={\overline {(x,y)}}$ (комплекслы Гильберт арауығында урын алмаштырыу законы, һыҙыҡ комплекслы бәйлелек тамғаһын аңлата);
** $(x,y+z)=(x,y)+(x,z)$ (таратыу законы);
** теләһә ниндәй ысын $\lambda$ һаны өсөн $(\lambda x,y)=\lambda (x,y)$;
** $x\neq 0$ булғанда $(x,x)>0$ һәм $x=0$ булғанда $(x,x)=0$.
* ул был скаляр ҡабатландыҡ нигеҙендә барлыҡҡа килгән $d(x,y)=\|x-y\|={\sqrt {(x-y,x-y)}}$ метрикаһына ҡарата тулы була. Әгәр арауыҡтың тулылыҡ шарты үтәлмәһә, Гильбертҡа тиклемге арауыҡ тураһында һөйләйҙәр. Әммә билдәле (ҡулланылған) арауыҡтарҙың күбеһе йә тулы, йә тулыландырыла алалар.
Шулай итеп, Гильберт арауығы ул нормаһы ыңғай билдәләнгән скаляр ҡабатландыҡ нигеҙендә барлыҡҡа килгән һәм $\|x\|={\sqrt {(x,x)}}$ тип билдәләнгән Банах арауығы (тулы нормалаштырылған арауыҡ).
Әгәр түбәндәге параллелограмм тигеҙлеге (тождество) үтәлһә һәм бары тик шул саҡта ғына ирекле нормалаштырылған арауыҡта норма ниндәйҙер скаляр ҡабатландыҡ нигеҙендә барлыҡҡа килә ала:
    $(\forall x,y\in H)\quad \|x+y\|^{2}+\|x-y\|^{2}=2(\|x\|^{2}+\|y\|^{2}).$
Әгәр параллелограмм тождествоһын ҡәнәғәтләндергән Банах арауығы ысын арауыҡ булһа, уның нормаһына тап килгән скаляр ҡабатландыҡ түбәндәге тигеҙлек менән бирелә
    $(x,y)=\left\|{\dfrac {x+y}{2}}\right\|^{2}-\left\|{\dfrac {x-y}{2}}\right\|^{2}.$
Әгәр был арауыҡ комплекслы арауыҡ булһа, уның нормаһына тап килгән скаляр ҡабатландыҡ түбәндәге тигеҙлек менән бирелә
    $(x,y)=\left\|{\dfrac {x+y}{2}}\right\|^{2}-\left\|{\dfrac {x-y}{2}}\right\|^{2}+i\left\|{\dfrac {x+iy}{2}}\right\|^{2}-i\left\|{\dfrac {x-iy}{2}}\right\|^{2}$ (поляризацияланған тождество).

# Гильберт арауығы
## Коши — Буняковский тигеҙһеҙлеге. Ортогоналлек

Гильберт арауығында Коши — Буняковский тигеҙһеҙлеге мөһим әһәмиәткә эйә:
    $|(x,y)|\leqslant \|x\|\|y\|$.
Был тигеҙһеҙлек ысын Гильберт арауығы осрағында ике x һәм y элементтары араһындағы $\varphi$ мөйөшөн түбәндәге формула буйынса табырға мөмкинлек бирә
    $\cos \varphi ={\frac {(x,y)}{\|x\|\|y\|}}$.
Айырым алғанда, әгәр скаляр ҡабатландыҡ $(x,y)=0$ нулгә тигеҙ, ә элементтар үҙҙәре нулдән айырмалы булһа, был элементтар араһындағы мөйөш $90^{\circ }$-ҡа тигеҙ була, был x һәм y элементтарының ортогоналлегенә ярашлы. Ортогоналлек төшөнсәһе комплекслы Гильберт арауығында ла $(x,y)=0$ бәйләнеше ярҙамында индерелә. Элементтарҙың ортогоналлеген тамғалау өсөн $\perp$ символы ҡулланыла. Гильберт арауығының $M$ һәм $N$ аҫкүмәклектәре өсөн, әгәр теләһә ниндәй ике $f\in M$, $g\in N$ элементтары ортогональ булһа, $(M\perp N)$ ортогональ.
Парлы ортогональ векторҙар өсөн Пифагор теоремаһы (дөйөмләштерелгән) ғәмәлдә:
    $\left\|\sum _{i}x_{i}\right\|^{2}=\sum _{i}\|x_{i}\|^{2}$.
Арауыҡтың ниндәйҙер $A$ аҫкүмәклегенә ортогональ бөтә элементтар күмәклеге, йомоҡ һыҙыҡлы төрлөлөк (аҫарауыҡ) була һәм был күмәклектең ортогональ өҫтәмәһе тип атала.
Әгәр күмәклектең теләһә ниндәй ике элементы ортогональ һәм һәр элементтың нормаһы 1-гә тигеҙ булһа, элементтар аҫкүмәклеге ортонормалаштырылған система тип атала.

# Гильберт арауығы
## Гильберт арауығының базистары һәм үлсәнеше

Гильберт арауығының векторҙар системаһы, әгәр ул бөтә арауыҡты барлыҡҡа килтерһә, йәғни, әгәр арауыҡтың ирекле элементы был система элементтарының һыҙыҡлы комбинациялары менән нормаһы буйынса мөмкин тиклем теүәл яҡынайтыла алһа, тулы була. Әгәр арауыҡта элементтарҙың иҫәпле тулы системаһы булһа, ул саҡта арауыҡ сепарабелле — йәғни иҫәпле бөтә ерҙә лә тығыҙ күмәклек була, уның ябыуы арауыҡ метрикаһы буйынса бөтә арауыҡ менән тап килә.
Әгәр арауыҡтың һәр элементын $\{e_{i}\}$ системаһы элементтарының һыҙыҡлы комбинацияһы итеп берҙән-бер ысул менән күрһәтеп булһа, бирелгән $\{e_{i}\}$ тулы системаһы базис була. Әйтергә кәрәк, Банах арауыҡтарының дөйөм осрағында система элементтарының тулылығынан һәм һыҙыҡлы бәйләнешһеҙлегенән уның базис булыуы килеп сыҡмай. Әммә сепарабелле Гильберт арауығы осрағында тулы ортонормалаштырылған система $\{e_{i}\}$ базис була. Ортонормалаштырылған система сепарабелле Гильберт арауығында тулы булһын өсөн, ортонормалаштырылған системаның бөтә элементтарына ла ортогональ булған, нулдән айырмалы элементының булмауы кәрәкле һәм етерлек. Шулай итеп, арауыҡтың һәр $f$ элементы өсөн ортонормалаштырылған $\{e_{i}\}$ базисы буйынса тарҡалма бар:
    $f=\sum _{i=1}^{\infty }\alpha _{i}e_{i}=\sum _{i=1}^{\infty }(f,e_{i})e_{i}$.
Тарҡалма коэффициенттарын $\alpha _{i}=(f,e_{i})$ Фурье коэффициенттары тип атайҙар. Был осраҡта элемент нормаһы өсөн Парсеваль тигеҙлеге үтәлә:
    $\|f\|^{2}=\sum _{i=1}^{\infty }|(f,e_{i})|^{2}$.
Гильберт арауығындағы бөтә ортонормалаштырылған базистар бер үк ҡеүәткә эйә, был Гильберт арауығының үлсәмен ирекле ортонормалаштырылған базис (ортогональ үлсәм) үлсәме итеп билдәләргә мөмкинлек бирә. Гильберт арауығы иҫәпле үлсәмле булған осраҡта һәм тик шул осраҡта ғына сепарабелле.
Арауыҡтың үлсәмен шулай уҡ Гильберт арауығының аҫкүмәклектәренең иң бәләкәй ҡеүәте $H$ тип билдәләргә мөмкин, улар өсөн һыҙыҡлы көбөнөң ябылыуы $H$ менән тап килә.
Бер үк үлсәмгә эйә булған теләһә ниндәй ике Гильберт арауығы изоморфлы. Атап әйткәндә, теләһә ниндәй ике сикһеҙ үлсәмле сепарабелле Гильберт арауыҡтары бер-береһенә һәм $\ell ^{2}$ - квадратик-ҡушылыусы эҙмә-эҙлелектәр арауығына изоморфлы.
Сепарабелле булмаған Гильберт арауыҡтары — иҫәпле базисы булмаған арауыҡтар бар. Атап әйткәндә, махсус үлсәмле сепарабелле булмаған $L^{2}$ арауығы миҫалы ҡыҙыҡлы.

# Гильберт арауығы
## Ортогональ тарҡалмалар

$L$ — $H$ Гильберт арауығындағы ниндәйҙер аҫарауыҡ булһын, ти. Ул саҡта теләһә ниндәй $f\in H$ элементы өсөн берҙән-бер $f=g+h$ тарҡалмаһы дөрөҫ, бында $g\in L$, ә $h\perp L$. $L$ аҫарауығына ортогональ $h$ элементтары йыйылмаһы $L$ аҫарауығының ортогональ өҫтәлмәһе булған (йомоҡ) $M$ аҫарауығын барлыҡҡа килтерә, .
$H$ арауығы $L$ һәм $M$ аҫарауыҡтарының тура суммаһына тарҡалған тип әйтәләр, был ошолай яҙыла $H=L\oplus M$. Оҡшаш рәүештә $L=H\ominus M$ тип яҙыла.

# Гильберт арауығы
## Һыҙыҡлы функционалдар арауығы

Һыҙыҡлы өҙлөкһөҙ (сикләнгән) функционалдар арауығы шулай уҡ һыҙыҡлы арауыҡ барлыҡҡа килтерә һәм эйәртеүле арауыҡ тип атала.
Гильберт арауығында сикләнгән һыҙыҡлы функционалдың дөйөм күренеше тураһында Рис теоремаһы бар: теләһә ниндәй сикләнгән һыҙыҡлы $f$ функционалы өсөн $H$ Гильберт арауығында шундай берҙән-бер $y\in H$ векторы бар, бында теләһә ниндәй $x\in H$ өсөн $f(x)=(x,y)$. Шуның менән бергә $f$ һыҙыҡлы функционалдың нормаһы $y$ векторының нормаһы менән тап килә:
    $\|f\|=\sup _{\|x\|=1}|f(x)|={\sqrt {(y,y)}}$.
Был теореманан, Гильберт арауығы $H$ өҫтөндә сикләнгән һыҙыҡлы функционалдар арауығы $H$ арауығының үҙенә изоморфлы булыуы килеп сыға.

# Гильберт арауығы
## Гильберт арауыҡтарында һыҙыҡлы операторҙар

$A$ һыҙыҡлы операторы бирелгән базиста матрица элементтары ярҙамында берҙән-бер түбәндәгесә күрһәтелә ала: $a_{ij}=(Ae_{i},e_{j})$.
$A^{*}$ һыҙыҡлы операторы, әгәр теләһә ниндәй $x$ һәм $y$ элементтары өсөн $(Ax,y)=(x,A^{*}y)$ тигеҙлеге үтәлһә, $A$ операторына эйәртеүле тип атала. Эйәртеүле операторҙың нормаһы операторҙың үҙенең нормаһына тигеҙ.
Һыҙыҡлы сикләнгән оператор эйәртеүле (симметрик) тип атала, әгәр $A^{*}=A$ булһа.
Бөтә арауыҡта бирелгән, һәр элементҡа уның ниндәйҙер аҫарауығына проекцияһын ярашлы ҡуйған $P$ операторы, "проектлаусы" оператор тип атала. Проектлаусы — ул шундай оператор, бында $P^{2}=P$. Әгәр бынан тыш $P$ проектлаусыһы үҙэйәртеүле оператор булһа, ул ортогональ проектлаусы ла була. Ике проектлаусы операторҙың ҡабатландығы, әгәр улар алмаштырыла алһа һәм бары тик шул саҡта ғына, проектлаусы була: $P_{1}P_{2}=P_{2}P_{1}$.

# Гильберт арауығы
## Үҙсәнлектәре

* Рис күҙаллауҙары теоремаһы: $H$ Гильберт арауығындағы теләһә ниндәй ортонормалаштырылған векторҙар системаһы ${\lbrace \phi _{i}\rbrace }_{i=1}^{\infty }$ һәм $\sum _{i=1}^{\infty }C_{i}^{2}<\infty$ шарты үтәлгән ${\lbrace C_{i}\rbrace }_{i=1}^{\infty }$ һандар эҙмә-эҙлелеге өсөн, $H$-та шундай $u$ элементы бар, бында $C_{i}=\left(u,\phi _{i}\right)$ һәм ${\left\Vert u\right\Vert }^{2}=\sum _{i=1}^{\infty }{\left(u,\phi _{i}\right)}^{2}$.
* Гильберт арауыҡтары ҡәтғи нормалаштырылған арауыҡтар барлыҡҡа килтерәләр.

# Гильберт арауығы
## Миҫалдар

Төп миҫал — Евклид арауығы.
$\ell ^{2}$ Квадратик-ҡушылыусы эҙмә-эҙлелектәр арауығы: уның нөктәләре ысын һандарҙың сикһеҙ эҙмә-эҙлектәре $x=\{x_{n}\}_{n=1}^{\infty }$, улар өсөн $\sum _{n=1}^{\infty }|x_{n}|^{2}$ рәте йыйыла, унда скаляр ҡабатландыҡ түбәндәге тигеҙлек менән бирелә:
    $(x,y)=\sum _{n=1}^{\infty }x_{n}y_{n}$.
$[a,b]$ киҫегенән, квадраттары Лебег буйынса интегралланыусы ысын ҡиммәттәр ҡабул иткән $L^{2}[a,b]$ үлсәнмәле функциялар арауығы — йәғни
    $\int \limits _{a}^{b}\!|f|^{2}\,dx$ интегралы билдәләнгән һәм сикле, шуның менән бергә нуль үлсәмле күмәклектә бер-береһенән айырылып торған функциялар бер-береһе менән тиңләштереләләр (йәғни формаль рәүештә $L^{2}[a,b]$ эквивалентлыҡ кластарының ярашлы күмәклеге). Был арауыҡта скаляр ҡабатландыҡ түбәндәге тигеҙлек менән бирелә:
    $(f,g)=\int \limits _{a}^{b}\!f{g}\,dx$.
Комплекслы һандар яланы өҫтөндә $\ell ^{2}$ һәм $L^{2}[a,b]$ арауыҡтары, комплекслы һандар эҙмә-эҙлҙлелектәре һәм комплекслы ҡиммәтле функциялар өсөн скаляр ҡабатландыҡ билдәләмәһе тик икенсе ҡабатлашыусының комплекслы эйәртеүсәнлеге менән генә айырыла:
    $(x,y)=\sum _{n=1}^{\infty }x_{n}{\overline {y}}_{n}$;
    $(f,g)=\int \limits _{a}^{b}\!f{\overline {g}}\,dx$.