All Questions
Tagged with fa.functional-analysis fa.functional-analysis or
9,772 questions
15
votes
6
answers
3k
views
Spectral theorem for self-adjoint differential operator on Hilbert space
I need a reference concerning a theorem that shows the following result, stated very roughly:
Given a self-adjoint differential operator densely defined on a Hilbert space, then the given Hilbert ...
15
votes
4
answers
6k
views
What is the interface between functional analysis and algebraic geometry?
This is a very open ended curiosity of mine and I would be grateful to hear any comments in this direction. In particular I am interested in functional analysis/algebraic geometry books/papers ...
- 2,246
15
votes
5
answers
680
views
Idiosyncratic characterizations of $\ell^p$, for $p\not=1,2,\infty$
Do there exist, either in the literature or in folklore, theorems
that characterize some particular $\ell^p$ space(s) ($p\not=1,2,\infty$)?
Such a theorem should reveal the particular space(s) as ...
- 17.6k
15
votes
4
answers
2k
views
Can one do without Riesz Representation?
In more detail, can one establish that the continuous linear dual of a Hilbert space is again a Hilbert space without appealing to the Riesz Representation Theorem?
For me, the Riesz Representation ...
- 26.8k
15
votes
2
answers
2k
views
In infinite dimensions, is it possible that convergence of distances to a sequence always implies convergence of that sequence?
This is a cross-posted on MSE here.
Let $(X,d)$ be a metric space. Say that $x_n\in X$ is a P-sequence if $\lim_{n\rightarrow\infty}d(x_n,y)$ converges for every $y\in X.$ Say that $(X,d)$ is P-...
- 1,225
15
votes
2
answers
3k
views
Generalizations of the Tietze extension theorem (and Lusin's theorem)
I am reasking a year-old math.stackexchange.com question asked by someone else.
(For my needs every space $X$ and $Y$ will be Polish---that is a completely separably metrizable space.)
The Tietze ...
- 6,287
15
votes
2
answers
680
views
Are Fourier transforms of L^p stable under diffeomorphisms?
Let $\xi$ be a compactly supported distribution on $\mathbb R^n$ and assume that its Fourier transform is in $L^p$. Let $\phi:\mathbb R^n\to\mathbb R^n$ be a diffeomorphism. Does the Fourier ...
- 2,639
15
votes
2
answers
1k
views
Is a C*-algebra with an isomorphic predual a von Neumann algebra?
It is well-known that a C*-algebra $A$ is a von Neumann algebra if and only if it has an isometric predual, that is, if and only if there exists a Banach space $X$ such that $A$ is isometrically ...
- 3,497
15
votes
2
answers
1k
views
Analytical origins of the Stone duality
I've asked this question in the HSM community, but by the nature of my question, some user told me to ask this question here.
This is the original post https://hsm.stackexchange.com/q/13087/14296
...
- 281
15
votes
3
answers
2k
views
Riesz's representation theorem for non-locally compact spaces
Every version of Riesz's representation theorem (the one expressing linear functionals as integrals) that I have found so far assumes that the underlying topological space is locally-compact. (For ...
- 5,407
15
votes
1
answer
1k
views
Intersection of complemented subspaces of a Banach space
The following seems a very basic question in the theory of complemented subspaces of Banach spaces, but I was not able to find a reference, so I wish to ask it here.
Question. Let $X$ be a Banach ...
- 60.5k
15
votes
2
answers
660
views
Multiple of identity plus compact
Is there an example of a bounded operator $T\in\mathcal{B}(H)$, where $H$ is a separable complex Hilbert space, such that no restriction to an infinite dimensional closed subspace is multiple of ...
- 247
15
votes
1
answer
2k
views
Bases for spaces of smooth functions
Let $S$ denote the space of rapidly decreasing sequences, which means sequences $a=(a_k)_{k=1}^\infty$ such that the numbers $p_d(a)=\sup\{k^d|a_k| : 1\leq k<\infty\}$ are finite for all $d\in\...
- 56.9k
15
votes
1
answer
2k
views
Quotients of $\ell_\infty$ by separable subspaces
Given a (closed) separable subspace $M$ of $\ell_\infty$, I am interested in conditions implying that the quotient $\ell_\infty/M$ is isomorphic to a subspace of $\ell_\infty$.
It is not difficult ...
- 4,461
15
votes
2
answers
2k
views
Error in Maurins proof for the nuclear spectral theorem?
I am currently studying the nuclear spectral theorem as presented in K. Maurins Monograph [2], second chapter or alternatively his paper [1] which contains basically the same proof.
Let $\Phi\subset H\...
- 428
15
votes
3
answers
1k
views
Extreme points of unit ball in tensor product of spaces
Let $B_1, B_2$ be unit balls in finite-dimensional normed spaces $X_1, X_2$ respectively.
Let $e(B_1), e(B_2)$ be corresponding extreme points sets.
Consider the unit ball $B$ in tensor product $...
- 580
15
votes
1
answer
2k
views
Matrices with entries in a $C^*$-algebra
Let $\mathcal{A}$ be a $C^\ast$-algebra. Consider vector space of matrices of size $n\times n$ whose entries in $\mathcal{A}$. Denote this vector space $M_{n,n}(\mathcal{A})$. We can define involution ...
- 1,697
15
votes
3
answers
2k
views
Alternative proofs of the Krylov-Bogolioubov theorem
The Krylov-Bogolioubov theorem is a fundamental result in the ergodic theory of dynamical systems which is typically stated as follows: if $T$ is a continuous transformation of a nonempty compact ...
- 6,206
15
votes
1
answer
1k
views
Gelfand-Naimark from the category-theoretic point of view
I was thinking about the Gelfand-Naimark theorem asserting the isometric * isomorphism between a commutative $C^*$-algebra (with unit) $\mathcal{A}$ and the $C^*$ -algebra of continuous complex-valued ...
- 2,479
15
votes
1
answer
1k
views
Borel-Écalle re-summation and resurgence: criteria and results
This is about the theory of Borel-Écalle re-summation and resurgence, see Refs below.
This states that the perturbative series (say of the vacuum expectation value of an operator $\mathcal{O}$ in ...
- 10.5k
15
votes
2
answers
3k
views
Regularity properties of convolution
Let $f$ be a compactly supported $C^{\alpha}$ function (that is Holder continuous with exponent $\alpha$) and let $g$ be a compactly supported $C^\beta$ function. What can we say about Holder ...
- 931
15
votes
3
answers
2k
views
Disintegrations are measurable measures - when are they continuous?
This is a sequel to another question I have asked.
The notion of disintegration is a refinement of conditional probability to spaces which have more structure than abstract probability spaces; ...
- 8,512
15
votes
2
answers
2k
views
Intuitive explanation of Dvoretzky's theorem
I am wondering if anyone has an enlightening explanation of why Dvoretzky's theorem (which says that a high-dimensional convex body has an almost round central section) is true -- there are a number ...
- 96.4k
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
15
votes
1
answer
780
views
Does ZF imply a weak version of Hahn-Banach?
I have encountered this when I was thinking about differentiability in Banach spaces. There, for $x\in X$ we usually need functionals $u\in X^*$ such that $|u|=1$ and $u(x)=|x|$. This is a simple ...
- 755
15
votes
2
answers
3k
views
What do we actually know about logarithmic energy ?
In potential theory, the $\textit{logarithmic energy}$ of a Radon measure $\mu$ acting on $\mathbb{C}$ is defined by
$$I(\mu)=\iint\log\frac{1}{|x-y|}\mu(dx)\mu(dy).$$ Of course it is not well ...
- 2,135
15
votes
2
answers
810
views
Are extensions of nuclear Fréchet spaces nuclear?
Consider the category of Fréchet spaces, the morphisms being
continuous linear maps with closed image. Suppose that we
have a short exact sequence in that category:
$0 \rightarrow V_1 \rightarrow ...
- 261
15
votes
1
answer
441
views
Weak*-closure of finite rank operators on dual space
Given a Banach space $X$, we consider the space $B(X^*)$ of bounded, linear operators on $X^*$ with the weak*-topology from its canonical predual $B(X^*)_*=X^*\hat{\otimes}X$. What is $\overline{F(X^*)...
- 3,497
15
votes
1
answer
1k
views
Krein Milman theorem without the axiom of choice
The Krein-Milman theorem asserts that in a locally convex topological vector space, a nonvoid compact convex subset is the closed convex envelope of its extreme points. But I would like to know when ...
- 1,616
15
votes
1
answer
889
views
Operator norms of circulant matrices
The definition and basic properties of circulant matrices can be found here: http://en.wikipedia.org/wiki/Circulant_matrix.
For complex numbers $a_1,\ldots,a_n$, I will use the notation
$$
\mbox{...
- 717
15
votes
1
answer
4k
views
Is there a simple direct proof of the Open Mapping Theorem from the Uniform Boundedness Theorem?
The Open Mapping Theorem, the Bounded Inverse Theorem, and the Closed Graph Theorem are equivalent theorems in that any can be easily obtained from any other. The Closed Graph Theorem also easily ...
- 2,049
15
votes
2
answers
2k
views
What is a projective space?
Is there a "recognition principle" for projective spaces?
What categories are there with projective spaces for objects?
Background: Although the title is a nod to What is a metric space?, ...
- 26.8k
15
votes
3
answers
2k
views
Can the Riemann integral be defined through a closure/completion process?
Let us consider real-valued functions on the bounded interval $[0,1]$. A "step function" means an element of the vector space spanned by indicator functions of (points and) intervals in $[0,1]$ (the ...
- 32.5k
15
votes
2
answers
931
views
Distinguishing topologically weak topologies of Banach spaces
Are the weak topologies of $\ell_1$ and $L_1$ homeomorphic?
Strangely may it sound, the question seeks contrasts between norm and weak topologies of Banach spaces from the non-linear point of view. ...
- 11.3k
15
votes
1
answer
1k
views
Convolution algebras for double groupoids?
There is a lot of work of course on convolution algebras of measured groupoids, and this gives "Noncommutative geometry". However there is a lot of interest in algebraically structured groupoids, for ...
- 12.3k
15
votes
1
answer
601
views
Topological spaces in which countable intersections of dense open sets have dense interior
In certain topological spaces, known as Baire spaces (e.g., completely metrizable spaces), a countable intersection of dense open sets is dense.
Now consider the following strengthening of the Baire ...
- 32.5k
15
votes
0
answers
477
views
Quantitative Skorokhod embedding
The Skorokhod embedding theorem says that any random variable $X$ with $\mathbb E X=0$ and $\mathbb E[X^2]<\infty $ can be written as $X=B_{\tau }$ where $B$ is a Brownian motion and $\tau $ is a ...
- 723
15
votes
0
answers
365
views
Admissible relations in a Banach algebra
Suppose that $\mathbb{C}\left\langle x, y \right\rangle = R$ is a free (associative and unital) algebra and $f \in R$. I wonder whether there exists a (unital) Banach algebra $A$ and a non-zero pair $...
- 193
15
votes
0
answers
349
views
Is there support for the term "Gelfand algebra"?
In this question Yemon Choi asked whether there is a standard term for Banach algebras for which the submultiplicative law
($\|ab\| \leq \|a\| \|b\|$) is weakened to merely requiring the product to be ...
- 42.8k
15
votes
0
answers
1k
views
Homotopy equivalence vs weak homotopy equivalence in Gromov's h-principle
My question concerns Gromov's h-principle for open diffeomorphism-invariant partial differential relations on open manifolds; see e.g. Eliashberg/Mishachev: Introduction to the h-principle, §6.2.A and ...
- 648
14
votes
6
answers
2k
views
Finding questions between functional analysis and set theory
Are there some good questions on functional analysis whose solution depends on tools in set theory? My major is mathematical logic, I think tools in set theory, especially infinity combinatorics and ...
- 315
14
votes
6
answers
6k
views
Russian Equivalent of Big Rudin
Is there any Russian-authored textbook on Analysis equivalent to Big Rudin (Real and Complex Analysis)?
I like Russian math textbooks a lot. I am looking for Russian textbooks (either in English or ...
- 149
14
votes
6
answers
3k
views
What's a natural candidate for an analytic function that interpolates the tower function?
I know that there are analytic functions whose composition with itself is the exponential function, the so-called functional square root of the exponential function, with the additional property that ...
- 4,466
14
votes
4
answers
550
views
About the existence of characters on $B(X)$
Let $X$ be a Banach space. Let $B(X)$ be the space of all bounded linear operators on $X$. Does $B(X)$ have an empty character space for any $X$?
I know the proof of the fact that $M_n(\mathbb{C})$ ...
- 355
14
votes
5
answers
4k
views
Is there an extension of the Arzela-Ascoli theorem to spaces of discontinuous functions?
The Arzela-Ascoli function basically says that a set of real-valued continuous functions on a compact domain is precompact under the uniform norm if and only if the family is pointwise bounded and ...
- 943
14
votes
2
answers
892
views
Do distance functionals separate probability measures?
Let $(\Omega,d)$ be a compact metric space and $\mathcal P(\Omega)$ its space of Borel probability measures. Let $D=\{ d_p\mid p\in\Omega\}$ where $d_p(x)=d(p,x)$ be the set of all "distance ...
- 459
14
votes
2
answers
6k
views
Are weak and strong convergence of sequences not equivalent?
For some infinite-dimensional Banach spaces $E$, it is easy to find sequences $\langle x_i:i\in\mathbb N_0\rangle$ which converge to zero weakly but not in the norm topology, i.e. we have $\lim_{i\to\...
- 3,584
14
votes
2
answers
1k
views
Are smooth functions tame?
I know the article of Hamilton on the inverse function theorem of Nash and Moser (with the same title) where he proves that $C^\infty(M)$ is a tame Fréchet space, when $M$ is closed or compact with ...
- 9,853
14
votes
4
answers
3k
views
Representing a product of matrix exponentials as the exponential of a sum
In Proof of a conjectured exponential formula, R. C. Thompson (1986) [edit: apparently, assuming Horn's conjecture] proved that if $A$ and $B$ are Hermitian matrices, then there exist unitary matrices ...
- 28.6k
14
votes
2
answers
2k
views
Is the composition of two nowhere differentiable functions still nowhere differentiable?
Let $f,g:\mathbb R\to\mathbb R$ be two continuous but nowhere differentiable functions. By the Denjoy–Young–Saks theorem for almost every point $x_0\in\mathbb R$ one has
$$
\limsup\limits_{x\to x_0}\...
- 938