Functional analysis is 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, as well as measure, ...

learn more… | top users | synonyms (1)

9
votes
1answer
293 views

An approximate eigenvalue for $ T \in B(X) $.

This is a problem from Conway’s Functional Analysis: Definition An approximate eigenvalue for $ T \in B(X) $ is a scalar $ \lambda $ such that there is a sequence of unit vectors $ x_{n} \in X $ ...
9
votes
1answer
660 views

Eigenfunctions of the Helmholtz equation in Toroidal geometry

the Helmholtz equation $$\Delta \psi + k^2 \psi = 0$$ has a lot of fundamental applications in physics since it is a form of the wave equation $\Delta\phi - c^{-2}\partial_{tt}\phi = 0$ with an ...
9
votes
1answer
251 views

Problem 21 - Trotter theorem , Reed and Simon

This problem if from Methods of modern mathematical physics I :Functional Analysis, by Reed and Simon: Problem 21: Let $\{A_n\}$ be a sequence of selfadjoint operators on a Hilbert space $H$, and let ...
9
votes
0answers
170 views

Gradient Estimate - Question about Inequality vs. Equality sign in one part

$\DeclareMathOperator{\diam}{diam}\newcommand{\norm}[1]{\lVert#1\rVert}\newcommand{\abs}[1]{\lvert#1\rvert}$For $u \in C^{1}(\overline{\Omega})$, for $\Omega\subset \subset \mathbb{R^{n}}$ a bounded ...
9
votes
0answers
414 views

Compact set of probability measures

I think I can solve the following exercise if X is assumed to be separable, otherwise I can't. Let $X$ be a (Hausdorff) locally compact space, $\pi\colon X \to Y$ a continuous map into a ...
8
votes
5answers
3k 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.
8
votes
5answers
882 views

How to show that this set is compact in $\ell^2$

Let $(a_n)_{n}\in\ell^2:=\ell^2(\mathbb{R})$ be a fixed sequence. Consider the subspace $$C=\{(x_n)_{n}\in\ell^2 : |x_n|\le a_n\text{ for all }n\in\mathbb{N}\}.$$ According to the book [Dunford and ...
8
votes
2answers
4k 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 ...
8
votes
2answers
584 views

$C^*$-algebra which is also a Hilbert space?

Does there exist a nontrivial (i.e. other than $\mathbb{C}$) example of a $C^*$-algebra which is also a Hilbert space (in the same norm, of course)? For $\mathbb{C}^n$ with $n > 1$ the answer is ...
8
votes
2answers
2k views

Compact operator maps weakly convergent sequences into strongly convergent sequences

I found the following property of compact operators in a proof, and I can't prove it. Prove that if $T \in \mathcal{L}(E,F)$ is compact, and if $u_n \rightharpoonup u$ (the sequence converges ...
8
votes
2answers
475 views

Haar's base for $L^2[0,1]$

$\newcommand{\span}{\operatorname{span}}$ Define $e_{0,0}\equiv 1$, and for all $n\in \mathbb{N}$ $$e_{n,k}=\begin{cases} 2^{n/2} &\text{if } \frac{k-1}{2^n}\leq x\lt \frac{k-\frac{1}{2}}{2^n}\\ ...
8
votes
2answers
902 views

Compact subset of an open set

Let $X$ be complete separable metric space and $A\subset X$ is open. Does it mean that there is a compact subset of $A$? My solution is the following: since $A$ is open there is $B(x,r)\subset A$, ...
8
votes
2answers
482 views

Is compactness a stronger form of continuity?

Let $H$ be a Hilbert space. We say that a linear operator $T \colon H \to H$ is compact if it maps bounded sets to precompact ones, that is, if for every bounded sequence $(a_n)$ in $H$, $(Ta_n)$ has ...
8
votes
1answer
1k views

Equivalent inner products on a Hilbert space

Take a Hilbert space $(\mathcal H,(\cdot,\cdot)_{\mathcal H})$ and two equivalent inner products $(\cdot,\cdot)_1$ and $(\cdot,\cdot)_2$ on $\mathcal H$, i.e. such that there are $a,b \in \mathbb R$ ...
8
votes
2answers
152 views

Two terms that I want to understand: weakest topology and jointly continuous (in the following context).

I was reading an article online, please help me to understand the following lines (in bold letters). - Topological structure: If (V, ‖·‖) is a normed vector space, the norm ‖·‖ induces a metric and ...
8
votes
2answers
188 views

Basic question about $\sup_{x\neq 0}{} \frac{\|Ax\|}{\|x\|} = \sup_{\|x\| = 1}{\|Ax\|} $, $x \in\mathbb{R}^n$

I am having trouble with understanding the following definition while studying some basic things related with matrix norms: For every matrix $A\in M_n(\mathbb{R})$ $$\sup_{x\neq 0}{} ...
8
votes
2answers
295 views

Is $\left(\sum\limits_{k=1}^\infty \frac{x_k}{j+k}\right)_{j\geq 1}\in\ell_2$ true if $(x_k)_{k\geq 1}\in\ell_2$

Let $(x_k)_{k\geq 1}\in\ell_2$. Consider $\left(\sum\limits_{k=1}^\infty \dfrac{x_k}{j+k}\right)_{j\geq 1}$. Now my question is that whether ...
8
votes
2answers
155 views

Engineer: Unable to appreciate importance of L2 space

Can someone provide me with some material to make clear of the importance of $L^2$ space in engineering/physics? Having a background in all the introductory mathematics courses offered in ...
8
votes
2answers
195 views

Orthonormal Sets in Hilbert Spaces

let $H$ be a Hilbert space and let M be a dense linear subspace of H. Can we find a complete orthonormal set $\{u_{\alpha}: \alpha \in A\}$ for H in M? I think the answer is negative in general, but ...
8
votes
3answers
320 views

Introductory/Intuitive Functional Analysis Book

Can you recommend a gentle introduction to the abstract thinking and motivation of functional analysis? I'm looking for a book that holds you by the hand and shows the details of exercises, etc. ...
8
votes
1answer
300 views

Selfadjoint compact operator with finite trace

I have a compact selfadjoint operator $T$ on a separable Hilbert space. For some fixed orthonormal basis, the operator's diagonal is in $\ell^1(\mathbb{N})$. Can we conclude that $T$ is trace ...
8
votes
2answers
549 views

Weak-* sequential compactness and separability

Let $X$ be a Banach space, and let $B$ be the closed unit ball of $X^*$, equipped with the weak-* topology. Alaoglu's theorem says that $B$ is compact. If $X$ is separable, then $B$ is metrizable, ...
8
votes
1answer
661 views

Showing a subset of $C([0,1])$ is compact.

Let $${\cal F}=\left\{ f:\left[0,1\right]\to\mathbb{R} : \left|f\left(x\right)-f\left(y\right)\right|\le\left|x-y\right|\mbox{ and }{\displaystyle \int_{0}^{1}f\left(x\right)dx=1}\right\}.$$ Show ...
8
votes
2answers
245 views

Does the Banach algebra $L^1(\mathbb{R})$ have zero divisors?

Assume that the functions $f,g: \mathbb{R}\rightarrow \mathbb{R}$ are integrable and equal to zero on $(-\infty,0)$, (i.e $f,g \in L^+$). Then by Titchmarsh's theorem: $f*g$ is zero almost everywhere ...
8
votes
2answers
2k views

On Some Properties of Hölder Continuous Functions

The function space $H^{\alpha} (\Omega)$ for $0 < \alpha \le 1$, is the set of functions: $$\{ f \in C^0(\Omega) : \sup_{x \neq y} \dfrac{|f(x) - f(y)|}{|x-y|^{\alpha}} < \infty \}$$ with the ...
8
votes
1answer
355 views

Why is every positive linear map between $C^*$-algebras bounded?

We know that every positive linear functional on a $C^*$-algebra is bounded. How can we prove every positive linear map between $C^*$-algebras is bounded?
8
votes
1answer
257 views

reference for operator algebra

I am taking a course on operator algebra this semester. My instructor has suggested a reference "Kadinson and Ringrose." Are there any other good/standard references for this subject that I can look ...
8
votes
2answers
233 views

Compact maps problem in Lax

In Functional Analysis of Peter Lax there are the following exercise Show that if $\bf C$ is compact and $\{{\bf M}_n \}$ tends strongly to $\bf M$, then $\bf CM_n$ tends uniformly to $\bf CM$. ...
8
votes
1answer
132 views

Criterion for convergence of the sequence of powers of a linear operator to $0$

Let $T$ be a linear operator in a Banach space $\mathbf{B}$. Suppose that for every $x \in \mathbf{B}$ there exists some real numbers $c_x>0$ and $a_x<1$ such that $||T^nx|| \leq ca^n$, for all ...
8
votes
1answer
343 views

Linear contraction on a Banach space

Let $X$ be a Banach space with a norm $\|\cdot\|_1$ and $A$ be a linear operator on $X$ such that $\|A\|_1\leq 1$; $\|A^m\|_1<1$ for some $m\in \mathbb N$. Is that true that there is an ...
8
votes
1answer
1k views

Properties of dual spaces of sequence spaces

Can you tell me if I got the following homework right? Nitpicking is welcome. a) Recall that $$ c_0 (\mathbb{N}) = \{ f: \mathbb{N} \rightarrow \mathbb{C} \mid \lim_{n \rightarrow \infty } f(n) ...
8
votes
2answers
92 views

Ways to calculate the spectrum of an operator

Friends, I am learning some very basic stuff of spectral theory and kind of lost, in some sense. I am trying to find ways to compute the spectra of different operators, when they work and don't work. ...
8
votes
2answers
2k views

Conceptual difference between strong and weak formulations

What are the conceptual differences in presenting a problem in strong or weak form? For example for a 2D Poisson problem the strong form is: \begin{split}- \nabla^2 u(\pmb{x}) &= ...
8
votes
3answers
246 views

$X\subsetneqq Y$ but $X^\star=Y^\star$

Are there $X,Y$ real Banach spaces, such that $X\subsetneqq Y$ (strictly contained) and $X^\star=Y^\star$, where $\star$ denotes the topological dual? This property is not true for Hilbert spaces, ...
8
votes
1answer
465 views

$C_0(X)$ is not the dual of a complete normed space

Let $X$ be any locally compact Hausdorff space and assume that it is not compact. I've heard that the Banach space $(C_0(X),\|\!\cdot\!\|_\infty)$ is not isometrically isomorphic to the (norm) dual of ...
8
votes
1answer
294 views

pointwise limit on a complete metric space

Let $\{f_n: X\rightarrow \mathbb{R}\}$ be a sequence of continuous real-valued functions on a complete metric space, $X$. Suppose this sequence has a pointwise limit, $f$. How easy is it to see that ...
8
votes
1answer
1k views

Norm on a Hölder's space

I want to prove that Hölder space is a Banach space under the "Hölder Norm" ie. $\|\cdot\|_{C^{k,\alpha}}$. Any hints would be appreciable .
8
votes
2answers
1k views

$T$ is continuous if and only if $\ker T$ is closed

Let $X,Y$ be normed linear spaces. Let $T: X\to Y$ be linear. If $X$ is finite dimensional, show that $T$ is continuous. If $Y$ is finite dimensional, show that $T$ is continuous if and only if $\ker ...
8
votes
1answer
496 views

$\ell_\infty$ a Grothendieck space

The problem I am considering stated formally is this: Show that if a sequence in $\ell_\infty^*$ is weak*-convergent, then it is also weakly convergent. We may reduce this to the case where the ...
8
votes
2answers
2k views

On the limits of weakly convergent subsequences

Let $\{ f_n \}$ be a sequence in a Hilbert space $L^2(\mathbb{R}^d)$. We say that this sequence converges weakly to an element $f \in L^2$ if $\langle f_n, g \rangle \to \langle f,g \rangle$ for every ...
8
votes
1answer
624 views

Eigenfunctions of the Laplacian

I am willing to offer a bounty for this one, so I will give you an exact idea of what I need: I am looking for solutions of $$\Delta \Psi(r,\theta)=k^2\Psi(r,\theta)$$ where $k\in \mathbb{R}$. Such ...
8
votes
1answer
223 views

A commutator identity for bounded linear maps and the identity operator of a non-zero normed space is never a commutator

Let $ \mathcal{X} $ be a normed linear space and $ S,T: \mathcal{X} \to \mathcal{X} $ be linear operators such that $ S \circ T- T \circ S=1 $. Show that $ S \circ T^{n+1}- T^{n+1} \circ S=(n+1)T^n ...
8
votes
1answer
292 views

A convergence problem in Banach spaces related to ergodic theory

Suppose $X$ is a Banach space, $T\in B(X)$, satisfied the following condition. $\sup \Big\lVert\frac{1}{n}\sum \limits_{i=0}^{n-1}T^{i}\Big\rVert<\infty$ $\frac{1}{n}\lVert ...
8
votes
1answer
281 views

An application of J.-L. Lion's Lemma

Let $X,Y$ and $Z$ be three Banach spaces with norms $\|\cdot\|_X$, $\|\cdot\|_Y$,$\|\cdot\|_Z$. Assume that $X\subset Y$ with compact "injection" and that $Y\subset Z$ with continuous injection. Then ...
8
votes
1answer
593 views

Mazur's Lemma (can't find a proof anywhere)

If we have a normed vector space $X$, and $x_n \to x$ weakly, then it's clear how to show there's a sequence $y_n \to x$ strongly (since the weak closure and strong closure of a convex set coincide, ...
8
votes
1answer
701 views

The dual of a Fréchet space.

Let $\mathcal{F}$ be a Fréchet space (locally convex, Hausdorff, metrizable, with a family of seminorms ${\|~\|_n}$). I've read that the dual $\mathcal{F}^*$ is never a Fréchet space, unless ...
8
votes
1answer
197 views

Monotone convergence to a fixpoint in a Banach space

Let $\mathscr X$ be a complete separable metric space and $\mathbb B$ be the Banach space of all real-valued bounded measurable functions on $\mathscr X$. The partial order on this space is introduced ...
8
votes
2answers
124 views

Does the shift operator on $\ell^2(\mathbb{Z})$ have a logarithm?

Consider the Hilbert space $\ell^2(\mathbb{Z})$, i.e., the space of all sequences $\ldots,a_{-2},a_{-1},a_0,a_1,a_2,\ldots$ of complex numbers such that $\sum_n |a_n|^2 < \infty$ with the usual ...
8
votes
2answers
248 views

Definition of Banach limit

In my Bachelor Thesis I have defined a Banach limit as a functional $LIM: l^\infty (\mathbb{N})\rightarrow \mathbb R$ that has the following properties: B1 If $(x_n)$ is a convergent sequence, then ...
8
votes
2answers
181 views

Traces on separable simple $C^{\ast}$- algebras

What is an example of a separable, simple $C^{\ast}$-algebra that admits two different tracial states? EDIT: Julien has pointed to a number of avenues to answer this question. If anyone has an ...