All Questions
1,466 questions
11
votes
2
answers
1k
views
Is sigma-additivity of Lebesgue measure deducible from ZF?
Is sigma-additivity (countable additivity) of Lebesgue measure (say on measurable subsets of the real line) deducible from the Zermelo-Fraenkel set theory (without the axiom of choice)?
Note 1. ...
- 16.6k
11
votes
1
answer
704
views
Is $\mathfrak j_{2:1}=\mathfrak{j}_{2:2}$ in ZFC?
A function $f:\omega\to\omega$ is called
$\bullet$ 2-to-1 if $|f^{-1}(y)|\le 2$ for any $y\in\omega$;
$\bullet$ almost injective if the set $\{y\in \omega:|f^{-1}(y)|>1\}$ is finite.
Let us ...
- 41.8k
11
votes
1
answer
1k
views
Has anyone seen this series?
I come across the following infinite series.
$$
\sum_{n=1}^{\infty} \frac{t^n}{n!\: n^{a}}, \quad\text{for $t>0$ and $a>0$}.
$$
In particular, I am interested in the case where $a=1/4$.
...
- 1,649
11
votes
4
answers
2k
views
Spectral theorem for unbounded self-adjoint operators on REAL Hilbert spaces
This question was posed on MathStackExchange but did not get an answer (even with a bounty).
In all books that I have checked the spectral theorem (every self-adjoint unbounded operator on a Hilbert ...
- 16.4k
11
votes
2
answers
528
views
Asymptotics of $\int_0^\infty \frac{x^{2z}}{\Gamma(1+z)}\,dz$ for large $x$
I'm interested in the asymptotics of
$$\int_0^\infty \frac{x^{2z}}{\Gamma(1+z)}\,dz$$
as $x\to\infty$. I expect the results to behave similarly to $e^{x^2}=\sum_{k\ge 0}\frac{x^{2k}}{k!}$. However, I'...
- 850
11
votes
2
answers
1k
views
Do Hausdorff locally convex inductive limits always exist?
The following is from Schaefer, "Topological Vector Spaces", 1999, p. 56/57:
Let $(E_\alpha)_{\alpha \in A}$ be a family of locally convex spaces with $\alpha$ in a directed poset $A$ and $h_{\beta \...
- 1,773
11
votes
4
answers
1k
views
Example of noncomplete quotient of complete lcs mod closed subspace
The following statement is well-known: for a Fréchet space $V$ and a closed subspace $W \subseteq V$ the quotient $V / W$ is again complete and hence a Fréchet space. For the particular case of a ...
- 8,098
10
votes
2
answers
835
views
Functions that are approximately differentiable a.e
The classical definition of an approximately differentiable function is as follows:
Definition.
Let $f:E\to\mathbb{R}$ be a measurable function defined on a measurable set $E\subset\mathbb{R}^n$. ...
- 28k
10
votes
1
answer
492
views
Which W*-algebras are the duals of C*-coalgebras?
A Banach algebra (assumed associative and unital) is precisely a monoid object in the monoidal category of Banach spaces, short linear maps, and the projective tensor product. A Banach coalgebra is ...
- 2,754
10
votes
1
answer
783
views
When do tensor products of C*-algebras commute with colimits?
Let $I$ be a filtered poset, which you should think of as being huge. Let $A_i$ be an $I$-diagram of $C^{\star}$-algebras and let $A$ be the colimit of this diagram; if necessary, we can also assume ...
- 976
10
votes
2
answers
926
views
Continuity of the product map
Let $A$ be a $C^*$-algebra.
Is it possible to characterize $A$ for which the product map defined by
$$\sum\limits_{i=1}^n a_i\otimes b_i \mapsto \sum\limits_{i=1}^n a_i b_i$$
is continuous with ...
- 4,705
10
votes
2
answers
3k
views
Gluing two diffeomorphisms together
A fundamental construction in a first course on manifolds is to build a smooth function $\psi\colon \mathbb{R} \to \mathbb{R}$ with the property that for some $0<\delta<\epsilon$ we have
$\psi(...
- 8,903
10
votes
3
answers
913
views
Inequality for functions on [0,1]
Let $a\in (0,1), \;\;\psi_a(x):=\prod_{j=0}^\infty (1-a^{2j+1}x).$
Question. Is it true that, for all $x\in [0,1]$ and all $k\in\mathbb{N},$ the following inequality holds:
$$\frac{x^k}{(1-a)(1-a^3)\...
- 783
10
votes
2
answers
2k
views
A result attributed to Whitney
One of the basic results of real analysis says that any closed subset of a smooth ($C^\infty$) manifold $M$ is the set of zeros of some map $\lambda\in C^\infty(M;[0,1])$. This result (or some ...
- 727
10
votes
0
answers
761
views
Reference request : Grothendieck's topological space valued integral
As I am learning the different kind of Banach space valued integrals (Pettis, Bochner), I know that Grothendieck made a "mémoire" in his youth about this topic, but I don't know if it is available ...
- 1,616
9
votes
1
answer
4k
views
What are some characterizations of the strong and total variation convergence topologies on measures?
I asked this question on StackExchange a few days ago but didn't get any response, so I thought I would try here.
The Wikipedia article on convergence of measures defines three kinds of convergence: ...
- 203
9
votes
1
answer
956
views
A problem in functional calculus
This is embarrassing, I think it must work, but I can't see how to prove it works. If anyone knows enough functional calculus of operators on a Hilbert space to tell me how to do it, I would be very ...
- 1,143
9
votes
5
answers
2k
views
Convexity of distance-to-boundary function
Let $\Omega\subset\mathbb{R}^{n}$ be an open,
bounded convex domain. Denote $d_{\Omega}:\Omega\rightarrow\mathbb{R}$
the distance-to-boundary function, that is,
$$
d_{\Omega}\left(x\right):=\inf\left\...
- 91
9
votes
1
answer
2k
views
Rate of convergence of smooth mollifiers
How does one figure out/prove the rate of convergence (in some norm) of mollifiers given a function bounded in some other norm (say Sobolev space, Besov space)? Also, is there a dimensional analysis ...
- 2,243
9
votes
1
answer
1k
views
Traces of Sobolev spaces
Is there a simple proof of the following fact?
Theorem. Let $\Omega\subset\mathbb{R}^n$ be a bounded and smooth domain. If $n>2$, then $W^{1,n-1}(\partial\Omega)\subset
W^{1-\frac{1}{n},n}(\...
- 28k
8
votes
2
answers
496
views
Which complete orthomodular lattices arise from von Neumann algebras?
Let $A$ be a von Neumann algebra. Then a classic observation is that the set of projections $\Pi(A)$ is naturally a complete orthomodular lattice.
Question 1: Is the construction $A \mapsto \Pi(A)$ a ...
- 63.9k
8
votes
1
answer
1k
views
Compactness of the unit ball of a Banach space for topologies finer than the weak* topology
Let $(\mathcal{X} , \|\cdot \|_\mathcal{X})$ be a Banach space and $\mathcal{X}'$ its topological dual. We denote by $\| \cdot \|_{\mathcal{X}'}$ the dual norm and define also the topological dual $\...
- 2,306
8
votes
0
answers
1k
views
Strictly singular operators and their adjoints
This is a question I thought about a while back and figured I'd throw it out there to see if anyone has some insight that I am missing.
Let $X$ and $Y$ be infinite dimensional separable Banach ...
- 1,073
8
votes
2
answers
1k
views
VC dimension, fat-shattering dimension, and other complexity measures, of a class BV functions
I wish to show that a function which is "essentially constant" (defined shortly) can't be a good classifier (machine learning). For this i need to estimate the "complexity" of such a class of ...
- 6,853
8
votes
3
answers
521
views
Invertibility of specific function
This is my first post. I'm not a mathematician, just an electronics engineer who loves mathematics. In one of my projects, I arrived at the following function:
$$V\left(\varphi\right)=\frac{A\sqrt{\pi-...
8
votes
2
answers
2k
views
Relating different topologies on $C^{\infty}_c(M)$
This is somehow connected to this question.
I can think of at least four topologies to put on $C_c(M)$:
Topologize $C^{\infty}_c(M)\subseteq C^{\infty}(M)$ as a subspace with the weak Whitney $C^\...
- 81
8
votes
1
answer
389
views
A dichotomy for the quadratic variation of differentiable functions?
For a real-valued function $f$ on $[0,1]$, define its quadratic variation by the formula
$$[f]:=\limsup\sum_{j=1}^n(f(t_j)-f(t_{j-1}))^2,$$
where the $\limsup$ is taken over all "partitions" ...
- 128k
8
votes
1
answer
4k
views
Covering number of Lipschitz functions
What do we know about the covering number of $L$-Lipschitz functions mapping say, $\mathbb{R}^n \rightarrow \mathbb{R}$ for some $L >0$?
Only 2 results I have found so far are,
That the $\infty$-...
- 2,246
8
votes
1
answer
609
views
Hausdorff distance and Cauchy sequences
This is a generalization of an older question.
Let $(X,d)$ be a metric space and let $(A_n)_{n\in\mathbb{N}}\subseteq X$ be a sequence of non-empty closed subsets such that for all $\varepsilon > ...
- 48.9k
8
votes
2
answers
1k
views
Division of Distributions by Polynomials
Let $P(z)$ be a non-null complex polynomial in $n$ variables $z=(z_1,\dots,z_n)$:
\begin{equation}
P(z)=\sum_{|\alpha| \leq N} c_{\alpha} z^{\alpha},
\end{equation}
where as usual for every $\alpha=(\...
- 640
8
votes
2
answers
2k
views
Expression for the sum of square roots of zeros of a polynomial
Let $f(x)$ be a polynomial of degree $n$ with rational coefficients whose zeroes are nonnegative real numbers: $x_1, \dots, x_n\geq 0$.
General question. Does there exist a simple expression for the ...
- 34.3k
7
votes
1
answer
907
views
Lebesgue differentiation theorem holds on locally doubling space?
It's known that for a metric space with doubling measure $(X,\mu)$, the Lebesgue differentiation theorem holds , i.e. If $f:X\to \mathbb{R}$ is a locally integrable function, then $\mu$-a.e. points ...
- 471
7
votes
1
answer
2k
views
Orthonormal bases on Reproducing Kernel Hilbert Spaces
Recall that a Hilbert space $\mathcal{H}$ is a reproducing kernel Hilbert space (RKHS) if the elements of $\mathcal{H}$ are functions on a certain set $X$ and for any $a\in X$, the linear functional $...
- 577
7
votes
3
answers
986
views
Mixtures of log-convex functions are log-convex: a reference
A referee of a submitted paper requested details on the statement that $\int_0^a e^{-tx^2}\,dx$ is log-convex in real $t$, for each $a>0$. While there are a number of ways to prove this statement, ...
- 128k
7
votes
4
answers
2k
views
Invariant means on the integers
Let $A\subseteq\mathbb Z$, as usual we define the lower Beurling density $d^{-}(A)=\lim\inf_{n\rightarrow\infty}\frac{|A\cap[-n,n]|}{2n+1}$ and the upper Beurling density $d^+(A)=\lim\sup_{n\...
- 6,034
7
votes
1
answer
606
views
Weak* continuity of positive parts, again
Bill Johnson pointed out to me yesterday that the map $$f \mapsto f^+ = \max(f,0)$$ is not weak* continuous on $l^\infty$. Nonetheless, I think I can prove that if $V$ is a linear subspace of $l^\...
- 42.8k
7
votes
3
answers
2k
views
A question on fractional derivatives
I know practically nothing about fractional calculus so I apologize in advance if the following is a silly question. I already tried on math.stackexchange.
I just wanted to ask if there is a notion of ...
user168611
7
votes
1
answer
246
views
A notion of restricted injectivity for Banach spaces
I apologize in advance if this is well-known.
Let $X$ be a Banach space. Let's call only for this post that $X$ is self-injective if for every closed subspaces
\begin{equation}
A\subseteq B\subseteq X ...
- 2,605
7
votes
2
answers
2k
views
Uniform bound on the eigenfunctions of the Laplacian
Is it possibly to have $L_\infty$ bounds on the eigenfunctions of the Laplacian operator on bounded regular domains with Dirichlet condition? I found several papers by Sogge but these are pretty ...
- 73
7
votes
2
answers
268
views
Meeting a set of lines in $\mathbb{R}^n$
Fix an integer $n\ge 2$ and suppose that ${\cal L}$ is a set of lines in $\mathbb{R}^n$. Is there a set $M\subseteq \mathbb{R}^n$ with the following properties?
$M$ intersects all the elements of ${\...
- 48.9k
7
votes
2
answers
2k
views
Does anyone know what is the right reference for the following simple lemma from harmonic analysis?
The lemma says that given $\lambda\geq 1$, $p\geq 1$, $a_j\geq 0$, for a collection of balls $\{B_j\}_{j\in\mathbb{N}}$ in $\mathbb{R}^n$, it holds
$$\bigg\|\sum_j a_j\chi_{\lambda B_j}\bigg\|_p\leq C(...
- 1,881
7
votes
1
answer
754
views
Closed convex hull in infinite dimensions vs. continuous convex combinations
tl;dr: When is the closed convex hull of a set $K$ equal to the set of "continuous" convex combinations of $K$?
I am essentially asking for the most general, infinite-dimensional analogue of ...
- 71
7
votes
2
answers
455
views
On a monotonicity property of Fourier coefficients of truncated power functions
Is it true that
$$a_{k,n}:=\int_0^{2\pi}x^k\cos(nx)\,dx$$
is nonincreasing in natural $n$ for each $k\in\{0,1,\dots\}$?
This question is related to this previous one.
Twice integrating by parts, one ...
- 128k
7
votes
1
answer
334
views
Extremal problem for 2-dimensional lattices
Given a lattice $L$ in a Banach space $(B,\|\;\|)$, one denotes by $\lambda_1(L)$ the least norm of a nonzero element in $L$, and by $\lambda_k$ the least $\lambda$ such that there is a linearly ...
- 16.6k
6
votes
1
answer
340
views
Inequality for functions on [0,1], continued
Let $0<a<1,\; \psi_a(x)=\displaystyle \prod_{j=0}^\infty (1-a^jx).$ For each $ k\in \mathbb{N},$ set
$$f_k(a;x):=\frac{x^k}{(1-a)(1-a^2)\dots (1-a^k)}\,\psi_a(x).$$
Question. Is it true that, ...
- 783
6
votes
1
answer
680
views
Is there an operator algebraic reformulation of the invariant subspace problem?
Let $H$ be an infinite dimensional separable Hilbert space and $B(H)$ the algebra of bounded operators.
Invariant subspace problem: Let $T \in B(H)$. Is there a non-trivial closed $T$-invariant ...
6
votes
2
answers
1k
views
Vector Fields in a Riemannian Manifold
Suppose $(M,g)$ is a Riemannian manifold.
Is there a way to classify manifolds where there exists a vector field that commutes with the laplace beltrami operator?
Thanks
- 4,145
6
votes
2
answers
633
views
Interpolation space between $L^1\cap L^2$ and $L^1$
In the paper of Bourgain, the way equation (3.78) is deduced from (3.69) and (3.76) seems via the following interpolation result. Let $(X,\mu)$ and $(Y,\nu)$ be two measure spaces and let $T$ be a ...
- 193
6
votes
1
answer
1k
views
Lipschitz function of independent subgaussian random variables
This question was asked here, but I have reason to believe that it's a serious research question appropriate for this forum (also, the answers given at the link aren't satisfactory).
If $X\in\mathbb{...
- 6,541
6
votes
1
answer
181
views
Can we approximate a vector field on the plane with non-vanishing vector fields in $W^{1,2}$?
Let $V$ be a compactly-supported vector field on $\mathbb{R}^2$, whose zeros inside some open neighbourhood of the closed unit disk $\mathbb{D}^2$ are isolated.
Does there exist a sequence of ...
- 6,741