Distinguished space

This article relies largely or entirely on a single source. Relevant discussion may be found on the talk page. Please help improve this article by introducing citations to additional sources. Find sources: "Distinguished space" – news · newspapers · books · scholar · JSTOR (June 2020)

In

of some bounded subset of the bidual.

Definition

Suppose that ${\displaystyle X}$ is a

locally convex space

and let ${\displaystyle X^{\prime }}$ and ${\displaystyle X_{b}^{\prime }}$ denote the

strong dual

of ${\displaystyle X}$ (that is, the

continuous dual space

of ${\displaystyle X}$ endowed with the

strong dual topology

). Let ${\displaystyle X^{\prime \prime }}$ denote the continuous dual space of ${\displaystyle X_{b}^{\prime }}$ and let ${\displaystyle X_{b}^{\prime \prime }}$ denote the strong dual of ${\displaystyle X_{b}^{\prime }.}$ Let ${\displaystyle X_{\sigma }^{\prime \prime }}$ denote ${\displaystyle X^{\prime \prime }}$ endowed with the

weak-* topology

induced by ${\displaystyle X^{\prime },}$ where this topology is denoted by ${\displaystyle \sigma \left(X^{\prime \prime },X^{\prime }\right)}$ (that is, the topology of pointwise convergence on ${\displaystyle X^{\prime }}$). We say that a subset ${\displaystyle W}$ of ${\displaystyle X^{\prime \prime }}$ is ${\displaystyle \sigma \left(X^{\prime \prime },X^{\prime }\right)}$-bounded if it is a bounded subset of ${\displaystyle X_{\sigma }^{\prime \prime }}$ and we call the closure of ${\displaystyle W}$ in the TVS ${\displaystyle X_{\sigma }^{\prime \prime }}$ the ${\displaystyle \sigma \left(X^{\prime \prime },X^{\prime }\right)}$-closure of ${\displaystyle W}$. If ${\displaystyle B}$ is a subset of ${\displaystyle X}$ then the

${\displaystyle B}$

${\displaystyle B^{\circ }:=\left\{x^{\prime }\in X^{\prime }:\sup _{b\in B}\left\langle b,x^{\prime }\right\rangle \leq 1\right\}.}$

A Hausdorff locally convex space ${\displaystyle X}$ is called a distinguished space if it satisfies any of the following equivalent conditions:

1. If ${\displaystyle W\subseteq X^{\prime \prime }}$ is a ${\displaystyle \sigma \left(X^{\prime \prime },X^{\prime }\right)}$-bounded subset of ${\displaystyle X^{\prime \prime }}$ then there exists a bounded subset ${\displaystyle B}$ of ${\displaystyle X_{b}^{\prime \prime }}$ whose ${\displaystyle \sigma \left(X^{\prime \prime },X^{\prime }\right)}$-closure contains ${\displaystyle W}$.^[1]
2. If ${\displaystyle W\subseteq X^{\prime \prime }}$ is a ${\displaystyle \sigma \left(X^{\prime \prime },X^{\prime }\right)}$-bounded subset of ${\displaystyle X^{\prime \prime }}$ then there exists a bounded subset ${\displaystyle B}$ of ${\displaystyle X}$ such that ${\displaystyle W}$ is contained in ${\displaystyle B^{\circ \circ }:=\left\{x^{\prime \prime }\in X^{\prime \prime }:\sup _{x^{\prime }\in B^{\circ }}\left\langle x^{\prime },x^{\prime \prime }\right\rangle \leq 1\right\},}$ which is the polar (relative to the duality ${\displaystyle \left\langle X^{\prime },X^{\prime \prime }\right\rangle }$) of ${\displaystyle B^{\circ }.}$^[1]
3. The strong dual of ${\displaystyle X}$ is a barrelled space.^[1]

If in addition ${\displaystyle X}$ is a metrizable locally convex topological vector space then this list may be extended to include:

4. (Grothendieck) The strong dual of ${\displaystyle X}$ is a bornological space.^[1]

All

The strong dual space ${\displaystyle X_{b}^{\prime }}$ of a Fréchet space ${\displaystyle X}$ is distinguished if and only if ${\displaystyle X}$ is

Every locally convex distinguished space is an H-space.^[2]

There exist distinguished

${\displaystyle l^{1}}$

${\displaystyle X}$ whose strong dual is a non-reflexive Banach space.

Fréchet Montel spaces are distinguished spaces.

• Montel space – Barrelled space where closed and bounded subsets are compact
• Semi-reflexive space

• MR 0042609
  .
• Robertson, Alex P.; Robertson, Wendy J. (1980). Topological Vector Spaces.
  OCLC 589250
  .
• Husain, Taqdir; Khaleelulla, S. M. (1978). Barrelledness in Topological and Ordered Vector Spaces.
  OCLC 4493665
  .
• Jarchow, Hans (1981). Locally convex spaces. Stuttgart: B.G. Teubner.
  OCLC 8210342
  .
• Khaleelulla, S. M. (1982). Counterexamples in Topological Vector Spaces.
  OCLC 8588370
  .
• Narici, Lawrence; Beckenstein, Edward (2011). Topological Vector Spaces. Pure and applied mathematics (Second ed.). Boca Raton, FL: CRC Press.
  OCLC 144216834
  .
• OCLC 840278135
  .
• OCLC 853623322
  .