0
votes
3answers
22 views

Seminorm proof of a function

I have an example in a book which is not very clear to me : let $E$ vector space made of numerical functions (or complex) $f$ defined on a set $A$. $\forall a \in A, N_a : f \rightarrow |f(a)|$ is a ...
1
vote
1answer
23 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
2answers
29 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.
0
votes
0answers
28 views

help about supremum norm proof

T:( $C'[0,1] ,||x||₁)\to (C[0,1]$,||x||∞) Tx(t)=x'(t) for any x is in C'[0,1] $||x||₁=||x||_{\infty}+||x′||$∞ how can we prove that equality? $||x||_1 = \sum_{n=1}^{\infty}|x_{n}|$ ...
0
votes
2answers
22 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 ...
0
votes
1answer
40 views

Frechet derivative of the sup norm function on $C[0,1]$

I know that the derivative in the title does not exist for any x but I do not have a clue why. Could someone explain why this derivative DNE at 0 and I can figure out why it does not exist at x? ...
0
votes
0answers
46 views

Completeness is not preserved under homeomorphism

I am trying to give a counterexample which will make it clear that homeomorphism does not preserve completeness. I have an easy one in mind ($(0,1)$ and $\mathbb{R}$) but I have just thought that ...
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 $ ...
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 ...
1
vote
0answers
78 views

Natural matrix norm of an inverse matrix

Let $\left\|\cdot\right\| : \text{GL}(n,\mathbb{R})\to\mathbb{R}_{\ge 0}$ denote the natural matrix norm, i.e. $$\left\|A\right\|:=\max_{x\ne ...
1
vote
1answer
45 views

Inequality for norm of linear combination of linearly independent vectors

I'm trying to find a proof for the following: Let {$u_{1},...,u_{n}$} be a linearly independent set of a normed space $X$. Then, there is a constant $c>0$ such that for every set of scalars ...
2
votes
2answers
108 views

How does one prove $\left\lVert\sum\limits_{n=1}^{\infty}f_n\right\rVert\le \sum\limits_{n=1}^{\infty}\lVert f_n\rVert$?

Can the triangle inequality for norms works for infinite some as well? Hope that someone can give some hints to prove it or give a counterexample. Thanks!
2
votes
2answers
77 views

Can anyone explain this isometry to me? $T: (\mathbb R^n,\|\cdot\|_1)^*\to (\mathbb R^n,\|\cdot\|_{\infty})$, $ T(x)(y) = \sum_{i=1}^n x_i y_i$

Can anyone explain this isometry to me? $$T: (\mathbb R^n,\|\cdot\|_1)^*\to (\mathbb R^n,\|\cdot\|_{\infty}),\qquad T(x)(y) = \sum_{i=1}^n x_i y_i$$ I don't get what the domain and image of $T$ are. ...
1
vote
1answer
52 views

question about norms and convex set

Suppose $\overline{B}(0;1) = \{ x \in X : ||x|| \leq 1 \}$ is the closed unit ball on a vector space $X$. MY question is: is the following true? If $\overline{B}(0,1) $ is not convex, then $|| \cdot ...
0
votes
3answers
55 views

Norm of vectors inequality

I tried proving this with triangular inequality but i was not right can any one help me with this
2
votes
1answer
30 views

Norm of vector with respect to operator

Define $L$ is a linear operator maps from $E^n$ to $\mathbb{R}$, its norm is defined as $||L||_{op}=\sup\limits_{||x||=1}L(x)$, where $||\cdot||$ is any norm on $E^n$. How to show that ...
-1
votes
1answer
39 views

In a normed space, is it always true that $\|a_1e_1+\dots+a_ne_n\|\geq |a_i|\|e_i\|$?

In a normed space, is it true in general that $\|a_1e_1+\dots+a_ne_n\|\geq |a_i|\|e_i\|$ for all $1\leq i\leq n$? $e_i$ are basis elements of the vector. This is definitely true for the Euclidean ...
1
vote
1answer
20 views

Verifying whether a given function can be a norm.

I was asked to prove that given the vector space $\Bbb{R}\times\Bbb{R}$, the function $f(p)=(\sqrt{a}+\sqrt{b})^2$, where $p=(a,b)$, does not define a norm (on $\Bbb{R}\times\Bbb{R}$). Is the ...
0
votes
1answer
21 views

What happens to $l_1$ if i change coordinate system.

Let $x =(x_1,\ldots,x_n) \in \mathbb{R}^n$ and also $x=\sum_{i=1}^m t_i u_i,$ where $t_i \in \mathbb{R}$ and $u_i \in \mathbb{R}^n.$ Is it true that $||x||_1 \geq \sum_{i=1}^m |t_i|$ ?
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 ...
0
votes
1answer
171 views

Norm of Matrix transpose

I have a problem below: Let $\|\cdot\|$ denotes the norm matrix \begin{equation} \|A\|=\max \frac {\|Ax\|}{\|x\|}, \end{equation} for every $A$. Now suppose that $H: \mathbb{R}^k \rightarrow ...
1
vote
2answers
180 views

Any two norms on finite dimensional space are equivalent

Any two norms on a finite dimensional linear space are equivalent. Suppose not, and that $||\cdot||$ is a norm such that for any other norm $||\cdot||'$ and any constant $C$, $C||x||'<||x||$ for ...
0
votes
2answers
339 views

Show these two norms are not equivalent?

I have the following two norms on $C[a,b]$ : $$||x||_1= \int_a^b |x(t)|dt$$ $$||x||_\infty = sup_{t \in [a,b]}|x(t)|$$ $\forall x \in C[a,b]$. I need to prove that these are not equivalent. They are ...
1
vote
1answer
131 views

Inequality for Euclidean norm

Let:| | be Euclidean norm on $\mathbb{R}^{n}$ and $b : \mathbb{R}^{n}\longmapsto \mathbb{R}^{n}$ and $\sigma : \mathbb{R}^{n}\longmapsto \mathbb{R}^{n\times m}$ two continuous functions. ...
1
vote
2answers
65 views

Prove that $d_{1}$ and $d_{2}$ induce the same topology

Suppose $d_{1}(x,y) = |x-y|$, $d_{2}(x, y) = |\phi(x) - \phi(y)|$, where $\phi(x) = \frac{x}{1 + |x|}$. Prove that $d_{1}$ and $d_{2}$ are metrics on $\mathbb{R}$ which induce the same topology. ...
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$?
17
votes
4answers
460 views

For which $L^p$ is $\pi=3.2$?

This is a silly question that came to mind after watching numberphile video on How Pi was nearly changed to 3.2. For which $p\in(1,+\infty)$ is the ratio of the perimeter of the $L^p$ disc in $\Bbb ...
0
votes
1answer
61 views

Prove that $|x(a)| + \max \{|x'(t)|: t \in [a,b]\}$ is a norm for a complete space

Prove that the space $C^1([a,b])$ consisting of continuous functions in $[a, b]$ with the norm $|x(a)| + \max \{|x'(t)|: t \in [a,b]\}$ is a Banach space. I can't prove the completeness of this ...
2
votes
1answer
63 views

Find norm of a linear functional

I have a normed space: $$l_p = \{ (x_n)_{n = 1}^{\infty}: \sum\limits_{n = 1}^{\infty}|x_n|^{p} < \infty \}$$ With norm: $$||x|| = (\sum\limits_{n = 1}^{\infty} |x_n|^p)^{1/p}$$ where $p = ...
2
votes
1answer
48 views

Calculate $\|f\|$ with $f(x) = \int_{-1}^{1}x(t)dt - 2x(0)$

In $C[-1,1]$, consider the norm $\|x\| = \max\{x(t)\mid t \in [-1,1]\}$ and $f(x) = \int_{-1}^{1}x(t)dt - 2x(0)$, $x \in C[-1,1]$. Find $\|f\|$ Hi everybody. I got stuck in this problem. I can ...
2
votes
1answer
109 views

Strange mistake in this proof about normed separable vector spaces.

I am supposed to prove that an infinite-dimensionale separable normed space $X$ constains a countable subset $Y$ that is linearly independent and dense. There are three hints given: First, prove ...
0
votes
2answers
42 views

If $||f-g|| < ||f^{-1}||^{-1}$, then $f$ is isomorphism implies $g$ is also isomorphism

Let $E$, $F$ be Banach space, $f,g \in L(E,F)$ and $f$ is isomorphism. Prove that if $||f-g|| < ||f^{-1}||^{-1}$, then $g$ is isomorphism. Hi everybody. I got stuck on this problem and can't ...
1
vote
1answer
40 views

A normed space of continuous functions with norm $\int_{0}^{1}|f(t)|dt$ is not complete

Suppose $E$ is a normed space of all continuous functions on $[0,1]$ with norm $\int_{0}^{1}|f(t)|dt$. Prove that $E$ is not complete I know that we must do is to find a Cauchy sequence of ...
1
vote
1answer
36 views

Can $||f|| = ||a||_{q}$ to arbitrary values of $p$ and $q$ satisfying ${1 \over p} + {1 \over q} = 1$

We all know that: Suppose $a = (a_{1}, a_{2}, ..., a_{n})$ is a point in Euclide space $R^{n}$. Consider the mapping $f: R^{n} \rightarrow R$, $f(x) = \sum_{i=1}^{n}a_{i}x_{i}$. Then $||f|| = ...
0
votes
0answers
22 views

Norm of the maximum

Consider the norm $||f||= max_{x\in[a,b]} |f(x)|$ defined in the bectorial space $C[a,b]$ I have to what is the meaning (/interpretation) in $R$ of {$||f_n-f||$}$\to$ 0 Could you help me?
3
votes
0answers
134 views

Two norms $\|\cdot\|_a$ and $\|\cdot\|_b$ on $X$, and a function $f:X\to Y$ Fréchet differentiable with one of the norms but not with the other one?

There is a theorem that if $f : (X,\|\cdot\|_{X1}) \to (Y,\|\cdot\|_{Y1}) $ is Fréchet differentiable, then replacing the norms with some equivalent norms $\|\cdot\|_{X2}$ and $\|\cdot\|_{Y2}$ ...
5
votes
1answer
275 views

Dual to the dual norm is the original norm (?)

I have the following questions about dual norms : How do you prove that the dual of the dual norm is in fact the original norm? This is what I have so far: If I have $\|y\|_* $ as the norm dual of ...
0
votes
2answers
91 views

Norm space, linear operator exercise, help please!

$f \in L_2[a,b]$ $Uf(s):=\int_a^bk(s,t)f(t)dt$ $k(s,t):[a,b]^2\to R $ continuous. show 1) $U:L_2[a,b]\to L_2[a,b]$, in other words, $Uf(s)\in L_2[a,b] \quad \forall f$ 2) $U$ is linear and ...
0
votes
1answer
44 views

Help in proving that a vector norm satisfies an axiom.

I am trying to prove if the following is a vector norm: ||x|| = max{$|x_1 + x_2|, |x_2 + x_3|, |x_3 + x_1$|} (x is vector with 3 elements) I'm stuck proving that $||\alpha x||=|\alpha|*||x||$. I ...
-3
votes
1answer
61 views

Conditional number: exercise

Let's say we've got a $202 \times 202$ matrix $A$ for which $||A||_2=100$ and $||A||_F=101$ (the Frobenius norm). How can we find the sharpest bound (lower) on the 2-norm condition number of $A$? ...
4
votes
1answer
89 views

Additive norm $||a+b||=||a||+||b||$

I've read somewhere that there exist spaces where $||a+b||=||a||+||b||$ is true iff $a = \lambda b, \ \ \lambda>0$. Could you tell me what spaces have that property and what spaces don't? ...
0
votes
1answer
78 views

Trouble in proving that $\|x\|_p = \max|x_j|$

We define p-norm in this way: $\|x\|_p = \{\sum ^N_j_=_1|x_j|^p\}^ {1\over p}$ We know that It change to $\|x\|_p = \max|x_j| $ when $ p \to \infty $ How can I prove this ?
0
votes
1answer
72 views

Difference: normed space and normed linear space.

I'm currently reading up on Banach spaces. My book "Introduction to Banach spaces and their Geometry" by Beauzamy mentions "normed spaces" in some places, and "normed linear spaces" in other. I really ...
2
votes
1answer
173 views

Prove that two norms are equivalents

Two norms $\|\bullet\|_1$ and $\|\bullet\|_2$ are equivalents iff $\;\exists\;c_1,c_2>0$ such that $c_1\|x\|_1\le \|x\|_2\le c_2\|x\|_1$ We're working in $\mathcal C^1[0,1]$, and I have ...
14
votes
4answers
393 views

If two norms are equivalent on a dense subspace of a normed space, are they equivalent?

Given a vector space $V$ equipped with two norms $|\cdot|$ and $||\cdot||$ which are equivalent on a subspace $W$ which is $||\cdot||$-dense in $V$, are the two norms necessarily equivalent? The ...
0
votes
0answers
39 views

Norm of a mapping

$$C[0,1]=\{f:[0,1]\rightarrow R | \text{$f$ is continuous function}\}$$ $$\|f\|=\max \{|f(x)|:x\in [0,1]\}$$ $$A:(C[0,1],\|\|)\rightarrow(C[0,1],\|\|)$$ $$A(f)(x)=(x^4-x^2)f(x)$$ I have to ...
2
votes
2answers
71 views

Generalizing norms for modules

An normed space is defined as a vector space V plus a norm operation over $V$. Is it meaningful to generalize this notion to modules, where one is dealing with rings instead of fields? What I'm ...
1
vote
1answer
97 views

How to show Zygmund space is Hölder space?

The motivation of this question is to show that Zygmund space is Hölder space, in certain cases. For simplicity, take $s\in (0,1)$, I want to show $$\|f\| = \|f\|_\infty + \sup_{x,y\in ...
0
votes
1answer
100 views

Showing a norm preserving isomorphism of vector spaces

Lets define $l^1$ as the complex vector space of all absolutely summable sequences of complex numbers and and $x_0$ consists of all the sequences in $l^\infty$ (all bounded sequences) that eventually ...
3
votes
3answers
710 views

equivalent norms in Banach spaces of infinite dimension

Suppose $ X $ is a Banach space with respect to two different norms, $ \|\cdot\|_1 \mathrm{ e } \|\cdot\|_2 $. Suppose there is a constant $ K > 0 $ such that $$ \forall x \in X, \|x\|_1 \leq ...