All Questions
13,927 questions
13
votes
2
answers
570
views
A conjecture of De Giorgi on weighted Sobolev spaces
Let $\mu$ be a probability measure on $\mathbb{R}^d$ which is absolutely continuous with respect to the Lebesgue measure with density $\rho$. Assume that, for all $t>0$,
\begin{align*}
\exp \left(...
- 778
13
votes
2
answers
552
views
Existence of closed operators with arbitrary dense domain of a given Banach space
Consider any Banach space $X$, and let $Y$ be any dense subspace, then does it necessarily exist a closed linear operator $T$ defined on $X$, such that the domain of $T$ is exactly $Y$, i.e., $D(T)=Y$?...
- 879
13
votes
1
answer
558
views
Idempotent ultrafilters and the Rudin-Keisler ordering
Short version: what can we say about the place of idempotent ultrafilters in the Rudin-Keisler ordering?
Longer version:
If $U$, $V$ are (nonprincipal) ultrafilters on $\omega$, then we write $U\ge_{...
- 20.5k
13
votes
3
answers
619
views
Extending homeomorphisms from closed countable sets to S^2
Let $A, B \subset S^2$ be closed, countable sets and $\phi \colon A \rightarrow B$ be a homeomorphism. Can we extend $\phi$ to a homeomorphism from $S^2$ to itself?
It is well-known that the answer ...
- 131
13
votes
1
answer
1k
views
How is Ricci flow related to computer graphics?
I recently came across the book Ricci Flow for Shape Analysis and Surface Registration: Theories, Algorithms and Applications by Wei Zeng and Xianfeng David Gu. Because, I just saw the book on the ...
- 1,099
13
votes
3
answers
717
views
How bad can a circle domain get?
Let $X$ be a domain in the Riemann sphere $\widehat{\mathbb{C}}$. We say that $X$ is a circle domain if every connected component of its boundary is either a circle or a point.
It was conjectured by ...
- 2,154
13
votes
2
answers
690
views
How many subsets of $\mathbb{R}$ are order isomorphic to $\mathbb{Q}$?
How many subsets of $\mathbb{R}$ are order isomorphic to $\mathbb{Q}$?
How many subsets of the long line $\omega_1\times[0,1)$ are order isomorphic to $\mathbb{Q}$?
I can see that results in both ...
- 233
13
votes
1
answer
329
views
Is there a metric compactification that doesn't create new paths?
Every separable metric space $A$ has a metrizable compactification, i.e. a compact metrizable space $X$ for which $A$ embeds topologically as a dense subspace of $X$. There are many approaches to ...
- 7,193
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,846
13
votes
1
answer
408
views
Does the $\overline{\partial}$ operator have closed image?
Let $X$ be a complex-analytic manifold, not necessarily compact.
Does $\overline{\partial} : C^\infty(X) \rightarrow \Omega^{0,1}(X)$ have closed image with respect to the Fréchet topology given by ...
- 890
13
votes
2
answers
1k
views
A matrix norm inequality
Suppose that $A, B$ are Hermitian positive definite matrices of the same order and $0\le p\le 1$. Using a standard approach in matrix analysis, one can show that
$\|A^{1-p}B^p\|\ge \|A\sharp_p B\|$, ...
- 1,748
13
votes
1
answer
4k
views
Modulus of Continuity
I originally posted this question on math.stackexchange (https://math.stackexchange.com/questions/83182/modulus-of-continuity-take-2), but it's been a few days and I haven't received any correct ...
- 29.2k
13
votes
2
answers
3k
views
What is the "correct" generalization of operator norms for nonlinear operators?
I have been recently wondering what is a (or even the) "correct" generalization of the notion of an operator norm to nonlinear operators?
Please excuse the naivete of my question; if you think that ...
- 28.6k
13
votes
1
answer
528
views
Are the logarithms of the integer polynomials discrete in $L^1$ of the unit circle?
Tautologically, the integer polynomials form a discrete set in $L^1$ of the unit circle. On the other hand, a set of logarithms ordered by norm becomes generally rather denser than the original set.
...
- 13.8k
13
votes
2
answers
484
views
$\frac{d}{dt} (A+t B)^p\,\text{ for } p\geq 1$
Given two positive self-adjoint operators $A,B$ on a Hilbert space. Let $p\geq 1$.
I would like to calculate $$\frac{d}{dt}|_{t=0} (A+tB)^p,$$
where the power is defined through the spectral theorem....
- 437
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
401
views
Is there a reflexive Banach space whose ball is not the convex hull of its extreme points?
Let $X$ be a reflexive Banach space. Then the convex hull of the extreme points of the unit ball is weakly dense by the Krein-Milman theorem and Kakutani's theorem. My question is, if there is an ...
- 633
13
votes
1
answer
461
views
Does locally nilpotent imply nilpotent for continuous self-maps of intervals?
Let $f\in C([0,1],[0,1])$ be such that:
$$\forall x\in [0,1], \; \exists k\in \mathbb N, \; f^{\circ k}(x)=0.$$
Is it true that $f$ is nilpotent (i.e., that there is some $k$ such that $f^{\circ k}=0$)...
- 4,074
13
votes
1
answer
671
views
Topological groups containing the Sorgenfrey line
The Sorgenfrey line $\mathbb S$ is the real line endowed with the topology generated by the base consisting of all half-intervals $[a,b)$ for real numbers $a<b$.
The Sorgenfrey line is first-...
- 42k
13
votes
1
answer
465
views
One question about the $\eta$ invariant
This question is from the paper, The Analysis of Elliptic Families
II. Dirac Operators, Eta Invariants, and the Holonomy Theorem, Commun. Math. Phys. 107, 103-163 (1986) --- Proposition 2.8.
Suppose ...
- 1,915
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
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
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
809
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
1
answer
719
views
Homotopy theory for spanning trees of a graph
I am studying a paper of L. Lovász, ``A homology theory for spanning trees of a graph,'' but professor Babai has told me that Lovász later realized that this work is better framed in the language of ...
- 5,898
13
votes
1
answer
991
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
861
views
Does anyone use non-sober topological spaces?
Recall that a sober space is a topological space such that every irreducible closed subset is the closure of exactly one point.
Is there any area of mathematics outside of general topology where non-...
13
votes
1
answer
568
views
Limit of homeomorphisms from square to square
Let $\square=[0,1]\times[0,1]$ be the unit square
and $f\colon\square\to \square$ is a continuous map that fixes the points on the boundary.
Assume $f$ is a limit of homeomorphisms $\square\to \...
- 45k
13
votes
2
answers
610
views
Is there a Gelfand-Naimark-like characterization of group algebras $L_1(G)$?
The Gelfand-Naimark theorem establishes that a complex commutative Banach algebra $A$ with an identity and an involution $x\to x^*$ satisfying $\|x x^*\|=\|x\|^2$ is (isometrically isomorphic to) a $C(...
- 4,461
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
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
519
views
When can I "draw" a topology in Baire space?
The motivation for this question is a bit convoluted, so in the interests of conciseness I'm just asking it as a curiosity (and I do find it interesting on its own); if anyone is interested, feel free ...
- 20.5k
13
votes
1
answer
365
views
Is there a computable homeomorphism between two different Cartesian powers of the computable real numbers?
It's well know that it is surprisingly difficult to prove that $\mathbb{R}^n$ and $\mathbb{R}^m$ are not homeomorphic for $n\neq m$. Commonly proofs go through Brouwer's fixed point theorem, which is '...
- 13k
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
3
answers
710
views
Completeness of nonharmonic Fourier Series
I have the following question:
The Exponential System $(\exp(2\pi i n \cdot ))_{n\in \mathbb{Z}}$ constitutes an orthonormal basis of $L^2([-1/2,1/2])$.
Thus, certainly the oversampled system $\Phi:...
- 131
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
1
answer
729
views
Making sense of the formula $\operatorname{Det} (I+M )= e^{\operatorname{Tr} \ln (I+M)}$, especially in the infinite dimensional cases
$\DeclareMathOperator\Det{Det}\DeclareMathOperator\Tr{Tr}$In physics literature dealing with quantum field theory, the formula
\begin{equation}
\Det(I+M) = e^{\Tr \ln(I+M)}
\end{equation}
appears ...
- 3,477
13
votes
1
answer
355
views
Canceling $\mathbb{R}$-factor
Suppose there are compact sets $K_1,K_2\subset\mathbb{R}^n$ such that $K_1\times \mathbb{R}\cong K_2\times \mathbb{R}$,
but $K_1\ncong K_2$.
What is the minimum of $n$?
Comments
The spherical ...
- 45k
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
1
answer
546
views
Is it possible to prove in ZF that a non-trivial compact connected Hausdorff space is uncountable?
Let $X$ be a compact, connected Hausdorff space with at least two points.
In $\mathrm{ZF}+\mathrm{AC}_\omega(\mathbb R)$, any countable compact Hausdorff space is metrizable, and from this it can be ...
- 511
13
votes
2
answers
656
views
Random matrix with given singular values
Let $\sigma_1\geq\sigma_2\geq...\geq\sigma_n\geq0$ be any deterministic sequence of positive real numbers such that $\sum_{i=1}^n\sigma_i^2=1$. Let
$$D=diag\{\sigma_1,...,\sigma_n\}\in\mathbb{R}^{n\...
- 1,495
13
votes
1
answer
452
views
Is the set of escaping endpoints for $e^z-2$ completely metrizable?
Let $f:\mathbb C \to \mathbb C$ be the complex exponential $$f(z)=e^z-2.$$ It is known that $J(f)$, the Julia set of $f$, is a uncountable collection of disjoint rays (one-to-one continuous images ...
- 3,317
13
votes
2
answers
696
views
C$^*$-algebras isomorphic after tensoring
From the negative answer to this question we know that C$^*$-algebras that are isomorphic after tensoring with $M_n$ for all $n\geq 2$ need not be isomorphic. So what happens when we strengthen this?
...
- 3,984
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
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
1
answer
3k
views
Does this metric have an official name? Lévy metric? Ky Fan metric?
Let $X$ and $Y$ be random variables taking values in a separable metric space $(S,d)$. The metric I have in mind is
$$\rho(X,Y) = \mathbb{E}[\min\{d(X,Y),1\}]$$
if $X$ and $Y$ take values in the a ...
- 6,287
13
votes
1
answer
1k
views
Is every $\sigma$-algebra of sets *abstractly* the Borel algebra of a topology on perhaps some other set?
Is every sigma-algebra the Borel algebra of a topology?
inspires the present question which asks for less.
Question: Given a $\sigma$-algebra $\mathcal A$ on a set $X$, does there exist a topology $\...
- 17.6k
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
13
votes
1
answer
404
views
Self map of unitary group
Let $H$ be a Hilbert space and let $u_1 \in U(H)$ be a unitary operator on $H$. Consider the self-map $w: U(H) \to U(H)$ which is given by
$$w(v) := v^2 u_1 v^{-1}.$$
Since $U(H)$ is connected, there ...
- 25.5k
12
votes
1
answer
447
views
Discrete subsets in the topology of pointwise convergence vs. metrisability
While reading Arkhangel'skii's Topological function spaces, I encountered an unexpected application of Martin's Axiom. This is Theorem II.5.20:
Assume $\mathsf{MA}+\neg \mathsf{CH}$. Let $X$ be a ...
- 11.3k