3,052 reputation
933
bio website math.uni-trier.de/~wengenroth
location Universität Trier
age 47
visits member for 3 years, 6 months
seen 13 hours ago
I am Professor for Mathematics at the Unversität Trier (Germany)

Jul
23
answered Generalized functions on a product of two manifolds
Jul
20
comment Oriented volume and determinants: Circularity
@DeaneYang Okay, this a way to avoid the circularity. Thanks.
Jul
18
reviewed Approve Commutative algebra books representing the edge of research
Jul
18
comment Oriented volume and determinants: Circularity
@DeaneYang Your suggestion thus uses determinants (to show that $GL(n)$ has two path components) in the definitionof orientation.
Jul
17
asked Oriented volume and determinants: Circularity
Jun
23
comment When does analytic in the operator norm imply analytic in the trace class norm?
Extending a bit Christian Remling's comment: Grothendieck proved that for a complete locally convex space $X$ a function $f:U\to X$ is holomorphic if $\varphi\circ f:U\to \mathbb C$ is holomorphic for all continuous linear functionals $\varphi$ on $X$. As far as I remember, one does not even need all $\varphi$.
Jun
15
comment Exponential rule for Whitney-$\mathcal{C}^{\infty}$-topology
Time to create an "Ask-Michor-tag". More seriously, Peter Michor, Andreas Kriegl, and collaborators did a lot on such questions for a big variety of function spaces. Look for "convenient calculus".
Jun
15
accepted The list of problems for Grothendieck's thesis
Jun
15
awarded  Nice Question
Jun
14
asked The list of problems for Grothendieck's thesis
Jun
11
reviewed Approve Lie Algebra, counterexample
Jun
9
comment Normed space that is sigma-totally-bounded but is not sigma-compact
Here is an idea (which might not yet really work) to find $c_0$ as a subspace of $C^1(I)$: Choose $\phi_n \in C^1(I)$ with disjoint supports (contained in $[1/n - 1/n^2, 1/n+1/n^2]$), $\phi_n(1/n)=1$ and $|\phi_n(x)|\le 1$ and define $T$ on $c_0$ by $T(\alpha)=\sum\limits_{n=2}^\infty \alpha_n \phi_n$. This will be isometric from $c_0$ to $C(I)$ and the only problem is, that $T(\alpha)$ is not differentiable at $0$ (only continuity follows from $\alpha_n\to 0$).
Jun
9
comment Normalized tight frame that is not orthonormal
My comment intended to show that the condition on the norms implies orthogonality.
Jun
8
comment Normalized tight frame that is not orthonormal
You mean $\|f\|_2^2$, don't you? For $f=\psi_{m,n}$ you then get $\|\psi_{m,n}\|_2^2= \sum_{j,k} |\langle \psi_{m,n},\psi_{j,k}\rangle|^2 = \|\psi_{m,n}\|_2^2 + \sum_{(j,k)\neq (n,m)} |\langle \psi_{m,n},\psi_{j,k}\rangle|^2 $ so that $\langle \psi_{m,n},\psi_{j,k}\rangle=0$ for all $(j,k)\neq (n,m)$.
Jun
2
awarded  Popular Question
May
30
comment topology of setwise convergence of measures
If you ask a question here it is not only a matter of politeness to show some reaction if your question is answered.
May
22
revised topology of setwise convergence of measures
corrected spelling
May
20
answered topology of setwise convergence of measures
May
11
revised Relation between dual of nuclear space $(\substack{\text{lim} \\ \leftarrow i} H_i)'$ and $\substack{\text{colim} \\ i \rightarrow } H_i$
Explanantion added.
May
7
answered Relation between dual of nuclear space $(\substack{\text{lim} \\ \leftarrow i} H_i)'$ and $\substack{\text{colim} \\ i \rightarrow } H_i$