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

97
votes
4answers
21k views

Norms Induced by Inner Products and the Parallelogram Law

Let $ V $ be a normed vector space (over $\mathbb{R}$, say, for simplicity) with norm $ \lVert\cdot\rVert$. It's not hard to show that if $\lVert \cdot \rVert = \sqrt{\langle \cdot, \cdot \rangle}$ ...
11
votes
1answer
9k views

The $ l^{\infty} $-norm is equal to the limit of the $ l^{p} $-norms. [duplicate]

If we are in a sequence space, then the $ l^{p} $-norm of the sequence $ \mathbf{x} = (x_{i})_{i \in \mathbb{N}} $ is $ \displaystyle \left( \sum_{i=1}^{\infty} |x_{i}|^{p} \right)^{1/p} $. The $ ...
33
votes
5answers
7k views

Not every metric is induced from a norm

I have studied that every normed space $(V, \lVert\cdot \lVert)$ is a metric space with respect to distance function $d(u,v) = \lVert u - v \rVert$, $u,v \in V$. My question is whether every metric ...
4
votes
3answers
2k 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 ...
2
votes
1answer
339 views

Distance between point and linear Space

Suppose $E$ is a normed vector space. Let $f$ be a continuous linear functional on $E$ and denote by $M$ the Kernel of $f$. Let $x\in E$. How to show that ...
2
votes
3answers
641 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.
1
vote
1answer
94 views

Show that $ \lVert A \rVert_2^2 \leq \lVert A \rVert _1 \lVert A \rVert _ \infty $

With the definition of $ \lVert A \rVert_2$ and $\lVert A \rVert_1$ and $\lVert A \rVert_ \infty$ that is: \begin{gather} \lVert A\rVert_1 = \max_{j} \sum_{i=1}^m \lvert a_{ij}\rvert\\ \lVert ...
9
votes
2answers
1k views

How to prove $C_1 \|x\|_\infty \leq \|x\| \leq C_2 \|x\|_\infty$?

I want to prove the following theorem (no idea whether it has a name): Let $V = \mathbb{R}^n$ or $\mathbb{C}^n$ and $\|\cdot\|$ be a norm on $V$. Then, there exist $C_1, C_2 > 0$ such that for all ...
36
votes
2answers
10k views

Difference between metric and norm made concrete: The case of Euclid

This is a follow-up question on this one. The answers to my questions made things a lot clearer to me (Thank you for that!), yet there is some point that still bothers me. This time I am making ...
6
votes
1answer
6k views

Why does spectral norm equal the largest singular value?

This may be a trivial question yet I was unable to find an answer: $$\left \| A \right \| _2=\sqrt{\lambda_{\text{max}}(A^{^*}A)}=\sigma_{\text{max}}(A)$$ where the spectral norm $\left \| A \right ...
5
votes
1answer
187 views

A name for the property $ \| x \star y \| = \| x \| \| y \| $.

Suppose that $ \star: V^2 \to V $ is some binary operation on a vector space $ V $. Should it hold, is there a name for the following property? $$ \forall x,y \in V: \quad \| x \star y \| = \| x \| \| ...
7
votes
3answers
362 views

Sequences are Cauchy depending on the norm?

Assume that we have two Banach spaces $B_1, B_2$ with their underlying sets being identical. Is it possible that a Cauchy sequence in one of the spaces would fail to be Cauchy in the other? I am ...
3
votes
2answers
1k views

Equivalence of norms proof

This question is from a set of optional, much harder problems from my first year analysis course, but the subject material is norms on $\mathbb R^K$. (c) Show that there exists a constant $C > 0$ ...
2
votes
4answers
1k 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
165 views

$\| AB\|_\square \leq 1$ implies $\| BA\|_\triangle \leq 1$

In this post norm denotes a matrix norm, i.e. it is sub-multiplicative. All matrices are real. $A$ is of size $n \times k$ with independent columns ($k \leq n$). $B$ is of size $k \times n$. Let $\| ...
0
votes
1answer
56 views

Inequality between 2 norm and 1 norm of a matrix

When reading Golub's "Matrix Computations", I came across a series of norm inequalities. While I could prove a lot of them, this one has me stuck: $$ \frac{1}{\sqrt{m}} ||A||_1 \le ||A||_2 \le ...
12
votes
3answers
2k views

How many elements in a number field of a given norm?

Let $K$ be a number field, with ring of integers $\mathcal{O}_k$. For $x\in \mathcal{O}_K$, let $f(x) = |N_{K/\mathbb{Q}}(x)|$, the (usual) absolute value of the norm of $x$ over $\mathbb{Q}$. ...
25
votes
1answer
2k views

On the norm of a quotient of a Banach space.

Let $E$ be a Banach space and $F$ a closed subspace. It is well known that the quotient space $E/F$ is also a Banach space with respect to the norm $$ \left\Vert x+F\right\Vert_{E/F}=\inf\{\left\Vert ...
15
votes
2answers
6k views

Understanding the properties and use of the Laplacian matrix (and its norm)

I am reading the wikipedia article on the Laplacian matrix: http://en.wikipedia.org/wiki/Laplacian_matrix I don't understand what is the particular use of it; having the diagonals as the degree and ...
8
votes
2answers
170 views

Prove of inequality under a Hilbert space.

Let $x\neq y$ when $x,y\in H$ and H is a Hilbert space which satisfy $\|x\|=\|y\|=r$. Show that $\|\frac{x+y}{2}\|<r$. Actually in my question r=1 but as far as i could understand there is a way ...
5
votes
1answer
2k views

Show that the norm of the multiplication operator $M_f$ on $L^2[0,1]$ is $\|f\|_\infty$

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 ...
4
votes
1answer
790 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 ...
9
votes
2answers
844 views

From norm to scalar product

In the Eculidean Space, one can automatically define a norm if a specific scalar product is given. On the contrary, it's not always true. A p-norm is a scalar product if and only if p=2. My question ...
7
votes
2answers
399 views

Existence of norm for C*-Algebra

I was wondering wether one can always find/construct a norm which turns an involutive algebra into a C*-algebra. For sure, if it exists it is unique, but does it always exist. If not can you provide a ...
4
votes
2answers
1k views

I am not sure how to calculate this norm?

I have the following matrix: $$A= \begin{bmatrix} 1 & 0 & 0 \\ 0 & 1 & 1 \\ 0 & 0 & 1 \\ \end{bmatrix} $$ What is the norm of $A$? I ...
1
vote
1answer
4k views

Proof of matrix norm property: submultiplicativity

I've been searching for the definition of the submultiplicative (I think it has multiple names from what I've seen) property in proof form. Some books define it as part of the properties that define ...
6
votes
3answers
3k 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 ...
4
votes
1answer
275 views

Matrix Norm set #2

As a complement of the question Matrix Norm set and in order to complete the Problem 1.4-5 from the book: Numerical Linear Algebra and Optimisaton by Ciarlet. I have this additional conditions: (3) ...
3
votes
2answers
383 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 ...
1
vote
2answers
3k views

Frobenius Norm Triangle Inequality

How can I go about proving the triangle inequality holds for the Frobenius norm? I worked through $\|A+B\|_F \le \|A\|_F + \|B\|_F$ and was not able to make it work =/.
11
votes
6answers
6k views

Derivative of nuclear norm

I'm trying to take the derivative of nuclear norm with respect to its argument. nuclear norm is defined in the following way: $$\|x\|_*=\mathrm{tr}(\sqrt{x^Tx})$$ I'm trying to calculate: ...
16
votes
1answer
11k views

Relations between p norms

The p-norm is given by $||x||_{p} = (\sum_{n=1}^{\infty }|x_{n}|^{p})^{1/p}$. For $0 < p < q$, it can be shown that $||x||_{p} \geq ||x||_{q}$ (1, 2). It appears that in $R^{n}$ a number of ...
13
votes
3answers
4k views

Dual norm intuition

The dual of a norm $\|\cdot \|$ is defined as: $$\|z\|_* = \sup \{ z^Tx \text{ } | \text{ } \|x\| \le 1\}$$ Could anybody give me an intuition of this concept? I know the definition, I am using it ...
10
votes
2answers
18k views

What is the difference between the Frobenius norm and the 2-norm of a matrix?

Given a matrix, is the Frobenius norm of that matrix always equal to the 2-norm of it, or are there certain matrices where these two norm methods would produce different results? If they are ...
4
votes
2answers
144 views

What are some usual norms for matrices?

I am familiar with norms on vectors and functions, but do there exist norms for spaces of matrices i.e. $A$ some $n \times m$ matrix? If so, that would that imply matrices also form some sort of ...
6
votes
3answers
3k views

Examples of metric spaces which are not normed linear spaces?

Give an example of a metric space which is not a normed linear space. Justify your example.
4
votes
1answer
5k views

How to prove triangle inequality for $p$-norm?

If $\mathcal{M}=\{M_i : i\in I_n\}$ is a collection of metric spaces, each with metric $d_i$, we can make $M=\prod_{i\in I_n}M_i$ a metric space using the $p$-norm, we simply set $d : M\times M\to ...
9
votes
2answers
212 views

Basic question about $\sup_{x\neq 0}{} \frac{\|Ax\|}{\|x\|} = \sup_{\|x\| = 1}{\|Ax\|} $, $x \in\mathbb{R}^n$

I am having trouble with understanding the following definition while studying some basic things related with matrix norms: For every matrix $A\in M_n(\mathbb{R})$ $$\sup_{x\neq 0}{} ...
5
votes
1answer
1k 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 ...
8
votes
1answer
94 views

For any three vectors $x,y,z\in\mathbb{R}^d$, we have $ \|y-z\|\cdot\|x\|\leq\|x-y\|\cdot\|z\|+\|z-x\|\cdot\|y\|$

Does anyone know a proof of the following problem? Problem: Show that for any three vectors ${\bf x}, {\bf y}, {\bf z}\in \mathbb{R}^d$ the following holds, $$ \|{\bf y} - {\bf z}\|\cdot \|{\bf x}\| ...
6
votes
1answer
1k views

Average norm of a N-dimensional vector given by a normal distribution

I'm interested in knowing what is the expected value of the norm of a vector obtained from a gaussian distribution in function of the number of dimensions $N$ and $\sigma$, i.e: $E[||x||_2]$, $x $~$ ...
5
votes
1answer
465 views

continuity of norms with respect to $p$

Let $f\in L^{\infty}(\Omega,\Sigma,\mu)\cap L^{1}(\Omega,\Sigma,\mu)$. Then $w(p)=||f||_p$ is continuous function of $p$ for any $p\in [1,\infty)$. How to prove this? I have obtained the proof that ...
4
votes
2answers
1k 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= ...
3
votes
1answer
689 views

The openness of the set of positive definite square matrices

Let $\mathbb{R}^{n\times n}$ be the vector space of square matrices with real entries. For each $A\in \mathbb{R}^{n\times n}$ we consider the norms given by: $$ \displaystyle\|A\|_1=\max_{1\leq j\leq ...
1
vote
3answers
2k views

2-norm vs operator norm

I have read that we define the "2-norm" of a matrix as $$\max_i \,{|\sigma_i|},$$ which I have also heard called the "operator norm" (here $\sigma_i$ are the singular values). Also we have the ...
4
votes
1answer
296 views

Proof of an inequality of $L^p$ norms

For a general measure space, we define : $\|f\|_p= \left(\int\vert f\vert^p du\right)^{1/p}$. Let $0 < a < b < c < \infty$ and prove the following: $$ \|f\|_b \leqslant \max\{\|f\|_a, ...
3
votes
1answer
273 views

Any positive linear functional $\phi$ on $\ell^\infty$ is a bounded linear operator and has $\|\phi \| = \phi((1,1,…)) $

This is a small exercise that I just can't seem to figure out. When I see it I'll probably go 'ahhh!', but so far I haven't made any progress. I'd like to prove that any linear functional $\phi$ on ...
3
votes
2answers
289 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 ...
2
votes
1answer
254 views

A counter example of best approximation

Construct a point $f\in C[0,1]$ and a closed subspace $V\subset C[0,1]$ such that $f$ does not have a best approximation in $V$. Definition: $C[0,1]$ is the set of countinous function with the norm ...
2
votes
1answer
1k views

Proof of Clarkson's Inequality

Trying to find a proof for Clarkson's inequality, which states that if $2 \leq p < \infty$, then for any $f, g \in L^p$, we have that $$\left|\left|f+g\right|\right|_p^p + ...