For question involving Hilbert spaces, that is, complete normed spaces whose norm comes from an inner product.

learn more… | top users | synonyms

23
votes
3answers
778 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 ...
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?
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 ...
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 ...
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 ...
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$? ...
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) ...
4
votes
2answers
424 views

A counterexample to theorem about orthogonal projection

Can someone give me an example of noncomplete inner product space $H$, its closed linear subspace of $H_0$ and element $x\in H$ such that there is no orthogonal projection of $x$ on $H_0$. In other ...
12
votes
3answers
2k views

An orthonormal set cannot be a basis in an infinite dimension vector space?

I'm reading the Algebra book by Knapp and he mentions in passing that an orthonormal set in an infinite dimension vector space is "never large enough" to be a vector-space basis (i.e. that every ...
10
votes
2answers
1k views

The direct sum of two closed subspace is closed? (Hilbert space)

I know that if $X$ is a Banach space, then, the direct sum of two closed subspace $X_1$ and $X_2$ is not necessarily closed. But what if $X$ is Hilbert? I assume there is something to do with the ...
2
votes
3answers
538 views

Compact operators and uniform convergence

Suppose $T: H \rightarrow H$ is a compact operator, $H$ is a Hilbert space, and let $(A_n)$ be a sequence of bounded linear operators on $H$ converging strongly to $A$. Show that $A_nT$ converges in ...
1
vote
1answer
800 views

$\ell_p$ is Hilbert space if and only if $p=2$

Can anybody please help me to prove this.. Let p greater than or equal to 1,show that the space of all p-summable sequences is an inner product space if and only if p=2
7
votes
1answer
658 views

Does there exist a real Hilbert space with countably infinite dimension as a vector space over $\mathbb{R}$?

Essentially what the title says - where to me a Hilbert space is a complete (Hermitian) inner product space, am I safe to assume every such real Hilbert space is of uncountable dimension over ...
3
votes
1answer
194 views

Graph of symmetric linear map is closed

A homework problem: Let $H$ be a Hilbert space. Let $T:H\rightarrow H$ be a symmetric linear map ($\langle Tx,y\rangle=\langle x,Ty\rangle$). Show that $S$ is bounded. My attempt: I'd ...
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 ...
6
votes
0answers
394 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 ...
5
votes
1answer
195 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 ...
12
votes
1answer
669 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 ...
5
votes
1answer
369 views

Sum of Closed Operators Closable?

Let $A$ and $B$ be closed operators on a (separable complex) Hilbert space with dense domains $D(A)$ and $D(B)$ respecitvely. Then, we may define the operator $A+B$ on $D(A)\cap D(B)$. In general, ...
3
votes
2answers
686 views

Every Hilbert space has an orthonomal basis - using Zorn's Lemma

The problem is to prove that every Hilbert space has a orthonormal basis. We are given Zorn's Lemma, which is taken as an axiom of set theory: Lemma If X is a nonempty partially ordered set with the ...
3
votes
2answers
495 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 ...
1
vote
1answer
168 views

Show $\{u_n\}$ orthonormal, A compact implies $\|Au_n\| \to 0$

I'm having a bit trouble with this homework exercise. Let $\mathcal{H}$ be a Hilbert space and $\{u_n\}_{n=1}^\infty$ an orthonormal sequence in $\mathcal{H}$. Let $A$ be a compact operator on ...
0
votes
1answer
223 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
4
votes
3answers
366 views

Convergence of a sequence of periodic functions

Motivated by the homogenization theory which studies the effects of high-frequency oscillations in the coefficients upon solutions of PDE, I am thinking about the following question. Let the ...
2
votes
1answer
73 views

Question about SOT and compact operators

I need some help with functional analysis / Hilbert space theory. If you have a favorite text to recommend, please let me know~ Here is my question: Given $v_t$ be the "squeeze operator" on ...
12
votes
1answer
635 views

Meaning of “kernel”

In analysis, there are at least three kinds of "kernel" concepts: In probability theory, there is a concept called transition probability, also called probability kernel, from one measure space $X$ ...
9
votes
4answers
816 views

Measure on Hilbert Space

On $\mathbb{R}^n$, we of course have the usual Lebesgue meausre. In many ways, separable, infinite-dimesional Hilbert space is the most natural generalization of $\mathbb{R}^n$ to ...
6
votes
3answers
274 views

A complete orthonormal system contained in a dense sub-space.

Let H be a separable complex Hilbert space. Let A be a dense sub-space of H. Is it possible to find a complete orthonormal system for H that is contained in A?
5
votes
3answers
197 views

Sequences are Cauchy depending on the norm?

Assume that we have two Banach spaces $B_1, B_2$ with their underlying sets being identical. Is it possible that a Cauchy sequence in one of the spaces would fail to be Cauchy in the other? I am ...
5
votes
3answers
459 views

$f$ an isometry from a hilbert space $H$ to itself such that $f(0)=0$ then $f$ linear.

This question was on an exam and I am not sure how to answer it. I mostly tried writing zero in different ways and tried lots of algebra to get something out. I also tried to use the fact that $H$ is ...
3
votes
1answer
2k views

Volterra Operator is compact but has no eigenvalue

Volterra operator is defined as operator $V:L^2[0,1]\rightarrow L^2[0,1]$ by \begin{eqnarray} (V)(f(x))=\int_0^xf(y)dy \end{eqnarray} Would you help me to prove that this operator is compact but has ...
9
votes
1answer
300 views

A paradox on Hilbert spaces and their duals

I am making some elementary mistakes here. Could you please help me point out the problems? Thank you very much! Suppose on some space $H$ we have two inner products, which make $H$ after completion ...
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}\\ ...
4
votes
2answers
248 views

Optimization problem using Reproducing Kernel Hilbert Spaces

I am encountering a problem concerning Reproducing Kernel Hilbert Spaces (RKHS) in the context of machine learning using Support Vector Machines (SVMs). With refernce to this paper [Olivier Chapelle, ...
4
votes
4answers
1k 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 ...
4
votes
1answer
537 views

positive invertible operators

I need the following result. I think it's quite obvious but I don't know how to prove that: Let $C, T : \mathcal{H} \rightarrow \mathcal{H}$ be two positive, bounded, self-adjoint, invertible ...
2
votes
1answer
193 views

Countable family of Hilbert spaces is complete

Let $H_1, H_2, \ldots, H_n$ be a countable family of Hilbert spaces. Let H be the set of tuples $x = (x_1, \ldots, x_n,\ldots)\in \prod_n H_n$ with the property that $$\|x \| ^2 =\sum_n \| x_n \| ...
10
votes
1answer
335 views

Every Hilbert space operator is a combination of projections

I am reading a paper on Hilbert space operators, in which the authors used a surprising result Every $X\in\mathcal{B}(\mathcal{H})$ is a finite linear combination of orthogonal projections. The ...
4
votes
1answer
246 views

Norms involving positive operators

Let's say we have $A \leq B$. Is it then true that $||Ax|| \leq ||Bx||$ (where $x, A, B$ all belong to the same finite-dimensional Hilbert space $H$)?
4
votes
1answer
231 views

Show that if the Riesz map is surjective on $H$, then $H$ is a Hilbert space

Let $H$ be a vector space equipped with an inner product $(\cdot, \cdot)$ and $f:H\to H',\ f(x)=(\cdot,x)$ surjective. Now, why $H$ is a Hilbert space? The other direction is clear by Riesz' ...
4
votes
2answers
327 views

Boundedness of operator on Hilbert space

I have the following question: let $\mathcal{H}$ be a Hilbert space and $\{\varphi_{i}\}_{i \in \mathbb{N}}$ be an orthonormal basis. Furthermore let $T: \mathcal{H} \rightarrow \mathcal{H}$ be an ...
2
votes
1answer
57 views

Exercise 31 from chapter 4 (“Hilbert Spaces: An Introduction”) of Stein & Shakarchi's “Real Analysis”

The following problem shows that $\{e^{inx}\}_{n \in \mathbb{Z}}$ is an orthonormal basis of $L^2([-\pi, \pi])$. It is taken from [1] (exercise 31 of chapter 4: "Hilbert Spaces: An Introduction", pp. ...
1
vote
1answer
180 views

Normal operators in Hilbert spaces

Let $H$ be a separable Hilbert space and let $T:H\to H$ be a continues linear map such that there exists an orthonormal basis of $H$ that consists of the eigenvectors of $T$. Show that $T$ is normal. ...
5
votes
1answer
337 views

Bounded operator and Compactness problem

Let $H$ be a Hilbert space with orthonormal basis $(e_{n})_{n\in\mathbb{N}}$. Furthermore, let $T\colon H\rightarrow C[a,b]$ be a bounded operator. a) Let $x\in [a,b]$. Show that there is a ...
4
votes
1answer
53 views

Does $S^\bot+T^\bot = (S\cap T)^\bot$ hold in infinite-dimensional spaces?

If $S$ and $T$ are subspaces of some finite-dimensional inner product space then $$S^\bot+T^\bot = (S\cap T)^\bot.$$ See, for example, this post or this post Does it hold in infinite-dimensional ...
3
votes
1answer
118 views

proof for a basis in $L^2$

I know, correct me if I am wrong, that the functions $H_n(x)\exp(-x^2/2)$ form a complete basis in $L^2(\mathbb{R},dx)$, where $H_n(x)$ is the $n$th Hermite polynomial. This must be true also for ...
2
votes
1answer
149 views

Prove or disprove that the given expression is “always” positive

I have previously asked a question and I tried to solve it by my own and it led to the question below: Prove or disprove that ...
2
votes
2answers
151 views

I need to show that $K$ is compact and that $co(K)$ is bounded, but not closed.

Let $x_n$ be a sequence in a Hilbert space such that $\left\Vert x_n \right\Vert=1$ and $ \langle x_n,\ x_m \rangle =0 $, for all $n \neq m$. Let $ K= \{ x_n/ n : n \in \mathbb{N} \} \cup \{0\} $. ...
1
vote
1answer
157 views

weak convergence condition

Let $l^{2}=\left\{x=(x^{(1)},x^{(2)},...):\sum_{i=1}^{\infty }\left\vert x ^{(i)}\right\vert ^{2}<\infty \right\} $. Would you help me to prove that $({\vert|x_n |\vert})$ is bounded sequence and ...
1
vote
2answers
345 views

Question about limits of weakly convergent sequence in $H^1_0(\Omega)$

Let $H = H_{0}^{1}(\Omega)$ where $\Omega$ is a bounded domain in $R^N$ whose boundary $\partial\Omega$ is a smooth manifold. We know that the embedding $$H\hookrightarrow L^s(\Omega)$$ is compact for ...