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

learn more… | top users | synonyms (1)

2
votes
1answer
318 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\{ ...
8
votes
5answers
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 ...
4
votes
1answer
550 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 ...
2
votes
1answer
301 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 ...
9
votes
1answer
308 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 ...
1
vote
1answer
696 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
0answers
106 views

Fractional Derivative of A specific function

I've tried and tried to do this problem myself, but I've hit some snags on the way. I'm trying to take the fractional derivative of: $f(x)=1+n^{-x}$ where n is an integer and $n\geq2$ and $x>1$. ...
53
votes
2answers
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 ...
35
votes
4answers
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 ...
23
votes
3answers
1k 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 $$ ...
23
votes
7answers
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 ...
16
votes
5answers
4k 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 ...
11
votes
6answers
2k 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
1answer
5k 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] ...
9
votes
2answers
497 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 ...
10
votes
0answers
334 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
4answers
2k 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]$ | ...
18
votes
1answer
434 views

Kaplansky's conjecture and Martin's axiom

Recall Kaplansky's conjecture which states that every algebra homomorphism from the Banach algebra C(X) (where X is a compact Hausdorff topological space) into any other Banach algebra, is ...
11
votes
1answer
451 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 ...
8
votes
4answers
538 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
0answers
355 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
2answers
717 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 ...
1
vote
2answers
521 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 ...
14
votes
3answers
1k 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 ...
12
votes
1answer
662 views

Idempotent measures on the free binary system?

Let $(S,*)$ be the free (non associative) binary system on one generator (so $S$ is just the set of terms in $*$ and $1$). There is an extension of $*$ to the space $P(S)$ of finitely additive ...
12
votes
4answers
1k views

Can one do without Riesz Representation?

In more detail, can one establish that the continuous linear dual of a Hilbert space is again a Hilbert space without appealing to the Riesz Representation Theorem? For me, the Riesz Representation ...
7
votes
5answers
908 views

Do subalgebras of C(X) admit a description in terms of the compact Hausdorff space X?

In light of the well-known theorem of Gelfand that, bluntly put, ends up saying that unital abelian C*-algebras are the 'same' as compact Hausdorff topological spaces, I tried to compile a dictionary ...
5
votes
1answer
251 views

Is the fundamental group of $II_{1}$ factors invariant under a relation?

This issue is in continuation of an answer I gave here about noncommutative sets. In order to define the equivalence relation, let's first recall the Tomita-Takesaki modular theory and ...
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 ...
8
votes
1answer
320 views

Does every operator from a Hilbert space to $L^0$ factor through a canonical one?

Let $A:H\to L^0(S, \mu)$ be a continuous operator from a Hilbert space to the space of (equivalence classes of) measurable functions on a probability measure space $S$ with convergence in measure. ...
6
votes
2answers
623 views

Direct proof of injectivity of $L_\infty$

I would like to know a simple proof of isometric injectivity of $L_\infty$. The proof I've found in Topics in Banach space theory. F. Albiac, N. Kalton uses two deep result. $L_\infty$ as ...
3
votes
3answers
651 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
1answer
294 views

Is every distribution a linear combination of Dirac deltas?

My question is whether Dirac-type distributions over an Abelian group define a basis of the Schwartz-Bruhat space $\mathcal{S}(G)^\times$ of tempered distributions on $G$, so that any distribution ...
13
votes
2answers
437 views

A natural center of a convex weakly compact set in Banach space

Question: Let $S$ be a convex weakly compact set in Banach space $H$. Propose a natural way to define the unique center $O \in S$. Motivation: A lot! For example, in game theory $S$ can be a set of ...
10
votes
1answer
405 views

Quotients of l^infty

Let $M$ be a closed subspace of $l^\infty$. Suppose that the quotient $l^{\infty}/M$ is isomorphic to $l^\infty$. Is it true that $M$ is complemented in $l^\infty$?
10
votes
5answers
1k views

Conditional probabilities are measurable functions - when are they continuous?

Let $\Omega$ be a Banach space; for the sake of this post, we will take $\Omega = {\mathbb R}^2$, but I am more interested in the infinite dimensional setting. Take $\mathcal F$ to be the Borel ...
4
votes
3answers
1k views

Does the derivative of log have a Dirac delta term?

Dirac writes down the following formula on page 61 of his "Principles of quantum mechanics": $\frac{d}{dx}\log x = \frac{1}{x} -i\pi\delta(x)$, see http://adsabs.harvard.edu/abs/1947pqm..book.....D ...
1
vote
2answers
224 views

Riemann zeta function in the framework of Bergman spaces

My question is about connectedness of the Riemann zeta function and the theory of Bergman spaces. Because I'm working in this area of Bergman spaces, and I had Analytic number theory as a subject on ...
0
votes
1answer
129 views

The dual space of the Dirac measures on an Abelian group

Let $G$ be a Hausdorff locally-compact Abelian group and $L^2(G)$ the Hilbert space of two-integrable complex functions on the group. Question. What would be natural vector space $\mathcal{R}$ ...
8
votes
3answers
352 views

Does the metric space of compact metric spaces satisfy the binary intersection property?

A metric space $Y$ has the binary intersection property provided that whenever a collection of closed balls in $Y$ intersects pairwise, then there is a common intersection point. Does the metric ...
6
votes
0answers
179 views

A non-hyperfinite type III factor from an action of the free group on the circle

We define below a von Neumann algebra $\mathcal{M}$ from an action of the free group on the circle, and we prove that $\mathcal{M}$ is a non-hyperfinite type III factor. Question : Is ...
6
votes
1answer
490 views

Fastest decay of Fourier Transform for Generalized Functions of compact support

What is the fastest decay possible for the Fourier transform of a generalized function with compact support and finite value at the origin? I know that regular functions cannot attain exponential ...
4
votes
1answer
172 views

Characterization of the Laplace Transform

One of the main properties of the Laplace transform is given by the convolution theorem. $$\mathcal{L}(f*g)=\mathcal{L}(f)\cdot\mathcal{L}(g)$$ Question: Is there a full characterization of the ...
4
votes
2answers
263 views

Can we define smooth diffeomorphisms on the Hilbert cube $[0,1]^\mathbb{N}$ ? Has it been done in the literature?

Can we define smooth diffeomorphisms on the Hilbert cube$[0,1]^\mathbb{N}$ ? Has it been done in the literature? For example, let $E$ be the set of bijections $f$ of the Hilbert cube, such that ...
4
votes
0answers
254 views

Self-dual finite-dimensional complex normed spaces

Suppose $X$ is a complex normed space of dimension 2 or 3 and $X$ is isometrically isomorphic to its dual. Is $X$ a Hilbert space? Remarks: There are easy counterexamples in the real case, and in ...
3
votes
1answer
576 views

explicit extention of Lipschitz function (Kirszbraun theorem)

Kirszbraun theorem states that if $U$ is a subset of some Hilbert space $H_1$, and $H_2$ is another Hilbert space, and $f : U \to H_2$ is a Lipschitz-continuous map, then $f$ can be extended to a ...
3
votes
1answer
642 views

Orthogonal complements in Hilbert bundles

It's a standard fact that for a finite-dimensional vector bundle with an inner product, the othogonal complement of any subbundle is itself a locally trivial vector bundle. What is known about the ...
2
votes
1answer
147 views

Understanding Bruhat's notion of Schwartz function

I am trying to understand Bruhat's generalized Schwartz functions over (Hausforff) locally compact Abelian groups [1], following this paper [2] by Osborne. There, the Schwarz-Bruhat space ...
2
votes
1answer
141 views

fraction power of operators in $C_0$ semigroup

Let $X$ be Banach space, and $\{Z(t)\}_{t\geq 0}\subseteq B(X)$ be the $C_0$-Semigroup of operators defined on $X$. Moreover, let $A$ be the infinitesimal generator of $\{Z(t)\}_{t\geq 0}$. A ...
2
votes
1answer
643 views

Centralizers in C*-algebra

Let $a,b\in A$ be self-adjoint elements in $C^*$-algebra $A$ with equal centralizers, $\{x\in A; [a,x]=0\}=\{x\in A; [b,x]=0\}$. Can we say anything about the correspondence between $a$ and $b$? For ...