All Questions
448 questions
6
votes
2
answers
963
views
Tightness of Measures, Riesz Representation for locally compact spaces
Let $X$ be a locally compact, separable metric space and $\mu_n$ a sequence of probability measures on $S$. Let $\mathfrak{C}$ be a convergence determining class for the weak topology (for instance, ...
- 71
6
votes
1
answer
271
views
Is the Mackey topology $\tau(l^{\infty},l^{1})$ strongly Lindelöf?
Let $l^{\infty}$ (respectively, $l^{1}$) be the space of bounded
(respectively, absolutely summable) real sequences. I need to find out if
$l^{\infty}$ equipped with the Mackey topology $\tau(l^{\...
- 63
6
votes
3
answers
1k
views
functional subrings
I should recall the notion of maximal subring of a commutative unitary ring $R$.
Def: A commutative ring $S$ is called a maximal subring of $R$ if $S \subset R$ and if $T \subset R$ constitute a ...
- 1,788
6
votes
2
answers
2k
views
Relation between two different definitions for relative sequential compactness
Building upon this question in Math.SE, I think the following might be rather of interest for MO.
In the literature on measure theory, probability and functional analysis the definition of a subset $...
- 1,773
6
votes
1
answer
396
views
Does a metric refine the weak-* topology on a dual space?
Let $X$ be a topological affine space over $\mathbb C$, with no additional assumptions. Let $X^*$ denote its dual space of continuous affine functionals $X \to \mathbb C$, equipped with the weak-$*$ ...
- 8,512
6
votes
0
answers
124
views
Meagre sets of bounded operators
Let $H$ be a separable, infinite-dimensional Hilbert space and let $\mathbb{B}(H)$ be the algebra of bounded operators on $H$. The norm topolology on $\mathbb{B}(H)$ is stricly finer, hence the ...
- 9,853
6
votes
0
answers
243
views
A compactification of the non-negative rationals with the discrete topology
Let $S$ be the set of non-negative rational numbers. (If it makes any difference, feel free to take the non-negative dyadic rationals instead.) Let $B=\ell_\infty(S)$; as a ${\rm C}^*$-algebra this is ...
- 25.8k
6
votes
0
answers
189
views
Pettis Integrability and Laws of Large Numbers
Let $(\Omega, \mathcal F, \mathbb P)$ be a probability space, and let $V$ be a topological vector space with a dual space that separates points. Let $v_n : \Omega \to V$ be a sequence of Pettis ...
- 8,512
6
votes
0
answers
322
views
Terminology for notion dual to "support"
If $X$ is a set (feel free to think of it as finite, but it doesn't have to be) and $f$ a real function on $X$, call the support $\operatorname{supp} f$ the subset of $X$ consisting of all elements $i\...
- 21.5k
6
votes
0
answers
715
views
What is the structure of a space of $\sigma$-algebras?
Let $X$ be a compact metric space, and consider the Banach space $\Omega = C(X,\mathbb R)$ of continuous, real-valued functions on $X$, equipped with the supremum norm. Let $\delta_x \in \Omega^*$ be ...
- 8,512
6
votes
0
answers
2k
views
Weak lower semi-continuity
Which conditions assure the weak lower semicontinuity of, say, an integral functional of the type
$F(u):=\int_\Omega f(u(x),Du(x))dx$ on $W^{1,2}(\Omega,\mathbb{R}^N)$ for a bounded, if you will even ...
5
votes
4
answers
4k
views
Non-separable Banach space
The vector space $C_b(\mathbb R)$ of bounded continuous functions on $\mathbb R$ is non-separable: it is possible to produce a direct proof of this fact, mimicking the standard proof for the non-...
- 16.2k
5
votes
2
answers
674
views
Is every Montel locally convex vector space compactly generated?
Let $X$ be a Hausdorff locally convex vector space. Recall (my reference is the book of H. Jarchow, Locally Convex Spaces. B.G. Teubner, 1981) that we say that $X$ is a semi-Montel space if every ...
- 7,817
5
votes
3
answers
843
views
Topology on the set of linear subspaces
Hello,
let $X$ be a seperable Hilbert space. Let $(e_i)_i$ be a Hilbert basis, and for each index let $E_i = \langle e_1,\dots,e_i \rangle \subset X$ the span of the first $i$ basis vectors. For any $...
- 5,327
5
votes
1
answer
405
views
Example: a locally convex TVS which is not compactly generated
Is there an example of a locally convex topological vector space which is not compactly generated?
(any such example must be non-Fréchet, since all Fréchet spaces are compactly generated)
(note: I ...
- 8,512
5
votes
1
answer
421
views
Is the filtered colimit topology on the space of signed Radon measures linear and locally convex?
Let $X$ be a compact Hausdorff space. In chapter 3 of Peter Scholze's Lectures on Analytic Geometry he considers the space of signed Radon measures on $X$ equipped with the filtered colimit (aka ...
- 153
5
votes
2
answers
4k
views
finite codimension implies closed?
Let $E$ be a (complete) topological vector space, and $u:E\to E$ be continuous. Is it always true that if ${\rm Im}(u)$ is of finite codimension in $E$, then it is closed in $E$ or do we have to ...
- 53
5
votes
2
answers
1k
views
Is the space of signed finite measures on a compact set $M([0,1])$ a sequential space?
Let $M([0,1])$ be the set of finite signed measures on $[0,1]$
(with the topology generated by the sets $\left\{ \mu \in M([0,1]) : \left| \int f(x) \mu(dx)- a\right| \leq \delta\right\}$ for all $\...
- 95
5
votes
1
answer
148
views
Continuity of central point operation
Stanisław Mazur and Stanisław Ulam, in their joint paper, characterized the mid-point $\ \frac{a+b}2\ $ in a Banach space in pure metric terms (without algebra). This allowed them to show that any two ...
- 7,500
5
votes
1
answer
2k
views
Dual of the space of continuous functions
Let $T \subseteq \mathbb R$ be a closed set of real numbers. Let $X := C(T, \mathbb R)$ denote the Fréchet space of continuous real-valued functions on $T$. The topology on $X$ is generated by ...
- 8,512
5
votes
1
answer
420
views
Ring of continuous functions is a Jacobson ring
Let $X$ be an infinite discrete topological space. Is $$C_b(X)=\{ f \colon X \to \mathbb{R} \text{ bounded }\}$$ a Jacobson ring ?
5
votes
2
answers
359
views
Product of inductive limit topologies on $C_c(X)\times C_c(X)$
I have a stupid question about a topology on $C_c(X)$. Here $X$ is locally compact Hausdorff. Can assume $\sigma$-compact if it helps.
Definition (topology on $C_c(X)$): For each compact $K \subset X$,...
- 675
5
votes
1
answer
699
views
Can $L^1_{loc}$ be represented as colimit?
Let $L^1_{loc}$ denote the set of all functions from $\mathbb{R}$ to itself which are locally integrable. For every infinite compact subset $K\subseteq \mathbb{R}$, let $L^1_{m_K}$ denote the space ...
- 5,405
5
votes
3
answers
700
views
When is a sequentially closed cone, closed?
The following question I also posed here, but still got no answer. Let $X$ be a locally convex, Hausdorff topological vector space and $C\subseteq X$ a convex cone, which is sequentially closed. What ...
- 215
5
votes
1
answer
247
views
How complex is the orbit equivalence relation of $\mathrm{Iso}_0(X)\curvearrowright S_X$ for $X=L^p([0,1])$?
For a Banach space $X$ let $S_X$ denote its unit sphere and let $\mathrm{Iso}_0(X)$ denote the group of rotations of $X$, that is isometries fixing the origin. There is a natural continuous action $\...
- 3,011
5
votes
1
answer
333
views
Is the compact-open topology on the dual of a separable Frechet space sequential?
Let $X$ be a separable Frechet space (= Polish locally convex linear metric space) and $X'_c$ be the space of linear continuous functionals on $X$, endowed with the compact-open topology (= the ...
- 41.9k
5
votes
2
answers
852
views
Covering compactness in the weak sequential topology
Let $X$ be a real Banach space. Apart from the norm topology, we can consider the following weak topologies on $X$:
the weak toplogy, defined as the initial topology with respect to $X^*$. In other ...
- 171
5
votes
1
answer
2k
views
Is there a criterion for compactness in $L^\infty(\Omega)$ with strong topology?
If such criterion exists, since $C(\Omega)$ is closed in $L^\infty(\Omega)$, and if $\Omega$ is bounded and closed, the Ascoli-Arzela theorem has given a sufficient and necessary condition，means this ...
- 51
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
5
votes
1
answer
199
views
Is the unit ball of $B(H)$ a Baire space (with the SOT)?
Let $H$ be a Hilbert space, and let $B(H)$ be the set of bounded linear operators $t \colon H \to H$. Recall that we say $t_i \to t$ in the strong operator topology if $t_i \xi \to t \xi$ for every $\...
- 733
5
votes
1
answer
805
views
Arzelà-Ascoli for $C_b(0,1)$? Or more generally, why is that continuous functions "live most naturally" on compact spaces?
I’m wondering if there is a version of Arzelà-Ascoli for continuous functions on not-necessarily compact metric/Hausdorff spaces $X$, i.e. a characterization of the compact subsets of $C_b(X)$ (under ...
- 833
5
votes
1
answer
561
views
What is the connection between Frechet Lie groups and Lie algebras?
An ordinary Lie group has a differentiable manifold structure, i.e. it is locally isomorphic to a finite-dimensional Euclidean space. A Frechet Lie group, on the other hand, has a Frechet manifold ...
- 4,597
5
votes
1
answer
165
views
Algebraic solutions of polynomial ODEs
Given a polynomial ODE in $n$-dimensions of maximal degree $d$
$$
\dot{x}_j=f_j(x)=\sum_{i_{1},\dots,i_{n}=1}^{d}a_{i_{1},\dots,i_{n}}^{j}x_{1}^{i_{1}}\dots x_{n}^{i_{n}} \quad \forall j=1,...,n
...
- 247
5
votes
0
answers
94
views
When a compact subset of a TVS can be continuously projected on a closed linear subspace?
Let $V$ be a (Hausdorff) topological vector space, $W\subset V$ a closed linear subspace, $X\subset V $ a compact.
(Q):
When there is a continuous map $P:X\to W$ such that $P(x)=x$ for every $x\in X\...
- 60.5k
5
votes
1
answer
521
views
Properties of $C_B(X)$ equipped with the strict topology
Let $X$ be a Polish space. $C_B(X)$ is the space of bounded continuous functions $X\to\mathbb{R}$ equipped with the strict topology, which is the finest locally convex topology that agrees with the ...
- 353
5
votes
0
answers
100
views
What is a mild sufficient condition on $X$ such that $C(X, Y)$ is sequential?
Let $X$ be a topological space, $(Y, d)$ a metric space and $C(X, Y)$ the space of continuous maps with the topology of compact convergence.
Question: What is a minimal topological condition on $X$ ...
- 315
5
votes
0
answers
228
views
What is the smallest number of hyperplanes covering $\ell_2$?
For a Banach space $X\ne \{0\}$, let $\mathrm{cov}_H(X)$ be the smallest number of hyperplanes covering $X$.
By a hyperplane in a Banach space I understand any closed affine subspace of codimension ...
- 41.9k
5
votes
0
answers
128
views
Is the Baireness a 3-space property of topological groups
It is known that the product of two Baire spaces can be meager.
On the other hand, by a recent result of Li and Zsilinszky the product of two Baire spaces is Baire if one of the spaces is countably ...
- 41.9k
5
votes
0
answers
330
views
The second dual of $C(X)$ with the compact-open topology
Let $X$ be a compact Hausdorff space. Then $C(X)$ is a Banach algebra with the supremum norm and so is $A=C(X)^{**}$ under either Arens product. Moreover, it is easy to verify that $A\cong C(Z)$ for ...
- 233
5
votes
0
answers
349
views
Tietze extension theorem for lower semi continuous functions
On the Tietze extension theorem, if instead of a continuous function "f" we use a lower semi continuous function on a closed subspace of a metric space, is the theorem correct? I mean, can we extend ...
- 179
5
votes
0
answers
211
views
A strict directed colimit of Hausdorff locally-convex spaces that is not Hausdorff
We work in the category of locally-convex spaces (morphisms are the continuous linear maps). Let $\Lambda$ be a directed set, for every $\lambda \in \Lambda$ let $V_{\lambda}$ be a locally-convex ...
- 1,270
5
votes
0
answers
179
views
Is the space of $C^r$ vector fields inducing locally uniformly bounded trajectories Baire?
Let $\mathcal{V}$ be the space $C^r$ vector fields on a non-compact (smooth) manifold $M$. Being a subspace of $C^r(M, T M)$, it inherits the natural $C^r$ topology (i.e. the strong topology) of that ...
5
votes
1
answer
381
views
Sufficient criteria for $X \subset \mathcal{H}$ to be a Lipschitz (or unif. cont.) retract of $\mathcal{H}$
I am interested in sufficient criteria which ensure that a subset $X$ of a Hilbert space $\mathcal{H}$ is a Lipschitz (or at least uniformly continuous) retract of $\mathcal{H}$.
Under which ...
- 734
4
votes
4
answers
1k
views
An example of a non-paracompact tvs (over the reals, say)
What is an example of a non-paracompact topological vector space?
I'm aware of this question, but I don't care if my tvs is locally convex. In fact the wilder the better. The only criterion is that ...
- 35.5k
4
votes
2
answers
5k
views
Is $C^{\infty}[0,1]$ or $S$ separable?
I want to know if $C^{\infty}[0,1]$ or $S$ (Schwartz function space) is separable. Can somebody offer me some results or references?
Thank you!
- 231
4
votes
1
answer
520
views
Compactly generated Banach spaces
Suppose that $X$ is a Banach space (or more generally, Frechet space) such that $X$ is the closure of the span of a compact (in the original topology) subset $K$. Do we know anything "nice" about $X$, ...
- 3,115
4
votes
1
answer
3k
views
Dense sets in the space of continuous functions
Let $X$ be a compact metric space, and
let $C(X)$ be the Banach space of continuous real-valued function on $X$, with
the maximum norm.
Suppose $S\subset C(X)$ is a set of functions with the ...
- 43
4
votes
2
answers
2k
views
What is a generalized limit?
In the proof of Lemma 1.3 in the paper "The ideal structure of a groupoid C* algebra", Journal of Operator Theory 1991 by Jean Renault, I found the notion of a generalized limit of a net without any ...
user1688
4
votes
2
answers
263
views
Sufficent condition for strict morphism of normed vector spaces
Let $K$ be a non-archimedean field of char 0 and a morphism $f:V \rightarrow W$ of normed $K$-vector spaces given. The map $f$ is said to be strict if $V/\ker(f)$ with the quotient topology is ...
- 473
4
votes
3
answers
609
views
When is $A : C(X) \to C(Y)$ a composition operator?
A composition operator $C\_T : C(X) \to C(Y)$ with $T \in C(Y, X)$ is defined by $C\_T f := f \circ T, f \in C(X)$.
I read in the book about Composition Operators by Singh and others that a ...
- 1,338