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

learn more… | top users | synonyms

1
vote
0answers
38 views

Subspace of Hilbert space

I met a problem related with proving whether a subspace of Hilbert space is still a Hilbert space. Given the space $V = \{v \in H^{1}(0,1), \int_0^1 v \mathrm{d} x = 0 \}$, in which $H^{1} (0,1)$ is a ...
0
votes
1answer
39 views

Composing Projections on a Hilbert Space

Let $P,Q$ be projections on a Hilbert space such that $PQ$ is a projection. I have been able to prove that $PQ=QP$. I want to show that $ker(PQ)$ is contained in $ker(P)+ker(Q)$. If there's a ...
0
votes
1answer
19 views

Is tensor product commutative on orthonormal basis?

In general the tensor product $\varphi\otimes\psi$ is not commutative, but I was thinking that if I have tensor product on two orthonormal bases of Hilbert spaces are they commutative i.e is ...
2
votes
1answer
45 views

Poincaré inequality for a subspace of $H^2(\Omega)$

Suppose that $\Omega\subset\mathbb{R}^d$ is a smooth, bounded, and connected domain. Let \begin{equation} H=\{u\in H^2(\Omega):\int_\Omega u(x) dx=0 ~\text{and}~ \nabla u\cdot v=0~ ...
2
votes
1answer
30 views

Density result in Hilbert space

Assume that $b\in \mathbb{C}$ such that $0<\vert b \vert <1$. We consider the familly $f_{p}=\{1,b^{p},b^{2p},b^{3p},b^{4p},...,b^{np},...)$. How can one prove that $\operatorname{Span}(f_{p}, \ ...
-1
votes
1answer
34 views

Composition property of the functional calculus

Prove from the spectral theorem for normal operators $T$ that for bounded borel functions $f,g$ we have $f{\circ}g(T)$=$f(g(T))$.
1
vote
1answer
31 views

Inner product on direct sum of Hilbert spaces

Let $H_1$ and $H_2$ are two different Hilbert spaces then how can we define the inner product on $H_1\oplus H_2$
1
vote
0answers
32 views

Proving that a positive operator has a unique square root

Rudin's functional analysis page 331 theorem 12.33) proves this. He proves uniqueness by 'going back' to the general algebra setting. I was just wondering whether there is a more direct way of doing ...
1
vote
2answers
50 views

Hilbert vs Inner Product Space

What is the difference between a Hilbert space and an Inner Product space? They both seem to be defined as simply a vector space equipped with an inner product. Also can a metric always be defined ...
1
vote
3answers
52 views

polar decomposition proof

Let $H$ be a hilbert space and $T$ a bounded linear operator on $H$. I'm trying to prove that there is a partial isometry $V$ on the closure of $Im(|T|)$ such that $T=V|T|$ and $|T|=V^*T$, where ...
1
vote
1answer
48 views

Is the space of continuous functions a Cauchy complete?

I am so new to functional analysis so I am looking for an answer of a confusion I am having right now in my mind because I have seen many different answers for the question I am gonna ask below. I ...
4
votes
2answers
36 views

Orthogonal representation of finite operator

I would like to know if my proof is correct. Statement: Let $T$ be a finite rank operator on a Hilbert space $\mathscr{H}$. Show that $\forall \, h \, \in \mathscr{H}, \, T(h)$ can be written as ...
1
vote
2answers
58 views

uniqueness of positive operator

Let $A,B$ be commuting positive operators on a hilbert space such that $\langle(A-B)(A+B)x,x\rangle=0$ for all $x$ in the hilbert space. Prove that $A=B$. My attempt: The above implies that $A=B$ on ...
0
votes
0answers
39 views

question on Hilbert space [duplicate]

I know that $L^{2}(\mathbb R)$ is an Hilbert space. I am wondering how to prove that it is the only one? that is how to prove that $L^{p}(\mathbb R)$ spaces are not Hilbert spaces for $p \ne 2$? ...
2
votes
2answers
35 views

Showing $P^2=P$ for $P(v)=\frac{\langle v,w\rangle }{||w||^2}w$

My book asserts that for fixed $w$ where $w\neq 0$ that $P^2=P$ for $P(v)=\frac{\langle v,w\rangle }{||w||^2}w$ My book has a general corralary that $v\to P(v)$ is a bounded linear transformation and ...
2
votes
1answer
83 views

$\langle Tx,x \rangle=0$ proof

If $T$ is a bounded operator on a hilbert space $H$ and $\langle Tx,x \rangle=0$ for all $x$ in $H$, then $T=0$. I'm considering what we can conclude if $\langle Tx,x \rangle=0$ for all $x$ in some ...
7
votes
1answer
579 views

Is the right shift operator bounded?

I was reading my lecture notes for functional analysis when I came across the following statement: Let $(e_{n})$ be a total orthonormal sequence in a separable Hilbert space H. The right shift ...
1
vote
0answers
27 views

Lack of a polar decomposition

Prove that the left and right shifts on $l_{2}$ have no polar decomposition (i.e. $UP$ where $U$ is unitary and $P$ is positive).
0
votes
2answers
48 views

Rudin Polar decomposition

On page 332 theorem 12.35b) of Rudin functional analysis is show that if T is normal then it has a polar decomposition $T=UP$. Does he mean that $P=|T|$? He's a bit ambiguous as to how he defines ...
4
votes
3answers
566 views

Question about example of non-separable Hilbert space

I have come across the following example of a non-separable Hilbert space: Example 2.84. Let $I$ be a set, equipped with the discrete topology and the counting measure $\lambda_{\text{ count}}$ ...
0
votes
2answers
62 views

functional calculus and spectral measure

Let $T$ be a normal operator and $f$ be a bounded borel function on ${\sigma}(T)$. If $E_{T}$ and $E_{f(T)}$ are the spectral decompositions of $T$ and $f(T)$ respectively, prove that for any borel ...
0
votes
2answers
55 views

generalized eigenspace direct sum

Similar to the way an infinite dimensional hilbert space can be written as a direct sum of eigenspaces of a normal compact operator, I was wondering whether it can be written as a direct sum of ...
1
vote
3answers
103 views

Borel functional calculus

For a normal operator T, we have a resolution of the identity $\int_{{\sigma}(T)} {\lambda}\,dE=T$. If $T$ is in addition compact , we have that $\sum_{n=1}^{{\infty}}{\lambda}_{n}\langle ...
1
vote
3answers
205 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
30 views

spectral measure and integral query

I have proved the 'resolution of the identity' for a normal operator, namely that there is a unique spectral measure E such that $\int_{{\sigma}(T)} {\lambda}\,dE=T$ If (${\lambda}_{n}$) is the ...
2
votes
1answer
34 views

Dual of Hilbert space dense in dual of Reflexive space.

I don't see how to solve this problem which I think should be easy: Let Y be a reflexive space. Assume $Y$ is continuously embedded in a Hilbert space $H$ and $Y$ is dense in $H$. Show that $H^*$ is ...
2
votes
3answers
119 views

help with showing completeness

Let $\left\{H_n\right\}_{n=1}^\infty$ be a sequence of Hilbert spaces and let $H=\left\{\left\{x_n\right\}:x_n\in H_n, \sum ||x_n||^2<\infty \right\}$. Define the inner product as ...
3
votes
1answer
45 views

Projection operator in Hilbert space

Let $H$ be a Hilbert space, can we find an increasing net of finite rank projections which converge to the identity in the strong operator topology? And I think if $H$ is separable, we can find an ...
1
vote
0answers
21 views

The Haar basis ,proof of orthonoramality.

please i have this problem and i known how to prove completeness but do not know how to prove that it is orthonormal. I will appreciate it if anyone can help me. Given that $n\geq1$ write ...
4
votes
1answer
58 views

Spectral decomposition of normal operator

Define $T$ from $L_{2}(R)$ into itself by $T(f)(t)=f(t+1)$. Show that $T$ is normal and finds its spectral decomposition. I've shown that $f$ is normal (in fact it's unitary) but how do I find its ...
2
votes
1answer
43 views

Closure of partial differential operators on $L^2(\Omega)$

Let $\Omega:=\mathbb{R}^2\setminus\{0\}$. Consider the $\textit{uniformly elliptic}$ second order differential operator on $L^2(\Omega,\mathbb{C})$ $$ H=-\partial_x^2-\partial_y^2+ ...
0
votes
2answers
60 views

Cauchy-Schwarz Inequality by sum of squares.

i'm trying to solve: Prove the Cauchy-Schwarz inequality by writing $||x||^2||y||^2− |⟨x,y⟩|^2$ as a sum of squares. I'm fairly well versed in Cauchy Schwarz and know several proofs but I'm confused ...
4
votes
0answers
91 views

Spectral decomposition of $TT^*$

On $l_{2}$ let $T$ be given by $Te_{n}=\frac{e_{n+1}}{n+1}$ where $(e_{n})_{n\ge1}$ is the canonical orthonormal basis. Find the spectral decomposition of $TT^*$. I find that ...
2
votes
1answer
43 views

Polar decomposition corollary

Let $T$ be a compact operator on an infinite dimensional Hilbert space. Let $|T|=(T^*T)^{0.5}$. By the polar decomposition theorem there is a partial isometry $S$ of the closure of Im$(|T|)$ such that ...
0
votes
1answer
16 views

Identification of tensor product spaces

Let $P_1, P_2$ be (probability) measures, $\Omega_1, \Omega_2 \subset \mathbb{R}^n$ . Prove that $L_{P_1 \otimes P_2}^2(\Omega_1 \times \Omega_2)$ and $L_{P_1}^2(\Omega_1) \otimes L_{P_2}^2(\Omega_2)$ ...
0
votes
0answers
7 views

Universal property of tensor products of real Hilbert spaces

I have the following exercise where I could need some hints: Let H1, H2 be real Hilbert spaces. Prove that there is a weak Hilbert-Schmidt mapping $$ p: H_1 \times H_2 \rightarrow H_1 \otimes H_2 ...
1
vote
0answers
39 views

Duality pairing and difference with inner product in Hilbert spaces

My question is an extension to the post Acting of a dual pairing in Sobolev Spaces. Here duality pairings were discussed and even given explicit examples. Let $U$ and $V$ be Hilbert spaces such that ...
1
vote
0answers
21 views

about a theorem of weakly lower semicontinuous functions

I am studying the proof of the following theorem Theorem: Let $E$ a Hilbert space and suppose that $\varphi :E \rightarrow R$ is a weakly lower semicontinuous functional. Suppose that $\varphi$ is ...
0
votes
1answer
34 views

Counterexample of minimum principle in hilbert space on non closed but convex subspace

As I mentioned at title, I make tiny counterexample for minimum principle. Let $K=C([0,\frac{1}{2}]) \subset H=L^{2}([0,1])$. Then $K$ is convex since every $f,g \in K$, $(\alpha ...
1
vote
1answer
102 views

Non-commuting projection operators on a Hilbert space

Let $H$ be a separable Hilbert space. Can you provide an example of 3 orthogonal projection operators which are mutually non-commuting?
5
votes
0answers
52 views

Does this sequence of operators converge in norm or strongly?

Let $H$ be a Hilbert space and $\mathcal{L}(H)$ the set of all bounded linear operators $L:H\to H$, equiped with the usual norm $\|\cdot\|_{\mathcal{L}}$. Let $T:D(T)\subset H\to H$ be a ...
3
votes
1answer
75 views

Fourier series to calculate infinite series

I try to show that $\sum_{i=1}^{\infty} \frac{1}{n^2} = \frac{\pi^2}{6}$ using Fourier series and $f(x) = x$ on $L^2_{\mathbb{C}}[-\pi, \pi]$, with basis $e_n(x) = \frac{1}{\sqrt{2\pi}}e^{inx}$. I ...
1
vote
1answer
51 views

Show the Volterra Operator is compact using only the definition of compact

The Volterra operator $V:L^{2}[0,1]\rightarrow L^{2}[0,1]$ is defined by $(Vf)(x)=\int_0^xf(t)dt$. I am wondering if it can be shown that $V$ is compact by definition - that is, either that $V$ ...
2
votes
2answers
55 views

Has this theorem (on existence of inverse) an analogous for unbounded operators?

Let $S,T:X\to X$ be bounded linear operators, where $X$ is a Banach space. It's a consequence of the Banach Fixed Point Theorem that if $T$ is invertible and $\|T-S\|\|T^{-1}\|<1$ than $S$ is ...
0
votes
1answer
13 views

Image and Kernel of a certain bounded operator

Consider and Hilbert Space $X$, $T\in B(X)$ and a scalar $\mu$ s.t. $|\mu|=||T||$ By a simple argument I deduced that $\ker(\mu I- T)=\ker(\bar\mu I-T^*$) where $*$ denotes the adjoint. I am then ...
4
votes
2answers
441 views

Tensor product of operators

We know that if $T_1$ is a linear bounded operator on a Hilbert space $H_1$ and $T_2$ is a linear bounded operator on a Hilbert space $H_2$ there exists a unique linear bounded operator $T$ on $H_1 ...
2
votes
0answers
26 views

In which cases the spectrum of an operator contains only eigenvalues?

Let $X\neq \{0\}$ be a complex normed spaces (not necessarily finite-dimensional) and $T:D(T)\subset X\to X$ a linear operator (not necessarily bounded). I would like to know under what conditions can ...
0
votes
1answer
59 views

Weak limits and subsequences

Let $S:X \to X$ be a (nonlinear) map between a Hilbert space $X$. I want to show that $S$ is weakly continuous, so if $x_n \rightharpoonup x$, then $S(x_n) \rightharpoonup S(x)$. To do this, I have ...
1
vote
3answers
53 views

Show the Cauchy-Schwarz inequality holds on a Hilbert space

![enter image description here][1] How would one go about showing this? Its a question in one of the workbooks but it doesn't provide an answer. Any help would be appreciated.
1
vote
0answers
51 views

The Hilbert space $\mathcal{H}_\eta$ and unitary correspondence with $L^2[a,b]$

The question I have is related to a problem in Stein and Shakarchi's Real Analysis, Chapter 4. The problem Let $\eta(t)$ be a fixed strictly positive continuous function $[a,b]$. Define ...