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)

10
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 ...
9
votes
1answer
2k 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) ...
5
votes
2answers
3k views

spectrum of the right shift operator

Here is the question: Considering the right shift operator $S$ on $l^2({\bf Z})$, what can one know about ran$(S-\lambda)$? Here is what I thought: If one wants to prove that the operator ...
4
votes
1answer
375 views

What is the topological dual of a dual space with the weak* topology?

I'm trying to understand a claim I heard in class. To be concrete, suppose $X$ is a compact, hausdorff topological space, and let $C(X)$ be the space of continuous functions on $X$ with the supremum ...
3
votes
2answers
786 views

$\operatorname{Range}T$ is a closed subspace.

Let $X,Y$ two Banach spaces. If $T \in \mathcal{B}(X,Y)$ study if $\operatorname{Range}T$ is a closed subspaces. How can I prove this fact ? What theorems can I use ? thanks :)
3
votes
1answer
329 views

linear subspace of dual space

$X$ is a locally convex space and $X^*$ is its dual space with weak* topology or uniform topology. If $H$ is a linear subspace of $X^*$ such that $\bar H \ne X^*$, then is there a non-zero $x \in X$ ...
12
votes
1answer
601 views

When is $C_0(X)$ separable?

Recall that a compact Hausdorff space is second countable if and only if the Banach space $C(X)$ of continuous functions on $X$ is separable. I'm looking for a similar criterion for locally compact ...
12
votes
2answers
4k views

Why are $l^{\infty}$ and $L^{\infty}$ non separable spaces?

$l^p (1≤p<{\infty})$ and $L^p (1≤p<∞)$ are separable spaces. What on earth has changed when the value of p turns from a finite number to ${\infty}$? Our teacher gave us some hints that there ...
11
votes
1answer
781 views

Closure of the invertible operators on a Banach space

Let $E$ be a Banach space, $\mathcal B(E)$ the Banach space of linear bounded operators and $\mathcal I$ the set of all invertible linear bounded operators from $E$ to $E$. We know that $\mathcal I$ ...
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 ...
7
votes
0answers
412 views

On the weak and strong convergence of an iterative sequence

I have some difficulties in the following problem. I would like to thank for all kind help and construction. Let $H$ be an infinite dimensional real Hilbert space and $F: H\rightarrow H$ be a ...
6
votes
1answer
1k views

Finite-dimensional subspaces of normed vector spaces are direct summands

Here is a problem in functional analysis from Folland's book: If $\mathcal{M}$ is a finite-dimensional subspace of a normed vector space $\mathcal{X}$, then there is a closed subspace ...
5
votes
1answer
124 views

Continuous function on closed unit ball

Take a continuous mapping $f: \bar{B^{n}} \rightarrow \bar{B^{n}}$, where $\bar{B^{n}}$ is a closed unit ball in $\mathbb{R}^{n}$. Assume that $f(x) \neq x$ for every $x \in \bar{B^{n}}$. Define ...
5
votes
1answer
234 views

The sup norm on $C[0,1]$ is not equivalent to another one, induced by some inner product

Let $\mathrm{C}[0,1]$ be the space of continuous functions $[0,1]\rightarrow \mathbb{R}$ endowed with the norm $||x||_{\infty}=\mathrm{max}_{t\in [0,1]}|x(t)|$. It is easy to verify that this norm is ...
5
votes
5answers
636 views

Fixed point Exercise on a compact set

Let $K$ a compact normed space and $f:K\rightarrow K$ so that $$\|f(x)-f(y)\|<\|x-y\|\quad\quad\forall\,\, x, y\in K, x\neq y.$$ Prove that $f$ have a fixed point.
5
votes
2answers
317 views

If $(I-T)^{-1}$ exists, can it always be written in a series representation?

If $X$ is a Banach space, and $T:X \to X$ is a bounded linear operator with norm < $1$, then $I-T$ has a bounded inverse defined by $(I-T)^{-1} = \sum_{n=0}^\infty T^n$. Thinking in terms of a ...
4
votes
1answer
1k views

Sum of closed and compact set in a TVS

I am trying to prove: $A$ compact, $B$ closed $\Rightarrow A+B = \{a+b | a\in A, b\in B\}$ closed (exercise in Rudin's Functional Analysis), where $A$ and $B$ are subsets of a topological vector space ...
4
votes
1answer
310 views

Lower Semicontinuity Concepts

Let $X$ be a real Banach space, let $f:X\rightarrow \overline{\mathbb{R}}$ be a functional. We have known that: If $f$ is weakly lower semicontinuous then $f$ is weakly sequentially lower ...
4
votes
4answers
2k views

Orthogonal complement of a Hilbert Space

I have this problem: Let $S$ be a subset of a Hilbert $H$ and let $M$ be the closed subspace generated by $S$. Show that $M^{\perp} = S^{\perp}$ $M = (S^{\perp})^{\perp}$ if $V$ is a subspace of ...
3
votes
2answers
843 views

Is a von Neumann algebra just a C*-algebra which is generated by its projections?

von Neumann algebras have the nice property that they are generated by their projections (the elements satisfying $e = e^{\ast} = e^2$) in the sense that they are the norm closure of the subspace ...
2
votes
1answer
1k views

Proving that the dual of the $\mathcal{l}_p$ norm is the $\mathcal{l}_q$ norm.

Let $\| \cdot \|$ be a norm on $\mathbb{R}^n$. The associated dual norm, denoted $\| \cdot \|_*$ is defined as $\| z \|_* = \sup\{ z^{t} x : \| x \| < 1 \}$. Does someone know how prove that the ...
13
votes
1answer
769 views

Different versions of Riesz Theorems

In Wikipedia, there are three versions of Riesz theorems: 1 The Hilbert space representation theorem for the (continuous) dual space of a Hilbert space; 2 The representation theorem for ...
8
votes
1answer
520 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?
7
votes
1answer
638 views

Urysohn's function on a metric space

Let $(X,d)$ be a metric space and $A\subset B\subset X$. $A$ is closed, $B$ is open. If there are developed methods to find at least one (or describe the whole class) of Urysohn's functions for $A$ ...
7
votes
1answer
682 views

Do there exist closed subspaces $X$, $Y$ of Banach space, such that $X+Y$ is not closed?

I am looking for an example of two closed subspaces of a Banach space, such that their sum is not closed.
6
votes
1answer
534 views

Dual of $\ell_{\infty}$ is not $\ell_1$

As the title indicates I'm trying to show that $\ell_{\infty}^{*}$ is not $\ell_1$. I've shown that for p, q conjugate and finite we do indeed have $\ell_{p}^{*} = \ell_q$, with the correspondence ...
5
votes
1answer
819 views

Equivalence of reflexive and weakly compact

In a normed space $X$ is there an equivalence between these two proposition? $1)$ $X$ is reflexive; $2)$ $B$, the unit ball of $X$, is weakly compact.
5
votes
1answer
165 views

Why $L^{r}(X)\cap L^{t}(X)\subset L^{s}(X)$ for $1<r<s<t$?

I am working on this homework problem, and I am totally stuck: Let $(X,\mu)$ be a measure space, and let $1 \leq r < s < t < \infty$. Prove that there exist constants $\alpha,\beta>0$ so ...
4
votes
1answer
390 views

Counterexample for the Open Mapping Theorem

I would like to ask a counterexample for the open mapping theorem: Find a discontinuous linear mapping $T:X \to Y$ such that $T(X)=Y$ and $X,\;Y$ are Banach but $T$ is not open. Could you help me ...
3
votes
1answer
311 views

L1 convergence gives pointwise convergent subsequence

I have been reading Terry Tao's notes on Real Analysis and there's a part he just says, but does not really explain, so I am wondering if someone here would. The notes are ...
3
votes
1answer
186 views

When is a subset of $\ell^2$ compact?

I have been looking on the internet for hours now and even asking in chat without an answer. When is a set $M\subseteq\ell^2$ compact? For $L^p$, there is the Arzelà–Ascoli theorem that provides a ...
3
votes
1answer
185 views

Hilbert's Inequality

Could you help me to show the following: The operator $$ T(f)(x) = \int _0^\infty \frac{f(y)}{x+y}dy $$ satisfies $$\Vert T(f)\Vert_p \leq C_p \Vert f\Vert_p $$ for $1 <p< \infty$ where ...
3
votes
2answers
572 views

Hellinger-Toeplitz theorem use principle of uniform boundedness

Suppose $T$ is an everywhere defined linear map from a Hilbert space $\mathcal{H}$ to itself. Suppose $T$ is also symmetric so that $\langle Tx,y\rangle=\langle x,Ty\rangle$ for all ...
3
votes
1answer
228 views

weak$^*$-separability of $l_\infty^*$.

Where can I find the proof that $l_\infty^*$ is weeak$^*$-separable? I want to re-examine the proof of that fact.
2
votes
1answer
97 views

Show that $u(x)=\ln\left(\ln\left(1+\frac{1}{|x|}\right)\right)$ is in $W^{1,n}(U)$, where $U=B(0,1)\subset\mathbb{R}^n$.

The entire problem statement is: Let $n>1$ and let $U=B(0,1)\subset\mathbb{R}^n$. Show that $u:U\to\mathbb{R}$ given by $$u(x)=\ln\left(\ln\left(1+\frac{1}{|x|}\right)\right)$$ is in ...
2
votes
1answer
1k views

Is any closed ball non-compact in infinite dimensional space?

It is known that the closed unit ball $\overline{B_1(0)}$ in a normed space $X$ is compact if and only if $\dim X < \infty$. In particular, the $\overline{B_1(0)}$ is not compact if $\dim X = ...
2
votes
4answers
642 views

Space of bounded functions is reflexive if the domain is finite

Let $C_b(X)$ be a space of bounded continuous functions on a locally compact space $X$ equipped with the supremum norm. How to show that $C_b(X)$ is reflexive if and only if $X$ is finite?
2
votes
2answers
299 views

First theorem in Topological vector spaces.

I came across this theorem and I am disappointed not being able to understand or to have intuition to understand it . I would be glad to get help . Theorem : If $K$ and $C$ are subset of topological ...
0
votes
1answer
241 views

Nested sequence of sets in Hilbert space [duplicate]

How can I prove that nested sequence of non-empty bounded closed convex sets in Hilbert space have nonempty intersection? I just don't know where to start. Thanks
8
votes
1answer
591 views

A net version of dominated convergence?

Let $G$ be a locally compact Hausdorff Abelian topological group. Let $\mu$ be a Haar measure on $G$, i.e. a regular translation invariant measure. Let $f$ be fixed in $\mathcal{L}^1(G, \mu)$. ...
7
votes
2answers
648 views

Linear functional on a Banach space is discontinuous then its nullspace is dense.

I need to prove that: If a nonzero linear functional $f$ on a Banach Space $X$ is discontinuous then the nullspace $N_f$ is dense in $X$. To prove that $N_f$ is dense, it suffices to show that ...
5
votes
2answers
119 views

Differentiable $f$ such that the set of translates of multiples of $f$ is a vector space of dimension two

How can we derive all of the differentiable functions $f \colon \mathbb{R} \to \mathbb{R}$ such that $V=\{af_b : a,b \in \mathbb{R}\}$ is a vector space of dimension two, where $f_b\colon \mathbb{R} ...
5
votes
1answer
321 views

Question about definition of Sobolev spaces

I'm trying to understand the following definition: which can also be found here on page 136. Question 1: Closure with respect to what norm? It's not given in the definition. Question 2: Do I have ...
4
votes
2answers
278 views

Banach-Stone Theorem

In here, Banach first proved a lemma which used directional derivative to identity peak point of functions. Then he used the lemma in the proof of Banach-Stone theorem. After several years, Stone ...
4
votes
1answer
581 views

Weak topology on an infinite-dimensional normed vector space is not metrizable

I've been pondering over this problem for a while now, but I can't come up with a proof or even a useful approach... Let $X$ be am infinite-dimensional normed vector space over $\mathbb{K}$ (that is ...
4
votes
1answer
166 views

Prove $\ell_1$ is first category in $\ell_2$

Prove that $\ell_1$ is first category in $\ell_2$. I tried to solve this, but had no idea about the approach. Any suggestions are helpful. Thanks in advance.
4
votes
1answer
153 views

Map bounded if composition is bounded

Let $X,Y,Z$ Banach spaces and $A:X\rightarrow Y$ and $B:Y\rightarrow Z$ linear maps with $B$ bounded and injective and $BA$ bounded. Prove that $A$ is bounded as well. If I knew that $B(Y)$ is ...
4
votes
2answers
639 views

The Space $C(\Omega,\mathbb{R})$ has a Predual?

Let $\Omega$ be a compact metric space and $C(\Omega,\mathbb{R})$ the space of borel continuous real valued functions. I would like to know if there is any real Banach space $V$ such that its dual ...
4
votes
1answer
262 views

Why is $GL(B)$ a Banach Lie Group?

Banach Lie Groups are what you'd expect: http://www.encyclopediaofmath.org/index.php/Lie_group,_Banach If $B$ is a Banach algebra then why is $GL(B)$, the set of invertible elements of $B$, a ...
4
votes
1answer
730 views

Weak convergences of measurable functions and of measures

My question is "how weak convergences of measurable functions is defined?" There seems to be two different definitions which are both based on weak convergence of measures generated by the measurable ...