Do you want to publish a course? Click here

Is the free locally convex space $L(X)$ nuclear?

97   0   0.0 ( 0 )
 Added by Arkady Leiderman
 Publication date 2021
  fields
and research's language is English




Ask ChatGPT about the research

Given a class $mathcal P$ of Banach spaces, a locally convex space (LCS) $E$ is called {em multi-$mathcal P$} if $E$ can be isomorphically embedded into a product of spaces that belong to $mathcal P$. We investigate the question whether the free locally convex space $L(X)$ is strongly nuclear, nuclear, Schwartz, multi-Hilbert or multi-reflexive. If $X$ is a Tychonoff space containing an infinite compact subset then, as it follows from the results of cite{Aus}, $L(X)$ is not nuclear. We prove that for such $X$ the free LCS $L(X)$ has the stronger property of not being multi-Hilbert. We deduce that if $X$ is a $k$-space, then the following properties are equivalent: (1) $L(X)$ is strongly nuclear; (2) $L(X)$ is nuclear; (3) $L(X)$ is multi-Hilbert; (4) $X$ is countable and discrete. On the other hand, we show that $L(X)$ is strongly nuclear for every projectively countable $P$-space (in particular, for every Lindelof $P$-space) $X$. We observe that every Schwartz LCS is multi-reflexive. It is known that if $X$ is a $k_omega$-space, then $L(X)$ is a Schwartz LCS cite{Chasco}, hence $L(X)$ is multi-reflexive. We show that for any first-countable paracompact (in particular, metrizable) space $X$ the converse is true, so $L(X)$ is multi-reflexive if and only if $X$ is a $k_omega$-space, equivalently, if $X$ is a locally compact and $sigma$-compact space. Similarly, we show that for any first-countable paracompact space $X$ the free abelian topological group $A(X)$ is a Schwartz group if and only if $X$ is a locally compact space such that the set $X^{(1)}$ of all non-isolated points of $X$ is $sigma$-compact.



rate research

Read More

145 - Franklin D. Tall 2015
We prove some consistency results concerning the Moving Off Property for locally compact spaces and thus the question of whether their function spaces are Baire.
The $Golomb$ $space$ (resp. the $Kirch$ $space$) is the set $mathbb N$ of positive integers endowed with the topology generated by the base consisting of arithmetic progressions $a+bmathbb N_0={a+bn:nge 0}$ where $ainmathbb N$ and $b$ is a (square-free) number, coprime with $a$. It is known that the Golomb space (resp. the Kirch space) is connected (and locally connected). By a recent result of Banakh, Spirito and Turek, the Golomb space has trivial homeomorphism group and hence is topologically rigid. In this paper we prove the topological rigidity of the Kirch space.
A locally convex space (lcs) $E$ is said to have an $omega^{omega}$-base if $E$ has a neighborhood base ${U_{alpha}:alphainomega^omega}$ at zero such that $U_{beta}subseteq U_{alpha}$ for all $alphaleqbeta$. The class of lcs with an $omega^{omega}$-base is large, among others contains all $(LM)$-spaces (hence $(LF)$-spaces), strong duals of distinguished Frechet lcs (hence spaces of distributions $D(Omega)$). A remarkable result of Cascales-Orihuela states that every compact set in a lcs with an $omega^{omega}$-base is metrizable. Our main result shows that every uncountable-dimensional lcs with an $omega^{omega}$-base contains an infinite-dimensional metrizable compact subset. On the other hand, the countable-dimensional space $varphi$ endowed with the finest locally convex topology has an $omega^omega$-base but contains no infinite-dimensional compact subsets. It turns out that $varphi$ is a unique infinite-dimensional locally convex space which is a $k_{mathbb{R}}$-space containing no infinite-dimensional compact subsets. Applications to spaces $C_{p}(X)$ are provided.
We prove that the locally convex space $C_{p}(X)$ of continuous real-valued functions on a Tychonoff space $X$ equipped with the topology of pointwise convergence is distinguished if and only if $X$ is a $Delta$-space in the sense of cite {Knight}. As an application of this characterization theorem we obtain the following results: 1) If $X$ is a v{C}ech-complete (in particular, compact) space such that $C_p(X)$ is distinguished, then $X$ is scattered. 2) For every separable compact space of the Isbell--Mrowka type $X$, the space $C_p(X)$ is distinguished. 3) If $X$ is the compact space of ordinals $[0,omega_1]$, then $C_p(X)$ is not distinguished. We observe that the existence of an uncountable separable metrizable space $X$ such that $C_p(X)$ is distinguished, is independent of ZFC. We explore also the question to which extent the class of $Delta$-spaces is invariant under basic topological operations.
A topological space $X$ is defined to have an $omega^omega$-base if at each point $xin X$ the space $X$ has a neighborhood base $(U_alpha[x])_{alphainomega^omega}$ such that $U_beta[x]subset U_alpha[x]$ for all $alphalebeta$ in $omega^omega$. We characterize topological and uniform spaces whose free (locally convex) topological vector spaces or free (Abelian or Boolean) topological groups have $omega^omega$-bases.
comments
Fetching comments Fetching comments
mircosoft-partner

هل ترغب بارسال اشعارات عن اخر التحديثات في شمرا-اكاديميا