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)

55
votes
4answers
9k 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}$ ...
15
votes
2answers
4k views

Limit of $L^p$ norm

Could someone help me prove that given a measure space $(X, \mathcal{M}, \sigma)$ and a measurable function $f:X\to\mathbb{R}$ in $L^{\infty}$ and some $L^{q}$, ...
23
votes
3answers
777 views

If $\sum a_n b_n <\infty$ for all $(b_n)\in \ell^2$ then $(a_n) \in \ell^2$

I'm trying to prove the following: If $(a_n)$ is a sequence of positive numbers such that $\sum_{n=1}^\infty a_n b_n<\infty$ for all sequences of positive numbers $(b_n)$ such that ...
31
votes
2answers
1k views

The identity cannot be a commutator in a Banach algebra?

The Wikipedia article on Banach algebras claims, without a proof or reference, that there does not exist a (unital) Banach algebra $B$ and elements $x, y \in B$ such that $xy - yx = 1$. This is ...
12
votes
2answers
2k views

If $f$ is measurable and $fg$ is in $L^1$ for all $g \in L^q$, must $f \in L^p$?

Let $f$ be a measurable function on a measure space $X$ and suppose that $fg \in L^1$ for all $g\in L^q$. Must $f$ be in $L^p$, for $p$ the conjugate of $q$? If we assume that $\|fg\|_1 \leq C\|g\|_q$ ...
2
votes
2answers
1k views

Prove that $X'$ is a Banach space

I'm taking a new course on functional analysis and meet with the following problem. If $X$ is a normed space (not necessarily complete), then prove that $X'$ is a Banach space. Definition: When the ...
17
votes
1answer
903 views

Cardinality of a Hamel basis

What is the cardinality of a Hamel basis of $\ell_1(\mathbb{R})$? Is it deducible in ZFC that it is seemingly continuum? Does it follow from this that each Banach space of density $\leqslant ...
10
votes
1answer
2k views

Let $X$ be an infinite dimensional Banach space. Prove that every basis of X is uncountable.

Let $X$ be an infinite dimensional Banach space. Prove that every basis of $X$ is uncountable. Can anyone help how can I solve the above problem?
13
votes
1answer
1k views

How to prove that an operator is compact?

Consider $T\colon\ell^2\to\ell^2$ an operator such that $Te_k=\lambda_k e_k$ with $\lambda_k\to 0$ as $k \to \infty$ how to prove that it is compact?
11
votes
1answer
1k views

Strong and weak convergence in $\ell^1$

Let $\ell^1$ be the space of absolutely summable real or complex sequences. Let us say that a sequence $(x_1, x_2, \ldots)$ of vectors in $\ell^1$ converges weakly to $x \in \ell^1$ if for every ...
8
votes
5answers
880 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 ...
5
votes
1answer
460 views

Gelfand Topology and C*-algebras

Before we start here some notations to have no confusion: Suppose $A$ is a commutative $C^*$-algebra with unit. $\Sigma(A)$ is the Gelfand spectrum, given by all linear maps ...
32
votes
15answers
10k 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 ...
53
votes
4answers
2k views

Is it possible for a function to be in $L^p$ for only one $p$?

I'm wondering if it's possible for a function to be an $L^p$ space for only one value of $p \in [1,\infty)$ (on either a bounded domain or an unbounded domain). One can use interpolation to show that ...
10
votes
4answers
8k views

Space of bounded continuous functions is complete

I have lecture notes with the claim $(C_b(X), \|\cdot\|_\infty)$, the space of bounded continuous functions with the sup norm is complete. The lecturer then proved two things, (i) that $f(x) = \lim ...
9
votes
1answer
834 views

Nonnegative linear functionals over $l^\infty$

My purpose is a clarification of the role of the axiom of choice in constructing limits for bounded sequences. Namely, we want a linear functional of norm 1 defined on the space of all bounded complex ...
2
votes
1answer
2k views

The $ l^{\infty} $-norm is equal to the limit of the $ l^{p} $-norms. [duplicate]

If we are in a sequence space, then the $ l^{p} $-norm of the sequence $ \mathbf{x} = (x_{i})_{i \in \mathbb{N}} $ is $ \displaystyle \left( \sum_{i=1}^{\infty} |x_{i}|^{p} \right)^{1/p} $. The $ ...
3
votes
1answer
247 views

Volterra integral equation with variable boundaries

$$\phi (x)=x+\lambda \int_{a}^{x}(x-y)\phi (y)dy$$ I'm also Trying to solve this integral equation like she does Solving an integral equation with a separable kernel. and I also have some doubts ...
12
votes
3answers
6k views

Understanding of the theorem that all norms are equivalent in finite dimensional vector space

(Edit: Replaced $||\cdot||_0$ with $||\cdot||_1$ to clarify.) The following is a well-known result in functional analysis: If the vector space $X$ is finite dimensional, all norms are equivalent. ...
6
votes
2answers
1k views

How to show if $ \lambda$ is an eigenvalue of $AB^{-1}$, then $ \lambda$ is an eigenvalue of $ B^{-1}A$?

Statement: If $ \lambda$ is an eigenvalue of $AB^{-1}$, then $ \lambda$ is an eigenvalue of $ B^{-1}A$ and vice versa. One way of the proof. We have $B(B^{-1}A ) B^{-1} = AB^{-1}. $ Assuming $ ...
9
votes
4answers
1k views

Showing the inequality $|\alpha + \beta|^p \leq 2^{p-1}(|\alpha|^p + |\beta|^p)$

I have a small question that I think is very basic but I am unsure how to tackle since my background in computing inequalities is embarrasingly weak - I would like to show that, for a real number $p ...
19
votes
3answers
3k views

Discontinuous linear functional

I'm trying to find a discontinuous linear functional into $\mathbb{R}$ as a prep question for a test. I know that I need an infinite-dimensional Vector Space. Since $\ell_2$ is infinite-dimensional, ...
11
votes
3answers
552 views

Dirac Delta or Dirac delta function?

Is Dirac delta a function? What is its contribution to analysis? What I know about it: It is infinite at 0 and 0 everywhere else. Its integration is 1 and I know how does it come.
6
votes
1answer
1k views

Compactness of Multiplication Operator on $L^2$

Suppose we have an bounded linear operator A that operates from $L^2([a,b]) \mapsto L^2([a,b])$. Now suppose that $A(f)(t) = tf(t)$. Is A compact? Edit: I know $A = A^*$ but I'm not really sure ...
5
votes
1answer
361 views

Operator whose spectrum is given compact set

Let $A\subset \mathbb{C}$ be a compact subset. Since $A$ is compact and metric space, it is separable, say $\overline{\lbrace a_n\rbrace_{n=1}^\infty}=A$. Let $\mathcal{l}^2(\mathbb{Z})$ be the ...
23
votes
2answers
3k views

Connections between metrics, norms and scalar products (for understanding e.g. Banach and Hilbert spaces)

I am trying to understand the differences between $$ \begin{array}{|l|l|l|} \textbf{vector space} & \textbf{general} & \textbf{+ completeness}\\\hline \text{metric}& \text{metric ...
21
votes
2answers
6k views

The Duals of $l^\infty$ and $L^{\infty}$

Can we identify the dual space of $l^\infty$ with another "natural space"?. If the answer yes what about $L^\infty$. By the dual space I mean the space of all continuous linear functionals.
15
votes
5answers
1k views

Does there exist a linearly independent and dense subset?

Do there exist in infinitely dimensional normed spaces linearly independent and dense subsets? (Existence of linearly independent dense subset is equivalent of existence of dense Hamel Basis.) ...
3
votes
1answer
800 views

Question about Fredholm operator

$X,Y$ are Banach spaces and $A\in B(X,Y)$ is a Fredholm operator (that is, the dimensions of ker($A$) and coker($A$) are both finite), then are closed linear subspaces ker($A$) and Im($A$) ...
25
votes
1answer
1k views

Are these two Banach spaces isometrically isomorphic?

Let $c$ denote the space of convergent sequences in $\mathbb C$, $c_0\subset c$ be the space of all sequences that converge to $0$. Given the uniform metric, both of them can be made into Banach ...
12
votes
1answer
710 views

If $1\leq p < \infty$ then show that $L^p([0,1])$ and $\ell_p$ are not topologically isomorphic

If $1\leq p < \infty$ then show that $L^p([0,1])$ and $\ell_p$ are not topologically isomorphic Maybe I would have to use the Rademachers.
26
votes
7answers
2k views

Square root of a function (in the sense of composition)

There are some math quizzes like: find a function $\phi:\mathbb{R}\rightarrow\mathbb{R}$ such that $\phi(\phi(x)) = f(x) \equiv x^2 + 1.$ If such $\phi$ exists (it does in this example), $\phi$ can ...
16
votes
2answers
3k views

Finding the adjoint of an operator

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$? ...
13
votes
1answer
674 views

Open Mapping Theorem: counterexample

The Open Mapping Theorem says that a linear continuous surjection between Banach spaces is an open mapping. I am writing some lecture notes on the Open Mapping Theorem. I guess it would be nice to ...
7
votes
2answers
2k views

The kernel of a continuous linear operator is a closed subspace?

If $V$ and $W$ are topological vector spaces (and $W$ is finite-dimensional) then a linear operator $L\colon V\to W$ is continuous if and only if the kernel of $L$ is a closed subspace of $V$. ...
3
votes
1answer
981 views

$\ell^p\subseteq\ell^q$ for $0<p<q<\infty$ and $\|\cdot\|_p<\|\cdot\|_q$

I'm trying to show the inclusion : $\ell^p\subseteq\ell^q$ for real-value sequences, and show that the norms satisfy: $\|\cdot\|_p<\|\cdot\|_q$. I think I can show the first part without much ...
70
votes
18answers
7k 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 ...
20
votes
2answers
961 views

Norm for pointwise convergence

Does there exist a norm on the space of all real-valued functions on the real line (or on an open set? a compact set?) such that convergence in this norm is equivalent to pointwise convergence?
11
votes
1answer
1k views

How to prove that a bounded linear operator is compact?

I encountered a homework problem that says: If $A$ is a bounded linear operator from $X$ to $Y$. And $K$ is a compact operator from $X$ to $Y$, where $X$ and $Y$ are both Banach spaces, and ...
3
votes
1answer
2k views

Inequality between $\ell^p$-norms

Suppose that a sequence $x=(x_n)$ belongs both to $\ell^p$ and $\ell^q$ ($p,q>1$, $p\neq q$). Is there any inequality between $\|x\|_p$ and $\|x\|_q$. Can one $\ell^p$ be continuously embedded into ...
16
votes
3answers
758 views

Can spectrum “specify” an operator?

Given a bounded operator $A$ on a Banach space $X$, one may find the spectrum $\sigma(A)\subset{\bf C}$. Here are my questions: Given some set in the complex plane, say, $S\subset{\bf C}$, ...
12
votes
1answer
1k views

weak sequential continuity of linear operators

Suppose I have a weakly sequentially continuous linear operator T between two normed linear spaces X and Y (i.e. $x_n \stackrel {w}{\rightharpoonup} x$ in $X$ $\Rightarrow$ $T(x_n) \stackrel ...
6
votes
2answers
2k views

Compactness in the weak* topology

Let $X$ be a Banach space, and let $X^*$ denote its continuous dual space. Under the weak* topology, do compactness and sequential compactness coincide? That is, is a subset of $X^*$ weakly* ...
11
votes
1answer
640 views

Nested sequences of balls in a Banach space

This seems to be a fairly easy question but I'm looking for new points of view on it and was wondering if anyone might be able to help (by the way- this question does come from home-work, but I've ...
10
votes
2answers
2k views

Proof: $X^\ast$ separable $\implies X$ separable

Can someone tell me if I got the following right: Assume $X$ to be a normed vector space over $\mathbb{R}$. Prove that if the dual space $X^\ast$ is separable then $X$ is separable as well. I'm ...
9
votes
1answer
569 views

Tensor products of functions generate dense subspace?

Let $X$ and $Y$ be two spaces in certain category, $F(\cdot)$ a functor associating each space with a function space (with certain topology). Assume that for any $f\in F(X)$ and $g\in F(Y)$, $f\otimes ...
15
votes
1answer
689 views

Is there a constructive proof of this characterization of $\ell^2$?

I would like to revisit this question, which can be equivalently stated as: Proposition. Let $(a_n)$ be a sequence of real (or complex) numbers such that $\sum a_n b_n$ converges for every $(b_n) ...
14
votes
3answers
867 views

Compactness of a bounded operator $T\colon c_0 \to \ell^1$

Pitt Theorem says that any bounded linear operator $T\colon \ell^r \to \ell^p$, $1 \leq p < r < \infty$, or $T\colon c_0 \to \ell^p$ is compact. I know how to prove this in case $\ell^r \to ...
5
votes
1answer
1k views

Easy Proof Adjoint(Compact)=Compact

I am looking for an easy proof that the adjoint of a compact operator on a Hilbert space is again compact. This makes the big characterization theorem for compact operators (i.e. compact iff image of ...
0
votes
1answer
431 views

Weak *-topology of $X^*$ is metrizable if and only if …

Let $X$ be a topological vector space on which $X^*$ separates points. Prove that "the weak *-topology of $X^*$ is metrizable if and only if $X$ has a finite or countable Hamel basis"? (A set $\beta$ ...