Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
\(B_ r\)-complete spaces which are not B-complete - MaRDI portal

\(B_ r\)-complete spaces which are not B-complete (Q800601)

From MaRDI portal





scientific article; zbMATH DE number 3875965
Language Label Description Also known as
English
\(B_ r\)-complete spaces which are not B-complete
scientific article; zbMATH DE number 3875965

    Statements

    \(B_ r\)-complete spaces which are not B-complete (English)
    0 references
    1984
    0 references
    Let F be a closed subspace of \(\ell^{\infty}\). Let \(F^*\) be the closure of F in \((\ell^{\infty})''[\sigma ((\ell^{\infty})'',(\ell^{\infty})')].\) Let \({\mathcal F}_ F\) be the topology of Mackey \(\mu ((\ell^{\infty})',\ell^{\infty}+F^*).\) In this paper the following result is proved: If the strong dual of F is separable and F is of infinite codimension in \(F^*\) there is a topology \({\mathcal F}\) on \((\ell^{\infty})'\) which has the following properties: 1. \({\mathcal F}\) is coarser than \({\mathcal F}_ F\). 2. \((\ell^{\infty})'[{\mathcal F}]\) is \(B_ r\)-complete. 3. \((\ell^{\infty})'[{\mathcal F}]\) is not B-complete. A precise example of a \(B_ r\)-complete space which is not B-complete can be constructed by taking \(F=c_ 0\). An example of a \(B_ r\)-complete space with a non- complete quotient is given also.
    0 references
    strong dual
    0 references
    infinite codimension
    0 references
    example of a \(B_ r\)-complete space which is not B-complete
    0 references
    example of a \(B_ r\)-complete space with a non- complete quotient
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references