All Questions
Tagged with fa.functional-analysis fa.functional-analysis or
9,772 questions
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
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
14
votes
1
answer
1k
views
Stone-Weierstrass Theorem without AC
To what extent does the usual Stone-Weierstrass Theorem depend on some form of the Axiom of Choice? There seems to be a lot of literature on constructive versions in toposes, but I have been unable ...
- 2,049
14
votes
1
answer
830
views
Spectrum of matrix involving quantum harmonic oscillator
The quantum harmonic oscillator relies on two classical objects, the so-called creation and annihilation operator
$$a ^* = x- \partial_x \text{ and }a = x+\partial_x.$$
Fix two numbers $\alpha,\beta \...
- 192
14
votes
1
answer
694
views
Criterion for a Banach algebra to be finite dimensional
Let $A$ be a Banach algebra (say, complex and unital) and suppose that every (closed) commutative subalgebra of $A$ is finite dimensional.
Question. Does it follow that $A$ is finite dimensional?
...
- 12.6k
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 ...
- 8,086
14
votes
1
answer
2k
views
Infinite tensor product of states
Tensor products of finite number of different objects are always well described in the literature. However, the situation of infinite tensor products seems to be much tougher.
Even in the simplest ...
- 143
14
votes
4
answers
1k
views
$L^p$ norm means
Consider the unit sphere $S_p^{n-1}$ of an $L^p$ normin $\mathbb{R}^n.$ The question is: what is the expected value of the $L^q$ norm on $S_p^{n-1}?$ Since (I assume) this is intractable in closed ...
- 96.4k
14
votes
2
answers
2k
views
Is this property equivalent to Lusin's property (N) for continuous functions?
A function $F:[0,1]\rightarrow\mathbb{R}$ satisfies Lusin's (N) property if for every measure zero set $A\subseteq [0,1]$, $F(A)$ has measure zero. (This includes the assertion that $F(A)$ is ...
- 1,601
14
votes
2
answers
926
views
"Explicit" embedding of $\ell^1$ as a closed subalgebra of a direct sum of matrix algebras
For sake of brevity let $A$ denote the Banach algebra formed by equipping $\ell^1({\mathbb N})$ with pointwise multiplication. This algebra is clearly not isomorphic as a Banach algebra to any uniform ...
- 25.8k
14
votes
1
answer
668
views
Why are we interested in spectral gaps for Laplacian operators
Let $M$ be a Riemannian manifold and let $\Delta$ be its Laplacian operator. There is a large literature on a spectral gap for such a $\Delta$, that is, finding an interval $(0,c)$ which does not ...
- 185
14
votes
2
answers
873
views
Which finite dimensional Banach spaces can be represented isometrically as spaces of bounded operators on a finite dimensional Hilbert space?
Background:
It is known that every Banach space $X$ can be embedded isometrically as a subspace in the space $C(K)$ of continuous functions on a compact Hausdorff space $K$. Indeed, one can take $K$ ...
- 550
14
votes
1
answer
922
views
What are the applications of the Mazur-Ulam Theorem?
Every bijective isometry between normed spaces is affine. This well-known and beautiful statement, the Mazur-Ulam Theorem, was proved in 1932, but the proof has been simplified and polished in years, ...
- 60.5k
14
votes
2
answers
588
views
Heuristic interpretation of the 'third index' for Besov and Triebel-Lizorkin spaces
For $p,q \in (0,\infty)$ and $s \in \mathbb{R}$, one can define certain function spaces, $B_s^{p,q}(\mathbb{R}^n)$ and $F_s^{p,q}(\mathbb{R}^n)$, the Besov and Triebel-Lizorkin spaces respectively. ...
user14166
14
votes
2
answers
1k
views
Order-preserving operator norms
Let us regard the $n\times n$ matrices as operators on the $n$-dimensional $\ell_p$ space; that is, we consider them as linear operators $\ell_p^n\to \ell_p^n$. When $p=2$, $M_n$ is a C*-algebra and ...
- 11.3k
14
votes
2
answers
536
views
Reference Request: Elliptic differential operators in the Fréchet setting
Normally the theory of (elliptic) differential operators between vector bundles (or $\mathbb{R}^n$) is presented in the language of Sobolev spaces. I'm searching for a book (or something similar) ...
- 5,824
14
votes
3
answers
768
views
Is $C^{\infty}(\mathbb{R}^{m+n})$ a flat module over $C^{\infty}(\mathbb{R}^{m})$?
For $m>0$ we consider the ring $C^{\infty}(\mathbb{R}^{m})$ of smooth functions on $\mathbb{R}^{m}$. For $n>0$ we consider the projection $\mathbb{R}^{m+n}\to \mathbb{R}^{m}$ hence $C^{\infty}(\...
- 9,019
14
votes
2
answers
4k
views
What is a good reference that compact resolvent implies Fredholm operator?
Suppose $A \in \mathcal{L}(E_1, E_0)$ is a bounded linear operator between Banach spaces $E_1$ and $E_0$, and we also have that $E_1$ is densely, continuously embedded in $E_0$ (i.e. $A$ can be ...
- 191
14
votes
1
answer
1k
views
Any further applications of Freudenthal's 1936 Spectral Theorem?
Seemingly completely forgotten, back in 1936, the Dutch mathematician Freudenthal, quite well known at the time, proved his so called Spectral Theorem, see chapter 6 in Luxemburg & Zaanen : Riesz ...
14
votes
1
answer
514
views
Generalizing the Fourier isomorphism between Sobolev spaces and weighted $L^2$ spaces to (locally) compact groups?
Motivating examples:
Let $V$ be a real vector space with Haar measure $dv$. The fourier transform induces the following topological isomorphism: $$H^s(V,dv) \cong L^2(V^*,(1+|v^*|^2)^sdv^*)$$
The ...
- 7,789
14
votes
2
answers
2k
views
Is the conditional expectation a contraction in weak $\mathbb L^p$ spaces?
Let $(\Omega,\mathcal F,\mu)$ be a probability space. It is well-known that if $\mathcal A$ is a sub-$\sigma$-algebra of $\mathcal F$, $p\geqslant 1$ and $X$ is an element of $\mathbb L^p$ which takes ...
- 3,958
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 "...
- 486
14
votes
0
answers
718
views
Lower bounds on analytic functions connected to Fox H
The question is related to the one I asked before and never got an answer to. Fourier transform of $f_a(x)= a^{-2}\exp(-|x|^a)$, $a \in (0,2)$, is decreasing in $a$ . I need to demonstrate that the ...
- 178
14
votes
0
answers
205
views
Have there been further developments on this scheme for polytope approximations to the unit ball of $\ell_p^n$?
A long time ago I happened to look at, and save (on a floppy disk!) for future reading, a copy of the following article:
W. T. Gowers, Polytope approximations of the unit ball of $l^n_p$.
In Convex ...
- 25.8k
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$.
...
- 24.7k
14
votes
0
answers
3k
views
Tanh version of a Fourier Transform?
I am trying to perform some computations in an environment where it is much easier to compute the hyperbolic tangent function (tanh) than cosines or sines. This prevents me from performing Fourier ...
- 3,979
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
13
votes
3
answers
3k
views
Are uniformly continuous functions dense in all continuous functions?
Suppose that $X$ is a metric space. Is the family of all real-valued uniformly continuous functions on $X$ dense in the space of all continuous functions with respect to the topology of uniform ...
- 233
13
votes
6
answers
2k
views
Interesting examples of non-locally compact topological groups
Harmonic analysis is concentrated mostly on studying locally compact groups. I would like to ask people about examples of non-locally compact topological groups that are interesting in connection with ...
13
votes
6
answers
3k
views
Sets with equal positive measure in every interval
Hi,
I want to write a proof that relies on the fact that:
There are Borel Sets $A$ and $B$ contained in $\mathbb{R}$ such that
$A \cap B = \emptyset$ and $\lambda(A \cap (x,y)) = \lambda(B \cap (x,...
- 133
13
votes
2
answers
1k
views
Calkin Algebra and the embedding
Let $H$ be a separable, infinite dimensional Hilbert Space and $Calk(H):=B(H)/K(H)$ denotes
the Calkin algebra. There is obvious surjection $\pi: B(H) \to Calk(H)$ but I'm interested
in somehow ...
- 9,330
13
votes
2
answers
1k
views
Homotopy groups of Fredholm operators
If $X$ is separable complex Hilbert space and $\mathcal{F}$ the topological space of Fredholm operators on $X$, then it is well-known, that
$$ \pi_0(\mathcal{F}) = \mathbb{Z}\, , $$
i.e. the connected ...
- 173
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)$ ...
- 617
13
votes
3
answers
2k
views
Sobolev spaces and geometry
This is a very naive question, is there a way to geometrically understand Sobolev spaces without going through analysis and PDE's? To my knowledge, Sobolev spaces where created precisely to study PDE'...
- 947
13
votes
2
answers
915
views
Topological vector spaces (reference request)
In his book Topological Function Spaces Arhangel'skii says that "it is well known that every nontrivial locally convex linear topological space $X$ is homeomorphic to a space of the form $Y \...
- 674
13
votes
4
answers
2k
views
Is the category of Banach spaces with contractions an algebraic theory?
Consider the category of Banach spaces with contractions as morphisms (weak, so $\|T\| \le 1$). Is this an algebraic theory?
I suspect that this is true. The "operations" will be weighted sums, ...
- 26.8k
13
votes
2
answers
2k
views
When can we divide continuous functions?
Let $X$ be a compact Hausdorff topological space such that for every continuous $f,g:X\to\mathbb{R}$ with $0\le f\le g$ there is a continuous $h:X\to\mathbb{R}$ such that $f=gh$.
What can be said ...
- 5,529
13
votes
3
answers
2k
views
Space of sections of a fibre bundle with non-compact base space
Let $\pi: E \rightarrow M$ be a fiber bundle over the manifold M and denote by $\Gamma(E)$ the space of smooth sections of $E$.
For compact $M$ it is well known (Hamilton 1982, Part II Corollary 1.3.9)...
- 5,824
13
votes
3
answers
2k
views
A characterization of $L_1(\mu)$ in $L_\infty(\mu)^*$
Let $\mu$ be a finite positive measure on a set $M$:
$$
\mu(M)<\infty.
$$
As is known, the Banach dual space $L_\infty(\mu)^*$ to the space $L_\infty(\mu)$ contains $L_1(\mu)$, but (excluding some ...
- 7,426
13
votes
7
answers
10k
views
What is the best reference for Spectral theory?
I'm studying Bernard Aupetit: A Primer on Spectral Theory
but the textbook we are using is a little bit heavy going for me. Is there a best book to learn about these things?
Thank you.
- 823
13
votes
1
answer
592
views
Topological semi-direct products of groups
In Kaniuth, Taylor, Induced representations of locally compact groups on pages 9-10 it's claimed that if $G$ is a locally compact group with closed subgroups $N,H$, with $N$ normal in $G$, with $N\cap ...
- 18.7k
13
votes
2
answers
897
views
Can non-central projections still commute with all other projections?
Let $A$ be a C*-algebra and let $\mathcal{P}(A)$ denote the set of projections in $A$. If $p\in\mathcal{P}(A)$ commutes with everything in $\mathcal{P}(A)$ does it necessarily commute with everything ...
- 1,307
13
votes
3
answers
1k
views
Is the set of separable quantum states closed?
Let $\mathcal H,\mathcal H'$ be Hilbert spaces (not necessarily separable).
A "separable state" is a trace-class operator of the form $\sum_i \rho_i\otimes\rho_i'$ where $\rho_i,\rho_i'$ are positive ...
- 896
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 ...
- 3,017
13
votes
2
answers
1k
views
Applications of non-separable Hilbert spaces
In applications, Hilbert spaces of interest are often assumed to be separable. In addition to being extremely convenient mathematically, this assumption can often be justified on computational or ...
13
votes
2
answers
4k
views
Structure theorem for finite dimensional $C^*$-algebras and their representations
I would like a source for some Artin-Wedderburn type facts about these algebras which seem to have easy proofs, and are probably written somewhere.
Let $\mathcal{A} \subset M_n(\mathbb{C})$ be an ...
- 1,429
13
votes
3
answers
650
views
General principles which lead to good questions in many concrete situations [closed]
I believe that in various fields of mathematics there are general principles which might lead to good questions and good results in many concrete situations. I would like to have a list of such ...
13
votes
2
answers
768
views
How hard (P, NP, NP-hard) is it to compute Schur norms of matrices (as multipliers)?
Given a matrix $A\in M_n(\mathbb{C})$, I will denote by $||A||_\infty$ the operator norm of $A$, as seen acting on the Hilbert space $\mathbb{C}^n$. This makes $M_n(\mathbb{C})$ into a Banach space (...
- 647
13
votes
1
answer
3k
views
metric on the space of real analytic functions
Hello,
this question may be simple but I couldn't find a reference.
Let $E$,$F$ be real Banach spaces and $\Omega\subset E$ be a bounded domain and let $C_b^{\omega}(\Omega,F)$ be the vector space of ...
- 223
12
votes
2
answers
3k
views
Does there exist an isometry between $L^p$ and $l^p$?
The motivation is simple, as it is trivially right when $p=2$. When considering the duality between $L^p$ ($l^p$) and $L^q$ ($l^q$) when $p$ and $q$ are conjugate in the sense that $1/p+1/q=1$, I ...
- 619