Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [reflexive-space]

In functional analysis, a reflexive space is a Banach space (or more generally a locally convex topological vector space) that coincides with the continuous dual of its continuous dual space, both as linear space and as topological space.

1
vote
0answers
13 views

Characterization of Reflexive Subspaces of finite signed-measures

I'm looking for a characterization of the reflexive subspaces of the space of finite measures on a measurable space $(\Omega,\mathcal{F})$. Maybe something, more informative than the unit ball is ...
0
votes
0answers
14 views

surjectivity of dual operator congruence implies reflexivity

I tried to prove the following: Let $X,Y$ be normed spaces and $\Phi:\mathcal{L}(X,Y)\to\mathcal{L}(Y^*,X^*)$, $\Phi(A)=A^*$ is surjective. Then $Y$ is reflexive. Here $X^*$ $(A^*)$ denotes the dual ...
2
votes
2answers
38 views

Show that a Banach space $X$ is not reflexive if a closed subspace of its dual separates the points of $X$

Given a Banach space $X$ and a closed subspace $Z$ of $X^*$ such that $Z \neq X^*$, suppose that $Z$ separates the points of $X$, I mean: $x \in X, \, \, \, x^*(x) = 0 \, \, \forall x^* \in Z \...
0
votes
1answer
33 views

Point-wise convergence but not weakly

Let $X$ be a reflexive Banach space and $x_n\in C(0,\tau;X)$ be a bounded sequence. We know that a subsequence of $x_n$, denote it by the same symbol, converges weakly to $x$ in $L^2(0,\tau;X)$. Can ...
1
vote
1answer
20 views

infinite dimensional reflexive subspace of $C[0,1]$

We know that $C[0,1]$, the space of functions continuous on interval $[0,1]$ equipped with maximum norm is not reflexive. Is there any infinite dimensional reflexive subspace of $C[0,1]$ or every ...
1
vote
2answers
25 views

Is $C^1([a,b], \mathbb{R}^n)$ a reflexive Banach space?

I want to prove or disprove that $C^1([a,b], \mathbb{R}^n)$ equipped with the norm $||x||=\underset{t\in[a,b]}{\sup}|x(t)|_{\mathbb{R}^n}+\underset{t\in[a,b]}{\sup}|\dot{x}(t)|_{\mathbb{R}^n}$ is a ...
0
votes
1answer
17 views

Giving a proof to the weak compactness of the unity ball in a reflexive normed space

So, I am trying to prove that if $X$ is a normed and reflexive space, its unity ball, that is $B$=$\lbrace x\in X : \parallel x\parallel =1\rbrace$, is weakly compact. For that matter, I have already ...
3
votes
2answers
35 views

Question concerning specific part of proof that the dual of $L^p$ is $L^q$ where $p$ and $q$ are Hölder conjugates and $p<2$.

I want to show that if $p<2$ then the dual of $L^p([0,1])$ is $L^q([0,1])$ where $\frac{1}{p}+\frac{1}{q} = 1$ without referring to the fact that $L^p([0,1])$ is uniformly convex. My question ...
0
votes
0answers
13 views

Example: $F(t)$ is strongly continuous on $X$ but $F^*(t)$ is not

Let $X$ be a reflexive Banach space. I am looking for examples of the strongly continuous operators $F(t):t\mapsto \mathcal{L}(X)$ such their adjoint on $X$ for every $t$ is not a strongly continuous ...
4
votes
0answers
54 views

On reflexivity properties of the Schwartz space

Consider $\mathscr{S}$ the Schwartz space of rapidly decreasing complex smooth functions over $\mathbb{R}^{d}$, equipped with its usual metric topology, and $\mathscr{S}'$ its topological dual (the ...
5
votes
2answers
111 views

Every sequence has a weakly convergent subsequence with limit

Let $\mathbf{E}$ be a reflexive space and $\mathbf{A ⊂ E}$ be bounded and weakly closed. Show that $\mathbf{A}$ is sequentially compact, i.e., every sequence in $\mathbf{A}$ has a weakly convergent ...
8
votes
1answer
97 views

Compactness criterion for operator between reflexive Banach spaces

I found (without any proof) the following proposition: Let $T \in \mathcal{L}(X,Y)$ be a linear continuous operator between two reflexive Banach spaces $X,Y$, then $T$ is compact if and only if for ...
3
votes
1answer
60 views

Bounded sequence has Cauchy subsequence w.r.t. $ (x|y)_0:=\sum^\infty_{n=1} 2^{-n}\phi_n(x)\phi_n(y).$

Let $X$ be a separable reflexive real Banach space and let $(\phi_n)$ be a dense sequence in $$\{ \phi\in X'\,|\,\|\phi\|\leq 1 \}.$$ Consider in $X$ the scalar product $( \cdot| \cdot)_0 $ defined by ...
0
votes
1answer
39 views

How to show a normed space $X$ is reflexive if the weak topology and weak* topology on $X^*$ are equal?

Let $X$ be a normed space such that the weak topology and weak* topology on $X^*$ are the same. I want to show $X$ is reflexive. My attempt is: Since we can use $\sigma(X^*,\widehat{X})$ to denote ...
0
votes
0answers
49 views

A direct example on $X^*$ is reflexive but the weak topology and weak* topology on $X^*$ are not equal for a normed space $X$.

I asked this question Example on $X^*$ is reflexive but $\sigma(X^*,X)\neq\sigma(X^*,X^{**})$ for a normed space $X$. before. And the answer is to use $X$ is reflexive iff $\sigma(X^*,X)=\sigma(X^*,X^{...
3
votes
1answer
81 views

Example on $X^*$ is reflexive but $\sigma(X^*,X)\neq\sigma(X^*,X^{**})$ for a normed space $X$.

I just learned this theorem: Theorem: Let $X$ be a Banach space. Then the following statements are equivalent. (a) $X$ is reflexive. (b) $X^*$ is reflexive. (c) $\sigma(X^*,X)=\sigma(X^*,X^{**})$. ...
1
vote
3answers
91 views

How to get $\ell_1$ is not reflexive from $c_0^*$ is not reflexive?

I want to show $\ell_1$ is not reflexive. And I have already shown that $c_0^*$ is not reflexive. And I know there is an isometric isomorphism between $\ell_1$ and $c_0^*$. How to use the isometric ...
0
votes
0answers
29 views

Is the Unit ball of $X^{**} $ weak*- sequentially compact?

Am in the middle of a problem and i have the following conditions : Let $X$ be a reflexive Banach space with Schauder basis $(e_n)_{n=1}^{\infty}$, i have a sequence $x_n^{**} \in B_{X^{**}}\biggl(...
3
votes
1answer
75 views

My attempt to show the canonical embedding $c_0\rightarrow c_0^{**}$ is not surjective?

I want to show $c_0$ is not reflexive by showing the canonical embedding $c_0\rightarrow c_0^{**}$ is not surjective. I saw a reference said: since the inclusion map $c_0\rightarrow\ell_\infty$ is ...
0
votes
0answers
10 views

can a real interpolation space $(X, Y)_{\theta, 1}$ be reflexive?

the question is in the title. I cannot imagine any situation where $(X, Y)_{\theta, 1}$ is reflexive (even if $X, Y$ are, say, Hilbert spaces), simply due to the $L_1$ norm used to construct the norm. ...
2
votes
2answers
37 views

Non-Reflexivity of $L^1$ by finding a particular operator in the dual space?

Figured I might be able to come up with an interesting way to show that $L^1$ is non reflexive by finding an operator in the dual space that isn't bounded in the unit ball in $L^1$ and using some ...
3
votes
0answers
41 views

Weak and Weak* convergences implying reflexivity

Let $X$ be a Banach space. Suppose that for any sequence of functionals $(\phi_n) \subseteq X^*$ we have that $\phi_n$ converges weakly to some $\phi \in X^*$ if and only if $\phi_n$ converges weakly* ...
0
votes
2answers
168 views

Weak convergence in a reflexive, separable and infinite Banach space.

Let $Y$ be a infinite Banach space and $X$ be a reflexive, separable and infinite Banach space. Further let $T ∈\mathcal{L}(X,Y )$ satisies that $$\|Tx_n − Tx\|_{Y} \to 0,~~~~~as~~n\to\infty$$ , as $n →...
2
votes
1answer
210 views

Prove $L^p$ is reflexive for $1<p<\infty$ by using Riesz representation theorem

By definition, $X$ is reflexive if canonical injection $J:E \to E^{**}$ is surjective, where $\langle Jx,f\rangle_{E^{**},E^*}=\langle f,x\rangle_{E^*,E},~\forall x \in E,~\forall f \in E^*.$ In ...
4
votes
2answers
166 views

For $f$ in dual space, there exists $x$ with norm 1 and $f(x)=\|f\|$ if space is reflexive (and nontrivial)

Let $X\ne\{0\}$ be a reflexive space and let $f\in X^*$, where $X^*$ is the dual of $X$. I want to know: in general, does there exist an $x\in X$ with $\|x\|=1$, and $f(x)=\|f\|$, where $\|f\|$ is ...
1
vote
1answer
110 views

Best approximation in a reflexive normed space

Let $E$ be a reflexive normed space and let $\emptyset\neq K\subseteq E$ closed and convex. Show that then exists for every $x\in E$ a "best approximation" in $K$. Therefore a $y\in K$ with $\|x-y\|=d(...
3
votes
2answers
360 views

Reflexivity of intersection of two $L^p$ space

Q:Prove that the linear space $L^{p_1}\cap L^{p_2}$ $(p_1\neq p_2)$ with norm defined by $$\|f\|_{L^{p_1}\cap L^{p_2}}=\|f\|_{L^{p_1}}+\|f\|_{L^{p_2}}$$ is a reflexive Banach space. I've tried ...
1
vote
1answer
254 views

Reflexive but not separable space

I'm trying to find an example of normed vector space that is reflexive but not separable. (Separable but not reflexive is easy, for example $L^1$).