2
votes
1answer
32 views

Dual of Hilbert space dense in dual of Reflexive space.

I don't see how to solve this problem which I think should be easy: Let Y be a reflexive space. Assume $Y$ is continuously embedded in a Hilbert space $H$ and $Y$ is dense in $H$. Show that $H^*$ is ...
0
votes
0answers
20 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 ...
2
votes
2answers
54 views

Has this theorem (on existence of inverse) an analogous for unbounded operators?

Let $S,T:X\to X$ be bounded linear operators, where $X$ is a Banach space. It's a consequence of the Banach Fixed Point Theorem that if $T$ is invertible and $\|T-S\|\|T^{-1}\|<1$ than $S$ is ...
4
votes
1answer
42 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 ...
2
votes
1answer
22 views

Proving an operator $D: L^2[0,1]\rightarrow C'$, $Df(t)=\int^t_0 f(s) ds$ is unitary

Let $C'\subseteq C[0,1]$ be the space of all absolutely continuous function such that $f(0)=0$ and $f' \in L^2[0,1]$. Define an inner product on $C'$ as $\langle f,g \rangle = \int^1_0 f'(t)g'(t)dt$. ...
0
votes
0answers
21 views

Abstract Wiener space and integration related to a trace class operator

Suppose I have a trace class operator $A$ of a Hilbert space $H$. Also suppose I have an abstract Wiener space $(H,B)$. Then, $\langle Ax, x \rangle$ is defined almost everywhere in $B$ with respect ...
0
votes
3answers
93 views

A Banach space that is not a Hilbert space

Can someone give me an example of a Banach space that is not a Hilbert space? I can't think of any because I don't know how to show one space that can not have inner product structure.
0
votes
1answer
44 views

If every closed subspace of a Banach space has a closed orthogonal complement, then it is a Hilbert space.

My professor mentioned this fact in class. FACT: If every closed subspace of a Banach space has a closed orthogonal complement, then it is a Hilbert space. He mentioned that he had never seen the ...
4
votes
1answer
92 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 ...
0
votes
1answer
28 views

On the isomorphism between bounded sesquilinear forms and bounded operators between two Hilbert spaces

Let $H$ and $K$ be two Hilbert spaces. Let $S(H,K)$ be the vector space of bounded sesquilinear forms $u:H\otimes \overline{K}\to\mathbb{C}$, and let $B(H,K)$ be bounded linear operators from $H$ to ...
0
votes
0answers
51 views

Functional analysis in Banach space and Hilbert space

I would like to ask some questions. In Hilbert space, the inner product & norm are defined, so the orthogonal property, Pythagoras theorem and the adjoint operator can be defined. => It's clear. ...
1
vote
0answers
32 views

Difference between unconditional and absolute convergence in Banach spaces

One can show that in any finite-dimensional normed vector space absolute convergence is equivalent to unconditional convergence. It's not hard to show that if we have an orthonormal sequence in ...
2
votes
1answer
47 views

On the completeness of inner product spaces.

Let $H$ be a Hilbert space, equipped with an inner product $(\cdot,\cdot)_1$ and norm $\|\cdot\|_1$ induced by it. Let $(\cdot,\cdot)_2$ be other inner product on $H$ and $\|\cdot\|_2$ the norm ...
3
votes
0answers
66 views

Ultraweak topology on Banach spaces

If $X$ and $Y$ are Banach spaces with $Y$ reflexive, then the space $\mathcal{B}(X,Y)$ of bounded operators from $X$ to $Y$ is the dual of the projective tensor product of $X$ and $Y^{*}$. As in the ...
1
vote
1answer
41 views

The trace class operators are the dual of the compact operators

I know that the map from the trace class operators $L_1(H)$ to the dual of the compact operators $K'(H)$ given by $A \mapsto tr( \cdot A)$ is an isometric isomorphism. Linearity is obvious by the ...
2
votes
2answers
67 views

Is $H^2\cap H_0^1$ equipped with the norm $\|f'\|_{L^2}$ complete?

Let $-\infty<a<b<+\infty$. Consider the norms $\|\cdot\|_{L^2}$, $\|\cdot\|_0$ and $\|\cdot\|_{H^1}$ defined on suitable spaces and given by ...
3
votes
0answers
27 views

Is this a correct argument for why this space of sequences is a Hilbert space?

I am assigned the following problem (a piece of Exercise 6.5 in Brezis's book): Let $(\lambda_n)$ be a sequence of positive numbers such that $\lim_{n\to\infty}\lambda_n=+\infty$. Let $V$ be the ...
1
vote
1answer
63 views

The Trace Class Operators Form a Banach Space

I want examining the trace class operators $L_1(H)$ of a separable Hilbert space $H$ with the norm $||A||_1=\sum\limits^{\infty}_{n=1}\lambda_n$ where $\lambda_n$ are the eigenvalues of ...
2
votes
1answer
34 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 ...
1
vote
0answers
35 views

$\gamma-$radonifying operators.

I am reading about $\gamma$-radonifying operators, and came across 2 similar definitions. And I hoped to understand why they are equivalent. Let $H$ be a seperable real Hilbertspace, $E$ banach ...
3
votes
3answers
130 views

When do inner products of weakly convergent subsequences converge?

If we have 2 weakly convergent subsequences in $L^2(U)$ (for $U$ some bounded open domain with smooth boundary), $u_k\rightharpoonup u$ and $v_k\rightharpoonup v$, under which conditions do we have ...
2
votes
1answer
44 views

compute the norm of a compact operator on $l^2$

Let $a_j\to 0$ and let $T:l^2 \to l^2$ be the operator defined by $ T(s_1,s_2,s_3,...)=(0,a_1s_1,a_2s_2,...)$. Compute the operator norm $||T||$. The hint of the problem is prove that $T$ is a ...
0
votes
2answers
69 views

prove that this operator is not compact

Let $g\in C[0,1]$ be a continuous function and $g\ne 0$. Let $G:C[0,1]\to C[0,1]$ the operator defined by: $G(f)(x)=f(x)g(x)$. I proved that the operator is linear and continuous. I want to prove that ...
1
vote
3answers
205 views

From analysis of realvalued functions to analysis of Hilbert/Banach-valued functions

Does anybody know of a text (doesn't matter which form: article, book etc. - anything's welcome) in which it is described which result from real analysis also hold for Hilbert/Banach spaces ? I'm ...
2
votes
2answers
293 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 ...
1
vote
1answer
68 views

Characterization of Hilbert spaces [duplicate]

Let $X$ be a Banach space for which there exists a constant $\beta<\infty$ such that for every finite-dimensional subspace $B$ of $X$ , $d(B,\ell_2^n)\le\beta$ (where $\dim B=n$). Then $X$ is ...
5
votes
0answers
151 views

Don't understand this proof of equivalence of weak solutions to PDE

I'm trying to understand the proof that (c) implies (a) here in the following proposition (here, $\mathcal{V} = L^2(0,T;V)$). See the very last line in the image for that part: $$$$ $$$$ I give here ...
3
votes
1answer
79 views

Questions about $B(H)$ and $B(H)/K(H)$ as Banach space

I am trying to investigate the relation between Uniformly Convexity and existence of Schauder Basis for a Banach space. I read in a Handbook article that $B(H)$ (the algebra of all bounded operators ...
7
votes
2answers
222 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 ...
5
votes
3answers
169 views

Sequences are Cauchy depending on the norm?

Assume that we have two Banach spaces $B_1, B_2$ with their underlying sets being identical. Is it possible that a Cauchy sequence in one of the spaces would fail to be Cauchy in the other? I am ...
1
vote
2answers
83 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 ...
2
votes
1answer
58 views

Does a continuous embedding preserve gaps between subspaces?

I have a separable, reflexive Banach space $(V,\|\cdot\|)$ that is continuously and densely embedded in a Hilbert space $(H,|\cdot|)$. This means, there is a bounded linear injection map $j\colon V ...
2
votes
1answer
88 views

What's the connection between Banach/Hilbert spaces and tools like power series, Fourier transforms etc.

I've learned, abstractly, about Banach and Hilbert spaces, and more concretely about $l^p$ and $L^p$ spaces. I also understand these ideas have something to do with a variety of tools that are useful ...
0
votes
1answer
53 views

Need explanation of problem in Temam (convergence, weak derivatives)

Let $V \subset H \subset V$ be Hilbert triple. We have $u_m$ is infinite differentiable from $[0,T]$ to $V$. Suppose $u_m \to u$ in $L^2(0,T;V)$ and $u_m' \to u'$ in $L^2(0,T;V^*)$ Suppose that it ...
1
vote
1answer
46 views

Does a cofinite dimensional subspace of a subspace remain cofinite dimensional upon taking closures?

Let H be a separable, infinite dimensional Hilbert space. Let X and Y be (not necessarily closed) subspaces such that X is a cofinite dimensional subspace of Y. Let X′ be the closure of X and Y′ the ...
2
votes
1answer
131 views

Is this set dense in $H^1(\Omega)?$

Is $$V_1 = \{v \in H^1(\Omega) \;:\;f(v) = 0 \text{ on } \partial \Omega\}$$ dense in $H^1(\Omega)$ with the same norm as $H^1(\Omega)?$ Here $f$ is some linear functional so that $V_1$ is also ...
1
vote
1answer
55 views

A basic result about operators on Hilbert space.

I am studying following result. Let $H$ and $K$ be Hilbert spaces and an operator $A \in B(H, K)$, which has closed range. The spaces $H$ and $K$ have the following orthogonal decompositions: $H = ...
0
votes
1answer
52 views

Hilbert, Banach and isomorphism

I want to show that if linear mapping $L:B_1\rightarrow B_2$ is isomorphism of Banach space and $\|L(x)\|_{B_1} =\|x\|_{B_2} $ (surjective and isometry) so it consist that $L$ is isomorphism of ...
9
votes
1answer
259 views

An approximate eigenvalue for $ T \in B(X) $.

This is a problem from Conway’s Functional Analysis: Definition An approximate eigenvalue for $ T \in B(X) $ is a scalar $ \lambda $ such that there is a sequence of unit vectors $ x_{n} \in X $ ...
0
votes
2answers
90 views

isomorphic properties

I need help with this proof: When $L$ is a isomorphic (bijection) linear mapping between two Banach spaces , in the case of both the spaces are Hilbert when using $L$, is it right to say that the ...
4
votes
2answers
128 views

Is duality an exact functor on Banach spaces or Hilbert spaces?

Let $V,V',V''$ and $W$ be vector spaces over $k$. Then, it is known that $\operatorname{Hom}(\cdot,V)$ is a contravariant exact functor, i.e. for each exact sequence $0\to V'\to V\to V'' \to 0$, and ...
1
vote
2answers
278 views

Isomorphism of Banach space

If $T:H\to B$ is isomorphism of Banach spaces and $H$ is Hilbert, must $B$ necessarily be Hilbert?
5
votes
2answers
436 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 ...
4
votes
1answer
66 views

Smallness/ Rigidity of $\kappa(\mathcal{H})$ without using minimal projections?

Let $\mathcal{H}$ be a Hilbert space and $\kappa(\mathcal{H})$ the $C^*$-algebra of compact operators on $\mathcal{H}$. By smallness/ rigidity of $\kappa(\mathcal{H})$ I am referring to the following ...
1
vote
2answers
585 views

Hilbert Space is reflexive

A normed space $X$ is reflexive iff $X^{**}=\{g_x:x\in X\}$ where $g_x$ is bounded linear functional on $X^*$ defined by $g_x(f)=f(x)$ for any $f\in X^*$. Let $X$ be a Hilbert space, would you help ...
2
votes
2answers
97 views

If $Lat(\mathcal{A})$ is trivial then $\mathcal{A}'$ consists of scalars.

This is related to Exercise 3 of Section 2.5 of Arveson's book on spectral theory. For those who are interested, we were asked to show the following $\mathcal{A}$ is a Banach *-algebra. ...
6
votes
1answer
409 views

A few questions about the Hilbert triple/Gelfand triple

I am attempting to fully understand Hilbert triples by reading Brezis' Function Analysis book. Consider $V \subset H \subset V^*$, where $V$ is Banach and $H$ is Hilbert. $V$ is dense in $H$. ...
2
votes
0answers
150 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 ...
4
votes
1answer
185 views

Show that if the Riesz map is surjective on $H$, then $H$ is a Hilbert space

Let $H$ be a vector space equipped with an inner product $(\cdot, \cdot)$ and $f:H\to H',\ f(x)=(\cdot,x)$ surjective. Now, why $H$ is a Hilbert space? The other direction is clear by Riesz' ...
2
votes
1answer
72 views

Diagonal operators on non-separable Hilbert space

Let $H$ be a non-separable Hilbert space with an orthonormal basis $(e_\alpha)_{\alpha<\omega_1}$. To each $f=(f_\alpha)\in c_0(\omega_1)$ associate an operator on $H$ defined by $T_f ...