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
0answers
167 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
396 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 ...
9
votes
0answers
759 views

Eigenvalues and eigenfunctions for the Fredholm integral operator $K(g) = \int_0^1 e^{x t} g(t) dt$.

I would like to compute the eigenvalues and eigenfunctions for the Fredholm integral operator $$K(g) = \int_0^1 e^{xt} g(t) dt.$$ The sources I've checked* seem to say that the process is fairly ...
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
855 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
3k 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
580 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
1k views

Dual of a dual cone

Any hint on how to prove the following please: Let $K$ be a convex cone, and $K^*$ its dual cone. Prove that $K^{**}$ is the closure of $K$. Thanks!
8
votes
2answers
472 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
878 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
480 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
2answers
151 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
184 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
308 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
297 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
540 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
643 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
242 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
345 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
244 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
230 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
328 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
87 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
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
450 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
293 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
492 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
613 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
220 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
278 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
692 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
194 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
123 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
233 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
178 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 ...
8
votes
2answers
477 views

Characterization of weak convergence in $\ell_\infty$

Is there some simple characterization of weak convergence of sequences in the space $\ell_\infty$? If yes, is there some similar claim for nets? I was only able to come up with a characterization ...
8
votes
1answer
253 views

Strong topology vs Natural topology

Let $X$ be a locally convex space and $\left< X, X^{\prime} \right>$ stands for the dual pair. The bidual of $X$ is denoted by $X^{\prime \prime}$ and this is a dual of $X^{\prime}$ with a ...
8
votes
1answer
144 views

Is $W_0^{1,p}(\Omega)$ complemented in $W^{1,p}(\Omega)$?

Let $\Omega\subset\mathbb{R}^N$ be a bounded domain and $p\in (1,\infty)$. It is know that there exist a unique bounded surjective linear map $T: W^{1,p}(\Omega)\to W^{1-1/p,p}(\partial\Omega)$ with ...
8
votes
2answers
97 views

Is there a smooth compact set between any two compact sets?

today I saw the following statement and of course believe that this is true but I don't know how to prove it rigorously (and neither do my colleagues). Let $\Omega \subset \mathbb{R}^n$ be open and ...
8
votes
1answer
233 views

Practical applications of the $L^p$ norm when $p \neq 1,2,\infty$

I'm roughly familiar with the concept of $L^p$ norms -- what they represent and how they are computed -- though I am far from educated in functional analysis in general. For reasons that are more or ...