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

learn more… | top users | synonyms

2
votes
1answer
28 views

Tomita Theory: Involution

Given a Hilbert space $\mathcal{H}$. Consider a von Neumann algebra: $$M\subseteq\mathcal{B}(\mathcal{H}):\quad M=M''$$ Suppose a cyclic vector: ...
0
votes
2answers
45 views

Function $f$ such that $f''\in L^2(\mathbb{R})$

Let us assume that $f\in L^2(\mathbb{R})$ and $f''\in L^2(\mathbb{R})$ ($f'$ - first derivative,$f''$ - second derivative), i.e. $f$ is square-integrable, $f$ is differentiable, its first deriviative ...
3
votes
0answers
34 views

Show that for the triples $V \subset H \subset V^{*}$, the following are true

Let $H$ be a Hilbert space equipped with scalar product $(,)$ and the corresponding norm $|\cdot|$. Let $V \subset H$ be a linear subspace that is dense in $H$. Assume that $V$ is a Banach space for ...
3
votes
2answers
21 views

Monotone sequence of orthogonal projections on a complex Hilbert space

Suppose $P_n$ is a monotone sequence of orthogonal projections on a complex Hilbert space $\mathcal{H}$, i.e. $V_n= Im(P_n)$ is a decreasing or increasing sequence of subspaces and $P_n^\star=P_n$ and ...
1
vote
0answers
16 views

Given an operator $Q$ between a Hilbert space $U$ and $L^2(ℝ^d;ℝ^d)$, is it possible to make sense of $U∋u↦(Qu)(x)$ for a fixed $x∈ℝ^d$?

Let $U$ be a Hilbert space $H:=L^2(\mathbb R^d;\mathbb R^d)$ for some $d\in\left\{2,3\right\}$ $Q$ be a Hilbert-Schmidt operator from $U$ to $H$. I want that $\tilde Q(x)$, where $$\tilde ...
0
votes
0answers
16 views

Extending a unitary isomorphism on a Hilbert space

Let $H$ be a Hilbert sapce and $M$ a dense subspace of $H$. Prove that any unitary isomorphism on $M$ can be uniquely extended to a unitary isomorphism on $H$. So here's what I tried: Let $T: M ...
5
votes
2answers
2k views

$C[0,1]$ is not Hilbert space

Prove that the space $C[0,1]$ of continuous functions from $[0,1]$ to $\mathbb{R}$ with the inner product $ \langle f,g \rangle =\int_{0}^{1} f(t)g(t)dt \quad $ is not Hilbert space. I know that I ...
3
votes
3answers
71 views

Why are function spaces generally infinite dimensional

The other day, I was trying to explain some concepts in Fourier analysis and wavelets to my girlfriend (an electrical engineering student) and obviously, the concept of Lebesgue integration came up in ...
1
vote
0answers
14 views

Characterizing when kernels in Reproducing Kernel Hilbert Space (RKHS) are linearly independent

In my studies of RKHS i.e. Reproducing Kernel Hilbert Spaces stating the following Let $ \mathbb{H} $ be a RKHS on a set X. We are asked to characterize when the following set of kernels $ \{ ...
0
votes
1answer
16 views

some detail calculation on the proof of equivalence of norms

We say that two norm $\|x\|_1$ and $\|x\|_2$ on a vector space $X$ are said to be equivalent if there exists $K>0$ and $M>0$ such that $$ K\|x\|_1\le \|x\|_2\le M\|x\|_1 $$ Prove that on a ...
0
votes
1answer
44 views

Approximate point spectrum of a normal operator

how can I show the following theorem? Let $H$ a Hilbert space and $T:H \to H$ a linear, continuos and normal operator. Then for every $\lambda \in \sigma(T)$ there exists a sequence $(x_n)_{n \in ...
3
votes
1answer
59 views

What is the norm of the dual space $H^1(\Omega)'$?

I am working on the Bidomain-Model which, during a time interval [0,T], describes the electrical behaviour of the myocardial muscle considered as $\Omega \subset \mathbb{R}^3$. This model has partial ...
1
vote
1answer
25 views

Spectral projections, additivity

Let $K$ be a positive operator on a Hilbert space $H$. $Q_1$ and $Q_2$ are projections such that $Q_1\perp Q_2$. Is $$ E^{Q_1K Q_1} (1,\infty) + E^{Q_2K Q_2} (1,\infty) =E^{Q_1K Q_1 +Q_2K Q_2} ...
1
vote
0answers
20 views

Two definitions of the operator $\exp(x)$ in $L^2(\mathbb R)$

The operator $x$ acts on a dense subspace of $L^2(\mathbb R)$ and is not bounded. So if we define $\exp(x)$ via the power series $\sum_{n=0}^\infty \frac {x^n}{n!}$, convergence will not follow in the ...
1
vote
1answer
26 views

Explicit example of two non-isomorphic Hilbert spaces with the same algebraic dimension [duplicate]

I´m wondering if there exist a vector space A and inner products: $\langle\cdot{,}\cdot\rangle_1$ and $\langle\cdot{,}\cdot\rangle_2$, such that: $\big( A,\langle\cdot{,}\cdot\rangle_1 \big)$ and ...
6
votes
1answer
264 views

Are two Hilbert spaces with the same algebraic dimension (their Hamel bases have the same cardinality) isomorphic?

We know that two Hilbert spaces that have orthonormal bases of the same cardinality are isomorphic (as an inner product spaces). My question is: what can we say when we know that their Hamel bases ...
0
votes
1answer
17 views

If an operator A on a Hilbert space has compact resolvent, is Ker($\lambda-A$) finite dimensional?

If an operator A on a Hilbert space has compact resolvent, is Ker($\lambda-A$) finite dimensional, for any $\lambda$ in A's spectrum? P.S: What I know now is that the spectrum of A is discrete.
1
vote
0answers
29 views

Calculate the trace of $T_nL$ where $L\in L(H)$, $T\in L(H,L(H))$ and $T_n:=\langle T,e_n\rangle_H$ for some ONB $(e_n)_n$ of a Hilbert space $H$

Let$^1$ $(H,\langle\;\cdot\;,\;\cdot\;\rangle)$ be a Hilbert space over $\mathbb R$ $(e_n)_{n\in\mathbb N}$ be an orthonormal basis of $H$ $T\in\mathfrak L\left(H,\mathfrak L\left(H\right)\right)$ ...
4
votes
2answers
519 views

Double orthogonal complement of any closed subspace is it self

Let $H$ be a pre-Hilbert space such that any closed sub space $M \subset H$ has the property $M^{\bot \bot}=M$. Prove that $H$ is a Hilbert space (ie, prove that $H$ is complete) My attempt: As ...
0
votes
0answers
19 views

precompact operators in a Hilbert space [functional analysis]

I've linked to a Theorem (from H&N's Applied Functional Analysis) whose proof I'm trying to understand (I asked a question about the previous chunk of the proof yesterday). The theorem is ...
1
vote
1answer
22 views

Operator groups

In $H := L^2(\mathbb{R}, \lambda)$ Hilbert-space, the following two, one-variable operator groups are given: $$(U_s f)(x):=f(x-s)$$ $$(V_s f)(x):=e^{is x} f(x)$$ $f \in H, s \in \mathbb{R}$. a, ...
2
votes
0answers
40 views

What would be an arrow in category of Hilbert space?

Let $H,K$ be Hilbert spaces. Let $S$ be a Hilbert basis for $H$. (Which means that $S$ is orthogonal and the span of $S$ is dense in $H$.) For each arrow $S\rightarrow K$, there exists a unique ...
4
votes
0answers
50 views

Operator continuity on Hilbert space

Let $A: H \to H$ be a linear operator on Hilbert space $H$, and let $\{\alpha_n\}_{n = 1}^{\infty} \subset \mathbb{R}$ converges to nonzero number. Prove that if the series $\sum_{n = 1}^{\infty} ...
0
votes
0answers
11 views

Example for injective and surjective bounded and unbounded operator

I am looking for some bounded and unbounded densely defined operators on a real Hilbert space $H$, let say $A:D(A)(\subset H)\to H$, that are one-to-one but they are not onto. I am wondering whether ...
3
votes
0answers
25 views

Showing a C* Algebra contains a compact operator

In my functional analysis class we are currently dealing with C* Algebras, and I just met this problem: Let $ \mathbb{H} $ be a separable Hilbert space, and suppose we have $ A \subset ...
3
votes
0answers
31 views

Proving/ Disproving that a set is compact in $l^2$

How can I prove or disprove that the following set in the real sequence space $l^2$ ( equipped with the norm $||(X_1,X_2,...)||_2 = \sqrt {\sum_{i=1}^{\infty} X_i^2}$ ) , is compact? $$ A = ( ...
3
votes
3answers
38 views

multiplication of finite sum (inner product space)

I am having difficulty to understand the first line of the proof of theorem 3.22 below. (taken from a linear analysis book) Why need to be different index, i.e. $m,n$ when multiplying the two sums? ...
5
votes
2answers
49 views

For a normal operator is it true that $\|T^*T^2\| = \|T^3\|$?

For a normal operator is it always true that $\|T^*T^2\| = \|T^3\|$? See the accepted answer for the case in a Hilbert space Update: how about $\|T^*T^2\| = \|T\|^3$ in a Hilbert space
1
vote
2answers
709 views

Closed unit ball in infinite dimensional normed linear space

I have to prove that in any infinite dimension normed linear space we have that the closed unit ball is not compact. I know that I have to construct a sequence such that $||x_n||=1$ and ...
1
vote
0answers
25 views

Is $l^2 \cong l^2 \otimes l^2 \cong l^2 \oplus l^2$?

I'm trying to learn about tensor products of Hilbert spaces and started to wonder if $l^2 \cong l^2 \otimes l^2 \cong l^2 \oplus l^2$? If $(e_n)$ denotes the standard basis, in the first case, it ...
0
votes
1answer
9 views

Can a span of an orthonormal subset be embedded into $l^2$?

Rudin - RCA p.85 Let $H$ be a Hilbert space and $\beta$ be an orthonormal subset of $H$. Let $T:H\rightarrow l^2(\beta)$ be the continuous linear transformation such that $T(x)(v)=(x , v)$ for $x\in ...
1
vote
3answers
50 views

Show $Px \perp (x-Px)$ and prove $||P|| \leq 1$

Let $H$ be a Hilbert space and linear operator $P:H \rightarrow H$ satisfy $\langle Px,y\rangle = \langle x,Py\rangle$ for all $x,y \in H$ and $P^2=P$. (a) Show that $Px \perp (x-Px)$ for every $x ...
1
vote
1answer
25 views

Significance of closedness of a subspace when writing a Hilbert space as a direct sum

I read that if $U$ is a closed subspace of a Hilbert space $H$ then we can write $H$ as $H = U \oplus U^\bot$ (the direct sum). What is not clear to me is why $U$ is required to be closed. I thought ...
5
votes
0answers
73 views

Pointwise approximation of a closed operator

If $T:\mathcal D(T) \rightarrow \mathcal Y$ is a closed operator from a Banach space $\mathcal X$ to a Banach space $\mathcal Y$, is it possible to find bounded operators $T_n\in \mathscr B(\mathcal ...
0
votes
1answer
20 views

Limit of sesquilinear forms is a sesquilinear form

Suppose $P_n$ is a monotone sequences of orthogonal projections in a complex Hilbert space $\mathcal{H}$. I want to show that the limit of the sesquilinear forms defined by: $\Gamma_n(x,y)=(x,P_n y)$ ...
1
vote
0answers
33 views

Hilbert Space, showing a sequence in Cauchy

Suppose $X$ is a Hilbert space, $M\subset X$ is a closed subspace and $y\notin M$. Let $d = \inf\{ \|x-y\|:x\in M\}$ show that if $\{x_n\}_{1}^{\infty}$ and $\lim_{n\rightarrow \infty}\|x_n - y\| = ...
1
vote
1answer
502 views

Hermite functions as eigenvectors of Fourier transform

In order to find an orthogonal basis of eigenvectors of the Fourier transform operator $F:L_2(\mathbb{R})\to L_2(\mathbb{R})$, $f\mapsto\lim_{N\to\infty}\int_{[-N,N]}f(x)e^{-i\lambda x}d\mu_x$ for ...
1
vote
3answers
261 views

From analysis of realvalued functions to analysis of Hilbert/Banach-valued functions

Does anybody know of a text (doesn't matter which form: article, book etc. - anything's welcome) in which it is described which result from real analysis also hold for Hilbert/Banach spaces ? I'm ...
1
vote
1answer
22 views

Operator Sum: Selfadjoint

Given a Hilbert space $\mathcal{H}$. Consider a closed operator: $$A:\mathcal{D}A\to\mathcal{H}:\quad A=A^{**}$$ Does it follow that: $$S:=\overline{A+A^*}:\quad S=S^*$$ (Rigorous proof?) Densely ...
1
vote
0answers
15 views

Characterization of noncommutative $L^2$-spaces as ordered vector spaces

If $M$ is a von Neumann algebra and $\tau\colon M_+\to[0,\infty]$ is a normal, semi-finite, faithful trace, the associated GNS Hilbert space is the completion of $\{x\in M\mid \tau(x^\ast ...
0
votes
1answer
19 views

Orthonormal basis for Hilbert space

Usually, an orthonormal basis for Hilbert space means an orthonormal subset which unconditionally spans the whole space. However, I'm curious whether there exists an orthonormal basis for every ...
1
vote
0answers
14 views

Separable Hilbert space convergence problem

Suppose that $\{x_j \}_{1}^{\infty}$ is a sequence of separable Hilbert space $X$ and that $\|x_j\| \leq 1$ for all $j$. Show that there is a subsequence $\{x_{j_k} \}_{k=1}^{\infty}$ such that for ...
0
votes
0answers
25 views

Does $S^{\perp\perp}=\overline{S}$?

I'm trying to prove that $S^{\perp\perp} = \overline{S}$, where S is a subspace of a Hilbert Space, where $S^{\perp\perp} = \{f: <f,g> = 0, \forall g\in S^\perp\}$ and $\overline{S}$ is the ...
2
votes
1answer
27 views

Suppose $f$ is a mapping between a normed space and a Hilbert space with ONB $(e_n)_n$, what's the second derivative of $\langle f,e_n\rangle$?

Let $E$ be a normed space $(H,\langle\;\cdot\;,\;\cdot\;\rangle)$ be a Hilbert space $f:E\to H$ be Fréchet differentiable $(e_n)_{n\in\mathbb N}$ be an orthonormal basis of $H$ and $$f_n:=\langle ...
0
votes
3answers
30 views

If $S$ is a subset of a Hilbert space $H$ then $S^\perp$ is closed?

Is this a true statement? (I found it as a theorem in a paper) If $S$ is a subset of a Hilbert space $H$ then $S^\perp$ is closed. If it were true then $(S^\perp)^\perp$ would be closed, that is ...
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
19 views

Suppose $f$ is a mapping between a normed space and a Hilbert space with ONB $(e_n)_{n\in\mathbb N}$, what's the derivative of $\langle f,e_n\rangle$?

Let $E$ be a normed space $(H,\langle\;\cdot\;,\;\cdot\;\rangle)$ be a Hilbert space $f:E\to H$ be Fréchet differentiable $(e_n)_{n\in\mathbb N}$ be an orthonormal basis of $H$ and $$f_n:=\langle ...
-2
votes
0answers
13 views

Some property of a sequence in Hilbert space [duplicate]

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

Operator self-adjoint

I have this paragraph : "Let M be a Hilbert-Riemannian manifold. $f \in C^2(M,R), p \in K$ is called a nondegenerate critical point, if $d^2 f (p)$ has a bounded inverse. Since $A = d^2 f (p)$ is a ...
0
votes
0answers
13 views

Gaussian Hilbert spaces indexed by a Hilbert space

Let $H$ a real Hilbert space. Then, there is a real Gaussian Hilbert space $G$ indexed by $H$. I know this result is a consequence of Kolmogorov Extension Theorem, but I have not idea of how ...