# Tagged Questions

**2**

votes

**1**answer

441 views

### Different Metrics for Baire Space and their induced Topologies

The Baire-Space is the set of all infinite sequences of integers, i.e.
$$
\mathcal N = \omega^{\omega}.
$$
On this space usually the following metric is given
$$
d(\alpha, \beta) = \left\{ ...

**2**

votes

**2**answers

812 views

### How to use DFT to solve this minimization problem?

This is a problem when I'm reading a paper.
Equation:
$min\{\sum_p(S_p-I_p)^2+\beta((\partial_xS_p-h_p)^2+(\partial_yS_p-v_p)^2) \} $
where $S,I,h,v$ are all $M*N$ matrices and p stands for every ...

**4**

votes

**1**answer

245 views

### Proof that $L^2(0,T;X)^* = L^2(0,T;X^*)$

How is the proof that
$$[L^2(0,T;X)]' = L^2(0,T;X')$$
looking like, where $X$ is a Hilbert space? I am asking for the proof that the dual space of $L^2(0,T;X)$ is the space $L^2(0,T;X^*)$.
Is the ...

**13**

votes

**5**answers

2k views

### Hahn-Banach without Choice

The standard proof of the Hahn-Banach theorem makes use of Zorn's lemma. I hear that, however, Hahn-Banach is strictly weaker than Choice. A quick search leads to many sources stating that Hahn-Banach ...

**10**

votes

**4**answers

647 views

### Norm continuous infinite dimenisonal representation of a Lie group

Given a Lie group G and an infinite dimensional Hilbert space $\mathcal{H}$. In the literature I have only encountered the two following notions of a representation $\pi$ of G on $\mathcal{H}$ :
1) ...

**8**

votes

**5**answers

1k views

### Measure theory treatment geared toward the Riesz representation theorem

I'm looking for recommendations for books (or lecture notes) that develop measure theory in sufficient detail to state and prove the Riesz representation theorem (which is the characterization of the ...

**14**

votes

**1**answer

386 views

### Bases for spaces of smooth functions

Let $S$ denote the space of rapidly decreasing sequences, which means sequences $a=(a_k)_{k=1}^\infty$ such that the numbers $p_d(a)=\sup\{k^d|a_k| : 1\leq k<\infty\}$ are finite for all ...

**13**

votes

**3**answers

897 views

### Poincare lemma for non-smooth differentiable forms

The Poincare lemma is almost always formulated for differential forms with smooth coefficients (or sometimes for currents that have distributional coefficients). I would like to have it for ...

**6**

votes

**1**answer

604 views

### Uniform boundedness of an $L^2[0,1]$-ONB in $C[0,1]$

Assume that we have an orthonormal basis of smooth functions in $L^2[0,1]$. Are there useful practical criteria to determine whether the sup-norm of the basis functions has a uniform bound? I am sure ...

**3**

votes

**0**answers

159 views

### What are the first non-maximal non-group-subgroup simple irreducible subfactors?

Definition: For an irreducible (finite index) subfactor $(\mathcal{N} \subset \mathcal{M})$, an intermediate $(\mathcal{N} \subset \mathcal{P} \subset \mathcal{M})$
is normal if the biprojections ...

**2**

votes

**1**answer

140 views

### Inverse Problem for Pullback

Let $M$ and $N$ be smooth manifolds and $T: M \to N$ be a smooth map. Let $ \mathcal{F}(M,\mathbb{R})$ (resp.$ \mathcal{F}(N,\mathbb{R})$) denote the space of smooth functions from $M$ (resp. $N$) ...

**2**

votes

**1**answer

346 views

### Is there an operator algebraic reformulation of the invariant subspace problem?

Let $H$ be an infinite dimensional separable Hilbert space and $B(H)$ the algebra of bounded operators.
Invariant subspace problem: Let $T \in B(H)$. Is there a non-trivial closed $T$-invariant ...

**11**

votes

**1**answer

421 views

### What (classes of) Banach spaces are known to have Schauder basis?

Motivation:
I am trying to see for what class of Banach spaces the following result is true:
There exists an increasing sequence of finite dimensional subspace {$V_n$} of a Banach space X (with ...

**2**

votes

**1**answer

351 views

### Finding a norm on $ \mathbb{R}^X $ such that the “natural” embedding of a metric space $ X $ in $ \mathbb{R}^X $ becomes an isometry

Let $ (X,d) $ be a metric space and consider the function $ T:X \to \mathbb{R}^X$ such that $ T(x)(y) = 1$ if $ y = x $ and $ 0 $ for all other $ y $. Is there a norm on $ \mathbb{R}^X$ such that $ T ...

**2**

votes

**1**answer

185 views

### ${\rm II}_1$-factors with finite commutant: $\mathcal{A} \cap \mathcal{B} = \mathbb{C} \Rightarrow \mathcal{A}' \cap \mathcal{B}'$ hyperfinite?

Let $\mathcal{A} , \mathcal{B} \subset B(H)$ be ${\rm II}_1$-factors such that $\mathcal{A}', \mathcal{B}' $ are also a ${\rm II}_1$-factors.
Question: $\mathcal{A} \cap \mathcal{B} = ...

**2**

votes

**1**answer

944 views

### Inner product of linear bounded operators between Hilbert spaces

Let $X$ and $Y$ be Hilbert spaces, and let $L(X,Y)$ be the set of bounded linear operators between Hilbert spaces.
Can we equip $L(X,Y)$ with a natural inner product? I think it should look like
...

**0**

votes

**0**answers

375 views

### Given an even function how to obtain the most close odd function and vise versa?

Given an even function $f(x)$, how to obtain the most close to it continuous odd function $g(x)$?
By most close I mean that $\int_0^\infty |f(x)-g(x)| dx$ be the minimum possible and the difference ...

**63**

votes

**2**answers

4k views

### Norms of Commutators

If an $n$ by $n$ complex matrix $A$ has trace zero, then it is a commutator, which means that there are $n$ by $n$ matrices $B$ and $C$ so that $A= BC-CB$. What is the order of the best constant ...

**49**

votes

**2**answers

3k views

### Barrelled, bornological, ultrabornological, semi-reflexive, … how are these used?

I'm not a functional analyst (though I like to pretend that I am from time to time) but I use it and I think it's a great subject. But whenever I read about locally convex topological vector spaces, ...

**45**

votes

**4**answers

3k views

### Did Gelfand's theory of commutative Banach algebras influence algebraic geometers?

Guillemin and Sternberg wrote the following in 1987 in a short article called "Some remarks on I.M. Gelfand's works" accompanying Gelfand's Collected Papers, Volume I:
The theory of commutative ...

**25**

votes

**3**answers

2k views

### Which differential equations allow for a variational formulation?

Many ODE's and PDE's arising in nature have a variational formulation. An example of what I mean is the following. Classical motions are solutions $q(t)$ to Lagrange's equation
$$
...

**26**

votes

**7**answers

3k views

### What's an example of a space that needs the Hahn-Banach Theorem?

The Hahn-Banach theorem is rightly seen as one of the Big Theorems in functional analysis. Indeed, it can be said to be where functional analysis really starts. But as it's one of those "there ...

**22**

votes

**1**answer

1k views

### Criteria for boundedness of power series

Consider a power series $\sum_{n=0}^{\infty} a_n x^n$ that is convergent for all real
x, thus defining a function $f: \mathbb{R} \to \mathbb{R}$.
Can one give necessary and sufficient criteria the ...

**16**

votes

**5**answers

5k views

### Counterexample for the Open Mapping Theorem

I would like to ask a counterexample for the classical theorem in functional analysis: the open mapping theorem in the case that $Y$ is Banach, but $X$ is not Banach to show that the completeness of X ...

**36**

votes

**6**answers

2k views

### Can we actually find any fixed points with Brouwer's theorem?

Background
At the risk of greatly oversimplifying matters, let me state a heuristic from Granas and Dugundji's beautiful book: fixed point theorems fall into two broad categories. The first class is ...

**15**

votes

**1**answer

2k views

### Does Arzelà-Ascoli require choice?

Inspired by a recent Math.SE question entitled Where do we need the axiom of choice in Riemannian geometry?, I was thinking of the Arzelà--Ascoli theorem. Let's state a very simple version:
...

**12**

votes

**6**answers

3k views

### What is an intuitive view of adjoints? (version 2: functional analysis)

After realising that I don't have an intuitive understanding of adjoint functors, I then realised that I don't have an intuitive understanding of adjoint linear transformations!
Again, I can use 'em, ...

**25**

votes

**2**answers

2k views

### Are there non-reflexive vector spaces isomorphic to their bi-dual?

Let $V$ be an infinite dimensional topological vector space and consider the natural application $\iota\colon V\to V^{**}$. The space $V$ is said to be reflexive if $\iota$ is an isomorphism.
Are ...

**16**

votes

**3**answers

1k views

### Reference request for translating from Top to C*-alg

Some recent questions on MO (for example, Do subalgebras of C(X) admit a description in terms of the compact Hausdorff space X?) have been about Gelfand duality-- namely, that the categories of ...

**28**

votes

**1**answer

6k views

### What, exactly, has Louis de Branges proved about the Riemann Hypothesis?

Hi,
I know this is a dangerous topic which could attract many cranks and nutters, but:
According to Wikipedia [and probably his own website, but I have a hard time seeing exactly what he's claiming] ...

**27**

votes

**2**answers

1k views

### Can an operator have Exp(z) as its characteristic “polynomial”?

Let $\mathcal{H}$ be a Hilbert space, and let $T: \mathcal{H} \rightarrow \mathcal{H}$ be a trace-class operator. Define
$$ f_T(z) = \sum_{i=0}^\infty \mbox{Tr}(\wedge^k T) \cdot z^k, $$
the ...

**23**

votes

**1**answer

2k views

### Furstenberg's Conjecture on 2-3-invariant continuous probability measures on the circle

Hillel Furstenberg conjectured that the only $2$-$3$-invariant probability measure on the circle without atoms is the Lebesgue measure. More precisely:
Question: (Furstenberg) Let $\mu$ be a ...

**11**

votes

**2**answers

2k views

### Ideals of the ring of smooth functions

The ring $C^\infty(M)$ of smooth functions on a smooth manifold $M$ is a topological ring with respect to the Whitney topology and the usual ring operations. Is it possible to describe, maybe under ...

**10**

votes

**2**answers

535 views

### A group action of the Heisenberg group with special symmetries

Suppose we look at the Heisenberg group $H_{d}$ as a matrix group of upper triangular matrices over the ring $\mathbb{Z}/d\mathbb{Z}$. You can even choose $d$ to be prime if you want. A natural ...

**24**

votes

**3**answers

2k views

### Surjectivity of operators on $\ell^\infty$

Can anyone give me an example of an bounded and linear operator $T:\ell^\infty\to \ell^\infty$ (the space of bounded sequences with the usual sup-norm), such that T has dense range, but is not ...

**16**

votes

**4**answers

1k views

### Banach-Mazur applied to a Hilbert space

The Banach-Mazur theorem says that every separable Banach space is isometric to a subspace of $C^0([0;1],R)$, the space of continuous real valued functions on the interval $[0;1]$, with the sup norm.
...

**12**

votes

**1**answer

616 views

### Inductive tensor product and smooth functions

Given complete, locally convex Hausdorff vector spaces $E$ and $F$, let
$$ E \otimes_i F, \qquad E \otimes_\pi F$$ denote the (completed) inductive and projective tensor products respectively. The ...

**11**

votes

**0**answers

388 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

**4**answers

3k views

### prime ideals in C([0,1])

It is clear that each maximal ideal in ring of continuous functions over $[0,1]\subset \mathbb R$ corresponds to a point and vice-versa.
So, for each ideal $I$ define $Z(I) =$ {$x\in [0,1]$ | ...

**11**

votes

**1**answer

526 views

### Is there a proof that the $C^{*}$-algebras don't see the invariant subspace problem?

This post is an appendix of this one.
Let $H$ be an infinite dimensional separable Hilbert space and $B(H)$ the algebra of bounded operators.
Invariant subspace problem: Let $T \in B(H)$. Is ...

**10**

votes

**5**answers

3k views

### A counter example to Hahn-Banach separation theorem of convex sets.

I'm trying to understand the necessity for the assumption in the Hahn-Banach theorem for one of the convex sets to have an interior point. The other way I've seen the theorem stated, one set is closed ...

**18**

votes

**4**answers

2k views

### Are proper linear subspaces of Banach spaces always meager?

Let X be a Banach space, and let Y be a proper non-meager linear subspace of X. If Y is not dense in X, then it is easy to see that the closure of Y has empty interior, contradicting Y being ...

**15**

votes

**1**answer

852 views

### Convolution algebras for double groupoids?

There is a lot of work of course on convolution algebras of measured groupoids, and this gives "Noncommutative geometry". However there is a lot of interest in algebraically structured groupoids, for ...

**13**

votes

**4**answers

2k views

### Is there a natural measures on the space of measurable functions?

Given a set Ω and a σ-algebra F of subsets, is there some natural way to assign something like a "uniform" measure on the space of all measurable functions on this space? (I suppose first ...

**8**

votes

**0**answers

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

**7**

votes

**2**answers

748 views

### What is the smallest $C^*$-algebra containing the “standard” pseudodifferential operators?

Is $\Psi^0(\mathbb{R})$ (pseudodifferential operators with symbols obeying
$
|\partial^\alpha_x \partial^\beta_\xi a(x,\xi)| \leq C_{\alpha,\beta} (1+|\xi|)^{-|\beta|}
$
) a $C^*$-algebra?
In other ...

**6**

votes

**3**answers

869 views

### Reference request: Simple facts about vector-valued Sobolev space

Let $V,H$ be separable Hilbert spaces such that there are dense injections $V \hookrightarrow H \hookrightarrow V^*$. (For example, $H = L^2(\mathbb{R}^n)$, $V = H^1(\mathbb{R}^n)$, $V^* = ...

**2**

votes

**2**answers

567 views

### Exotic spectrum of Laplace operator

Given a closed Riemannian manifold and a generalized Laplace $\Delta$ operator,
it is well known that $\Delta$ has discrete spectrum $(\lambda_n)_n$ (arranged in a increasing way, not counting ...

**16**

votes

**1**answer

1k views

### Which Fréchet spaces have a dual that is a Fréchet space?

I've read the claim that Fréchet spaces that are not Banach spaces never have a dual that is a Fréchet space, but have not been able to find a proof of this statement. Is it trivial or does someone ...

**15**

votes

**2**answers

426 views

### Ultraweak topology on B(X): Is the map X\otimes X* -> B(X)* isometric?

Let $X$ be a Banach space. Consider the map
$$
\alpha\colon X\hat{\otimes} X^* \to B(X)^*,
$$
defined one simple tensors as
$$
\alpha(\xi\otimes\eta)(a) = \eta(a(\xi)).\quad (\xi\in X, \eta\in X^*, ...