All Questions
10,826 questions
9
votes
0
answers
1k
views
Weak compactness in $\mathcal{F}(X)$
Let $(X,0)$ be a pointed metric space and let $\mathcal{F}(X)$ be the natural predual of ${\rm Lip}_0(X)$, the space of Lipschitz functions on $X$ that map $0$ to $0$; here $\mathcal{F}(X)$ is really ...
- 11.3k
9
votes
0
answers
540
views
Why is spectral theory developed for $\mathbb C$
Spectral theory is a fundamental part of operator theory and the spectrum of many operators is investigated throughout the existing literature. And that is for a good reason: If $A$ is some closed ...
- 381
9
votes
0
answers
347
views
Can one prove Rademacher’s theorem via the rising sun lemma?
The classical Rademacher’s theorem states that Lipschitz continuous functions on $\mathbb R^n$ are differentiable almost everywhere.
In dimension one, a stronger result holds - it can be shown that ...
- 6,223
9
votes
0
answers
137
views
A self-isometry of the sphere of a strictly convex Banach space that does not move basic vectors
Problem. Let $n\in\mathbb N$, $X$ be a strictly convex $n$-dimensional real Banach space, $S_X=\{x\in X:\|x\|=1\}$ be the unit sphere of $X$, and $e_1,\dots,e_n\in S_X$ be linearly independent points. ...
- 41.9k
9
votes
0
answers
176
views
Is the switch automorphism inner for continuous-trace $C^*$-algebras?
If $R$ is a commutative ring, and $A$ is an Azumaya algebra over $R$, then the switch (or flip, or exchange, etc.) automorphism of $A\otimes_R A$, given by $a\otimes b\mapsto b\otimes a$, is inner: it ...
- 272
9
votes
0
answers
237
views
On the status of some conjectures mentioned/used in Harish Chandra's 1970 lecture notes
In van Dijk's notes of Harish Chandra's lectures on harmonic analysis, several conjectures are mentioned throughout, such as in Part 1, section 4 of van Dijk's notes
Conjecture I : Let $\omega$ be ...
- 113
9
votes
0
answers
230
views
Using Property (T) to approximate invertible matrices
In the wikipedia article for Kazhdan's Property (T), there's an intriguing application:
Similarly, groups with property (T) can be used to construct finite sets of invertible matrices which can ...
9
votes
0
answers
240
views
Reference request: integral formula for $\sum_{\text{roots }\lambda}e^{-|\lambda|^2}$
Consider a polynomial $f(z)=c\prod_m(z-\lambda_m)\in\mathbb{C}[z]$. I am mostly interested in the case where this actually lies in $\mathbb{R}[z]$, but that is not essential. I wanted to find a nice ...
- 56.9k
9
votes
0
answers
164
views
Comparison of the absolute value of an operator with its positive parts, II
Suppose $A,B\in M_n(\mathbb C)$ are self-adjoint. Does there exist a constant $C>0$ depending only on $n$ such that
$$
|A+iB| \leq C(|A| + |B|)?
$$
One can take $C=1$ if $A$ and $B$ commute.
More ...
- 3,984
9
votes
0
answers
261
views
SVD-type decomposition for the tensor product of three Hilbert spaces?
(The questions How does the Schmidt decomposition generalize to tensor products of several finite-dimensional systems? and Is there a useful generalization of the Schmidt decomposition to the ...
- 25.8k
9
votes
0
answers
953
views
Topologies on compactly supported functions
Let M be a (non-compact) smooth manifold and consider the set $C^\infty_c(M)$ of smooth real-valued functions with compact support. We can give this function space several topologies. Here are four:
...
- 27.5k
9
votes
0
answers
284
views
Verifying Woronowicz’s proof that all $ {\text{SU}_{q}}(2) $’s are isomorphic as $ C^{*} $-algebras, where $ -1 < q < 1 $
This question is related to one that I asked some time ago.
Definition 1. Let $ q \in (-1,1) $. Let $ A $ be a unital $ C^{*} $-algebra and $ (x,y) $ a pair of elements of $ A $. Then define the $ ...
- 1,396
9
votes
0
answers
979
views
Strong convexity of the trace of the square root of a matrix function
Any clues about how to prove that the following function is strongly-concave in $x$? (We conjecture it is $2$-strongly concave but cannot prove it. We have already proved strict concavity through ...
- 91
9
votes
0
answers
351
views
How many ideals are there in $B(H)^{**}$?
It is well-known (and easy to prove) that the only closed ideals of $B(\ell_2)$ are $\{0\}$, $B(\ell_2)$ and $K(\ell_2)$, the ideal of compact operators on $\ell_2$. I am curious whether we know what ...
- 91
9
votes
0
answers
305
views
Convergence in $L^2$ of iterated expectations
Take a probability space $(\Omega,\mathcal{F},\mathbf{P})$ and random variable $X \in L^2(\Omega,\mathcal{F},\mathbf{P})$.
Define the iterated expectations of X as follows: $X_0 = X$, and, ...
- 1,068
9
votes
0
answers
397
views
Does the algebra of bounded variation functions have a "noncommutative geometric" meaning and generalization?
According to Gelfand-Naimark theory, $C^*$-algebras of continuous functions $\mathcal{C}^0(X,\mathbb{C})$ on a compact Hausdorff topological space completely capture its topology. Furthermore, every ...
- 23.3k
9
votes
0
answers
885
views
Continuous projections in $\ell_1$ with norm $>1$
I was trying to find papers and articles about non-contractive continuous projections in $\ell_1(S)$ where $S$ is an arbitrary set. If it is not studied yet, I would like to know results for the case $...
- 1,697
9
votes
1
answer
1k
views
Noncompactness of the Sobolev embedding in the critical exponent case
Let $\Omega \subset \mathbb R^n$ be a bounded domain with a Lipschitz boundary and $n > p \ge 1$.
It is well known that up to the critical exponent $p^* = pn/(n − p)$, i.e. $q < p^*$, the ...
- 446
8
votes
4
answers
681
views
Uniform density of Lipschitz maps is space of continuous function — for general metric spaces
Let $X$ and $Y$ be metric space, $X$ be compact, $C(X,Y)$ denote the set of continuous functions from $X$ to $Y$ with uniform convergence on compacts topology, and $\operatorname{Lip}(X,Y)$ denote the ...
- 364
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
1
answer
2k
views
Cricket and the Hardy-Littlewod maximal function
I'v read somewhere that one motivation for Hardy to define his maximal function is the game of cricket. But I can't see how they are related. Could anyone provide some more information on their ...
- 5,169
8
votes
3
answers
1k
views
Can the topological algebra of analytic functions be endowed with a norm that defines the natural topology?
Right, so in my research in complex analysis I was puzzled by this question which may have a simple approachable answer that eludes me, but I am truly itching to find out and in need of it so I am ...
- 221
8
votes
3
answers
1k
views
Are all positive eigenfunctions principal eigenfunctions?
In a given domain $\Omega$, we have: $\Delta u=-\lambda u$ with $u>0$. Does this mean that $u$ is a principal eigenfunction for $\Delta$ in $\Omega$?
Also, more generally, does this also apply for $...
- 421
8
votes
3
answers
1k
views
is every element in a C* algebra a product of normal elements?
I have the following question and since I am not an expert on C*-algebras, I thought I ask it here:
I know that in general the sum and product of normal elements need not be normal. It is even true ...
- 987
8
votes
3
answers
1k
views
Relating a Polynomial equation to the characteristic equation of a Hermitian matrix
This question arose out of mere curiosity. Given a polynomial equation and I happen to know that its roots are real (but not the roots itself). Does it mean it is the characteristic equation of a ...
- 1,421
8
votes
2
answers
905
views
Continuous linear functionals and the Axiom of Choice
Can one prove without the Axiom of Choice that for every normed vector space $X$ there exist a nonzero continuous linear functional on $X$?
- 935
8
votes
2
answers
836
views
Strict topology between weak and norm topologies
I want to believe that this has an easy answer, but I’ve never considered it before and can’t seem to answer it now either.
Does every infinite-dimensional Banach space admit a locally convex vector ...
- 1,453
8
votes
3
answers
1k
views
Conceptually, what does unitization do?
Let $(\mathcal A,||\cdot||)$ be a normed algebra (with or without a unit). The unitization of $\mathcal A$ is the space $\mathcal A_+:=\mathcal A\oplus \Bbb C$ where the multiplication operation $\...
- 1,245
8
votes
4
answers
13k
views
Eigenvalues of infinite matrices [closed]
I am trying to find some literature on infinite matrices because I want to know how to get the eigenvalues of infinite matrices. Seriously, it seems there are very few references available. Can ...
- 431
8
votes
3
answers
3k
views
The mean of points on a unit n-sphere $S^n$
A unit n-sphere is defined as $$\mathcal{S}^n = \{\mathbf{p} \in \mathbb{R}^{n+1}: \|\mathbf{p}\| = 1\}$$
The distance between two points $\mathbf{p}$, $\mathbf{q}$ on $\mathcal{S}^n$ is the great-...
- 147
8
votes
5
answers
3k
views
Exponential sums for beginner.
What are the good books, online lecture notes or starting material on exponentials sums with applications in number theory for a beginner, apart from N. M. Korobov's book? The book or notes should ...
8
votes
3
answers
1k
views
When does a unitary Hilbert space rep of a reductive Lie group decompose into a direct sum of irreps with finite multiplicities?
I'm giving some lectures on the trace formula. Here's something I proved in the last lecture. Let $G$ be a locally compact Hausdorff unimodular topological group (e.g. a reductive Lie group), let $\...
- 41.4k
8
votes
2
answers
3k
views
$L^p$-norm of Fourier series in terms of coefficients, $p \neq 2$
It is known that the $L^2$-norm of a Fourier series equals the $l^2$-norm of the coefficients. Are there similar results in the case of $L^p$-norm for $p\neq 2$? Can it be expressed explicitly in ...
- 176
8
votes
2
answers
3k
views
Is $f(x,y)=\sum_{n\in\mathbb{Z}\backslash\{0\}}\frac{1}{n}e^{2\pi i(xn+yn^2)}$ essentially bounded?
Let $$f(x,y)=\sum_{n\in\mathbb{Z}\backslash\{0\}}\frac{1}{n}e^{2\pi i(xn+yn^2)}
$$
Is it true that $\|f\|_{L^{\infty}(\mathbb{R}^2)}<\infty$? i.e. is $f$ essentially bounded?
- 463
8
votes
4
answers
4k
views
Sum of two self-adjoint unbounded operators
Let $H$ be a Hilbert space, and $T:D(T)\subset H\rightarrow H$ and $S:D(S)\subset H\rightarrow H$ be unbounded self-adjoint operators.
Is $T+S:D(T)\cap D(S)\rightarrow H$ self-adjoint?
- 315
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
8
votes
2
answers
760
views
If the diagonal of a positive operator is compact, is the operator itself compact?
Let $H$ be a separable Hilbert space with a fixed orthonormal basis $\{e_n\}_n$. For a bounded operator $T$ on $H$, the diagonal of $T$ is the unique operator $D_T$ on $H$ which is diagonal with ...
- 2,263
8
votes
3
answers
884
views
abstract evolution equations
Hi
Whenever I read a book on evolution equations, they set up, say the parabolic PDE
$$\dot{y} = Ay + f$$
in abstract function spaces (eg. $L^2(0,T;V)$ and $L^2(0,T;V^*)$). In examples, they always ...
- 107
8
votes
2
answers
865
views
frechet manifolds book
hi, does anyone know a good book or some lecture notes on the theory of frechet manifolds ?
8
votes
2
answers
675
views
Question on whether, "An entire function, nowhere zero, has an entire logarithm," holds for matrix-valued entire functions as well
It is known that an entire function that is nowhere zero must be the exponential of another entire function.
Does this hold for matrix-valued functions as well? That is, given a matrix-valued entire ...
- 286
8
votes
5
answers
2k
views
Topological vector space textbook with enough applications
(Sorry for my bad English.)
For "applications", I mean applications in math, not real-life.
There are many textbooks about topological vector space, for example, GTM269 by Osborne, Modern Methods in ...
8
votes
2
answers
613
views
Pairs of elementary Fourier transforms in $L^2$
It is customary to teach Fourier transform on the real line by starting with functions from $L^1$, $L^2$ or the Schwartz space. It is not so easy to illustrate the theory by computing explicit pairs ...
- 18.7k
8
votes
3
answers
526
views
Lower bound for spectral radius on $\operatorname{GL}(n,\mathbb{Z})$
Consider the group of matrices $G =\operatorname{GL}(n,\mathbb{Z})$ with integer entries and determinant $\pm 1$. For each matrix $D \in G$, the product of the eigenvalues of $D$ is equal to $\det D =\...
- 345
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
3
answers
3k
views
Bounding supremum norm of Lipschitz function by L1 norm
Consider $f:[0,1]^d \to \mathbb{R}$. Suppose that $f$ is $L$-Lipschitz w.r.t. the Euclidean norm. Can we provide an upper bound on $\|f\|_\infty$ in terms of $\|f\|_1 := \int_{[0,1]^d} |f(x)|dx$ ?
In ...
- 301
8
votes
2
answers
5k
views
When is spectral norm of AB equal to that of BA?
I have $A^{1/2} B A^{1/2} \preceq I$ for two PSD matrices $A$ and $B$, and I'd like to know if that implies $\|AB\|_2 \leq 1.$
The argument I was using to show this is that for any two square ...
- 922
8
votes
5
answers
545
views
Reference for : a Fréchet nuclear space is Montel
I'm looking for a reference to cite regarding the property presented in the title: "Closed and bounded sets of a nuclear Fréchet space are compact"
Thank you in advance for the help!
- 5,428
8
votes
2
answers
814
views
Estimates about prime numbers: a lemma in Bourgain's article
For $n\in \mathbb{N}$ with prime decomposition $n=p_1^{r_1}\cdots p_k^{r_k},p_i\neq p_j$, let $A=\{p_1,\cdots,p_k\}$; then the following holds:
\begin{equation}
|\{q\in \mathbb{N},q<Q: \text{all ...
- 351
8
votes
3
answers
1k
views
Ramanujan's Master Formula: A proof and relation to umbral calculus
The Ramanujan's master theorem states that:
$$
\int_0^{\infty}x^{s-1}\sum_{n=0}^{\infty}\frac{(-1)^n}{n!}a_nx^ndx=\Gamma(s)a_{-s}
$$
I found a really strange proof recently on a personal blog:
Define
$...
- 302
8
votes
2
answers
488
views
If the cardinality of $B(X)$, the space of operators on $X$, is continuum, must $X$ be separable?
Does there exits any non-separable Banach space $X$ such that the size (cardinal number) of $B(X)$, bdd linear operators on $X$, is just of the continuum?
- 4,058