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

learn more… | top users | synonyms

1
vote
1answer
18 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 ...
0
votes
0answers
20 views

Does Hilbert space with countable dimensions exist? [duplicate]

If there is a Hilbert space with infinite dimensions, can it have countably infinite dimensions? And does Banach space with countable dimensions exist?
1
vote
0answers
16 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 ...
0
votes
0answers
10 views

Hilbert-Schmidt theorem

In the Hilbert-Schmidt theorem what it means : $A e_n=\lambda_n e_n$ ? Thank you .
-1
votes
1answer
26 views

Need help proving the equivalence of two norms !

Hey I could use alot of help with this problem please! Let (X, <-,->) be a Hilbert space over R. Then, let A: X -> X be a linear operator. Suppose that A is symettric and positive definite. Let ...
0
votes
0answers
49 views

A book suggestion -Algebraic geometry. (Arf rings and Hilbert Function)

I am studying algebraic geoemtry. And I need to learn Arf Ring & Hilbert funciton. Please suggest me books / lecture notes...etc. that explains this topic in detail. Thank you.
2
votes
1answer
27 views

Isometry <=> Adjoint left inverse

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

Isometry: Adjoint = Leftinverse

Given an isometric operator is it true that its adjoint is necessarily leftinverse? My attempt goes like this: $$\langle x,\mathbb{1}\tilde{x}\rangle=\langle x,\tilde{x}\rangle=\langle ...
0
votes
1answer
17 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
22 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
29 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
21 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
0answers
33 views

How do I integrate $\langle\nabla u,\nabla v \rangle$ in arbitrary dimensions?

I am trying to show that if $u_n$ are eigenfunctions of the Laplacian operator that make up an orthonormal basis of $L^2$, then $u_n\sqrt{\lambda_n}^{-1}$ form an orthonormal basis of $H^1_0$. I ...
1
vote
0answers
10 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
25 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
9 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
16 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 ...
0
votes
2answers
31 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
21 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
29 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
12 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
37 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
15 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$. ...
0
votes
2answers
51 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
66 views

Hilbert space $L^{2}(0,\pi)$

I wanted to know how I should proceed if I wanted to prove that the closed subspace of $L^{2}(0,\pi)$ generated by {$\sin(kx): k=1,2,...$} coincides with $L^{2}(0,\pi)$. Thanks.
0
votes
0answers
24 views

Generalisation of Gramian determinant

i'm wondering about those facts of basic linear algebra: if you have $n$ vectors $x_1,...,x_n \in \mathbb{R}^n$, you can easily test their linear dependance by computing their Gramian Matrix $M$ whose ...
0
votes
0answers
11 views

Domains of operators defined by quadratic forms

Consider a separable Hilbert space $H$. Say we have two lower-bounded, densely defined quadratic forms $a$ and $b$ with respective domains $D[a],D[b] \subset H$ such that $D[b] \subset D[a]$ ...
0
votes
1answer
37 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
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
18 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
44 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
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
votes
1answer
32 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
47 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
48 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
45 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 ...
1
vote
3answers
51 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 ...
4
votes
2answers
35 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
0answers
31 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 ...
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 ...
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 ...
2
votes
1answer
80 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 ...
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 ...
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
51 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 ...
2
votes
1answer
20 views

Functional weakly lower-semicontinuous [duplicate]

If $X$ is a topological space, then a functional $\varphi:X\to\mathbb{R}$ is lower-semicontinuous (l.s.c) if $\varphi^{-1}(a,\infty)$ is open in $X$ for any $a\in\mathbb{R}$. If $X$ is a Hilbert ...
2
votes
1answer
32 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 ...