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

Prove or disprove that the given expression is “always” positive

I have previously asked a question and I tried to solve it by my own and it led to the question below: Prove or disprove that ...
2
votes
2answers
156 views

I need to show that $K$ is compact and that $co(K)$ is bounded, but not closed.

Let $x_n$ be a sequence in a Hilbert space such that $\left\Vert x_n \right\Vert=1$ and $ \langle x_n,\ x_m \rangle =0 $, for all $n \neq m$. Let $ K= \{ x_n/ n : n \in \mathbb{N} \} \cup \{0\} $. ...
2
votes
3answers
1k views

Compact operator

If $H$ and $K$ are Hilbert spaces,show that if $T:H\longrightarrow K$ is a compact operator and $\{e_{n}\}$ is any orthonormal sequence in $H$ then $\|Te_{n}\|\to0$.Is the converse true? thanks.
1
vote
1answer
35 views

Proving that if $\sum\|f_n-e_n\|^2< 1$, $\{f_n\}$ is a complete sequence

Let $\{e_n\}$ be a complete orthonormal sequence in an Hilbert space $H$ and let $\{f_n\}$ be an arbitrary sequence of elements in $H$ s.t $$\sum_{n=1}^\infty\|f_n-e_n\|^2<1$$Show that ...
1
vote
2answers
124 views

Characterisation of norm convergence

Let $X$ be a Hilbert space and $(x_n)\in X^{\mathbb N}$ be a sequence. Then the following statements are equivalent (with $x \in X$): We have $x_n \to x$, i.e. $\| x_n -x \| \to 0$ and we have $x_n ...
1
vote
1answer
175 views

weak convergence condition

Let $l^{2}=\left\{x=(x^{(1)},x^{(2)},...):\sum_{i=1}^{\infty }\left\vert x ^{(i)}\right\vert ^{2}<\infty \right\} $. Would you help me to prove that $({\vert|x_n |\vert})$ is bounded sequence and ...
1
vote
2answers
362 views

Question about limits of weakly convergent sequence in $H^1_0(\Omega)$

Let $H = H_{0}^{1}(\Omega)$ where $\Omega$ is a bounded domain in $R^N$ whose boundary $\partial\Omega$ is a smooth manifold. We know that the embedding $$H\hookrightarrow L^s(\Omega)$$ is compact for ...
0
votes
1answer
36 views

about weak convergence in $L^2(0,T;H)$.

Exercise Suppose $H$ is Hilbert space and $u_k$ converges weakly to $u$ in $L^2(0,T;H)$. Suppose further we have the uniform bounds $\mathrm{esssup}_{0≤t≤T} ||u_k(t)||≤C$. Then ...
0
votes
2answers
117 views

Stone's Theorem Integral: Basic Integral

Disclaimer This thread has been renewed: Stone's Theorem Integral: Advanced Integral Problem Given a finite Borel measure $\mu$ and a Hilbert space $\mathcal{H}$. Consider a strongly continuous ...
0
votes
1answer
100 views

Weak limits and subsequences

Let $S:X \to X$ be a (nonlinear) map between a Hilbert space $X$. I want to show that $S$ is weakly continuous, so if $x_n \rightharpoonup x$, then $S(x_n) \rightharpoonup S(x)$. To do this, I have ...
0
votes
1answer
107 views

If a sequence is not a frame

A sequence $\{f_{n}\}_{n\in I}$ is a frame for a separable Hilbert space $H$ if there exists $0<A\leq B<\infty$ such that $$ A\|f\|^{2} \leq \sum_{n\in I}|\langle f,f_{n}\rangle|^{2}\leq ...
-1
votes
2answers
78 views

Isometric <=> Left Inverse Adjoint

Is it true that: $$T\text{ isometric}\iff T^*\text{ left inverse}$$ Obviously: $$\text{"}\Rightarrow\text{": }\langle x,\tilde{x}\rangle=\langle Tx,T\tilde{x}\rangle=\langle x,T^*T\tilde{x}\rangle$$ ...
-1
votes
1answer
40 views

Range of $Df(a)$ contained in the subspace $\{f(a)\}^{\perp}$ with $f$ differentiable

Let $A$ a open set in a Hilbert Space $H$, suppose that $f:A\to F$ is differentiable at $a\in A$ and that $||f(x)||=c$ forall $x\in A$. Show that range of $Df(a)$ is contained in the subspace ...
28
votes
4answers
1k views

Given two basis sets for a finite Hilbert space, does an unbiased vector exist?

Let $\{A_n\}$ and $\{B_n\}$ be two bases for an $N$-dimensional Hilbert space. Does there exist a unit vector $V$ such that: $$(V\cdot A_j)\;(A_j\cdot V) = (V\cdot B_j)\;(B_j\cdot V) = 1/N\;\;\; \ ...
8
votes
1answer
1k views

Vector, Hilbert, Banach, Sobolev spaces

Trying to wrap my head around all these different spaces. Which one is the most general? Can you summarize the differences between them? Is there a notable space that I missed?
10
votes
1answer
471 views

orthonormal system in a Hilbert space

Let $\{e_n\}$ be an orthonormal basis for a Hilbert space $H$. Let $\{f_n\}$ be an orthonormal set in $H$ such that $\sum_{n=1}^{\infty}{\|f_n-e_n\|}<1$. How do I show that $\{f_n\}$ is also an ...
8
votes
1answer
286 views

How to Prove the Semi-parametric Representer Theorem

This question concerns the generalized Representer Theorem, due to Schölkopf, Herbrich, and Smola. In this magnificent work, the authors provide two versions of the Representer Theorem, a ...
7
votes
2answers
2k views

Weak Convergence implies boundedness and componentwise convergence

Let $\ell^2$ be the set of real number sequences $\{a_n\}$ such that $\sum a_n^2 <\infty$. Let $\langle a_n,y\rangle \rightarrow \langle a,y\rangle$ for some $a\in \ell^2$ and for all $y\in ...
7
votes
1answer
523 views

Isometric to Dual implies Hilbertable?

Let $X$ be a Banach space and suppose that $X$ is isometric to its continuous dual space $X^*$. Must $X$ be hilbertable in the sense that there exists an inner product which induces the norm on $X$? ...
7
votes
4answers
2k views

A linear operator on a finite dimensional Hilbert space is continuous

How do I show that a linear function from a Hilbert space $H$ to itself is continuous if $H$ is finite dimensional? Also, what would be an example of a linear function from a Hilbert space to itself ...
6
votes
1answer
269 views

Two different definitions of ellipticity

This is a question originating in another mathematics forum, matematicamente.it (in Italian). In literature one encounters the word elliptic in (at least) two different definitions. In what follows ...
5
votes
1answer
490 views

Isomorphic Hilbert spaces

As part of a broader proof , I need to show that every two separable Hilbert spaces (that contains a dense countable set) are isomorphic (the linear mapping from one space to the other is injective ...
3
votes
2answers
797 views

$\ell_{p}$ space is not Hilbert for any norm if $p\neq 2$

My question is motivated by this one: $\ell_p$ is Hilbert space if and only if $p=2$ Maybe it is a simple thing or im just confused but, suppose we are given any norm in $\ell_{p}$ for $p\neq 2$. ...
7
votes
2answers
262 views

Counterexample for the stability of orthogonal projections

Let $V$ be a seperable Banach space, which is dense and continuously embedded in a Hilbert Space $H$. Let $(V_m)$ be a Galerkin scheme (See definition below) for $V$. Using the embedding we can ...
6
votes
0answers
379 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 ...
5
votes
1answer
434 views

Reproducing kernel Hilbert spaces and the isomorphism theorem

A reproducing kernel Hilbert space is a Hilbert space in which the evaluation functional $L_x : f \rightarrow f(x)$ is continuous. By continuity, the Riesz representation theorem says that this ...
5
votes
2answers
1k views

Elegant proof that $L^2([a,b])$ is separable

Is anybody aware of, or can provide at least an outline, of a proof that the Hilbert space of Lebesgue functions square-integrable on the closed real interval [a,b], equipped with the $L^2$ norm, is ...
4
votes
0answers
127 views

Is this projection operator onto a subspace of a Hilbert space bounded?

(I copy and paste and edit from Is this operator bounded? Hilbert space projection, my question is almost the same) Let $V \subset H$ be Hilbert spaces (different inner products) with $V$ dense and ...
4
votes
4answers
992 views

Weak and pointwise convergence in a $L^2$ space

Let $I$ be a measured space (typically an interval of $\Bbb R$ with the Lebesgue measure), and let $(f_n)_n$ a sequence of function of $L^2(I)$. Assume that the sequence $(f_n)$ converge pointwise ...
2
votes
0answers
142 views

Projection and Pseudocontraction on Hilbert space

Let $H$ be a real Hilbert space with inner product $\langle\cdot, \cdot \rangle: H \times H \rightarrow \mathbb{R}$, and induced norm $\left\| \cdot \right\|: H \rightarrow \mathbb{R}_{\geq 0}$. Let ...
2
votes
1answer
123 views

if $E^2=E$, then $\text{Im}\;E\subset\left(\ker E+(\ker E)^\perp\right)$?

Notation: $V$ is a infinite-dimensional inner product space; $\langle\cdot,\cdot\rangle$ is the inner product of $V$; $E:V\rightarrow V$ is a linear map; $\text{Im}=\{E(v):v\in V\}$; $\ker E=\{z\in ...
2
votes
1answer
286 views

Compact operator on $l^2$

Let A be a bounded linear operator on $l^2$ defined by A($a_n$)=($\frac{1}{n} a_n$). Would you help me to prove that A is compact operator. I guess the answer using an approximation by a sequences of ...
1
vote
1answer
45 views

In a dagger category, is there a name for morphisms $f : X \rightarrow Y$ with $\mathrm{id}_X = f^\dagger \circ f$?

In a dagger category, is there a name for morphisms $f : X \rightarrow Y$ with $\mathrm{id}_X = f^\dagger \circ f$? Clearly, every such arrow is a split monomorphism; further, if such an $f$ is ...
1
vote
1answer
60 views

Why is $\langle f, u \rangle_{H^{-1}, H^1} = (f,u)_{L^2}$ when $f\in L^2 \cap H^1$ and not $\langle f, u \rangle_{H^{-1}, H^1}=(f,u)_{H^1}$?

More generally, if $V \subset H \subset V'$ are Hilbert spaces, why is $$\langle f, u \rangle_{V',V} = (f,u)_{H}$$ when $f\in H \cap V$ and not $$\langle f, u \rangle_{V',V}=(f,u)_{V}?$$ Is this what ...
1
vote
2answers
193 views

Hilbert dual space (inequality and reflexivity)

Let $V \subset H$ where $H$ is Hilbert space. Let $T:H^* \to V^*$ be the canonical map that restricts the domain of a functional in $H$ so that it's a functional in $V$. How do I show that $$\lVert ...
1
vote
3answers
480 views

minimum principle in Hilbert space

Minimum principle is following: Let $M$ be a closed convex nonempty subset of Hilbert space. Then there exists $x\in M$ which have a minimum norm. Assume that $M$ is not convex subset. What is a ...
0
votes
1answer
56 views

Find minimal $\alpha_3$ such that $u\in H^3(\Omega)$ and $u(x,y,z)=x^\alpha(1-x)y(1-y)z(1-z)$

My instructor presented me the quiz below but forgot to define key terms such as minimality and $H^3$. Quiz Let $u(x,y,z)=x^\alpha(1-x)y(1-y)z(1-z)$. Find the minimal $\alpha_3$ such that $u\in ...
7
votes
1answer
228 views

Energy estimate of the differential equation $\dot{x}=Ax$

Conside the differential equation $$\dot{x}=Ax,\qquad x(t):{\bf R}\to{\mathcal H}$$ where $\mathcal{H}$ is a Hilbert space and $A$ is a bounded linear operator. With the initial condition, one can ...
5
votes
1answer
490 views

Using Lax Milgram to find a weak solution in an intersection of Sobolev spaces

I am trying to prove the existence of a weak solution of the problem: $$ -\Delta^2 u = f \in L^2(U)\\ \\ u|_{\partial U}=\Delta u|_{\partial U} = 0 $$ on the bounded open set $U\subset\mathbb{R}^n$ ...
4
votes
2answers
264 views

Gram-Schmidt in Hilbert space?

EDIT: After some contemplation I decided to phrase the question better to avoid trivial answers. Consider a Hilbert space with a basis $\{v_{i}\}$ where $i\in I$ an index set, which could be ...
4
votes
1answer
118 views

If the expectation $\langle v,Mv \rangle$ of an operator is $0$ for all $v$ is the operator $0$?

I ran into this a while back and convinced my self that it was true for all finite dimensional vector spaces with complex coefficients. My question is to what extent could I trust this result in the ...
4
votes
2answers
218 views

Is this operator bounded? Hilbert space projection

Let $V \subset H$ be Hilbert spaces (different inner products) with $V$ dense in $H$. Let $b_n$ be an orthonormal basis for $H$ and an orthogonal basis for $V$. Define $$P_n:H \to ...
4
votes
3answers
894 views

Convergence in weak topology implies convergence in norm topology

In Hilbert space why does convergence in weak topology $x_n$ to $x$ imply that $x_n$ converges to $x$ in norm? Thank you very much for your answers. What if I put a condition on weak convergence ...
4
votes
2answers
240 views

Why is the numerical range of a self-adjoint operator an interval?

I was reviewing for a test for functional analysis when I came across the following statement: Let $T$ be a bounded self-adjoint operator on a Hilbert space $H$. Then the numerical range of it is ...
3
votes
2answers
56 views

Question about finding minimum-Hilbert spaces

How to find $$\min_{a,b,c\in\mathbb{C}}{\int_0^{\infty}} |a+bx+cx^2+x^3|^2 e^{-x} dx = ?$$ Thanks in advance.
3
votes
1answer
365 views

Derivative of Convex Functional

Suppose that $H$ is a real Hilbert space and that $f:H \to \mathbb{R}$ is differentiable in the Frechet sense. Then we can think of the derivative as a function $f': H \to H^* = H$. Suppose that this ...
2
votes
1answer
92 views

Hilbert Spaces: Tensor Product

Attention The question has been modified! (Previous answers were perfectly correct, then.) Reference Build-up on: Vector Spaces: Tensor Product Problem Given Hilbert spaces $\mathcal{H}$ and ...
2
votes
0answers
110 views

The support of Gaussian measure in Hilbert Space $L^2(S^1)$ with covariance $(1-\Delta)^{-1}$

Let $\mu$ be Gaussian measure defined on Hilbert space $\mathcal{H}=L^2(S^1)$ ($S^1$ - circle) by formula $$ \int e^{(f,g)} d\mu(f) = e^{-\tfrac{1}{2}(g,C g) }. $$ The covariance operator $C$ is ...
2
votes
1answer
110 views

If $V \subset H$ compact, is $L^2(0,T;V) \subset L^2(0,T;H)$ compact too?

As the question states, if we have the compact embedding of Hilbert spaces $V \subset H$, is $L^2(0,T;V) \subset L^2(0,T;H)$ compact too? If not true in general, is it true for $V=H^1(\Omega)$ and ...
2
votes
3answers
402 views

$C[0,1]$ is NOT a Banach Space w.r.t $\|\cdot\|_2$

I'm trying to find a cauchy sequence in $C[0,1]$ that converges under $\|\cdot\|_2$ to a limit which isn't continuous. Any ideas?