All Questions
1,591 questions
9
votes
1
answer
582
views
Is there a linearly Lindelöf non-Lindelöf $P$-space?
A completely regular topological space $(X,\tau)$ is a $P$-space, if every $G_\delta$-subset of $X$ is open (i.e $\tau$ is closed under countable intersections).
A topological space $X$ is linearly ...
9
votes
1
answer
621
views
Uniqueness of solutions of Young differential equations
Consider the following one dimensional Young differential equation:
\begin{align*}
&Y_t=\int_0^t Y_s dX_s,\quad t\in[0,1];\\
&Y_0=0.
\end{align*}
Here the driving process $X$ is a bounded ...
- 931
9
votes
2
answers
849
views
$\zeta$-function regularized determinants
In (mathematical) physics in order to compute path integrals one often makes an infinite dimensional change of variables and uses infinite Jacobian as a purely formal expression. This step is done in ...
- 21.8k
9
votes
1
answer
1k
views
A question concerning separate and joint continuity of bilinear maps
Suppose that $V$ is a locally convex topological vector space and $f:V^2 \to V$ is a bilinear map. Suppose that $C \subseteq V$ is compact and convex, $f$ maps $C^2$ into $C$ and
$f \restriction C^2$ ...
- 3,547
9
votes
2
answers
758
views
Number of critical points of smooth functions on $S^1$
Let $u$ be a smooth function on the unit circle $S^1$ such that $\int_{S^1}ux_j=0$, for $j=1,2$. Is the number of critical points of $u$ strictly bigger than 2?
9
votes
1
answer
2k
views
The generalization of Brouwer's fixed point theorem?
Let $X$ be a contractible compact [edit: locally connected] topological space
(Hausdorff and second countable). Let $f\colon X\to X$
be a continuous map. Then (I suppose) $f$ has a fixed
point. ...
- 6,891
9
votes
1
answer
3k
views
Is every finite Borel measure on a locally compact Hausdorff, $\sigma$-compact and separable space automatically regular?
The conditions stated in the question seem mouthful and a bit arbitrary, so let me provide some backgrounds.
Definition
Let $\mu$ be a Borel measure on a topological space. We say:
$\...
- 83
9
votes
2
answers
603
views
What is the name of this kind of equivalence between two topological spaces?
I apologize if my question is trivial. I am a group theorist with a minor knowledge of topology. Suppose $(X, T_X)$ and $(Y, T_Y)$ are two topological spaces and there is an inclusion-reversing (...
- 2,233
9
votes
2
answers
699
views
Potential connected non-Lie subgroup
This painful question is inspired by the question
"non-Lie subgroups" . Let $f$ be a discontinuous additive map from $\mathbb{R} \to \mathbb{R}$. Is it possible that the graph of $f$, inside ...
- 156k
9
votes
1
answer
652
views
Scaling in Mehta's integral
The following expression is known as Mehta's integral and deeply connected to random matrix theory:
$$\frac{1}{(2\pi)^{n/2}}\int_{-\infty}^{\infty} \cdots \int_{-\infty}^{\infty} \prod_{i=1}^n e^{-...
- 124
9
votes
0
answers
367
views
A $\mathsf{ZF}$ example of two Baire spaces whose product is not Baire?
Motivated by this question I'm looking for a pair of Baire topological spaces whose product is not Baire and whose construction does not need the axiom of choice.
The example of such spaces I'm ...
- 3,011
9
votes
2
answers
775
views
Heat flow, decay of the Fisher information, and $\lambda$-displacement convexity
In the whole post I will work in the flat torus $\mathbb T^d=\mathbb R^d/\mathbb Z^d$ and $\rho$ will stand for any probability measure $\mathcal P(\mathbb T^d)$. This question is strongly related to ...
- 5,380
9
votes
1
answer
1k
views
Are there intuitively clear and not technical proofs of homotopy excision theorem?
The proof given in May's "A concise course in algebraic topology", for instance, is not very involved, but quite technical. Are there less technical, but more "ideologically profound&...
- 99
9
votes
2
answers
755
views
Is limit of null-homotopic maps null-homotopic?
The question is motivated by my failed comment to this one.
Let $M$ and $N$ be path connected locally compact, locally contractible metric spaces (you may assume that they are manifolds).
Let $\...
- 5,529
9
votes
1
answer
437
views
Existence of a non-null-homotopic simple closed curve
Assume that $X$ is a path-wise connected Hausdorff space, and assume that its fundamental group is non-trivial. Does it always exist a simple curve in $X$ which is non-null-homotopic?
Such curve does ...
- 2,933
9
votes
1
answer
401
views
Meager subgroups of compact groups
Suppose we have an infinite compact (Hausdorff) group $G$, and a subgroup $H\leq G$ which is meagre.
Can $H$ always be covered by a countable family of nowhere dense sets $H_n$ such that $H_n^2$ is ...
- 1,338
9
votes
2
answers
553
views
Asymptotic behavior of Sturm-Liouville eigenvalues
I have two questions.
Consider the operator $Av = -v'' + a(x)v$ on $I = (0, L)$, with zero Dirichlet condition and $a \in C([0, L])$.
Let $(\lambda_n)$ denote the sequence of eigenvalues of $A$....
- 369
9
votes
1
answer
1k
views
Is the Milnor construction contractible
Let $G$ be any topological group. Then we can form the infinite join $E_G$ of $G$, i.e. the colimit $G*G*G\cdots$.
Is $E_G$ contractible?
I mean it is clear that $E_G$ is weakly contractible, but ...
- 2,554
9
votes
5
answers
870
views
Abelianization of GL(H)
This is related to Theo's question about the abelianizations of finite dimensionsal Lie groups.
I am interested in a specific (infinite-dimensional) case of the above question. Let H be an infinite-...
- 629
9
votes
1
answer
322
views
What is the (genuine) name for the Gutik hedgehog?
Working with non-regular topological semigroups, my collegue Oleg Gutik discovered a special space $H$ which we named Gutik's hedgehog. It is homeomorphic to the space
$$H:=\{(0,0)\}\cup\{(\tfrac1n,0):...
- 41.9k
9
votes
1
answer
602
views
On the cardinality of perfect spaces with the countable chain condition
QUESTION: Does every regular perfect space with the countable chain condition have cardinality bounded above by the continuum? Is this at least true for perfectly normal ccc spaces?
Recall that a ...
- 4,413
9
votes
2
answers
1k
views
Borsuk pairs of Banach spaces
Given $X$, $Y$ two real Banach spaces, let's say that $(X,\ Y)$
is a Borsuk pair if for any continuous mapping $T$ : {$x$ $\in$
$X$ ; $||x||\leq1$} $\rightarrow$ $Y$ s.t. $T$ is odd on {$x$
$\in$ $X$ ;...
- 4,060
9
votes
1
answer
359
views
Relaxation of notion of positive definite function
A function $f:\mathbb{R}\to\mathbb{R}$ is called positive definite (in the semigroup sense) if for all $n\geq 1$ and $x_1,\ldots,x_n\in\mathbb{R}$ pairwise different the matrix $(f(x_i+x_j))_{i,j=1}^n$...
- 3,031
9
votes
3
answers
1k
views
Does there exist a notion of discrete riemannian metric on graph?
I would like to know if there is any notion of a discrete Riemannian metric on graphs. C. Mercat has worked on discrete Riemann Surfaces, but that's not exactly what I am working on.
To be more ...
- 91
9
votes
1
answer
918
views
A Besicovitch-type Covering Theorem
In the book The Geometry of Domains in Spaces by Krantz and Parks, the authors proved the weak $(1,1)$-type estimate of the maximal function $M_\mu f$, where $\mu$ is a Radon measure, using their ...
- 1,245
9
votes
2
answers
239
views
Hausdorff open image of a Polish space
Let $f\colon X\to Y$ a continuous open and surjective function, where $X$ is Polish.
It is known that $Y$ is Polish if: $f$ is closed or $Y$ is metric.
Suppose that we know that $Y$ is Hausdorff, ...
- 313
9
votes
2
answers
772
views
Surreal compactness
In a comment here, Joel David Hamkins said:
...I think perhaps every set-sized open cover of a bounded interval in the surreals has a finite subcover, but there are proper class open covers with no ...
- 41.1k
9
votes
0
answers
569
views
A standard name for a function satisfying the intermediate value theorem?
Do you know any (standard) name for a function $f:\mathbb R\to\mathbb R$ having the following weak intermediate value property:
$(*)$ for any connected subset $C\subset \mathbb R$ and points $a,b\...
- 41.9k
9
votes
3
answers
2k
views
Real analyticity of solution of heat equation
Consider the heat equation $\partial_t u - \Delta u = 0, u(0, x) = u_0$ on a complete (non-compact) Riemannian manifold $M$, may be even $\mathbb{R}^n$. I was wondering, what are some known sufficient ...
- 1,407
9
votes
1
answer
429
views
Is $\mathcal{S}(\mathbb{R}^n)$ a tame Fréchet space?
Hamilton's paper "The Inverse Function theorem of Nash and Moser" (1982, Bull. Amer. Math. Soc, vol. 7, n. 1, page $137$) proves that $C^{\infty}(M)$ is a tame Fréchet space when $M$ is a compact ...
- 370
9
votes
3
answers
1k
views
Relatively countably compact subsets without countably compact closure.
I am looking for a (Hausdorff or better) space $X$ and a subset $A$ of $X$ that is relatively countably compact (every sequence from $A$ has an accumulation point in $X$) such that the closure of $A$ ...
- 5,407
9
votes
1
answer
499
views
Subspaces of $L^2(0,1)$ dense on every truncation $L^2(c,1)$
It may be better to move this to a separate question.
Let me call a linear subspace $V \subset L^2(0,1)$ to be tame if, for every linear subspace $W \subset V$, either $W$ is dense in $L^2(0,1)$, or ...
- 13.8k
8
votes
1
answer
485
views
An inequality related to Riesz–Thorin theorem, determinants and $L_p$ norm
Let $a, b, c \in \mathbb{R}^n$ , $p \in [1, +\infty)$, prove that
$$\left( \sum_{1\leq i < j <k \leq n} \left| \det\left(\begin{matrix} a_i & b_i & c_i \\
a_j & b_j & c_j \\
...
- 563
8
votes
1
answer
2k
views
Fastest decay of Fourier Transform for Generalized Functions of compact support
What is the fastest decay possible for the Fourier transform of a generalized function with compact support and finite value at the origin? I know that regular functions cannot attain exponential ...
- 83
8
votes
1
answer
523
views
Are the following subsets of a Hilbert space always homeomorphic?
Let $F$ be a infinite-dimensional complex Hilbert space, with inner product $\langle\cdot\;| \;\cdot\rangle$, the norm $\|\cdot\|$, the 1-sphere $S(0,1)=\{x\in F;\;\|x\|=1\}$ and let $\mathcal{B}(F)$ ...
- 724
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
8
votes
0
answers
260
views
Hyperbolic PDEs - Proof that the restriction of a locally $H^s$ solution to a spacelike hypersurface is locally in $H^s$
I have found the following claim made very clearly at least once in the published literature (see below):
Let $P$ be a linear partial differential operator defined on an open set $\Omega \subset \...
- 503
8
votes
1
answer
386
views
Lower bound for $\frac{\sum_{i,j}\min((f_i-f_j)^2,(g_i-g_j)^2)}{\sum_{i,j}\max((f_i-f_j)^2,(g_i-g_j)^2)}$
Let $f\in\mathbb{R}^n$ and $g\in\mathbb{R}^n$ be two orthogonal unit vectors such that $\sum_{i}{f_i}=\sum_{i}{g_i}=0$.
Question. Can we prove this?
$$\frac{\sum_{\{i,j\}}\min((f_i-f_j)^2,(g_i-...
- 519
8
votes
4
answers
2k
views
Manifold-Valued Sobolev Spaces
I have the following basic question about Sobolev-spaces which take their values in a
Riemannian manifold $(M,g)$, i.e.
functions $u:\Omega \to M$, $\Omega \subset \mathbb{R}^n$ bounded, such that ...
- 233
8
votes
1
answer
627
views
Space filling curve whose all level sets are finite (countable)
Is there a continuous surjective function $f:[0,1] \to [0,1]^2$ such that
every level set $f^{-1}(y)$ is a finite set? If the answer is no, what about if we replace the finiteness of level sets by "...
- 356
8
votes
3
answers
2k
views
Measures on general topological groups
I am interested in the group algebras of non-locally compact groups. What references can you advise?
This is a wide question, so I list more concretely what I would like to see:
Here X can be even ...
- 1,152
8
votes
2
answers
924
views
On a weaker version of homotopy equivalence between topological spaces
Consider two topological spaces $X$ and $Y$.
The notion of homotopy equivalence between $X$ and $Y$ is defined as a pair of continuous maps $f:X\to Y$ and $g:Y\to X$ such that $f\circ g$ and $g\circ ...
- 1,035
8
votes
3
answers
2k
views
The "Spaces of Schwartz distributions are finite dimensional" challenge
The more I study Schwartz distributions and the corresponding spaces, the more the latter look "finite dimensional" to me. Of course they are not finite dimensional in the technical sense but they are ...
8
votes
2
answers
3k
views
Bialynicki-Birula decomposition of a non-singular quasi-projective scheme.
Fix an algebraically closed field $k$, an algebraic one-dimensional torus $G_m$ and a non-singular scheme $X$ of finite type over $k.$
Let us define the following:
Condition 1: $X$ can be covered by ...
user17778
8
votes
2
answers
2k
views
when a pseudo-differential operators to be compact?
In the theory of Pseudo-differential operators,when a symbol $a(x,\xi)\in S^{0}$,then the operator $a(x,D)$ defined by$$a(x,D)u=\int{e^{ix\xi}a(x,\xi)\widehat{u}}d \xi$$ is $L^2$ bounded.$ $
My ...
- 1,644
8
votes
1
answer
268
views
Two questions about basic sequences
Suppose $(x_n)$ and $(y_n)$ are two basic sequences in a separable Banach space $X$ such that $\overline{span}\{(x_n), (y_n)\}=X$. Can we always pass to subsequences $(x_{n_k})$ and $(y_{n_k})$ such ...
- 355
8
votes
2
answers
499
views
Refining open covers in locally path connected spaces
Suppose $X$ is a locally path connected topological space and $\mathcal{U}$ is an open cover of $X$ (consisting of path connected sets if we want).
One often wants the intersection $A\cap B$ of ...
- 7,193
8
votes
2
answers
583
views
Does every operator from a Hilbert space to $L^0$ factor through a canonical one?
Let $A:H\to L^0(S, \mu)$ be a continuous operator from a Hilbert space to the space of (equivalence classes of) measurable functions on a probability measure space $S$ with convergence in measure. Let'...
- 4,010
8
votes
2
answers
409
views
Approximation of the identity by simple functions
Let $X$ be a topological space. Assume that there exists a sequence of simple functions $\phi_n:X\to X$ (finite range and measurable) with $\lim\phi_n(x)=x$.
Can we concluded $X$ may be written by a ...
- 4,058
8
votes
3
answers
485
views
Does the metric space of compact metric spaces satisfy the binary intersection property?
A metric space $Y$ has the binary intersection property provided that whenever a collection of closed balls in $Y$ intersects pairwise, then there is a common intersection point.
Does the metric ...
- 15.5k