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

learn more… | top users | synonyms

3
votes
3answers
1k views

A Banach space that is not a Hilbert space

Can someone give me an example of a Banach space that is not a Hilbert space? I can't think of any because I don't know how to show one space that can not have inner product structure.
1
vote
1answer
204 views

right inverse of surjective linear map on hilbert space exists iff kernel is complement subspace

Suppose that $L : H \to H'$ is a surjective continuous linear transformation between Hilbert spaces. Show that there exists a continuous linear transformation $S : H' \to H$ such that $LS = I$. ...
1
vote
0answers
105 views

Riesz basis $\{|t|^\alpha e^{int}\}_n$

The class of Riesz bases is very large. It is extremely difficult to exhibit at least one bounded basis for a Hilbert space that is not equvalent to an orthonormal basis. We mention without proof the ...
4
votes
2answers
89 views

Examples of spectral decompositions

I would like examples of spectral decompositions and how they are obtained for normal compact operators and normal non-compact operators on an infinite dimensional hilbert space. I have googled it, ...
0
votes
1answer
56 views

Question about surjective continous operator being right invertible

I am reading a proof that a surjective continuous linear operator $T$ on a Hilbert space $H$ is right invertible. I have a question about the proof. The proof (up to the point where I have a question) ...
2
votes
0answers
173 views

The support of Gaussian measure in Hilbert Space $L^2(S^1)$ with covariance $(1-\Delta)^{-1}$

Let $\mu$ be Gaussian measure defined on Hilbert space $\mathcal{H}=L^2(S^1)$ ($S^1$ - circle) by formula $$ \int e^{(f,g)} d\mu(f) = e^{-\tfrac{1}{2}(g,C g) }. $$ The covariance operator $C$ is ...
0
votes
1answer
176 views

The eigenvalues of a compact and self-adjoint operator on Hilbert space

Show that if $K$ is a compact self-adjoint operator on Hilbert space then it has either finitely many eigenvalues or a sequence of eigenvalues $\lambda_n\to 0$ as $n\to \infty$.
1
vote
1answer
67 views

Tychonoff vs. Hilbert

Let $(\mathscr H_n,\langle\cdot,\cdot\rangle_n)_{n\in\mathbb N}$ be a sequence of Hilbert spaces. Let $$\mathscr H\equiv\bigoplus_{n\in\mathbb N}\mathscr ...
2
votes
2answers
199 views

Questions about the proof of the Riesz representation theorem

Let $H$ be Hilbert space, $f:H \rightarrow \Bbb F$ linear and bounded map. I'm trying to prove that there exists only one $z_0 \in H$ such that: $ \forall_{x \in H} : f(x)=\langle x,z_0\rangle$ ...
0
votes
1answer
291 views

If every closed subspace of a Banach space has a closed orthogonal complement, then it is a Hilbert space.

My professor mentioned this fact in class. FACT: If every closed subspace of a Banach space has a closed orthogonal complement, then it is a Hilbert space. He mentioned that he had never seen the ...
3
votes
1answer
88 views

Prove that $A^2$ is an Hilbert Space.

We denote by $A^2$ the space of analytic functions on $B_1=\{z=x+iy\in \mathbb{C}, x,y\in \mathbb{R}||z|<1\}$, such that $$\left(\int\int_{B_1}|f(z)|^2 dx \, dy\right)^{1/2}<+\infty$$ In $A^2$, ...
0
votes
1answer
44 views

Inequality on Hilbert spaces in order to prove the nonexpansivity of a mapping.

I have an application $T\colon H\to H$ (where $H$ is a Hilbert space) such that $$(Tx-Ty,x-y)\leq \|x-y\|^2,\forall x,y\in H$$ where $(\cdot,\cdot)$ is the inner product of $H$ and $\|\cdot\|$ its ...
0
votes
1answer
51 views

Subspaces of finite dimensional Hilbert spaces

This might be a trivial question but please point out exactly where my reasoning is incorrect. Is every subspace of $\mathbb{R}^n$ closed since $\mathbb{R}^n$ with the dot product is a finite ...
5
votes
1answer
379 views

Homeomorphisms between infinite-dimensional Banach spaces and their spheres

As I know Cz. Bessaga has proved that an infinite-dimensional Banach space is homeomorphic to its unit sphere. Unfortunately I do not have his book but I want to know is this theorem true without ...
0
votes
1answer
92 views

On the isomorphism between bounded sesquilinear forms and bounded operators between two Hilbert spaces

Let $H$ and $K$ be two Hilbert spaces. Let $S(H,K)$ be the vector space of bounded sesquilinear forms $u:H\otimes \overline{K}\to\mathbb{C}$, and let $B(H,K)$ be bounded linear operators from $H$ to ...
0
votes
1answer
100 views

Confusion related to hilbert space

I was reading this article related to Hilbert spaces I didn't get why the first function space is not Hilbert space. I mean I can define the same norm $||f|| =\max_{a\leqslant x\leqslant b} ...
0
votes
1answer
136 views

Why is $L^2$ function Hilbert space not defined for Riemann Integral

The space of square Lebesgue integrable functions is said to be a Hilbert space. Why is if the integral is Riemann then this is not a Hilbert space? In other words, why not the space of Riemann square ...
0
votes
1answer
66 views

Surjective homomorphism example

What is an example of a surjective homomorphism $B(H)\to\mathbb C$, where $B(H)$ is the set of bounded linear operators on a Hilbert space $H$, and $\mathbb C$ is the complex numbers.
1
vote
1answer
87 views

Zero Operators on Complex Hilbert Space

This is a problem from Kreyszig's Introdcutory Functional Analysis with Applications. If for any $x$ in a complex Hilbert Space $<Tx, x> = 0$, show that $T\equiv 0$. Any clue?
1
vote
1answer
56 views

Gelfand transform explicity

Let $T$ be a bounded normal operator. Let $A$ be the algebra generated by $T$ and $T^*$. What is the explicit Gelfand transform $G:A\to C(\sigma(T))$? My book says the image of $T$ is the ...
1
vote
1answer
97 views

Expression for orthogonal projection onto Hilbert space (is related to Galerkin method)

Let $H=L^2(\Omega)$ and $V=H^1(\Omega)$. Suppose that $\{v_j\}$ is a basis for $H$ and $V$ (not necessarily orthogonal). Let $V_m = \text{span}(v_1, ..., v_m)$. Define a projection operator $P_m:H ...
2
votes
0answers
100 views

Hahn-Banach separation theorem for Hilbert spaces

What is the strongest form of the Hahn-Banach separation theorem for Hilbert spaces? Could you please provide a reference?
7
votes
2answers
672 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 ...
1
vote
0answers
180 views

Difference between unconditional and absolute convergence in Banach spaces

One can show that in any finite-dimensional normed vector space absolute convergence is equivalent to unconditional convergence. It's not hard to show that if we have an orthonormal sequence in ...
4
votes
1answer
53 views

Direct product of a family of Hilbert spaces

Let $\{H_i\}_{i\in I}$ be a family of Hilbert spaces, defined $$H = \{f\in \Pi_{i\in I} H_i, \sum_{i\in I}|f(i)|^2<\infty\}$$ and inner product $\langle f,g\rangle : = \sum_{i\in I} \langle ...
3
votes
0answers
106 views

Reproducing kernel Hilbert sapce

I encountered the following claim (verbatim): Theorem Let $V$ be a subspace of $L^2(\mathbb{R})$ and $\{e_n\}$ be a orthonormal basis of $V$. The $V$ is a reproducing kernel Hilbert space with kernel ...
1
vote
1answer
63 views

In a dagger category, is there a name for morphisms $f : X \rightarrow Y$ with $\mathrm{id}_X = f^\dagger \circ f$?

In a dagger category, is there a name for morphisms $f : X \rightarrow Y$ with $\mathrm{id}_X = f^\dagger \circ f$? Clearly, every such arrow is a split monomorphism; further, if such an $f$ is ...
0
votes
1answer
39 views

Gelfand Transform in a specific case

What is the gelfand transform of an operator in the algebra generated by a bounded normal operator and it's adjoint? Thanks
2
votes
1answer
87 views

Unbounded extension of bounded operator

Is it possible to construct an unbounded extension of bounded densely defined operator? To be more concrete, let $\mathcal{H}$ be Hilbert space, $\mathcal{D}\subset\mathcal{H}$ - a dense subset, ...
0
votes
2answers
121 views

Parseval's identity, decomposition of inproduct.

Hoi, if $H$ is a seperable real Hilbertspace and $(e_n)$ orthonormal basis, then Parseval's identity $$\sum_n\left\langle x,e_n \right\rangle^2 = \left\|x\right\|^2 = \left\langle x,x ...
1
vote
0answers
56 views

Operators on a Hilbert space question

For a Borel measure $\mu$ define $\langle S_\mu x,y\rangle=\int_H\langle x,z\rangle \langle y,z\rangle \mu(z)$. An exercise in my book that I am reading says that I could find a $\mu$ s.t. $S_\mu$ ...
1
vote
1answer
72 views

Dense subspace in a Hilbert space

Let $H$ be a Hilbert Space and $\{e_n\}_{n\in\mathbb{N}}$ an orthonormal basis. Now let $(x_n)$ be a sequence in $H$ satisfying $$\sum_{n=1}^{\infty}||x_n-e_n||^2<1.$$ Prove that ...
0
votes
1answer
82 views

Common orthogonal basis for $L^2$ and $H^1$

How can we obtain a common orthogonal basis for the space $L^2(U)$ and $H^1(U)$ for some bounded open subset of $\mathbb{R}^n$? That this can be done is mentioned in Evans's Partial Differential ...
0
votes
1answer
61 views

Complex Projective Line

How can I go about showing that a collection of all states is the complex projective line $CP^1$? All I understand at the moment is that an element in $CP^1$ is of the form ...
1
vote
0answers
51 views

Closed affine subspace of $\mathcal{L}^{2}$

Consider a Hilbert space $\mathcal{L}^{2}=\lbrace X: X-\text{real-valued random variable}, \mathbb{E}(X^{2})<\infty \rbrace$ with the inner product $\langle X,Y\rangle=\mathbb{E}(XY)$. Let ...
2
votes
2answers
56 views

Show that $\ell^2(A)$ and $\ell^2(B)$ are isomorphic iff $A$ and $B$ have the same cardinality

Let $A,B$ be sets. Show that $\ell^2(A)$ and $\ell^2(B)$ are isomorphic iff $A$ and $B$ have the same cardinality. (Here $\ell^2(A)$ is the square integrable functions that stand on $A$ with the ...
0
votes
2answers
44 views

Adjoint of an operator question.

Let T be a normal operator. Prove that $\|T\|^{2n}=\|TT^*\|^n$ Has it got something to do with $\|T\|=\|T^*\|$?
0
votes
2answers
59 views

weak derivatives of exp(-|x|) and Hilbert Spaces

To which Hilbert Space (W^m,2) of R does the function exp(-|x|) belongs? I know its weak derivative is (-exp(-x) for x>0, exp(x) for x<0 and c0 (arbitrary) for x = 0). This weak derivative is in ...
0
votes
1answer
62 views

Show that H$(I)$ is a closed subspace of $L^2(I)$

EDIT: Original statement is not true, added condition. Let $I$ be the unit interval, define $H(I) = \{f\in AC(I)$ and $f'\in L^2(I)\}$. I want to show that $H(I)$ a closed subspace of $L^2(I)$. ...
1
vote
0answers
544 views

Is a closure of subspace N and and orthogonal complement of this subspace N orthogonal?

Ok, there is something I do not understand about what I run into today in an online document. I know it might sound simple but I am so new to topology so I am having hard time to understand. As we ...
0
votes
1answer
88 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 ...
3
votes
0answers
113 views

What's this standard duality argument?

I'm reading a proof of the Strichartz inequalities. It shows that $$ \| \int_\mathbb{R} e^{-is\Delta}F(s) \, ds \|_{L^2_x} \lesssim \|F\|_{L^{q'}_t L^{r'}_x}, $$ and then says that by duality, $$ ...
2
votes
1answer
123 views

On the completeness of inner product spaces.

Let $H$ be a Hilbert space, equipped with an inner product $(\cdot,\cdot)_1$ and norm $\|\cdot\|_1$ induced by it. Let $(\cdot,\cdot)_2$ be other inner product on $H$ and $\|\cdot\|_2$ the norm ...
1
vote
1answer
66 views

Condition for vector to be in the domain of unbounded operator.

Let $P$ be unbounded self-adjoint operator on some Hilbert space $\mathcal{H}$. We assume that the limit $$ \lim_{\epsilon \searrow 0} \|\exp(-\epsilon^2 P^2/2) P\psi\| $$ exists and is finite. Does ...
0
votes
1answer
76 views

Applying Schauder fixed point theorem to a map (explanation needed)

Let $F:L^2(\Omega) \to L^2(\Omega)$ be continuous map. Let $D$ be a function space. Since $F(L^2(\Omega)) \subset D$, and $D \subset L^2(\Omega)$ is a compact embedding, $F$ is a compact operator ...
4
votes
0answers
106 views

Ultraweak topology on Banach spaces

If $X$ and $Y$ are Banach spaces with $Y$ reflexive, then the space $\mathcal{B}(X,Y)$ of bounded operators from $X$ to $Y$ is the dual of the projective tensor product of $X$ and $Y^{*}$. As in the ...
0
votes
2answers
135 views

Spectral Theorem for normal operators

I want to prove this in the infinite dimensional Hilbert space case. What is the easiest way to go about this (What do I need to know, what theorems do I need,etc). My aim is to show every normal ...
0
votes
1answer
42 views

Question id a derivative on a Hilbert space

On a Hilbert space $H$; i have this function: $\tilde{f}(x)=f(x)+p(||x||)(x_0,x)$ where $x_0\in H, p\in C^2([0,\infty),\mathbb{R}),f\in C^2(H,\mathbb{R})$ i want to caculate $\tilde{f}', ...
1
vote
0answers
50 views

Continuity domain for momentum operator

The momentum operator in one dimension in quantum mechanics is $P=-i\frac{d}{dx}$ (with $\hbar=1$). Consider it as an operator on $L_2(0,2\pi)$, the space of square-integrable functions on $(0,2\pi)$. ...
3
votes
2answers
274 views

Derivative on Hilbert space

Please, on a Hilbert space what is the derivative of $\displaystyle\frac{x}{||x||}$ ? I know that it's equal to $\displaystyle \frac{1}{||x||}-\frac{\langle x,\cdot\rangle}{||x||^3} x$ but can I ...