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

Help proof regarding sequence in subset of Hilbert space

I'm to prove the following: Let $H$ be a Hilbert space, and let $M$ be a non-empty convex subset of $H$. Suppose that $(x_n)$ is a sequence in $M$ such that $ ||x_n|| \to d$, where $d= \inf \{||x||:...
1
vote
1answer
122 views

The definition of convex body and the Hilbert cube

I currently have a question about the definition of convex body. The formal definition is: a convex body is a convex set which has non-empty interior. By non-empty interior, we meant for a set $N\...
1
vote
0answers
61 views

Proving that the set is closed.

We use the sequential definition to prove a set is closed. So no continuity or closure or anything related to the topology of the set is allowed. Show $A = \{ x \in \ell^2: |x_n| \leq 1/n \}$ is ...
0
votes
1answer
423 views

Existence of adjoint operator on a Hilbert space

friends! I read that the algebra $\mathscr{L}(H,H)$ of the bounded operators on a Hilbert space $H$ is a $B^\ast$-algebra in the sense defined here . I easily verify all the properties except for the ...
0
votes
0answers
77 views

Existance of Unitary Operator which Extends any inner product preserving operator in a Hilbert Space

Suppose $V$ is a finite dimensional Hilbert Space with a subspace $W$ Suppose $T:W\to V$ be a linear operator which preserves inner product i.e $\forall w_1,w_2\in W$ we have $\langle T(w_1),T(w_2)\...
1
vote
1answer
42 views

Questions about open balls and convergence in Hilbert space

So, I've started reading about dimension theory and currently am dealing with a lemma which is used in a proof of $\dim(\mathcal{\ell}^{2}_{\mathbb{Q}})=1$. This lemma says that convergence of a ...
1
vote
0answers
42 views

product of one dimensional basis functions spanning two dimensional space

Lets assume I have a set of basis functions $h_1(x),h_2(x), ...$ spanning the whole hilbert space of one dimensional square integrable functions. Now I want a basis set that spans the the whole ...
2
votes
3answers
147 views

Is the (first order theory) of Hilbert spaces categorical?

Suppose the axioms of a Hilbert space (i.e. vector space, inner product, completeness and separability) are formulated as a first order theory. It can be shown that any infinite dimensional Hilbert ...
0
votes
3answers
54 views

When a symmetric densely defined operator is an adjoint operator?

I am wondering if it is possible to say that if a symmetric differential operator is densely defined then the operator is self-adjoint indeed? More Precisely, Let $A:D(A)(\subset H)\to H$ a densely ...
0
votes
0answers
32 views

If $y_m \to y$ in $H$ then $|y_m|_H \leq C|y|$ for this sequence?

Let $w_i$ be a basis for a Banach space $V$. We have $V \subset H$ a continuous and dense embedding into a Hilbert space $H$. Define $y_m = \sum_{i=1}^m a_{im}w_i$. We have that $y_m \to y$ in a $H$ ...
35
votes
1answer
551 views

Over ZF, does “every Hilbert space have a basis” imply AC?

I know there is a similar result due to Blass [1] that over ZF, "every vector space has a (Hamel) basis" implies AC. Looking around, however, I can't find any results on the question for Hilbert ...
1
vote
1answer
166 views

Why coefficients of Fourier series are countable, though the initial periodic function is described with an uncountable set of points

Coefficients in the Fourier series for any periodic square-integrable function $f(x)$ form a countable (though infinite) set, i.e., they have cardinality $\aleph_0$. As far as Fourier exponents form a ...
1
vote
1answer
295 views

Can we have infinite-dimensional separable Hilbert spaces?

In Wikipedia's Hilbert space article on separability, it says: A Hilbert space is separable if and only if it admits a countable orthonormal basis. All infinite-dimensional separable Hilbert ...
1
vote
1answer
29 views

The projection operator defined by $(P_n(h) - h, v)_H = 0$

Let $V \subset H$ be separable Hilbert spaces with continuous embedding and suppose $\{v_n\}$ be a (non-orthogonal) basis for $V$. If we let $V_n = \text{span}(v_1, ..., v_n)$ and given $h \in H$ we ...
0
votes
1answer
84 views

Spectral Measures: Integration

Given a Hilbert space $\mathcal{H}$ and spectral a measure $E:\Sigma(\Omega)\to\mathcal{B}(\mathcal{H})$. How to define the integral for unbounded measurable functions: $$f:\Omega\to\mathbb{C}:\quad\...
3
votes
1answer
71 views

Show that Polynomials Are Complete on the Real Line

Consider the Hilbert Space of weighted-square-integrable functions f(x): $$ \begin{equation} \int_{-\infty}^{\infty}\frac{f(x)^2}{e^{x}+e^{-x}}dx<\infty. \end{equation} $$ Note this integral is ...
1
vote
1answer
83 views

Subalgebra generated by selfadjoint operator $A_0\in\mathscr{L}(H,H)$

Let $\mathscr{L}(H,H)$ be the Banach algebra of bounded operators defined on a complex Hilbert space $H$ and let $B(A_0)$ be the subalgebra generated by the selfadjoint operator $A_0$, i.e. $\overline{...
3
votes
0answers
68 views

Sum of closed linear subspaces necessarily closed?

Let $H$ be an infinite-dimensional Hilbert space. Let $L_1,L_2 \subset H$ be two closed linear subspaces. If it is also known that $L_1 \perp L_2$ then it is not hard to show that $L_1 + L_2 = \{x_1 +...
1
vote
1answer
66 views

Why is the infinite dimensional vector space with only finitely many nonvanishing components incomplete?

Define a complex vector space $V$ such that any element $\{a_i\}=(a_1,a_2,\dots)\in V$ has only finitely many components $a_i\ne 0$. The inner product is defined as $$(\{a_i\},\{b_j\})=\sum_i^\infty ...
1
vote
0answers
100 views

Bounded operators with infinite matrix representations

Suppose that $A$ is a unital $C^*$-algebra, $\varphi\colon A\to B(H)$ is a unital, completely positive map and that $I$ is a non-empty set. If $A\subseteq B(K)$ for some Hilbert space $K$, we can ...
0
votes
1answer
29 views

A basis of $V$ is linearly independent in $H$ where $V \subset H$ are Hilbert spaces?

Let $V \subset H$ both be separable Hilbert spaces with continuous and dense embedding. Let $\{v_j\}$ be a basis for $V$, so every $v \in V$ can be written as $v = \sum_{j=1}^\infty a_jv_j$ with $...
2
votes
1answer
99 views

Hilbert Spaces - an application of the minimax principle.

Let $A$ be a compact, self-adjoint operator, $A \geq 0$. We need to prove that for any orthonormal system $\{e_i\}_1^{\infty}$ and for any $N$, $$\sum_1^N \langle Ae_i,e_i \rangle \leq \sum_1^N \...
6
votes
0answers
58 views

Two Hilbert spaces $V \subset H$, a basis for both spaces?

Let $V \subset H$ be a pair of Hilbert spaces (with different inner products). The embedding is continuous and dense, and both spaces are separable. Is it always the case that one can I find a ...
1
vote
1answer
85 views

Hilbert Spaces; eigenvalues of $PBP$ vs. $B$ for $B$ compact selfadjoint and $P$ orthoprojection.

An exercise I have come upon while studying Hilbert Spaces: Let $A$ be a compact operator, and $P \in L(H)$ be an orthoprojection. Prove that $$\lambda_n (PA^*AP) \leq \lambda_n (A^*A)$$ (Where $\...
0
votes
3answers
22 views

Describing a Subset of a Hilbert Space $H$

Let $H$ be a Hilbert space. How can we describe the set $\{ x \in H \mid \|x-y\| = a \|x-z\| \},$ where $y, z \in H$ are fixed and $a > 0$? Geometrically how does it look like?
2
votes
2answers
90 views

Spectral Measures: Concentration

Given a Hilbert space $\mathcal{H}$. Consider spectral measures: $$E:\mathcal{B}(\mathbb{C})\to\mathcal{B}(\mathcal{H}):\quad E(\mathbb{C})=1$$ Define its support: $$\operatorname{supp}(E):=\bigg(\...
0
votes
2answers
66 views

Spectral Measures: Property

Given a Hilbert space $\mathcal{H}$. Consider a spectral measure: $$E:\Sigma(\Omega)\to\mathcal{B}(\mathcal{H})$$ Can you give me a hint for: $$E(A)E(B)=E(A\cap B)$$ So far for disjoints I checked: ...
1
vote
1answer
80 views

Spectral Measures: Integration of Product

Given a Hilbert space $\mathcal{H}$ and spectral a measure $E:\Sigma(\Omega)\to\mathcal{B}(\mathcal{H})$. Define the integral of simple functions by: $$\int_\Omega s\mathrm{d}E:=\sum_{z\in\mathbb{C}}...
2
votes
1answer
202 views

Why are “not bounded” operators not everywhere defined?

Let $X, Y$ be Banach spaces, $\mathcal{D}(T)$ a subspace of $X$, and $T\colon X\to Y$ a linear map. Such a $T$ is commonly called an unbounded linear operator, where unbounded just means that the ...
2
votes
1answer
74 views

Estimating the modulus of continuity of translation in $L^2$ by a Sobolev norm of the function

For any $s\in \mathbb{R}$ define the Hilbert space $H^s(\mathbb{T})$ by means of norm $$\|f\|^2_{H^s}=|\widehat{f}(0)|^2+\sum_{n\in\mathbb{Z}}|n|^{2s}|\widehat{f}(n)|^2.$$ Show that for any $0\leq s\...
4
votes
2answers
138 views

left regular representation of SU(2)

in Sepanski's book Compact Lie groups, he describes the representation theory of SU(2) as being isomorphic to $\mathbb{N}$ (SU(2) acts irreducibly on the (n+1)-dimensional space of homogeneous ...
0
votes
1answer
21 views

Integration over subsets of the complex plane.

Original Problem: Let $\Omega\subset \mathbb{C}$ be an open set and let $f:\Omega\to\mathbb{C}$ be holomorphic such that $f\in L^{2}(\Omega)$. Show that if $B(z,r)$, the ball of radius $r$ ...
0
votes
1answer
55 views

Existence of minimum norm solution to linear equation $Tx =y$

Let $T: X \to Y$ be a bounded linear map between Hilbert spaces $(X, \langle \cdot , \cdot \rangle_X)$ and $(Y, \langle \cdot , \cdot \rangle_Y)$ (the Hilbert spaces may be complex or just real spaces)...
2
votes
2answers
150 views

Exercise 23 from chapter 4 (“Hilbert Spaces: An Introduction”) of Stein & Shakarchi's “Real Analysis”

Consider exercise 23 from chapter 4 ("Hilbert Spaces: An Introduction") of [1] (p. 198). Any help will be much appreciated. Thank you in advance. Suppose $\{T_k\}$ is a collection of bounded ...
1
vote
1answer
29 views

Extending mappings on simple tensors

Consider the following situation: Let $H, K$ be Hilbert spaces and let $\Phi$ be some mapping defined on simple tensors in $H\otimes K$ taking values in $B(H\otimes K)$ with the property that each ...
0
votes
1answer
79 views

Inner Product in Hilbert Space

Let $H$ be a Hilbert space and $\phi_{1}, \dots, \phi_{n} \in H$ are linearly independent vectors. How can we construct the inner product on $H$ such that $\phi_{1}, \dots, \phi_{n}$ become orthogonal ...
2
votes
1answer
312 views

Exercise 31 from chapter 4 (“Hilbert Spaces: An Introduction”) of Stein & Shakarchi's “Real Analysis”

The following problem shows that $\{e^{inx}\}_{n \in \mathbb{Z}}$ is an orthonormal basis of $L^2([-\pi, \pi])$. It is taken from [1] (exercise 31 of chapter 4: "Hilbert Spaces: An Introduction", pp. ...
1
vote
1answer
43 views

Are there any interesting Hilbert spaces that do not present as function spaces?

I was pondering this question in class earlier: All separable, infinite dimensional Hilbert spaces are isometrically isomorphic. Thus, in particular, any such space is isometrically isomorphic to $...
2
votes
2answers
403 views

Exercise 34 from chapter 4 (“Hilbert Spaces: An Introduction”) of Stein & Shakarchi's “Real Analysis”

Consider exercise 34 from chapter 4 ("Hilbert Spaces: An Introduction") of [1] (p. 201): Let K be a Hilbert-Schmidt kernel which is real and symmetric. Then, as we saw, the operator $T$ whose ...
1
vote
0answers
123 views

Problem 8 from chapter 4 (“Hilbert Spaces: An Introduction”) of Stein and Shakarchi's Real Analysis

The following is problem 8 from chapter 4 ("Hilbert Spaces: An Introduction") of Stein and Shakarchi's Real Analysis. Suppose $\{t_k\}$ is a collection of bounded operators on a Hilbert space $H$. ...
2
votes
1answer
73 views

“Almost” Hilbert spaces

This question is a bit (very?) vague. Is there some notion of how "close" a Banach space is to being a Hilbert space? What I have in mind is something like a real or complex valued function on (...
-1
votes
1answer
81 views

Prove that T is compact

If $H$ is a Hilbert space with basis $\{\varphi_{k}\}^{\infty}_{k=1}$, how do I show that the operator $T$ defined by $T(\varphi_{k})=\frac{1}{k}\varphi_{k+1}$ is compact and has no eigenvectors? ...
1
vote
1answer
69 views

How do you prove a hilbert transform?

I am stuck with this question below, I need help;
0
votes
1answer
48 views

Compact Operator on Hilbert Space

How do I show that the range of $\lambda I-T$ is all of $H$ (Hilbert Space) if and only if the null-space $\bar\lambda I-T^{\ast}$ is trivial? Thanks!
2
votes
0answers
19 views

Show that the set $\{e^{\pm i (n-1/4)t}: n=\pm 1,\pm2,\pm3,\ldots\}$ is not a basis for $L^2[\pi,\pi]$

Show that the set $\{e^{\pm i (n-1/4)t}: n=\pm 1,\pm2,\pm3,\ldots\}$ is not a basis for $L^2[\pi,\pi]$. (HINT: The series $$\sum_n c_n e^{i\lambda_n t}$$ with $\lambda_n=n-1/4$, diverges in $L^2[\pi,\...
2
votes
1answer
63 views

Inner product in Besicovitch space

Besicovitch space is a space constructed in the following way: We take the closure (with respect to the uniform convergence topology) of a linear span: $B_0=\overline{\operatorname{span}\{\lambda\in\...
4
votes
1answer
155 views

Operator norm and Hilbert Schmidt norm

I'm looking for a proof of \begin{equation} ||T||\leq ||T||_{HS}, \end{equation} for which it is sufficient to show \begin{equation} ||Tx|| \leq ||x|| \cdot ||T||_{HS} \forall x\in H, x\not=0 \end{...
2
votes
1answer
40 views

Prove that the space P is a Hilbert Space.

Prove that the space P of all entire functions of the form $$f(z)=\frac{1}{2\pi}\int_{-\pi}^{\pi}\varphi(t) e^{-izt} dt,$$ is a Hilbert Space, where $\varphi\in L^2[-\pi,\pi]$. The inner product of ...
2
votes
0answers
116 views

Distance to a closed subspace of a Hilbert space in terms of inner product with the unit normal

Let $M$ be a closed subspace of a Hilbert space $H$, and suppose $x_0\in H$ Show that: $$\min(\|m-x_0\|, m\in M)=\max(|\langle x_0,n\rangle|, n\in M^\perp ,\|n\|=1)$$ I know that $|\langle x,y\...
2
votes
0answers
45 views

Does a set of 'm' linearly independent continuous functions constitute a Hilbert Space

If I have a Sobolev space $\mathcal{H}^m[a,b]$ of functions $f : [a,b]\rightarrow\mathbb{R}$ where for all $f \in\mathcal{H}^m[a,b]$, $f$ and all derivatives up to order $m-1$ are absolutely ...