Norm is a function on a vector space $X$ which generalizes notion of length of vector in general vector spaces.

learn more… | top users | synonyms

3
votes
2answers
98 views

Question about sup norm

Let $x \in \mathbb{R}^n$. Define $|x| = \max\{ |x_1|,...,|x_n|\} $. I want to show that this is a norm on $R^n$. This is my reasoning. First, notice $$ |x| = \max\{ |x_i| \} \geq |x_i| \; \forall i ...
3
votes
1answer
113 views

Metric induced by a norm - what conditions should this metric meet?

$(I)$ I've been browsing some problems concerning metrics not induced by norms, and I've found a comment that said that such a metric should be a concave monotone function. Here is the post I'm ...
3
votes
1answer
72 views

What norm makes $C^\infty[a,b]$ a complete space?

I have been searching for some common norms used on vector spaces of functions but I am not having any luck finding what the most common norm is to use on $C^\infty[a,b]$ More specifically I would ...
3
votes
2answers
113 views

Geometric Mean limit of $\ell_p$ norm of sums

My analysis professor introduced the $\ell_p$ norm to our class as: \begin{align} \| x \|_p = \left(\frac{1}{n}\sum_{j=1}^{n} |x_j|^p\right)^{1/p}. \end{align} We are asked to prove the following: ...
3
votes
1answer
102 views

Show if $\|\cdot\|$ is a norm then $\|f(\cdot)\|$ is a norm where $f$ is linear and invertible

I want to show that if $\|\cdot\|$ is a norm then $\|f(\cdot)\|$ is a norm where $f$ is a linear and invertible function. First I need to show if $x\neq0$ then $\|f(x)\|>0$. Since $f$ is ...
3
votes
1answer
54 views

Is it true that bounded metric can never be induced by norm.

Let $(X, d)$ be a metric space where, $d$ is metric on $X$. We know that metric space $X$ is called bounded if there exists some number $r$, such that $d(x,y) ≤ r$ for all $x$and $y$ in $X$. I want ...
3
votes
1answer
55 views

Need help to simplify an equation

I am computing an error estimate where at the end I got the following term $\|X_{k} - G\|\leq (q^{2^{k+2}} + q^{2^{k+3}}+ q^{2^{k+4}}....)q^{-3}\|Y_{0}\| + q^{2^{k+1}}.q^{-2}\|X_0\|$ , where $X_k$ ...
3
votes
2answers
79 views

About the convexity of Ky Fan's norm

As we know, the Ky Fan norm is convex, and so is the Ky Fan k-norm. My question is, does this imply that the difference between them is a non-convex function, since it results from "difference between ...
3
votes
1answer
449 views

How to show the unit ball of the dual norm is also polytope?

Assuming the norm's unit ball is a convex polytope. How can one show that the unit ball of the dual's norm is convex polytope and/or polytope ?
3
votes
2answers
222 views

Matrix proof using norms

I have a linear algebra question I need help with. Let $A$ be an $m\times m$ matrix with $\|A\|_2 < 1$ where $\|A\|_2$ is the $2$-norm of $A$. Show that $I - A$ is invertible where $I$ is the ...
3
votes
1answer
353 views

Proof of a norm

Prove that: $ \|\cdot\|_1:\mathbb{R}^n \rightarrow \mathbb{R};\vec{x} \mapsto \sum_{j=1}^n |x_j| $ is a norm defined on the vector space $\mathbb{R}^n$. 1) Zero vector: $\sum_{j=1}^n |x_j| = |x|_1 ...
3
votes
3answers
285 views

Proving two results about the spectral radius

How do I prove these two theorems? Furthermore, can I apply them to infinite-dimensional spaces, such as Banach spaces? Theorem 1. Let $M\in \mathbb{C}_{n\times n}$ be a matrix and $\epsilon ...
3
votes
1answer
35 views

$L^1$ norm of convolution

Let $f_{\lambda} = \frac{\lambda}{2}e^{-\lambda |x|}$. Prove that $||f_{\lambda} \ast g - g || \to 0$, when $\lambda \to \infty$, where $g \in L^1$
3
votes
1answer
74 views

Inequality of Frobenius norm for skew matrices

Let $A$ be a complex skew-symmetric $n \times n$ matrix, that is, $A^T = -A$. Denote by $\|\cdot\|_F$ the Frobenius norm, that is, $\|B\|_F^2 = \text{trace}(B^*B)$. I would like to prove that $$ ...
3
votes
1answer
55 views

Hilbert-Schmidt norm/smooth manifolds

Given two riemannian manifolds $M$ and $N$ and a smooth map $f$ : $M$ $\rightarrow$ $N$, we define the energy density of $f$ as the smooth function $e(f)$ : $M$ $\rightarrow$ $\mathbb{R}$ given by ...
3
votes
1answer
66 views

Norm- Orthogonal Projection $A^{t}A=I_{n}$

Let $A_{m\times n}$ be a matrix such that $m\geq n$ and $A^{t}A=I_{n}$. It is given that the columns of $A$ are orthonormal. I need to show that the 2-norm of each row of $A$ is $\leq 1$. I have no ...
3
votes
2answers
92 views

evaluating norm of sum of roots of unity

let $l_1,...,l_n$ be roots of unity. I want to prove that the norm(the product of all conjugates)of $a=l_1+...+l_n$ is not greater than $n$, not smaller than $-n$. how can I do to prove this?
3
votes
1answer
167 views

Closed-form expressions for dual norms of real normed vector spaces

Say that $V$ is a finite-dimensional real normed vector space, where for some $v \in V$ the norm is notated by $\|v\|$. Then say that $V^*$ is the dual space of linear functionals on $V$. The "dual ...
3
votes
3answers
103 views

Prove an inequality.

Prove that $$\displaystyle{(|x_1+y_1|^p + |x_2+y_2|^p +\dots +|x_n+y_n|^p)^{\frac{1}{p}}\leq (|x_1|^p + |x_2|^p +\dots +|x_n|^p)^{\frac{1}{p}}+(|y_1|^p + |y_2|^p +\dots +|y_n|^p)^{\frac{1}{p}}}$$ for ...
3
votes
1answer
239 views

Finding operator norm

I have to solve the following problem: Find a norm of operator $$A:L^2[-\pi,\pi]\rightarrow L^2[-\pi,\pi]$$ given with $$Af(x)=\int_{-\pi}^{\pi} \cos^2{\left(\frac{x-t}{2}\right)}f(t) \,dt.$$ I ...
3
votes
1answer
47 views

bound on $l_2$ error in approximating a vector with its $t$-sparse representation

How do I prove that for any vector $y\in \mathbb{R}^n$, and any positive integer $t$, \begin{equation} ||y-y_t||_2\:\leq\: \frac{1}{2\sqrt{t}}||y||_1 \end{equation} where $y_t\in\mathbb{R}^n$ is the ...
3
votes
1answer
90 views

How to show that $\left \| AB \right \|_F \leq \min (\left \| A \right \|_F \left \| B \right \|_2 , \left \| A \right \|_2 \left \| B \right \|_F)$?

For any matrices $A \in \mathbb{C}^{m \times k}$ and $B \in \mathbb{C}^{k \times n}$, show that $\left \| AB \right \|_F \leq \min (\left \| A \right \|_F \left \| B \right \|_2 , \left \| A \right ...
3
votes
1answer
140 views

Absolute norms and 1-unconditional sums

Absolute norm Let $X$ and $Y$ be Banach spaces. Let $Z=X\times Y$ a norm $\|\cdot\|_N$ on $Z$ is called absolute if there is a function $N\colon R^2\rightarrow R$ such that $$ \|(x,y)\|_N=N((\|x\|, ...
3
votes
1answer
158 views

Norm of operator $g\mapsto \int fg$

Let $T_f:(C([a,b],\mathbb C), \lVert \cdot \rVert_1) \to \mathbb C$ with $g\mapsto \int_a^b f(x)g(x) dx$ for any given $f\in C([a,b],\mathbb C)$. I have to find the norm of $T_f$. I started with: ...
3
votes
2answers
278 views

$L^p$ norm of multivariate standard normal random variable

Given $X_i\sim \mathcal{N}(0,1)$ what is the behaviour of $$ ||X||_{l^p}=(\sum_{i=1}^n|X_i|^p )^{1/p}$$ as $n\rightarrow \infty$? For $p=2$ results about $\chi$-distribution tell us that ...
3
votes
1answer
373 views

Minimize distance between 2 functions

Just so you know, this is a homework question, and I basically need help with the steps to solve this problem. I understand what it's asking; however, my attempts haven't worked out, and I'm probably ...
3
votes
1answer
275 views

Norm with special conditions

Let $N$ be a norm on $\mathbb R^2$, such that $N ( \mathbb Z^2) \subset \mathbb N $, where $\mathbb Z^2 =\{ (a,b)\mid a\mbox{ and }b \mbox{ are integers}\}$. Help me to prove that for $u$, $v$ fixed ...
3
votes
1answer
48 views

Are isometries always linear?

Let $E$ be a finite dimensional vector space (over a field of characteristic zero) and $f : E \rightarrow E$ be an isometry fixing 0. Must $f$ be linear in this case ? Note : I am NOT assuming that ...
3
votes
0answers
40 views

Norms on $\mathbb{Q}$

So with respect to the metric $d(x,y)=|x-y|$ induced by the standard absolute value, the real numbers can be constructed as a completion of $\mathbb{Q}$. With respect to the metric $d_p(x,y)=|x-y|_p$ ...
3
votes
0answers
133 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}$ ...
3
votes
0answers
97 views

Proving norm equivalence in $W^{1-1/p,p}(\Omega)$

Define for $p\in [1,\infty)$ and $\Omega=(0,1)^N\subset\mathbb{R}^N$ $$W^{1-1/p,p}(\Omega)=\left\{u\in L^p(\Omega): \ \int_\Omega\int_\Omega\frac{|u(x)-u(y)|^p}{|x-y|^{N-1+p}}dxdy<\infty\right\}$$ ...
3
votes
0answers
193 views

Prove this equality in a Hilbert Space $H$ with Riesz's Representation Theorem.

For $x \in H$, prove that $\sup_{\|z\| = 1} \langle x , z \rangle= \| x \|$ Here is a quick one. If someone could improve this it would be great Proof By Cauchy Schwarz, $\langle x,z \rangle ...
3
votes
0answers
164 views

The norm of an operator

Let $\rho(x)$ be a weight function in a unit sphere, such that \begin{equation} \begin{array}{l} \displaystyle 1. \rho(x)\ge 0,\int_{\mathbb{R}^n}\rho(x)=1\\ \displaystyle 2. \rho(x)\in ...
3
votes
0answers
73 views

Exercise from textbook about norm

The below diagram included a relevant page and the question 4 of the exercise which i am not sure how to do. Any hint or solution are welcome Attempts: a) I have done it b) i have tried to show that ...
3
votes
0answers
91 views

Is $\rho(f) := \mu(|f| \geq \epsilon), \epsilon >0$ some kind of generalized norm?

Let $\rho(f) := \mu(|f| \geq \epsilon)$ where $\epsilon >0$ is a constant and $\mu$ is a measure and $f$ is a measurable function. Then $f\equiv 0 \rightarrow \rho(f) = 0$ when $|a| \neq 0$, ...
3
votes
0answers
99 views

Confusion about matrix norms

Reading the wiki article I get confused about matrix norms. My question, is it true that $$\lVert Mx \rVert \leq C(\sup_{ij}{M_{ij}}) \lVert x \rVert$$ where $M$ is a matrix and $x$ is a vector and ...
3
votes
0answers
222 views

Minimizing maximum absolute column sum norm of the residual between a matrix and its $k$-rank approximation

Let $X \in \mathbb{R}^{m\times n}$ be a matrix with rank $r$. How can we find the optimal $\tilde{X} \in \mathbb{R}^{m\times n}$ whose rank is $k$ where $k\leq r$ and the reconstruction error in ...
2
votes
3answers
366 views

How to prove $\lvert \lVert x \rVert - \lVert y \rVert \rvert \overset{\heartsuit}{\leq} \lVert x-y \rVert$?

I'm trying to show that $\lvert \lVert x \rVert - \lVert y \rVert \rvert \overset{\heartsuit}{\leq} \lVert x-y \rVert$. A hint would be nice.
2
votes
3answers
113 views

Convergence of a pair linearly independent elements of a vector space

Let $v_1$ and $v_2$ be linearly independent elements of some normed vector space $V$. We have a sequence $(a_n,b_n)$ and are told that $a_nv_1+b_nv_2$ converges to the zero element. Is it the case ...
2
votes
3answers
125 views

Why is $\sqrt{\sum_{i=1}^n |v_i|^2} \leq \sum_{i=1}^n |v_i|$ true?

Sorry if this is very basic but here's a question. Let $\mathbf{v}=(v_1,\ldots, v_n)\in k^n$ where $k=\bar{k}$. Why do we have $$ \sqrt{\sum_{i=1}^n |v_i|^2} \leq \sum_{i=1}^n |v_i|, $$ ...
2
votes
2answers
476 views

How do you prove the $p$-norm is not a norm in $\mathbb R^n$ when $0<p<1$?

I see that it fails to satisfy the triangle inequality by example but I don't see how to prove this is the case for all $0 < p < 1$. The definition I am using for $p$-norm is $$ \|A\|_p= ...
2
votes
1answer
450 views

Why do we need semi-norms on Sobolev-spaces?

I have been studying Sobolev spaces and easy PDEs on those spaces for a while now and keep wondering about the norms on these spaces. We obviously have the usual norm $\|\cdot\|_{W^{k,p}}$, but some ...
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
87 views

What is the definition of the norm

Let $x$ and $y$ be in $ \mathbb{R}^{n}$. I know from the definition of norm that $\|x\|=\sqrt{\sum_{1}^{n}x_{i}^{2}}$. Can anyone tell me what will be the norm of $\|x-y\|$? Is it ...
2
votes
2answers
429 views

$q$-norm $\leq$ $p$-norm [duplicate]

[Ciarlet 1.4-8] If $0 < p < q$, show that $$\left(\sum_{i=1}^n|v_i|^q\right)^{1/q}\ \leq\ \left(\sum_{i=1}^n|v_i|^p\right)^{1/p}$$ Somebody knows how prove that? Thanks in adavance for the ...
2
votes
4answers
576 views

Prove that $N(\gamma) = 1$ if, and only if, $\gamma$ is a unit in the ring $\mathbb{Z}[\sqrt{n}]$

Prove that $N(\gamma) = 1$ if, and only if, $\gamma$ is a unit in the ring $\mathbb{Z}[\sqrt{n}]$ Where $N$ is the norm function that maps $\gamma = a+b\sqrt{n} \mapsto \left | a^2-nb^2 \right |$ I ...
2
votes
2answers
38 views

Is $u^TAu \geq 0$ true for all symmetric matrices $A$?

we know from the definition of inner product and norm, that $u^Tu$ is always larger than zero, except the case where $u=0$ at which case it is zero. I came across a question that infers that $u^TAu ...
2
votes
4answers
140 views

Prove that $||x|-|y|| \leq |x-y|$ [duplicate]

$||x|-|y|| \leq |x-y|$ when $(x,y \in R^k)$ In Principles of MA(Rudin), the author said one sees easily that $||x|-|y|| \leq |x-y|$ when $(x,y \in R^k)$ (p.88, Rudin) from the triangle ...
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 ...
2
votes
1answer
887 views

Why is the operator norm of a diagonal matrix it's largest value?

I read this in my textbook have tried working through it - I keep getting max 2-norm(Ax), which is just the magnitude of Ax. How should I do this proof? (note, this is not for homework, I'm just ...