# Tagged Questions

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

40 views

### Approximations of compact operators

Let $(\xi_n)_{n=1}^\infty$ be a sequence in a Hilbert space $K$ convergent to some $\xi$. Suppose we have a compact operator $T$ on $K$ such that $T\xi = 0$. Can we find a sequence of compact ...
37 views

### Positive-definite function on a group function on a group

I have quite a hard time understanding the definition of positive-definite functions that is based on Hilbert spaces, the one that I read from Wiki; it does not exactly specify that how $H$ relates to ...
97 views

### Composition of Partial Isometries

Let $H$ be a complex Hilbert space and $S,T \in B(H)$ partial isometries. Then $S T$ is a partial isometrie, if and only if $T^*(\ker(S)) \subseteq \ker(ST)$. Edit: My attempts so far: ...
52 views

64 views

### how to prove $\sum_n |b_n|^2<\infty$

$\{b_n\}$ is a complex sequence, If for all $\ell^2$ sequences $a_n$, we have $\sum_n \bar{a}_nb_n$ converges . Prove that $\sum_n|b_n|^2<\infty$
73 views

### Counterexample for Palais-Smale condition

I have trouble proving that functional $I:H\to\mathbb{R}$ given by $$I(u)=\frac{1}{2}\|u\|^2-\frac{1}{2}(u,f)^2$$ does not satisfy Palais-Smale condition if $\|f\|=1$. I managed to prove that when ...
284 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 ...
32 views

### Equivalent Definitions of the $L_2$ inner product.

If $g \in L_2(\mathbb{R})$, then we can define the $L_2$ norm to have the following relationship: $\|g\|_2^2 = \int_\mathbb{R} g^2$. If $A\subseteq \mathbb{R}$, then we can define the norm of $L_2(A)$ ...
50 views

70 views

### Spectrum of the operator $A(f,g)=(g,\Delta f-f)$

Let $\Omega$ be an open set in $\mathbb{R^n}$. We consider the product Hilbert space $H=H^1_0(\Omega)\times L^2(\Omega)$ with the norm $$|(f,g)|^2=\int_\Omega (|\nabla f|^2+|f|^2+|g|^2 ) dx$$ We ...
52 views

### Any finite-dimensional subspace of a Hilbert space is closed: easier proof?

A noted theorem is that a finite-dimensional subspace of a Hilbert space must be topologically closed. I have seen some proofs of this theorem which are less simple than this, but what is wrong with ...
26 views

20 views

### I need help showing something is a linear continuous operator.

Define $T:C([0,1])\rightarrow C([0,1])$ by $T(f)(x)=f(0)+\int_0^xtf(t)dt$ I want to show that $T$ is a continuous linear operator.Showing the linear part is easy enough, but I am not quite sure how to ...
66 views

### Concluding that a linear operator on a Hilbert space is invertible

Setting: Let $H$ be a Hilbert space with two inner products, $\langle \cdot,\cdot\rangle$ and $[\cdot, \cdot]$, and $S:H\to H$ be a bounded linear operator such that for all $x,y\in H$, we have ...
30 views

### About what happens to eigenspace under functional calculus for Unbounded Operator

Let $T$ be an unbounded self adjoint positive operator on a Hilbert Space $\mathcal{H}$. Let $x \in \mathcal{H}$ be a vector such that $Tx = x$. Is it true that $T^{\frac{1}{2}} x = x$. For what $f$ ...
73 views

### Extending a compact operator to the entire Hilbert space

In a course I'm taking we defined compact operators as a linear mapping $H\rightarrow H$, where $H$ is a Hilbert space, that maps bounded sets to relative compact ones. The lecturer mentioned that the ...
40 views

### Proof: adjoint map of projection is a projection and …

Let $V$ be a pre hilbert space and $\pi \in \mathrm{End}(V)$. Show: the adjoint map $\pi^+$ of a projection (meaning: $\pi^2 = \pi$) is a projection itself. Show then: a projection $\pi$ is ...
47 views

### Isomorphism between Hilbert spaces

I want to show that the function $$L^2(\Omega,\mathcal{O})\longrightarrow L^2(\widetilde{\Omega},\mathcal{O}) \colon f \longmapsto f|_{\widetilde{\Omega}}$$ is a isomorphism, where ...
46 views

### Determining the exact form of a projection in a Hilbert space

Let $$\Omega = \left\{f(x) \in \mathcal{L}^2[0,T]: \frac{1}{T}\int_0^Tf(x)dx = \mu,~ a \le f(x) \le b,~\forall x \in [0,T]\right\},$$ where $\mathcal{L}^2[0,T]$ is the set of Lebesgue ...
100 views

### Find the minimum distance that equal maximum inner product

If $x_0 \in$ $H$ (Hilbert Space) and $M$ is a closed linear subspace of $H$, prove that $$\min \{\|x - x_0\|: x \in M\} = \max \{\langle x_0, y\rangle : y \in M^\perp, \|y\| = 1\}.$$ I suppose $P$ ...
Let $\Omega\subset\mathbb{R}^n$ be an open, bounded set with boundary $\partial\Omega$ of class $C^1$. $$\mathcal{A}:=\{u\in C^2(\bar\Omega):u=0\text{ on }\partial\Omega \}$$ endowed with the scalar ...