Fatutrymme

En pipa i ett topologiskt vektorrum är en delmängd som är radiellt konvex , rundad och stängd .

Ett lokalt konvext utrymme kallas fat om varje fat i det är ett område med noll eller, vad är detsamma, ett fatutrymme är ett lokalt konvext utrymme där familjen av alla fat utgör en bas (eller på vilken varje prenorm som är lägre halvkontinuerlig är kontinuerlig).

Varje lokalt konvext utrymme i Baire är fat. I synnerhet är alla Banach-utrymmen och alla Fréchet-utrymmen trumlade.

Länkar