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

learn more… | top users | synonyms

3
votes
0answers
76 views

Estimate finite-rank operator

I have the the following problem. Let $H$ be a Hilbert space with orthonormal basis $(e_{j})_{j\in \mathbb{N}}$. Let $x\in [a,b]$, for all $h\in H$ $$ (Bh)(x) = \langle h,k_{x} \rangle,$$ with ...
3
votes
1answer
30 views

Confusion related to reproducing kernels

I was reading this paper and I came across Reproducing Kernel Hilbert Space. I tried to read some references related to it. However, I couldn't understand much. I didn't get why they are called ...
3
votes
0answers
63 views

A set of trajectories as a linear subspace of Hilbert space

Let $\left\{S(t)\right\}_{0 \leqslant t \leqslant \theta}$ be a strongly continuous semigroup of linear continuous operators in Hilbert space $H$, $S(0) = I$. Let $x$ be some element of $H$. Then its ...
3
votes
0answers
169 views

Must-read papers in Operator Theory

I have basically finished my grad school applications and have some time at hand. I want to start reading some classic papers in Operator Theory so as to breathe more culture here. I have read some ...
3
votes
0answers
52 views

Existence of an ergodic-looking limit in a Hilbert space

This is part of a problem from Reed & Simon's Functional Analysis -- I'll write the problem first. Let $V$ be a linear transform on the Hilbert space $H$, such that its powers are uniformly ...
3
votes
1answer
113 views

What is $\mathcal{C}(S^{1})$? (Where $S^1$ denotes unit circle)

What is $\mathcal{C}(S^{1})$ (Continuous function on a unit circle)? (Where $S^1$ denotes unit circle) I saw this in a proof of showing Fourier Basis $S:=\{1,\sqrt{2}\cos{nx},\sqrt{2}\sin{nx}\}$ is ...
3
votes
0answers
168 views

Is there a deeper connection between the two Riesz's Representation Theorems?

I have been reading Kreyszig's Functional Analysis when I encountered two versions of Riesz's Representation Theorems: (1) Every bounded linear functional $f$ on a Hilbert space $H$ can be ...
3
votes
0answers
274 views

How does the parallelogram law imply the existence of an inner product for a given norm? [duplicate]

Possible Duplicate: Norms Induced by Inner Products I am trying to prove to that if a norm of a vector space satisfies the parallelogram law ($\| \vec x + \vec y \|^2 + \| \vec x - \vec ...
3
votes
0answers
89 views

Counting balls in Hilbert spaces

Let $W$ be a real Hilbert space of dimension $n$ and $V$ a Hilbert subspace of dimension $m$. Assume that $f_1,\cdots,f_k$ are points in $W$ such that the following holds: there exists $\sigma>0$ ...
2
votes
3answers
2k views

Canonical examples of inner product spaces that are not Hilbert spaces?

That is, what are some good examples of vector spaces which are inner product spaces but in which not every Cauchy sequence converges?
2
votes
2answers
2k views

A proof of the Riesz representation theorem

I'm having trouble filling the steps in this guided proof of Riesz's representation theorem. (I already have a proof I can understand, but I'd like to understand this one too.) Let $H$ be a Hilbert ...
2
votes
3answers
846 views

Orthonormal basis in $L^2(\Omega)$

In the one dimension case, where $\Omega\subseteq{\bf R}$ is a bounded domain, for example $\Omega=[0,2\pi]$, one can find the orthonormal basis for $L^2(\Omega)$: $$\{e_n\}_{n\in {\bf Z}}$$ where ...
2
votes
1answer
128 views

Non-linear functional on $L^2$

Let $a,b,g,h$ be real numbers. How to prove that the functional $F\colon L^2 [a,b]\to \mathbb{R}$, given by $F(u)=\int_a^b (u^2(x)-gu(x)-h)\,dx$ is continuous? Thank you
2
votes
2answers
415 views

Infinite Dimensional Hilbert Space

Let $H$ be a Hilbert space with a countable basis $B$. Does it mean that any vector $x\in H$ can be expressed as a finite linear combination of elements from $x$, or as an infinite linear combination? ...
2
votes
2answers
808 views

Why is Parseval's Equality and Bessel's Inequality Different?

Bessel's Inequality: $\sum_n |\langle x, e_n \rangle |^2 \leq \|x\|^2$ Parseval: $\;\;\;\;\;\;\;\;\;\;\;\;\;\;$ $\sum_n |\langle x, e_n \rangle |^2 = \|x\|^2$
2
votes
2answers
188 views

elliptic pdes and associated bilinear forms for Lax-Milgram

I have a simple question on elliptic pdes, actually I can not understand clearly from definitions. Thats why I want to try think on an example. Let us have an elliptic pde $$-A \Delta ...
2
votes
3answers
417 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?
2
votes
2answers
279 views

Physical interpretation of L1 Norm and L2 Norm

In signal analysis, students have no qualms about associating the L2 norm of a square integrable function f(t) as the energy associated with that signal. A good understanding of whether a function ...
2
votes
4answers
276 views

Square root of a Hermitian operator exists

There are a lot of questions here about square root operators, but none of them addresses the basic question of existence, and I didn't find a very beefy section in Wikipedia talking about this, so ...
2
votes
2answers
144 views

Questions about the proof of the Riesz representation theorem

Let $H$ be Hilbert space, $f:H \rightarrow \Bbb F$ linear and bounded map. I'm trying to prove that there exists only one $z_0 \in H$ such that: $ \forall_{x \in H} : f(x)=\langle x,z_0\rangle$ ...
2
votes
2answers
516 views

Uncountable basis and separability

We know that a Hilbert space is separable if and only if it has a countable orthonormal basis. What I want to ask is If a Hilbert space has an uncountable orthonormal basis, does it mean that it is ...
2
votes
2answers
235 views

What is the norm of the operator $L((x_n)) \equiv \sum_{n=1}^\infty \frac{x_n}{\sqrt{n(n+1)}}$ on $\ell_2$?

Let $(x_n) \subset \ell_2$ and let operator $L:\ell_2\to \mathbb R$ be defined by: $\displaystyle L((x_n)) := \sum_{n=1}^{\infty} \frac{x_n}{\sqrt{n(n+1)}}$. Find the norm of L.
2
votes
2answers
138 views

$f'$ is in $L^2[0,1]$

Let $f$ is absolutely continuous function on $[0,1]$, $f(0)=0$ and $f' \in L^2[0,1]$. Would you help me to prove that there is constant $c$ such that $$|f(t)| \leq c \left( \int_0^1 |f'(t)|^2 dt ...
2
votes
2answers
29 views

Help needed in determining if statement is true

Let $H$ be a Hilbert space, and $(x_n)_{n=1}^\infty$ be a sequence in $H$ with $x_n\rightharpoonup x\in H$ weakly. Then $\|x_n\|\to\|x\|$. I found this in one of my textbook; my question is if ...
2
votes
1answer
112 views

What is a good definition of Hilbert space?

Motivation of my question: in my opinion, in view of the common definition, the statement "$\ell_p$ is a Hilbert space if and only if $p=2$" makes no sense because there is no inner product in the ...
2
votes
2answers
526 views

Isomorphism of Banach space

If $T:H\to B$ is isomorphism of Banach spaces and $H$ is Hilbert, must $B$ necessarily be Hilbert?
2
votes
2answers
159 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
2answers
164 views

Is $L^2(D)$ separable?

Let $D$ be a bounded connected open subset of $R^n$ and $μ$ is a finite measure on $D$, say the Lebesgue measure. Is $L_2(μ)$ separable? Is a bounded sequence $\{f_k\}$ of $L^2(μ)$ pre-compact?
2
votes
2answers
322 views

Approximating $|x|$ by a linear combination of $1, \cos x, \sin x, \cos 2x, \sin 2x$

Let $\phi(x) = |x|$ for $x \in (-\pi, \pi)$. Suppose we approximate $\phi(x)$ by a linear combination of the functions $\{1, \cos x, \sin x, \cos 2x, \sin 2x\}$. What linear combination of the form: ...
2
votes
2answers
289 views

A non complete orthogonal system whose perpendicular space is trivial

Let $Y$ be an inner-product space, and let $A$ be an orthonormal system. We're trying to find a case to demonstrate the fact that even if for any given $x$ in $Y$ there's some $u$ in $A$ such that ...
2
votes
2answers
52 views

Banach space it isn't Hilbert space [duplicate]

How can give me two or three examples about Banach spaces which it is not Hilbert spaces with proof ( I mean why it isn't Hilbert spaces ) ?
2
votes
2answers
93 views

The difference between a normed space being reflexive and being isomorphic to its dual

Quoting wikipedia "a normed vector space is reflexive if it coincides with its bidual". Another definition, more precise is that a normed vector space is reflexive if its evaluation map ...
2
votes
1answer
101 views

Uniform convex space

Please I want to know if this space $$H^1_{0,p}([0,+\infty))=\lbrace u, u\in AC([0,+\infty)), u(0)=u(+\infty)=0,\sqrt{p}u'\in L^2\rbrace$$ where $p>0$, $p\in L^1((0,+\infty))$ ...
2
votes
1answer
92 views

Calculating the norm of an infinite vector

I'm reading "Introduction to Hilbert Spaces" by N. Young. Right in the first chapter, after introducing inner products and norms in general linear spaces, it asks to show that the norm of the vector: ...
2
votes
1answer
118 views

Is the limit of compact operators again compact?

Let $(T_n)_{n \in \mathbb{N}} \subset \mathcal{L}(\mathcal{X}, \mathcal{Y})$ where $T_n$, $n \in \mathbb{N}$, is compact. Now, assuming that $(T_n)_{n \in \mathbb{N}}$ has a limit $T \in ...
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
2answers
73 views

little question about linear operators

Let H be a complex Hilbert Space. Let $P \in L(H)$ be an idempotent operator ($P^{2} = P$). Also, let $\parallel P\parallel = 1$. I want to prove that $P$ is an orthogonal operator. I defined $M = ...
2
votes
1answer
1k views

$\ell_p$ is Hilbert space if and only if $p=2$

Can anybody please help me to prove this.. Let p greater than or equal to 1,show that the space of all p-summable sequences is an inner product space if and only if p=2
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 ...
2
votes
2answers
529 views

Direct sum of Hilbert Space subspaces - Notation?

This is a really basic question sorry, I just need to make sure I have my understanding correct. Given an infinite dimensional Hilbert space $\mathcal{H}$ and two subspaces, also Hilbert spaces, ...
2
votes
2answers
52 views

Norm, adjoint operator and compactness os some operators

Let $A_i:\ell^2\rightarrow \ell^2$ be two operators given as follows: $A_1x=(0,x_1,0,\frac{x_2}{2},0,\frac{x_3}{3},...)$ and $A_2x=(x_1,x_1,x_2,x_2,x_3,x_3,...)$ Compute the norm and the adjoint ...
2
votes
2answers
47 views

Is the composition function again in $L^2[a,b]$ [closed]

Let $f \in L^2[a,b]$. 1- In what condition(s) on a function $g:[a,b]\rightarrow [a,b]$ we can get $$f \circ g \in L^2[a,b]?$$ 2- In what condition(s) on $g:[a,b]\rightarrow [a,b]$, the operator ...
2
votes
2answers
139 views

Dense subspaces, closed subspaces and unbounded operators in Hilbert spaces

Let $\mathcal{H}$ be a Hilbert space, and let $N\subseteq\mathcal{H}$. I found two interesting statements (without proof): if a closed subspace $N$ is such that $N^{\perp}=\{0\}$ (which is ...
2
votes
3answers
197 views

Hermitian and self-adjoint operators on infinite-dimensional Hilbert spaces

I am a physicist and I am trying to get a grasp on the following terms from functional analysis: As I understand, an operator is Hermitian if it is symmetric and bounded (domains of A and A* don't ...
2
votes
1answer
62 views

Chain of closed subspaces in a Hilbert Space

Let $H$ be a separable Hilbert Space (WLOG, we may assume $H=\ell_2(\mathbb{N})$ is the space of square summable sequences). Can there exist an uncountable chain of closed subspaces? In other words, ...
2
votes
2answers
38 views

Showing $P^2=P$ for $P(v)=\frac{\langle v,w\rangle }{||w||^2}w$

My book asserts that for fixed $w$ where $w\neq 0$ that $P^2=P$ for $P(v)=\frac{\langle v,w\rangle }{||w||^2}w$ My book has a general corralary that $v\to P(v)$ is a bounded linear transformation and ...
2
votes
3answers
137 views

help with showing completeness

Let $\left\{H_n\right\}_{n=1}^\infty$ be a sequence of Hilbert spaces and let $H=\left\{\left\{x_n\right\}:x_n\in H_n, \sum ||x_n||^2<\infty \right\}$. Define the inner product as ...
2
votes
2answers
551 views

Weak convergence in a Hilbert Space

What does it mean for a sequence $\{f_n\}_{n=1}^\infty\subseteq H$ to converge weakly? I know it means that it converges in the weak topology and I've read a few definitions of weak topology which all ...
2
votes
1answer
68 views

Understanding problems of space

I've been trying to understand the concept of space for some time now, but I still can't grasp the essence of it. In high school math we've been using 2D- and 3D- Euclidean space. Now that I am ...
2
votes
1answer
118 views

Is $L^2(\Omega)$ the only $L^p$ hilbertian space?

I've started today studying Hilbertian spaces, and all of the examples seen in class were about the space $L^2(\Omega)$, where $\Omega$ is a limited domain in $\mathbb{R}^N$ $(N \geq 1)$. Online I ...