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

Open sets in the unitary group $ U(\mathcal{H}) $ of a Hilbert space $ \mathcal{H} $.

Let $H$ be an infinite dimensional Hilbert space and let $(x_i)_1^\infty$ be an orthonormal basis for $H$. Consider $U(H)$ the unitary group of the continuous unitary operators on $H$. Equip $U(H)$ ...
0
votes
1answer
22 views

A question concerning the triplet $V\subset H\subset V^*$

In Brezis' Functional Analysis book, p. 150, there is an exercise about the triplet $V\subset H\subset V^*$, where $(V,\|\cdot\|_{V})$ is a Banach space, $H$ is a Hilbert space with the scalar product ...
1
vote
1answer
27 views

Find Riesz representation of $\phi=f({1\over 2})$

"Let $\rho$ be a space of complex polynomial and define $<f,g>={1\over 2\pi}\int_{0}^{2\pi}f(e^{it})\overline{g(e^{it})}dt$ for $f,g:\rho\to \Bbb{C}$. Let $\phi$ be a linear functional on ...
3
votes
0answers
49 views

Proving compactness of an operator $(Kf)(t)=\int_{0}^{\infty}k(t+s)f(s)ds$

I was trying to prove the compactness of the following operator: $K:L_2([0,\infty))\to L_2([0,\infty))$ $(Kf)(t) = \int_{0}^{\infty}k(t+s)f(s)ds$, given that the function $k$ is continous, and ...
1
vote
1answer
484 views

distributivity of tensor product and direct sum for Hilbert spaces

Before I ask my actual question about direct sums and tensor products of Hilbert spaces, let's first talk about direct sums and tensor products of vector spaces. We might define direct sums of ...
0
votes
2answers
56 views

problem on hilbert spaces

Let $X=C[0,1]$ with the inner product $\langle x,y\rangle=\int_0^1 x(t)\overline y(t)\,dt$ $\forall$ $x(t),y(t)\in C[0,1]$ $X_0 =\{x(t) \in X :\int_0^1 t^2x(t)\,dt=0\}$and $X_0^\bot$ be the ...
3
votes
1answer
52 views

Bounded Operators on a finite-dimensional Hilbert space - Linear combination of at most two unitaries and from a partial isometry to a unitary

Good day, In the lecture of functional analysis the proof of two statements were skipped as a task for us but I'm not sure how I approach these questions. a) Show that every partial isometry $V \in ...
1
vote
0answers
40 views

Extend and restriction of operator on $B(H)$

Let ‎$‎‎H$ ‎be a ‎Hilbert ‎space ,‎‎‎‎‎‎$‎‎B(H)$ ‎be ‎bounded ‎operators ‎on ‎‎$‎‎H$ ‎and ‎‎$‎‎K(H)$ ‎be ‎compact ‎operators ‎on ‎‎$‎‎H$‎. Assume ‎that ‎‎$‎‎M$ ‎is a ‎close‎d subspace of ‎$‎‎H$ ‎and ...
0
votes
0answers
16 views

Compute the limit and show that uN converges weakly

full question I already know that the norm is 1, and that you can use the definition of weak convergence but that's where I get lost. Somebody told me I can use the Riesz representation theorem since ...
1
vote
2answers
67 views

$L^{2}[-\pi,\pi]$ is unitarily isomorphic to $l^2(\Bbb C)$

So I have countable orthonormal basis of $L^2[-\pi,\pi]$ as $\{e^{inx}\}_{n \in \Bbb Z}$ and countable orthonormal basis of $l^2(\Bbb C)$ as $\{a_n\}_{n \in \Bbb Z}$ such that ...
0
votes
1answer
33 views

Semigroups on Complex Hilbert Spaces

Let $H$ be a separable complex Hilbert space, let $(e_i)_{i\in\mathbb{N}}$ be a complex othonormal vasis, and let $(\lambda_i)_{i\in\mathbb{N}}$ be a sequence of complex numbers s.t. $\sup_{i\in ...
1
vote
1answer
23 views

$L_1+L_2$ is close if $L_1\bot L_2$ are close sub-spaces of a Hilbert space $H$

$L_1+L_2$ is close if $L_1\bot L_2$ are sub-spaces of a Hilbert space $H$. While I do understand why it is true, I can't be completely sure how deduction is done here. I do know that if $\langle ...
3
votes
1answer
37 views

The weak topology on $H$ is the weak* topology on $H^*$ pulled back via $\Phi$

I'm reading the following in Analysis Now by Pedersen: The map, $H$ a Hilbert space $$\Phi:H\to H^*: x\mapsto(\cdot\mid x)=[y\mapsto (y,x)]$$ is a conjugate linear isometry. Then define the weak ...
0
votes
1answer
16 views

Show $A^*A$ is self adjoint for $A$ closed and description of the form domain.

I have been stuck with the next problem Suppose $A$ is a closed operator defined on $\mathfrak{D}(A)\subset \mathfrak{H}$, where $\mathfrak{H}$ is a Hilbert space. Show that $B=A*A$ is self ...
3
votes
1answer
43 views

Dense subsets of functional spaces

In books on Malliavin calculus and stochastic PDE, I found the following result is frequently used. I state it here in the simplest form. Given a separable Hilbert space $\left(H, \langle \cdot, ...
1
vote
1answer
178 views

Proving the closed unit ball of a Hilbert space is weakly sequentially compact

I bumped into this statement in Hofer-Zehnder in the middle of proving a Hamiltonian field always has a periodic orbit over a level set of the hamiltonian if that set is a regular compact and strictly ...
2
votes
0answers
30 views

Smallest closed subspace of $A$ in pre-Hilbert spaces [duplicate]

Let be $A\subset H$ a subset of $H$ Hilbert space. I know that $A^{\perp\perp}$ is the smallest closed subspace of $H$, such that $A\subset A^{\perp\perp}$. But if $H$ is a inner product space (or ...
3
votes
1answer
21 views

Orthonormal Bases in a Hilbert Space and Vector Subspaces

Let $H$ be a Hilbert space and $S$ a vector subspace of $H$ which is dense in H. Does there exist an orthonormal basis $(u_{\alpha})_{\alpha \in A}$ of $H$ such that $\{ u_{\alpha} : \alpha \in A ...
2
votes
1answer
101 views

A very simple question: what spaces of function does the Laplace transform map from and into?

Given a function $f$, we can write $f\colon\mathbb{R} \to \mathbb{R}$ to denote that $f$ takes a number from $\mathbb{R}$ into $\mathbb{R}$. Easy enough. Given the Laplace transform operator ...
1
vote
0answers
53 views

Lie Algebra SU(2)

Given a two dimensional Hilbert-space, $\mathcal{H}$, and a vector $\eta \in \mathcal{H}$, of this space, if $\eta$ transforms in SU(2) like this, $$\eta \rightarrow e^{(-i\alpha ...
1
vote
2answers
38 views

Example of an operator that is not subnormal

In some recent questions the term subnormal operator has appeared. A bounded operator $A$ acting on a Hilbert space $H$ is called subnormal if there exists a Hilbert space $K$ containing $H$ as a ...
2
votes
1answer
26 views

Countable Complete Orthonormal Set implies countable dense subet

Let $\mathcal H$ be a Hilbert Space, let $B = \{u_j\}_{j=1}^{\infty}$ be a countable orthonormal basis. So we know that if a set is a complete orthonormal basis, the set of all finite linear ...
-2
votes
0answers
23 views

An operator is linear and bounded on a hilbert space

an operator linear and bounded on a hilbert space Let H be the Hilbert space L^2(R), and assume that the continuous function g satisfies 0
0
votes
0answers
52 views

unique function on a hilbert space

unique function on a hilbert space How do you show that with Ω=(-1,1) there exists a unique function u such that the equations in the picture is correct?
0
votes
0answers
22 views

Finding the closest function to another in a hilbert space.

Let H be the Hilbert space L$^2$([0,1)], and let S be the subspace of functions f $\in$ H satisfying $\int^1_0(1+x)f(x)dx=0$. Find the element of S closest to the function $g\in H$ defined by g(x)=1. ...
1
vote
0answers
32 views

Multiplication of Matrices in a Hilbert Space

So I was having a discussion with a friend as follows: Let $\mathcal H$ be a Hilbert space. Let $\mathcal H^{\otimes n} = \mathcal H \otimes \mathcal H \otimes \cdots \otimes \mathcal H$. $\mathcal ...
0
votes
2answers
74 views

Positive operators in Hilbert spaces

Let $H$ be a Hilbert space. I am just asking if there's some reference which studies operators $A$ with this property: $$\left\langle Ax,x\right\rangle \geq0,$$ for all $x\in H$. And $Ax=0$ whenever ...
0
votes
0answers
33 views

Prove that $f(x,y)$ defines an inner product [duplicate]

Let $(E,\left\lVert . \right\rVert)$ be a normed vector space defined on $\mathbb{R}$ . We suppose that the norm satisfies the Parallelogram law. Prove that: $$f(x,y)=(1/4)[(\left\lVert x+y ...
0
votes
1answer
18 views

Is the distance of an element $a$ from a subspace $M$ always $||a-P_M a||$?

The distance of an element $a$ from a subspace $M$ is $||a-P_Ma||$? ($P_Ma$ is the orthogonal projection of $a$ on $M$). During the course of studying about Hilbert Spaces and The Operators Theory, I ...
0
votes
0answers
10 views

Polarization of quadratic form yeilds sesquilinear form

How does polarisation of any quadratic form $Q: V \rightarrow \mathbb{C}$ on a complex vector space $V$ yields a sesquilinear form?
0
votes
0answers
17 views

Find a vector on H Hilbert separable [duplicate]

Im stuck with this excercise... Let H be and infinite-dimensional separable Hilbert space with $\{e_n\}_{n=1}^{+\infty}$ a Hilbert base. Given $\epsilon > 0$, find a vector $x_{\epsilon}\in$ ...
1
vote
1answer
33 views

For a normal operator $T$ we have $\sup_{\Vert x \Vert = 1} \mathrm{Re} \langle x, Tx \rangle = \sup_{\lambda \in \sigma(T)} \mathrm{Re} \lambda$

If $(X, \langle \cdot, \cdot \rangle)$ is a complex Hilbert-space and $T : X \rightarrow X$ a normal operator, i.e. an operator such that $T T^\ast = T^* T$ then I'd like to show that: ...
4
votes
1answer
1k views

Dual and adjoint operator

Let $X$ be a Hilbert space with associated canonical isomorphism $I:X\rightarrow X^\ast$ (by the Riesz representation theorem). If $A:X\rightarrow X$ is a linear operator on $X$, then its dual ...
2
votes
1answer
80 views

Classification of representations of compact $C^*$ algebras for single operators.

I am looking at Arveson's book, an invitation to $C^*$ algebras. There, it is explained p. 21 ($C^*$ algebras of compact operators) that any representation of a compact $C^*$ algebra can be decomposed ...
1
vote
0answers
27 views

Different versions of Mercer's theorem

I am reviewing materials on reproducing kernel Hilbert space (RKHS) and I've found various versions of Mercer's theorem: About the positive-definiteness conditions. In the Wikipedia pages on RKHS ...
0
votes
3answers
42 views

What does it exactly mean that finite linear combination to be dense?

This phrase comes up over and over again when studying Hilbert space, and since I don't have the strongest background in linear algebra, the statement like "finite linear combination of elements in ...
2
votes
1answer
24 views

Sequence of operators that commute imply the limit commutes?

Given a sequence of compact operators $A_n\to A$ as $n\ \to \infty$ and $B$ (which has finite rank). $\varphi \in L^2([a,b])$ If $A_nB\varphi = BA_n \varphi$ Am I able to say anything about $A$, ...
1
vote
1answer
28 views

GNS construction of a weight

In the theory of quantum groups in the operator algebraic setting, one deals with weights (instead of positive linear functionals). Definition: A weight is a function $\phi $ : $A^+ \rightarrow [0, ...
0
votes
1answer
37 views

Proof of $\hat{\mathrm{O}}$ta's theorem

I'm trying to prove $\hat{\mathrm{O}}$ta's theorem : Let $A$ be a closed operator on a Hilbert space $H$ and $\overline{\mathcal{D}(A)}=H$. Suppose that $A\mathcal{D}(A)\subset \mathcal{D}(A)$ and ...
1
vote
1answer
28 views

Uniform convergence in Mercer Theorem for bounded kernels

Let $\mu$ be a finite, strictly positive measure on $\mathbb{R}$, and let $k$ be a measurable positive-definite kernel. Assume $k$ is bounded, and let $T:L^2(\mu)\rightarrow L^2(\mu)$ be defined by $$ ...
1
vote
1answer
27 views

Product of Hilbert bases of $L^2(\mathbb{R}^p)$ and $L^2(\mathbb{R}^q)$ is a Hilbert basis for $L^2(\mathbb{R}^{p+q})$

Let $(\alpha_n)_n$ be a Hilbert basis of $L^2(\mathbb{R}^p)$ and let $(\beta_k)_k$ be a Hilbert basis for $L^2(\mathbb{R}^q)$. I need to show that $(\alpha_n \beta_k)_{(n,k) \in \mathbb{Z}}$ is also a ...
1
vote
2answers
31 views

An exercise about variational principle

Let $H$ be a Hilbert space. Let $l: H \to \mathbb{R}$ be a continuously linear function. Let $g: H \to \mathbb{R}$ be defined by $$g \left ( x \right )= \frac{\left \| x \right \|^2}{2}-l\left ( x ...
0
votes
0answers
10 views

Cartesian Decomposition.

I just read this on some notes written by my professor. It requires $X$ to be a linear map from complex Hilbert space $\mathcal{H}$ to itself, and that the Cartesian decomposition of $X$ is $X = H + ...
0
votes
0answers
15 views

Writing matrix representation of multiplication operator

For a given $m(x)\in L^2(0,1)$, let's write the multiplication operator $M\colon L^2(0,1)\longrightarrow L^2(0,1)$ as $Mf(x)=m(x)f(x)$. To write the matrix representation of this operator we need a ...
0
votes
1answer
17 views

convergence of series in inner product space

let $V$ be some inner product space and $\lbrace {e_i\rbrace }_{i\in\mathbb{N}} \subset V$ be some countable orthonormal set. I am wondering if for any $x\in V$ the series $$\sum\limits_{i=1}^{\infty} ...
2
votes
0answers
36 views

Spectral theory of compact, self-adjoint operators.

Let $T$ be a compact, self-adjoint operator on a separable Hilbert space H. Suppose that $f\in H$, $||f|| =1$ and $||(T-3)f||\leq 1/2$. Let P be the orthogonal projection onto the direct sum of all ...
0
votes
1answer
14 views

Initial and final sub-spaces of a partial isometry

Let $H$ be a Hilbert space and assume $H_0$ and $K_0$ are two sub-spaces of $H$ with dim$H_0$=dim$K_0$. Question: Is there any partial isometry $u$ whose initial projection is $H_0$ and final ...
5
votes
1answer
27 views

Linear span in the intersection of Hilbert spaces

Let $V$ be a vector space. Assume $H_1$ and $H_2$ are subspaces of $V$, and that both $H_1$ and $H_2$ are Hilbert spaces with inner-products $\langle \cdot, \cdot\rangle_1$ and $\langle ...
0
votes
2answers
43 views

Showing that a Hilbert Basis $(e_n)_{n \in \mathbb{N}}$ verifies $u= \sum (u,e_n)e_n $

The definition I have been given for a Hilbert Basis in a Hilbert Space $H$ over $\mathbb{K}=\mathbb{R}$ or $\mathbb{C}$ is: A sequence $(e_n)_{n \in \mathbb{N}}$ is an orthonormal basis if it ...
5
votes
1answer
50 views

$5$ questions on the definition of the Gelfand triple

Let $(H,\langle\;\cdot\;,\;\cdot\;\rangle)$ be a Hilbert space over $\mathbb F\in\left\{\mathbb R,\mathbb C\right\}$, $\left\|\;\cdot\;\right\|$ be the norm induced by ...