Search Results
Search type | Search syntax |
---|---|
Tags | [tag] |
Exact | "words here" |
Author |
user:1234 user:me (yours) |
Score |
score:3 (3+) score:0 (none) |
Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
Views | views:250 |
Code | code:"if (foo != bar)" |
Sections |
title:apples body:"apples oranges" |
URL | url:"*.example.com" |
Saves | in:saves |
Status |
closed:yes duplicate:no migrated:no wiki:no |
Types |
is:question is:answer |
Exclude |
-[tag] -apples |
For more details on advanced search visit our help page |
Banach spaces, function spaces, real functions, integral transforms, theory of distributions, measure theory.
16
votes
Accepted
Formal adjoint of the covariant derivative
Ad 1: Yes, there is. The formula is
$$\nabla^*(X^\flat \otimes u) = - \nabla_X u -\mathrm{div}(X) \cdot u,$$
as can easily seen by local computation. Here, $X$ is a vector field and $X^\flat$ is the d …
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 bo …
10
votes
1
answer
359
views
Group of isometries of Banach spaces a topological group?
Let $X$ be a Banach space and let $\mathrm{Iso}(X)$ be its group of isometries, i.e., the set of surjective linear maps $T: X \to X$ with $\|Tx\| = \|x\|$.
Q: Is $\mathrm{Iso}(X)$ a topological group …
8
votes
0
answers
207
views
(Un)bounded Geometry and Sobolev Spaces
This post is related to this and this post.
It is known that on a complete Riemannian manifold, the space $C^\infty_c(M)$ is generally not dense in the Sobolev spaces $W^{k, p}(M)$ ($1 \leq p < \inft …
7
votes
3
answers
408
views
Are nearby subalgebras of matrix algebras conjugate?
Let $k=\mathbb{R}$ or $\mathbb{C}$ and let $A$ be a finite-dimensional $k$-algebra. If $A$ is simple, then the Skolem-Noether theorem says that any two algebra homomorphisms $f, g: A \to M_n(k)$ are c …
6
votes
1
answer
202
views
Smoothness of family of distributions
Let $X$ be a compact manifold. Denote by $\mathscr{D}^\prime(X \times X)$ the space of tempered distributions on the cartesian product $X \times X$. Given two test functions $\varphi, \psi \in \mathsc …
6
votes
0
answers
124
views
Meagre sets of bounded operators
Let $H$ be a separable, infinite-dimensional Hilbert space and let $\mathbb{B}(H)$ be the algebra of bounded operators on $H$. The norm topolology on $\mathbb{B}(H)$ is stricly finer, hence the identi …
6
votes
2
answers
322
views
Nonvanishing section of infinite-dimensional tautological bundle
Let $H$ be a real or complex Hilbert space. In the case where $H$ is infinite-dimensional, let us define a half-dimensional subspace as a subspace $W \subset H$ such that both $W$ and $W^\perp$ have i …
6
votes
1
answer
215
views
Boundary values of boundary value problems
Let $M$ be a manifold with smooth boundary. We can consider the Dirichlet or the Neumann problem on $M$. Let $(\phi_k)$ be an orthonormal basis of eigenfunctions to the Dirichlet problem and let $(\ps …
6
votes
1
answer
412
views
Absolutely 2-summable operator on a Hilbert space
An bouneded linear operator $A \in L(X, Y)$ (here $X$, $Y$ are Banach spaces) is called absolutely $2$-summable if there exists a $C>0$ such that
$$ \left( \sum_{j=1}^N \| A x_j\|_X^2 \right)^{1/2} \l …
6
votes
1
answer
1k
views
Tensor product of measure spaces
For a compact topological space $X$, denote by $\mathcal{M}(X)$ the Banach space of finite signed Borel (Radon) measures on $X$ with the total variation norm. This is canonically isometric to the dual …
5
votes
1
answer
232
views
Zeta-Determinant Theorem
Recently, someone asked on MO about lecture notes from Graeme Segal's "Stanford lectures" on TQFT, and the answer was to check here.
When scrolling over the notes, I stumpled of Prop. 2.8.2 in lectu …
5
votes
1
answer
260
views
Do powers of the shift operator applied to a non-zero vector always yield a total set?
Let $S$ be the (say, left) shift operator on $\ell^2(\mathbb{Z})$. For a non-zero vector $x \in \ell^2(\mathbb{Z})$, consider the set
$$X = \{ S^n v \mid n \in \mathbb{Z} \}.$$
Is this always a total …
5
votes
0
answers
212
views
Tensors and Nuclear/Fredholm Operators
For a locally convex Hausdorff spaces $E$, consider the canonical map
$$\overline{\psi}:E^\prime \hat{\otimes}_\pi E \longrightarrow L(E_\sigma)$$
that maps the projective tensor product to the space …
5
votes
2
answers
1k
views
Compactly supported functions and Sobolev spaces on manifolds
It is well-known that if a complete Riemannian manifold has bounded curvature and injectivity radius bounded away from zero, then the space $C^\infty_c(M)$ is dense in the Sobolev spaces $W^{k, p}(M)$ …