All Questions
Tagged with functional-analysis or fa.functional-analysis
9,773 questions
11
votes
1
answer
2k
views
Spectral theory for self-adjoint field operators on a symmetric Fock space
Background
Suppose we have a finite-dimensional Hilbert space $H = \mathbb{C}^s$ (for a natural number s) and we construct the symmetric (or bosonic) Fock space built from it: $$F(H):= \mathbb{C} \...
- 195
77
votes
0
answers
4k
views
2, 3, and 4 (a possible fixed point result ?)
The question below is related to the classical Browder-Goehde-Kirk fixed point theorem.
Let $K$ be the closed unit ball of $\ell^{2}$, and let $T:K\rightarrow K$
be a mapping such that
$$\Vert Tx-Ty\...
- 4,060
2
votes
3
answers
4k
views
Show a linear operator is not compact
For $f\in L^2(0,\infty),$ define $(Tf)(x)=x^{-1}\int_0^x f(s)ds,$ for $x\in(0,\infty),$ then from hardy's inequality, $T\in B(L^2),$ my question is how to show that $T$ is not compact?
- 187
8
votes
1
answer
381
views
Estimating flat norm distance from a planar disc
Let $D\subset\mathbb R^2\subset\mathbb R^n$ be a unit planar disc in $\mathbb R^n$. Let $S$ be an orientable two-dimensional surface in $\mathbb R^n$ such that $\partial S=\partial D$. Of course, we ...
- 32.4k
50
votes
7
answers
16k
views
Way to memorize relations between the Sobolev spaces?
Consider the Sobolev spaces $W^{k,p}(\Omega)$ with a bounded domain $\Omega$ in n-dimensional Euclidean space. When facing the different embedding theorems for the first time, one can certainly feel ...
- 2,935
25
votes
6
answers
15k
views
Does every distribution define a Radon measure?
On the one hand, Wikipedia suggests that every distribution defines a Radon measure:
http://en.wikipedia.org/wiki/Distribution_(mathematics)#Functions_as_distributions (revision from February 2010, ...
- 2,895
5
votes
1
answer
495
views
On the failure of the infinite dimensional Brouwer Theorem
Let $K$ be the closed unit ball of some infinite dimensional Banach
space, and let $H$ be an autohomeomorphism of $K$, having fixed
points. Can $H/2$ be fixed point free ?
Also, let ${\mathcal{F}}$ :=...
- 4,060
5
votes
1
answer
1k
views
Orthogonal complements in Hilbert bundles
It's a standard fact that for a finite-dimensional vector bundle with an inner product, the othogonal complement of any subbundle is itself a locally trivial vector bundle.
What is known about the ...
- 8,803
6
votes
1
answer
1k
views
Reference needed for: every idempotent in a C*-algebra is similar to a hermitian one
The result stated in the title is thoroughly standard - or that's the impression I got.
I seem to remember seeing it stated somewhere in a book I was reading in the library, and then reverse-...
- 25.8k
5
votes
1
answer
467
views
Info about Elton–Odell theorem
Hello everyone, could anyone please tell me where can I find information about the Elton–Odell theorem?
It states:
For any infinite dimensional Banach space $X$ there is a $q > 1$ so that $X$ ...
- 105
4
votes
2
answers
2k
views
Convergence of Gaussian measures
Let $X$ be a separable Banach space with its Borel $\sigma$-algebra $\mathcal F$. Let $x_n \to x$ in $X$. Fix a Gaussian covariance operator $K$, and let $\mathbb P_n$ and $\mathbb P$ be Gaussian ...
- 8,512
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
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
4
votes
2
answers
1k
views
Can we extract information about how fast a function decay from its Laplace transform?
My question is whether we can extract information about how fast an integrable function converges to zero by looking at the asymptotics of its Laplace transform.
More concrete case, let $f:\mathbb{R} ...
- 1,839
6
votes
7
answers
8k
views
Existence of an extreme point of a compact convex set
The Krein-Milman theorem shows that a compact convex set in a Hausdorff locally convex topological vector space is the convex hull of its extreme points.
It seems this implies that a compact convex ...
- 169
3
votes
1
answer
1k
views
characterization of continuous functionals in weak-star topology
Reading Wojtaszczyk's Banach spaces for analysts, I'm trying to understand his proof that the space of all continuous linear functionals on $(X^\star,\sigma(X^\star, X))$ is $X$.
To show the $ \...
- 922
5
votes
1
answer
807
views
Self-adjoint extension of locally defined differential operators
The following is well known. Given a symmetric differential operator, like $\partial_x^2$, defined on smooth functions of compact support on $\mathbb{R}$, $C_0^\infty(\mathbb{R})$, one can count the ...
- 21.5k
5
votes
1
answer
403
views
Nonlinear Nuclear Operators ?
Is there a "right" definition of the nuclear
operator in the nonlinear framework ? Of course, such an operator
must be compact, while a linear operator should be "nonlinearly"
nuclear iff it is ...
- 4,060
4
votes
2
answers
340
views
Embeddings of Weighted Banach Spaces
Let be $d$ a positive integer, $\Omega=\mathbb{R}^{\mathbb{Z}^d}$ and fix $R\geq 2$. We define weighted Banach spaces
$$ \Omega_p:=\left\{ x\in \Omega\left| \left[\sum_{i\in\mathbb{Z}^d}\frac{|x_i|^...
- 2,044
3
votes
3
answers
584
views
Polynomials and L^p(R)
As someone who mostly does symbolic computation, I've always been puzzled by the fascination mathematicians seem to have with Lp(R) (for p<∞)? To be more precise, there are no non-trivial ...
- 11.8k
0
votes
1
answer
288
views
The Quantum Operations On The Bipartite Systems
Given two distinct and noninteracting quantum mechanical
systems $\mathfrak{S}\_1$ and $\mathfrak{S}\_2$ with state spaces
$\mathcal H\_1$ and $\mathcal H\_2$, respectively, the state space
of the ...
- 1
6
votes
2
answers
3k
views
Dense inclusions of Banach spaces and their duals
This seems like a really simple question, but I'm struggling with it. Let $X$ be a separable Banach space, $H$ be a separable Hilbert space, and suppose $i : H \hookrightarrow X$ is a dense, ...
- 8,512
24
votes
1
answer
2k
views
How many ways are there to globalize Harish Chandra modules?
Suppose $G$ a reductive Lie group with finitely many connected components, and suppose in addition that the connected component $G^0$ of the identity can be expressed as a finite cover of a linear Lie ...
- 4,909
8
votes
3
answers
606
views
Compact Hausdorff and C^*-algebra "objects" in a category.
This is yet more on "algebraic objects in functional analysis".
Since Compact Hausdorff spaces are algebraic over Set, it seems to follow that one can find "Compact Hausdorff objects" in any suitable ...
- 26.8k
5
votes
3
answers
2k
views
When can a function be recovered from a distribution?
What properties does a distribution (in the generalized function sense) has to have in order to be a function. That is, when is $T(\varphi) = \int f \varphi$ for some $f$?
- 259
13
votes
0
answers
816
views
How hard is it to make a differential operator Hermitian?
Let $M$ be a closed finite-dimensional smooth manifold (over $\mathbb R$). Let $C^\infty(M) = C^\infty(M,\mathbb C)$ be the algebra of smooth complex-valued functions on $M$, with the natural complex ...
- 54.6k
4
votes
1
answer
821
views
What is the tensor product of $L^p(\bf R)$ with $L^q(\bf R)$?
I'm wondering: What is the tensor product of $L^p({\bf R})$ with $L^q({\bf R})$?
(For p=q=2, the answer clearly should be $L^2({\bf R}^2)$; for other values of $p$ and $q$, it is not at all obvious ...
- 41
7
votes
2
answers
684
views
Yet more on distortion
I would like to elaborate a little bit on my previous question which can be found
here.
Firstly, let me recall that a separable Banach space $(X, \| \cdot \|)$ is said to be
arbitrarily distortable ...
- 576
1
vote
1
answer
2k
views
spectra of sums and products in (Banach) algebras [was: Spectrum in Banach Algebra]
Let a,b be 2 elements in a Banach Algebra.Let Spec(x) denote the spectrum of an element x. If a,b commute with each other, then by Gelfand Transformation, we have Spec(a+b) is a subset of Spec(a)+Spec(...
- 11
8
votes
3
answers
2k
views
Definition of a von Neumann algebra
Is there a way to equip every C*-algebra A with a functorial topology such that
the canonical map A→A** is an isomorphism if and only if A is a von Neumann algebra?
Here A** denotes the dual of A* in ...
- 37.8k
7
votes
4
answers
946
views
On operator ranges in Hilbert & Banach spaces
Lemma 1 from Anderson & Trapp's Shorted Operators, II isLet $A$ and $B$ be bounded operators on the Hilbert space $\mathcal H$. The following statements are equivalent:
(1) ran($A$) $\subset$ ...
- 8,512
12
votes
3
answers
1k
views
What's algebraic approach to QM good for?
The algebraic formulation of quantum mechanics (and related stuff, like quantum thermodynamics & dynamical systems etc.) via C*-algebras provides a viewpoint based mostly on abstract functional ...
- 3,323
5
votes
2
answers
862
views
Hilbert $C^*$-modules and approximate units
Hi,
Given a $\sigma$-unital $C^*$-algebra $A$ and a full Hilbert $A$-module $E$, is it possible to find an approximate unit $ \{\epsilon_i\}, i\in I$ in $A$ such that each $\epsilon_i$ is of the ...
- 93
8
votes
0
answers
605
views
convergence rate in Wiener's approximation theorem
Wiener has the following fantastic results about approximations using translation families:
Given a function $h: \mathbb{R} \to \mathbb{R}$, the set $\{\sum a_i h(\cdot - x_i): a_i, x_i \in \mathbb{...
- 1,839
5
votes
0
answers
536
views
Conditional probabilities in Banach spaces
This is the infinite-dimensional sequel to my question, Conditional probabilities are measurable functions - when are they continuous?.
Let $\Omega = \Omega_1 \times \Omega_2$ be a probability space ...
- 8,512
4
votes
3
answers
2k
views
Algebraic Dual / Continuous Dual
Let $E$ be an infinite dimensional Banach space, let $E^{\ast}$ denote
its continuous (i.e., Banach space) dual, and let $E'$ be its algebraic
dual. Clearly, $E^{\ast}$ is a proper vector subspace of $...
- 4,060
11
votes
3
answers
1k
views
Continuous automorphism groups of normed vector spaces?
Consider the metric space on, say, ℝ2 induced by the various $L^p$ norms, and the group of isometries from that space into itself that preserve the origin. When $p=2$ I get the continuous group ...
- 180
32
votes
11
answers
23k
views
A book for problems in Functional Analysis
I want to know if there's any book that categorizes problems by subjects of Functional Analysis.
I'm studying Functional Analysis now a days and I really need to solve some problems in order to ...
6
votes
0
answers
639
views
Hilbert subspaces of indefinite inner product spaces
Let $E$ be a real linear space, endowed with a non-degenerate symmetric
bilinear form $(.,.)$.
Suppose that the [indefinite] inner product space $(E,(.,.))$
satisfies the following [sequential] ...
- 4,060
16
votes
0
answers
1k
views
Finite Rank Commutators
My former student Detelin Dosev and I are interested in classifying the commutators in $L(X)$, the bounded linear operators on the Banach space $X$ (see our joint paper on my home page or the ArXiv ...
- 31.5k
17
votes
5
answers
3k
views
Conditional probabilities are measurable functions - when are they continuous?
Let $\Omega$ be a Banach space; for the sake of this post, we will take $\Omega = {\mathbb R}^2$, but I am more interested in the infinite dimensional setting. Take $\mathcal F$ to be the Borel $\...
- 8,512
8
votes
2
answers
1k
views
Example for an integral, rectifiable varifold with unbounded first variation
I'm just looking for an example of an integral, rectifiable varifold, which has no locally bounded first variation.
Recapitulation
for every $m$-rectifiable varifold $\mu$ exists a $m$-rectifiable ...
- 143
10
votes
0
answers
609
views
Asymptotic non-distortion of the separable Hilbert space
By the work of E. Odell and Th. Schlumprecht, we know that the
separable Hilbert space $\ell_2$ is arbitrarily distortable. But
I don't know if an "asymptotic" version of their result is true.
To ...
- 576
2
votes
3
answers
1k
views
Baire category theorem
Let's call the following conditions (1): $X$ is a complete metric space with metric $d$, $X = \cup_{n=1}^\infty A_n$. Let $\bar{A}$ denote the closure of $A$.
Let's call the following statement (2): ...
- 498
5
votes
3
answers
1k
views
Functional calculus for direct integrals
Suppose I have a direct integral of Hilbert spaces $H = \int^\oplus H_x dx $, and suppose I have an operator $T: H \to H$ which is decomposable, and so it can be written as
$T = \int^\oplus T_x$ for ...
- 3,897
5
votes
0
answers
417
views
Direct integrals and fields of operators
Suppose we have a measure space $(X,\mu)$ and a measurable field of Hilbert spaces $H_x$ on it. We can form the direct integral ${\cal{H}} = \int H_x \ d \mu$, which is a Hilbert space.
Suppose now ...
- 3,897
9
votes
2
answers
1k
views
Borsuk pairs of Banach spaces
Given $X$, $Y$ two real Banach spaces, let's say that $(X,\ Y)$
is a Borsuk pair if for any continuous mapping $T$ : {$x$ $\in$
$X$ ; $||x||\leq1$} $\rightarrow$ $Y$ s.t. $T$ is odd on {$x$
$\in$ $X$ ;...
- 4,060
10
votes
1
answer
776
views
Saito-Wright definition of Rickart C*-algebras
A C*-algebra is Rickart if for each $x\in A$ there is a projection $p\in A$ so that
$R(x)=pA$.
Here the right-annihilator $R(S)$ of $S\subset A$ is defined
as $$R(S)=\{a\in A\mid xa=0\, \forall x\...
- 810
34
votes
8
answers
9k
views
When is a Banach space a Hilbert space?
Let $\mathcal{X}$ be a real or complex Banach space.
It is a well known fact that $\mathcal{X}$ is a Hilbert space (i.e. the norm comes from an inner product) if the parallelogram identity holds.
...
- 343
6
votes
3
answers
1k
views
How can I embed an N-points metric space to a hypercube with low distortion?
I have a N-point metric space defined by the pairwise distance matrix. I want to encode these N points with binary strings, i.e. each point will be mapped to a vertex in a hypercube. The lengths of ...
- 171