A vector space $E$, generally over the field $\mathbb R$ or $\mathbb C$ with a map $\lVert \cdot\rVert\colon E\to \mathbb R_+$ satisfying some conditions.

learn more… | top users | synonyms

4
votes
2answers
47 views

Minkowski type inequality in Banach algebras

Under which circumstances it is true that $\|(A+B)^n\|^{1/n}\le \|A^n\|^{1/n}+\|B^n\|^{1/n}$ for elements $A$ and $B$ in a Banach algebra and a natural number $n$?
10
votes
2answers
3k views

Why are $l^{\infty}$ and $L^{\infty}$ non separable spaces?

$l^p (1≤p<{\infty})$ and $L^p (1≤p<∞)$ are separable spaces. What on earth has changed when the value of p turns from a finite number to ${\infty}$? Our teacher gave us some hints that there ...
0
votes
1answer
216 views

How to expand equation inside the L2-norm?

I want expand an L2-norm with some matrix operation inside. Assume I have a regression $Y=X\beta+\epsilon$. I want to solve (meaning expand), $$\displaystyle\|Y-X\beta \|_{2}^2$$ Should I do: 1) ...
2
votes
1answer
45 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
21 views

Equivalence of sets

Let $u_1, u_2, u_3 \in \mathbb{C}$ be the cubic roots of unity I'm wondering if the following two sets (balls) are equivalent: $$ \lbrace (v,w) \in \Bbb C^2 : \vert v \vert + \vert w \vert \leq 1 ...
0
votes
0answers
26 views

Distance of an element to $f^{-1}(\{0\})$ with $\displaystyle{f(x)=\sum_{n=0}^{\infty}\frac{x_n}{2^n}}$ [duplicate]

Let $E$ the space of all sequences of real numbers so that $\displaystyle{\lim_{n\to\infty}x_n= 0}$ with the norm $\displaystyle||(x_n)||=\sup_{n\in\mathbb{N}}|x_n|$. Let $H$ the closed hyperplane ...
1
vote
0answers
14 views

Distance of an element to $\ker f$ in a normed vector space. [duplicate]

Let $E$ a normed vector space and the hyperplane $H=\ker f$ with $f\in \mathcal{L}(E, \mathbb{R})$. Prove that if $a\in E$ then $\displaystyle{d(a, H)=\frac{|f(a)|}{\|f\|}}$
1
vote
1answer
39 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
57 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 ...
0
votes
0answers
15 views

H2 norm or H2 control probloem

I read a paper, it says: How to understand this definition of H2? I know the definition of the H2-norm of a system: or However, how to understand the paper one's from these formula or ...
0
votes
2answers
28 views

Express Norm Using Inner Product

I'd like to know whether there's a way to express a norm using inner product, for example , is there any inner product we may use that is equal to $(||Ax-b||_2)^2$ ? Thanks in advance.
4
votes
1answer
41 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 ...
2
votes
0answers
42 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
1answer
22 views

Which of the following defines norm on V?

Let $V$ denote the vector space of all polynomials over $\mathbb R$ of degree less than or equal to $n$. Which of the following defines a norm on $V$. $\|p \|^2 = |p(1)|^2 + \cdots + |p(n+1)|^2, p ...
1
vote
1answer
34 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
38 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
32 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 ...
1
vote
1answer
28 views

What truly are length, area and volume? And considerations about divergence in normed spaces

All the "(?)" are parts when i'm not sure at all if what i'm saying is right or not, it's just my intuition. Part 1 In $\mathbb{R}$, we can define the length of a segment. In $\mathbb{R}^2$, the ...
0
votes
0answers
39 views

Largest/smallest cross-norm: A simple question about cross-norms on tensor products of Banach spaces.

This is a very simple dumb question as I’m completely new to the topic. I was reading Wikipedia’s entry on “Topological Tensor Products”, and there’s one thing I’m confused about. Let $ A $ and $ B $ ...
0
votes
0answers
26 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
102 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 ...
9
votes
2answers
3k views

“Every linear mapping on a finite dimensional space is continuous”

From Wiki Every linear function on a finite-dimensional space is continuous. I was wondering what the domain and codomain of such linear function are? Are they any two topological vector ...
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
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
14 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 ...
1
vote
1answer
28 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
0answers
46 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 ...
3
votes
2answers
62 views

Where is the error in my proof?

I have this excercise. I am able to solve it, but the problem is that I can solve it without using the last part of information of the existence of the u-vector. That makes me afraid that my proof is ...
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
67 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
3answers
57 views

Let $V $be a vector space. Prove/Disprove: There is a norm $\|\cdot\|$, such that all subsets of $V$ are open sets in $(V,\|\cdot\|)$.

The Assignment: Let $V$ be a vector space over $\mathbb{R}$ with $V \not= \{0\}$. Prove or disprove: There is a norm $\|\cdot\|_d$ on $V$, such that all subsets of $V$ are open sets in ...
0
votes
0answers
27 views

Show that $f: K_1(0) \rightarrow \mathbb{R}^3$ is Lipschitz.

Firstly, the Assignment: Let $V = (\mathbb{R}^3 ,\|\cdot\|_{\infty})$ where $\|\cdot\|_{\infty}$ denotes the maximum norm and consider the function: $$f: K_1(0) \rightarrow ...
4
votes
2answers
115 views

Is there always an injective map from a space in its dual space?

Today our teacher said that dual spaces are "big" and told us that this is a consequence by Hahn-Banach's theorem. So I was wondering whether the dual space of a space is always "bigger" or equal ...
2
votes
0answers
24 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 ...
1
vote
1answer
38 views

Comparing two linear functions

Let $X$ be a Banach space and let $h:X\to\Bbb C$ and $f:X\to\Bbb C$ be two bounded linear functions such that if for some $x\in X$ we have $f(x)=0$ then $h(x)=0$. Prove that there exists a ...
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
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 ...
2
votes
2answers
75 views

restriction a non compact operator to compact operator

If $T\in\mathcal{B}(X,Y)$ is not compact can the restriction of $T$ to an infinite dimensional subspace of $X$ be compact?
2
votes
1answer
31 views

The canonical surjection between the full and the reduced group C^*-algebras

This might be an incredible easy question -- since any reference I've found state it as obvious -- but anyway: Given a group $G$, I can construct the full group-$C^*$-algebra $C^*(G)$ be completing ...
-1
votes
1answer
41 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
35 views

can arbitrary norm in $R^n$ be uniformly continuous?

let $d_1$ be an arbitrary norm on $\mathbb R^n$, and let $d_2$ be a max-norm on $\mathbb R^n$ (max-norm : http://en.wikipedia.org/wiki/Maximum_norm) How can I show that $d_1$ : ($\mathbb R^n$, $d_2$) ...
1
vote
0answers
18 views

my question is about proving a norm is a norm

I want to show that $||f||=\max_{t\in [0,1]}|f(t)|$ defines a norm on $C([0,1])$. I only have a question on the triangle inequality property. This is what I have done but I am not quite sure it is ...
0
votes
0answers
33 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 ...
0
votes
1answer
40 views

How to detect reflexivity of the closure

Consider the space of continuous bounded functions on a bounded interval. Its closure for the Lebesgue $L_p$ norm is reflexive when $1 < p < \infty$, but it is not reflexive for $p = 1$. How ...
1
vote
1answer
63 views

Proving that $AB-BA=cI$ for nontrivial $c \in \mathbb{C}$

I have a homework question I can`t solve: Let $X$ be a normed linear space, $A,B \in B(X)$. Show that there exists no nontrivial $c \in \mathbb{C} $ such that $AB-BA=cI$. Thanks alot already guys! I ...
3
votes
1answer
113 views

A non-separable strictly convex space with a separable pre-dual

I am asked to find an example of a non-separable strictly convex space with a separable pre-dual. So please give me some hints or some references about such problems. Thanks in advance.
8
votes
3answers
205 views

Does $\|\cdot\|_2:C_\mathbb R([0,1],\mathbb C)\to\mathbb R:f\mapsto\sqrt{\int_0^1|f(t)|^2dt}$ come from any inner product?

I'm trying to show $\|\cdot\|_2$ is a norm on the $\mathbb C$-vector space $C([0,1],\mathbb C)$ where $$\|\cdot\|_2:C([0,1],\mathbb C)\to\mathbb R:f\mapsto\sqrt{\int_0^1|f(t)|^2dt}$$ I've stuck in ...
0
votes
0answers
47 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 ...