# Questions tagged [functional-analysis]

Functional analysis, the study of infinite-dimensional vector spaces, often with additional structures (inner product, norm, topology), with typical examples given by function spaces. The subject also includes the study of linear and non-linear operators on these spaces and other topics. For basic questions about functions use more suitable tags like (functions), (functional-equations) or (elementary-set-theory).

31,084 questions
7k views

### Does the open mapping theorem imply the Baire category theorem?

A nice observation by C.E. Blair1, 2, 3 shows that the Baire category theorem for complete metric spaces is equivalent to the axiom of (countable) dependent choice. On the other hand, the three ...
23k views

### Your favourite application of the Baire Category Theorem

I think I remember reading somewhere that the Baire Category Theorem is supposedly quite powerful. Whether that is true or not, it's my favourite theorem (so far) and I'd love to see some applications ...
42k views

### Norms Induced by Inner Products and the Parallelogram Law

Let $V$ be a normed vector space (over $\mathbb{R}$, say, for simplicity) with norm $\lVert\cdot\rVert$. It's not hard to show that if $\lVert \cdot \rVert = \sqrt{\langle \cdot, \cdot \rangle}$ ...
4k views

3k views

### Is the derivative the natural logarithm of the left-shift?

(Disclaimer: I'm a high school student, and my knowledge of mathematics extends only to some elementary high school calculus. I don't know if what I'm about to do is valid mathematics.) I noticed ...
8k views

### Why don't analysts do category theory?

I'm a mathematics student in abstract algebra and algebraic geometry. Most of my books cover a great deal of category theory and it is an essential tool in understanding these two subjects. Recently, ...
8k views

### What is “Bra” and “Ket” notation and how does it relate to Hilbert spaces?

This is my first semester of quantum mechanics and higher mathematics and I am completely lost. I have tried to find help at my university, browsed similar questions on this site, looked at my ...
3k views

### Paul Erdos's Two-Line Functional Analysis Proof

Legends hold that once upon a time, some mathematicians were rather pleased about a 30-ish page result in functional analysis. Paul Erdos, upon learning of the problem, spent ten or so minutes ...
37k views

### Good book for self study of functional analysis

I am a EE grad. student who has had one undergraduate course in real analysis (which was pretty much the only pure math course that I have ever done). I would like to do a self study of some basic ...
9k views

### If $f_k \to f$ a.e. and the $L^p$ norms converge, then $f_k \to f$ in $L^p$

Let $1\leq p < \infty$. Suppose that $\{f_k\} \subset L^p$ (the domain here does not necessarily have to be finite), $f_k \to f$ almost everywhere, and $\|f_k\|_{L^p} \to \|f\|_{L^p}$. Why is ...
3k views

### Laplace, Legendre, Fourier, Hankel, Mellin, Hilbert, Borel, Z…: unified treatment of transforms?

I understand "transform methods" as recipes, but beyond this they are a big mystery to me. There are two aspects of them I find bewildering. One is the sheer number of them. Is there a unified ...
11k views

### What are the applications of functional analysis?

I recently had a course on functional analysis. I was thinking of studying the mathematical applications of functional analysis. I came to know it had some applications on calculus of variations. I am ...
9k views

12k views

### Equivalent Definitions of the Operator Norm

How do you prove that these four definitions of the operator norm are equivalent? \begin{align*} \lVert A\rVert_{\mathrm{op}} &= \inf\{ c\;\colon\; \lVert Av\rVert\leq c\lVert v\rVert \text{ for ...
22k views

### What are some examples of infinite dimensional vector spaces?

I would like to have some examples of infinite dimensional vector spaces that help me to break my habit of thinking of $R^n$ when thinking about vector spaces.
20k views

### Differentiating an Inner Product

If $(V, \langle \cdot, \cdot \rangle)$ is a finite-dimensional inner product space and $f,g : \mathbb{R} \longrightarrow V$ are differentiable functions, a straightforward calculation with components ...
2k views

### Given a group $G$, how many topological/Lie group structures does $G$ have?

Given any abstract group $G$, how much is known about which types of topological/Lie group structures it might have? Any abstract group $G$ will have the structure of a discrete topological group ...
20k views

### “Every linear mapping on a finite dimensional space is continuous”

From Wiki Every linear function on a finite-dimensional space is continuous. I was wondering what the domain and codomain of such linear function are? Are they any two topological vector spaces (...
724 views

### When does a real function together with its derivatives form a basis?

Consider real functions defined on an interval, let's say $[-\pi,\pi]$. Let $s(x)$ be an analytic, periodic function such that all of its Fourier components are non-zero. We build a set of functions ...
1k views

### Lebesgue measure theory vs differential forms?

I am currently reading various differential geometry books. From what I understand differential forms allow us to generalize calculus to manifolds and thus perform integration on manifolds. I gather ...
2k views

### Is Banach-Alaoglu equivalent to AC?

The Banach-Alaoglu theorem is well-known. It states that the closed unit ball in the dual space of a normed space is $\text{wk}^*$-compact. The proof relies heavily on Tychonoff's theorem. As I have ...
This is from my homework, I'm totally lost as to how to proceed. Consider the operator $T: L^2([0,1]) \rightarrow L^2([0,1])$ defined by $(Tf)(x) = \int^x_0 f(s) \ ds$ What is the adjoint of $T$? ...