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)

58
votes
4answers
11k 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}$ ...
18
votes
2answers
6k 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
815 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 ...
32
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$ ...
10
votes
1answer
3k views

Let $X$ be an infinite dimensional Banach space. Prove that every Hamel 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?
17
votes
1answer
1k 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 ...
2
votes
2answers
2k 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 ...
72
votes
20answers
8k 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 ...
54
votes
4answers
3k 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 ...
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?
5
votes
1answer
530 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 ...
12
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
968 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 ...
3
votes
1answer
3k 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 $ ...
36
votes
15answers
11k 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 ...
12
votes
4answers
9k 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 ...
4
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 ...
23
votes
2answers
7k 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.
10
votes
1answer
869 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 ...
5
votes
3answers
3k views

How to show that $C=C[0,1]$ is a Banach space

Let $C=C[0,1]$ be the space of all continuous functions on $[0,1]$. Define $\|f \|=\max \ |f(x)|$. I want to show that $C$ is a Banach space. Below is my attempt and I was wondering if it's ok. ...
3
votes
1answer
271 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 $ ...
20
votes
3answers
4k 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
618 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.
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 ...
14
votes
1answer
833 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 ...
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
382 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 ...
26
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 ...
15
votes
5answers
2k 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
894 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$) ...
26
votes
1answer
2k 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
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 ...
12
votes
1answer
757 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
4k 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$? ...
7
votes
2answers
3k 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
1k 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 ...
50
votes
3answers
1k views

Explicit norm on $\mathcal{C}^0(\mathbb{R},\mathbb{R})$

Do you know an explicit norm on $\mathcal{C}^0(\mathbb{R},\mathbb{R})$? Using the axiom of choice, every vector space admits a norm but have you an explicit formula on ...
20
votes
2answers
1k 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 ...
16
votes
3answers
783 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}$, ...
16
votes
5answers
2k views

A natural proof of the Cauchy-Schwarz inequality

Most of the proofs of the Cauchy-Schwarz inequality on a pre-Hilbert space use a fact that if a quadratic polynomial with real coefficients takes positive values everywhere on the real line, then its ...
12
votes
1answer
673 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
3k 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 ...
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* ...
15
votes
1answer
702 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) ...
9
votes
1answer
644 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 ...