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

learn more… | top users | synonyms

0
votes
1answer
126 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 ...
35
votes
1answer
541 views

Over ZF, does “every Hilbert space have a basis” imply AC?

I know there is a similar result due to Blass [1] that over ZF, "every vector space has a (Hamel) basis" implies AC. Looking around, however, I can't find any results on the question for Hilbert ...
15
votes
4answers
1k views

What really is ''orthogonality''?

I know that we can define two vectors to be orthogonal only if they are elements of a vector space with an inner product. So, if $\vec x$ and $\vec y$ are elements of $\mathbb{R}^n$ (as a real ...
12
votes
2answers
218 views

Is there a concept of a “free Hilbert space on a set”?

I am looking for a "good" definition of a Hilbert space with a distinct orthonormal basis (in the Hilbert space sense) such that each basis element corresponds to an element of a given set $X$. Before ...
7
votes
1answer
1k views

A few questions about the Hilbert triple/Gelfand triple

I am attempting to fully understand Hilbert triples by reading Brezis' Function Analysis book. Consider $V \subset H \subset V^*$, where $V$ is Banach and $H$ is Hilbert. $V$ is dense in $H$. ...
12
votes
1answer
486 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 ...
11
votes
1answer
575 views

orthonormal system in a Hilbert space

Let $\{e_n\}$ be an orthonormal basis for a Hilbert space $H$. Let $\{f_n\}$ be an orthonormal set in $H$ such that $\sum_{n=1}^{\infty}{\|f_n-e_n\|}<1$. How do I show that $\{f_n\}$ is also an ...
10
votes
1answer
700 views

An approximate eigenvalue for $ T \in B(X) $.

This is a problem from Conway’s Functional Analysis: Definition An approximate eigenvalue for $ T \in B(X) $ is a scalar $ \lambda $ such that there is a sequence of unit vectors $ x_{n} \in X $ ...
5
votes
1answer
233 views

If $\sum (a_n)^2$ converges and $\sum (b_n)^2$ converges, does $\sum (a_n)(b_n)$ converge?

Could someone help me to solve this or at least give me a hint?, I have tried using Cauchy's criterion, the Dirichlet test for convergence, etc, but I can´t prove it.Honestly I don´t know where to ...
12
votes
1answer
743 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$ ...
7
votes
1answer
1k 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 ...
7
votes
4answers
4k views

A linear operator on a finite dimensional Hilbert space is continuous

How do I show that a linear function from a Hilbert space $H$ to itself is continuous if $H$ is finite dimensional? Also, what would be an example of a linear function from a Hilbert space to itself ...
5
votes
3answers
853 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 ...
4
votes
1answer
163 views

Generalized Fourier series in $L^2$ that do not converge pointwise a.e.

For a Hilbert space $L^2$ we have the notion of an orthonormal basis $\{f_j\}$ being a sequence of orthonormal elements such that any element $f$ in $L^2$ can be approximated by partial sums in terms ...
8
votes
2answers
523 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
1answer
132 views

Explicit characterization of dual of $H^1$

Let's start by some well-known facts: $H^1(\mathbb{R})$ is a Hilbert space, hence there holds the Riesz representation theorem, stating that any linear functional on it can be represented as $L = ...
5
votes
2answers
2k 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 ...
2
votes
1answer
302 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
301 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 \| ...
1
vote
1answer
951 views

A problem with a proof of Bessel's inequality, and how to get Parseval's identity from it

I am studying functional analysis, and I think there is a problem with the proof written in my notes for Bessel's inequality. The theorem is: Let $H$ be a Hilbert space and ...
-1
votes
1answer
38 views

Trace Class: Decomposition

This is only Q&A. Preview Trace class operators decompose. So proofs reduce to Hilbert-Schmidt! Problem Given a Hilbert Space $\mathcal{H}$. For the trace class: ...
8
votes
1answer
134 views

Vector space that can be made into a Banach space but not a Hilbert space

Are there any (real or complex) vector spaces which can be made into a Banach space given a suitable norm, but cannot be given a norm that makes it a Hilbert space? I know that the parallelogram law ...
7
votes
3answers
578 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 ...
6
votes
1answer
2k views

What is the difference between an isometric operator and a unitary operator on a Hilbert space?

It seems that both isometric and unitary operators on a Hilbert space have the following property: $U^*U = I$ ($U$ is an operator and $I$ is the identity operator) What is the difference between ...
5
votes
2answers
412 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 refernece to this paper [Olivier ...
4
votes
1answer
301 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
463 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
555 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 ...
3
votes
1answer
1k 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 ...
3
votes
1answer
2k 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 ...
1
vote
1answer
68 views

Spectral Measures: Domain Criterion

Problem Given a Hilbert space $\mathcal{H}$. Consider a spectral measure: $$E:\mathcal{B}(\mathbb{C})\to\mathcal{B}(\mathcal{H})$$ Then the criterion holds: ...
1
vote
1answer
109 views

Proving that if $\sum\|f_n-e_n\|^2< 1$, $\{f_n\}$ is a complete sequence

Let $\{e_n\}$ be a complete orthonormal sequence in an Hilbert space $H$ and let $\{f_n\}$ be an arbitrary sequence of elements in $H$ s.t $$\sum_{n=1}^\infty\|f_n-e_n\|^2<1$$Show that ...
1
vote
1answer
218 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. ...
0
votes
2answers
64 views

Adjoint of an Operator in $l^2$

Let $l^2$ be the Hilbert space of all complex sequences $\phi =(\phi_j)_{j=0}^{\infty}$ such that $\sum_{j=0}^{\infty} |\phi_j |^2 < \infty$. Set $D= \{ \phi \in l^2 : \sum_{j=0}^{\infty} j ...
0
votes
1answer
50 views

Spectral Measures: Constructions

Any constructions welcome!!! Given a Hilbert space $\mathcal{H}$. Regard spectral measures: $$E:\mathcal{B}(\mathbb{C})\to\mathcal{B}(\mathcal{H})$$ That are additive: ...
5
votes
1answer
69 views

Showing a certain subspace of Hilbert space is dense

Let H be the Hilbert space of square-summable sequences of reals. A few years ago I thought I had proved that the subspace Z of real sequences with only finitely many nonzero terms, such that they ...
5
votes
1answer
536 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
107 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 ...
4
votes
1answer
146 views

Question about adjoint map and strong operator topology (SOT)

I am wondering if there is any condition one can apply (e.g. uniform boundedness?) that ensure the adjoint of a net of SOT-continuous elements is again SOT-continuous? My major question is ...
2
votes
2answers
94 views

Stone's Theorem Integral: Avanced Integral

Reference This problem grew out from: Stone's Theorem Integral: Basic Integral Problem Given the real line as measure space $\mathbb{R}$ and a Hilbert space $\mathcal{H}$. Consider a strongly ...
2
votes
1answer
181 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
162 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
258 views

What is the norm of the operator $L((x_n)) \equiv \sum_{n=1}^\infty \frac{x_n}{\sqrt{n(n+1)}}$ on $\ell_2$?

Let $(x_n) \subset \ell_2$ and let operator $L:\ell_2\to \mathbb R$ be defined by: $\displaystyle L((x_n)) := \sum_{n=1}^{\infty} \frac{x_n}{\sqrt{n(n+1)}}$. Find the norm of L.
2
votes
2answers
177 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
46 views

Sequence in hilbert space, mutually orthogonal vectors

Let $y_1,y_2,\cdots$ be a sequence in a Hilbert space. Let $V_n$ be the linear span of $\{y_1,\cdots,y_n\}$. Assume that $||y_{n+1}||\leq ||y-y_{n+1}||$ for all $y\in V_n$ for $n=1,2,3,\cdots$. Show ...
1
vote
1answer
61 views

Does the sequence $(\sqrt{n} \cdot 1_{[0, 1/n]})_n$ converge weakly in $L^2$?

Let $f_n (x) = \sqrt n 1_{[0,1/n ] } (x) \in L^2 (\mathbb R)$. Does $f_n$ converges weakly to $0$ in $L^2$? I tried to prove it by using Hölder's inequality or the Lebesgue differentiation theorem, ...
1
vote
1answer
42 views

Spectral Measures: Multi Version (III)

This question is only Q&A! Problem Given a Hilbert space $\mathcal{H}$. Consider a normal operator: $$N:\mathcal{D}(N)\to\mathcal{H}:\quad N^*N=NN^*$$ And its spectral measure: ...
1
vote
1answer
70 views

$l^p$ space not having inner product

I know that $l^2$ space is a Hilbert space. But for other $l^p$ spaces, where $p\geq1$, I have to show that they do not satisfy the parallelogram equality. But, I can't find appropriate sequences ...
1
vote
0answers
37 views

Lemma 3.3-7 and Theorem 3.6-2 in Kreyszig's “Introductory Functional Analysis With Applications”: What if completeness is lost? [duplicate]

Let $X$ be an inner product space, and let $M$ be a non-empty subset of $X$. Then we have the following: (a) If the space of $M$ is dense in $X$, then $M^\perp = \{0 \}$, that is, $x \in X$, $x ...
1
vote
1answer
81 views

Wave Operators: Calculus

Given Hilbert spaces $\mathcal{H}_0$ and $\mathcal{H}$. Consider Hamiltonians: $$H_\#:\mathcal{D}(H_\#)\to\mathcal{H}_\#:\quad H_\#=H_\#^*$$ Denote their evolutions: ...