1
vote
1answer
35 views

Non-separable Hilbert spaces in duals

A topological space $X$ satisfies the countable chain condition if every family of pairwise disjoint open sets in $X$ is countable. I am looking for a reference to the following fact: Suppose that ...
2
votes
1answer
27 views

Kernel of the Extension of a Bounded Linear Operator

Suppose $T\colon E\to F$ is a bounded linear operator between Banach spaces. Moreover let $i\colon E\to E’$ be a dense, compact inclusion of $E$ into some other Banach space $E’$. Finally assume that ...
2
votes
0answers
27 views

difference between uniformly convex norms and strictly subadditive norms?

What is the difference between uniformly convex norms and strictly subadditive norms? why we need to define two above concept? how they help us to study Banach spaces? Is the norm induced by ...
2
votes
1answer
51 views

Maximal subspace on which an operator is bounded

Consider the Banach space $X=C[0,1]$ of real continuous function on $[0,1]$ equipped with the supremum norm. Consider the operator $A:D(A)\to X$, $Af=f'$ for each $f\in D(A)=C^1[0,1]$. We can see that ...
3
votes
2answers
68 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
1answer
72 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, \| ...
0
votes
2answers
47 views

Strongly continuous semigroup of operators which cannot be extended to a group

Let $X$ be a Banach space. We call a family of bounded operators $(T(t))_{t\in \mathbb{R}}$ a strongly continuous group if it satisfies the properties of the strongly continuous semigroup but for ...
1
vote
0answers
24 views

Helffer-Sjöstrand-Formula: Idea behind?

I have to present the Helffer-Sjöstrand-Formula. Now I'm wondering: Why does it include a factor $\chi(y\langle x\rangle^{-1})$ for some bump function $\chi$ and the chinese symbol ...
1
vote
2answers
57 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 ...
0
votes
2answers
53 views

ONB: Density Check?

How to show that $\{\sin{kx}:k\in\mathbb{N}\}$ for $\{f\in\mathcal{L}^2[0,\pi]:f(0)=f(\pi)=0\}$ is an ONB? (Clearly they are orthogonal to each other but is their span also dense?) What general ...
0
votes
1answer
15 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 ...
2
votes
1answer
49 views

Prove that this space is not Banach

Let $\Omega\subset\mathbb{R}^n$ be an open, bounded set with boundary $\partial\Omega$ of class $C^1$. $$\mathcal{A}:=\{u\in C^2(\bar\Omega):u=0\text{ on }\partial\Omega \}$$ endowed with the scalar ...
1
vote
1answer
28 views

Verification of conclusions regarding duality maps

I have two conclusions drawn from two results. I want to know how valid these two conclusions are. Firstly Consider the duality mapping(set-valued) $J:X \rightrightarrows X^{*}$ defined: $J(u) := \{ ...
1
vote
1answer
55 views

Operator: not closable!

Is there an operator between Banach spaces with the following properties: $$T:\mathcal{D}(T)\subseteq X\to Y:\text{ injective, dense range, continuously invertible, not closable!}$$ (Note that the ...
1
vote
1answer
77 views

What is the dual space in the strong operator topology?

Let $X$ be a Banach space, the strong operator topology on the space of bounded linear operators $\mathcal{B}(X)$ is defined by the family of continuous semi-norms $A\to\|Ax\|$, $x\in X$. What is the ...
1
vote
1answer
57 views

Creation and Annihilation Operators: Norm Estimate

Given the Fock space: $$\mathcal{F}(\mathcal{h}):=\bigoplus_0^\infty\mathcal{h}^{n}\text{ with } \mathcal{h}^{n}:=\bigotimes_1^n \mathcal{h},\mathcal{h}^0:=\mathbb{C}$$ Define the creation and ...
0
votes
1answer
47 views

Positive Operator: Norm Estimate

In class we encountered the statement: $$H\geq C\mathrm{Id},C>0\Rightarrow\|\mathrm{e}^{-\beta H}\|<1,\beta>0$$ How does one prove this? Moreover what about the weakened version: $$H\geq ...
2
votes
1answer
78 views

Dual of $div$ on spaces where the tangential value is fixed

Say $\Omega$ is a domain in $\mathbb R^3$ with a smooth boundary $\Gamma$. Consider the spaces $$ H_{n,0}=\{v\in H^1(\Omega):n\cdot v \bigr |_{\Gamma} = 0\} $$ and $$ H_{t,0}=\{v\in ...
2
votes
1answer
44 views

Weak and Norm convergence in Banach Space

I know (and have proven) that in a Hilbert space, $\mathscr{H}$, if a sequence $z_i\overset{w}{\to}z$ and $\|z_i\|\to\|z\|$, then $\|z_i-z\|\to0$. I'm trying to find a counterexample in a Banach ...
0
votes
2answers
23 views

Bounding the distance between $L_\infty$ and $L_2$ for a continuous function

Consider a set of continuous (or even differentiable) functions $f_i(x)$, all defined for $x\in [a,b]$ for $i=1\ldots,N$. Can one define a uniform constant $c$ (which may depend on $f$) such that ...
1
vote
1answer
40 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 ...
2
votes
1answer
78 views

Two questions on Banach-valued spaces of integrable functions

Let $V$ be a Banach space with dual $V'$ and suppose that $V$ is included into the Hilbert space $H$ so that the inclusion is continuous and dense. Then after identification $H = H'%$ we have $V ...
-1
votes
0answers
28 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?
2
votes
1answer
52 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 ...
1
vote
0answers
25 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
66 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 ...
5
votes
1answer
66 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
27 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
27 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
138 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.
1
vote
1answer
75 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 ...
5
votes
1answer
161 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
44 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 ...
1
vote
0answers
56 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
60 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 ...
4
votes
0answers
85 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 ...
2
votes
1answer
58 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
89 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 ...
4
votes
1answer
36 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
109 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
40 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
43 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
197 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
51 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
103 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
224 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 ...
5
votes
1answer
195 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 ...
2
votes
2answers
383 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
74 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
159 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 ...