All Questions
1,003 questions
26
votes
3
answers
16k
views
the dual space of C(X) (X is noncompact metric space)
It is well known that when $X$ is a compact space (or locally compact space), the dual space of $C(X)=\{f |f:
X\rightarrow \mathbb{C} \text{ is continuous and bounded} \}$ is $M(X)$, the space of ...
- 1,706
26
votes
3
answers
3k
views
Sum of Gaussian pdfs
I learned from a colleague that if one sums translates of the Gaussian density $f(x)=(2\pi)^{-1/2}e^{-x^2/2}$ translated by the integers (i.e. one considers $F(x)=\sum_{n\in\mathbb Z}f(x+n)$), the ...
- 23.2k
26
votes
2
answers
3k
views
Corollaries of the Yoneda Lemma in Analysis?
This is a cross-post of my ~2 weeks (canonically) unanswered question on Math.SE: https://math.stackexchange.com/questions/1830287/corollaries-of-the-yoneda-lemma-in-analysis.
I am looking for some ...
- 2,680
26
votes
2
answers
3k
views
Image of L^1 under the Fourier Transform
The Fourier Transform $\mathcal{F}:L^1(\mathbb{R})\to C_0(\mathbb{R})$ is an injective, bounded linear map that isn't onto. It is known (if I remember correctly) that the range isn't closed, but is ...
- 1,052
25
votes
2
answers
1k
views
Can nuclearity be determined by tensoring with a single C*-algebra?
A C*-algebra is nuclear if the algebraic tensor product $A\odot B$ ($B$ is any other C*-algebra) admits a unique C*-norm. This definition requires testing the condition for nuclearity with `all' C*-...
- 505
25
votes
2
answers
4k
views
Dual of the space of Hölder continuous functions?
Let $X=C^{\alpha}(\Omega,\mathbb{R})$ be the space of Hölder continuous functions. What is its dual?
- 1,256
25
votes
1
answer
3k
views
Does there exist a measurable function which is not a.e. "strongly" measurable?
More specifically, letting $I=[0,1]$, do there exist $f,E$ with $E$ a (necessarily nonseparable) Banach space and $f$ a bounded Lebesgue measurable function $I\to E$ such that $f$ is not equal almost ...
- 3,584
25
votes
16
answers
4k
views
functions satisfying "one-one iff onto"
Hello Everybody.
I need some more examples for the following really interesting phenomenon:
A function from the class ... is one-one iff it is onto.
Some ...
24
votes
3
answers
3k
views
Can Hölder's Inequality be strengthened for smooth functions?
Is there an $\epsilon>0$ so that for every nonnegative integrable function $f$ on the reals,
$$\frac{\| f \ast f \|_\infty \| f \ast f \|_1}{\|f \ast f \|_2^2} > 1+\epsilon?$$
Of course, we ...
- 9,756
23
votes
2
answers
7k
views
What is a Gaussian measure?
Let $X$ be a topological affine space. A Gaussian measure on $X$ is characterized by the property that its finite-dimensional projections are multivariate Gaussian distributions.
Is there a direct ...
- 8,512
22
votes
5
answers
1k
views
Rigorous justification for this formal solution to $f(x+1)+f(x)=g(x)$
Let $g\in C(\Bbb R)$ be given, we want to find a solution $f\in C(\Bbb R)$ of the equation
$$
f(x+1) + f(x) = g(x).
$$
We may rewrite the equation using the right-shift operator $(Tf)(x) = f(x+1)$...
- 1,245
22
votes
13
answers
7k
views
Is there a "crash-course" book on Abelian varieties (e.g., an introduction for physicists)?
Hello,
In our (rather applied) theoretical physics research, we have encountered an important class of problems, which seem to require an understanding of Abelian functions (unfortunately, this ...
- 649
22
votes
2
answers
652
views
Does every positive continuous function have a non-negative interpolating polynomial of every degree?
Let $f:[a,b] \to (0,\infty)$ be a continuous function. Then is it necessarily true that for every $n\ge 1$, we can find $n+1$ distinct points $\{x_0,x_1,...,x_n\}$ in $[a,b]$ such that the ...
- 1,209
22
votes
1
answer
4k
views
Image of the trace operator
It is well-known that we have the trace theorem for Sobolev spaces. Let $\Omega$ be an open domain with smooth boundary, we know that the map
$$ T: C^1(\bar\Omega) \to C^1(\partial\Omega) \subset L^...
- 39k
21
votes
2
answers
1k
views
Is there an L^p tauberian theorem?
From Wiener's tauberian theorem we know that linear combinations of translates of f \in L^1(R) are dense in L^1(R) if and only if the Fourier transform of f never vanishes. It is also known that ...
- 13k
21
votes
5
answers
4k
views
Isomorphisms of Banach Spaces
Suppose $X$ and $Y$ are Banach spaces whose dual spaces are isometrically isomorphic. It is certainly true that $X$ and $Y$ need not be isometrically isomorphic, but must it be true that there is a ...
- 629
21
votes
7
answers
2k
views
Identities and inequalities in analysis and probability
Usually, at the heart of a good limit theorem in probability theory is at least one good inequality – because, in applications, a topological neighborhood is usually defined by inequalities. Of course,...
21
votes
1
answer
1k
views
Is Dependent Choice all we really need?
http://en.wikipedia.org/wiki/Axiom_of_dependent_choice
Is DC sufficient for the understanding of objects that are countable in some suitable sense?
For example, is DC sufficient for the full ...
- 1,199
21
votes
1
answer
1k
views
Bounding Schur symmetric polynomials on the unit circle
Recall the Schur polynomial in $n$ variables, indexed by the partition $\lambda$, with $\ell(\lambda) \leq n$, is given by
\begin{equation}
s_\lambda(x_1,\ldots, x_n) = a_{\lambda + \delta}(x_1, \...
- 4,466
21
votes
3
answers
3k
views
Can you tell whether a space is Banach from the unit ball?
Let $V$ be a real vector space. It is well known that a subset $B\subset V$ is the unit ball for some norm on $V$ if and only if $B$ satisfies the following conditions:
$B$ is convex, i.e. if $v,w\...
- 8,493
20
votes
2
answers
1k
views
The Gelfand duality for pro-$C^*$-algebras
The Gelfand duality says that
$$X\to C(X)$$
is a contravariant equivalence between the category of compact Hausdorff spaces and continuous maps and the category of commutative unital $C^*$-algebras ...
- 1,344
20
votes
2
answers
870
views
C$^*$-algebras isomorphic after tensoring with $M_n(\mathbb C)$
In 1977, Joan Plastiras gave a striking example of two non $*$-isomorphic C$^*$-algebras $\mathcal A$ and $\mathcal B$ such that $$\mathcal A \otimes M_2(\mathbb C) \simeq \mathcal B\otimes M_2(\...
- 3,984
20
votes
1
answer
2k
views
A conjectured formula for Apéry numbers
A conjecture by the late Romanian mathematician Alexandru Lupas.
Posted in sci.math in 2005, but no proof was found.
Physicist Alan Sokal just reminded me of it, saying it was related to something he ...
- 41.1k
20
votes
12
answers
9k
views
The role of completeness in Hilbert Spaces
Why do Hilbert spaces have to be complete?
I've been studying (teaching myself about) Hilbert spaces for a while now as they have a habit of popping up in many of the papers I'm come across (I'm a ...
- 661
19
votes
2
answers
3k
views
Is there a "right" proof of Riemann's Theta Relation?
Let $\theta$ denote the usual Jacobi Theta function (with auxiliary parameter $\tau = i$, for simplicity), i.e.
$$
\theta(z) = \sum_{n \in \mathbb{Z}} \exp(-\pi (a + n)^2 + 2 \pi i n z) \ .
$$
I'm ...
- 915
19
votes
1
answer
5k
views
A Fourier-analytic inequality used by Jean Bourgain
I am currently reading Jean Bourgain's 1986 paper A Szemerédi type theorem for sets of positive density in $R^k$ and would appreciate some help in understanding a Fourier-analytic estimate used in ...
- 6,206
19
votes
3
answers
1k
views
What standard Banach space is isomorphic to the completion of this different normed structure on $\ell^1$?
A colleague asked me the following question:
"What can one do with the following norm on $\ell^1$: $|x|=\int_1^2 |x|_pdp$ where $| \;\; |_p$ is the standard norm on $\ell_p$?"
This ...
- 356
19
votes
4
answers
3k
views
Strange result about convexity
$f \in C^2([0,1])$ with $f''$ convex and $f(0) = f'(0) = f''(0) = 0$.
Is it true that : $f''(1)+6f(1)\geq 4f'(1)$ ?
Source: AoPS
- 4,074
19
votes
4
answers
5k
views
Explicit extension of Lipschitz function (Kirszbraun theorem)
Kirszbraun theorem states that if $U$ is a subset of some Hilbert space $H_1$, and $H_2$ is another Hilbert space, and $f : U \to H_2$ is a Lipschitz-continuous map, then $f$ can be extended to a ...
- 1,839
18
votes
1
answer
2k
views
Borel Lemma for vector-valued functions
The classical Borel Lemma states that for an arbitrary sequence $(v_n)_{n \in \mathbb{N}_0}$ of complex numbers there is a smooth function $f\colon \mathbb{R} \longrightarrow \mathbb{C}$ with Taylor ...
- 8,098
18
votes
4
answers
1k
views
Reference for a strong intermediate value theorem for measures
Let $\mu$ be a finite nonatomic measure on a measurable space $(X,\Sigma)$, and for simplicity assume that $\mu(X) = 1$. There is a well-known "intermediate value theorem" of Sierpiński that states ...
- 5,407
18
votes
2
answers
1k
views
compact-open topology on $B(H)$
In topology, it is common to use the compact-open topology on the set of continuous maps between two given topological spaces.
Let now $H$ be a Hilbert space and $B(H)$ the set of continuous linear ...
- 43.2k
18
votes
3
answers
2k
views
What are the right categories of finite-dimensional Banach spaces?
This is inspired partly by this question, especially Tom Leinster's answer.
Let me start with some background. I apologize that this will be rather long, since I'm hoping for input from people who ...
- 11.4k
18
votes
1
answer
11k
views
Is every continuous function measurable?
This question has already been asked on Math StackExchange here, but was too old to be migrated, and I think will be more appropriate to MathOverflow.
In non-Hausdorff topology it is standard to ...
- 321
18
votes
1
answer
564
views
Is the space of Hankel operators complemented in B(H)?
Let $H$ be $\ell^2({\mathbb N})$ and let $S:H\to H$ be the unilateral forward shift, so that $S^*S=I\neq SS^*$. Then a bounded operator $T:H\to H$ is Hankel if and only if it satisfies $TS=S^*T$.
Let ...
- 25.8k
18
votes
3
answers
2k
views
Research topics in distribution theory
The theory of distributions is very interesting, and I have noticed that it has many applications especially with regard to PDEs. But what are the research topics in this theory? also in terms of ...
- 589
18
votes
1
answer
748
views
Banach-Mazur distance between the cube and the octahedron
The Banach-Mazur distance $d(X, Y)$ between two normed spaces $X, Y$ of the same dimension is defined as $d(X, Y) = \log\inf \|T\| \cdot \|T^{-1}\|$, where the $T:X \to Y$ is a linear and invertible ...
- 243
18
votes
4
answers
1k
views
Who first used the multiplication operator version of spectral theory
This is another history question.
Hilbert phrased the spectral theorem in terms of resolutions of the identity.
While this remained the form of Stone and von Neumann, they did also have the ...
- 827
17
votes
5
answers
7k
views
A counter example to Hahn-Banach separation theorem of convex sets.
I'm trying to understand the necessity for the assumption in the Hahn-Banach theorem for one of the convex sets to have an interior point. The other way I've seen the theorem stated, one set is closed ...
- 2,641
17
votes
1
answer
912
views
$(1+\epsilon)$-injective Banach spaces, complex scalars
It is well known that a real Banach space which is $(1+\epsilon)$-injective for every $\epsilon >0$ is already 1-injective (Lindenstrauss Memoirs AMS, 1964, download here). Using common ...
- 1,704
17
votes
4
answers
4k
views
How much does the absolute value of an operator behave like an absolute value?
Recall that the absolute value of a bounded operator $T$ on a Hilbert space $H$ is the unique positive operator $|T|$ such that $$\||T|x\|=\|Tx\|$$ for all $x\in H$. It can be defined using the ...
- 3,115
17
votes
1
answer
2k
views
Which Fréchet manifolds have a smooth partition of unity?
A classical theorem is saying that every smooth, finite-dimensional manifold has a smooth partition of unity. My question is:
Which Fréchet manifolds have a smooth partition of unity?
How is the ...
- 4,519
16
votes
2
answers
996
views
Perturbation of unbounded self-adjoint operators
In the paper "A CRITERION FOR THE NORMALITY OF UNBOUNDED OPERATORS AND APPLICATIONS TO SELF-ADJOINTNESS" by M. H MORTAD (http://arxiv.org/pdf/1301.0241.pdf), the author states the following theorem
...
- 163
16
votes
1
answer
526
views
Equivariant Fredholm operators classify equivariant K-theory
Let $\mathcal{F}$ be the space of Fredholm operators on a separable Hilbert space $H$ with the topology induced by the operator norm.
If $X$ is compact,
Atiyah-Jänich proved that
$$[X,\mathcal{F}]\...
- 673
16
votes
1
answer
1k
views
Kaplansky's conjecture and Martin's axiom
Recall Kaplansky's conjecture which states that every algebra homomorphism from the Banach algebra C(X) (where X is a compact Hausdorff topological space) into any other Banach algebra, is ...
- 32.1k
16
votes
6
answers
2k
views
Finding closed subspaces whose sum isn't closed
Let $V_0$ be a closed infinite-dimensional subspace of a Banach space $V$ such that the quotient $V/V_0$ is also infinite-dimensional. Is it always possible to find a closed subspace of $V$ whose sum ...
- 42.8k
16
votes
3
answers
1k
views
A natural center of a convex weakly compact set in Banach space
Question: Let $S$ be a convex weakly compact set in Banach space $H$. Propose a natural way to define the unique center $O \in S$.
Motivation: A lot! For example, in game theory $S$ can be a set of ...
- 161
16
votes
1
answer
1k
views
A possible mistake in Walter Rudin, "Fourier analysis on groups"
I have the following lemma 4.2.4 on page 80 in the book (we have locally compact abelian topological groups $G_1, G_2$ and their duals $\Gamma_1, \Gamma_2$):
Suppose $E$ is a coset in $\Gamma_2$ ...
- 556
16
votes
3
answers
5k
views
Integration of differential forms using measure theory?
Setup: Let $(M,g)$ be a (possibly non-compact) Riemannian manifold with volume density $d_gV$. Then one may think of $(M,g)$ as a measure space $(\Omega,\mathcal{A},\mu)$, where $\Omega:=M$, $\mathcal{...
- 408
15
votes
1
answer
2k
views
Inductive tensor product and smooth functions
Given complete, locally convex Hausdorff vector spaces $E$ and $F$, let
$$ E \otimes_i F, \qquad E \otimes_\pi F$$ denote the (completed) inductive and projective tensor products respectively. The ...
- 235