All Questions
10,050 questions
10
votes
0
answers
266
views
Are biduals of spaces of differentiable functions on hypercubes Grothendieck?
Consider the space $E_n = C^1([0,1]^n)$ of continuously differentiable functions with the usual norm
$$\max\{ \|f\|_\infty, \|f^\prime_{x_1}\|_\infty, \ldots, \|f^\prime_{x_n}\|_\infty\}.$$ making it ...
- 11.3k
10
votes
0
answers
845
views
Witt's proof of Gelfand-Mazur / Ostrowski's Theorem
Previously asked on Math Stackexchange without answers.
Background: As sort of a hobby, Ernst Witt gave extremely short proofs for famous theorems. This question is about his six-line proof of the ...
- 2,454
10
votes
0
answers
747
views
Models for Eilenberg-MacLane space K(Z,3)
Denote by $U(H)$ and $PU(H)$ the unitary and projective unitary groups on an infinite-dimensional Hilbert space $H$. Recall that $U(H)$ is contractible by Kuiper's theorem and that $PU(H)$ is a $K(Z,2)...
- 665
10
votes
0
answers
251
views
Do sufficiently large Banach spaces admit non-compact operators with not too large range?
As in the title,
does there exist a cardinal number $\lambda$ such that for every Banach space $X$ of density/cardinality at least $\lambda$ there exists a non-compact bounded, linear operator $T\...
- 11.3k
10
votes
0
answers
201
views
Masas in SAW*-algebras
I asked this question three years ago at MSe but it has no response; let me try here.
Pedersen distilled the following class of C*-algebras which he termed SAW*-algebras (Journal of Operator Theory, ...
- 11.3k
10
votes
0
answers
325
views
Are ideals in separable C*-algebras complemented subspaces?
Let $A$ be a separable C*-algebra and $J\subseteq A$ a closed two-sided ideal. Does this make $J$ into a complemented subspace of $A$? In other words, does the quotient map $A\to A/J$ have a ...
- 6,406
10
votes
0
answers
207
views
Projective tensor squares of uniform algebras
In discussion with a colleague recently (Jan 2017),
$\newcommand{\AD}{A({\bf D})}\newcommand{\CT}{C({\bf T})}$
I was reminded that if $A(D)$ denotes the disc algebra and $\iota: \AD\to \CT$ is the ...
- 25.8k
10
votes
0
answers
761
views
Reference request : Grothendieck's topological space valued integral
As I am learning the different kind of Banach space valued integrals (Pettis, Bochner), I know that Grothendieck made a "mémoire" in his youth about this topic, but I don't know if it is available ...
- 1,616
10
votes
1
answer
2k
views
Chain rule for distributional derivative
Let $V \subset H \subset V^*$ be a Gelfand triple (eg. $H^1 \subset L^2 \subset H^{-1}$).
Let $u \in L^2(0,T;V)$ have a distributional derivative $u' \in L^2(0,T;V^*)$. So $\int_0^T u(t)\varphi'(t) = ...
- 145
10
votes
0
answers
508
views
Tensorial decomposition of $B(H)$
Let $H$ be an infinite-dimensional Hilbert space and let $\mathcal{B}(H)$ be the (C*/W*-)algebra of bounded operators on it. Actually, you may forget about the involution in $\mathcal{B}(H)$ because I ...
- 101
10
votes
0
answers
744
views
Is the set of real-valued lower semi-continuous functions measurable in epigraph topology (= topology of Gamma convergence)?
Let LSC = LSC([0,1]) be the set of non-negative, lower semi-continuous functions on the unit interval which take values in $\mathbb{R}_+ \cup \{\infty\}$. We use epigraph topology on LSC, i.e. a ...
- 888
10
votes
0
answers
509
views
Lacunary hyperbolic groups and weak amenability
In the paper called Lacunary Hyperbolic group, Y. Ol'shanskii, D. Osin and M. Sapir define and characterize the lacunary hyperbolic groups, which contains the hyperbolic groups but also Tarski's ...
- 195
10
votes
0
answers
609
views
Asymptotic non-distortion of the separable Hilbert space
By the work of E. Odell and Th. Schlumprecht, we know that the
separable Hilbert space $\ell_2$ is arbitrarily distortable. But
I don't know if an "asymptotic" version of their result is true.
To ...
- 576
9
votes
4
answers
2k
views
How may I find all continuous and bounded functions g with the following property?
Find all continuous and bounded functions $g$
with :
$$\forall x \in \mathbb R, 4g(x)=g(x+1)+g(x-1)+g(x+\pi)+g(x-\pi).$$
I have posted this question here, but received no answer.
- 4,074
9
votes
3
answers
1k
views
Does there exist a notion of discrete riemannian metric on graph?
I would like to know if there is any notion of a discrete Riemannian metric on graphs. C. Mercat has worked on discrete Riemann Surfaces, but that's not exactly what I am working on.
To be more ...
- 91
9
votes
2
answers
1k
views
Density of restrictions of harmonic functions inside a ball
Let $B$ be the closed unit ball in $\mathbb R^3$ centered at the origin and let $U= \{x\in \mathbb R^3\,:\, \frac{1}{2}\leq |x| \leq 1\}.$ Let
$$ S_U= \{u \in C^{\infty}(U)\,:\, \Delta u =0 \quad\text{...
- 4,153
9
votes
3
answers
601
views
Associative mean
Can there be a function $m(a,b)$ that is both associative and a mean, i.e.,
$\min (a,b) \leq m(a,b) \leq \max (a,b)$? The obvious solutions are $m(a,b) = \max(a,b)$ or $\min(a,b)$, but are there ...
- 4,829
9
votes
5
answers
2k
views
Convexity of distance-to-boundary function
Let $\Omega\subset\mathbb{R}^{n}$ be an open,
bounded convex domain. Denote $d_{\Omega}:\Omega\rightarrow\mathbb{R}$
the distance-to-boundary function, that is,
$$
d_{\Omega}\left(x\right):=\inf\left\...
- 91
9
votes
2
answers
758
views
Number of critical points of smooth functions on $S^1$
Let $u$ be a smooth function on the unit circle $S^1$ such that $\int_{S^1}ux_j=0$, for $j=1,2$. Is the number of critical points of $u$ strictly bigger than 2?
9
votes
4
answers
4k
views
Is the space of Radon measures a Polish space or at least separable?
Background: I work on a SPDE problem where in order to apply Prokhorov's theorem I need that some measure space is Polish space. And additionaly it would be good if that space is Banach space. Earlier ...
- 657
9
votes
1
answer
2k
views
Is a manifold generically real analytic (with generic real analytic metric)?
I have heard it said in some differential geometry talks that "the generic situation in such and such case is real analytic". My question is, is the generic smooth manifold also real analytic in some ...
- 123
9
votes
3
answers
568
views
Defining the abstract tensor product of W*-algebras via a universal property
I am playing around a bit with $W^*$-algebras, and I'm trying to come up with a definition for the $W^*$-algebraic tensor product. Here is my first attempt:
It is easy to show that such an object ...
- 175
9
votes
4
answers
2k
views
Books about capacity theory
While I was studying the book Variation et Optimisation de formes by Antoine Henrot and Michel Pierre, I encountered a section about the capacity associated to the $H^1$ norm, which is defined for ...
- 2,222
9
votes
2
answers
334
views
Does $\pm A \leq B$ imply that $B^{-1} A$ is bounded?
Lately I have to use a lot of functional calculus. A question that keeps popping up and that I don't manage to resolve is the following:
Let $A,B$ be self-adjoint (not necessarily bounded) operators ...
- 1,045
9
votes
4
answers
906
views
Defining the value of a distribution at a point
Let $\omega\in D'(\mathbb R^n)$ be a distribution and $p\in \mathbb R^n$. If there is an open set $U\subset \mathbb R^n$ containing $p$ such that $\omega|_U$ is given by a continuous function $f\in C(...
- 1,942
9
votes
3
answers
736
views
Cyclic vectors for the shift operator
Let $S:\ell^2\to\ell^2$ be the shift operator
$$
S(x_1,x_2,\dots)=(0,x_1,x_2,\dots).
$$
Let $x\in \ell^2$ with $x_1=1$. Is $x$ cyclic for $S$? In other words, is the span of the vectors $x,Sx,S^2x,\...
user1688
9
votes
2
answers
299
views
Two inequalities in $C^*$ algebras
Under what conditions on a $C^*$ algebra $A$ we have the following inequality:
$$x^*a^*ax+a^*x^*xa\leq x^*x+a^*x^*ax+x^*a^*xa\;\;\; \forall x,a\in A$$
The second identity which I am looking for is ...
- 356
9
votes
3
answers
3k
views
The classical Krein-Rutman theorem
The classical Krein-Rutman theorem states that any positive compact linear endomorphism $T:X \to X$ on a Banach space $X$ with positive spectral radius $r(T)$ has an eigenvalue $r(T)$ with a positive ...
- 1,202
9
votes
2
answers
611
views
When does $\left\Vert f(\mathbf{N}) - f(\mathbf{M})\right\Vert_{\mathrm{op}} \leq k\left\Vert \mathbf{N} - \mathbf{M}\right\Vert_{\mathrm{op}}$ hold?
Define the Frobenius norm of a matrix as $\left\Vert A \right\Vert_{\mathrm{F}}=\sqrt{\sum_{i,j} A_{ij}^2}$ and the operator norm as $\left\Vert A \right\Vert_{\mathrm{op}}=\sup_{x \not = 0} \frac{\...
- 93
9
votes
3
answers
4k
views
Projections in Banach spaces
Dear All,
I am absolutely lost in the following problem:
Let $P_s, \: s \in [0,1],$ be a uniformly bounded family of projections (idempotents) in a Banach space $X$ such that $P_s P_t = P_{{\rm min}...
- 93
9
votes
2
answers
394
views
Can one detect a cyclic and separating vector for a concrete $C^*$-algebra using a dense subalgebra?
Let $A$ be a $C^*$ algebra of operators acting on some Hilbert space $H$, and $A_0$ is a norm dense $*$-subalgebra of $A$. Suppose there exists some unit vector $\xi \in H$, such that (i) $A_0 \xi$ is ...
- 1,586
9
votes
2
answers
338
views
Does $End(V)$ remember $V$, where $V$ is a locally convex space?
Let $V$ be a locally convex topological vector space over $\mathbb C$, and let $A=\mathrm{End}(V)$ be its algebra of continuous linear endomorphisms (viewed just as a $\mathbb{C}$-algebra, not as a ...
- 43.2k
9
votes
1
answer
682
views
A differential inequality needed to prove a theorem about odd-dimensional souls
I need a solution to this problem (which is really a calculus problem) in order to prove a rigidity result for open nonnegatively curved manifolds with odd-dimensional souls:
Suppose that $f,g:\...
- 93
9
votes
2
answers
1k
views
Which Banach algebras are group algebras?
Given a locally compact Hausdorff group $G$, one can construct several Banach star-algebras using $G$ (and its associated Haar measure): $L^1 (G)$, $M(G)$ (regular complex measures on $G$), $L^{\infty}...
- 4,874
9
votes
2
answers
1k
views
Borsuk pairs of Banach spaces
Given $X$, $Y$ two real Banach spaces, let's say that $(X,\ Y)$
is a Borsuk pair if for any continuous mapping $T$ : {$x$ $\in$
$X$ ; $||x||\leq1$} $\rightarrow$ $Y$ s.t. $T$ is odd on {$x$
$\in$ $X$ ;...
- 4,060
9
votes
5
answers
870
views
Abelianization of GL(H)
This is related to Theo's question about the abelianizations of finite dimensionsal Lie groups.
I am interested in a specific (infinite-dimensional) case of the above question. Let H be an infinite-...
- 629
9
votes
1
answer
954
views
Is there always a complete, orthogonal set of unitary matrices?
The set of size-$n$ unitary matrices span $\Bbb C^{n \times n}$ (this can be proven nicely using polar decomposition). If we select a maximal linear subset of unitary matrices, then we have a basis ...
- 356
9
votes
1
answer
777
views
Abstract result on partitions of unity?
A motivation: The classical Stone-Weierstrass theorem says that polynomials are dense among continuous functions (say, on the unit interval), while the abstract Stone-Weierstrass theorem (and also the ...
- 2,479
9
votes
1
answer
557
views
Dimension of eigenspaces of Laplacian on a compact Riemannian manifold
Let $M$ be a compact smooth manifold, let $g$ a riemannian metric and let $\Delta_{g}$ the Laplacian operator on functions induced by $g$. Is there a (topological?) bound on the dimension of $n$-th ...
- 91
9
votes
2
answers
928
views
Property (T) for pseudogroups
Let $H$ be a Hilbert space, $S(H)$ be the inverse semigroup (pseudogroup) of linear maps between (closed) subspaces of $H$ preserving the dot product (the operation is composition of partial maps). ...
user6976
9
votes
3
answers
3k
views
Is the "closedness of the image of operator" needed in the defintion of Fredholm operators?
in the Higson and Roe's book "analytic K-homology" just after the definition of the Fredholm operator there is a remark (2.1.3 you can see at it onlin at Google books (click here)) which claims that ...
- 91
9
votes
3
answers
763
views
Approximating with translated Gaussians and low-frequency trig functions
Defining the translated Gaussians by $f_t(x)=\exp(-(x-t)^2)$ for $t,x\in\Bbb{R}$, we showed that the linear span of $\{f_t \mid 0 \le t < \epsilon\}$ is dense in $L^2(\Bbb{R})$, for any $\epsilon&...
- 524
9
votes
2
answers
306
views
Ideal characterization of almost convergence
$\bullet$ A real sequence $x=(x_n)_n$ is called convergent to $\alpha$ in usual sense if for any $\epsilon>0$ the set $\{n\in\mathbb N:|x_n-\alpha|\geq\epsilon\}$ is finite.
$\bullet$ A real ...
- 930
9
votes
1
answer
912
views
The Fourier transform of a function supported on $B_1$ is essentially constant on $B_1$?
I'm going through the last steps of Bourgain and Demeter's proof of the $l^2$ decoupling conjecture, but I'm unable to see how the first inequality in (43) goes through. I'll water down the question a ...
- 5,169
9
votes
2
answers
321
views
For which $f \in L^2([0,1])$ is $f^\perp \cap C^\infty$ dense in $f^\perp$?
Given $f \in L^2([0,1])$, $f \neq 0$, we can consider the orthogonal complement $f^\perp$ . The smooth functions $C^\infty([0,1])$ are dense in $L^2([0,1])$. Is the intersection $f^\perp \cap C^\infty(...
- 93
9
votes
3
answers
2k
views
Simultaneous Orthogonal basis for $L^2(\mathbb{R}^n)$ and $H^1(\mathbb{R}^n)$
Given a smooth bounded set $U\subset \mathbb{R}^n$, there is a simultaneous orthogonal basis for $L^2(U)$ and $H^1_0(U)$ by the existence of eigenvectors to the Laplacian in a bounded domain, which ...
user47808
9
votes
1
answer
429
views
Is $\mathcal{S}(\mathbb{R}^n)$ a tame Fréchet space?
Hamilton's paper "The Inverse Function theorem of Nash and Moser" (1982, Bull. Amer. Math. Soc, vol. 7, n. 1, page $137$) proves that $C^{\infty}(M)$ is a tame Fréchet space when $M$ is a compact ...
- 370
9
votes
6
answers
839
views
Open mapping theorem for complete non-metrizable spaces?
The classical open mapping theorem in functional analysis certainly holds in the Banach space setting, and this is where I first encountered it. Slightly more advanced textbooks (e.g. Rudin's ...
9
votes
1
answer
1k
views
Counterintuitive consequences of the Hahn-Banach theorem
The axiom of choice has many counterintuitive consequences like the Banach-Tarski paradox.
The Hahn-Banach theorem is a consequence of the axiom of choice, but it is weaker.
I would like to know ...
- 4,461
9
votes
1
answer
401
views
Horn's inequalities for n matrices
Where I can find necessary and sufficient conditions on eigenvalues of Hermitian matrices with the relation $$A_1 + A_2 + ... + A_n = A_0 ,$$
i.e. Horn's inequalities for n matrices?
Can such ...
- 1,318