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

learn more… | top users | synonyms

2
votes
1answer
248 views

orthogonal subspaces in a Hilbert space

Is it true that if $A,B$ are closed subsets of a Hilbert space $H$, such that $A\perp B$, we have $A+B+(A\cup B)^{\perp} =H$ ? What if $A,B$ are closed subspaces ?$ \ \ \ \ \ \ \ \ \ \ \ \ \ \ ...
0
votes
1answer
72 views

Rearragement of a series in Hilbert space

Let $H$ be a Hilbert space and $\sum_k x_k$ a convergent infinite sum in it. Lets say we partition the sequence $(x_k)_k$ in a sequence of blocks of finite length and change the order of summation ...
1
vote
1answer
47 views

Can this type of series retain the same value?

Let $H$ be a Hilbert space and $\sum_k x_k$ a countable infinite sum in it. Lets say we partition the sequence $(x_k)_k$ in a sequence of blocks of finite length and change the order of summation ...
5
votes
2answers
1k views

Relationship of Fourier series and Hilbert spaces?

I just read in a textbook that a Hilbert space can be defined or represented by an appropriate Fourier series. How might that be? Is it because a Fourier series is an infinite series that adequately ...
0
votes
1answer
103 views

is this a subset of the set of all selfadjoint operators?

Is the set $Q$ of all operators that have the property that the image is orthogonal to the kernel, and the kernel isn't the null space, only a subset of the set $T$ of the selfadjoint operators or ...
2
votes
0answers
107 views

RKHS concepts. Connection with matrix trace function.

With my basic linear algebraic background, am trying to connect the Reproducing Kernel Hilbert Space (RKHS) concepts to example functions over matrices, as I gradually learn about this new concept. ...
1
vote
1answer
146 views

Reproducing Kernel Hilbert Space- notation and basics

Am reading about Reproducing Kernel Hilbert Space(RKHS) while reading through Functional Analysis and Hilbert Space material and am unable to get the notation : $k(·,xi)$ correctly. What does the dot ...
0
votes
0answers
133 views

Is the closure of a symmetric operator unique?

Let $T:D(T)\rightarrow H$ be a densely defined symmetric operator in a Hilbert space H. The closure $\overline T$ of $T$ is defined as the operator whose graph $G(T)$ is the closure of the graph of ...
1
vote
1answer
190 views

Representing with Hilbert Schmidt Norm

Am trying to see, if the following Trace function can be expressed using a Hilbert Schmidt Norm: $\operatorname{Tr}(X^TAX)$. Here, $X$ is a matrix whose entries take values that are finite and reals ...
2
votes
3answers
638 views

Compact operators and uniform convergence

Suppose $T: H \rightarrow H$ is a compact operator, $H$ is a Hilbert space, and let $(A_n)$ be a sequence of bounded linear operators on $H$ converging strongly to $A$. Show that $A_nT$ converges in ...
17
votes
2answers
5k views

Finding the adjoint of an operator

This is from my homework, I'm totally lost as to how to proceed. Consider the operator $T: L^2([0,1]) \rightarrow L^2([0,1])$ defined by $(Tf)(x) = \int^x_0 f(s) \ ds$ What is the adjoint of $T$? ...
2
votes
1answer
258 views

Range of identity plus compact operator is closed

Suppose $K:H\to H$ is a compact linear operator on a Hilbert space $H$. How do I show that the range of $I+K$ is closed in $H$? I believe this is equivalent to showing that $\{x_n\}\subset H$ and ...
3
votes
1answer
203 views

Operator norm of the sum of a finite collection of bounded linear operator

I recently got some difficulty with my homework question. The question is: Let $T_1,\dots,T_N$ be a finite collection of bounded linear operators on a hilbert space $H$, each of operator norm $\le ...
1
vote
1answer
256 views

Direct sum of compact operators

I am having some trouble proving this: Let $T_1\in H_1$ and $T_2\in H_2$ where $H_1,H_2$ are Hilbert spaces. Let $T=T_1\oplus T_2$ on $H_1\oplus H_2$. I need to show $T$ is compact iff $T_1$ and $T_2$ ...
3
votes
2answers
638 views

Hellinger-Toeplitz theorem use principle of uniform boundedness

Suppose $T$ is an everywhere defined linear map from a Hilbert space $\mathcal{H}$ to itself. Suppose $T$ is also symmetric so that $\langle Tx,y\rangle=\langle x,Ty\rangle$ for all ...
1
vote
0answers
45 views

Radial and angular part of the space of compactly supported smooth functions

On page 124 of Thaller's The Dirac equation the following space is mentioned : $$C^{\infty}_0(0, \infty)\otimes C^\infty(\mathbb{S}^2)\subset L^2(0, \infty)\otimes L^2(\mathbb{S}^2),$$ where the ...
4
votes
1answer
128 views

Is it possible to 'approximate' compact, convex sets in $\ell^2$ by the Hilbert cube

Define $H=\{(x_n)_n\in\ell^2:|x_n|\le \frac1n, n\in\mathbf N\}\subset\ell^2$. This set is known as the Hilbert cube and it is well-known that $H$ is compact, convex and non-empty. Let ...
5
votes
1answer
654 views

Showing the sum of orthogonal projections with orthogonal ranges is also an orthogonal projection

Show that if $P$ and $Q$ are two orthogonal projections with orthogonal ranges, then $P+Q$ is also an orthogonal projection. First I need to show $(P+Q)^\ast = P+Q$. I am thinking that since ...
1
vote
0answers
284 views

Diagonal Dominance and Spectral Radius

For positive semi-definite matrices, $A$ and $B$ with real entries, Let: $X=I-(2Diag(A)-B)^{-1}(A-B)$ The spectral radius $\rho(X) \leq ||X||$. As, $(2 Diag(A)-B)$ becomes a better approximation ...
0
votes
1answer
114 views

Tensor product of Hilbert Algebras

A Hilbert algebra is an inner product space that is also a *-algebra where the various operations and structures interact according to some axioms. One of those axioms is that the linear operation ...
0
votes
1answer
159 views

Averaging differential forms

Let $M$ be a manifold with a circle action, i.e. with a 1-parameter group of diffeomorphisms $\phi_t:M\to M$ of period 1. I think of the average of a differential form $\omega \in \Omega^n(M)$ with ...
5
votes
3answers
830 views

Question about example of non-separable Hilbert space

I have come across the following example of a non-separable Hilbert space: Example 2.84. Let $I$ be a set, equipped with the discrete topology and the counting measure $\lambda_{\text{ count}}$ ...
1
vote
1answer
142 views

Hilbert spaces other than $L^2$

From measure theory we know that if $G$ is a finite measure space then $p \leq p^\prime$ implies $L^{p^\prime}(G) \subset L^p(G)$ where $L^p$ is the space of all $p$-integrable functions. So let $G$ ...
4
votes
5answers
922 views

Subspaces of Hilbert Spaces of finite dimension

Given a Hilbert space $H$ of finite dimension, why is any subspace of this space closed? I tried bashing out an answer using an arbitrary Cauchy sequence $\{ f_1 , f_2, \ldots \} \subset S \subset H $ ...
4
votes
2answers
153 views

Do all angles occur in Hilbert spaces?

Let $X$ be a Hilbert space with scalar product $(\cdot,\cdot)$. Then for two vectors $v,w$ of norm $1$, we can interpret $(v,w)$ as an angle, so that $(v,w)=\cos(\varphi)$ for a unique angle ...
2
votes
1answer
178 views

Equivalents norms in Sobolev Spaces

I know that this is classical but I have never do the calculations to show that the norms in the sobolev space $W^{k,p}(\Omega)$ \begin{equation} \|u\|_{k,p,\Omega}= \Bigl(\int_{\Omega} ...
4
votes
1answer
59 views

How to conclude $\Re $ is zero?

I'm in a Hilbert space $H$ and for $z,v, h \in H$ and $t \in \mathbb C$ I have $$ \|z\|^2 \leq \|h−(tv+y)\|^2 = \|z−tv\|^2 =\|z\|^2 −2\Re(t⟨v,z⟩)+|t|^2\|v\|^2$$ According to my notes it follows ...
1
vote
2answers
424 views

Norm of the sum of projection operators

Is it true that $$|| a R+b P||\leq\max \{|a|,|b|\},$$where $a$ and $b$ are complex numbers and $P,R$ are (orthogonal) projection operators on finite-dimensional closed subspaces of an ...
2
votes
2answers
167 views

Cauchy+pointwise convergence $\Rightarrow$ uniform converges (for an operator in a Hilbert space)

Suppose that the sequence of operators in a Hilbert space $H$, $\left(T_{n}\right)_{n}$, is Cauchy (with respect to the operator norm) and that there is an operator $L$, such that ...
2
votes
2answers
123 views

proving “$C^1([−1,1])$ is dense in the given space with given norm”

Define $$E = \left \{ f \in W^{1,2} (-1,1) \; | \; \| f \|_E := \left( \int_{-1}^1 (1-x^2 ) | f' (x) |^2 dx + \int_{-1}^1 | f(x) |^2 dx \right)^{\frac{1}{2}} < \infty \right \}.$$ Then how can I ...
8
votes
5answers
1k views

How to show that this set is compact in $\ell^2$

Let $(a_n)_{n}\in\ell^2:=\ell^2(\mathbb{R})$ be a fixed sequence. Consider the subspace $$C=\{(x_n)_{n}\in\ell^2 : |x_n|\le a_n\text{ for all }n\in\mathbb{N}\}.$$ According to the book [Dunford and ...
3
votes
1answer
177 views

A problem on Fourier transforms and orthogonality

Let $f$ be a square integrable function, strictly positive almost everywhere. Consider the family of functions $f_a=f(x+a)$, where $a$ is any real number. I want to prove that if a function is ...
2
votes
2answers
101 views

Minimizing a functional on $L^2$

Let $$ \mathcal{M} := \left\{f \in L^2([0,\pi]): \int_0^\pi f(x)\cos x dx = \int_0^\pi f(x)\sin x dx = 1\right\}. $$ Solve this problem: $$ \tag{P} \min_{\mathcal M} \int_0^\pi ...
6
votes
0answers
408 views

Why is the numerical range of an operator convex?

Let $T$ be a Hilbert space operator. Its numerical range is \begin{equation} W(T)=\{\langle Tx,x\rangle:\|x\|=1\}.\end{equation} It is a well-known fact that $W(T)$ is a convex subset of the complex ...
1
vote
1answer
159 views

norm of operator in Hilbert space and complex conjugate Banach space

Let $E$ and $F$ be complex Banach spaces. We denote by $\overline{E}$ the compex conjugate of $E$, that is, the vector space $E$ with the same norm but with the conjugate multiplication by a complex ...
3
votes
1answer
133 views

How quickly does the inner product of an L-2 function against its translates decay?

Let $H$ be the Hilbert space $L^2(\mathbb{R})$. For $t \in \mathbb{R}$, let $\lambda_t \in B(H)$ be the unitary operator which translates by $t$, that is $(\lambda_t \xi)(s) = \xi(-t +s)$. For $\xi ...
2
votes
1answer
78 views

Application of Banach Seperation theorem

Let $(\mathcal{H},\langle\cdot,\cdot\rangle)$ be a Hilbert Space, $U\subset \mathcal{H},U\not=\mathcal{H}$ be a closed subspace and $x\in\mathcal{H}\setminus U$. Prove that there exists ...
-1
votes
1answer
149 views

Stone-Cech compactification of the separable Hilbert space

Where can I read about the Stone-Cech compactification of the separable Hilbert space?
3
votes
1answer
132 views

Dense subspace of $\ell^2$

Is the set \begin{align} A=\left\{a=(a_1,a_2,\dots)\in\ell^2 \ \ \lvert \ \ \sum_{k=1}^\infty \frac{a_n}{n}=0 \right\}\subset\ell^2 \end{align} dense in $\ell^2$ Is the following argument ...
3
votes
1answer
211 views

Compact operators between Hilbert spaces

I have the suspect that the following statement is true, but I don't how to prove it. Any suggestion? Thanks to all! Let $X$, $Y$ be Hilbert spaces and let $T \colon X \to Y$ be a linear continuous ...
4
votes
1answer
333 views

A linearly independent, countable dense subset of $l^2(\mathbb{N})$ [duplicate]

Possible Duplicate: Does there exist a linear independent and dense subset? I am looking for an example of a countable dense subset of the Hilbert space $l^2(\mathbb{N})$ consisting of ...
3
votes
2answers
347 views

norm of a normal operator using projections

Let $H$ be a Hilbert space and $T$ a normal operator on $H$. In the sequel, ${\rm tr}$ denotes the trace for trace class operators. Do we have $$ \vert\vert T \vert\vert= \sup |{\rm tr} (TP)| $$ ...
11
votes
1answer
432 views

Quantization of angular momentum: is Dirac's proof wrong?

I'm trying to understand the physicist's proof of the theorem on the spectral structure of angular momentum operators (I'm being told that this proof is due to Dirac). I will refer to Ballentine's ...
0
votes
1answer
63 views

a representation condition of Hilbert space

Let $H$ be a Hilbert space over $\mathbb{C}$. Let $\phi_{j} \in H$ and let $c_j$ be scalars. Prove that there exists a representation $$f=\sum_{j}c_{j}\langle f,\phi_{j}\rangle\phi_{j}, \forall f\in ...
1
vote
0answers
111 views

Hilbert Spaces and Projections

Suppose that $\{Y_{t}: t \in \mathbb{Z} \}$ is a stationary zero mean time series. Consider the Hilbert space $\mathcal{H}$ generated by the random variables $\{Y_t: t \in \mathbb{Z} \}$ with inner ...
1
vote
1answer
215 views

A question on self adjoint operator and numerical range.

Let $H$ be a complex Hilbert space and $T$ be self-adjoint operator. Prove that $$ \Vert T\Vert = \sup\{|\lambda|:\lambda \in W(T)\} $$ We are supposed to use the following exercise and the fact that ...
0
votes
1answer
294 views

Closed linear span of a frame in a Hilbert space $\mathcal{H}$ coincide with $\mathcal{H}$

Definition of the problem Let $\mathcal{H}$ be a separable Hilbert space and $J\subset\mathbb{N}$ an index set. Let $\Phi:=\left(\varphi_{j}\right)_{j\in J}\subset\mathcal{H}$ be a frame for ...
2
votes
2answers
203 views

Perturbation theorem of Weyl

Does anyone know where to find something about the perturbation theorem of Weyl, preferably on the internet. The theorem I'm talking about states: let $A$ be a self-adjoint operator on a Hilbert ...
1
vote
1answer
254 views

Analysis operator $T_\Phi$ is injective and has a closed range

Definition of the problem Let $\mathcal{H}$ be a separable Hilbert space on $J\subset\mathbb{N}$ an index set. Let $\Phi:=\left(\varphi_{j}\right)_{j\in J}\subset\mathcal{H}$ be a frame for ...
2
votes
1answer
103 views

References on Algebraic Operators

Let $\mathcal{H}$ be a Hilbert space and $d$ is an inner derivation on $\mathcal{L}(\mathcal{H})$. An operator $T\in\mathcal{L}(\mathcal{H})$ is algebraic if $p(T)=0$ for some polynomial $p$. In ...