Skip to main content

All Questions

Filter by
Sorted by
Tagged with
3 votes
1 answer
161 views

Equivalent definition for Skorokhod metric

I have a question about the Skorokod distance on the space $\mathcal{D}([0,1],\mathbb{R})$: $$ d(X,Y):= \inf_{\lambda \in \Lambda}\left( \sup_{t\in [0,1]}|t-\lambda(t)|\vee \sup_{t\in [0,1]}|X(t)-Y(\...
user1598's user avatar
  • 177
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 ...
Noah Schweber's user avatar
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 ...
Sanae Kochiya's user avatar
4 votes
2 answers
191 views

Reference request: "Tangent relation" in metric spaces

Let $X,Y$ be metric spaces. Let $f,g : X \to Y$ be two maps and $x_0 \in X$. Let us say that $f$ and $g$ are tangent at $x_0$ if the following condition is satisfied: For every $\epsilon > 0$ there ...
Martin Brandenburg's user avatar
6 votes
2 answers
424 views

Lipschitz mappings, covering dimension

Is there a compact metric space $X$ of covering dimension $2$ without a Lipschitz surjection on $[0,1]^2$? For a space $X$ with Hausdorff dimension greater than $2$, we have a negative answer (see ...
Hpela's user avatar
  • 97
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 ...
user4164's user avatar
  • 109
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 ...
JohnA's user avatar
  • 710
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 ...
ABIM's user avatar
  • 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 ...
Idonknow's user avatar
  • 623
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}$. ...
Idonknow's user avatar
  • 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}\...
Idonknow's user avatar
  • 623