Skip to main content
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
Results tagged with
Search options not deleted user 16702

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 …
Matthias Ludewig's user avatar
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 …
Matthias Ludewig's user avatar
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 …
Matthias Ludewig's user avatar
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 …
Matthias Ludewig's user avatar
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 …
Matthias Ludewig's user avatar
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 …
Matthias Ludewig's user avatar
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 …
Matthias Ludewig's user avatar
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 …
Matthias Ludewig's user avatar
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 …
Matthias Ludewig's user avatar
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 …
Matthias Ludewig's user avatar
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 …
Matthias Ludewig's user avatar
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 …
Matthias Ludewig's user avatar
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 …
Matthias Ludewig's user avatar
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 …
Matthias Ludewig's user avatar
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)$ …
Matthias Ludewig's user avatar

15 30 50 per page