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

Prob. 7, Sec. 3.8 in Erwine Kreyszig's INTRODUCTORY FUNCTIONAL ANALYSIS WITH APPLICATIONS: The dual space of a Hilbert space is a Hilbert space.

Here's Prob. 7, Sec. 3.8 in Introductory Functional Analysis With Applications by Erwine Kreyszig: Show that the dual space $H^\prime$ of a Hilbert space $H$ is a Hilbert space with inner product ...
4
votes
1answer
30 views

$\overline{\mathrm{Im} (T^*T)} = \overline{\mathrm{Im} T^*}$

I need to prove that in a Hilbert space, $\overline{\mathrm{Im}(T^*T)} = \overline{\mathrm{Im}T^*}$. I have already shown that $\ker (T^*) = (\mathrm{Im} T)^\perp$ and have so far concluded that ...
1
vote
1answer
32 views

Theorem 3.8-1 in Erwine Kreyszig's INTRODUCTORY FUNCTIONAL ANALYSIS WITH APPLICATIONS: Do we really need the completeness of the space?

Here's Theorem 3.8-1 in Introductory Functional Analysis With Applications by Erwine Kreyszig: Every bounded linear functional $f$ on a Hilbert space $H$ can be represented in terms of the inner ...
1
vote
1answer
15 views

Biorthogonal complement of subspace of subspace.

I'm taking a course on Banach and Hilbert spaces. The teacher who guides the exercise sessions is often a bit fast, so only when revising my notes at home I realize I do not fully understand them. We ...
1
vote
1answer
28 views

$l^p$ space not having inner product

I know that $l^2$ space is a Hilbert space. But for other $l^p$ spaces, where $p\geq1$, I have to show that they do not satisfy the parallelogram equality. But, I can't find appropriate sequences ...
-1
votes
1answer
65 views

Example of projection sequence on Hilbert space with strong limit P

Let $P_n$ be strongly convergent with limit $P$, where $P_n$'s are projections on a Hilbert space $H$.Suppose that $P_n(H)$ is infinite dimensional. Show by example that P(H)$ may be finite ...
-1
votes
0answers
22 views

Prob. 8, Sec. 3.2 in Erwine Kreyszig's INTRODUCTORY FUNCTIONAL ANALYSIS WITH APPLICATIONS [on hold]

if $\|x+ \alpha y\|\ge \|x\|$ for all $\alpha$, then show that $x$ and $y$ are perpendicular. If you could explain this I shall be thankful....
4
votes
0answers
39 views

Spectral theorem for a pair of commuting operators

Let $H$ be Hilbert space and $A$, $B$ - self-adjoint (bounded or unbounded) operators on $H$. According to spectral theorem for every bounded Borel function $f: \mathbb{R}\to \mathbb{R}$ we have ...
2
votes
1answer
17 views

Cauchy sequence of partial sums of orthogonal vectors in a general Hilbert Space.

Let $(x_n)$ be a sequence of orthogonal vectors in a Hilbert space $(V, \langle,\rangle)$. For $n = 1, 2, 3, ... $ put, $$s_n = \sum_{j=1}^{n} x_j.$$ (a) Calculate $\|s_n\|$ in terms of ...
0
votes
0answers
40 views

Show $\lim_{n\to\infty}(Lu_n) = L(\lim_{n\to\infty} u_n)$

Suppose $\{u_n\}$ is a convergent sequence in Hilbert space $H$ and $L$ is a bounded (continuous) linear operator on $H$. Use the definition of convergence to show that $\lim_{n\to\infty}(Lu_n) = ...
2
votes
2answers
90 views

Homeomorphism on the Hilbert space

We can consider two different topologies on the Hilbert space ; $l^{2}(\mathbb{N})$. One is the topology deduced from the norm \begin{equation*} \|f\|=\sqrt{\sum_{n=1}^{\infty} f(n)^{2}}, ...
0
votes
1answer
25 views

Orthogonal set of a set in Hilbert space

This is an exercise in the Folland Real Analysis p.177. I first thought it is an easy one, but it turns out to be a lot trickier..... I have no idea how to deal with the so-called "double ...
1
vote
1answer
40 views

Countable set in a Banach space which spans densely?

Let $\mathcal{C}(\mathbf{T})$ be the algebra of continuous complex functions on the unit circle $\mathbf{T}$. Consider the following two statements: The $*$-subalgebra generated by $1$ and $z$ spans ...
0
votes
0answers
16 views

unique inner product on a tensor product of Hilbert $C^*$ modules and Hilbert spaces.

For a $C^*-$ algebra $A$ and a Hilbert space $H$ and a Hilbert $A-$module E; how can we show that there is a unique $A-$ valued inner product on $H \otimes E$ as $< h_1 \otimes x_1 , h_2 \otimes ...
-1
votes
1answer
72 views

State of a $ C^{*} $-algebra.

Let $ (\pi,\mathcal{H}) $ be a non-degenerate $ * $-representation of a $ C^{*} $-algebra $ A $, and let $ h \in \mathcal{H} $ with $ \| h \| = 1 $. Define $ f_{h}: A \to \Bbb{C} $ by $ {f_{h}}(a) ...
0
votes
1answer
14 views

$A$ be a non-empty closed convex subset of a Hilbert space $H$ , is the distance from $A$ always attained at a unique point in $A$ ?

Let $A$ be a non-empty closed convex subset of a Hilbert space $H$ , then is it true that for every $b \in H$ , $\exists$ unique $x_b \in A$ such that $||x_b-b||=d(b,A)=\inf \{||b-x||:x \in A\}$ ?
1
vote
2answers
28 views

Norm is sup of inner products (proof).

Let $V$ be a vector space with an inner product $\langle.,. \rangle$ and associated norm $|| . ||$ Then: Could I have a proof of this fact?
0
votes
1answer
22 views

On the proof of the continuity of the inner product.

I am having problems with the following proof and I need to fill in some details: I understand that continuity is being proven by the sequence definition but I do not get why (a) follows ...
1
vote
1answer
65 views

Lemma 3.5-3 in Erwine Kreyszig's INTRODUCTORY FUNCTIONAL ANALYSIS WITH APPLICATIONS: Is the set of non-zere Fourier co-efficients uncountable too?

Let $X$ be an inner product space, let $x \in X$ be non-zero, and let $M$ be an uncountable orthonormal subset of $X$. Then what can we say about the cardinality of the following set? $$ \{ \ v \in M ...
0
votes
1answer
22 views

What can one assume about $T^*$ when showing that $T$ is normal?

Consider a continuous and linear operator $T$ such that $$ T : l^2 \to l^2 $$ where $(a_n) \mapsto (\alpha_n a_n)$ Moreover $(\alpha_n)$ is a sequence of complex numbers that converges to zero. Now, ...
4
votes
1answer
45 views

Isolated Eigenvalue

What does it mean that an eigenvalue is "isolated"? My intuitive understanding says it is when one can find an open ball around it such that there is no other eigenvalue in that open ball. However, I ...
0
votes
0answers
20 views

Norm of operator matrix

I'm having trouble with the following: suppose H is a Hilbert space and $f_{i, j}, g_{i, j} : H \rightarrow H$, $1 \leq i, j \leq n$ are bounded operators. Then we have operators $(f_{i, j}) , (g_{i, ...
0
votes
1answer
36 views

Hilbert space L2 - inner product

I have a problem with one exercise. I have to prove that $L^2$ space is Hilbertian. So I think that the best way is to check out inner product by definition of norm, so: \begin{equation*} ...
-1
votes
0answers
18 views

an objective question from functional analysis [closed]

Let $A$ and $B$ be bounded operators on a Hilbert space $H$ such that $AB=BA$. Let $\lambda$ be an eigenvalue for $A$. Then it must be that a)$B$ has no eigenvalue b)$B$ has at least one ...
2
votes
1answer
70 views

Showing that an operator generates a contraction semigroup

Let $A$ be the infinitesimal generator of a contraction semigroup $(T(t))_{t\ge 0}$ on the Hilbert space $X$, and $D\in\mathcal{L}(X)$. I want to show that the operator $A+D-2\|D\|I$ with domain ...
6
votes
2answers
32 views

Prove Operator is a Projector

Let $\mathscr{H}$ be a complex Hilbert space. A projector is a linear map $P:\mathscr{H}\to\mathscr{H}$ such that $P\circ P = P$. I'm trying to prove the following claim, from the information given ...
0
votes
1answer
26 views

Is this a metric on $\mathbf P\mathcal H$?

Let $\mathcal H$ be a real or complex Hilbert space with inner product $\langle\cdot,\cdot\rangle$. On the projective space $\mathbf P\mathcal H = \left(\mathcal H\setminus\{0\}\right)\big/{\sim}$ ...
-1
votes
0answers
22 views

Hamiltonian: Scattering Spaces

Given a Hilbert space $\mathcal{H}$. Consider a Hamiltonian: $$H:\mathcal{D}(H)\to\mathcal{H}:\quad H=H^*$$ Regard a family of projections: $$1(r)^2=1(r)=1(r)^*\quad(r\geq0)$$ Denote for shorthand: ...
2
votes
1answer
49 views

Powers of compact operators

Consider a Hilbert space $H$ and a compact self-adjoint operator $T : H \to H$. I want to prove that all positive powers (especially fractional powers) of $T$ are compact. From the spectral theorem, I ...
1
vote
0answers
32 views

Lemma 3.3-7 and Theorem 3.6-2 in Kreyszig's “Introductory Functional Analysis With Applications”: What if completeness is lost? [duplicate]

Let $X$ be an inner product space, and let $M$ be a non-empty subset of $X$. Then we have the following: (a) If the space of $M$ is dense in $X$, then $M^\perp = \{0 \}$, that is, $x \in X$, $x ...
2
votes
1answer
27 views

On the subset of a closed vector subspace

Theorem: Let $H$ be a Hilbert space, and let $U$ and $V$ be closed subspaces of $H$ such that $U\subset V$. Then there exists a nonzero vector $v\in V\backslash U$ such that $v\bot U$. The fact that ...
0
votes
1answer
31 views

Need help understanding compact embedding of hilbert spaces

I am trying to understand the following statement, and I would like some clarification Consider a Hilbert space $H$ which is compactly embedded in a Hilbert space $L$, with $H^*$ being the dual ...
0
votes
1answer
19 views

Norm of a linear continuous form

Let $E=\{f\colon[0,2]\to\mathbb{R} \mid f \text{ continuous} \}$ be a prehilbert space equipped with inner product: $$\langle f,g\rangle=\int_0^2 f(t)g(t)\, dt$$ And let : $$U\colon E ...
1
vote
1answer
23 views

Proving an integral identity

I'm dealing with the Hermitian operator, and I've been asked to prove that all $f(x) = x^n e^{\alpha x}$ belong to $L^2(-\infty,\infty;e^{-x^2/2})$ by showing that: $$\int_{-\infty}^{\infty}x^m ...
2
votes
2answers
45 views

Intersection of Hilbert spaces

Consider two Hilbert spaces $H_1$ and $H_2$ with inner products $\langle \cdot,\cdot\rangle_1$ and $\langle \cdot,\cdot\rangle_2$ generating norms $\Vert \cdot \Vert_1$ and $\Vert \cdot \Vert_2$ ...
1
vote
1answer
23 views

Theorem 3.3-1, Lemma 3.3-2, and Theorem 3.3-4 in Erwine Kreyszig's INTRODUCTORY FUNCTIONAL ANALYSIS WITH APPLICATIONS: How to write these as one?

I'm trying to prepare some ancilliary material on the following three results in sec. 3.3 in the book Introductory Functional Analysis With Applications by Erwine Kreyszig: (First, I'm giving ...
0
votes
1answer
39 views

Prob. 2, Sec. 3.3 in Erwin Kreyszig's “Introductory Functional Analysis With Applications”: How to minimise the norm?

Let $z$ be a given complex number. Let $M \subset \mathbb{C}^n$ be given by $$M \colon= \left\{ (\xi_1, \ldots, \xi_n ) \in \mathbb{C}^n \mid \sum_{i=1}^n \xi_i = z \right\}.$$ Then $M$ is convex ...
2
votes
0answers
29 views

Hamiltonian: Invariant Core

Given a Hilbert space $\mathcal{H}$. Consider a Hamiltonian: $$H:\mathcal{D}(H)\to\mathcal{H}:\quad H=H^*$$ And an operator: $$A:\mathcal{D}(A)\to\mathcal{H}:\quad A=A^*$$ Denote its evolution by: ...
1
vote
1answer
18 views

Reducing Subspaces: Hamiltonian

Given a Hilbert space $\mathcal{H}$. Consider a Hamiltonian: $$H:\mathcal{D}(H)\to\mathcal{H}:\quad H=H^*$$ Regard a projection: $$P\in\mathcal{B}(\mathcal{H}):\quad P^2=P=P^*$$ Then one has: ...
5
votes
1answer
115 views

If $\sum (a_n)^2$ converges and $\sum (b_n)^2$ converges, does $\sum (a_n)(b_n)$ converge?

Could someone help me to solve this or at least give me a hint?, I have tried using Cauchy's criterion, the Dirichlet test for convergence, etc, but I can´t prove it.Honestly I don´t know where to ...
1
vote
1answer
19 views

Selfadjoint Operators: Weak Convergence

Given a Hilbert space $\mathcal{H}$. Consider a selfadjoint operator: $$A:\mathcal{D}(A)\to\mathcal{H}:\quad A=A^*$$ Regard a sequence: ...
0
votes
1answer
40 views

The property of closed subspace

We know that a set is closed if and only if every convergent sequence with elements in the set has a limit point in the set. I am reading a paper, and the paper claims that the following is due to S ...
0
votes
0answers
15 views

Operator norm of symmetric Matrix in Hilbert Space with Hermitian Inner Product

Assume we have a postive definite real matrix $P$ and we define an inner product on a finite dimensional hilbert space $\langle x, y \rangle = x^\top P y$ and clearly the induced norm is $|| x || = ...
3
votes
2answers
37 views

Show $ \langle Tx,x \rangle \in \mathbb R$ for all $x \in H$ implies $T$ is self-adjoint

Show that a linear operator $T: H \rightarrow H$ is self adjoint if and only if $\langle Tx, x \rangle \in \mathbb R$ for all $x \in H$. You may use that the equality that for all $x,y \in H$ ...
0
votes
0answers
22 views

Is there a pseudocontractive mapping that is not strictly pseudocontractive?

Given a Hilbert space $H$, a mapping $T:H\rightarrow H$ is said to be pseudocontractive if $$\|Tx-Ty\|^2\leq \|x-y\|^2+\|(x-Tx)-(y-Ty)\|^2\,\,\, \forall x,y\in H,$$ and it is strictly ...
1
vote
1answer
13 views

A rescaled inner product inequality

I was wondering if the following inequality is true: Let $\xi_1,...,\xi_n$ be vectors in a Hilbert space $H$ and let $x_{i,j}$ be complex numbers such that $\prod x_{i,j}$ is real and $$\prod ...
2
votes
1answer
24 views

A question on Isometry between the orthogonal subspaces of Hilbert spaces

I was reviewing my class-notes on Functional analysis and the professor had mentioned that given a closed proper subspace $U$ of an hilbert space $\mathcal{H}$, $\exists $ a closed subspace ...
6
votes
1answer
81 views

$\sin$ and $\cos$ are the basis of what space?

When learning Fourier expansions, we learn that $\{\sin(mx), \cos(mx)\}_{m \in \Bbb N}$ is an orthonormal basis for our space and thus we can expand functions in it. My question is what space is this ...
0
votes
0answers
23 views

Cauchy sequence in reproducing kernel Hilbert space

Consider a positive definite kernel $K:\mathbb N\times \mathbb N\rightarrow \mathbb R$. Denote the unique RKHS associated with $K$ by $\mathcal H_K$. The RKHS $\mathcal H_K$ consists of \begin{align} ...
1
vote
0answers
45 views

$P$ and $Q$ are unitarily equivalent iff dimensions of ranges and kernels are the same

Two projections $P,Q$ are unitarily equivalent if and only if $$dim(randP)=dim(ranQ)$$ $$dim(kerP)=dim(kerQ)$$ How can we show this? One directionn seems easy: If $P$ and $Q$ are unitarily eqv, ...