All Questions
448 questions
3
votes
1
answer
199
views
Is P(X) a connected set for a set X with a $\sigma$-algebra P(X) and a measure function m on it to [0,$\infty$] when P(X) is equiped with meter d, that for every A,B in P(X), $d(A,B)=m(A \Delta B)$?
look at Problem14.12 of chapter3 of "Aliprantis-Burkinshaw-Principles of real analysis-3ed.1998" ; 12. Let A be the collection of all measurable subsets of X of finite measure. That is, A = {B in X: m(...
3
votes
1
answer
161
views
Approximating continuous functions from $K\times L$ into $[0,1]$
Let $K$ and $L$ be compact Hausdorff spaces, let $f:K\times L\to [0,1]$ be continuous and let $\varepsilon>0$. Can we find continuous $g_{1},...,g_{n}:K\to[0,+\infty)$ and $h_{1},...,h_{n}:L\to[0,+\...
- 5,529
3
votes
1
answer
355
views
Extremely disconnected or extremally disconnected?
In the context of Banach space theory, what is the correct terminology: extremally disconnected or extremely disconnected. Looking through the internet I have met using both extremely and extremally ...
- 41.9k
3
votes
1
answer
951
views
Specific criterion for the sum of two closed sets to be closed
Let $Y$ and $Z$ be two closed subspaces of a Banach space $X$ with $Y\cap Z=\{0\}$.
I know that $Y+Z$ is a closed subspace of $X$ $\iff \exists \alpha > 0:\quad \lVert y\rVert \le \alpha\lVert y+z\...
- 33
3
votes
2
answers
3k
views
Sequentially weak-continuous and continuous functions under the weak-topology of a Banach space
Let $X$ be an infinite dimensional, reflexive and separable real Banach space. Consider a function $f: X \to \mathbb{R}$, and assume $f$ is sequentially continuous with respect to the weak topology, ...
- 349
3
votes
1
answer
184
views
What do sparse sets in a norm topology look like in the weak* topology?
I'm wondering if a very "sparse" set in a normed vector space can look connected in the weak* topology. Specifically,
Let V be a Banach space, V* its dual, and X a (uncountable) subset of the unit ...
- 333
3
votes
1
answer
451
views
Topological vector spaces in direct sum
A year ago, I asked this question here at Mathematics Stackexchange, but no one there managed to answer it. So I am elevating it to MathOverflow.
This question had emerged as an offshoot of a bigger ...
- 603
3
votes
1
answer
143
views
Density of $C(X,\operatorname{co}\{\delta_y\}_{y \in Y})$ in $C(X,\mathcal{P}(Y))$
Let $X,Y$ be locally-compact Polish spaces, equip the set $\mathcal{P}(Y)$ of probability measures on $Y$ with the weak$^{\star}$ topology (topology of convergence in distribution), and equip $C(X,\...
- 5,405
3
votes
1
answer
199
views
Are second-countable subsets of topological vector spaces metrizable?
Let $X$ be a topological vector space of size $\mathfrak{c}$. Assume that there exists a countable union $X=\cup X_n$ such that all subsets $X_n$'s are relatively second countable.
Q. Does there ...
- 4,058
3
votes
1
answer
340
views
Relatively compact sets in Ky Fan metric space
Let $(\Omega,P,\mathcal{F})$ be a probability space. $X$, $Y$ are two random variables. The Ky Fan metric defined as: $d_F(X,Y)=\inf\{\epsilon: P(|X-Y|> \epsilon)<\epsilon\}$ (or $d'_F(X,Y)=E \...
- 515
3
votes
1
answer
131
views
Spectrum of continuous functions as a semigroup
Let $X$ be a countable group (with the discrete topology) and let $C_b(X)$ be the ring of continuous bounded functions $X \to \mathbb{R}$. It is known that the maximal spectrum of $C_b(X)$, namely the ...
3
votes
1
answer
266
views
Embedding CW-complexes into infinite-dimensional topological vector spaces
Sometimes it is desirable to embed CW-complexes into real vector spaces, to use a simple linear algebra to work with them. Result on embedding into Euclidean spaces are well known, check Hatcher‘s ...
- 519
3
votes
1
answer
365
views
Final topology of surjective linear map on Banach space
Let $L:X\rightarrow Y$ be a surjective linear map from Banach space $(X,||\cdot||_X)$ to vector space $Y$ and denote with $\tau_L$ the final topology on $Y$ induced by $T$.
Is $\tau_L$ equivalent ...
- 315
3
votes
1
answer
177
views
Compactness of set of measurable functions between compact subspaces of real numbers
Let $X$ be a compact subset of $\mathbb{R}^n$ and $Y$ be a convex and compact subset of $\mathbb{R}^p$. Consider $\mathcal{F}$ the set of all measurable functions from $X$ to $Y$. Can I find ...
- 131
3
votes
1
answer
353
views
Sequential separability on $C_p(X)$
Definition. Let $E$ be a topological space. Suppose that $E$ contains a sequence $\{x_n\}$ such that for every $x\in E$, there exists a subsequence $\{x_{n_k}\}$ of $\{x_n\}$ with $x=\lim x_{n_k}$. ...
- 4,058
3
votes
1
answer
184
views
Can approximately periodic functions be perturbed to periodic functions on a locally compact group?
Let $G$ be a locally compact group and $H\subset G$ a closed and cocompact subgroup. I wish to consider bounded continuous functions from $G$ to $\mathbb{C}$ that are periodic in the following strong ...
- 1,023
3
votes
2
answers
327
views
Examples of TVS with no non-trivial open convex subsets
I give here the classical example of the space $E = L^p([0,1])$ which has no open convex subsets apart from $\emptyset$ and $E$. Consequently, there is no non-trivial continuous linear form on $E$.
...
- 1,355
3
votes
1
answer
502
views
Determining continuous functions on Banach spaces
Let $X$ be a real Banach space.
For a continuous (not necessarily linear) function $g:X \to \mathbb{R}$ and a family $\mathcal{F} \subseteq X^*$, we´ll say that $\mathcal{F}$ determines $g$ if ...
- 11.5k
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
3
votes
0
answers
73
views
A holomorphic shrinking of a domain into a compact subset
This question is related to these two.
Let $X\subset \mathbb{C}^{n}$ be a bounded domain. I am interested in the following property: there is a sequence of continuous maps $\varphi_n:\overline{X}\to X$...
- 5,529
3
votes
0
answers
487
views
Homeomorphism between $L^p$-spaces on metric spaces and $L^p$-spaces on Euclidean space
Setup:
Fix $p \in [1,\infty)$.
Let $(X,d_X,x_0)$ and $(Y,d_Y,y_0)$ be complete pointed metric spaces and $\mu$ be Borel. Let $E^n,E^D$ be Euclidean spaces of respetive dimensions $n$ and $D$ and ...
- 5,405
3
votes
0
answers
650
views
description of dual space of space of Radon measure equipped with topology of weak convergence
Let $\mathcal{M}(\mathbb R)$ be the space of Radon measures, equipped with topology $\tau$ generated by the following "weak convergence":
$$
\mu_n \rightarrow \mu \quad \text{iff} \quad \int f d\mu_n ...
- 325
3
votes
0
answers
78
views
Is every weakly Lindelof Banach space a $D$-space?
An open neighbourhood assignment for a topological space $(X, \tau)$ is a map $U: X \to \tau$ such that $x \in U(x)$, for every $x \in X$. A space $X$ is called a $D$-space if for every open ...
- 4,413
3
votes
0
answers
82
views
Proving the existence of a continuous function that satisfy a certain property from a finite version of this property
Let $M \subseteq [0,1] \times \mathbb{R}^n$ be a compact semialgebraic set.
In particular, $M$ can be described by a finite set of polynomial equalities and inequalities.
Let $\delta_0 > 0$ be a ...
- 745
3
votes
0
answers
125
views
Commutative discrete cyclic operator groups on topological vector spaces
Let $V$ be a complex Hausdorff separable topological vector space of infinite dimensions. Does there exist a commutative discrete subgroup $A\subset\mathcal{L}(V)$ of continuous operators on $V$ with ...
- 1,959
3
votes
0
answers
198
views
Properties of convergence at points of continuity
Let $J$ denote the set of functions $f : [0, \infty) \to \mathbb{R}$ that are right-continuous and have left-hand limits (r.c.l.l.) and such that their points of discontinuity are jumps.
Then $J$ is a ...
- 1,773
3
votes
0
answers
98
views
How Universal is the Topological $\mathbb K$-algebra $C(\Omega, \mathbb K)$?
For $\Omega$ an arbitrary set the family $C(\Omega, \mathbb K)$ of all functions $\Omega \to \mathbb K$ becomes a complete topological $\mathbb K$-algebra under the topology of uniform convergence. ...
- 1,955
3
votes
0
answers
373
views
Closed Graph Theorem and Spaces Of Continuous Functions
Let $X$ be a (Tychonoff) topological space. Consider $C\left(X\right)$ being a topological vector space of all continuous scalar-valued functions with the compact-open topology.
Assume that $Y$ is a ...
- 5,529
3
votes
0
answers
176
views
Extending a Hilbert space isometrically
Let $H$ be a Hilbert space, and let $X$ be a topological vector space.
Under what conditions on the topologies of $X$ and $H$ does there exist an injective, continuous linear map $f : H \to X$?
...
- 8,512
3
votes
0
answers
637
views
Fixed point theorem for convex, closed multivalued mapping
There is well-known fixed point theorem theorem for multivalued l.s.c. maps, based on Michael selection theorem:
Suppose, that $X$ is compact, convex and metrizable in locally convex Hausdorff ...
- 696
3
votes
0
answers
251
views
What is the origin of the metrization problem for compact convex sets?
The following is an ``old question in analysis:''
Is it true that every perfectly normal compact convex subset of a locally convex topological vector space is metrizable?
Here perfectly normal means ...
- 3,547
2
votes
1
answer
432
views
A question about open subsets of Hilbert space whose complements are compact sets
Let $H$ be an infinite-dimensional separable Hilbert space. Let $C$ be the intersection of a denumerably infinite sequence of sets, each of which is the complement of a compact subset of $H$. In other ...
- 6,215
2
votes
3
answers
538
views
General theory for p-normed spaces
Hello,
in functional analysis and operator theory, you encounter several (at first glance, at least) similar constructions of normed spaces that can be indexed with some $ p \in [1,\infty]$, and ...
- 5,327
2
votes
2
answers
154
views
Closure of $C([0,1]^2)$ via weak*-topology [closed]
Let $C([0,1]^2)$ denote the set of continuous functions on $[0,1]^2$. Let $L^1([0,1]^2)$ be the set of all Lebesgue integrable functions on $[0,1]^2$.
The dual space of $C([0,1]^2)$, denoted by $C^*([...
- 349
2
votes
1
answer
348
views
Topological spaces containing paths
Let $C(\mathbb{R}^n;\mathbb{R}^d)$ be the space of continuous functions with the uniform-convergence on compacts topology. What are function spaces $X$ building on $C(\mathbb{R}^n;\mathbb{R}^d)$?
$X$...
- 5,405
2
votes
2
answers
1k
views
Are coordinate functions on topological vector spaces always continuous?
Let $V$ be a Hausdorff locally convex topological vector space over the field $\mathbb{K}$.
Let $B$ be a subset of $V$ such that
$\;$ for all functions $c : B\to \mathbb{K}$, if $\displaystyle\sum_{...
user5810
2
votes
1
answer
183
views
On the equality $\{f\in C(X), f|_A=0\}+\{f\in C(X), f|_B=0\}=\{f\in C(X), f|_{A\cap B}=0\}$
Let $X$ be a Tychonoff space, let $A,B\subset X$ be closed. Let $J_A$ be the set of all continuous on $X$ real-valued functions which vanish on $A$.
For which $X$'s is it true that $J_A+J_B=J_{A\cap ...
- 5,529
2
votes
1
answer
244
views
Is the set of entire functions Borel in the space of analytic functions?
$\def\bbR{\mathbb R}\def\bbC{\mathbb C}\def\scrT{\mathscr T}\def\ssp{\kern.4mm}
$More specifically, I ask whether $S$ be a Borel set in the topological space $(\Omega,\scrT)$ in the following ...
- 3,584
2
votes
1
answer
192
views
Open sets in the space of signed measures equipped with the Kantorovich–Rubinshtein norm
Let $X$ be a compact metric space and $\mathcal{M}(X)$ be the space of variational-bounded, signed Borel measures equipped with the Kantorovich–Rubinshtein norm, cf. [Section 8.3, 1]:
$$||\mu||_0:= \...
- 113
2
votes
1
answer
197
views
Explicit description of the closure of a given set
Let $C$ be the subset of $C_b(\mathbb{R})$ given by
$$C:=\{f\in C_b(\mathbb{R}):\ \exists f'\in C_b(\mathbb{R})\}$$
Now I want to take the closure of this set with respect to the supremum norm on $...
2
votes
2
answers
458
views
A Fixed point Theorem that does not need the convexity of set valued map?
I am looking for a fixed point theorem for set valued maps that does not assume the set valued map should be convex valued.
Something like contractiblity or other properties can be replaced with ...
- 383
2
votes
1
answer
403
views
The set of Upper semi-continuous functions as a ring.
I should recall that the surgenfery topology on the real numbers is denoted by $\mathbb{R}_l$, and has the set
{$[a , b): a,b \in \mathbb{R} $} as it's base.
If $X$ is a topological space, an upper ...
- 1,788