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

4
votes
0answers
101 views

What are norms used for?

These two questions are quite similar to this one, so I apologise if this irritates anyone. Also, I suspect that a lot can be said in the answer, so I am really just looking for some main points ...
4
votes
3answers
451 views

Example of a sequence that converges to two different limits with respect to two complete norms

I've wondered about the following question : Is there an (explicit?) example of a vector space $X$, two complete norms $\|\cdot\|_1$ and $\|\cdot\|_2$ on $X$, and a sequence $(x_n) \subseteq X$ such ...
3
votes
4answers
510 views

Normalizing a matrix

I came across a step in an numerical algebra algorithm that says "Normalize the rows of matrix A such that they are unit-norm. Call U the normalized matrix." I do something like this: ...
3
votes
4answers
55 views

Defintion of $L_\infty$ norm

Where does the definition of the $L_\infty$ norm come from? $$\|x\|_\infty=\max \{|x_1|,\dots,|x_k|\}$$
3
votes
3answers
4k views

Norm of a symmetric matrix?

Say I have a symmetric matrix. I have the concept of 2-norm as defined on wikipedia. Now I want to prove (disprove?) that the norm of a symmetric matrix is maximum absolute value of its eigenvalue. I ...
3
votes
3answers
711 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 ...
3
votes
3answers
61 views

whats the difference between $|v|$ and $||v||$?

$v$ being a vector. I never understood what they mean and haven't found online resources. Just a quick question. Thought it was absolute and magnitude respectively when regarding vectors. need ...
3
votes
3answers
1k views

Example of two norms on same space, non-equivalent, with one dominating the other

I am looking for an example (with proof) of two norms defined on the same vector space, such that the norms on the two spaces are NOT equivalent, but such that one norm dominates the other...
3
votes
1answer
85 views

Does Permuting the Rows of a Matrix $A$ Change the Absolute Row Sum of $A^{-1}$?

For $A = (a_{ij})$ an $n \times n$ matrix, the absolute row sum of $A$ is $$ \|A\|_{\infty} = \max_{1 \leq i \leq n} \sum_{j=1}^{n} |a_{ij}|. $$ Let $A$ be a given $n \times n$ matrix and let $A_0$ ...
3
votes
4answers
267 views

The difference between $L_1$ and $L_2$ norm?

I have been trying to understand what is the difference between $L_1$ and $L_2$ norm and cant figure it out. In this webpage I got a clear understanding of why we would use $L_1$ norm (scroll down ...
3
votes
1answer
130 views

Frobenius norm is not induced

My textbook says: Frobenius norm defined on $\mathbb{R}^{m,n}$ by a formula: $$\|A\|_F=\sqrt{\sum_{i=1}^n\sum_{j=1}^m|a_{i,j}|^2}$$ when $n>1, \ m>1$ is not induced by any vector's ...
3
votes
2answers
559 views

Derivation of the polarization identities?

For a real (or complex) inner product space $V$, the inner product can be expressed in terms of the norm as either $$ \langle x,y\rangle=\frac{1}{4}(\|x+y\|^2-\|x-y\|^2) $$ or $$ \langle ...
3
votes
2answers
131 views

Linear Algebra munkres analysis on manifolds question.

If $A$ is an $n$ by $m$ matrix and $B$ is an $m$ by $p$ matrix, then $$ |AB| \leq m|A||B|$$ where $|A| = \max\{|a_{ij}| : i = 1,\ldots,n \text{ and} j = 1,\ldots,m\}$ Attempt: $ |AB| = \max\{| ...
3
votes
2answers
63 views

Norm of Hilbert matrix is it equal to $\pi$?

Let $A$ be a Hilbert matrix, $$a_{ij}=\frac{1}{1+i+j}$$ We have the following result : $\Vert A\Vert\leq \pi$. I am using the subordinate norm of the euclidean norm i.e. $$ \Vert A\Vert=\sup\{\langle ...
3
votes
2answers
146 views

Poincare Inequality implies Equivalent Norms

I am currently working through the subject of Sobolev Spaces using the book 'Partial Differential Equations' by Lawrence Evans. After the result proving the Poincare Inequality it says the following ...
3
votes
2answers
95 views

When does $\|x+y\|=\|x\|+\|y\|?$

Let $(V_\mathbb R,\langle,\rangle)$ be an inner product space. I'm trying to see for $x,y\in V$ when does $\|x+y\|=\|x\|+\|y\|?$ Let $\|x+y\|=\|x\|+\|y\|$ Squaring both sides, $\langle ...
3
votes
2answers
95 views

Is $l^2$ norm differentiable at $x=0$?

For $l^2$ norm on $\mathbb{R}^d$, $\frac{d\|x\|_2}{dx} = \frac{x}{\|x\|_2} $, so $d\|x\|_2$ is differentiable wherever $x \neq 0$. is the norm differentiable at $x=0 \in \mathbb R^d$? Thanks!
3
votes
2answers
147 views

Inequality involving norm and inner product

I am stuck proving this trivial inequality: on a real inner product space, $(||x||+||y||)\frac{\langle x,y\rangle}{||x|| \cdot ||y||}\leq||x+y||$ I have tried to square both sides and use the Cauchy ...
3
votes
2answers
116 views

Geometric Sums in Banach Algebra

Let $E$ be a Banach Algebra with identity, and $v\in E$, so that $||v|| < 1$. The geometric series $w = \sum_{k=0}^\infty v^k$ converges in the norm. I can show that $||w|| \le ...
3
votes
2answers
138 views

How is $L_{2}$ Minkowski norm different from $L^{2}$ norm?

I am reading the book Multidimensional Particle Swarm Optimization for Machine Learning and Pattern Recognition. They use $L_{2}$ Minkowski norm (Euclidean) as the distance metric in the feature space ...
3
votes
2answers
64 views

Upper bound for norm of Hilbert space operator

It is a standard result that for a bounded self-adjoint operator $T$ on a complex Hilbert space $H$, we have $||T||=\sup_{||x||=1}|\langle Tx,x\rangle|:=M$. It seems that for any bounded operator on ...
3
votes
2answers
59 views

Norms of eigenvalues bigger than 1 implies $|Ax|>x$ for all nonzero $x$?

If all the eigenvalues of $A$ (an n by n real matrix) have norms bigger than 1, is it true that $|Ax|>|x|$ for all nonzero $x\in\mathbb{R}^n$? (This is clearly true if $x$ is an eigenvector ...
3
votes
1answer
63 views

Showing that the zero vector has norm zero

I need to show that this is a property of a norm. I know this is supposed to be straightforward but I am somehow not seeing it. The property is $$\lVert 0\rVert = 0$$ I was trying to use the fact ...
3
votes
1answer
392 views

Norm of the linear functional

Could you help me, please with the following question? There is a linear functional $A : C_{[0;1]} \rightarrow \mathbb{R}$, such that $$ Ax=\int_{a}^{b}x(t)\varphi(t)dt $$ where $\varphi$ is a fixed ...
3
votes
2answers
195 views

Two proofs concerning Hölder's inequality

I am studying functional analysis and I have come across two statements which can be proven by using Hölder's inequality, but I don't know how/why. Reminder: let $a\in l^p$ and $b\in l^q$, then: $$ ...
3
votes
1answer
231 views

An inequality involving the norms of symmetric positive definite matrices

Given A and B two real symmetric positive definite matrices is it true that, for some norm $\|.\|$, this inequality holds $$ \|AB-I\| \leq \|A^2B^2-I\| \qquad ? $$
3
votes
2answers
2k views

showing that l2 norm is smaller than l1

How can I show that L2<=L1 $||x||_1\le \cdot ||x||_2$ and also $\|x\|_2\leq \sqrt m\|x\|_{\infty}$ regarding the first part, can I say that: $$ \sqrt{\sum\limits_{i=1}^n x^2 } \leq ...
3
votes
1answer
85 views

Bounding the $l_1$ norm of a vector

Let $x$ be real vector with $\|x\|_1=x_1+\ldots +x_{2n}$. How to bound from above $(x_1+\ldots+x_n)(x_{n+1}+\ldots+x_{2n})$ by $l_2$ norm of the vector $x$. Of course, using $\|x\|\leq\sqrt ...
3
votes
1answer
143 views

Proof that $\|\cdot\|_B$ defines a norm

Can you tell me whether my (partial) proof that $\|v\|_B := \inf \{\lambda > 0 \mid \frac{1}{\lambda} v \in B \}$ where $\varnothing \neq B \subset \mathbb R^d$ is open, bounded, $B = -B$ and ...
3
votes
1answer
799 views

Multiplication operator norm

I'm having some (hopefully small) issues computing the norm of an operator. Firstly, the problem, For $f\in L^\infty[0,1]$, define $M_f: L^2[0,1]\to L^2[0,1]$ by $M_f(g)(x) = f(x)g(x)$. Show that ...
3
votes
1answer
93 views

Prove $|\det A| \leq \prod_{j=1}^n ||a_j||$

Let's say A is a square n by n matrix. ||$x$||=$x^T x$ and x is a real n-column norm. How would you show this? I tried to use the QR factorization here in showing that ||$a_j$||=||$r_j$||, but ...
3
votes
2answers
49 views

$\left\{x\in H: 2\leq \|x\|\leq 5\right\}$ is compact?

In a Hilbert space $H$ of dimention infinite, $A=\left\{x\in H:2\leq \|x\|\leq 5\right\}$ is compact? (totally bounded and complete) Thanks in advance.
3
votes
1answer
22 views

Spectral Norm of $2\times 2$ symmetric matrix

Consider a $2\times 2$ symmetric matrix, in this case, is there some closed formula for its spectral norm ? By spectral norm I mean the induced 2-norm, there is a definition here. Thanks.
3
votes
1answer
113 views

Prove that the given distance function is a norm

Let the vector space $X=K^3$. For $x=(\alpha_{1}, \alpha_{2}, \alpha_{3}) \in X$, we define $||x||= [(|\alpha_{1}|^2+|\alpha_{2}|^3)^\frac{3}{2} + |\alpha_{3}|^3]^\frac{1}{3}$ Proof that $||·||$ is ...
3
votes
2answers
169 views

Norm of random vector plus constant

Suppose that $w$ is a multivariate standard normal vector and $c$ a real vector of the same size. I know that for positive x $$P(||w+c||^2\geq x)\ \geq \ P(||w||^2\geq x)$$ but I cannot prove it. We ...
3
votes
1answer
47 views

what is the limit of $l_p$ at p=0?

The p-norm is defined as: $$ \ \|x\|_p=\left(|x_1|^p+|x_2|^p+\dotsb+|x_n|^p\right)^{\frac{1}{p}} $$ When $p<1$, this is no longer a "norm" because it violates the triangle inequality (- it is ...
3
votes
1answer
133 views

Norm of a linear transformation

Let $T:\mathbb R^2\to \mathbb R^2$ be given by the matrix $\begin{pmatrix}a&b\\ c& d\end{pmatrix}$. Let $u:=a^2+b^2+c^2+d^2+2(ad-bc)$ and $v:=a^2+b^2+c^2+d^2-2(ad-bc)$. I need to show that ...
3
votes
2answers
176 views

Can the $0$-norm represent determinism?

In Scott Aaronson's Quantum Computing since Democritus, he presents classical probability theory as based on the $1$-norm, and QM as based on the $2$-norm. Call $\{v_1,\ldots,v_N\}$ a unit vector ...
3
votes
1answer
38 views

Do the pth powers of $p$-norms define the same partial ordering on the set of all probability distributions for all $p>1$?

Consider the $p$-th power of the Schatten $p$-norm $||q||_p$ of a probability distribution $q$ , ie, the function $\sum_j q_j^p$, where $\sum_j q_j = 1$ and $q_j \geq 0$. For fixed $q$ and $p>1$ ...
3
votes
1answer
111 views

Is this a matrix norm?

In wikipedia, the operator norm of a matrix is given by (assume: real, $n$-dimensional) $$ ||A||= \max \left\{ \frac{|Ax|}{|x|}:x \in \mathbb{R}^n, x\neq 0 \right\}$$ (I'm not sure why it is not a ...
3
votes
1answer
124 views

Operator norm and spectrum

Let $L$ be a bounded linear operator on a Hilbert space. Without assuming finite dimensions, can we express the operator norm of $L$ in terms of the spectrum of the positive operator $L^{\dagger}L$? ...
3
votes
1answer
316 views

Matrix norm inequality implying eigenvector norm inequality

For a matrix $A$ let $\|A\|$ be the norm given by $\|A\|=\sup_{v \neq 0}\frac{\|Av\|}{\|v\|}$ where $\|v\|$ is the Euclidian norm on the vector $v$. Suppose we have matrices $M$ and $S$ with leading ...
3
votes
1answer
134 views

Bizarre formula for arc length

I'm reading a book on computer science/math and I found this formula for arc lengths that I've not been able to decipher: $$\left|\int_p^q\left\| {df(x)\over dx} \right\| dx\right|$$ where $\lVert ...
3
votes
1answer
378 views

Is this a norm? (triangle inequality for weighted maximum norm)

I've been trying to prove that the following is a norm, but wasn't successful. I also cannot find a counterexample. So help is greatly appreciated. Let $x \in \mathbb{R}^N, \ w_i \in \mathbb{R}_+,\ ...
3
votes
1answer
130 views

The trace norm cannot be increased by composing with a unitary operator

$\newcommand{\tr}{\operatorname{tr}}$ I was reading a proof for the statement $|\tr(US)|\leq |\tr(S)|$, for every endomorphism $S$ on a complex vector space $H$ and every unitary operator $U$ on the ...
3
votes
2answers
119 views

How to prove that a unitary matrix with other conditions is diagonal?

Let $A$ be an $n$ by $n$ complex matrix. The singular value decomposition of $A$ gives: $A=U\Sigma V^*$, where $U$ and $V$ are unitary matrices, and $\Sigma$ is a diagonal matrix that contains the ...
3
votes
1answer
57 views

Norm of symmetric positive semidefinite matrices

I have been researching a lot trying to find an answer to my question and didn't find any so I would appreciate it if anyone can help. If we have 2 symmetric, positive semi-definite matrices $A$ and ...
3
votes
1answer
31 views

Is the norm of the average $\le$ the norm of the max?

Given $\pmb X \in \mathcal{R}^p$, denote the elements of $\pmb X$ as $\pmb x_i$ for $i= 1, \dots, n$. Denote the $t(\pmb X)$ as the average of $\pmb X$ \begin{equation} \pmb t(\pmb X) = \frac 1 n ...
3
votes
1answer
28 views

Is taking the Euclidean norm of multiple Euclidean norms equivalent to taking the Frobenius norm?

I'm just a programmer venturing into the world of norms (is that even a thing?) here, and am wondering if two formulas are equivalent. Please forgive my ignorance! Suppose we have a $10\times3$ ...
3
votes
2answers
64 views

Asymptotics of Gelfand's formula

In the following paper, it is stated that for for any matrix norm, $n \in \mathbb{N}$ and $A \in \mathbb{C}^{d \times d}$, the following holds: $\rho(A) \ge \gamma^{(1+\ln n)/n}\|A^{n}\|^{1/n}$ for ...