All Questions
10,447 questions
16
votes
2
answers
4k
views
Usefulness of Frechet versus Gateaux differentiability or something in between.
If you have a function $V: L \rightarrow \mathbb{R}$, where $L$ is an infinite dimensional topological vector space, there are multiple notions of differentiability. For $x,u \in L$, $V$ is Gateaux ...
- 943
28
votes
7
answers
13k
views
Regular borel measures on metric spaces
When teaching Measure Theory last year, I convinced myself that a finite measure defined on the Borel subsets of a (compact; separable complete?) metric space was automatically regular. I used the ...
- 18.7k
11
votes
1
answer
2k
views
Algebraic properties of the algebra of continuous functions on a manifold.
Does the algebra of continuous
functions from a compact manifold to
$\mathbb{C}$ satisfy any specific
algebraic property?
I'm not sure what kind of algebraic property I expect, but I feel that ...
- 855
12
votes
3
answers
2k
views
To what extent is convexity a local property?
A polyhedron is the intersection of a finite collection of halfspaces. These halfspaces are not assumed to be linear, i.e. their bounding hyperplanes are not assumed to contain the origin. The ...
- 1,846
4
votes
3
answers
3k
views
Examples of Banach spaces and their duals
There are many representation theorems which state that the dual space of a Banach space $X$ has a particularly concrete form. For example, if $X = C([0,1],\mathbb R)$ is the space of real-valued ...
- 8,512
11
votes
0
answers
657
views
For which Lie groups is the convolution of any two nonzero integrable compactly supported functions nonzero?
The Titchmarsh convolution theorem implies that the convolution of two nonzero functions $f,g\in L^1(\mathbb R)$ with compact support is nonzero. There is a generalization of this theorem to the case ...
- 637
6
votes
5
answers
1k
views
smooth Gelfand-duality
Assume $M$ is a compact smooth manifold (without boundary). What can we say about the spectrum of the $\mathbb{R}$-algebra $A=C^{\infty}(M)$? The elements of $M$ give rise to rational points of $A$, ...
- 63.1k
1
vote
3
answers
5k
views
rules for operator commutativity?
Hi, my apologies for a rather non-specific question. I wonder if there is a general set of conditions under which operators are commutative in functional analysis. Most that I've found is that "...
- 222
65
votes
9
answers
12k
views
Polish spaces in probability
Probabilists often work with Polish spaces, though it is not always very clear where this assumption is needed.
Question: What can go wrong when doing probability on non-Polish spaces?
- 651
1
vote
0
answers
660
views
Fractional Fourier transform [closed]
Let $T: L^2(\mathbb{R}^n) \rightarrow L^2(\mathbb{R}^n)$ be the Fourier transform. Is there any reasonable definition of fractional Fourier transform (i.e. operator $A$ such that $A^{\alpha}=T$ for $\...
- 3,323
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
12
votes
3
answers
646
views
Radii and centers in Banach spaces
Suppose I have a Banach space $V$ and a set $A \subseteq V$ such that for all $\epsilon > 0$ there exists $v$ such that $A \subseteq \overline{B}(v, r + \epsilon)$. Does there exist $c$ such that $...
- 1,331
2
votes
0
answers
197
views
Generating cones having no surjections [in operator spaces]
Is this little toy known ?
Let $E$ be some Banach space, and let $K$ be the closed unit ball
of its dual, endowed with the weak-star topology. Also, let $j:E$ $\rightarrow$ $C(K)$
be the natural ...
- 4,060
32
votes
19
answers
23k
views
Good books on theory of distributions
Hi all.
I'm looking for english books with a good coverage of distribution theory.
I'm a fan of Folland's Real analysis, but it only gives elementary notions on distributions.
Thanks in advance.
1
vote
3
answers
2k
views
A question on weak derivative - Sobolev spaces
Let $\Omega$ be an open set in $R^n$, and $f \in L^1_{loc}(\Omega)$, such that for each multiindex $\alpha\in N^n$, $|\alpha| = l$ f has weak derivative $D^\alpha f$ in $L^p(\Omega)$, with $1\leq p\...
- 783
81
votes
4
answers
8k
views
Did Gelfand's theory of commutative Banach algebras influence algebraic geometers?
Guillemin and Sternberg wrote the following in 1987 in a short article called "Some remarks on I.M. Gelfand's works" accompanying Gelfand's Collected Papers, Volume I:
The theory of commutative ...
- 7,329
1
vote
1
answer
359
views
Convergence of operators to the identity on Banach spaces
Let $U_\infty$ be a compact space, and let $U_r$ be an increasing family of compact subspaces whose closure is all of $U_\infty$. That is, $U_r \subseteq U_{r'}$ if $r \le r'$ and $U_\infty = \...
- 8,512
12
votes
4
answers
1k
views
Topologizing free abelian groups
For any set $S$ one can consider the free abelian group $\mathbb{Z}[S]$ generated by this set. Now suppose, there is a topology on $S$ given. Is it possible to find a topology on $\mathbb{Z}[S]$ in ...
- 11.1k
4
votes
1
answer
1k
views
When can a partial isometry $u$ in $\mathcal B(H \otimes K)$ be extended to a unitary in $1 \otimes \mathcal B(K)$?
Let $H$ and $K$ be Hilbert spaces, and let $u$ be a partial isometry in $\mathcal{B}(H \otimes K)$ between projections $p_0 = u^\ast u$ and $p_1 = u u^\ast$ such that $p_0, p_1 \leq 1 \otimes (1-q)$ ...
- 1,199
14
votes
3
answers
3k
views
The difference between $l^1(G)$ and the reduced group $C^*$ algebra $C_r^*(G)$
Let $G$ be a group and $l^2(G)$ the Hilbert space on $G$. The complex group algebra $CG$ can be imbedded in $B(l^2(G))$, the set of all bounded linear operators, by left translation. The reduced group ...
- 1,373
1
vote
1
answer
994
views
On the convolution of generalized functions
It is provable that $f_\lambda\to f\Rightarrow f_\lambda*g\to f*g$ if $g$ has a compact support (shown in my textbook). In my particular case, $g=u(t+\triangle t)-u(t-\triangle t)$. Does for that ...
- 1,524
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
0
answers
2k
views
Schwartz kernel theorem for A-linear operators
Let $X,Y \subset \mathbb{R}^n$ be open subsets. Denote by $C^\infty(X)$ the smooth functions on $X$, let $\mathcal{E}'(Y)$ be its dual space considered as a space of distributions. Let $L(C^\infty(X), ...
- 7,637
2
votes
2
answers
584
views
A proof about an unconditional basis theorem
Hello everyone. I'm in a little trouble trying to find the proof of a theorem stated by W. T. Gowers. It is the Lemma 1.6 in his article 'An infinite Ramsey theorem and some Banach space dichotomies' (...
- 105
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