Questions tagged [fa.functional-analysis]

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

Filter by
Sorted by
Tagged with
141 votes
17 answers
19k views

Why do we care about $L^p$ spaces besides $p = 1$, $p = 2$, and $p = \infty$?

I was helping a student study for a functional analysis exam and the question came up as to when, in practice, one needs to consider the Banach space $L^p$ for some value of $p$ other than the obvious ...
93 votes
1 answer
10k views

The mathematical theory of Feynman integrals

It is well known that Feynman integrals are one of the tools that physicists have and mathematicians haven't, sadly. Arguably, they are the most important such tool. Briefly, the question I'd like to ...
  • 22.8k
78 votes
3 answers
8k 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 $\...
71 votes
4 answers
6k 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 ...
  • 7,059
71 votes
0 answers
4k 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\...
  • 3,940
70 votes
2 answers
6k 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, ...
69 votes
15 answers
18k views

Is there a nice application of category theory to functional/complex/harmonic analysis?

[Title changed, and wording of question tweaked, by YC, because the original title asked a question which seems different from the one people want to answer.] I've read looked at the examples in most ...
64 votes
2 answers
9k views

Nonconvexity and discretization

Edit: Here's a more down-to-earth, and somewhat weakened, but I believe still nontrivial, version of the main theorem. Prototypical nonconvex spaces are $\ell^p$-spaces for $0<p<1$, say $\ell^p(\...
63 votes
9 answers
10k views

Polish spaces in probability

Probabilists often work with Polish spaces, though it is not always very clear where this assumption is needed. Question: What can go wrong when doing probability on non-Polish spaces?
  • 631
61 votes
13 answers
5k views

Notions of convergence not corresponding to topologies

This question concerns the ramifications of the following interesting problem that appeared on Ed Nelson's final exam on Functional Analysis some years ago: Exam question: Is there a metric on the ...
  • 761
58 votes
7 answers
8k views

Why is the Hahn-Banach theorem so important?

Every time I hear it mentioned it is praised in the highest possible terms, and I remember one of my old lecturers saying that it is one of the 3 most important theorems in analysis. Yet the only ...
  • 4,111
58 votes
5 answers
8k views

Jean Bourgain's relatively lesser known significant contributions

Jean Bourgain passed away on December 22, 2018. A great mathematician is no longer with us. Terry Tao has blogged about Bourgain's death and mentioned some of his more recent significant contributions,...
54 votes
9 answers
8k views

Motivation for and history of pseudo-differential operators

Suppose you start from partial differential equations and functional analysis (on $\mathbb R^n$ and on real manifolds). Which prominent example problems lead you to work with pseudo-differential ...
  • 4,322
54 votes
7 answers
23k views

Learning roadmap for harmonic analysis

In short, I am interested to know of the various approaches one could take to learn modern harmonic analysis in depth. However, the question deserves additional details. Currently, I am reading Loukas ...
51 votes
22 answers
88k views

A good book of functional analysis

I'm a student (I've been studying mathematics 4 years at the university) and I like functional analysis and topology, but I only studied 6 credits of functional analysis and 7 in topology (the basics)....
48 votes
6 answers
6k views

Is there an "elegant" non-recursive formula for these coefficients? Also, how can one get proofs of these patterns?

Not sure if this is a "good" question for this forum or if it'll get panned, but here goes anyway... Consider this problem. I've been trying to find a formula to expand the "regular iteration" of "...
47 votes
6 answers
5k 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 ...
47 votes
2 answers
4k views

A strengthening of the Cauchy-Schwarz inequality

Suppose $\mathbf{v},\mathbf{w} \in \mathbb{R}^n$ (and if it helps, you can assume they each have non-negative entries), and let $\mathbf{v}^2,\mathbf{w}^2$ denote the vectors whose entries are the ...
47 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$...
  • 39.2k
46 votes
7 answers
15k views

Way to memorize relations between the Sobolev spaces?

Consider the Sobolev spaces $W^{k,p}(\Omega)$ with a bounded domain $\Omega$ in n-dimensional Euclidean space. When facing the different embedding theorems for the first time, one can certainly feel ...
  • 2,767
45 votes
1 answer
3k 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 ...
  • 5,603
44 votes
1 answer
2k views

Existence and uniqueness of Haar measure on compacta; a cohomological approach

I am trying to use a modification of group cohomology to prove the existence and uniqueness of Haar measure on a compact Hausdorff group. I think the best way of introducing the idea I am pursuing is ...
43 votes
7 answers
8k 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 ...
40 votes
3 answers
7k views

Why the name 'separable' space?

It is well known that a separable space is a topological space that has a countable dense subset. I am wondering how is this related to the name 'separable'? Any intuition where the name come from?
  • 1,107
39 votes
9 answers
41k views

Is square of Delta function defined somewhere?

everyone. I am wondering whether anyone knows if the square of Dirac Delta function is defined somewhere. In the beginning, this question might look strange. But by restricting the space of the test ...
39 votes
5 answers
4k views

"Entropy" proof of Brunn-Minkowski Inequality?

I read in an information theory textbook the Brunn-Minkowski inequality follows from the Entropy Power inequality. The first one says that if $A,B$ are convex polygons in $\mathbb{R}^d$, then $$ m(...
  • 21.9k
39 votes
1 answer
4k views

Can $L^p(\mathbb{R})$ and $ L^q(\mathbb{R})$ be isomorphic?

Let $p,q \in (1,\infty)$ with $p\neq q$. Are the Banach spaces $L^p(\mathbb{R})$, $L^q(\mathbb{R})$ isomorphic?
  • 519
38 votes
7 answers
12k 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, ...
37 votes
4 answers
13k views

Product of Borel sigma algebras

If $X$ and $Y$ are separable metric spaces, then the Borel $\sigma$-algebra $B(X \times Y)$ of the product is the $\sigma$-algebra generated by $B(X)\times B(Y)$. I am embarrassed to admit that I ...
37 votes
5 answers
9k 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 ...
37 votes
2 answers
2k views

Moving one family of commuting self-adjoint operators to another without losing commutativity on the way

This is actually not a question of mine, so I'll be short on motivation and say nothing beyond that if this were true, a few fancy harmonic analysis techniques that a colleague of mine used in proving ...
  • 54.3k
35 votes
3 answers
10k views

Pullback measures

Why do all measure theory textbooks present the concept of push-forward measure, but never the concept of pull-back measure? Doesn't the latter exist? It's true that the naive treatment of such a ...
  • 4,810
35 votes
2 answers
11k 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] ...
  • 1,870
35 votes
2 answers
1k views

Is it consistent with ZF that $V \to V^{\ast \ast}$ is always an isomorphism?

Let $k$ be a field and $V$ a $k$-vector space. Then there is a map $V \to V^{\ast \ast}$, where $V^{\ast}$ is the dual vector space. If we are in ZFC and $\dim V$ is infinite, then this map is not ...
35 votes
4 answers
4k 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 $$ \frac{d}{dt}\frac{\...
  • 6,765
34 votes
4 answers
4k views

How are infinite-dimensional manifolds most commonly treated?

I originally posted this question on StackExchange, where it was suggested I post here. It was also suggested I read about Hilbert manifolds and Fréchet manifolds. Nevertheless, I am still looking for ...
34 votes
2 answers
8k views

tr(ab) = tr(ba)?

It is well known that given two Hilbert-Schmidt operators $a$ and $b$ on a Hilbert space $H$, their product is trace class and $tr(ab)=tr(ba)$. A similar result holds for $a$ bounded and $b$ trace ...
34 votes
2 answers
857 views

If $A$ is the ring of continuous functions on a genus $g$ surface, can the genus of $X$ be seen by simple algebra in $A$?

I was describing to a friend the result that a compact Hausdorff space is determined up to homeomorphism up to by its ring of continuous functions, and he asked how one could see the genus of a ...
  • 1,422
34 votes
1 answer
3k views

tr(ab)=tr(ba), part 2.

This is a Banach space version of Andre Henriques' question Trace Question for Hilbert spaces. Let $a:X\to Y$ and $b:Y\to X$ be bounded linear operators between Banach spaces s.t. $ba$ and $ab$ ...
33 votes
8 answers
8k views

When is a Banach space a Hilbert space?

Let $\mathcal{X}$ be a real or complex Banach space. It is a well known fact that $\mathcal{X}$ is a Hilbert space (i.e. the norm comes from an inner product) if the parallelogram identity holds. ...
33 votes
1 answer
3k views

Theme of Isbell duality

Let $C$ be a small category. Isbell duality provides an adjunction $\widehat{C} {{\mathcal{O} \atop \longrightarrow} \atop {\longleftarrow \atop \mathrm{Spec}}}\widehat{C^{\mathrm{op}}}^{\mathrm{op}}$....
33 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-...
  • 24.7k
32 votes
4 answers
2k views

Hahn-Banach theorem with convex majorant

At least 99% of books on functional analysis state and prove the Hahn-Banach theorem in the following form: Let $p:X\to \mathbb R$ be sublinear on a real vector space, $L$ a subspace of $X$, and $f:L\...
32 votes
3 answers
2k 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 ...
  • 17.7k
32 votes
2 answers
3k 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 ...
  • 7,702
32 votes
3 answers
3k views

Can we recover a von Neumann algebra from its predual?

By definition, a von Neumann algebra is a C*‑algebra A that admits a predual, i.e., a Banach space Z such that Z* is isomorphic to the underlying Banach space of A. (We require that isomorphisms in ...
32 votes
1 answer
2k views

For which maps $S^1\to S^1$ is the winding number defined?

There are two classes of maps $S^1\to S^1$ for which I know how to define the winding number: • Continuous maps: Using the unique path lifting property of the universal covering map $\mathbb R\to S^...
32 votes
1 answer
2k views

Stone-Weierstrass theorem for holomorphic functions?

The Stone-Weierstrass theorem has an analog for the algebras of smooth functions, called Naсhbin's theorem: An involutive subalgebra $A$ in the algebra ${\mathcal C}^\infty(M)$ of smooth ...
31 votes
11 answers
21k views

A book for problems in Functional Analysis

I want to know if there's any book that categorizes problems by subjects of Functional Analysis. I'm studying Functional Analysis now a days and I really need to solve some problems in order to ...
31 votes
2 answers
2k views

Is a normed space which is homeomorphic to a Banach space complete?

I have a normed space $(E,||\cdot||)$ which is homeomorphic (as a topological space) to a Banach space $F$. Does this imply that $(E,||\cdot||)$ is also a Banach space? I think I read something ...
  • 495

1
2 3 4 5
171