All Questions
10,828 questions
6
votes
2
answers
1k
views
Definable collections of non measurable sets of reals
Is there a definable (in Zermelo Fraenkel set theory with choice) collection of non measurable sets of reals of size continuum? More verbosely: Is there a class A = {x: \phi(x)} such that ZFC proves "...
- 9,641
6
votes
2
answers
449
views
Asymptotic behavior of the "Cauchy square" series
$\renewcommand{\ge}{\geqslant}\renewcommand{\le}{\leqslant}$
$\newcommand{\pa}[1]{\left( #1 \right)}$
Let us take $\alpha > 0$, $x_1 := \alpha$ and for any $n \ge \mathbb{N}$,
\begin{align*}
\boxed{...
- 61
6
votes
3
answers
551
views
Hahn-Banach Theorem for convex polytopes and their supporting hyperplanes
A polytope in $\mathbb R^n$ is the convex hull of a nonempty finite set in $\mathbb R^n$.
Let $C$ be a polytope in $\mathbb R^n$.
We shall say that a hyperplane $H\subseteq \mathbb R^n$
$\bullet$ ...
- 42k
6
votes
2
answers
458
views
Does the (distributional) support of the Fourier transform of an $L^p$-function with $p<\infty$ have positive measure?
Suppose that $f \in L^p(\mathbb R^n)$ such that $1\leq p < \infty$. Let $\hat f$ be the Fourier transform of $f$. Clearly, if $p=1$ or $p=2$ then the support of $\hat f$ has positive Lebesgue ...
- 437
6
votes
1
answer
576
views
Spectrum of the complex harmonic oscilllator
Let
$$
H_\lambda=-\frac{d^2}{dx^2}+\lambda^2 x^2,\quad\lambda>0.
$$ It is known that the spectrum of $H_\lambda$ is the set $\{(2n-1)\lambda,n\in \Bbb N^*\}$. Now put
$$
(U_\mu \phi)(x)= e^{\mu\...
- 531
6
votes
1
answer
416
views
A problem concerning a divergent function on $[0, 1]$
This problem was posted on another forum and was given at the 1992 Miklós Schweitzer Competition. This competition is known for its very difficult problems and this one seems no exception. I also can'...
- 689
6
votes
2
answers
665
views
Unbounded Fredholms operators
Motivated by the situation of bounded Fredholm operators, I have the following question about "unbounded Fredholm operators".
Let $\mathcal{H}_1$ and $\mathcal{H}_2$ be two Hilbert spaces, and
$$
D: ...
- 969
6
votes
1
answer
2k
views
Sobolev functions on $\mathbb{R}^N$ cannot be discontinuous on a $(N-1)$-dimensional submanifold
How can one prove (or where can I find a proof) that if $u \in W^{1,p}(\Omega)$, where $\Omega \subset \mathbb{R}^N$, then $u$ cannot have a $(N-1)$-manifold of discontinuity points?
- 839
6
votes
1
answer
381
views
Convolution with semigroup: does this belong to the Sobolev space $W^{1,1}$?
Let $X$ be a Banach space, $T(t)$ be a strongly continuous semigroup on $X$, and $f\in L^1(0,\tau;X)$. It has been implied that the integral $$v(t)=\int_0^t T(t-s)f(s)ds,\quad t\in [0,\tau]$$
is not ...
- 395
6
votes
1
answer
213
views
A one-dimensional integral minimization problem
Let $\mathscr F$ be the collection of smooth functions $f \colon
\mathbb R \to \mathbb R$ such that
$f \in C^\infty_c(\mathbb R)$, with $\text{supp } f \subset [-1,1]$;
$\int_0^1 x f(x) dx ...
- 391
6
votes
1
answer
559
views
Inclusion of lattices and fundamental domains
Let $G$ be a locally compact abelian group. A lattice in $G$ is a discrete subgroup $\Lambda$ such that the quotient $G / \Lambda$ is compact. A Borel fundamental domain of a lattice $\Lambda$ in $G$ ...
user92170
6
votes
1
answer
1k
views
Are Bochner measurablity and Borel measurability compatible?
Let $(X,\mathfrak{M})$ be a measurable space and $E$ be a Banach space and $f:(X,\mathfrak{M})\rightarrow E$ be a function.
Question
Are Borel-measurable condition on $f$ and Bochner-measurable ...
- 337
6
votes
2
answers
749
views
Does there exist a stochastic time derivative?
The Setup
Suppose I have a stochastic process $f(Z_t)$ where $Z_t$ solve the $d$-dimensional SDE
$$
dZ_t = \mu(t,Z_t)dt + \sigma(t,Z_t)dW_t
$$
and $f$ is a smooth function.
My Question
Is there a ...
- 5,405
6
votes
1
answer
826
views
Non-reflexive Banach space s.t. X,X*,X**,... are separable
Is there an infinite-dimensional Banach space $X$, which is not reflexive, such that all the spaces $X,X^{\ast},X^{\ast\ast}, X^{\ast\ast\ast},\dots$ are separable?
- 11.9k
6
votes
1
answer
402
views
Reference request: Wasserstein metric spaces for non linear weights/mobility?
There is a very nice theory of gradient flows in metric spaces by Ambrosio, Gigli and Savaré. One particularly important application is the quadratic Wasserstein setting, where the metric space in ...
- 5,380
6
votes
1
answer
353
views
Sequential continuity of linear operators
Let $u\colon L\to M$ be a linear map of locally convex linear topological vector spaces.
Assume that $u$ is sequentually continuous, i.e. maps convergent sequences to convergent ones.
(This notion is ...
- 21.8k
6
votes
2
answers
426
views
Ultrapowers of operators
Can we prove that for each infinite dimensional Banach space $X$ and any free ultrafilter (possibly over uncountable set of indices) $\mathcal{U}$ the obvious embedding
$$({\mathcal{L}(X)})_{\mathcal{...
- 143
6
votes
1
answer
581
views
A puzzling question on real interpolation
Suppose an operator $T$ is bounded on $L^2$ and also bounded from $L^{1}$ to $L^{1}$-weak. Then by Marcinkewicz interpolation one gets that $T$ is bounded on every $L^{p}$ for p between 1 and 2. ...
- 9,007
6
votes
2
answers
1k
views
Quantitative questions about the size of a finite epsilon net
Let $X$ be a metric space, and let $U \subset X$ be any set. A finite set $N = N(\epsilon) \subset U$ is called a finite $\epsilon$-net of $U$ if every point of $U$ is at most a distance of $\epsilon$...
- 943
6
votes
1
answer
991
views
What is the "continuity" in "absolute continuity", in general?
The wikipedia article on absolute continuity gives a delta-epsilon definition for a measure $\mu$ defined on the Borel $\sigma$-algebra on the real line, with respect to the Lebesgue measure $\lambda$:...
- 208
6
votes
3
answers
324
views
Inverses in convolution algebras
Let $G$ be a locally compact totally disconnected group, and to make life easy let's suppose its Haar measure is bi-invariant. Let $C_c(G)$ be the space of locally constant complex functions on $G$ ...
- 2,713
6
votes
1
answer
335
views
Existence of pairwise quasi-complementary but not complementary subspaces
Let $𝑋$ be an infinite-dimensional Banach space (complex or real). A subspace of $𝑋$ means a closed linear submanifold. Subspaces $M$ and $N$ of $X$ are quasi-complementary if $M\cap N=\{0\}$ and $M+...
- 391
6
votes
1
answer
249
views
Syndetic sets and Banach limits: reference request
First of all, let us give a few definitions. Suppose that $A$ is a subset of natural numbers. We say that $A$ is syndetic if there is a constant $M$ such that every set of $M$ consecutive natural ...
- 7,193
6
votes
1
answer
230
views
Integration along fibres of continuous map on compact Hausdorff spaces
Let $p:Z\to X$ be a continuous surjective map between compact Hausdorff spaces.
Does there exist a family $m=(m_x)_{x\in X}$ of Radon probability measures on $Z$, such that
the support of $m_x$ is ...
user473423
6
votes
1
answer
1k
views
Under what conditions does a continuous linear map map a closed subspace to a closed subspace?
Are there natural conditions that ensure that a continuous linear map $\phi:V\to W$ between TVS maps any closed subspace $L\subset V$ to a closed subspace in $W$?
It is obviously satisfied if $W$ is ...
- 2,649
6
votes
1
answer
313
views
Convergence of integral averages in $L^1$
Let $f \in L^1 (\mathbb R)$. Suppose $g_n \in L^1 (\mathbb R)$ are a sequence of positive functions.
Define, for each $n$, the function $f_n$ by
$$f_n (x) := \frac{1}{2g_n (x)} \int_{x - g_n (x)}^{x + ...
- 6,323
6
votes
1
answer
278
views
Characterize this subspace of the bounded operators on $ L^2(\mathbb{R}) $
I posted this on MSE a couple months ago and it got three upvotes but no answers or even comments so I decided to cross-post it here:
For every pair $ a,b $ of real numbers define the operator $ U_{a,...
- 4,081
6
votes
2
answers
1k
views
In what precise sense is quantum (i.e., non-commutative) probability not expressable in terms of classical probability?
The quantum set-up has many settings, so let's fix some definitions. I will be taking the Hilbert space approach with a minor modification that I will make explicit.
We begin with a Hilbert space $\...
- 323
6
votes
1
answer
390
views
Equivariant implicit function theorem
Let $f:\mathbb{R}\times \mathbb{R}^{n} \rightarrow \mathbb{R}^{n}$ be a smooth function and $G\subset \operatorname{SO}(n)$ be a $1$-dimensional compact Lie group (diffeomorphic to the circle). ...
- 63
6
votes
1
answer
456
views
Is the tensor product of distributions a continuous bilinear map with respect to the weak topology?
Let $X$ and $Y$ be smooth manifolds. The map $\mathcal{D}'(X)\times\mathcal{D}'(Y)\to\mathcal{D}'(X\times Y)$ given by $(S,T)\mapsto S\boxtimes T$ is continuous with respect to the strong topology. Is ...
- 387
6
votes
1
answer
212
views
Embedding of $C(X)$ into $B(H)$ where $H$ is separable
I would like to ask a question which may look strange at the first sight nevertheless I find it interesting. Let $H$ be a separable Hilbert space: for any separable $C^*$-algebra $A$ one can embed $A$ ...
- 9,340
6
votes
1
answer
378
views
Wiener Corollary in "An introduction to harmonic analysis" by Yitzhak Katznelson
I can't understand a lemma in "An introduction to harmonic analysis" by Yitzhak Katznelson which is stated as follows:
Corollary. Let $\mu\in M(\mathbb T)$. Then
$$\sum\limits_{\tau\in\...
6
votes
1
answer
236
views
Potential p-norm on tuples of operators
Consider $\left[\begin{matrix}A \\ B\end{matrix}\right] \in B(H)^2$. One can define
$$
\left\|\left[\begin{matrix}A \\ B\end{matrix}\right]\right\|_p = \| |A|^p + |B|^p\|^{1/p}.
$$
Q: Is this a norm?
...
- 3,984
6
votes
1
answer
299
views
Continuity of eigenvectors
Let $\mathbb{C} \ni z \mapsto M(z)$ be a square matrix depending holomorphically on a parameter $z$ with the property that $\operatorname{dim}\ker(M(z)))=1$ for $z $ away from a discrete set $D \...
- 536
6
votes
2
answers
624
views
Relativistic scattering theory vs non-relativistic one
In relativistic scattering theory (e.g. in quantum electrodynamics) the existence of the $S$-matrix as well as of Moller operators is postulated as far as I understand (although at some stage it has ...
- 21.8k
6
votes
1
answer
347
views
Morita-invertible C*-algebras
I am familiar with the Morita theory of rings, and the hermitian Morita theory of rings with involution, and I am trying to understand some parallels and differences with the Morita theory of C*-...
- 272
6
votes
2
answers
459
views
Subspaces of $\ell_p$ ($1<p<\infty$, $p\neq 2$) not isomorphic to $\ell_p$
Is it possible to show the existence of an infinite dimensional closed subspace of $\ell_p$ ($1<p<\infty$, $p\neq 2$), not isomorphic to $\ell_p$, in an elementary way?
For $1<p<q<2$,...
- 4,461
6
votes
1
answer
294
views
Idempotent functions on Sp(1)
The quaternion group $Sp(1)\simeq S^3$ can be understood as $(z,w)\in\mathbb {C}^2$ with $|z|^2+|w|^2=1$ where multiplication is defined by $(z,w)(t,s)=(zt-\bar{s}w,zs+\bar{t}w)$.
Question: How do ...
- 1,583
6
votes
2
answers
240
views
Continuity of a differential of a Banach-valued holomorphic map
Originally posted on MSE.
Let $U$ be an open set in $\mathbb{C}^{n}$ let $F$ be a Banach space (in my case even a dual Banach space), and let $\varphi:U\to F$ be a holomorphic map. I seem to be able ...
- 5,529
6
votes
2
answers
635
views
Does $\int_0^{2\pi} e^{i\theta(t)} (\phi(t))^n dt=0$ $\forall \; n\in\mathbb{N}_0$ imply $\phi$ periodic?
PROBLEM. Let $\theta(t)$ and $\phi(t)$ be two real analytic non-constant functions $[0,2\pi]\rightarrow \mathbb{R}$. I am trying to prove the following claim
If the integral
$$
\int_0^{2\pi} e^{i\...
- 405
6
votes
1
answer
243
views
How to choose phase to give a desired Fourier transform
Cross posted from MSE.
I have a mathematical problem arising from a physics application, which I feel must have been solved before, but I don't know the terminology associated with it. I am looking ...
- 956
6
votes
1
answer
1k
views
Classification of compact connected abelian groups
It is known that torsion-free compact abelian groups are exactly the product of the maximal solenoid group $\Sigma_{(2,3,\cdots)}$ (which is the Pontryagin dual of the additive group $\mathbb{Q}$ of ...
- 1,586
6
votes
1
answer
567
views
Is restriction a closed map?
Originally asked on MSE.
Let $X$ be a normal (or even metrizable) topological space and let $Y$ be a closed subset of $X$. Let $C(X)$ be the linear space of all continuous scalar functions on $X$ ...
- 5,529
6
votes
1
answer
180
views
Symmetric C* property
This is a cross-post from math.stackexchange.com
What can be said about elements $a$ of a C*-algebra which fulfil the 'symmetric C* property'
$$\| a^\ast a+ aa^\ast\|=2\| a\|^2$$
I'd guess that this ...
- 623
6
votes
1
answer
898
views
Injectivity of a Fredholm operator
While doing my study on the boundary-crossing time of a stochastic process, I happened to deal with the following question which is somehow related to Fredholm theory.
Question : Suppose $K$ is ...
- 406
6
votes
1
answer
2k
views
About weak convergence of probability measure
Suppose $\mu_j$ is a sequence of measures on $\mathbb{R}$. By the definition of weak convergence of measures, $\mu_j$ weak converges to $\mu$ means that for any bounded continuous function $f$, there ...
- 71
6
votes
4
answers
1k
views
Resource recommendation: Spectral theory and $C^*$ algebras
I have formally studied functional analysis, both as university courses, and by myself, but this is one area of mathematics I find so huge and complicated, I have a hard time properly getting into it.
...
- 3,307
6
votes
2
answers
351
views
$id:A\to A^{op}$ is completely positive iff $A$ is abelian
Let $A$ be a $C^*$-algebra and $A^{op}$ it's opposite $C^*$-algebra. Let $id:A\to A^{op}$ be the identity map. $id$ is positive.
The claim is: $id$ is completely positive iff $A$ is abelian.
I need ...
user62639
6
votes
2
answers
672
views
Holomorphy of a function with values in a Hilbert space
Denote by $\mathbb C^\infty $ the Hilbert space $\ell^2 (\mathbb C)$. Fix $1\leq N,M \leq \infty$, and let $U$ be an open subset of $\mathbb C^N $. Following Mujica's book "complex analysis in Banach ...
- 395
6
votes
1
answer
710
views
Inverse limit of $\Bbb Q/q\Bbb Z$ isomorphic to finite adeles?
Let $\Bbb Q/q\Bbb Z$, for some positive rational $q$, denote the quotient group of the discrete rationals by the subgroup of integers times $q$.
For any $q_1, q_2 \in \Bbb Q^+$ and $n \in \Bbb N^+$ ...
- 4,907