0
votes
0answers
34 views

Seeing that a function is a trigonometric polynomial

I'm working through Chapter 4 of Rudin's Real and Complex Analysis book right now, and I've found myself rather more confused than usual. In the proof of the completeness of the trigonometric system, ...
0
votes
0answers
117 views

Span of Dirac's delta distributions dense in Hilbert space of $L^2$ functions?

According to Wiki a set of elements of a Hilbert space(B) is a basis for that space if: Orthogonality: Every two different elements of $B$ are orthogonal: $⟨e_k,e_j⟩=0$ for all $k$, $j$ in $B$ with ...
2
votes
0answers
53 views

Are these functions on a Hilbert space Lipschitz equivalent?

Let $H$ be a Hilbert space with inner product $\langle\cdot,\cdot\rangle$. Fix a bounded operator $T$ on $H$, and $1\leq p<\infty$ (you can assume $p$ is an integer if necessary). Consider the ...
2
votes
2answers
46 views

Weak convergence of partial sums

I recently came across an interesting problem on weak convergence in $\ell^2 (\Bbb N)$. Suppose that we have canonical basis $\{e_i\}$ in $\ell^2 (\Bbb N)$. We need to prove that the sequence ...
1
vote
1answer
73 views

Weak convergence in $C[0,1]$

For a uniformly bounded sequence $(f_n)$ in $C[0,1]$, show that $f_n$ converges weakly to $0$ $\iff $ $\lim \limits_{n \to \infty} f_n(y) =0$ for all $y \in [0,1]$ Is the equivalence true if we do ...
0
votes
0answers
22 views

Question about convergence of sum

Let $T\in B(H,E)$ where $H$ a seperable hilbertspace, $E$ a seperable Banach space. By parsevals identity $$\left\|T^*\right\|^2= \sup_{ \left\|x^*\right\|\leq 1}\left\|T^*x^*\right\|^2 = \sup_{ ...
0
votes
1answer
14 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 ...
1
vote
1answer
40 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 ...
0
votes
1answer
30 views

When $M$ is closed $M^\perp$ is one-dimensional vector space

If $M=\{ x: Lx=0\}$, where $L$ is continuous linear functional on $H$ (Hilbert Space). Prove that $M^\perp$ is vector space of one-dimensional unless $M= H$. I know $M$ is closed so that $M^\perp$ is ...
5
votes
2answers
139 views

Is this space a Hilbert Space?

I have a space of continuously differentiable functions on [a, b] with the dot product defined in this way: $ x \cdot y = \int_a^b \! [x(t)y(t) + x'(t)y'(t)] \, \mathrm{d}t. $ Is this space a Hilbert ...
3
votes
1answer
70 views

Linear and monotone mapping

Let $f:\mathbb{R}^n \rightarrow \mathbb{R}^n$ be continuous and monotone, i.e., $$ \left( f(x) - f(y) \right)^\top \left( x-y\right) \geq 0$$ for all $x,y \in \mathbb{R}^n$. Say for which matrices $A ...
2
votes
0answers
18 views

Using derivatives at 0 to define an inner product

Can the following define an inner product on a subspace of the set of functions that are infinitely differentiable on $[-R,R]$. If so, do we get a Hilbert space? $$<f, g> = \sum_{n=0}^\infty ...
5
votes
1answer
70 views

Is there a useful relationship between pointwise and $L^2$ distance?

It would be really convenient to get a bound on the point-wise closeness of functions by knowing their $L^2$ distance. Clearly, if two functions are close in the $L^2$ sense, you cannot get a general ...
2
votes
1answer
38 views

Operator norm of orthogonal projection

I was assigned the following homework problem: "Let $P:\mathcal{H} \to \mathcal{H}$ be bounded and linear. Assume it satisfies $P^2 = P$ and $P^\star = P$. Show $\|P\| \le 1$." This isn't too hard ...
0
votes
0answers
12 views

$F_{j_0}=\left\{h:I\to\mathbb{R}/ h(j)=f_j(h(j_0))\ \forall j\not= j_0, h(j_0)\in K\right\}$ compact with supremum norm?

I need very help for the next problem: Let $F=\left\{f_j:\mathbb{R}\to \mathbb{R}/ j\in I, f_j\ continuous,\ and\ equicontinuous\right\}$, I index family. ($f_j$ equicontinuous iff $\forall ...
0
votes
2answers
65 views

Proving the completeness of $\mathcal{L}(\mathcal{H})$

Here $\mathcal{L}(\mathcal{H})$ denotes the vector space of all bounded linear operators on a Hilbert space $\mathcal{H}$. We can define a norm on $\mathcal{L}(\mathcal{H})$ by $\|T\| = \inf\{B : ...
1
vote
1answer
52 views

Prove vectorspace of bounded functions with supremum-norm is complete and no hilbert space

I have the following: Consider the real vectorspace with bounded functions $$V = \{f:[0,1]\rightarrow\mathbb{R} | \exists C > 0 : f([0,1])\subset[-C,C]\}$$ and the supremum-norm $$||f||_\infty ...
0
votes
1answer
26 views

A question about orthogonal projection in Hilbert spaces

Let S be a closed linear subspace of a Hilbert space $H$, and $P_S$ the associated orthogonal projection. I need to verify the following properties. i) $||P_S(x)||\le||x||$ ii)$P_{S^\perp}=I-P_S$, ...
4
votes
1answer
41 views

Finding an orthonormal basis from an existing one in a Hilbert space

Suppose we are given a separable Hilbert space $H$ with countable orthonormal basis $\{e_n\}$. Suppose we are given an orthonormal set $\{f_n\}$ such that $\sum\|e_n-f_n\| < 1$. How do we prove ...
2
votes
2answers
66 views

Convergence of sums using Hilbert space techniques [duplicate]

Let $a_n$ be a sequence of real numbers such that $\sum_{n=1}^{\infty} a_nb_n < \infty$ for any sequence $b_n$ satisfying $\sum_{n=1}^{\infty}b_n^2 < \infty$. Prove that ...
1
vote
1answer
35 views

Weak convergence of subsequence in Hilbert spaces

Prove that if $x_n$ is a sequence in $H$ (Hilbert space) with $\sup_n||x_n||\le1$, then there is a subsequence $\{x_{n_j}\}$ and an element $x$ of $H$ with $||x||\le 1$ such that $x_{n_j}$ converges ...
0
votes
2answers
46 views

showing uniqueness of a Hahn Banach extension

I am trying to prove the following: If $H$ is a Hilbert space and $G\subseteq H$ is a closed linear subspace, then any bounded linear functional on $G$ has a unique Hahn-Banach extension on $H$. So ...
3
votes
1answer
51 views

How to show: $\exists$ a subspace $L$ of a Hilbert space $H$ such that $H\neq L\oplus L^{\perp}$.

How to show: $\exists$ a subspace $L$ of a Hilbert space $H$ such that $H\neq L\oplus L^{\perp}$. Let consider $H=l_2$ where $l_2=\lbrace x=(x_n)^\infty_1: \sum^\infty_1 |x_n|^2<\infty \rbrace $ ...
3
votes
2answers
49 views

Determining if the span of a set is dense in L^2(0,1)

I am trying to determine whether or not the following statement is true: If $f \in L^2(0,1)$ and $\int_0^1 x^nf(x) = 0$ for all positive integers $n$. Then $f(x) = 0$ I have already verified this ...
0
votes
1answer
23 views

Nonexpansive Affine Operators in Hilbert spaces

Let $H$ be a Hilbert space with real inner product $\langle \cdot, \cdot \rangle : H \times H \rightarrow \mathbb{R}$. Let $T$ be an affine operator. Show that $T$ is nonexpansive, i.e., $\left\| ...
0
votes
0answers
26 views

Does Hilbert space with countable dimensions exist? [duplicate]

If there is a Hilbert space with infinite dimensions, can it have countably infinite dimensions? And does Banach space with countable dimensions exist?
-1
votes
1answer
39 views

Need help proving the equivalence of two norms !

Hey I could use alot of help with this problem please! Let (X, <-,->) be a Hilbert space over R. Then, let A: X -> X be a linear operator. Suppose that A is symettric and positive definite. Let ...
0
votes
1answer
32 views

I want to show one norm is less than or equal to another norm on C([0,1])

Let $|| \ ||_1$ be the norm on $C([0,1])$ defined by $||f||_1 = \int_0^1|f(t)|dt$. a) Show that $||f||_1 \le ||f||_{[0,1]}$ b) Are $|| \ ||_1$ and $|| \ ||_{[0,1]}$ equivalent? For part a) I think ...
1
vote
0answers
39 views

Finding the norm of a linear operation.

I am reading A course in real analysis by John McDonald, on page 530, it says "it is easy to show $|||J|||=1$" where $J$ is the linear operation $J:C([0,1])\rightarrow C([0,1])$, defined by $J(f)(x) = ...
1
vote
2answers
42 views

showing $\inf \sigma (T) \leq \mu \leq \sup \sigma (T)$, where $\mu \in V(T)$

I am trying to prove the following: Let $H$ be a Hilbert space, and $T\in B(H)$ be a self-adjoint operator. Then for all $\mu \in V(T)$, $\inf \left\{\lambda: \lambda \in \sigma (T) \right\}\leq \mu ...
0
votes
1answer
25 views

An identity on direct sum of Hilbert spaces

Let $M_i$ are the set of smooth complex valued functions ($i=0,1,2,...$) $L^2(M_i)$ are Hilbert spaces on $M_i$ then can we say $$L^2(\bigoplus_{i=0}^\infty M_i)\cong \bigoplus_{i=0}^\infty ...
0
votes
1answer
19 views

equivalency of weak convergence and strong convergence for this family of sequences

Let $H$ be a Hilbert space and let $f_n \in H$ be a sequence of orthogonal elements i.e $<f_n,f_m>=0 $ if $n\ne m$. Define the element $F_N= f_1 + f_2 +...+ f_N$ for each $ N\in \mathbb N$. ...
-1
votes
1answer
76 views

Hilbert space $L^{2}(0,\pi)$

I wanted to know how I should proceed if I wanted to prove that the closed subspace of $L^{2}(0,\pi)$ generated by {$\sin(kx): k=1,2,...$} coincides with $L^{2}(0,\pi)$. Thanks.
2
votes
1answer
34 views

Density result in Hilbert space

Assume that $b\in \mathbb{C}$ such that $0<\vert b \vert <1$. We consider the familly $f_{p}=\{1,b^{p},b^{2p},b^{3p},b^{4p},...,b^{np},...)$. How can one prove that $\operatorname{Span}(f_{p}, \ ...
1
vote
1answer
64 views

Is the space of continuous functions a Cauchy complete?

I am so new to functional analysis so I am looking for an answer of a confusion I am having right now in my mind because I have seen many different answers for the question I am gonna ask below. I ...
1
vote
0answers
24 views

The Haar basis ,proof of orthonoramality.

please i have this problem and i known how to prove completeness but do not know how to prove that it is orthonormal. I will appreciate it if anyone can help me. Given that $n\geq1$ write ...
1
vote
0answers
65 views

The Hilbert space $\mathcal{H}_\eta$ and unitary correspondence with $L^2[a,b]$

The question I have is related to a problem in Stein and Shakarchi's Real Analysis, Chapter 4. The problem Let $\eta(t)$ be a fixed strictly positive continuous function $[a,b]$. Define ...
2
votes
3answers
127 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 ...
0
votes
0answers
30 views

Range of $S$ is orthogonal to the kernel of $L$

Suppose that $L: H \to H' $ is a subjective continuous linear transformation between Hilbert spaces. If $S: H' \to H$ is also a continuous linear transformation such that $ LS = I$. Show that the ...
0
votes
1answer
31 views

Question about surjective continous operator being right invertible

I am reading a proof that a surjective continuous linear operator $T$ on a Hilbert space $H$ is right invertible. I have a question about the proof. The proof (up to the point where I have a question) ...
2
votes
2answers
48 views

Show that $\ell^2(A)$ and $\ell^2(B)$ are isomorphic iff $A$ and $B$ have the same cardinality

Let $A,B$ be sets. Show that $\ell^2(A)$ and $\ell^2(B)$ are isomorphic iff $A$ and $B$ have the same cardinality. (Here $\ell^2(A)$ is the square integrable functions that stand on $A$ with the ...
0
votes
1answer
50 views

Show that H$(I)$ is a closed subspace of $L^2(I)$

EDIT: Original statement is not true, added condition. Let $I$ be the unit interval, define $H(I) = \{f\in AC(I)$ and $f'\in L^2(I)\}$. I want to show that $H(I)$ a closed subspace of $L^2(I)$. ...
0
votes
1answer
43 views

Counterexample of minimum principle in hilbert space on non closed but convex subspace

As I mentioned at title, I make tiny counterexample for minimum principle. Let $K=C([0,\frac{1}{2}]) \subset H=L^{2}([0,1])$. Then $K$ is convex since every $f,g \in K$, $(\alpha ...
0
votes
0answers
59 views

Unconditionally convergence in Hilbert space

Let $H$ be a complex Hilbert space and $e_1, e_2,...$ be a countable orthonormal system in $H$, $c_1, c_2,...$ is a sequence of complex numbers. How to prove that if $c_n$ is square-summable then ...
2
votes
0answers
65 views

What's this standard duality argument?

I'm reading a proof of the Strichartz inequalities. It shows that $$ \| \int_\mathbb{R} e^{-is\Delta}F(s) \, ds \|_{L^2_x} \lesssim \|F\|_{L^{q'}_t L^{r'}_x}, $$ and then says that by duality, $$ ...
6
votes
1answer
47 views

Derive Fourier transform from what it should do?

I was wondering about the following: Imagine you want to figure out whether there is a transform that exchanges differentiation with multiplication and convoution with pairwise transformation for ...
0
votes
1answer
90 views

Proof Riesz representation theorem

I have a question regarding the proof of the Riesz representation theorem. Why do we declare the isomorphism $\Phi: H \rightarrow H'$ in an antilinear way? I mean if, this isomorphism would pick the ...
2
votes
1answer
39 views

Proof of an equivalence in Hilbert spaces

Let $H$ be a Hilbert space. Prove that the following are equivalent: a) the algebraic dimension of $H$ is finite; b) each closed, not empty subset $C$ has an element of minimum norm (that is the ...
4
votes
2answers
156 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 ...
0
votes
0answers
69 views

Verify that the operator $T$ defined by $T( \varphi _{k})=\frac{1}{k}\varphi _{k+1}$ is compact, but has no eigenvectors.

Let $H$ be a Hilbert space with basis $\left \{ \varphi _{k} \right \}_{k=1}^{\infty }$ .Verify that the operator $T$ defined by $$T( \varphi _{k})=\frac{1}{k}\varphi _{k+1}$$ is compact, but has no ...