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

learn more… | top users | synonyms

24
votes
3answers
887 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
1k 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 ...
17
votes
2answers
5k 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$? ...
17
votes
1answer
761 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) ...
13
votes
2answers
2k 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 ...
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 ...
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 ...
30
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 ...
6
votes
3answers
413 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?
4
votes
2answers
545 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 ...
6
votes
1answer
477 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, ...
2
votes
1answer
1k 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
748 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
2answers
1k 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 ...
2
votes
3answers
667 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 ...
3
votes
1answer
276 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 ...
1
vote
1answer
190 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 ...
10
votes
4answers
1k 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 ...
8
votes
2answers
523 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 ...
7
votes
0answers
435 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
297 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 ...
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
1answer
576 views

Direct sum of orthogonal subspaces

I'm working on the following problem set. Let $\mathcal{H}$ be a Hilbert space and $A$ and $B$ orthogonal subspaces of $\mathcal{H}$. Prove or disprove: 1) $A \oplus B$ is closed, then $A$ and $B$ ...
13
votes
1answer
857 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 ...
3
votes
2answers
664 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 ...
0
votes
1answer
271 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
463 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
81 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 ...
0
votes
1answer
110 views

Spectral Measures: Lebesgue

Preface Dominated convergence: $$f_n(\omega)\to f(\omega)\quad(\omega\in\Omega)\implies f_n(E)\to f(E)$$ (This gives a tool for analysis of operators.) Problem Given a Borel space $\Omega$ and a ...
12
votes
1answer
698 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$ ...
6
votes
3answers
237 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 ...
6
votes
1answer
649 views

Isomorphic Hilbert spaces

As part of a broader proof , I need to show that every two separable Hilbert spaces (that contains a dense countable set) are isomorphic (the linear mapping from one space to the other is injective ...
5
votes
3answers
593 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
362 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
494 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}\\ ...
5
votes
2answers
1k views

Elegant proof that $L^2([a,b])$ is separable

Is anybody aware of, or can provide at least an outline, of a proof that the Hilbert space of Lebesgue functions square-integrable on the closed real interval [a,b], equipped with the $L^2$ norm, is ...
4
votes
1answer
654 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
115 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. ...
2
votes
1answer
222 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 \| ...
11
votes
1answer
376 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 ...
7
votes
3answers
232 views

If a linear operator has an adjoint operator, it is bounded

This is a question I'm struggling with for a while: Let $H$ be a Hilber space. Let $T,S: H\rightarrow H$ be linear operators (not neccessarily bounded) such that for every $x,y\in H$: $\langle ...
4
votes
2answers
291 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
1answer
275 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
329 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
417 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 ...
4
votes
4answers
1k views

Compact operator

If $H$ and $K$ are Hilbert spaces,show that if $T:H\longrightarrow K$ is a compact operator and $\{e_{n}\}$ is any orthonormal sequence in $H$ then $\|Te_{n}\|\to0$.Is the converse true? thanks.
3
votes
1answer
1k views

Orthogonal projection on the Hilbert space .

I want to prove the following: If $X$ is a Hilbert space and $Y$ is a closed subspace of $X$, then every $x\in X$ can be written as $x=y+z $ where $y\in Y$, $z \in Y^\perp$. The ...
2
votes
1answer
539 views

Weak convergence, together with convergence of norms, implies strong convergence in a Hilbert space.

Let $(x_n)$ be a weakly convergent sequence in a Hilbert space $H$. If $\| x_n \| \to \| x \|$, show that $x_n$ converges strongly to $x$. Context This problem comes from a question in my exam ...