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

Proof of an identity in a Hilbert space

Let $x_1,x_2\in H$ be two unit vectors in a Hilbert space $H$ and let $t_1,t_2 : B(H)\rightarrow\mathbb{C}$ be the linear functionals given by $t_j(a) =\langle ax_j,x_j\rangle$. Define ...
0
votes
1answer
87 views

Finding the Hilbert Adjoint in this case

If we let $H$ be a Hilbert space with inner product $\langle.,.\rangle$. And we fix $y, z \in H$. Then let $T:H\rightarrow H$ be the bounded linear operator $Tx = \langle x,y\rangle z$. Then what is ...
4
votes
1answer
104 views

Compact operator on invariant subspace is compact

Statement: Let $T \in \mathscr{B}(\mathscr{H})$, where $T$ is a compact operator. Let $M$ be a closed invariant subspace of $T$. Show that the restriction of $T$ to $M$ is compact. Attempted Proof: ...
1
vote
1answer
38 views

Dimension of intertwining space of unitary representation

I'm currently trying to read through an article by Poguntke, to be found here. The main theorem of the article is the following: Theorem. Let $\pi$ and $\pi'$ be irreducible unitary ...
1
vote
0answers
39 views

Linear map in Hilbert space.

If you have a linear map $h\mapsto T(h)$ from $H_1$ a real separable space, to Hilbert space $H_2$, it seem that this maps provides an isometry of $H_1$ onto a closed subspace of $H_2$. I try to ...
4
votes
1answer
344 views

functions orthogonal to the exponential Bell polynomials

Consider the single variable Bell polynomials $\phi_{n}(x)$ given by: $$\phi_{n}(x)=e^{-x}\sum_{k=0}^{\infty}\frac{k^{n}x^{k}}{k!}$$ I am looking for a set of functions $\tilde{\phi}_{n}(x)$ such ...
3
votes
2answers
68 views

Is it Hermitian or not?

I have a question, since I'm realy consfused. I am doing quantum information theorem, and there's a theorem that says, that for Hermitian $A\in L(H)$ ($H$ some finite dimensional Hilbertspace) then ...
1
vote
1answer
35 views

Let $x\in C^1[-\pi,\pi].$ Prove that $|\int_{-\pi}^{\pi}(x(t).cost-x'(t).sint)dt|^2\le 2\pi\int_{-\pi}^{\pi}(|x(t)|^2+|x'(t)|^2)dt$

Let $x\in C^1[-\pi,\pi].$ Prove that $|\int_{-\pi}^{\pi}(x(t).cost-x'(t).sint)dt|^2\le 2\pi\int_{-\pi}^{\pi}(|x(t)|^2+|x'(t)|^2)dt$ We have no idea to approach the poroblem. Please help??
2
votes
1answer
106 views

Two questions on Banach-valued spaces of integrable functions

Let $V$ be a Banach space with dual $V'$ and suppose that $V$ is included into the Hilbert space $H$ so that the inclusion is continuous and dense. Then after identification $H = H'%$ we have $V ...
3
votes
1answer
69 views

How to show: $\exists$ a subspace $L$ of a Hilbert space $H$ such that $H\neq L\oplus L^{\perp}$.

How to show: $\exists$ a subspace $L$ of a Hilbert space $H$ such that $H\neq L\oplus L^{\perp}$. Let consider $H=l_2$ where $l_2=\lbrace x=(x_n)^\infty_1: \sum^\infty_1 |x_n|^2<\infty \rbrace $ ...
1
vote
2answers
27 views

Orthonormal zero Function

I have this exercise Let H be a Hilbert space with orthonormal basis $\{e_n | n\in N\}$ and let $f_n = e_n + e_{n+1}$ If $\langle f,f_n \rangle = 0$ for all $n$ how do I prove that $f=0$ I think i ...
0
votes
1answer
75 views

how to show this function doesn't belong to Hilbert space?

I am trying to show $\chi_{B_R(0)}(x) \notin H^1 (\mathbb{R}^n)$ , ∀R>0. since $H^1 (\mathbb{R}^n) := W^{1,2}(\mathbb{R}^n)$ That is, I have to show that $\chi_{B_R(0)} (x) \notin ...
1
vote
1answer
263 views

Trace norm of Hermitian matrix

Let $A\in L(H)$ some Hermitian matrix, where $H$ is some finite dimensional Hilbertspace. I want to show $$\left\|A\right\|_{tr} = \max_{U\in U(H)}|\text{tr}(UA)| \ \ \ (*)$$ where U is unitary, and ...
3
votes
2answers
102 views

Determining if the span of a set is dense in L^2(0,1)

I am trying to determine whether or not the following statement is true: If $f \in L^2(0,1)$ and $\int_0^1 x^nf(x) = 0$ for all positive integers $n$. Then $f(x) = 0$ I have already verified this ...
2
votes
0answers
279 views

Bounded linear functionals on $L^\infty$.

I am looking at a practice final and I am a bit confused by this statement I am trying to prove: "There is a nonzero bounded linear functional on $L^\infty([0,1])$ which vanishes on the subspace ...
1
vote
1answer
55 views

Applying perp twice in a hilbert space

Let $H$ be a hilbert space and let $K \subset H$ be a subspace. Then $\overline{K} \subset K^{\perp\perp}$, but why does the reverse inclusion hold?
1
vote
1answer
151 views

Show compactness of an operator with Arzelà–Ascoli

We have $K\colon L^{2}(a,b) \rightarrow L^{2}(a,b)$ such that $ Kf(t)=\sum_{j=1}^{n}\phi_{j}(t) \int_{a}^{b} \psi_{j}(S) f(s)ds$ where $\phi_{j} ,\psi_{j} \in L^{2}(a,b)$. We want to show that K is ...
0
votes
1answer
55 views

Nonexpansive Affine Operators in Hilbert spaces

Let $H$ be a Hilbert space with real inner product $\langle \cdot, \cdot \rangle : H \times H \rightarrow \mathbb{R}$. Let $T$ be an affine operator. Show that $T$ is nonexpansive, i.e., $\left\| ...
2
votes
1answer
714 views

Invertible iff Bounded below and dense range

Statement: Given a Hilbert space $\mathscr{H}$ and $\mathscr{K}$ and a bounded operator $A \in \mathscr{B}(\mathscr{H}, \mathscr{K})$. Show that $A$ is invertible if and only if $A$ is bounded below ...
2
votes
0answers
189 views

Projection and Pseudocontraction on Hilbert space

Let $H$ be a real Hilbert space with inner product $\langle\cdot, \cdot \rangle: H \times H \rightarrow \mathbb{R}$, and induced norm $\left\| \cdot \right\|: H \rightarrow \mathbb{R}_{\geq 0}$. Let ...
1
vote
1answer
63 views

Hilbert space inequality $|\langle x,y\rangle | \leq \epsilon ||x||^2 + C_{\epsilon}||y||^2$

In prelim prep I came across 'given $\epsilon$ there exists $C_{\epsilon}$ such that $|\langle x,y\rangle | \leq \epsilon ||x||^2 + C_{\epsilon}||y||^2$. It is asserted without proof, so I've tried ...
2
votes
0answers
43 views

Limit of exp of self-adjoint operator

Let $A$ be self-adjoint (possibly unbounded) operator on Hilbert space $\mathcal{H}$. Under what conditions $w-\lim_{t\rightarrow\infty} e^{i A t}=P_0$, where $w-\lim$ - the limit in weak operator ...
-1
votes
1answer
65 views

Need help proving the equivalence of two norms?

Hey I could use a lot of help with this problem please! Let $(X, \langle\,\cdot,\cdot\,\rangle)$ be a Hilbert space over $\mathbb{R}$. Then, let $A\colon X \to X$ be a linear operator. Suppose that ...
0
votes
2answers
211 views

Isometry <=> Adjoint left inverse [duplicate]

Is it true that: $$T\text{ isometric}\iff T^*\text{ left inverse}$$ Obviously: $$\text{"}\Rightarrow\text{": }\langle x,\tilde{x}\rangle=\langle Tx,T\tilde{x}\rangle=\langle x,T^*T\tilde{x}\rangle$$ ...
-1
votes
2answers
143 views

Isometric <=> Left Inverse Adjoint

Is it true that: $$T\text{ isometric}\iff T^*\text{ left inverse}$$ Obviously: $$\text{"}\Rightarrow\text{": }\langle x,\tilde{x}\rangle=\langle Tx,T\tilde{x}\rangle=\langle x,T^*T\tilde{x}\rangle$$ ...
0
votes
1answer
22 views

Is $\phi(h)=\displaystyle \sup_{x\in X}{\|h-x\|}$ continuous on Hilbert space when $X$ is bounded?

Let $H$ be a hilbert space, and let $X \subset H$ be a bounded subset of $H$. Let define the function $\phi:H \to H$ by the rule $\phi(h)=\displaystyle \sup_{x\in X}{\|h-x\|}$. I want to know if this ...
0
votes
1answer
44 views

I want to show one norm is less than or equal to another norm on C([0,1])

Let $|| \ ||_1$ be the norm on $C([0,1])$ defined by $||f||_1 = \int_0^1|f(t)|dt$. a) Show that $||f||_1 \le ||f||_{[0,1]}$ b) Are $|| \ ||_1$ and $|| \ ||_{[0,1]}$ equivalent? For part a) I think ...
2
votes
1answer
65 views

Alternating projections on a Hilbert space

Let $P_1, P_2$ be the orthoprojections onto $S_1, S_2$, closed subspaces of a Hilbert space $H$. It is straightforward to show that if $(P_1P_2)^nx \to z$ then $z \in S_1 \cap S_2$ (I can post a quick ...
0
votes
1answer
28 views

If $x_n \to x$ in $L^1(X,H)$ then $\langle x_n, h \rangle \to \langle x, h \rangle$ in $L^1(X,\mathbb{R})$

Suppose $H$ is a Hilbert space. Is it true that if $x_n \to x$ in $L^1(X,H)$ then $\langle x_n, h \rangle \to \langle x, h \rangle$ in $L^1(X,\mathbb{R})$ for any fixed $h\in H$? Certainly if $x_n\to ...
3
votes
1answer
90 views

is this true for Hilbert space direct sum of $H$ when $H$ is infinite dimensional?

Let $(H_{\alpha})_{{\alpha \in I}}$ be a $I-$indexed family of Hilbert spaces over $\mathbb{F}$. let $H=\bigoplus H_\alpha$ be their Hilbert space direct sum. Can we say $\dim ...
3
votes
0answers
120 views

Functions in a Reproducing Kernel Hilbert Space are Lipschitz continuous

I would like to show that all the functions in a Reproducing Kernel Hilbert Space (RKHS) are Lipschitz continuous. So that, I take two points in the domain $\vec{x}_{1} ,\vec{x}_{2} \in X$ then from ...
1
vote
0answers
59 views

Finding the norm of a linear operation.

I am reading A course in real analysis by John McDonald, on page 530, it says "it is easy to show $|||J|||=1$" where $J$ is the linear operation $J:C([0,1])\rightarrow C([0,1])$, defined by $J(f)(x) = ...
0
votes
1answer
17 views

Projection with modulus less than one

Let $X$ be an Hilbert Space, $X=Y\bigoplus Z$ where $Y$, $Z$ are both closed subspaces. Let $P:X \rightarrow X$ $P(y+z)= y$ be the canonical projection, then $||P|| \leq 1 \implies Y=Z^{\bot}$ ...
1
vote
1answer
112 views

Orthogonal complement properties in Hilbert spaces

We have a Hilbert space $H$ and $x_0\in H$. We need to show that if we let $V$ be a closed subspace of $H$, then $$ \min\{\|x-x_0\|\,:\,x\in V\}=\max\{|\langle y,x_0\rangle|\,:\,y\in ...
1
vote
2answers
62 views

showing $\inf \sigma (T) \leq \mu \leq \sup \sigma (T)$, where $\mu \in V(T)$

I am trying to prove the following: Let $H$ be a Hilbert space, and $T\in B(H)$ be a self-adjoint operator. Then for all $\mu \in V(T)$, $\inf \left\{\lambda: \lambda \in \sigma (T) \right\}\leq \mu ...
0
votes
1answer
32 views

An identity on direct sum of Hilbert spaces

Let $M_i$ are the set of smooth complex valued functions ($i=0,1,2,...$) $L^2(M_i)$ are Hilbert spaces on $M_i$ then can we say $$L^2(\bigoplus_{i=0}^\infty M_i)\cong \bigoplus_{i=0}^\infty ...
1
vote
0answers
43 views

Question about Morse index

in general the Morse index of a critical point $p$ is the suprimum of the dimensions of sub spaces where $f''(p)$ is negative definite but whene $f''(p)=I-T$ ($f''(p)$ is a compact perturbation of ...
2
votes
1answer
42 views

Unitary transformation between complete and orthonormal bases

I'm using the Dirac notation for vectors here, since this is a quantum mechanics question. Suppose the complete orthonormal bases $\{|\psi_n\rangle\}$ and $\{|\psi{'}_n\rangle\}$ are related by the ...
1
vote
0answers
93 views

Expectation of $p$-norm under a Gaussian on the Hilbert space $L^2(S^1)$

Let $\mu$ be a centered Gaussian measure with (nondegenerate) covariance $Q$ on the Hilbert space $L^2(S^1;\mathbb R)$ where $S^1$ is the circle. We can take for example the covariance ...
0
votes
1answer
27 views

equivalency of weak convergence and strong convergence for this family of sequences

Let $H$ be a Hilbert space and let $f_n \in H$ be a sequence of orthogonal elements i.e $<f_n,f_m>=0 $ if $n\ne m$. Define the element $F_N= f_1 + f_2 +...+ f_N$ for each $ N\in \mathbb N$. ...
2
votes
2answers
121 views

Dense Countable basis on Hilbert space

Let say that I have a $H$ hilbert space and linear independent countable set $\beta =\{ \beta_1 , \beta_2, \beta_3... \}$ such that $span(\beta)$ is dense set in H. does $span(\beta-\beta_1) =span( ...
0
votes
1answer
74 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 ...
1
vote
0answers
61 views

Subspaces of a 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 \}$, where $v\in H^{1} ...
0
votes
1answer
52 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
146 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
47 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
vote
1answer
305 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
1answer
141 views

how to prove this density result?

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
vote
2answers
218 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
1answer
195 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 ...