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

learn more… | top users | synonyms

2
votes
3answers
155 views

orthonormal basis in $l^{2}$

I need an orthonormal basis in $l^{2}$. One possible choice would be to take as such the sequences $\{1,0,0,0,...\}, \{0,1,0,0,...\}, \{0,0,1,0,...\}$, but I need a basis where only finitely many ...
2
votes
2answers
412 views

Hilbert Schmidt operators as an ideal in operators.

Let $H$ be a Hilbert space. For $\{e_n\}$ an orthonormal basis of $H$, we call $T\in B(H)$, a Hilbert Schmidt operator if $ \|T\|_2^2:=\sum_n \|Te_n\|^2 <\infty.$ I have seen somewhere before ...
2
votes
2answers
325 views

Examples of Hilbert spaces

Throughout my education I've encountered the following examples of Hilbert spaces: 1) the wave functions of a quantum mechanical system are elements of a Hilbert space 2) in the finite element ...
2
votes
1answer
207 views

Domain of closed operator and weak convergence: elementary proof and extensions?

Suppose $H,K$ are separable Hilbert spaces and $A : H \to K$ is a closed, densely defined, unbounded operator with domain $D(A)$. The following fact is often useful: Proposition. Suppose $x_n ...
2
votes
1answer
385 views

Quadratic minimization in a Hilbert space

If $A$ is a positive definite matrix, then the solution to the minimization problem $(1/2)x^TAx - b^Tx$ is given by $A^{-1}b$. I'm interested in the generalization of this to a Hilbert space. What ...
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 ...
2
votes
1answer
16 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
31 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
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 ...
2
votes
1answer
39 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+ ...
2
votes
1answer
22 views

Proving an operator $D: L^2[0,1]\rightarrow C'$, $Df(t)=\int^t_0 f(s) ds$ is unitary

Let $C'\subseteq C[0,1]$ be the space of all absolutely continuous function such that $f(0)=0$ and $f' \in L^2[0,1]$. Define an inner product on $C'$ as $\langle f,g \rangle = \int^1_0 f'(t)g'(t)dt$. ...
2
votes
2answers
44 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 ...
2
votes
1answer
50 views

Hilbert space, orthonormal system, compact set of vecors

Could you help me solve this problem? Let $e_1, e_2, ...$ be an orthonormal system in a Hilbert space, $\delta_1, \delta_2 ... \in (0, + \infty)$. Prove that the set of all vectors $\sum _{n=1} ...
2
votes
1answer
76 views

Hilbert Space and Projections

If $M$ is a closed subspace of the Hilbert space $H$ and $x$ $\in$ $H$, prove that: $$\underset{y \in M}{\min} ||x-y|| =\max\{|\langle x,z\rangle|:z \in M^{\perp}, ||z||=1\}.$$ There isn't a ...
2
votes
1answer
83 views

Relationship between different topologies of bounded operators on a Hilbert space

I am self-studying functional analysis. Given that $B(H)$ are the bounded operators on a Hilbert space, $H$. I would like to ask how to formally prove that the weak topology is weaker than the ...
2
votes
1answer
35 views

Approximate point spectrum and left topological zero divisors

Recall that a left topological zero divisor in a Banach algebra $A$ is an element $a\in A$ such that there exists a sequence of unit vectors $(a_{n})$ in $A$ with $\lim_{n\rightarrow\infty}aa_{n}=0$. ...
2
votes
1answer
41 views

Riesz Representation Theorem: isomorph

Riesz' Representation Theorem states that every linear functional can be represented by a vector. This shows that the Dual can be ANTILINEARLY and norm preserving identified with the Hilbert Space ...
2
votes
1answer
144 views

Inverse of positive operators

Does anyone know how to show this? Let $H$ be a Hilbert space and $A$, $B$ bounded positive operators defined on $H$ such that $A^{-1}: H \rightarrow H$ exists and hence bounded and $A \leq B$. ...
2
votes
1answer
85 views

Eigenvalues and adjoint of operator $T(x_k)_{k=1}^{\infty} = (x_{2k})_{k=1}^{\infty}$

Let $T$: $l^2 \rightarrow l^2$ denote the operator \begin{align} T(x_1,x_2,\dots, x_n,\dots) = (x_2,x_4,\dots,x_{2n},\dots). \end{align} There are several questions regarding this operator that I need ...
2
votes
1answer
44 views

compute the norm of a compact operator on $l^2$

Let $a_j\to 0$ and let $T:l^2 \to l^2$ be the operator defined by $ T(s_1,s_2,s_3,...)=(0,a_1s_1,a_2s_2,...)$. Compute the operator norm $||T||$. The hint of the problem is prove that $T$ is a ...
2
votes
1answer
46 views

How to prove, that the ordering on positive bounded operators agrees with ordering of their ranges?

Hypothesis: Assume, that $A$ and $B$ are positive bounded operators (on some Hilbert space $H$) and $A\geq B \geq 0$. Then ${\rm range}(A) \supset {\rm range}(B)$. The textbook "$C^*$-algebras by ...
2
votes
1answer
39 views

Show that $v \in H^1(\Omega)$ if $v\in C^0(\Omega)$ and $v|_{\Omega_j} \in H^1(\Omega_j)$

Let $\Omega$ be an open set in $\Bbb R^d$. Let $\{\Omega_j\}_{j=1}^{N}$ be a fi nite collection of open disjoint subsets of $\Omega$ such that $\overline\Omega=\cup_{j=1}^{N}\overline\Omega_j$. ...
2
votes
2answers
166 views

Stone Weierstrass Overkill in the Measurable Setting?

If $\mu$ is Lebesgue measure on the Borel sigma algebra $\mathcal{B}$ of $[0,1]$. Establishing that the linear span in $L^{2}([0,1]\times[0,1],\mathcal{B}\otimes\mathcal{B},d(\mu \times \mu))$ of the ...
2
votes
1answer
83 views

Spectrum of linear operators

I can't solve the following: i) Let $T:l^2 \rightarrow l^2$ , $Tx=\{ (Tx)_n\}_{n=1}^{\infty}$ given by $$(Tx)_n = \dfrac{1}{2}x_{n-1} + \dfrac{1}{2}x_n.$$ Find $\sigma(T)$. ii) Let $S : l^2 ...
2
votes
1answer
66 views

Sufficient condition for self-adjoint subset of bounded linear operators on a Hilbert space being irreducible

Let $H$ be a Hilbert space and denote as $B(H)$ the bounded linear operators on $H$. Let $M$ be a subset of $B(H)$, s.t. for $A \in M$, also $A^* \in M$. How can one show that if the commutant has ...
2
votes
1answer
38 views

Basis for $L^2(0,T;H)$

Given a basis $b_i$ for the separable Hilbert space $H$, what is the basis for $L^2(0,T;H)$? Could it be $\{a_jb_i : j, i \in \mathbb{N}\}$ where $a_j$ is the basis for $L^2(0,T)$?
2
votes
1answer
58 views

Does a continuous embedding preserve gaps between subspaces?

I have a separable, reflexive Banach space $(V,\|\cdot\|)$ that is continuously and densely embedded in a Hilbert space $(H,|\cdot|)$. This means, there is a bounded linear injection map $j\colon V ...
2
votes
1answer
75 views

How to prove that the set $e^{inx}$ is closed with respect to this measure?

Why is the set $\{e^{inx}\}$ closed in $L^2(d\nu)$, where $d\nu(x)=(1+|h(x)|)dx+|ds(x)|$? $d\nu$ is defined in this proof I am struggling to understand, where $\mu$ is a complex Borel measure on ...
2
votes
1answer
155 views

Weak convergence in Hilbert space L2 implies convergence in distribution?

Does weak convergence in $L^2$ (for $X_n, X \in L^2$ we say that $X_n$ converges weakly to $X$ ($X_n \rightarrow^w X$) if for every $Y\in L^2$ we have $\mathbb{E}X_nY \rightarrow \mathbb{E}XY$) ...
2
votes
1answer
88 views

What's the connection between Banach/Hilbert spaces and tools like power series, Fourier transforms etc.

I've learned, abstractly, about Banach and Hilbert spaces, and more concretely about $l^p$ and $L^p$ spaces. I also understand these ideas have something to do with a variety of tools that are useful ...
2
votes
1answer
67 views

Is every symmetric bilinear form on a Hilbert space a weighted inner product?

Is every symmetric bilinear form on a Hilbert space a weighted inner product? i.e. can I write that $b(u,v) = (wu,v)_H$ for all $u, v \in H$? I am not sure about this. Maybe something to do with Riesz ...
2
votes
1answer
96 views

Orthogonal projections for minimization problem

I have trouble to understand the existence of a minimization problem in a Hilbert space. Let $(\Omega,\mathcal{F}_T,P)$ be a filtred probability space with filtration $(\mathcal{F}_t),0\le t\le T$. We ...
2
votes
1answer
81 views

Limit of a sequence in the space $\ell_2$

I have difficulties in the following problem. Let $H=\ell_2$ be the space of square-summable sequences. Let $\alpha\in (0,1)$ and $\{u^k\}\subset H$ be such that $$ u^{k+1}=(1-\alpha)u^k+\alpha ...
2
votes
1answer
112 views

Show for compact operator $K$, if $||Kf|| < ||f|| \forall f$, then $||K|| < 1$.

I wanted to check my reasoning on proving this statement, and see if anyone had suggestions for other proofs of this fact. Again, the statement is, if $K$ is a compact operator on a Hilbert space ...
2
votes
1answer
91 views

Is my proof correct? I want to show if $V \subset H$ is dense, then $L^2(0,T;V) \subset L^2(0,T;H)$ is dense too.

I want to show that if $V \subset H$ is a dense embedding then $L^2(0,T;V) \subset L^2(0,T;H)$ is dense too. Everything is a Hilbert space. Let $h \in L^2(0,T;H)$. Then $h(t) \in H$ for each $t$. By ...
2
votes
3answers
88 views

The Kernel of unbounded operator in Hilbert space

If $T$ is a densely defined operator from a subspace of a Hilbert space $H$ to a Hilbert space $K$, how to prove that $\mbox{Ker}(T)=\mbox{Ker}(T^*T)$?
2
votes
1answer
78 views

inner product space and injective -surjective

Let $V$ and $W$ be two finite-dimensional inner product spaces over the same field and let $T\in \mathcal{L}(V,W)\ $ be a linear transformation. Show that $T$ is injective if $T^*$ is surjective.
2
votes
1answer
131 views

Is this set dense in $H^1(\Omega)?$

Is $$V_1 = \{v \in H^1(\Omega) \;:\;f(v) = 0 \text{ on } \partial \Omega\}$$ dense in $H^1(\Omega)$ with the same norm as $H^1(\Omega)?$ Here $f$ is some linear functional so that $V_1$ is also ...
2
votes
2answers
108 views

Are WOT/SOT topologies hereditarily separable?

Just out of curiosity, Are weak and strong operator topologies on $B(H)$ hereditarily separable? In other words, if $S$ is a subset of $B(H)$, where $H$ is a separable Hilbert space, is $S$ ...
2
votes
1answer
86 views

Two inequalities related to norm

We have some difficulties in the following problem: Let $H$ be a real Hilbert space. Find $\alpha>0$ such that $$ \langle\frac{u}{\sqrt{\|u\|}}-\frac{v}{\sqrt{\|v\|}}, u-v\rangle\geq ...
2
votes
1answer
157 views

Pde problem with Neumann BC's

Let $U \subset\mathbb{R}^n$ be a bounded open set with smooth boundary $\partial U$. Consider the Neumann boundary problem $$-\Delta u +u=f, \quad \left.\frac{\partial u}{\partial ...
2
votes
2answers
68 views

Inner product? Yes or no?

I define an "inner product" on $H_0^2(U)$ where $U \subset R^n$ is bounded open set: $$\langle u,v\rangle = \int_U \Delta u \Delta v dx.$$ I need this when trying to find a weak solution for my PDE ...
2
votes
1answer
86 views

Operator norm estimate

Let $H$ be a Hilbert space with orthonormal basis $(e_{j})_{j\in\mathbb{N}}$. Furthermore, let $B\colon H\rightarrow C[a,b]$ be a bounded operator. According to the Riesz-Frechet theorem there is ...
2
votes
1answer
165 views

Invertible operator norm bound

Let $H$ be a Hilbert space and that $X$ are bounded. Suppose $X$ is self-adjoint. Show that $Y=X+iI$ is invertible and the inverse $Y^{-1}$ has the norm $\lVert Y^{-1} \rVert \le 1$. I can prove $Y$ ...
2
votes
1answer
45 views

On the existence of a bounded linear functional

Let $\mathcal{H}$ be a Hilbert space. By the Riesz Representation Theorem, we have that any bounded linear $\psi \in \mathcal{H}^{*}$ is of the form $\psi(h) = \langle h, g \rangle$ for some $g \in ...
2
votes
1answer
102 views

Weak and strong convergence of sequence of linear functionals

Is this sequence of linear functionals weakly (strongly) convergent : $$f_n((x_j))=\sum_{k=1}^{n}{\frac{x_k}{k}} , (x_j) \in \ell_2\,?$$
2
votes
1answer
41 views

Functional to inner product in Hilbert triple

If $V \subset H \subset V^*$ is a Hilbert triple, and $f \in V^*$, I cannot represent $f(v) = (e,v)_V$ because we don't identify $V$ with $V^*$. But is it true that $f(v) = (e,v)_H$ for some $e$?
2
votes
1answer
121 views

The closed unit disk in an infinite dimensional Hilbert space has a closed subspace homeomorphic to $\mathbb R$

Let $V$ be a Hilbert space, $D^{\infty}$ is the closed unit disk in an infinite dimensional Hilbert space $V$. Prove that $D^{\infty}$ has a closed subspace homeomorphic to $\mathbb{R}$. I've found ...
2
votes
1answer
346 views

Isometric isomorphism of Hilbert spaces and orthonormal basis

If I have an isomorphism of two separable Hilbert spaces that preserves norms, does the isomorphism map orthnormal basis to orthonormal basis? I can't show it.
2
votes
1answer
269 views

Conditions on the weight function for Hermite polynomials' completeness

Hermite polynomials form a complete orthonormal basis of the weighted $L^2(\mathbb R, w \; dx)$ space, with inner product $$ \langle f, g \rangle_w = \int_\mathbb R f(x) g(x) \; w(x) dx. $$ A short ...