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

Discrete Laplace: ONB

Before, consider the discrete Laplace without boundary: $$\Delta:\ell^2(\mathbb{N})\to\ell^2(\mathbb{N}):(\Delta u)_k:=\frac12(u_{k-1}+u_{k+1})$$ Regard the unitary transformation: ...
3
votes
0answers
65 views

Weak vs strong convergence for unitary operators

Suppose $H$ is a separable complex Hilbert space with inner product $(\cdot,\cdot)$ and norm $\|\cdot\|$, where $\|u\|^2 = (u,u)$. Suppose $u, u_1, u_2, \dots \in H$. Then $\lim_{n \to \infty} u_n = ...
1
vote
1answer
120 views

Why is image $u^\ast$ closed

Let $H,H'$ be Hilbert spaces and $u\in B(H,H')$. Let $u$ be Fredholm. Then there exists a pseudo inverse $v\in B(H',H)$ such that $u = u v u$ and $v$ is Fredholm. Then $u^\ast = u^\ast v^\ast u^\ast$ ...
-1
votes
2answers
54 views

Selfadjoint Operators: Characterization

Given a Hilbert space. Symmetric operators can be described by $$\overline{\mathcal{D}(A)}=\mathcal{H}:\quad A\subseteq A^*\iff\langle ...
2
votes
2answers
45 views

Bounded Linear Operator and the Adjoint

Let $S$ be a linear operator with dense domain $\mathcal{D}(S)$ in the Hilbert space $\mathcal{H}$. Assume that the domain $\mathcal{D}(S)$ belongs to a larger domain, namely $\mathcal{D}(S) \subset ...
2
votes
0answers
54 views

Show that the space $C^{0, \gamma}(U)$ is complete

How can we show that the space $C^{0, \gamma}(U)$ is complete?? I have tried the following: So that the space is complete, the following has to stand: $$\forall \epsilon >0, \exists n_0 ...
0
votes
0answers
96 views

Hilbert space structure on $C^{*}$ algebras

What is an example of an infinite dimensional $C^{*}$ algebra with a Hilbert space structure (not merely pre-hilbert structure) such that the orthogonal complement of each closed left ideal ...
0
votes
0answers
23 views

Inner product and bases of Hilbert Spaces

This question might end up being flagged as too general, I'm not sure. Consider the equality $\langle a_n|\psi\rangle=c_n$ where $|\psi\rangle = \sum_n c_n|a_n\rangle$ is a vector of a Hilbert space ...
1
vote
0answers
20 views

Relationship between spectrum of $-\Delta:H^1(M) \to H^{-1}(M)$ and $-\Delta:L^2(0,T;H^1(M)) \to L^2(0,T;H^{-1}(M))$?

Let us take a compact Riemannian manifold $M$. Let us define $-\Delta:H^1(M) \to H^{-1}(M)$ by $$\langle -\Delta u, v \rangle = \int_M \nabla u \nabla v$$ and $-\tilde \Delta:L^2(0,T;H^1(M)) \to ...
0
votes
0answers
22 views

What geometric information can be recovered from $L^2(X)$ for a manifold $X$?

It is well known that a compact Hausdorff topological space can be fully reconstructed from its $C^\ast$-algebra of complex valued continuous functions with the sup norm. Are there similar (partial) ...
1
vote
1answer
44 views

How is the following expresson be obtained and the meaning of the expression in blue box?

Let me introduce the term {$E_\lambda:\lambda \geq0$} is the spectral resolution of identity of a self adjoint densely defined, positive and closed operator $A:D(A)\subset X\rightarrow X$ , Where X ...
0
votes
1answer
39 views

Question about the Image of a compact transformation of a Hilbert space

$T$ is a compact operator on a Hilbert space. Show that $\operatorname{im}(T)$ does not contain a closed infinite dimensional subspace. Here is my attempt at the problem: Suppose that ...
0
votes
1answer
28 views

Direct sum of unitary operators is unitary

Is it true that if I have a Hilbert space $X$ that can be written $X = A \oplus B$ and unitary operators $T_1: A \to A$, $T_2: B \to B$ then the operator $T: A \oplus B \to A \oplus B$ given by ...
0
votes
1answer
21 views

Follow up on Hilbert spaces: chicken egg problem with projection and is the kernel always closed?

I am having a chicken egg problem with projections in Hilbert spaces. I was trying to show that if a Hilbert space can be written as $H = U \oplus U^\bot$ where $U$ is any subspace then $U$ is closed. ...
1
vote
1answer
44 views

On writing Hilbert spaces as sum of orthogonal complement

Is there a theorem that says: If $H$ is a Hilbert space and $U$ is any subspace then $$ H = U \oplus U^\bot$$ if and only if $U$ is closed? My conjecture is yes. I can easily prove that if ...
0
votes
2answers
17 views

Orthogonal and algebraic compement inclusion

Let $H$ be a Hilbert space. Let $U$ be a subspace and let $E$ be any complement such that $$ H = U \oplus E$$ I am wondering if it can be said that $U^\bot$ is contained in $E$. If not can it ...
1
vote
1answer
37 views

On Cauchy sequences, infimum and the proof of Hilbert space projection theorem

Let $H$ be a Hilbert space and $C$ a convex subset. The Hilbert space projection theorem states that there exists a unique $c_0\in C$ with $\|c_0\| = \inf_{c \in C}\|c\|$. I'm confused about the ...
0
votes
1answer
26 views

Tensor Product: Boundedness

This thread is just a note. Given Hilbert spaces. Then boundedness will be inherited: $$A,B\text{ bounded}\implies A\otimes B\text{ bounded}$$ Especially, the bounds multiply: $$\|A\otimes ...
1
vote
1answer
30 views

Tensor Product: Denseness

This is thread is just a note. Given Hilbert spaces. Then denseness will be inherited on tensor products: $$\mathcal{D},\mathcal{E}\text{ dense}\implies\mathcal{D}\otimes\mathcal{E}\text{ dense}$$ ...
1
vote
1answer
25 views

Tensor Product: Closability

This was a real question of mine. Given Hilbert spaces. Then closability will be inherited on tensor products: $$A,B\text{ closable}\implies A\otimes B\text{ closable}$$ For simple tensors this is ...
0
votes
1answer
31 views

Tensor Product: Identification

This is meant as note. Given a measure space and a Hilbert space. Then there's an identification: $$\mathcal{L}^2(\mu)\hat{\otimes}\mathcal{H}\cong\mathcal{L}^2_\mathcal{H}(\mu):\quad ...
0
votes
1answer
31 views

Tensor Product: ONB

This thread is just a note. Given Hilbert spaces. Consider their hilbertian tensor product: ...
4
votes
2answers
32 views

If the scalar product are equal then the operators are equal.

I want to show the following: Let H be a $\mathbb C$ -hilbert space and $S,T\in L(X)$ If $\langle Sx,x \rangle = \langle Tx,x \rangle$ for all $x\in H$, then $S=T$ Any hints for me?
1
vote
1answer
52 views

Showing $(M^\perp)^\perp=\overline{M}$

I have a question about a step in proving $(M^\perp)^\perp=\overline{M}$ where $M$ is a linear subspace of a normed vector space $E$. And $M^\perp=\{f\in E^*|\langle f,x\rangle =0\}$ This is the ...
0
votes
0answers
42 views

Invertible operators on a separable Hilbert space

Using polar decomposition or Kuiper's theorem one can show that the set of invertible operators on a separable Hilbert space $H$ is a connected subset of ${\mathcal B}(H)$. But does anyone know an ...
2
votes
1answer
37 views

Bergman space $L_a^2(\mathbb C)$

I claim that the Bergman space $L_a^2(\mathbb C)$ is the zero space. Is this true? If it is, how can I prove that every non-constant entire function is not in $L^2$?
1
vote
0answers
31 views

Symmetries on Hilbert spaces

Let $\mathfrak{H}$ be a Hilbert space and let $\mathcal{E}(\mathfrak{H})$ be the set of all operators $T\in B(\mathfrak{H})$ such that $0\leq T\leq 1$ (these operators are also called effects on ...
4
votes
1answer
98 views

Fourier multiplier is the only translation invariant bounded linear operator on $L^2[-\pi, \pi]$

This a question from Stein-Shakarchi Real Analysis. Let $\mathcal{H}= L^2[ -\pi, \pi]$. And define the $\textbf{Fourier Multiplier}$ by, $$Tf(x) \sim \sum_{-\infty}^{\infty} \lambda_n a_n e^{inx}$$ ...
2
votes
0answers
42 views

Orthogonal projectors on non-orthogonal subspaces

It is a well known fact that if(f) $V,W$ are orthogonal subspaces of a Hilbert space $H$, then their orthogonal projectors satisfy: $$ P_{VW} = P_V + P_W, $$ where $P_{VW}$ is the projector on $V+W$. ...
2
votes
0answers
52 views

Strong resolvent convergence and spectral measures

Suppose $\{A_n\}$ is a sequence of self-adjoint operators in a Hilbert space $\mathcal H$, and $A$ is a self-adjoint operator, with $A_n \to A$ in the strong resolvent sense. Denoting by $E_n$ and $E$ ...
0
votes
0answers
16 views

A vector space with norm metric induced by inner product

What is the meaning of " A vector space with norm metric induced by inner product ? " Can norm metric induced by opertion(s) other than inner product ?
4
votes
2answers
80 views

Is a bounded operator with finite trace trace class?

Let $\mathcal{H}$ be a seperable Hilbert space, $A\in\mathcal{B}(\mathcal{H})$ a bounded linear Operator and assume we have an orthonormal basis $(x_n)_{n=1}^\infty$. If $A$ is trace-class, then ...
1
vote
0answers
18 views

References on projectors

What are good books or articles about linear projectors in Hilbert spaces? I am mostly interested in the finite dimensional case (but anything is welcome). All about idempotents, orthogonal and ...
2
votes
1answer
24 views

Is $X= \{ u \in H^1(\Omega \times I) \mid \int_\Omega u(x,y)\;\mathrm{d}x = 0 \text{ for a.a. $y \in I$}\}$ a Hilbert space?

Let $\Omega$ be a bounded domain and let $I$ be an unbounded interval. Let $$X= \{ u \in H^1(\Omega \times I) \mid \int_\Omega u(x,y)\;\mathrm{d}x = 0 \text{ for a.a. $y \in I$}\}$$ Is this ...
0
votes
1answer
47 views

Approximation Property: Decomposition

This is a real question of me. Given a Banach space $E$. Consider a finite rank operator $F\in\mathcal{F}(X,E)$. Introduce a basis on the finite dimensional range: ...
0
votes
0answers
21 views

How to prove this sequence is in $l^2$? [duplicate]

I ran into such a problem in some exercise book on hilbert space. Suppose we have a sequence $ \{a_n \}_1^\infty$. Now, for any sequence $\{ b_n \}_1^\infty $ in $l^2$, we have $$ ...
0
votes
1answer
52 views

Short proof of sequential Banach Alaoglu for Hilbert spaces

Do you know of a short proof of the fact that bounded sequences in Hilbert spaces admit weakly converging subsequences? If the space is separable, then the common sequential-version proof is what I ...
1
vote
1answer
36 views

Embedding $L^2[0,1]$ into any Hilbert space?

Is it true that every Hilbert space has a closed subspace isometrically isomorphic to $L^2[0,1]$? Can someone sketch a proof of this, or at least point me in the right direction to understanding it? ...
1
vote
1answer
43 views

Inverse operator of $I-A$

Let $H$ be an Hilbert space, $A:H\to H$ be a bounded linear operator such that $$ \|A^{n_0}\|< 1\qquad\text{for some}\quad\; n_0\in\mathbb{N}. $$ I have to show that $I-A$ is invertible. My idea ...
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
33 views

Adjoints of operators between different Hilbert spaces.

When we have an operator $$ T ~\colon \mathscr{H} \longrightarrow \mathscr{H} $$ from a Hilbert space to itself, we can use the Riesz representation theorem to prove the existence of the adjoint ...
1
vote
1answer
30 views

Open set in Hilbert Cube.

Any open set in the Hilbert Cube is the union of open subsets of the form $$U_1 \times ... \times U_n \times X_{n+1} \times .... \times X_{n+k} \times...$$ where $X_k := [0, \frac{1}{k}]$ for $k \in ...
0
votes
1answer
21 views

Action of projections

Suppose we have a projection $p$ on a Hilbert space $\mathfrak{H}$. Is the following true: There exists an set $V\subset\mathfrak{H}$ such that $p(x)=x$ if $x\in V$ and zero else? I asked because I ...
1
vote
1answer
36 views

Strong Topology and Strong Operator Topology on Hilbert Space

Suppose $H$ is a Hilbert space (much of this still works if it's just a Banach space), $x\in H$, and $(x_n)$ a sequence in $H$. Does $x_n\to x$ strongly in H iff $x_n\to x$ as operators in the strong ...
3
votes
1answer
59 views

Orthogonality of projections on a Hilbert space

Assume that $p$ and $q$ are (orthogonal) projections on Hilbert space $\mathcal{H}$. I want to prove: $pq=0$ iff $p+q\leq1$ I had the following in mind: Assume $pq=0$. Then $qp=0$, hence $p+q$ is a ...
2
votes
2answers
49 views

Is the composition function again in $L^2[a,b]$ [closed]

Let $f \in L^2[a,b]$. 1- In what condition(s) on a function $g:[a,b]\rightarrow [a,b]$ we can get $$f \circ g \in L^2[a,b]?$$ 2- In what condition(s) on $g:[a,b]\rightarrow [a,b]$, the operator ...
2
votes
1answer
116 views

Difference between total orthonormal set and basis

I'm learning about Hilbert spaces and related things from the book "Introductory functional analysis with applications". Now I just read the following sentence, which I don't quite understand: "A ...
2
votes
2answers
461 views

Infinite Dimensional Hilbert Space

Let $H$ be a Hilbert space with a countable basis $B$. Does it mean that any vector $x\in H$ can be expressed as a finite linear combination of elements from $x$, or as an infinite linear combination? ...
1
vote
1answer
139 views

Prove that space of Laurent series is not Hilbert

Let $z_0 \in \mathbb{C}, s>0,T(z_0,s):=\{z\in\mathbb{C}:|z-z_0|=s\}$ and let $V=V(z_0,s)$ be a vector space over field $\mathbb{C}$ of all Laurent series that are uniformly and absolutely ...
2
votes
1answer
93 views

What is the norm on the completion of a Hilbert space?

Let $X$ be a Hilbert space with a norm $|u|_X = |u|_{X_1} + |Gu|_{X_1}$, where $G:X \to X_1$ is linear and continuous, $X_1$ is a Hilbert space. Define $$|u|_Y = |Gu|_{X_1} + |Tu|_{Z}\quad\text{for ...