All Questions
141 questions with no upvoted or accepted answers
15
votes
1
answer
601
views
Topological spaces in which countable intersections of dense open sets have dense interior
In certain topological spaces, known as Baire spaces (e.g., completely metrizable spaces), a countable intersection of dense open sets is dense.
Now consider the following strengthening of the Baire ...
- 32.5k
13
votes
0
answers
818
views
Covering number estimates for Hölder balls
Let $\alpha \in (0,1]$, $r>0$ and $L>0$, and positive intwgers $n$ and $m$. The Arzela-Ascoli Theorem guarantees that the set $X(\alpha,L,r)$ of $f:[-1,1]^n\rightarrow [-r,r]^m$ with $\alpha$-...
- 5,405
11
votes
0
answers
758
views
A basic question on Stone-Cech compactification of $\mathbb{Z}$
Can the identity isomorphism on the additive group $\mathbb{Z}$ be extended to a non-identity semigroup isomorphism on $\beta\mathbb{Z}$, and still preserves $\beta\mathbb{Z}\setminus\mathbb{Z}$? ...
- 895
10
votes
0
answers
744
views
Is the set of real-valued lower semi-continuous functions measurable in epigraph topology (= topology of Gamma convergence)?
Let LSC = LSC([0,1]) be the set of non-negative, lower semi-continuous functions on the unit interval which take values in $\mathbb{R}_+ \cup \{\infty\}$. We use epigraph topology on LSC, i.e. a ...
- 888
9
votes
0
answers
953
views
Topologies on compactly supported functions
Let M be a (non-compact) smooth manifold and consider the set $C^\infty_c(M)$ of smooth real-valued functions with compact support. We can give this function space several topologies. Here are four:
...
- 27.5k
8
votes
0
answers
192
views
Is $L^2(I,\mathbb Z)$ homeomorphic to the Hilbert space?
I am somehow puzzled by the subset $G:=L^2(I,\mathbb Z)$ of $H:=L^2(I,\mathbb R)$ of all integer valued functions on $I=[0,1]$ (in fact I mentioned as an example in this old MO question).
Some simple ...
- 60.5k
8
votes
0
answers
110
views
Connected component optimization
For an open set $A\subset[0,1]^d$, denote the connected components of $A$ by $cc(A)$. Given a smooth symmetric function $f\colon[-1,1]^d\to\mathbb R$ with $f(0)>0$, I am interested in the ...
- 623
8
votes
0
answers
6k
views
Convex hulls of compact sets
Let $A$ be a compact set in a separable Hilbert space $H$, and let $\bar A$ denote its convex hull. Is $\bar A$ compact?
- 8,512
7
votes
0
answers
150
views
The space of analytic associative operations
This question is a follow-up to this old one of mine.
Let $\mathcal{A}$ be the set of functions $\star:\mathbb{R}^2\rightarrow\mathbb{R}$ which are associative and $C^\omega$ (real analytic entire) in ...
- 20.5k
7
votes
0
answers
2k
views
Algebraizing topology and analysis via condensed mathematics
I asked this question on Mathematics Stackexchange, but one of the users suggested that I ask this question at MathOverflow.
I've just come across a Twitter thread by Laurent Fargues explaining a work ...
- 79
7
votes
0
answers
207
views
Is the derivative the unique operation on points in the plane that preserves convexity?
Let $C(n)$ be the space of multisets of size $n$ of points in the Euclidean plane, topologised appropriately, and consider a surjective continuous map: $$D:C(n)\rightarrow C(n-1)$$
Such that the ...
- 1,949
7
votes
0
answers
3k
views
What is vague convergence and what does it accomplish?
For convenience, let's say that I have a locally compact Hausdorff space $X$ and am concerned with probability measures on its Borel $\sigma$-algebra $\mathcal{B}(X)$. Natural vector spaces to ...
- 1,124
7
votes
0
answers
2k
views
Prokhorov's theorem for finite signed measures?
Prokhorov theorem provides a useful characterization of relatively compact sets w.r.t. narrow topology (topology induced by narrow convergence) in the space of probability measure.
Notation used ...
- 339
7
votes
0
answers
299
views
Generalized Skorokhod spaces
Skorokhod spaces of càdlàg functions are an extremely useful setting to describe stochastic processes. I'd like to understand the Skorokhod topology from a pure topological point of view, without ...
- 8,512
7
votes
0
answers
624
views
"Liftings" of L^\infty functions
This is motivated by this question: Is there an inclusion of $L_\infty(G)$ into $C_0(G)^{**}$? and Bill Johnson's comments there.
Let $X$ be a locally compact Hausdorff space and $\mu$ a Radon ...
- 18.7k
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
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
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
0
answers
108
views
Larger possible chain of closed subspaces in the dual of a Banach space
In this question, is demonstrated that a separable space can have a chain (ordered by inclusion) of closed subspaces with uncountable many subspaces.
My question is the following. If $X$ is an ...
- 153
4
votes
0
answers
119
views
Is the range of a probability-valued random variable with the variation topology (almost) separable?
Let $X$ and $Y$ be uncountable Polish spaces, $\Delta(Y)$ be the space of Borel probability measures on $Y$ endowed with the Borel $\sigma$-algebra induced by the variation distance, and let $g:X\to \...
4
votes
0
answers
152
views
Maximally fine topologies on $B(H)$ making the unit ball compact
Let $H$ be a Hilbert space, and $B(H)$ its algebra of bounded operators. One of the reasons the Ultraweak topology is (in a way) more useful than the weak operator topology is that the Ultraweak ...
- 190
4
votes
0
answers
263
views
Is there a notion of „flatness” in point-set topology?
In algebraic geometry, flat morphisms are usually associated with the intuition that they have „continuously varying fibers”. Is there a notion in topology formalizing the same intuition? Consider for ...
- 1,153
4
votes
0
answers
81
views
The least distance of $f\in\ell_\infty(K,X)$ to $C_b(K,X)$
Let $K$ be a paracompact space and consider a bounded function $f:K\to\mathbb R$ not necessarily continuous, that is, $f\in\ell_\infty(K,\mathbb R)$. It's a well-known fact that the least distance of $...
- 563
4
votes
0
answers
105
views
Borel selections of usco maps on metrizable compacta
The problem posed below is motivated by this problem of Chris Heunen and in fact is its reformulation in the language of usco maps. Let us recal that an usco map is an upper semicontinuous compact-...
- 41.9k
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
4
votes
0
answers
143
views
A point concerning Fremlin's example on Borel sets in non-separable Banach spaces
Let $E$ be a Banach space. Let us consider the following three sigma algebras on $E$.
$~~~~\mathcal{B}$= The $\sigma$-algebra coming from the norm topology.
$~~\mathcal{M}$= The sigma algebra ...
- 4,058
4
votes
0
answers
502
views
Every convex sequentially closed set is closed
Let $X$ be a vector space. A vector (not necessarily Hausdorff) topology on $X$ will be called convex sequential if every convex sequentially closed subset of $X$ is closed.
Is there some description ...
- 105
4
votes
0
answers
2k
views
Approximation of continuous functions by Lipschitz functions in the topology of uniform convergence on compact sets
I was involved into this subject when I answered
this
question from MSE. Trying to generalize my answer, I am thinking about a following
Question. Let $X$ and $Y$ be metric spaces. When each ...
- 5,409
4
votes
0
answers
158
views
Does this construction yield an injective hull ?
Let $K$ be an object of $\mathbf{CHaus}$, the category of compact Hausdorff spaces, and $K \xrightarrow{\ \ \sigma \ \ } K$ be an involutory morphism without fixed points. Define $C^{\sigma}(K)$ as ...
- 7,249
3
votes
0
answers
105
views
Finitely generated Banach lattice $C(K)$ and partitions of unity
Let $E$ be a Banach lattice. A Banach sublattice $L$ of $E$ is called finitely generated if there exists a finite subset $F \subseteq E$ such that
$$L = \bigcap \{ \hat{L} \mid F \subseteq \hat L, \, \...
- 467
3
votes
0
answers
239
views
Metrizing pointwise convergence of *sequences* of functionals in a dual space
This question was asked by myself on the math stackexchange a few days ago. I thought I'd repeat it here:
Let $X$ be a normed, real vector space of uncountable dimension. Let $X^*$ denote the set of ...
3
votes
0
answers
175
views
Any reference on Jensen inequality for measurable convex functions on a Hausdorff space?
I asked this question on math.stackexchange and I was suggested that asking it may be more appropriate. This is part of my research which tries to extend some of Choquet's theory to some non-compact ...
- 204
3
votes
0
answers
126
views
A path with zero increments and positive area
I am studying rough paths from the 2007 St Flour lecture notes and I came across the example at the end of chapter one of the sequence of paths $X(n):[0,2\pi]\to \mathbb R^2$ given by $X_t(n) = \frac{...
- 177
3
votes
0
answers
153
views
Is it possible to reconstruct the universally measurable sets in X from the $C^*$-algebra $C(X)^{**}$?
This continues my question of two months ago. Let $X$ be a compact Hausdorff topological space. We consider the $C^*$-algebra $C(X)$ of continuous functions on $X$, its dual space $C(X)^{*}=M(X)$ of ...
- 7,426
3
votes
0
answers
233
views
Is it possible to reconstruct the compact space $X$ from the space of measures $M(X)$?
Let $X$ be a compact Hausdorff topological space and $C(X)$ the Banach algebra of continuous functions $u:X\to\mathbb C$ (with the usual $\sup$-norm). It is well-known that the structure of Banach ...
- 7,426
3
votes
0
answers
187
views
Analogue of Kolmogorov/Arnold superposition for general manifolds?
Previously asked and bountied at MSE with slightly different language:
Given a topological space $\mathcal{X}$, let $$\mathsf{Cl_C}(\mathcal{X})=\bigcup_{n\in\mathbb{N}}C(\mathcal{X}^n,\mathcal{X})$$ ...
- 20.5k
3
votes
0
answers
80
views
Every Borel linearly independent set has Borel linear hull (reference?)
I am looking for a reference to the following fact, which probably is known and could be proved somewhere by someone.
Theorem. The linear hull of any linearly independent Borel set in a Polish ...
- 41.9k
3
votes
0
answers
67
views
Non-linear weak*-continuous left inverses
Let $T\colon X\to Y$ be a continuous linear surjection between Frechet spaces. Then it is possible to use Michael's selection theorem to show that there exists a continuous (non-linear) function $g\...
- 31