Banaĥa limigo

En analitiko, banaĥa limigo estas kontinua lineara funkcio  difinita sur la banaĥa spaco  de ĉiuj baritaj komplekso-valoraj vicoj tiaj ke por ĉiuj du vicoj x=(xn) kaj y=(yn) jenaj kondiĉoj estas kontentigitaj:

  (lineareco);
 Se , tiam ;
 , kie S estas la ŝova operatoro difinita kiel .
 Se x estas konverĝa vico, tiam , (banaĥa limigo egalas al la kutima limigo se la lasta ekzistas).

En aliaj vortoj, banaĥa limigo etendas la kutiman limigon, kiu estas ŝovo-invarianta kaj pozitiva. Tamen, ekzistas vicoj por kiu estas pli ol unu banaĥaj limigoj kies la valoroj malsamas; la banaĥa limigo estas ne unike difinita en ĉi tia okazo.

Ĝenerale kiel la banaĥa limigo estas nomata ajna funkcio  kontentiganta la kondiĉojn. Valoroj de ĉiuj banaĥaj limigoj koincidas ĉe iuj argumentoj (vicoj), ĉe la aliaj argumentoj ili povas esti malsamaj.

La ekzisto de banaĥaj limigoj estas kutime pruvata per la hahn-banaĥa teoremo (analizista maniero) aŭ per ultrafiltriloj (ĉi tiu maniero estas pli ofta en aroteorio). Notindas ke ĉi tiuj pruvoj uzas aksiomon de elekto, tiel ili estas ne-efikaj pruvoj.

 Preskaŭ konverĝo 

Ĉu konverĝa vico havas unike difinitan banaĥan limigon.

Tamen ankaŭ iuj nekonverĝaj vicoj havas unike difinitan banaĥan limigojn. Ekzemple, se x=(1, 0, 1, 0, ...),
tiam x+S(x)=(1, 1, 1, 1, ...) estas konstanta vico kies limigo estas 1, tiel  kaj ankaŭ
. Tiel por ĉi tiu vico ĉiu banaĥa limigo havas valoron .

Vico x kun la propraĵo ke por ĉiu banaĥa limigo  la valoro  estas la sama estas nomata kiel preskaŭ konverĝa.

 Eksteraj ligiloj 


Kategorio:Funkcionala analitiko
Kategorio:Stefan Banach