Tøndeplads

En tønde i et topologisk vektorrum er en delmængde, der er radialt konveks , afrundet og lukket .

Et lokalt konveks rum kaldes tønde , hvis hver tønde i det er et kvarter på nul eller, hvad der er det samme, et tønde rum er et lokalt konveks rum, hvor familien af ​​alle tønder danner et grundlag (eller som enhver prænorm , der er nederste halvkontinuerlige er kontinuert).

Hvert Baire lokalt konvekse rum er tønder. Især alle Banach-rum og alle Fréchet-rum er barreled.

Links