# Questions tagged [fa.functional-analysis]

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

2,154
questions with no upvoted or accepted answers

**66**

votes

**0**answers

3k 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 Tx-Ty\...

**45**

votes

**0**answers

2k 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 $l^2$...

**32**

votes

**0**answers

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. 95-...

**30**

votes

**0**answers

1k 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 ...

**29**

votes

**0**answers

1k views

### Do there exist infinite-dimensional Banach spaces in which every bounded linear operator attains its norm?

Let $X$ be a Banach space, $L(X)$ the space of all bounded linear operators on $X$. We say that $A ∈ L(X)$ attains its norm if there exists $x ∈ X$ such that $||x|| = 1$ and $||Ax|| = ||A||$. The ...

**27**

votes

**0**answers

1k views

### Unital $C^{*}$ algebras whose all elements have path connected spectrum

A unital $C^{*}$ algebra is called a "Path connected algebra" if the spectrum of all its elements is a path connected subset of $\mathbb{C}$.
What is an example of a non commutative ...

**25**

votes

**0**answers

711 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 ...

**21**

votes

**0**answers

763 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 ...

**19**

votes

**0**answers

605 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 ...

**19**

votes

**0**answers

800 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 ...

**17**

votes

**0**answers

424 views

### Large almost equilateral sets in finite-dimensional Banach spaces

Question: Does there exist a function $C:~(0,1)\to
(0,\infty)$ such that for each $\varepsilon\in(0,1)$ every Banach space
$X$ of dimension $\ge C(\varepsilon)\log n$ contains an $n$-point
set $\{x_i\...

**16**

votes

**0**answers

489 views

### $C^*$-algebra generated by those operators that are bounded on every $\ell_p$

Suppose $T: c_{00} \to c_{00}$ is a linear map such that, when regarded as an infinite matrix, there is a uniform bound on the $\ell_1$-norms of its columns, and a uniform bound on the $\ell_1$-norms ...

**16**

votes

**1**answer

932 views

### Invariant definition of the space of symbols on a vector bundle (pseudo-differential operators)

Normally, in the context of pseudo-differential operators, a symbol on a vector bundle $E$ is defined as a smooth function on $E$ which in each trivializing chart fulfills the usual symbol estimates
\...

**16**

votes

**0**answers

735 views

### Laplace Transform in the context of Gelfand/Pontryagin

Question: Do quasi-characters or some other semi-group properly generalize the Laplace transform or decompose functions in some setting in a way similar to how characters generalize the classical ...

**15**

votes

**0**answers

266 views

### Admissible relations in a Banach algebra

Suppose that $\mathbb{C}\left\langle x, y \right\rangle = R$ is a free (associative and unital) algebra and $f \in R$. I wonder whether there exists a (unital) Banach algebra $A$ and a non-zero pair $...

**15**

votes

**0**answers

911 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 ...

**15**

votes

**0**answers

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 ...

**14**

votes

**0**answers

366 views

### strong topologies on $C_c^\infty$

UPDATE (27/08/2020): I realized after a comment from Jochen Wengenroth that there was at least one false premise behind my question, owing to the fact that analysts sometimes use the words "...

**14**

votes

**0**answers

654 views

### Lower bounds on analytic functions connected to Fox H

The question is related to the one I asked before and never got an answer to. Fourier transform of $f_a(x)= a^{-2}\exp(-|x|^a)$, $a \in (0,2)$, is decreasing in $a$ . I need to demonstrate that the ...

**14**

votes

**0**answers

190 views

### Have there been further developments on this scheme for polytope approximations to the unit ball of $\ell_p^n$?

A long time ago I happened to look at, and save (on a floppy disk!) for future reading, a copy of the following article:
W. T. Gowers, Polytope approximations of the unit ball of $l^n_p$.
In Convex ...

**14**

votes

**0**answers

301 views

### Is there support for the term “Gelfand algebra”?

In this question Yemon Choi asked whether there is a standard term for Banach algebras for which the submultiplicative law
($\|ab\| \leq \|a\| \|b\|$) is weakened to merely requiring the product to be ...

**14**

votes

**0**answers

3k 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 ...

**14**

votes

**0**answers

2k 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), ...

**13**

votes

**0**answers

285 views

### Finite dimensional approximation of Donaldson theory

In addition to the Seiberg-Witten invariant there has been further success with "finite dimensional approximations" of the Seiberg-Witten theory: Bauer-Furuta's stable (co)homotopy invariants, and ...

**13**

votes

**0**answers

254 views

### Banach spaces with $d(X,Y) = 1$

We recall that the Banach-Mazur distance between two isomorphic Banach spaces is given by $d(X,Y) = \inf \{ \|T\| \|T^{-1}\| : T$ is an isomorphism from $X$ to $Y\}$.
It is a classical result that we ...

**13**

votes

**0**answers

311 views

### Kolmogorov width for cartesian products

For an operator $T:X\to Y$ between Banach spaces with unit balls $B_X$ and $B_Y$ the sequence of Kolmogorov widths is
$$
\delta_n(T)=\inf\lbrace \delta>0: T(B_X)\subseteq \delta B_Y +L \text{ for ...

**13**

votes

**0**answers

442 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 bold.)$\newcommand{\FA}{{...

**13**

votes

**0**answers

2k 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 ...

**13**

votes

**0**answers

788 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 ...

**12**

votes

**0**answers

566 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$.
...

**12**

votes

**0**answers

430 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 ...

**12**

votes

**0**answers

499 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

**0**answers

185 views

### What is the asymptotics of the Fourier transform of $\exp(-x^4)$ for large wave numbers?

The Fourier transform of $\exp(-x^4)$ has an analytical expression, it's the difference of two generalized hypergeometric functions:
$\int d x \ e^{-x^4} e^{ikx} = 2 \ \Gamma(\frac{5}{4}) \ _0F_2(;\...

**11**

votes

**0**answers

199 views

### Quantifier swap in Banach space theory

The uniform boundedness principle and its corollaries from a logical point of view are statements of when one can swap quantifiers in Banach spaces. Take for instance the principle of condensation of ...

**11**

votes

**0**answers

184 views

### Non real eigenvalues for elliptic equations

I am looking for an example of a pure second order uniformly elliptic operator
$L=\sum_{i,j=1}^da_{ij}(x)D_{ij}$ in a bounded domain $\Omega$ (with Dirichlet boundary conditions, for example) having a ...

**11**

votes

**0**answers

265 views

### Does Thompson's group $V$ have property AP?

Property AP: A discrete group $\Gamma$ has property AP (Approximation Property) if there exists a net $(\phi_i)_{i \in I}$ of finitely supported functions on $\Gamma$ such that $\phi_i \to 1 $ weak$^*$...

**11**

votes

**0**answers

432 views

### Contraction semigroup on Hilbert space

I'd like to know whether a certain unbounded operator on a Hilbert space is the generator of a strongly continuous contraction semigroup.
(Such operators are known as maximally dissipative operators.)
...

**11**

votes

**1**answer

1k views

### Equivalence of fractional Sobolev space defined through Gagliardo norm and interpolation; dependence on the domain

Let $\Gamma$ be a smooth hypersurface in $\mathbb{R}^n$. We can define the fractional Sobolev space
$$X = \{ u \in L^2(\Gamma) \mid |u|_X^2 := \int_\Gamma \int_\Gamma \frac{|u(x)-u(y)|^2}{|x-y|^{n+1}} ...

**11**

votes

**0**answers

336 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 ...

**11**

votes

**0**answers

677 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}$? ...

**11**

votes

**0**answers

556 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 high-...

**11**

votes

**0**answers

284 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 ...

**11**

votes

**0**answers

1k 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 ...

**11**

votes

**0**answers

602 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 ...

**10**

votes

**0**answers

184 views

### Norm-attaining operators with values in a 2-dimensional Hilbert space

Is the set $N\!A(X,\ell_2^2)$ of norm-attaining operators from a Banach space $X$ onto the $2$-dimensional Hilbert space $\ell^2_2$ dense in the Banach space $L(X,\ell_2^2)$ of all linear continuous ...

**10**

votes

**0**answers

225 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 ...

**10**

votes

**0**answers

518 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 ...

**10**

votes

**0**answers

225 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\...

**10**

votes

**0**answers

151 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, ...

**10**

votes

**0**answers

160 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 ...