All Questions
1,584 questions
14
votes
1
answer
524
views
Is Bing's countable connected space topologically homogeneous?
In this paper R.H. Bing has constructed his famous example of a countable connected Hausdorff space.
The Bing space $\mathbb B$ is the rational half-plane $\{(x,y)\in\mathbb Q\times \mathbb Q:y\ge 0\...
- 41.9k
14
votes
1
answer
578
views
Obstruction of spin-c structure and the generalized Wu manifods
Bockstein homomorphim and obstruction of spin-c structure: Let $w_2$ be the Stiefel Whintney class of manifold $M$. Let the Bockstein homomorphim $\beta$ be the
$$
H^2(\mathbb{Z}_2,M) \to H^3(\mathbb{...
- 2,147
14
votes
4
answers
1k
views
Is every continuous microlocal operator a pseudo-differential operator?
Let $\mathcal S'=\mathcal S'(\mathbb R^n)$ be the Schwartz distribution space.
Suppose $A\colon\mathcal S'\to\mathcal S'$ is linear, continuous and microlocal.
By being microlocal I mean that the wave ...
- 8,086
14
votes
2
answers
1k
views
Baire Category Theorem for complete uniform spaces
The version of the Baire Category Theorem I have in mind is the statement that a countable intersection of dense open subsets of a complete metric space is dense. The question is: is it likewise ...
- 1,270
13
votes
1
answer
990
views
Are the “topologies” arising from constructive type theories with quotients actually condensed sets?
This is the second in a pair of questions. For the other see Are representations in computable analysis the equivalent to countably-generated condensed sets?.
Dustin Clausen and Peter Scholze have a ...
- 6,287
13
votes
1
answer
808
views
Inner and extendible automorphisms of C*-algebras
If an automorphism $\alpha$ of a C*-algebra $A$ is inner then whenever $A$ is a subalgebra of another C*-algebra $B$, $\alpha$ obviously extends to $B$.
Is the converse true: if an automorphism $\...
- 1,786
13
votes
2
answers
804
views
Is there a natural topology for sets of topological spaces?
The Gromov–Hausdorff metric makes a set of compact metric spaces into a metric space itself. I am wondering what some natural generalizations there are for arbitrary topological spaces. Namely, is ...
- 671
13
votes
1
answer
570
views
Configuration spaces, Ran spaces, free semilattices, Vietoris spaces and power objects
These are five important constructions and I would like to know how they are related.
The $n$th unordered configuration space of a space $X$ is
$$
\operatorname{UConf}_n(X):=\{\text{embeddings of $\{...
- 18.4k
13
votes
1
answer
979
views
Any "natural" topology on fractional field of a topological ring?
Let $R$ be a topological integral domain. Let $K=\mathrm{Frac} R$. Is there any "natural" topology on $K$? Actually, since $K$ can be regarded as a quotient of $R\times R$ quotient some equivalence ...
- 153
13
votes
1
answer
459
views
A generalization of residual finiteness to topological groups
Consider the following generalization of residual finiteness to
topological groups.
A locally compact Hausdorff group $G$ is called residually compact if
for every compact $K \subseteq G$ there is a ...
13
votes
2
answers
832
views
Is a topological fiber-bundle, whose total space admits a retraction onto a fiber, trivial?
Let $\xi = \pi \colon E \to B$ a topological fiber bundle with connected base $B$, $E_x = \pi^{-1}(x)$ the fiber at $x \in B$, $j \colon E_x \hookrightarrow E$ the canonical injection, and let suppose ...
- 1,346
13
votes
2
answers
659
views
Noncontractible connected topological rings ?
Are there any non-contractible connected topological rings?
Of course, such a thing cannot be a (topological) algebra over the reals.
(I have a vague memory of having a glance at an erticle by Lurie ...
- 23.3k
13
votes
1
answer
736
views
Idempotent measures on the free binary system?
Let $(S,*)$ be the free (non associative) binary system on one generator (so $S$ is just the set of terms in $*$ and $1$). There is an extension of $*$ to the space $P(S)$ of finitely additive ...
- 3,547
13
votes
4
answers
5k
views
What is known about the Gaussian measure of the unit ball in a Hilbert Space?
Let $X$ be an infinite dimensional separable Hilbert Space with norm $||\cdot||$ and let $\mu$ be a Gaussian measure on $X$ such that $\mu(X) = 1$. What do we know about $\mu(B(0,1))$, where $B(0,1)$ ...
- 617
13
votes
1
answer
675
views
Wavelet-like Schauder basis for standard spaces of test functions?
Edit: A more precise formulation of my question follows the separation line.
The Schwartz space of test functions $\mathcal{S}(\mathbb{R})$ is isomorphic to $\mathfrak{s}$ the space of sequences of ...
13
votes
1
answer
947
views
When is $X \rightarrow \text{Spec}(C(X))$ a homeomorphism?
Let $X$ be compact Hausdorff topological space. Consider the ring $C(X)$ of continuous functions $X \rightarrow \mathbb C$ (we do not consider the C* algebra structure, just consider $C(X)$ as a ring) ...
- 11.9k
13
votes
1
answer
1k
views
A generalization of the Powers-Stormer inequality
The well-known Powers-Stormer inequality says the following: for positive semidefinite operators $A, B$, we have that $\mathrm{Tr}((A - B)(A - B)) \leq \| A^2 - B^2 \|_1$, where $\| \cdot \|_1$ ...
- 2,019
13
votes
1
answer
724
views
Trace-class operator satisfies $\sum |\lambda_n|<\infty$?
Here's an "exercise" which I thought should be easy, but which I find myself unable to do.
Let $V$ be a Banach space.
Recall that an operator $f:V\to V$ is trace-class if it is in the image of the ...
- 43.2k
13
votes
1
answer
911
views
Are $L^\infty(\Bbb R)$ and $L^2(\Bbb R)$ homeomorphic?
It's easy to see that, for $1\le p,q< \infty$ the spaces $L^p(\Bbb R)$ and $L^q(\Bbb R)$ of $p$-th and $q$-th power integrable functions on the real line are homeomorphic as topological spaces. In ...
- 3,017
13
votes
3
answers
820
views
Is there a Borel subset of $ \mathbb{R}^{2} $, with finite vertical cross-sections, whose projection onto the first component is non-Borel?
This question is related to another one that I asked two days ago.
Question. Does there exist a Borel subset $ M $ of $ \mathbb{R}^{2} $ with
the following two properties?
The ...
- 1,396
13
votes
1
answer
674
views
Avoiding countable subgroups of a group homeomorphic to the Cantor space
Update: Further work with Adam (who answers below) and Piotr led to a rather satisfactory result about the problem that motivated the problem below, see our recent paper
The Haar Measure Problem. In ...
- 3,104
13
votes
1
answer
1k
views
An inequality for the spectral radius of matrices used by J. Bochi
I am interested in the history of an inequality for the spectral radius of a $d\times d$ real or complex matrix, which occurs in Jairo Bochi's 2002 article Inequalities for numerical invariants of ...
- 6,206
13
votes
1
answer
433
views
Is the dimension given by Klee trick ever sharp?
The Klee Trick allows one to find an $\mathbb{R}^m$ where two embeddings of same compact metric space have homeomorphic complements. More precisely, given two embeddings of a compact metric space $K$ ...
- 5,259
13
votes
1
answer
347
views
Existence of a translation-invariant basis of $\ell^2$
This question is heavily inspired by this other one, but is meant to be a hopefully more accessible variant of it (and I think slightly more natural).
I give four equivalent formulations of the same ...
- 32.5k
13
votes
7
answers
10k
views
What is the best reference for Spectral theory?
I'm studying Bernard Aupetit: A Primer on Spectral Theory
but the textbook we are using is a little bit heavy going for me. Is there a best book to learn about these things?
Thank you.
- 823
13
votes
3
answers
357
views
How should one look at the set of compatible ring structures on a given group?
Earlier today I had a conversation with a friend about ways of putting topologies on sets of first-order structures; we wound up talking about reducts and expansions from a topological point of view, ...
- 20.5k
13
votes
1
answer
1k
views
Between compact and locally uniform: What is the name of this convergence?
Let $X$ be a topological space, $(Y,d)$ a metric space, $f\in Y^X$, and $(f_n)$ a sequence in $Y^X$ with the following property:
For every $x_0\in X$ and every $\varepsilon>0$, there exist a ...
- 802
13
votes
1
answer
602
views
A generalization of the Arhangelskii Theorem
Arhangeleskii's Theorem states the following
For any Hausdorff topological space $X$,
$$
|X|\leq2^{\chi(X)L(X)}
$$
where $\chi(X)$ is the character of $X$ and $L(X)$ is the Lindelöf degree of $...
Ottenbreit
13
votes
2
answers
2k
views
Uniform spaces as condensed sets
$\DeclareMathOperator\Hom{Hom}\DeclareMathOperator\Unif{Unif}\DeclareMathOperator\CHaus{CHaus}\DeclareMathOperator\Set{Set}\DeclareMathOperator\op{op}\DeclareMathOperator\Ind{Ind}\DeclareMathOperator\...
- 2,826
13
votes
6
answers
2k
views
Interesting examples of non-locally compact topological groups
Harmonic analysis is concentrated mostly on studying locally compact groups. I would like to ask people about examples of non-locally compact topological groups that are interesting in connection with ...
13
votes
5
answers
1k
views
A generalization of metric spaces
Let $(L,<,+)$ be a structure such that (1) $<$ is a linear order of $L$, (2) $L$ has a least element 0, (3) $+$ is a binary function on $L$ that behaves like addition of positive real numbers, i....
- 18.6k
13
votes
2
answers
1k
views
Homotopy groups of Fredholm operators
If $X$ is separable complex Hilbert space and $\mathcal{F}$ the topological space of Fredholm operators on $X$, then it is well-known, that
$$ \pi_0(\mathcal{F}) = \mathbb{Z}\, , $$
i.e. the connected ...
- 173
13
votes
2
answers
776
views
Properties of orthogonality-preserving c.p. maps between $C^*$-algebras
Suppose that $A,C$ are $C^*$-algebras and $\phi:A \to C$ is a completely positive, orthogonality-preserving linear map.
(Orthogonality preserving means: if $a,b \in A$ satisfy $ab=0$ then $\phi(a)\phi(...
- 1,786
12
votes
2
answers
1k
views
Are countable dense subspaces of $\mathbb{R}^n$ homeomorphic to ${\mathbb Q}^n$?
Let $n\geq 1$ be an integer and suppose $S\subseteq {\mathbb R}^n$ is countable and dense. Do we have $S \cong {\mathbb Q}^n$ where both sets carry the topology inherited from the Euclidean topology ...
- 48.9k
12
votes
4
answers
2k
views
Limit of a sequence of polygons.
Begin with a polygon $P_0$.
Place two points on every edge of the polygon such that they divide each side equally into three parts. Create a new polygon $P_1$ by connecting all new points with lines.
...
- 131
12
votes
1
answer
735
views
Parametrisations for null temperature functions: nonuniqueness of solutions to the heat equation
Disclaimer. I expect this is a highly open problem, but maybe I'm wrong and someone has come up with some answers besides those given here. In any case, all information appreciated, thanks!
Definition....
- 1,990
12
votes
1
answer
956
views
Does a self map from the wedge sum of two spheres have either a fixed point or a point of period 2?
Let $X$ be the wedge sum of two $2$-dimensional spheres and $f$ a continuous function from $X$ into $X$. Does $f$ have either a fixed point or a periodic point of order 2?
Thanks
- 121
12
votes
1
answer
885
views
bornological vector spaces over a non-archimedean field
Let $k$ be a complete non-archimedean field. In definitions I have seen of bornological vector spaces over $k$ there are usually some extra assumptions on the non-archimedean field. For instance in '...
- 1,180
12
votes
2
answers
1k
views
Low-degree polynomial approximation of the piecewise-linear function $x \mapsto \max(x, 0)$ on an interval $x \in [-R,R]$
For $R > 0$, consider the piecewise-linear function $\sigma_R: [-R,R] \rightarrow \mathbb R^+$, defined by $\sigma_R(x) := \max(x,0)$.
Question
Given $\epsilon> 0$, find a "low-degree" ...
- 6,853
12
votes
0
answers
284
views
Star-shaped Folner sequence
Fix a (finite) generating set $S$ for $\Gamma$ (discrete) amenable. Given a Følner sequence (i.e. a sequence of finite sets $F_n$ whose boundary $\partial F_n$ in the Cayley graph of $S$ is such that $...
- 4,432
12
votes
1
answer
2k
views
Making sense of "every non-commutative algebra has its own internal time evolution (aka a one-parameter group)"?
I've listened to many interviews and lectures of Alain Connes, in which he says something which goes roughly as follows
"Every non-commutative algebra has its own time (evolution of), by which I ...
- 6,853
12
votes
1
answer
2k
views
What are compact objects in the category of topological spaces?
Let $\mathscr C$ be a locally small category that has filtered colimits. Then an object $X$ in $\mathscr C$ is compact if $\operatorname{Hom}(X,-)$ commutes with filtered colimits.
On the other hand, ...
- 28.7k
12
votes
2
answers
806
views
Term for a metric space for which the triangle inequality is strict?
Is there a standard term for a metric space in which $\rho(p,r) < \rho(p,q) + \rho(q,r)$ for any distinct $p$, $q$, $r$? Sort of the opposite of metric convexity.
For instance, a subset of ...
- 42.8k
12
votes
0
answers
461
views
3 manifolds with diffeomorphic unit tangent bundles
What can one say about two closed oriented 3-manifolds $M_1$ and $M_2$ such that $S^2 \times M_1$ is diffeomorphic to $S^2 \times M_2$?
- 131
12
votes
1
answer
927
views
On an Inequality of Lars Hörmander
Let $P(z)$ be a non-null complex polynomial in $\nu$ variables $z=(z_1,\dots,z_n)$ of degree $\mu$:
\begin{equation}
P(z)=\sum_{|\alpha| \leq \mu} c_{\alpha} z^{\alpha},
\end{equation}
where as usual ...
- 642
12
votes
2
answers
1k
views
A variation of the Ryll-Nardzewski fixed point theorem
Is there a fixed-point theorem that implies the following result?
Let $F$ be a nonempty convex set of functions on a discrete group with values in $[0,1]$. Suppose $F$ is invariant with respect to ...
- 45k
12
votes
2
answers
878
views
The ground state is signed and symmetric
Background
In Berestycki and Lions it is asserted that (on page 316), if I am not misreading, that the "ground state", i.e. action minimizer among nontrivial solutions, corresponding to the action
$$...
- 39.1k
12
votes
0
answers
373
views
Does each compact topological group admit a discontinuous homomorphism to a Polish group?
A compact topological group $G$ is called Van der Waerden if each homomorphism $h:G\to K$ to a compact topological group is continuous. By a classical result of Van der Waerden (1933) the groups $SO(...
- 41.9k
12
votes
2
answers
2k
views
Reference on Minty's trick
I am searching for a precise reference for the following result:
Consider $f:\mathbb{R}_+\rightarrow\mathbb{R}_+$ a nondecreasing function.
Assume that a sequence of nonnegative functions $(u_n)_n$ ...
- 3,425
12
votes
3
answers
870
views
Measure theory in nuclear spaces
Much of the literature on measure theory in linear spaces focuses on the case of normed linear spaces (e.g., the outstanding book by Vakhania, or its sequel). However, nuclear linear spaces "as far ...
- 8,512