Følg kompakt sett svakt

Konseptet med det svakt sekvens-kompakte settet og det svake * sekvens-kompakte settet er et begrep fra topologi , et underområde av matematikk . Det er en generalisering av sekvensens kompaktitet for topologier som er grovere enn standardtopologien, den såkalte svake topologien og den svake - * - topologien . Svake sekvens kompakte sett er viktige for grunnleggende om matematisk optimalisering , siden en viss funksjonsklasse forutsetter et minimum på kompakte sett med svak sekvens og dermed garanterer løsningen av optimaliseringsproblemer.

definisjon

Et standardisert rom er gitt . Et ikke-ukomplisert delsett kalles svakt sekvens- kompakt hvis hver sekvens i dette settet har en svakt konvergerende sekvens hvis svake grenseverdi tilhører igjen .

Hvis det doble rommet av , kalles et sett svakt * sekvens - kompakt hvis hver sekvens i dette settet har en svak * konvergerende sekvens hvis svake * grenseverdi tilhører igjen .

kjennetegn

  • Hvis det normaliserte rommet er endelig dimensjonalt, er settet svakt sekvens kompakt hvis og bare hvis det er lukket og avgrenset.
  • I følge Eberlein - Šmulians teorem , faller kompakt svak sekvens og svak kompaktitet sammen for svakt lukkede sett i Banach-rom.
  • Hvis det kan skilles, er hver lukket sfære sekvensielt kompakt i svak *.
  • Hvis et refleksivt Banach-rom er hver lukket sfære svakt sekvensiell kompakt.

bruk

I tillegg til diskusjonen om svake topologier, vises sett med svake konsekvenser også i optimaliseringen . Her gir de uttalelser om eksistensen av ekstreme steder. Svake subkontinuerlige funksjoner antar alltid et minimum på et svakt sekvensielt sett.

Se også

litteratur