All Questions
29 questions
11
votes
3
answers
2k
views
Is the strong operator topology metrizable?
Let $X$ be a separable Banach space. Is the strong operator topology metrizable on $B(X)$, the space of all bounded operators on $X$?
SOT-$\lim T_i=0~$ if and only if $~\lim \|T_ix\|=0$ for every $x\...
- 4,058
11
votes
4
answers
1k
views
Example of noncomplete quotient of complete lcs mod closed subspace
The following statement is well-known: for a Fréchet space $V$ and a closed subspace $W \subseteq V$ the quotient $V / W$ is again complete and hence a Fréchet space. For the particular case of a ...
- 8,098
10
votes
2
answers
2k
views
Pull-back of generalized functions
Let $f\colon X\to Y$ be a smooth map between smooth manifolds. Then the pull-back operation
$f^*\colon C^\infty(Y)\to C^\infty(X)$ is a linear continuous operator when $C^\infty$ is equipped with the ...
- 21.8k
9
votes
2
answers
338
views
Does $End(V)$ remember $V$, where $V$ is a locally convex space?
Let $V$ be a locally convex topological vector space over $\mathbb C$, and let $A=\mathrm{End}(V)$ be its algebra of continuous linear endomorphisms (viewed just as a $\mathbb{C}$-algebra, not as a ...
- 43.2k
8
votes
1
answer
687
views
When does the dual to the space $K(X)$ of compact operators consist of nuclear functionals?
Let $X$ be a Banach space and $B(X)$ be its space of all (bounded) operators. A nuclear functional on $B(X)$ is a linear functional $u:B(X)\to{\mathbb C}$ that can be represented in the form
$$
u(A)=\...
- 7,426
7
votes
1
answer
291
views
Does separability of the strong operator topology imply separability of the underlying space?
Let $X$ be a Banach space and $B(X)$ be the space of bounded operators on $X$.
Suppose that the strong operator topology on $B(X)$ is separable and that the cardinal number of $B(X)$ is continuum.
...
- 4,058
7
votes
1
answer
813
views
An equivalent condition for separability of $X^*$
Let $X$ be a Banach space. By the weak operator topology on $B(X)$, we mean the locally convex topology implemented by the following semi-norms:
$$B(X)\to[0,\infty) : T\to|\langle Tx,x^*\rangle|$$
...
- 4,058
6
votes
3
answers
427
views
Point-wise limit of finite valued functions
Let $X$ be a second countable topological vector space. Does there exist any sequence of finite valued functions $f_n\colon X\to X$ converging point-wise to the identity mapping on $X$?
- 4,058
6
votes
2
answers
3k
views
Closed convex bounded sets are weakly compact for which spaces?
It is known that for all reflexive Banach spaces, closed convex bounded sets are weakly compact (compact for the weak topology).
What is the general class of topological vector spaces for which this ...
- 549
6
votes
1
answer
353
views
Sequential continuity of linear operators
Let $u\colon L\to M$ be a linear map of locally convex linear topological vector spaces.
Assume that $u$ is sequentually continuous, i.e. maps convergent sequences to convergent ones.
(This notion is ...
- 21.8k
5
votes
3
answers
675
views
$L^{\infty}$ as colimit
I recently read a result (in Jarchow's book) that any ultrabornological space can be expressed as a colimit (in the category LCS) of Banach spaces. My question is the following.
Let $\mu$ be a ...
- 5,405
5
votes
2
answers
1k
views
Are bounded sets always weakly metrizable in reflexive separable spaces?
It is known that if a Banach space is reflexive and separable, its unit ball is weakly metrizable.
My question is about the generalization of this property :
1) Is it true that for all reflexive ...
- 549
5
votes
1
answer
188
views
Large ideally convex sets
Let $E$ be a Banach space. A set $C \subseteq E$ is called ideally convex if for every bounded sequence $(x_n)$ in $C$ and for every sequence $(\lambda_n)$ in $[0,1]$ that sums up to $1$ the vector $\...
- 12.6k
5
votes
3
answers
1k
views
Sequential closure of a set: standard terminology, notation, and properties
Let $X$ be a topological vector space (or, perhaps, more generally uniform space). Let $A\subset X$ be a subset. Let $A^s$ denote the set of limits of all convergent sequences (I guess $A^s$ is called ...
- 21.8k
4
votes
2
answers
336
views
pointwise convergence to the identity
Let $X$ be a separable topological vector space with size (cardinal number) no larger than $\mathfrak{c}$. Does there exist any sequence of finite rank linear maps $\phi_n:X\to X$ pointwise converging ...
- 4,058
4
votes
1
answer
394
views
Separable Lindelöf locally convex spaces that are not second-countable
A Lindelöf space is a topological space in which every open cover has a countable subcover.
Does there exists a Lindelöf locally convex space which is not second countable?
I am also looking for a ...
- 4,058
4
votes
0
answers
147
views
A characterization of nuclear functionals in terms of continuity with respect to some special topologies on $B(X)$?
I think, nuclear functionals on the space of operators $B(X)$ (on a Banach space $X$) must have a characterization in terms of some special continuity. I would be grateful if somebody could help me ...
- 7,426
4
votes
0
answers
115
views
point-wise approximation of the identity in hereditary Lindelof spaces
Let $X$ be a topological vector space. Assume that there exists a sequence of finite range measurable functions $\phi_n:X\to X$ with $\lim\phi_n(x)=x$.
Q. Can we concluded that $X$ is hereditery ...
- 4,058
3
votes
1
answer
285
views
Semi-norms on LCS inductive limit of Banach Spaces
Let $(E_n,i_n)_{n\in\mathbb{N}}$ be an direct system of Banach spaces in the category of locally convex spaces (LCSs) with continuous linear maps and let $E_{\infty}$ by their inductive limit. What ...
- 5,405
2
votes
1
answer
230
views
Relation between the weak star topology and hereditary Lindelöfness
Let $X$ be a Banach space. Is the following implication valid?
$$ (X,w) \textrm{ is hereditarily Lindelöf}~ \Rightarrow X^*~ \textrm{is separable} $$
The converse is clearly true, since the ...
- 4,058
2
votes
1
answer
151
views
A particular separation example
Q1. Does there exist a separable Banach space $X$ satisfying in the following property?
1- $X^*$ is non separable.
2- For every countable subset $F\subset X^*$ there exists $0\neq x_F\in X$ ...
- 4,058
1
vote
1
answer
232
views
An approximation property in a separable topological vector space
Let $X$ be a topological vector space.
Let us say that $X$ enjoys sequential separablity if there exists a sequence $\{x_n\}$ in $X$ such that for every $x\in X$ there exists a subsequence of $\{...
- 4,058
1
vote
1
answer
234
views
Density and the projective tensor product
Let $X$ be a locally convex space (over $\mathbb{R}$), $D\subset X$ be dense, $B$ be a Banach space (again over $\mathbb{R}$) with Schauder basis $\{b_i\}_{i =1}^{\infty}$. Is the set
$$
D^+\...
- 5,405
1
vote
1
answer
203
views
Continuous function on colimit
Let $X$ be a Banach space and $f:X\rightarrow \mathbb{R}$ be continuous. Suppose that $\{X_n\}_{n \in \mathbb{N}}$ is a strictly nested sequence of sub-Banach spaces, for which $\cup_{n \in \mathbb{N}...
- 5,405
1
vote
0
answers
61
views
When is the metric on a Fréchet space homogeneous
Let $(F,d)$ be a Fréchet space over $\mathbb{F}\in \{\mathbb{C},\mathbb{R}\}$. Are there conditions under which, there exists some $C,d>0$ such that: for every $f\in F$ and every $k\in \mathbb{F}$ ...
- 5,405
1
vote
0
answers
50
views
Nested nets of closed bounded star-shaped sets in a semi-reflexive space
Among Hausdorff locally convex spaces, semi-reflexivity is characterized by the weak topology having the Heine-Borel property. It follows that, in a semi-reflexive space, every nested net of closed ...
- 11
1
vote
0
answers
99
views
Gluing together dense subset of Projective Limit in $Ban_1$
Let $(X_n,\pi_n^{m})$ be a countable projective system in the category Ban$_1$ of Banach spaces and short linear maps (is (continuous) linear constructions). Then (co)-completeness of this category ...
- 5,405
1
vote
0
answers
996
views
The dual of the space of smooth functions that vanish at infinity
Let $U \subset \Bbb R ^n$ be an open subset and let $\mathcal C$ be the space of the smooth functions on $U$ that vanish at infinity, endowed with the seminorms $p_\alpha (f) = \sup \limits _{x \in U} ...
- 5,407
0
votes
1
answer
81
views
Ultrabornological representation for the space of uniformly continuous functions?
Let $\{\omega_i\}_{i\in I}$ be a non-empty set of increasing (not necessarily strictly) continuous functions preserving $0$. Then, for each $i \in I$ define the space
$$
C_{\omega_i}(\mathbb{R}^n,\...
- 5,405