All Questions
Tagged with metric-spaces fa.functional-analysis
78 questions
2
votes
0
answers
42
views
Generalized Hardy operator and Lorentz gamma spaces
I would like to find an inequality which would 'place' the generalized Hardy operator $\int_0^th(y)dy\int_y^tk^*(s)ds$ in between two Lorentz gamma spaces.
Any literature or ideas would be greatly ...
- 109
2
votes
0
answers
137
views
Conditions on the inequality with a gauge norm
Let $\Phi(x)=\int_0^x \phi(y)\,dy$, $x \in \mathbb{R}_+$, be an N-function, and let $u$ be locally inferable on $\mathbb{R}_+$. Consider the gauge norm
$$
\rho_{\Phi,u}(f)=\inf\{\lambda>0: \int_{\...
- 343
2
votes
0
answers
265
views
The contraction principle in quasi metric spaces
I am researching contractive mappings and I need the article of I. A. Bakhtin "The contraction principle in quasi metric spaces"(1989) or at least part where explanation is given for ...
2
votes
0
answers
210
views
A Riemannian metric on the plane such that the intersection of every two discs is a disc, again
Is there a Riemannian metric on $\mathbb{R}^2$ (or a $2$ dimensional manifold) such that the intersection of every two open discs is an open disc, again?
As linear version of this question we ask:
...
- 356
2
votes
0
answers
192
views
Generalize upper semicontinuous regularization using Borel Hierachy
Let $X$ be a metric space. Suppose a real-valued function $f:X\rightarrow \mathbb{R}$ is upper semicontinuous class $2$ if for all $c \in \mathbb{R},$ its preimage $f^{-1}(-\infty,c)$ is $F_{\sigma}$.
...
- 623
2
votes
0
answers
99
views
Equicontinuity of $\{f_{2n}\circ f_{2n-1}\}$
Let $(X,D)$ be a compact metric space and $\{f_n\}_{n\in\mathbb{N}}$ be a sequence of homeomorphisms of $(X,d)$. It is easy to see that if $\{f_n\}$ is uniformly convergent then $\{g_n\}$ defined by $...
2
votes
0
answers
126
views
Nearly injective Banach spaces
There was a problem about nearly injective metric spaces posed by Aronszajn and Panitchpakdi which I actually solved in the past but it still remains open (as long as I know) for the Banach spaces--so ...
- 7,500
1
vote
1
answer
107
views
Continuous Left-inverse of Dirac Lipschitz-Free Space
Let $X$ be a separable pointed metric space and let $AE(X)$ denote the corresponding Lipschitz-Free (or Arens-Eells space) over $X$. The point-evaluation map $\delta:X\mapsto AE(X)$ is injective ...
- 5,405
1
vote
1
answer
896
views
Known Lipschitz-free spaces
The Lipschitz-Free space (also known as Arens-Eells spaces) $\mathcal{F}(X,d)$ over a pointed metric space $(X,d)$ is a well-studied object. In many instances, we have "concrete" representations of ...
- 5,405
1
vote
1
answer
790
views
$\ell_1$ and $\ell_\infty$ as complementary subspaces of Banach space
Let $X$ be a Banach space, and let $X'\subset X$ - its subspace. Then the following propositions are true:
$X'$ is closed, $X/X' \cong \ell_1 \Rightarrow X'$ is complementary;
$X' \cong \ell_\infty ...
- 51
1
vote
1
answer
114
views
Example of a nonconvex Chebyshev set in a metric space with continuous projection?
Question: Is there an example of a nonconvex Chebyshev set $S$ in a metric space $(X,d)$ whose projection map is continuous?
For convexity to be well-defined, we need to assume that $X$ is a vector ...
- 710
1
vote
1
answer
217
views
Open set of geodesics implies the set of starting points is open
Let $X$ be a complete and separable metric space, let $G(X) \subset C([0,1],X)$ be the space of continuous curves from $[0,1]$ to $X$ with constant speed, i.e.
$$ d(f(t),f(s)) = |t-s| d(f(0), f(1)). $$...
- 41
1
vote
1
answer
141
views
Does the compactness of parameter of distribution function imply the compactness of the distribution (or probability measure) in Wasserstein space?
For a family of probability measures sharing the same form of distribution function $F(x; p)$ with different parameters (i.e., $p$'s), if the parameter falls in a compact subset of real line, can we ...
- 13
1
vote
0
answers
97
views
Are Hölder functions between Banach spaces residual in the compact-open topology?
Let $X$ and $Y$ be Banach spaces and let $C(X,Y)$ be the set of continuous functions from $X$ to $Y$ equipped with the topology of uniform convergence on compact sets (i.e. the compact-open topology). ...
- 5,405
1
vote
0
answers
449
views
Bound on covering number of Lipschitz functions – missing part in proofs of Kolmogorov et al
Given a metric space $(\mathcal{X},\rho)$ and $\mathcal{A}\subset\mathcal{X}$ totally bounded, i.e. $\mathcal{A}$ has a finite $\varepsilon$-covering for any $\varepsilon>0$. Consider $\...
- 11
1
vote
0
answers
112
views
What is the topological characteristic of a separable metric space $X$ such that $|kX\setminus X|=\frak{c}$ for any completion $kX$ of $X$?
What is the topological characteristic of a separable metric space $X$ such that $|kX\setminus X|=\frak{c}$ for any completion $kX$ of $X$?
- 1,101
1
vote
0
answers
53
views
Stability of Hajłasz-Sobolev class under post-composition
Informally: When is a Sobolev function, post-composed by a vector-valued function still Sobolev?
Assumptions/Setup
Let $(X,d_X,m_X)$ and $(Y,d_Y,m_Y)$ be complete and separable metric measure spaces; ...
- 5,405
1
vote
0
answers
70
views
Injectivity of post-composition operator
Let $X$, $Y_1,Y_2$, and $Z$ be separable metric spaces. Let $C(X,Y)$ be the topological space of continuous functions from $X$ to $Y$ equipped with its compact-open topologies. Fix a continuous ...
1
vote
0
answers
84
views
A Hölder version of the Johnson-Lindenstrauss Lemma on essentially bounded functions
Does there exist a Hölder (not necessarily linear) projection from $L^{\infty}(\mathbb{R}^d)$ to any finite-dimensional linear subspace? This is known when $L^{\infty}(\mathbb{R}^d)$ is replaced by a ...
- 5,405
1
vote
0
answers
105
views
Generalize characterization of upper semicontinous functions
Let $X$ be a metric space and denote $f:X \rightarrow \mathbb{R}.$
It is easy to show that the following two statements are equivalent:
$(1)$ For any real number $c$, we have $f^{-1}(-\infty,c)$ is ...
- 623
1
vote
1
answer
162
views
Does there exist a class of real-valued upper semicontinuos functions on $X$ such that $\mathcal{F}$ is countable?
Ian Morris quoted the following:
For any upper semi-continuous function $f \colon X \to [-\infty,+\infty)$ defined on a nonempty topological space $X$ there exists a nonempty set $\mathcal{F}\...
- 623
0
votes
1
answer
407
views
Criteria for $\epsilon$-Density
Let $Y$ be a compact, separable metric space and $X=C(Y)$ Banach space. There are many criteria for a linear subspace $Z\subseteq X$ to be dense; notably the Stone-Weierstraß theorem.
Are there ...
- 5,405
0
votes
1
answer
223
views
Dense $G_{\delta}$ set with $\sigma$-porous complement is cofinite?
Let $X$ be a separable Banach space and $D\subseteq X$ be a
proper, connected, and dense $G_{\delta}$ subset of $X$,
$X-D$ is $\sigma$-porous.
Then is $X-D$ contained in a finite-dimensional ...
- 5,405
0
votes
0
answers
131
views
Cyclic group action and finite invariant set
Let $(X, d)$ be a compact metric space and $G$ a discrete group acting on $X$ such that, for each $g\in G$, the mapping $x\mapsto g\cdot x$ defines a homeomorphism on $X$
Is it true that the ...
- 307
0
votes
1
answer
232
views
A generalization about the density of $\mathcal C_c(X, E)$ in $\mathcal L_p (X, \mu, E)$ when $E$ is a Banach space
Let $X$ be a metric space, $\mu$ a $\sigma$-finite non-negative Borel measure on $X$, and $(E, |\cdot|)$ a Banach space. Let $\mathcal L_p := \mathcal L_p (X, \mu, E)$ and $\|\cdot\|_{\mathcal L_p}$ ...
- 657
0
votes
1
answer
216
views
Complex Borel measures: relation between the total variation norm of a measure and those of its real and imaginary parts
Let $X$ be a metric space and $\mathcal B$ its Borel $\sigma$-algebra. For $B \in \mathcal B$ we denote by $\Pi(B)$ the collection of all finite measurable partitions of $B$, i.e.,
$$
\Pi(B)=\left\{\...
- 657
0
votes
0
answers
65
views
Let $E$ be Banach, $\mu_n\to\mu$ weakly on a locally compact $X$, and $f \in C_b(X, E)$. Does $\int f\mathrm d\mu_n\to\int f\mathrm d\mu$ in norm?
Let
$X$ be a metric space,
$(E, |\cdot|)$ a Banach space
$\mathcal M(X)$ the space of all finite signed Borel measures on $X$,
$\mathcal C_b(X)$ be the space of real-valued bounded continuous ...
- 835
0
votes
0
answers
45
views
Skorohod Space with $J_1$ topology homeomorphic to Frechet Space
Is the Skorohod space $D([0,T];\mathbb{R}^d)$ equipped with the $J_1$ topology homoeomorphic to a separable Fr\'{e}chet space. In particular, is it homeomorphic to $L_{\mu}^1(\mathcal{B}([0,1])$ ...
- 5,405