Banach spaces, function spaces, real functions, integral transforms, theory of distributions, measure theory.

learn more… | top users | synonyms (1)

46
votes
0answers
2k views

2, 3, and 4 (a possible fixed point result ?)

The question below is related to the classical Browder-Goehde-Kirk fixed point theorem. Let $K$ be the closed unit ball of $\ell^{2}$, and let $T:K\rightarrow K$ be a mapping such that $\Vert ...
32
votes
0answers
1k views

Set-theoretic reformulation of the invariant subspace problem

The invariant subspace problem (ISP) for Hilbert spaces asks whether every bounded linear operator $A$ on $l^2$ (with complex scalars) must have a closed invariant subspace other than $\{0\}$ and ...
26
votes
0answers
2k views

Example of a compact set that isn't the spectrum of an operator

This question is somewhat ill-posed (due to the word easy) and is triggered by idle curiosity: Is there an easy example of a (separable, infinite-dimensional) Banach space $X$ and a nonempty ...
23
votes
0answers
1k views

Subalgebras of von Neumann algebras

In the late 70s, Cuntz and Behncke had a paper H. Behncke and J. Cuntz, Local Completeness of Operator Algebras, Proceedings of the American Mathematical Society, Vol. 62, No. 1 (Jan., 1977), pp. ...
20
votes
0answers
444 views

When are two C*-algebras isomorphic as Banach spaces?

We may consider each $C^*$-algebra as a Banach space (by forgetting the multiplication and adjoint). I wonder how drastic this step is, i.e., which properties of the $C^*$-algebra are reflected by its ...
19
votes
0answers
365 views

Why are quasitopological spaces needed in sheaf theoretic approaches to the h-principle?

Recently I have been learning more about the h-principle and in particular the methods of "continuous sheaves". In many treatments of this I see people using "quasi-topological spaces" and I am trying ...
17
votes
0answers
582 views

Are the eigenvalues of the Laplacian of a generic Kähler metric simple?

It is a theorem of Uhlenbeck that for a generic Riemannian metric, the Laplacian acting on functions has simple eigenvalues, i.e., all the eigenspaces are 1-dimensional. (Here "generic" means the set ...
14
votes
0answers
494 views

The Mackey Topology on a Von Neumann Algebra

Every von Neumann algebra $\mathcal M$ is the dual of a unique Banach space $\mathcal M_* $. The Mackey topology on $\mathcal M$ is the topology of uniform convergence on weakly compact subsets of ...
13
votes
0answers
1k views

Borel Lemma for vector-valued functions

The classical Borel Lemma states that for an arbitrary sequence $(v_n)_{n \in \mathbb{N}_0}$ of complex numbers there is a smooth function $f\colon \mathbb{R} \longrightarrow \mathbb{C}$ with Taylor ...
13
votes
0answers
470 views

Closed connected additive subgroups of the Hilbert space

It is a classical result that a closed and connected additive subgroup of $\mathbb{R}^n$ is necessarily a linear subspace. However, this is no longer true in infinite dimension: a very easy example is ...
13
votes
0answers
1k views

Finite Rank Commutators

My former student Detelin Dosev and I are interested in classifying the commutators in $L(X)$, the bounded linear operators on the Banach space $X$ (see our joint paper on my home page or the ArXiv ...
12
votes
0answers
337 views

Noncommutative arithmetic mean geometric mean inequality and symmetric polynomials

While analyzing convergence speed of stochastic-gradient methods for convex optimization problems, Recht et al (2011) posed a tantalizing conjecture. It seems quite tricky, so after having struggled a ...
12
votes
0answers
1k 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 ...
12
votes
0answers
1k views

Infinite convex combinations in a Banach space

Let's say that a subset $C$ of a Banach space $X$ is $\sigma$-convex if the following property holds: For any sequence $(x_k)_{k\ge0}$ in $C$, and for any sequence of non-negative real numbers ...
12
votes
0answers
340 views

Symmetric (extended) Haagerup tensor product

Given a von Neumann algebra M, then the weak$^*$ (or extended) Haagerup tensor product of M with itself is the collection of $\tau\in M\overline\otimes M$ with $$\tau=\sum_i x_i\otimes y_i$$ the sum ...
11
votes
0answers
302 views

Homotopy equivalence vs weak homotopy equivalence in Gromov's h-principle

My question concerns Gromov's h-principle for open diffeomorphism-invariant partial differential relations on open manifolds; see e.g. Eliashberg/Mishachev: Introduction to the h-principle, §6.2.A and ...
11
votes
0answers
335 views

Does anybody know if the Fourier algebra of SL(3,Z) has an approximate identity?

(Note to those who like to tidy LaTeX, or ${\rm \LaTeX}$: I kindly request that you don't put any LaTeX in the title of this question, nor change the bolds below to blackboard ...
10
votes
0answers
124 views

Star-shaped Folner sequence

Fix a (finite) generating set $S$ for $\Gamma$ (discrete) amenable. Given a Følner sequence (i.e. a sequence of finite sets $F_n$ whose boundary $\partial F_n$ in the Cayley graph of $S$ is such that ...
10
votes
0answers
350 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$. ...
10
votes
0answers
421 views

Properties of orthogonality-preserving c.p. maps between $C^*$-algebras

Suppose that $A,C$ are $C^*$-algebras and $\phi:A \to C$ is a completely positive, orthogonality-preserving linear map. (Orthogonality preserving means: if $a,b \in A$ satisfy $ab=0$ then ...
10
votes
0answers
224 views

Combinatorial Hilbert spaces

Any closed subspace $V\subset {\ell}^2(\omega)$ has associated to it a subset ${\cal S}_V$ of ${\cal P}(\omega)$, call it a combinatorial Hilbert space, namely the set of all supports of all vectors ...
10
votes
0answers
1k 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), ...
9
votes
0answers
166 views

Convergence in $L^2$ of iterated expectations

Take a probability space $(\Omega,\mathcal{F},\mathbf{P})$ and random variable $X \in L^2(\Omega,\mathcal{F},\mathbf{P})$. Define the iterated expectations of X as follows: $X_0 = X$, and, ...
9
votes
0answers
330 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 ...
9
votes
0answers
239 views

Does the algebra of bounded variation functions have a “noncommutative geometric” meaning and generalization?

According to Gelfand-Naimark theory, $C^*$-algebras of continuous functions $\mathcal{C}^0(X,\mathbb{C})$ on a compact Hausdorff topological space completely capture its topology. Furthermore, every ...
9
votes
0answers
329 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 ...
9
votes
0answers
523 views

Is the Fourier-Transform a bounded operator on Lorentz spaces L(2,q)?

It is well known that the Fourier transform $\mathcal{F}$ maps $L^1(\mathbb{R}^n)$ continuously into $L^\infty(\mathbb{R}^n)$ and $L^2(\mathbb{R}^n)$ continuously into $L^2(\mathbb{R}^n)$. Then, by ...
9
votes
0answers
455 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 ...
8
votes
0answers
233 views

Closure of $L(\ell^2,\ell^2)$ in $L(\ell^2,\ell^\infty)$

Let $\ell^2$, $\ell^\infty$ denote the usual sequence spaces and let $L(\ell^2,\ell^2)$ the Banach space of bounded linear operators from $\ell^2$ to $\ell^2$ as well as $L(\ell^2,\ell^\infty)$ the ...
8
votes
0answers
186 views

Laplace Transform in the context of Gelfand/Pontryagin

Question: Do quasi-characters properly generalize the Laplace transform or decompose functions in some setting in a way similar to how characters generalize the Fourier transform and decompose $L^1$ ...
8
votes
0answers
232 views

Carleson's Theorem on Manifolds

Let $M$ be an oriented, compact, differentiable manifold with some Riemmanian metric $g$, so that $(M,g)$ has a nice volume form and one can define $L^2(M,g)$ as the completion of $C^\infty(M)$ under ...
8
votes
0answers
234 views

Ultrapowers of Banach spaces without the continuum hypothesis

Let $\mathcal{U}$ be a non-trivial ultrafilter on the set of integers $\mathbb{N}$, and let $C(K)$ denote the Banach space of continuous functions on a compact $K$. Under the continuum hypothesis CH, ...
8
votes
0answers
341 views

Does this metric have an official name? Lévy metric? Ky Fan metric?

Let $X$ and $Y$ be random variables taking values in a separable metric space $(S,d)$. The metric I have in mind is $$\rho(X,Y) = \mathbb{E}[\min\{d(X,Y),1\}]$$ if $X$ and $Y$ take values in the a ...
8
votes
0answers
174 views

Where to use differential calculus on space of measures?

One great inside of Felix Otto is that the Wasserstein metric from optimal transportation gives the space of (finite second moment, probability) measures on $\mathbb{R}^n$ (or a manifold) a kind of ...
8
votes
0answers
490 views

A basic question on Stone-Cech compactification of $\mathbb{Z}$

Can the identity isomorphism on the additive group $\mathbb{Z}$ be extended to a non-identity semigroup isomorphism on $\beta\mathbb{Z}$, and still preserves $\beta\mathbb{Z}\setminus\mathbb{Z}$? ...
8
votes
0answers
238 views

Preduals of $\ell_1$

The space $\ell_1$ has loads of (isomorphic) predulas. They can be as weird as possible but I am interested in Banach lattices. Question: Let $X$ be a Banach lattice with dual isomorphic to $\ell_1$. ...
8
votes
0answers
382 views

High-dimensional geometry: Top-down Vs. Bottom-up

There are several ways to leverage one's intuition from low-dimensional geometry to understand high-dimensional phenomena. For example, one can get a clearer picture of the behaviour of ...
8
votes
0answers
363 views

Parametrisations for Null Temperature Functions: nonuniqueness of solutions to the Heat Equation

Disclaimer I expect this is a highly open problem, but maybe I'm wrong and someone has come up with some answers besides those given here. In any case, all information appreciated, thanks! Definition ...
8
votes
0answers
391 views

Are there non-reflexive abelian topological groups isomorphic to their second dual?

I posted the following question in a comment at Are there non-reflexive vector spaces isomorphic to their bi-dual? and it got one upvote, but it didn't get an answer, so I'll post it as an ...
8
votes
0answers
525 views

How hard is it to make a differential operator Hermitian?

Let $M$ be a closed finite-dimensional smooth manifold (over $\mathbb R$). Let $C^\infty(M) = C^\infty(M,\mathbb C)$ be the algebra of smooth complex-valued functions on $M$, with the natural complex ...
7
votes
0answers
262 views

The Banach space of bounded functions with countable support

Let $X$ be a set of cardinality $\aleph_1$ and consider the Banach space $\ell_\infty^c(X)$ of all scalar-valued bounded functions on $X$ which are non-zero only for countably many elements of $X$ ...
7
votes
0answers
110 views

Without AC, which implications between the different definitions of amenability still hold?

More precisely, I would like to know which implications between the following definitions of amenability of a discrete countable (or even finitely generated) group can be proved to hold with only ZF ...
7
votes
0answers
186 views

How many ideals are there in $B(H)^{**}$?

It is well-known (and easy to prove) that the only closed ideals of $B(\ell_2)$ are $\{0\}$, $B(\ell_2)$ and $K(\ell_2)$, the ideal of compact operators on $\ell_2$. I am curious whether we know what ...
7
votes
0answers
251 views

Uniform closure of subspaces of Baire class 1

Describe a uniformly closed linear subspace $A \subset C([0,1])$ such that the space $B_1(A)$ is not uniformly complete. Here $B_1(A)$ is the set of all bounded functions $f$ which are pointwise ...
7
votes
0answers
130 views

Generalized Skorokhod spaces

Skorokhod spaces of càdlàg functions are an extremely useful setting to describe stochastic processes. I'd like to understand the Skorokhod topology from a pure topological point of view, without ...
7
votes
0answers
345 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 ...
7
votes
0answers
207 views

What is known about the Yang-Mills stratification over 3-manifolds?

Rade proved in his thesis (Crelle's Journal, 1992, available here: digizeitschriften.de/dms/toc/?PPN=PPN243919689) that if $E\rightarrow M$ is a $U(n)$-bundle over a 3-manifold, then the gradient flow ...
7
votes
0answers
132 views

Seeking reference - criterion for the existence of a positive linear functional on an ordered vector space below a given function

The following surely appears somewhere, I would greatly appreciate a reference. (The aim is to get a measure via Riesz representation, but that has nothing to do with the statement.) Let $X$ be an ...
7
votes
0answers
244 views

Finding a dimension-free bound for a certain multiplier on Euclidean space

The following question is indirectly motivated by strong type maximal function estimates. Let $f\in L_{p}(\mathbb{R}^{n})$. For $\xi=(\xi_{1},\ldots,\xi_{n})\in\mathbb{R}^{n}$ define $m(\xi)$ so ...
7
votes
0answers
333 views

For which Lie groups is the convolution of any two nonzero integrable compactly supported functions nonzero?

The Titchmarsh convolution theorem implies that the convolution of two nonzero functions $f,g\in L^1(\mathbb R)$ with compact support is nonzero. There is a generalization of this theorem to the case ...