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

learn more… | top users | synonyms

4
votes
2answers
310 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 ...
0
votes
2answers
223 views

Projection operator and closed subspaces

A projection operator on a Hilbert space $H$ is defined as operator that projects a vector $x$ of $H$ onto an closed subspace $S$ of $H$. Why the subspace $S$ has to be closed?
3
votes
1answer
143 views

Convexity of a set in Hilbert space

Let $H$ be a Hilbert space and $\left\{ e_{i}\right\} _{i=1}^{\infty}$ an orthonormal system. I need to prove that the following set is a convex set: $$C=\left\{ x\in ...
6
votes
2answers
236 views

Example of a non-algebraic $\ell^2$-function in two variables

Let's call an $\ell^2$-function $\mathbb{N} \times \mathbb{N} \to \mathbb{C}$ algebraic if it is in the image of the natural algebra homomorphism $\ell^2(\mathbb{N}) \otimes \ell^2(\mathbb{N}) \to ...
4
votes
1answer
141 views

An interesting condition for the completeness of an orthonormal system in $ L^2([0,1]) $

Let $\{u_n\}$ be an orthonormal system in $L^2([0,1])$, prove that $\{u_n\}$ is complete iff $$ \sum_{n=1}^\infty \intop_0^1 \left|\intop_0^x u_n(t)\;dt\right|^2 dx = 1/2.$$ It should be noted that ...
2
votes
1answer
212 views

Domain of closed operator and weak convergence: elementary proof and extensions?

Suppose $H,K$ are separable Hilbert spaces and $A : H \to K$ is a closed, densely defined, unbounded operator with domain $D(A)$. The following fact is often useful: Proposition. Suppose $x_n ...
2
votes
0answers
77 views

Prove $\forall$ compact $M:\ M \subset C\quad \exists A:l_2\rightarrow l_2, \sigma(A)=M$ [duplicate]

Possible Duplicate: Operator whose spectrum is given compact set Can spectrum “specify” an operator? Prove that for each nonempty $M$ - compact subset of $\mathbf{C}$ exists ...
0
votes
2answers
197 views

Simple question: is $S^{\perp}$ clopen?

It is well known that: A closed subspace $S\subseteq H$ and $H$ is Hilbert space, then $H = S\oplus S^{\perp}$ and $ S^{\perp}$ is also closed. I'm thinking that since $S^{\perp} = H\setminus S$ ...
4
votes
2answers
411 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 ...
3
votes
2answers
183 views

Distance of functions defined on a Hilbert Space

In our Topology class, we touched on Hilbert spaces for a couple of weeks. I've been studying various problems around the topics we covered, and I came across this one on a list of supplemental ...
2
votes
1answer
398 views

Relation between two orthogonal projections in a Hilbert space

Let $\mathcal{H}$ be a Hilbert space and let $P$ and $Q$ be two orthogonal projections to closed subspaces $M$ and $N$ respectively. Prove that: If $PQ$ is an orthogonal projection then it's range ...
1
vote
0answers
131 views

Addition of subspaces of a Hilbert space

Let $ \mathcal{H} $ be a Hilbert space and $ M $ be a closed subspace, prove that $ M + x_0\mathbb{R} $ is a closed subspace. It was easy enough to prove that $ M + x_0\mathbb{R} $ is a vector ...
2
votes
0answers
51 views

Intersection of a descending sequence of closed convex bounded subsets in Hilbert space [duplicate]

Possible Duplicate: Nested sequence of sets in Hilbert space $\{A_n\}$ is a descending sequence of closed convex bounded subsets in Hilbert space. Why can't the intersection be empty? I'm ...
1
vote
1answer
211 views

Nested sequence of sets in Hilbert space

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
1answer
290 views

Bounded operator from a Hilbert space to $\ell^1$ is compact

Let $H$ be any Hilbert space. How can we prove that any bounded linear operator $T\colon H \to \ell^1$ is compact? If we use the fact that the space $\ell^1$ has Schur property (norm and weak ...
3
votes
1answer
116 views

A property of Hilbert sphere

Let $X$ be (Edit: a closed convex subset of ) the unit sphere $Y=\{x\in \ell^2: \|x\|=1\}$ in $\ell^2$ with the great circle (geodesic) metric. (Edit: Suppose the diameter of $X$ is less than ...
7
votes
3answers
314 views

For what sequences of real numbers $\left\{ k_{n}\right\}$ is the set of functions $\left\{ e^{ik_{n}x}\right\}$ a basis?

It is well known that the set of functions $\left\{ e^{^{inx}}\right\}$, for integer $n$, is an othonormal basis for the space of square integrable real functions in the interval $[-\pi,\pi]$. Now ...
9
votes
4answers
770 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 ...
4
votes
2answers
491 views

Orthonormal basis in Hilbert space

I an reading a book about functional analysis and there is one thing i really don't understand. Let $\mathcal{H}$ be a Hilbert space. And $U \subset \mathcal{H}$ a closed subspace. Is it possible to ...
0
votes
1answer
150 views

Mean ergodic theorem

Let $U$ be a unitary operator and $H$ a Hilbert space. $I := \{ v \in H |  Uv = v\} $ and $A := \{ Uw - w | w \in H\}$. I would like to show that $A$ is dense in the ...
1
vote
1answer
112 views

Riesz sequences in Hilbert spaces

Is it true that if $\{x_{n}\}_{n=1}^{\infty}$ is a finite union of Riesz sequences in a Hilbert space H, then $\{x_{n}\}$ itself will be a Riesz sequence? What about Frames and Bessel seuences, do we ...
3
votes
4answers
104 views

reference for strongly continuous semi-groups

At the moment I am trying to understand the proof of the Fredholm property in Salamon's notes on Floer homology. There I came across the notion of an unbounded operator on a (real) Hilbert space which ...
1
vote
1answer
166 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 ...
2
votes
1answer
113 views

Balls in the space of bounded operators on a Hilbert space

Suppose $\mathsf{H}$ is an infinite-dimensional (non-separable preferably) Hilbert space. Consider the space $L(\mathsf{H})$ of all bounded operators on it. Is there $0\neq W\in L(\mathsf{H})$ such ...
-1
votes
1answer
164 views

Non-orthogonal Direct Sum?

I'm reading through a text that has been making references to "(not necessarily orthogonal) direct sums" of Hilbert spaces. What would a non-orthogonal direct sum be? Is that something like a direct ...
6
votes
2answers
312 views

Question about positive operators on a Hilbert space

I have the following problem. Let $\Omega \subset R^n$ have finite measure, let $H = L^2(\Omega)$ and let $S: H \to H$ be a bounded linear operator. Then it is well known that $P = SS^*$ is a positive ...
1
vote
0answers
130 views

Countable product of Hilbert spaces

Let $H_1, H_2, \ldots $ be a countable set of Hilbert spaces. Let $H\subset \prod_k H_k$ be the set where $$\|x\|^2 = \sum_k \|x_k\|^2_{H_k} < \infty.$$ Show that $H$ is a Hilbert space. It ...
5
votes
1answer
684 views

Hilbert Schmidt integral operator

Hilbert-Schmidt Integral operators are usually defined from $H=L_2[a,b]$ into $H=L_2[a,b]$ as $$(Tf)(x) = \int_a^b K(x,y)f(y) dy,$$ provided that $K(x,y)$ is a Hilbert Schmidt kernel, namely ...
2
votes
1answer
103 views

Hilbert space on a finite set

If X is a finite set, what does the Hilbert space $L^2(X)$ means? - saw this notion on The Princeton Companion to Mathematics.
3
votes
1answer
130 views

Is a projection operator diagonal-decreasing on a positive operator?

I just faced a obvious-looking inequality, but I didn't manage to prove it. Let $H$ be a finite-dimensional Hilbert space, $M, \rho$ positive operators on $H$, $P$ an orthogonal projector on $H$. Is ...
2
votes
3answers
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.
5
votes
2answers
541 views

Recognition of an orthonormal complete set in an Hilbert Space

I recently came across this exercise: Let $u_n:[0,1]\to \mathbb R$ be the sequence of functions defined by: $$(u_n):=\text{sign }(\sin(2^n\pi x)),\qquad n=0,1,2,\dots$$ a)Prove that this set of ...
7
votes
1answer
483 views

Isometric to Dual implies Hilbertable?

Let $X$ be a Banach space and suppose that $X$ is isometric to its continuous dual space $X^*$. Must $X$ be hilbertable in the sense that there exists an inner product which induces the norm on $X$? ...
7
votes
3answers
2k 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 ...
10
votes
1answer
428 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 ...
8
votes
2answers
492 views

Proving an inequality with Cauchy-Schwarz

In the "User's guide to viscosity solutions" by Crandall, Ishii and Lions (link), they make the following claim (inequality (A.4) p. 58) : Given $x$, $\xi$ $\in \mathbb{R}^n$, $A \in \cal{S}(n)$ ...
2
votes
1answer
114 views

Non-linear functional on $L^2$

Let $a,b,g,h$ be real numbers. How to prove that the functional $F\colon L^2 [a,b]\to \mathbb{R}$, given by $F(u)=\int_a^b (u^2(x)-gu(x)-h)\,dx$ is continuous? Thank you
2
votes
1answer
209 views

The commutator subgroup of the group of bounded invertible linear operators

I am curious to know what the commutator subgroup of the group of (bounded) invertible linear operators on a complex Hilbert space is? Note that by "commutator subgroup" I mean the subgroup ...
14
votes
1answer
675 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
336 views

How to prove Halmos’s Inequality

How to prove Halmos’s Inequality? If $A$ and $B$ are bounded linear operators on a Hilbert space such that $A$, or $B$, commutes with $AB-BA$ then $$\|I-(AB- BA)\|\ge 1.$$ I found it from ...
1
vote
2answers
476 views

Does the vector space spanned by a set of orthogonal basis contains the basis vectors themselves always?

I used to think that in any Vector space the space spanned by a set of orthogonal basis vectors contains the basis vectors themselves. But when I consider the vector space $\mathcal{L}^2(\mathbb{R})$ ...
2
votes
2answers
265 views

A non complete orthogonal system whose perpendicular space is trivial

Let $Y$ be an inner-product space, and let $A$ be an orthonormal system. We're trying to find a case to demonstrate the fact that even if for any given $x$ in $Y$ there's some $u$ in $A$ such that ...
5
votes
1answer
355 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, ...
4
votes
1answer
309 views

Direct sum $\Rightarrow$ Direct Integral, Tensor product $\Rightarrow$?

Is there a way to define a tensor product over a measure space(=index set) with a continuous measure for Hilbert spaces? For the sum we have the notion of a direct integral, here.
8
votes
2answers
468 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
146 views

Addition of Unbounded Operators

Let $H$ be a (separable complex) Hilbert space and let $A$ and $B$ be two densely-defined, maximally-defined linear operators on $H$ with domains $D(A)$ and $D(B)$ respectively. (By maximall-defined, ...
2
votes
1answer
613 views

Riesz Lemma to the Riesz Representation Theorem

Let $H$ be a Hilbert Space and let $H^*$ be the dual space of $H$. The Riesz Lemma states that for each $T\in H^*$, there is a unique $y_T\in H$ such that $T(x)=(y_T,x)$ $\forall x\in H$. Also, ...
7
votes
1answer
1k views

Equivalent inner products on a Hilbert space

Take a Hilbert space $(\mathcal H,(\cdot,\cdot)_{\mathcal H})$ and two equivalent inner products $(\cdot,\cdot)_1$ and $(\cdot,\cdot)_2$ on $\mathcal H$, i.e. such that there are $a,b \in \mathbb R$ ...
6
votes
1answer
987 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 ...
4
votes
1answer
255 views

How to characterize self-adjoint operators in terms of orthogonal diagonalizability

Have a look at the following excerpt of Tosio Kato (taken from Zeidler Applied functional analysis vol. I): The fundamental quality required of operators representing physical quantities in ...