Skip to main content

All Questions

19 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
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 ...
Gro-Tsen's user avatar
  • 32.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 ...
Julian's user avatar
  • 623
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 ...
user124775's user avatar
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 ...
PhoemueX's user avatar
  • 734
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-...
Taras Banakh's user avatar
  • 41.9k
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 ...
Alex Ravsky's user avatar
  • 5,409
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 ...
Taras Banakh's user avatar
  • 41.9k
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 ...
Justin Moore's user avatar
  • 3,547
2 votes
0 answers
134 views

Stone–Weierstrass theorem for stronger topologies

The Stone–Weierstrass theorem gives an easy to check criterion on a (algebra) set of functions $D\subseteq C(X)$ which ensures that $D$ is dense. Are any similar results for density in $C_b(X)$ ...
ABIM's user avatar
  • 5,405
2 votes
0 answers
467 views

Reference request: The compactness and compact embedding in Besov Space?

Let $\Omega\subset \mathbb R^N$ be open bounded with smooth boundary. Let $0<s<1$, $1\leq p<\infty$, and $1\leq \theta\leq\infty$. We denote by $B^{s,p,\theta}(\Omega)$ the Besov space. For ...
JumpJump's user avatar
  • 679
2 votes
0 answers
459 views

Weak topology on subsets of a normed space

I have few questions about the subsets of a normed space $X$ endowed with the weak topology. Let $E$ be such subset. When is the norm a continuous function on $E$? When is the metric induced by the ...
erz's user avatar
  • 5,529
1 vote
0 answers
87 views

Convergence and sequential compactness for nonlinear operators

I have a family of operators $T_n\colon X \to Y$ where $X,Y$ are Hilbert spaces. These operators are nonlinear. What kind of notions of convergence does one have for such operators? I'm specifically ...
C_Al's user avatar
  • 251
1 vote
0 answers
76 views

Uniform approximation over compacts using weighted function spaces

I'm interested in approximations over the so-called weighted function spaces. Let $(X,\tau_X)$ be some completely regular Hausdorff topological space. Additionally, consider some map $\psi: X \to (0,\...
Gaspar's user avatar
  • 161
1 vote
0 answers
104 views

"Global" topologies between compact convergence and uniform convergence

Let $X$ and $Y$ be locally compact (but not compact), second countable, Hausdorff spaces with $Y$ metric. It is easy to see that the topology of compact convergence is weaker than the topology of ...
ABIM's user avatar
  • 5,405
1 vote
0 answers
62 views

Reference request - Compact embedding of intermediate space

Given two Banach spaces $X_0$ and $X_1$ with norms $\|\cdot\|_0$ and $\|\cdot\|_1$, respectively, such that $X_0\subset X_1$ and $X_0\hookrightarrow X_1$, i.e., $X_0$ is continuous embedded in $X_1$. ...
JumpJump's user avatar
  • 679
1 vote
0 answers
233 views

Sum-epimorphisms and prod-monomorphisms

        Sum-epimorphisms A longer time ago I have introduced the bi-onto maps for the topological category. Let me formulate here its general categorical definition: DEFINITION 1 ...
Włodzimierz Holsztyński's user avatar
0 votes
0 answers
98 views

Reference request: subspace-based generalisation of weak* convergence

Let $V$ be a normed space and $(V_j)_{j\in [0,1]}$ be a family of linear subspaces of $V$ with $V_1$ non-trivial and such that $V_1\subsetneq V_j\subseteq V_i$ whenever $i\leq j$. We write $W:=V'$ for ...
fsp-b's user avatar
  • 463
0 votes
0 answers
113 views

Viewing limit as a map

Question: Let $X$ be a set of functions from $\mathbb{R}$ to itself. Consider the subset $X_0$ of the sequences $(f_n)_{n=1}^{\infty}\in X^{\mathbb{N}}$ for which $$ f_{\infty}(x) = \lim\limits_{n \...
ABIM's user avatar
  • 5,405
0 votes
0 answers
153 views

extension of function in an abstract metric space

my question is the following.(Maybe my title is not quite proper for this question): Let $(E,d)$ be a Polish space (or a separable metric space), let $\xi: E\to R_+$ be a Lipschitz function. Now set $...
CodeGolf's user avatar
  • 1,835