0
votes
0answers
16 views

Minimization of an evaluation under the weak* topology

I'm self studying (for fun) the book "Functional Analysis, Calculus of Variations and Optimal Control" (by Clarke), and I'd appreciate some feedback for my proposed solution for an exercise from the ...
2
votes
1answer
49 views

Series in a space which is not complete

Let $X$ be a normed vector space and $\left\lbrace x_n \right\rbrace_{n \in \mathbb{N}} \in X^{\mathbb{N}}$ with $$\sum_{n=1}^{\infty} \|x_n\| < \infty \wedge \sum_{n=1}^{\infty} x_n \notin X,$$ ...
0
votes
2answers
49 views

Is my proof correct? Finite-dimensional normed vector spaces

I'm trying to prove that every finite-dimensional normed space is topological isomorphic to $\mathbb{R}^n$. Let $(E,\|\cdot\|_E)$ such that $dimE=n$ and let $$ T:\mathbb{R}^n\to E\\ x\mapsto ...
0
votes
1answer
27 views

Continuity of a map to a Frechet space

Let $(A,\| \cdot \|)$ be a normed space and $B$ be a Frechet space equipped with a family $\{ p_k \}_{k \in \mathbb{N}}$ of seminorms. Let $\phi: A \to B$ be a linear transformation satisfying the ...
1
vote
0answers
29 views

Weakly closed convex set and norm convergent

Let $X$ be a normed space and let $\{x_n\}$ be a sequence in $X$ such that $x_n\to x$ weakly. Show that there is a sequence $\{y_n\}$ such that $y_n\in \operatorname{co}\{x_1,...,x_n\}$ and ...
2
votes
1answer
48 views

Implying a positive definite operator

If we are given that $A:V \rightarrow V$ is an operator where $V$ is a real Hilbert space. If we are given that $A$ is bounded, strictly positive $\big(\langle Au,u \rangle > 0$ for all $u \neq ...
1
vote
1answer
42 views

Finite-dimensional subspace normed vector space is closed

I know that probably this question has already been answered, but I'd like to present my attempt of solution. Let $(E,\|\cdot\|)$ be a normed vector space and let $F\subseteq E$ be a ...
2
votes
1answer
58 views

How can I prove that $f$ is continuous at $0$?

Let $E$ and $F$ linear normed spaces, and consider a linear function $f:E\to F$ which satisfies for all $(x_n)\in E^{\mathbb{N}}$ such that $x_n\to 0$ then $f(x_n)$ is bounded in $F$. Then I have to ...
4
votes
1answer
50 views

Surjection of norms

Let $V$ be an infinite dimensional $\mathbb{C}$ (or $\mathbb{R}$) vector space. Suppose there exists two norms on $V$ such that \begin{equation*} \| \cdot\|_1 \leq \| \cdot \|_2. \end{equation*} Is ...
1
vote
1answer
35 views

Exists $l\in X^*$ such that $\|l\|=1, l|_Y=0$ and $l(x_0)=\operatorname{dist}(x_0, Y)$?

Let $(X, \|.\|)$ be a normed space and $Y\subsetneq X$. How can you prove that for $x_0 \in X\setminus Y$ there exists $l\in X^*$ such that $\|l\|=1$, $l|_Y=0$ and $l(x_0)=\operatorname{dist}(x_0, Y)$ ...
1
vote
1answer
39 views

The continuous dual of the reals

I just have a few questions involving the continuous dual of $\mathbb{R}^{N}$. We know that the dual $(\mathbb{R}^{N})^{*}$ of $\mathbb{R}^{N}$ is the space of all linear forms $$a: \mathbb{R}^{N} ...
0
votes
1answer
35 views

Theorems on continuous embedding

Let $X,Y$ be two normed spaces such that $X\hookrightarrow Y$. Show the following: 1) If $A\subset X$ is closed in $Y$ then $A$ is closed in $X$; 2) If $X, Y$ are Banach spaces if $x_n$ tends ...
0
votes
0answers
29 views

Weakly compact closed balls in reflexive space

If it is given that $X$ is a reflexive Banach space. Let $K \subset X$ be a norm closed and norm bounded convex set. I want to show that $K$ is weakly compact. I have the following idea but I am not ...
3
votes
0answers
105 views

Asymptotically isometric copy of $\ell_1$

A Banach space $X$ is said to contain Asymptotically isometric copy of $\ell_1$ if there is a null sequence$(\rho_n)_{n=1}^{\infty}$ in $(0,1)$ and a sequence$(x_n)_{n=1}^{\infty}$ in $X$ so that ...
1
vote
1answer
33 views

Convergence of a sequence of unit vectors in a Hilbert space

Let $E$ be a vector space (over $\mathbb{R}$) with a positive definite hermitian form and let $\{x_{n}\}$ ($x_{n} \not= 0$) be a sequence converging to $x$ in the $L^{2}$ norm ...
1
vote
0answers
28 views

Cartesian product of reflexive spaces

Given $(E,\|\|_E),(F,\|\|_F)$ reflexive normed vector spaces. I have to prove that also $(E\times F,\|\|_{E\times F})$ is reflexive where $\|\|_{E\times F}$ is the product norm. What I know is that ...
0
votes
1answer
24 views

difference of Cauchy sequences is Cauchy

Let $X$ be a normed space and let $(x_n)$ and $(y_n)$ be Cauchy sequences on $X$. Show that $z_n=\mid\mid x_n-y_n\mid\mid$ is also a Cauchy sequence on $\mathbb{R}.$ My answer: $ | z_n-z_m | = | \ \ ...
0
votes
1answer
30 views

The modulus of smoothness of $c_0$ by an equivalent norm

Let $(X,\|\cdot\|)$ be a Banach space. For $t>0$, the modulus of smoothness of $\|\cdot\|$ is defined by $\rho_X(t)=\sup\left\{\dfrac{\|x+ty\|+\|x−ty\|}{2}−1:x,y\in S_X\right\}$. We define an ...
1
vote
1answer
30 views

the modulus of smoothness of Hilbert space

Let $(X, ||.||)$ be a Banach space. For $t>0$, the modulus of smoothness of $||.||$ is defined by $$\rho_X(t)=\sup\left\{\frac{||x+ty||+||x-ty||}{2}-1: x,y\in S_X\right\}.$$ Ican easily calculate ...
1
vote
1answer
52 views

Is continuous extension on dense subset an isometry

If we have that $X \subset V$ is dense linear subspace. Where $V$ is normed space. I can show that for any $f \in X^{*}$, there exists a unique extension $\bar{f}$. I want to know if it can be shown ...
0
votes
1answer
34 views

Existence of nontrivial bounded linear operator?

Are there two normed spaces such that there is no nontrivial bounded linear operator between them: $$\nexists T:X\to Y: T\text{ nontrivial, linear and bounded}$$
0
votes
1answer
68 views

Equivalence of norms in finite-dimensional spaces

Assume we have a separable, reflexive Banach space $X$ such that $\{e_{i}\}$ is a basis. Let $X_{n} = \text{span}\{e_{1},\ldots,e_{n}\}$ be finite-dimensional subspaces where we define members ...
2
votes
0answers
25 views

extension theorems on normed spaces

I know that there are a number of extension theorems, Tietze's extension theorem, Hahn-Banach extension and so on.. I want to know if there is an extension theorem which guarantees that if say $X$ is ...
0
votes
1answer
32 views

Some questions about subspaces in Banach spaces

I just have a few question about some things in Banach spaces. Let $X$ be a separable, reflexive Banach space with basis $\{e_{i}\}$. Let $X_{n} = \text{span}\{e_{1},...,e_{n}\}$, then consider the ...
-1
votes
1answer
43 views

Norm Space verification

For each of the following decide whether the suggested formula defines a norm on the indicated space. You may assume that $||f||_1=\int_0^1 |f(t)| dt$ does give a norm on the space of all continuous ...
0
votes
0answers
37 views

Convergent sequences in normed vector spaces

Consider a normed vector space $X$. I have a couple of questions regarding convergent sequences and subspaces of $X$(topological subspaces, not necessarily linear subspaces). Let $W$ be a topological ...
2
votes
0answers
44 views

relation between of uniformly rotund in every direction and uniformly rotund and locally uniformly rotund

The norm of a Banach space $X$ is said to be uniformly rotund in every direction if $$\lim_{n→∞}\|x_n−y_n\|=0$$ whenever $$x_n,y_n∈SX$$ are such that $$\lim_{n→∞}\|x_n+y_n\|=2$$ and there is a $z∈X$ ...
0
votes
0answers
52 views

Complete Normed Space => Uncountable Hamel basis not by Baire

I need to show that a complete normed space X has no countable Hamel basis. One possibility is to with Baire's theorem. I, however, try to give an explicit sequence, namely: For a contradition, let ...
2
votes
0answers
118 views

Convex subsets, Normed spaces, Separating hyperplane

I'm trying to understand the proof of a theorem taken from a textbook. Theorem: If $S_1,S_2$ are disjoint non-empty convex subsets of a real vector space $X$ (which may be infinite dimensional) then ...
0
votes
1answer
43 views

What is the norm of this linear functional?

Let $X = C[0,1]$ be the space of continuous functions with the max norm. Then define the linear functional; $$f(x) = \int_0^1 x(t)dt - x(1/2)$$ Then is the norm of this operator 1 or 0? I'm a little ...
0
votes
0answers
34 views

geometry interpretation of uniformly rotund in every direction

The norm of a Banach space $X$ is said to be uniformly rotund in every direction if $\lim_{n\to\infty} ||x_n-y_n||=0$ whenever $x_n, y_n \in S_X$ are such that $\lim_{n\to\infty} ||x_n+y_n||=2$ and ...
1
vote
1answer
54 views

Weak convergence on Banach space

Let $(X,|.|)$ be a Banach space, and $Y$ is a linear subspace of $X$ which is dense in $X$. Now if we have another norm $|.|_Y$ in $Y$ which is comparable to $|.|$ by $$|y|\leq C |y|_Y, \ \ \ \forall ...
4
votes
3answers
90 views

Showing that a sequence converges in norm

I am trying to prove the following: Let $X$ be a normed linear space satisfying the property: $\forall \left\{x_n\right\}, \left\{y_n\right\} \subseteq X $, we have $\|x_n\|=\|y_n\|=1, ...
2
votes
1answer
46 views

Equivalence of norms given continuous identity

It is known that $\parallel \; \parallel_{1}$ & $\parallel \; \parallel_{2}$ are equivalent norms over $X$ if there are $A,B>0$ such that $A\parallel x \parallel_{1} \leq \parallel x ...
3
votes
1answer
33 views

Does completing a normed space commute with taking quotients?

Let $X$ be a normed vector space and $Y \subset X$ a closed subspace. We consider the quotient $X / Y$ and equip it with the quotient norm. Then we may form the completion $\overline{X / Y}$. We ...
1
vote
0answers
22 views

Simultaneous extension and complemented subspace

The following is Exercise 3.13.5 of Conway's Functional Analysis: Let $X$ be a compact set and let $Y$ be a closed subset of $X$. A simultaneous extension for $Y$ is a bounded linear map $T:C(Y)\to ...
1
vote
1answer
49 views

Subspaces and convergence in weak* topology

I would like to ask some questions regarding convergence in the weak* topology and subspaces. Let $X$ be a normed space with subspace $A \subset X$. Assume $X$ is endowed with the weak* topology. ...
4
votes
1answer
76 views

Trouble finishing a (direct) proof that $\ell^2(A)$ is a complete metric space

Let $A$ be any non-empty set. We can define summations of non-negative numbers over this index set by using a supremum of summations over finite subsets of $A$. That is, $$\sum\limits_{\alpha \in A} ...
-1
votes
1answer
91 views

norm of integral operator in $C([0,1])$

If we define on $C([0,1])$ the operator $$ Tf(x) = \int_{0}^{1} K(t,s) f(s) ds$$ where $K$ is a continous function on two variables. I want to show that: $1)$ $||T|| = \displaystyle\max_{t} ...
1
vote
0answers
53 views

Weak sequential compactness in a reflexive space

Let $\{X, \| \cdot \|\}$ be a normed space, $B$ is the unit ball of $X$. If $\{X, \| \cdot \|\}$ is reflexive, then is $B$ weakly sequentially compact? If it's not true, are there any counterexamples ...
1
vote
1answer
66 views

$X$ complete normed space $\implies\mathrm B(X,Y)$ complete normed space?

$\newcommand{\N}{\mathbf N}\renewcommand{\leq}{\leqslant}\renewcommand{\geq}{\geqslant} \newcommand{\eps}{\varepsilon}$I was looking through the functional analysis notes of TWK (on his webpage ...
0
votes
1answer
45 views

The dual of subspace of a normed space is a quotient of dual: $X' / U^\perp \cong U'$

I wanted to show that $X' / U^\perp \cong U'$, for $U$ being a closed subspace of the Banach space $X$. Therefore I looked at $l: X' / U^\perp \cong U' , x' + U^\perp=[x'] \mapsto x'|_U$. It is ...
0
votes
0answers
108 views

Strongly convex and Frechet differentiable function in reflexive Banach space

We first recall two definitions about strong convexity and Frechet differentiability in normed space. Let $(X, \|.\|)$ be a normed space and $f:X\rightarrow\mathbb{R}$ be a function. (a) $f$ is said ...
1
vote
1answer
37 views

Which of the following sets are open (or closed)?

a.) $A:= \{(x_n)_{n\in \mathbb{N}} : x_n \in [0,1] \hspace{2mm}\text{for all}\hspace{2mm} n\in\mathbb{N}\}$ in $(l^\infty, \|\cdot\|_{\infty})$ and b.) $B:= \{f\in C([0,1]) : |f(t)-t|<1 ...
0
votes
1answer
72 views

Separability of a normed space

The following is an Exercise 12, page 75 of conway's Functional Analysis. Let $\oplus_\infty X_i = \{x\in \sqcap X_i: ||x||=\sup||x(i)||<\infty\} $ where each $X_i$ is a normed space for $i\in I$. ...
2
votes
2answers
60 views

What's wrong in this reasoning of $l_\infty$ separability?

While solving a problem, related to functional analysis, I've accidentally got a "proof" of $l_\infty$ being separable, tried to find a fault in it (as the result isn't true), but didn't succeed in ...
2
votes
1answer
25 views

Continuous functional that separate points

This is an exercise from Royden's Real Analysis. Let $X$ be a normed linear space and $W$ a subspace of $X^*$ that separate points. For any topological space $Z$, show that a mapping $f:Z\to X$ ...
1
vote
1answer
55 views

Show that $\lim_{p \to \infty}||x||_p=||x||_M$ [duplicate]

Let $$||x||_p=\left( \displaystyle \sum_{i=1}^n|x_i|^p\right)^{\frac{1}{p}}$$ and $$||x||_M=\max\{|x_1|,|x_2|,...,|x_n|\},$$ norms in $\mathbb{R}^n$. Show that $$\lim_{p \to \infty}||x||_p=||x||_M, \ ...
1
vote
1answer
34 views

Prove scalar product in a normed vector space is an open mapping.

I have the feeling this is a really obvious question, but I'm having trouble with it, here it goes: Let $(X, ||\,||)$ be a normed vector space over $K$, prove that $\odot:K\setminus\{0\}\times X ...
0
votes
2answers
38 views

norm of canonical projection = 1

How do I show that given $M$ a closed subspace of a normed space $X$, and let $\pi$ be the canonical projection of X onto $X/M$. Prove that $\|\pi\| = 1$. I figure I could use Riesz' lemma and set ...