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

learn more… | top users | synonyms

5
votes
2answers
114 views

What's the spectrum of this operator in $\ell^2$?

Suppose that $\ell^2 = \biggl\{(x_n)_n \in \mathbb{K}^{\mathbb{N}_0} \biggm| \sum_{n=1}^{\infty}|{x_n}^2| < +\infty \biggr\}$ is a Hilbert-space with the inproduct $\langle\cdot,\cdot\rangle_2: ...
5
votes
1answer
238 views

Homeomorphisms between infinite-dimensional Banach spaces and their spheres

As I know Cz. Bessaga has proved that an infinite-dimensional Banach space is homeomorphic to its unit sphere. Unfortunately I do not have his book but I want to know is this theorem true without ...
5
votes
1answer
623 views

Proof Complex positive definite => self-adjoint

I am looking for a proof of the theorem that says: A is a complex positive definite endomorphism and therefore is A self-adjoint. Does anybody of you know how to do this?
5
votes
2answers
249 views

Show that linear Operator on $\ell^2$ is unbounded

Currently, I am preparing for a next semester course and trying to figure out some basic concepts in functional analysis. Let $T:\mathcal{D}(T)\to \ell^2$ be defined by ...
5
votes
1answer
345 views

Uniform mean ergodic theorem

I'm working in Einsiedler and Ward's book on Ergodic Theory and in Exercise 2.5.4 they want to prove the following $$\lim_{N - M \to \infty} \frac{1}{N - M} \sum_{n = M}^{N - 1} U_T^n f \to P_T f.$$ ...
5
votes
2answers
258 views

Properties of reflexive Banach spaces

I just want to see the importance of reflexive Banach spaces and what is special about them compared to other Banach spaces. What kind of properties hold in reflexive spaces that do not necessarily ...
5
votes
2answers
167 views

Showing $\mathcal{H}$ is a hilbert space.

So this is an early exercise in Conway's A Course In Functional Analysis. I'm trying to get to grips with this upto open mapping and closed graph to see if I want to do any more functional analysis. ...
5
votes
2answers
128 views

Norm of a $2\times 2$ matrix as a Hilbert space operator

Work in the Hilbert space $\mathbb C^2$. Let $$A = \begin{bmatrix} a & b \\ c & d \\ \end{bmatrix} $$ be a matrix with entries in $\mathbb C$, and let $A$ ...
5
votes
2answers
307 views

Unit Ball of $\mathcal{l}_2$

Let $B(\mathcal{l}_2) :=\{x \in \mathcal{l}_2 : \|x \| \leq 1 \}$ and $S(\mathcal{l}_2) :=\{x \in \mathcal{l}_2 : \|x \| = 1 \}$ be the unit ball and the unit sphere of $\mathcal{l}_2$, respectively. ...
5
votes
1answer
82 views

Show that $\|e^{tA}\| \le e^{t\|\Re (A)\|}$

Let $X$ be a complex Hilbert space, and let $A$ be a bounded linear operator on $X$. Define the real part of $A$ to be $\Re(A)=\frac{1}{2}(A^{\star}+A)$, and define ...
5
votes
2answers
1k views

Tensor product of operators

We know that if $T_1$ is a linear bounded operator on a Hilbert space $H_1$ and $T_2$ is a linear bounded operator on a Hilbert space $H_2$ there exists a unique linear bounded operator $T$ on $H_1 ...
5
votes
2answers
885 views

Parallelogram law valid in banach spaces?

It is known that the parallelogram law $\|x-y\|^2+\|x+y\|^2 = 2(\|x\|^2 + \|y\|^2)$ holds in any space with an inner product (the norm being induced by this inner product). Is this formula valid in ...
5
votes
1answer
171 views

Convex subset of Hilbert space as intersection of closed balls

How does one prove that any closed, convex, and bounded subset of a Hilbert space is the intersection of the closed balls that contain it?
5
votes
1answer
537 views

Exhibiting open covers with no finite subcovers.

How do I exhibit an open cover of the closed unit ball of the following: (a) $X = \ell^2$ (b) $X=C[0,1]$ (c) $X= L^2[0,1]$ that has no finite subcover?
5
votes
1answer
162 views

Addition of Unbounded Operators

Let $H$ be a (separable complex) Hilbert space and let $A$ and $B$ be two densely-defined, maximally-defined linear operators on $H$ with domains $D(A)$ and $D(B)$ respectively. (By maximall-defined, ...
5
votes
1answer
319 views

Is this functional weakly continuous?

Take a $C^1$ function $G \colon \mathbb{R}\to \mathbb{R}$ and define a functional $$\mathcal{G}(u)=\int_0^1G(u(t))\, dt, \quad u \in H^1(0, 1).$$ We then have $\mathcal{G}\in C^1\big(H^1(0, 1)\to ...
5
votes
1answer
178 views

Proof involving strongly continuous semigroups.

Let $ (T(t))_{t \geq 0} $ be a $ C_{0} $-semigroup on a Hilbert space $ X $ with an infinitesimal generator $ A $, and let $ \rho \in (0,1) $. I want to prove that $ \displaystyle \sup_{t \geq 0} \| ...
5
votes
1answer
86 views

Nonseparable $L^2$ space built on a sigma finite measure space

Is it possible to have a nonseparable $L^2$ Hilbert space for which the underlying measure space is sigma finite? I appreciate any example but prefer one built on the Borel sigma algebra of some ...
5
votes
2answers
305 views

Does this statement about Hilbert spaces make any sense?

I have found this tweet about git and don't know what to make of it. I think it's written as a joke, but it could have been written in Chinese, and I'd understand ...
5
votes
3answers
154 views

Gram-Schmidt for uncountable sets?

I know that Gram Schmidt can be applied to countable linear independent sets on Hilbert spaces, but what happens if we apply it on uncountable sets? Obviously this process has to fail then (at least ...
5
votes
1answer
296 views

The sup norm on $C[0,1]$ is not equivalent to another one, induced by some inner product

Let $\mathrm{C}[0,1]$ be the space of continuous functions $[0,1]\rightarrow \mathbb{R}$ endowed with the norm $||x||_{\infty}=\mathrm{max}_{t\in [0,1]}|x(t)|$. It is easy to verify that this norm is ...
5
votes
2answers
1k views

Isomorphisms of inner-product spaces

I think I understand why all finite-dimensional vector spaces over a field $\mathbb{K}$ are isomorphic to $\mathbb{K}^n$. Any linear map $T: V \rightarrow W$ between finite-dimensional vector spaces ...
5
votes
2answers
63 views

Prob. 8, Sec. 3.5 in Erwin Kreyszig's Introductory Functoinal Anlaysis With Applications

Erwin Kreyszig's Introductory Functoinal Anlaysis With Applications Prob. 8, Sec. 3.5 $\DeclareMathOperator{\span}{span}$Let $(e_k)$ be an orthonormal sequence in a Hilbert space $H$, and let $M = ...
5
votes
1answer
171 views

Continuous linear image of closed, bounded, and convex set of a Hilbert Space is compact

Is my proof of this proposition correct ? And is this proposition well known? Proposition: Let $C$ be a closed, bounded, and convex set in a separable Hilbert space $H$. Let $L : H \to \mathbb{R}^n$ ...
5
votes
1answer
159 views

Show that a subspace of l2 is not complete

I would like to know if this exercise is correct. Let $\Bbb R^\infty=\{x:\Bbb N\rightarrow \Bbb R: \exists n \text{ such that}\quad x(k)=0 \quad \forall k\geq n\}$. Show that $(\Bbb R^\infty, \| ...
5
votes
1answer
99 views

Strong convergence of an “averaging” operator

Let $X$ be an Hilbert space and $S:X \rightarrow X$ be a bounded linear operator with $||S||=1 $ Define $$T_n= \frac{1}{n} \sum_{r=0}^{n-1} S^r$$ I want to show it converges strongly to some ...
5
votes
1answer
103 views

Duality mappings on finite-dimensional spaces

I have a few questions regarding some concepts in a book "nonlinear partial differential equations by Roubicek" I am studying. The following is from the text. "Let $V$ be a separable, reflexive ...
5
votes
1answer
432 views

Prove or disprove existence of a sequence converging weakly to $0$ in an infinite dim Hilbert space

This is a problem on an old analysis qual, the prompt is: "Prove or give a counter example: if $H$ is an infinite dimensional Hilbert space and $0$ is the zero vector in $H$, then there exists a ...
5
votes
1answer
419 views

Bounded operator and Compactness problem

Let $H$ be a Hilbert space with orthonormal basis $(e_{n})_{n\in\mathbb{N}}$. Furthermore, let $T\colon H\rightarrow C[a,b]$ be a bounded operator. a) Let $x\in [a,b]$. Show that there is a ...
5
votes
1answer
69 views

Space of Jordan curves

The space of square-integrable functions $f:[0,1]\rightarrow\mathbb{R}$ is well conceivable: it's essentially an $\infty$-dimensional Euclidean space (the Hilbert space $L^2$) with well interpretable ...
5
votes
1answer
495 views

Every Hilbert-Schmidt is an integral operator?

Let $(X,\mu)$ be a $\sigma$-finite measure space. If $K\in\mathcal{L}^2(X\times X,\mu\times\mu)$ then the map $A_K:\mathcal{L}^2(X,\mu)\to\mathcal{L}^2(X,\mu)$ defined by\begin{equation} ...
5
votes
1answer
688 views

Showing the sum of orthogonal projections with orthogonal ranges is also an orthogonal projection

Show that if $P$ and $Q$ are two orthogonal projections with orthogonal ranges, then $P+Q$ is also an orthogonal projection. First I need to show $(P+Q)^\ast = P+Q$. I am thinking that since ...
5
votes
2answers
564 views

Orthonormal basis in Hilbert space

I an reading a book about functional analysis and there is one thing i really don't understand. Let $\mathcal{H}$ be a Hilbert space. And $U \subset \mathcal{H}$ a closed subspace. Is it possible to ...
5
votes
3answers
3k views

How to prove that square-summable sequences form a Hilbert space?

Let $l^2$ be the set of sequences $x = (x_n)_{n\in\mathbb{N}}$ ($x_n \in \mathbb{C}$) such that $\sum_{k\in\mathbb{N}} \left|x_k\right|^2 < \infty$, how can I prove that $l^2$ is a Hilbert space ...
5
votes
1answer
50 views

Showing a certain subspace of Hilbert space is dense

Let H be the Hilbert space of square-summable sequences of reals. A few years ago I thought I had proved that the subspace Z of real sequences with only finitely many nonzero terms, such that they ...
5
votes
3answers
199 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 ...
5
votes
1answer
79 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 ...
5
votes
1answer
127 views

Adjoint of multiplication by $z$ in the Bergman space

I am learning Hilbert space theory from Halmos' "Introduction to Hilbert space and the theory of spectral multiplicity". While talking about understanding adjoints (p. 39), he calls special ...
5
votes
2answers
157 views

Does a symmetric operator on a Hilbert space have a symmetric adjoint?

Suppose we have a linear operator $T$, densely-defined on some Hilbert space. If $T$ is symmetric (i.e., $T^*$ extends $T$: notationally, $T\subseteq T^*$) does it follow that $T^*$ is also symmetric ...
5
votes
1answer
214 views

A baby version of the Stein-Cotlar almost-orthogonality lemma

The following is an exercise from Stein and Shakarchi's Real Analysis. Suppose $\{T_k\}$ is a collection of bounded operators on a Hilbert space $H$, each with norm at most $1$. Suppose also that ...
5
votes
1answer
79 views

Is $H^1(M) \subset L^2(M) \subset H^{-1}(M)$ a Hilbert triple for $M$ a manifold with boundary?

Is $H^1(M) \subset L^2(M) \subset H^{-1}(M)$ a Hilbert triple for $M$ a manifold with boundary? What smoothness is required of the boundary? I would be grateful for some references to this.
5
votes
2answers
583 views

Matrix Representation of Operators in Infinite Dimensional (Separable) Hilbert Spaces

Suppose we have a separable Hilbert space (thus with a countable basis) and that we to represent an operator in matrix form, i.e: $$A: H \rightarrow H \\ \; \; \; \; \; \;x \;\rightarrow \sum_{j \in ...
5
votes
2answers
517 views

Orthonormal basis for Sobolev Spaces

Sobolev spaces of order 2 are known to form a Hilbert space. Consider such a Sobolev space of (order 2) functions on the domain $f:\mathbb{R}\rightarrow \mathbb{R}$. What is an example for the basis ...
5
votes
3answers
850 views

Question about example of non-separable Hilbert space

I have come across the following example of a non-separable Hilbert space: Example 2.84. Let $I$ be a set, equipped with the discrete topology and the counting measure $\lambda_{\text{ count}}$ ...
5
votes
2answers
1k views

How to show a compact, closed-range operator on an infinite-dimensional Hilbert space has finite rank, without using the open-mapping theorem?

If $H$ is an $\infty$-dimensional Hilbert space and $T:H\to{H}$ is a compact operator with closed range, how do I show that $T$ has finite rank, without using the open-mapping theorem? (The ...
5
votes
2answers
173 views

$L^{2}$ functions

Let $f(x)$ be a continuous function for all $x\in \mathbb R$, such that $f\in L^{2}(\mathbb R)$ (i.e., $\int_{-\infty}^{\infty}|f(x)|^{2}dx<\infty$), and define $$f_{o}(x):=\sup_{|x-y|\leq ...
5
votes
1answer
816 views

Hilbert Schmidt integral operator

Hilbert-Schmidt Integral operators are usually defined from $H=L_2[a,b]$ into $H=L_2[a,b]$ as $$(Tf)(x) = \int_a^b K(x,y)f(y) dy,$$ provided that $K(x,y)$ is a Hilbert Schmidt kernel, namely ...
5
votes
1answer
153 views

Brownian motion, reproducing kernel Hilbert space, and the Laplace operator

Consider the standard Brownian motion on $[0,1]$: $$ dB_t, \; B_0 = 0, $$ defined on the probability space $(\Omega, P)$. It covariance function is $K(s,t) = \min \{s , t\}$ on $[0,1] \times ...
5
votes
1answer
132 views

Composition of projections has a fixed point in a Hilbert space

Let Let H be a Hilbert space with an inner product ⟨⋅,⋅⟩ : H×H→R, and induced norm $∥⋅∥ : H→R_+$ Let $C_1$ and $C_2$ be closed, convex, nonempty, disjoint subsets of $H$ with at least one of ...
5
votes
1answer
532 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$ ...