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

learn more… | top users | synonyms

0
votes
0answers
16 views

quadratic form associated with projection operator in Hilbert space

we are in Hilbert space $L^2 $ 1) we are given subspace of dimension $2K$ $$ V=Vect\{ g_k,\bar{g_k},1\le k\le K \}$$ $V$ is a sum of $K$ subspaces of dimension 2 $$ W_k=Vect \{g_k,\bar{g_k} \} $$ now ...
0
votes
2answers
34 views

Weak convergency vs strong convergency in Hilbert space

Let $\mathcal{H}$ be an Hilbert space and let $(x_n)_n \subset \mathcal{H}$ be a sequence s.t. $$ x_n \rightharpoonup x ~~~,~~~ \| x_n \| \to \|x\| $$ We want to show that $ x_n \to x $. Now, I ...
1
vote
2answers
50 views

Volterra-like operator is bounded

Define $T:L^2(\mathbb R) \rightarrow L^2(\mathbb R)$ by $$(Tf)(x)=\int_{-\infty}^x e^{-(x-y)} f(y) \, dy.$$ I would like to show that $T$ is bounded and that $$\lambda = \frac{1}{1+iw}$$ is in its ...
8
votes
1answer
107 views

Sufficient Condition for $f\in L^{1}(\mathbb{R}^{d})$ to belong to $L^{2}(\mathbb{R}^{d})$

Question. Let $\left\{\varphi_{j}\right\}$ be a complete orthonormal system for $L^{2}(\mathbb{R}^{d})$ such that each $\varphi_{j}\in C_{b}(\mathbb{R}^{d})$ (the space of continuous, bounded ...
2
votes
0answers
20 views

Orthogonal Complement: Families

Problem Given a Hilbert space $\mathcal{H}$. Consider a family: $$A:\Lambda\to\mathcal{P}(\mathcal{H}):\lambda\mapsto A_\lambda$$ Remind that: $$A\subseteq\mathcal{H}:\quad ...
0
votes
1answer
34 views

A closed subspace of a separable Hilbert Space is Separable

Suppose $X$ is a Hilbert Space which is separable. Let $Y$ be a closed Subspace of $X$. I need to show that $Y$ is separable. Since $X$ is separable it has a countable dense subset say $M$. Taking ...
0
votes
1answer
67 views

Projections: Beppo Levi

Given a Hilbert space $\mathcal{H}$. Consider projections: $$P_\lambda\in\mathcal{B}(\mathcal{H}):\quad P_\lambda^2=P_\lambda=P_\lambda^*$$ And directed indices: ...
0
votes
0answers
17 views

Calculate the real and the imaginary part of $g_n=\phi_n-\sum_{i=0}^{n-1}\langle\phi_n,\phi_i\rangle g_i$

We have $\{\phi_n\}_{n=0}^\infty$ a linearly dense sequence of unit vectors in a Hilbert space $H$ (on $\mathbb C$). Define $$g_n=\phi_n-\sum_{i=0}^{n-1}\langle\phi_n,\phi_i\rangle g_i$$ Calculate ...
1
vote
1answer
21 views

To show that $y$ is the best approximation of $x$ from $G$ i.e $y$ is the unique element of $G$ such that $||x-y||=d(x,G)$

Let $G$ be a closed subspace of a Hilbert Space $H$. For $x \in H$, let $y$ be the orthogonal projection of $x$ on $G$. Then I need to show that $y$ is the best approximation of $x$ from $G$ i.e $y$ ...
1
vote
1answer
46 views

$(T_n)_{n\in\mathbb{N}}\subseteq L(H)$, $T_n\to T$ weak, why does there exist $C>0$ such that $\|T_n\|\le C$ for all $n\in\mathbb{N}$?

Let $H$ be a Hilbert space, $(T_n)_{n\in\mathbb{N}}\subseteq L(H)$ a sequence such that $T_n^*=T_n$ and $T_n\le T_{n+1}$ for all $n\in \mathbb{N}$. There exists a map $T\in L(H)$ such that $T^*=T$ ...
3
votes
1answer
373 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 ...
1
vote
2answers
72 views

Eigenvectors of operators on a tensor product Hilbert Space

Suppose I have finite dimensional Hilbert spaces $V$, $W$, and an operator $A$ acting on vectors in $V$ such that it has eigenvectors/values $Ax_a=\lambda_ax_a$. In the tensor product space I want to ...
1
vote
1answer
16 views

Invariant subspace and projection

Let $F$ be a subspace of a Hilber space $H$, invariant under a bounded linear map $T$, and let $P$ be an orthogonal projection such that $Im(P)=F$. I need to show that $F$ and $F^\perp$ are ...
0
votes
1answer
25 views

Can someone help me to give some hints? Left Hilbert-$C_0(T,K(H))$ module $C_0(T,H)$

I tried to prove example 3.4 from the book Morita Equivalence and Continuous-Trace C$^*$-Algebras by Iain Raeburn and Dana P. Williams, but I get uneasy with notations and ideas. Let me restate my ...
2
votes
1answer
33 views

No Hilbert space can have countable Hamel basis without using Baire's Category theorem

I have to prove that no Hilbert space can have countable Hamel basis just using the fact that any finite dimensional subspace is closed (more specifically without using Baire's theorem). I saw a paper ...
7
votes
2answers
266 views

Absolute Continuity of Finite Borel Measure Characterized by Orthonormal Basis

I've been working through Fundamentals of Stochastic Filtering (Bain, Crisan) and am a little perplexed by the following (initially) seemingly straightforward exercise and its given solution. We are ...
0
votes
2answers
23 views

Complete eigen-vector basis from non invertible linear application

Consider a non-invertible linear application $O$ acting on a Hilbert space (quantum mechanics). Is there still any chance to find a complete basis of $O$ eigen-vectors or no?
6
votes
2answers
369 views

Does this statement about Hilbert spaces make any sense?

I have found this tweet about git and don't know what to make of it. git gets easier once you get the basic idea that branches are homeomorphic endofunctors ...
0
votes
0answers
9 views

Variational function versus variational solution

I want to minimize the functional $F[f(x)]$ and I'm going to try this in two different ways: First I am going to numerically minimize the functional $F[f(x)]$, leading to the "true solution" $f(x)$. ...
2
votes
1answer
49 views

Integral Measures: Identification

Problem Given a Borel space $\Omega$. Consider a Borel measure: $$\mu:\mathcal{B}(\Omega)\to\overline{\mathbb{R}}:\quad\mu\geq0$$ Regard a Borel measure: ...
-1
votes
0answers
23 views
3
votes
1answer
48 views

$f\mapsto \frac{df}{dx} - \frac{x}{\sqrt{1+x^2}}f $ has closed image and $1$-dimensional cokernel

Let $X$ be the completion of the space of smooth, compactly supported real-valued functions on $\mathbb R$ under the norm $$\|f\|_X^2=\int_{\mathbb R} \left(\frac{df}{dx}\right)^2 + f^2.$$ Let ...
0
votes
1answer
19 views

Direct Integral: Measurability

Given a Borel space $\Omega$. Consider plain functions: $$\eta,\vartheta\in\mathcal{F}(\Omega):=\{\eta:\Omega\to\mathbb{C}\}$$ The implication is wrong: ...
5
votes
2answers
75 views

Does orthogonal decomposition characterize direct sums in Hilbert space?

Let $H$ be a Hilbert space with inner product $(\cdot, \cdot)$. I know that if $M$ is a closed subspace of $H$, then $H$ can be written as the direct sum $M \oplus M^\perp$, where $M^\perp$ stands ...
3
votes
2answers
190 views

Power series expression for $\exp(-\Delta)$

I know it should be true, but for some reason I can't get the calculations to work out in order to show that if $f$ is smooth and compactly supported, the power series $\sum_{j=0}^\infty ...
5
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$.
0
votes
0answers
27 views

Dual of Hilbert space : induced norm vs. operator norm

Let $\mathfrak{H}$ be a Hilbert space. Is the operator norm on the dual $\mathfrak{H}^*$ induced by a inner product ?
1
vote
1answer
27 views

Spectral Measures: Multi Version (II)

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
37 views

Spectral Measures: Multi Version (I)

This question is only Q&A! Problem Given a Hilbert space $\mathcal{H}$. Consider a spectral measure: $$E:\mathcal{B}(\mathbb{C})\to\mathcal{B}(\mathcal{H}):\quad ...
1
vote
3answers
75 views

Stone's theorem for bounded operators

Let $H$ be a Hilbert space (assume separable if you like), and let $(U_t)_{t\in\mathbb{R}}$ be a unitary representation of $\mathbb{R}$ on $H$. Let us assume that $t\mapsto U_t$ is continuous, where ...
0
votes
1answer
17 views

$\lim_{k \to \infty} \langle s_k,e_n \rangle = \langle h,e_n \rangle$

I took a passage from a textbook regarding equivalent conditions of having an orthonormal sequence in a Hilbert space H. Why is the equality $$\lim_{k \to \infty} \langle s_k,e_n \rangle = \langle ...
2
votes
1answer
28 views

Partial Isometries: Final

Given Hilbert spaces $\mathcal{H}$ and $\mathcal{K}$. Consider an operator: $$J\in\mathcal{B}(\mathcal{H},\mathcal{K}):\quad P:=J^*J$$ By the C*-property: $$J=JJ^*J\iff P^2=P=P^*$$ Note that in any ...
0
votes
0answers
17 views

Simple inner product relation for self-adjoint operators

Problem 6.3.7 in Friedmann's Foundations of Modern Analysis asks to show that if $A$ is a self-adjoint operator in a Hilbert space then \begin{align} 4(Ax,y) = &\left[\left(A(x+y),x+y\right) - ...
1
vote
1answer
41 views

Need help proving $n(T)=n(T^*)$ for finite dimensions.

In my book this is showed: Let H and K be complex Hilbert spaces and let $T\in B(H,K)$. There exists a unique operator $T^* \in B(K,H)$ such that $(Tx,y)=(x,T^*y)$ for all $x\in H$ ...
0
votes
1answer
71 views

Partial Isometries: Subspaces

This thread was only Q&A. Given Hilbert spaces $\mathcal{H}$ and $\mathcal{K}$. Consider an operator: $$J\in\mathcal{B}(\mathcal{H},\mathcal{K}):\quad P:=J^*J$$ By a previous thread:* ...
2
votes
1answer
52 views

A very simple question: what spaces of function does the laplace transform map from and into?

Given a function $f$, we can write $f:\mathbb{R} \to \mathbb{R}$ to denote that $f$ takes a number from $\mathbb{R}$ into $\mathbb{R}$. Easy enough. Given the laplace transform operator ...
3
votes
1answer
59 views

Solution to Equation $Ax=f$ in Hilbert Space

Question. Let $H$ be a separable Hilbert space with complete orthonormal basis $\left\{u_{k}\right\}_{k=1}^{\infty}$, let $H_{n}:=\text{span}\left\{u_{1},\ldots,u_{n}\right\}$, and let ...
1
vote
2answers
607 views

Show that a positive operator on a complex Hilbert space is self-adjoint

Let $(\mathcal{H}, (\cdot, \cdot))$ be a complex Hilbert space, and $A : \mathcal{H} \to \mathcal{H}$ a positive, bounded operator ($A$ being positive means $(Ax,x) \ge 0$ for all $x \in ...
2
votes
0answers
28 views

Absolutely Continuous Spectrum and Norm of Resolvent

Problem. Let $H$ be a Hilbert space, and let $A:H\rightarrow H$ be a bounded, linear operator. Suppose $A$ has purely absolutely continuous spectrum and $\sigma_{ac}(A)=[0,1]$. Find the set of ...
1
vote
1answer
17 views

Getting the unique element in the Riesz-Frechet Theorem.

I have this thorem in my book, H', denotes the dual space, that is the set of bounded linear operators from X to the field over X. The way they got the unique element seems very interesting. Does ...
0
votes
2answers
46 views

Dense Operators: Kernel

This thread is Q&A. Problem Given Hilbert spaces $\mathcal{H}$ and $\mathcal{K}$. Consider an operator: $$A:\mathcal{D}A\subseteq\mathcal{H}\to\mathcal{K}$$ Then for the kernel: ...
1
vote
3answers
79 views

Prove that if $T=T^*$ and $\sigma(T)=\{\lambda\}$, then $T=\lambda I$

Show that if $T$ is a self adjoint linear operator on a Hilbert space such that the spectrum contains a single point $\lambda$, then $T=\lambda I$. Then, show this is false if $T$ is not self ...
2
votes
2answers
27 views

Adjoint of $\lambda I - T$

Given a selfadjoint (maybe unbounded) operator $T$ on a Hilbert space $H$, I want to calculate the adjoint of $\lambda I - T$ for a $\lambda \in \Bbb C$. I am tempted to argue as follows: ...
3
votes
1answer
72 views

Spectral resolution of multiplication operator

Kosaku YOSIDA claims in his book "Functional Analysis" that it is easy to see that the multiplication operator $Hx(t) = tx(t)$ in $L^2(-\infty,+\infty)$ admits the spectral resolution $H = ...
2
votes
1answer
141 views

Polar Decomposition: Adjoint

Problem Given Hilbert spaces $\mathcal{H}$ and $\mathcal{K}$. Consider a closed operator: $$A:\mathcal{D}(A)\subseteq\mathcal{H}\to\mathcal{K}:\quad A=A^{**}$$ Polar decompose: $$A=J|A|:\quad ...
2
votes
0answers
28 views

Operator norm of $P[v]-P[w]$

Let $\mathcal H$ be a complex Hilbert space with inner product $\langle\mid\rangle$, (dirac notation) which is semi-linear (conjugate linear) in the first argument. Let $\mathcal P_1=\mathcal P_1 ...
1
vote
2answers
138 views

Compact Operators: Trace

Given a Hilbert space $\mathcal{H}$. Consider a bounded operator: $$A:\mathcal{H}\to\mathcal{H}:\quad\|A\|<\infty$$ Regard ONB's: ...
3
votes
1answer
30 views

Compact diagonal operator

Suppose $A : H \to H$, where $H$ is a Hilbert space, is bounded. Also, $A$ is a diagonal operator with diagonal $\{a_n\}$. Show: If $A$ is compact, then $a_n \to 0$ as $n \to \infty$. Should I prove ...
3
votes
2answers
164 views

Show that the trace class operators on a Hilbert space form an ideal

Let $(H, (\cdot, \cdot))$ be a separable Hilbert space over $\mathbb{L} = \mathbb{R}$ or $\mathbb{C}$. Suppose that $\{\phi_n\}_{n=1}^\infty$ is an orthonormal basis for $H$. Let $\mathcal{B}(H)$ ...
0
votes
2answers
40 views

Question about trace class operators

Let $\cal{H}$ be a Hilbert space, $T$ a bounded linear operator on $\cal{H}$, $S$ a trace class operator, then can one verify that $$|Tr(TS)|\leq\|T\|\cdot|Tr(S)|?$$