All Questions
Tagged with fa.functional-analysis fa.functional-analysis or
912 questions
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 ...
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 ...
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 ...
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
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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}]\...
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{...
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
...
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 ...
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 ...
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 ...
15
votes
3
answers
2k
views
Asymptotic expansion of $\sum\limits_{n=1}^{\infty} \frac{x^{2n+1}}{n!{\sqrt{n}} }$
I've been trying to find an asymptotic expansion of the following series
$$C(x) = \sum\limits_{n=1}^{\infty} \frac{x^{2n+1}}{n!{\sqrt{n}} }$$
and
$$L(x) = \sum\limits_{n=1}^{\infty} \frac{x^{2n+1}}{...
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 ...
15
votes
3
answers
8k
views
What is an isomorphism of Banach spaces?
The nLab page on Banach spaces (http://ncatlab.org/nlab/show/Banach%20space) was recently criticised as being, in effect, too heavily biased to category theory (not of the Baire kind) and not enough ...
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 ...
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 ...
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{...
15
votes
4
answers
2k
views
Naive questions about "matrices" representing endomorphisms of Hilbert spaces.
This is a very basic question and might be way too easy for MO. I am learning analysis in a very backwards way. This is a question about complex Hilbert spaces but here's how I came to it: I have in ...
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 ...
15
votes
2
answers
2k
views
Range of completely positive projection
Let $A$ be a C*-algebra. Suppose that $P:A \rightarrow A$ is a contractive completely positive projection. Does the range $P(A)$ is completely order isomorphic to a $C^*$-algebra?
In the case where ...
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; ...
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 ...
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 ...
14
votes
2
answers
723
views
Why do the projections in the Calkin algebra not form a lattice?
Let $H$ be an infinite dimensional separable complex Hilbert space. Denote by $\mathcal{B}(H)$ the C*-algebra of bounded operators on $H$, $\mathcal{K}(H)$ the ideal of compact operators on $H$, and $\...
14
votes
0
answers
633
views
Classes of (non-continuous) functions with the fixed point property
Let $K$ be a convex body in $ R^d$. (Say, a ball, say a cube...) For which classes $ \cal C$ of functions, every function $ f \in {\cal C}$ which takes $K$ into itself admits a fixed point in $K$.
...
14
votes
0
answers
860
views
strong topologies on $C_c^\infty$
UPDATE (27/08/2020): I realized after a comment from Jochen Wengenroth that there was at least one false premise behind my question, owing to the fact that analysts sometimes use the words "...
14
votes
4
answers
1k
views
Is every continuous microlocal operator a pseudo-differential operator?
Let $\mathcal S'=\mathcal S'(\mathbb R^n)$ be the Schwartz distribution space.
Suppose $A\colon\mathcal S'\to\mathcal S'$ is linear, continuous and microlocal.
By being microlocal I mean that the wave ...
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})$ ...
13
votes
1
answer
724
views
Trace-class operator satisfies $\sum |\lambda_n|<\infty$?
Here's an "exercise" which I thought should be easy, but which I find myself unable to do.
Let $V$ be a Banach space.
Recall that an operator $f:V\to V$ is trace-class if it is in the image of the ...
13
votes
1
answer
1k
views
A generalization of the Powers-Stormer inequality
The well-known Powers-Stormer inequality says the following: for positive semidefinite operators $A, B$, we have that $\mathrm{Tr}((A - B)(A - B)) \leq \| A^2 - B^2 \|_1$, where $\| \cdot \|_1$ ...
13
votes
4
answers
5k
views
What is known about the Gaussian measure of the unit ball in a Hilbert Space?
Let $X$ be an infinite dimensional separable Hilbert Space with norm $||\cdot||$ and let $\mu$ be a Gaussian measure on $X$ such that $\mu(X) = 1$. What do we know about $\mu(B(0,1))$, where $B(0,1)$ ...
13
votes
1
answer
675
views
Wavelet-like Schauder basis for standard spaces of test functions?
Edit: A more precise formulation of my question follows the separation line.
The Schwartz space of test functions $\mathcal{S}(\mathbb{R})$ is isomorphic to $\mathfrak{s}$ the space of sequences of ...
13
votes
1
answer
807
views
Inner and extendible automorphisms of C*-algebras
If an automorphism $\alpha$ of a C*-algebra $A$ is inner then whenever $A$ is a subalgebra of another C*-algebra $B$, $\alpha$ obviously extends to $B$.
Is the converse true: if an automorphism $\...
13
votes
1
answer
347
views
Existence of a translation-invariant basis of $\ell^2$
This question is heavily inspired by this other one, but is meant to be a hopefully more accessible variant of it (and I think slightly more natural).
I give four equivalent formulations of the same ...
13
votes
1
answer
911
views
Are $L^\infty(\Bbb R)$ and $L^2(\Bbb R)$ homeomorphic?
It's easy to see that, for $1\le p,q< \infty$ the spaces $L^p(\Bbb R)$ and $L^q(\Bbb R)$ of $p$-th and $q$-th power integrable functions on the real line are homeomorphic as topological spaces. In ...
13
votes
1
answer
736
views
Idempotent measures on the free binary system?
Let $(S,*)$ be the free (non associative) binary system on one generator (so $S$ is just the set of terms in $*$ and $1$). There is an extension of $*$ to the space $P(S)$ of finitely additive ...