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

58
votes
4answers
11k 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}$ ...
19
votes
2answers
5k 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 ...
17
votes
4answers
480 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 ...
16
votes
1answer
1k 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 ...
14
votes
4answers
438 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 ...
14
votes
1answer
540 views

Multiplicative norm on $\mathbb{R}[X]$.

How to prove that : there is no function $N\colon \mathbb{R}[X] \rightarrow \mathbb{R}$, such that : $N$ is a norm of $\mathbb{R}$-vector space and $N(PQ)=N(P)N(Q)$ for all $P,Q \in \mathbb{R}[X]$. ...
13
votes
2answers
4k 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 ...
12
votes
1answer
332 views

A sharper bound for $\|\cos(kA)\|_{\infty}$ for symmetric stochastic matrices

Given $A \in \mathbb{R}^{n \times n}$ that is symmetric, stochastic and diagonalizable, and $k \in \mathbb{N}$, I am interested in bounding $\|\cos(kA)\|_{\infty}$ from above. $\| \|_{\infty}$ is ...
10
votes
3answers
1k 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}$. ...
10
votes
1answer
3k views

How are norms different from absolute values?

Hopefully without getting too complicated, how is a norm different from an absolute value? In context, I am trying to understand relative stability of an algorithim: Using the inequality ...
10
votes
1answer
337 views

Maximum subset sum of $d$-dimensional vectors

This is a $d$-dimensional generalisation of the post Inequality with Complex Numbers. (See my comment under Robert Israel's answer.) Generalising Potato's proof for $d$-dimensions, we can show the ...
9
votes
2answers
690 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 ...
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 ...
9
votes
5answers
881 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: ...
9
votes
2answers
349 views

On the convexity of element-wise norm 1 of the inverse

Let us define $\|A\|_1$ the element wise norm 1 of a matrix $A \in \mathbb{R}^{n \times m}$ as $$ \|A\|_1= \sum_{i,j} |A_{i,j}|. $$ Obviously, this function is convex over $\mathbb{R}^{n \times m}$. ...
8
votes
4answers
4k views

How do I calculate the $p$-norm of a matrix?

I know that the $p$-norm for a matrix is: $$\|A\| = \max_{x\neq 0} \frac{\|Ax\|_p}{\|x\|_p}$$ but I don't know what this really means. So how would I compute the $2$-norm, $3$-norm, etc for the ...
8
votes
3answers
374 views

Attaining the norm of an ideal in a number field by the norm of an element

Let $K$ be a number field of degree $n$ and $\mathfrak{a}$ be an ideal in its ring of integers $\mathcal{O}_K$. We can consider: The norm $N(\mathfrak{a})$ of $\mathfrak{a}$. The norms $N(x)$ of the ...
8
votes
2answers
301 views

Finding all scalars $k$ such that $\| kv \| = 10$

I have a homework question that asking to Find all scalars $k$ such that $\|kv\| = 10$ when $v=(1,-4,6)$. What I did that that I found the norm of $v$ which I found to be $\sqrt{53}$. Then I ...
8
votes
2answers
191 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}{} ...
8
votes
1answer
4k 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 sppears that in $R^{n}$ a number of ...
8
votes
2answers
9k 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 ...
8
votes
1answer
92 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}\| ...
8
votes
1answer
213 views

When does $\|z^2\|=\|z\|^2$

Let $k \in \mathbb{Z}$ and consider the field extension $K := \mathbb{Q}[\sqrt{k}]$. Define a norm on $K$ given by $\|p+q\sqrt{k}\| := \sqrt{p^2+q^2}$. For any $z \in K$, I was interested to know when ...
7
votes
3answers
692 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 ...
7
votes
3answers
510 views

Physical meaning of norm of a matrix

I know norm of a vector is a length of a vector from origin. So what is the motivation behind defining the norm of the matrix? What is the physical meaning of norm of a matrix? Any help is ...
7
votes
2answers
227 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 ...
7
votes
2answers
4k views

How does one prove that the spectral norm is less than or equal to the Frobenius norm?

How does one prove that the spectral norm is less than or equal to the Frobenius norm? The given definition for the spectral norm of $A$ is the square root of the largest eigenvalue of $A*A$. I don't ...
7
votes
1answer
2k views

Equivalent norms

Whenever two norms are equivalent in the sense that $||x||_1\le c_1\cdot ||x||_2$ and $||x||_2\le c_2\cdot ||x||_1$, they generate the same topology. Is the reverse also true, i.e. if a topology is ...
7
votes
1answer
875 views

relations between distance-preserving, norm-preserving, and inner product-preserving maps

An inner product can induce a norm by defining $\|x\| = \sqrt{\langle x,x \rangle}$, the a norm can induce a metric by setting $d(x,y) = \|x - y\|$. But not every norm (metric) is induced from inner ...
7
votes
2answers
324 views

Is a completion of an algebraically closed field with respect to a norm also algebraically closed?

Assume we have an algebraically closed field $F$ with a norm (where $F$ is considered as a vector space over itself), so that $F$ is not complete as a normed space. Let $\overline F$ be its completion ...
7
votes
1answer
617 views

On matrix norm equivalence

For finite dimensional spaces, all norms are equivalent, i.e. there exist constants say $A,B$ such that for all matrices from the $\mathbf M \in R^{d\times d}$ (let $d$ be a fixed positive integer) ...
7
votes
1answer
582 views

Does convexity of a 'norm' imply the triangle inequality?

Given a vector space $V$ (for convenience, defined over $\mathbb{r}$), we call $d:V\rightarrow\mathbb{R}$ a norm for $V$ if $\forall \mathbf{u}, \mathbf{v} \in V$ and $\forall r \in \mathbb{R}$ we ...
7
votes
4answers
129 views

How to find x so that $\|A x\| = \|A\| \|x\|$ holds

The subbordinance property of matrix-vector multiplication states that $\|A x\| \le \|A\| \|x\|$ where $\|x\|$ is the norm of vector $x$ and $\|A\|$ is the induced norm of matrix $A$. Many textbooks ...
7
votes
1answer
274 views

Does this cross-product norm inequality hold?

Let $\times$ denote the cross-product. $\;$ Is it the case that For all unit vectors $\:\mathbf{x}\hspace{.01 in},\hspace{-0.03 in}\mathbf{y}\hspace{-0.03 in},\hspace{-0.02 in}\mathbf{z}\:$ in ...
7
votes
1answer
233 views

Help me understand this proof (showing that something is a norm).

I am reading the following paper: Takáč, Peter On the Fredholm alternative for the p-Laplacian at the first eigenvalue. Indiana Univ. Math. J. 51 (2002), no. 1, 187–237. I need help to understand the ...
7
votes
0answers
355 views

Monotone matrix norms

[Ciarlet 2.2-10] Let $\mathscr{S}_n$ be the set of symmetric matrices and $\mathscr{S}_n^+$ the subset of non-negative definite symmetric matrices. A matrix norm $\|\cdot\|$ to be monotone if ...
6
votes
3answers
1k views

Why is this true: $\|x\|_1 \le \sqrt n \cdot \|x\|_2$?

Stuck, help, please, I am really new to this. I opened the 2-norm and multiplied by $n$, then I am thinking to square both sides. The problem is that I do not know how to open $(x_1 + x_2 + ... + ...
6
votes
1answer
1k views

Is there a geometric meaning of the Frobenius norm?

I have a positive definite matrix $A$. I am going to choose its Frobenius norm $\|A\|_F^2$ as a cost function and then minimize $\|A\|_F^2$. But I think I need to find a reason to convince people it ...
6
votes
1answer
1k views

Why should I avoid the Frobenius Norm?

I vaguely remember the Frobenius matrix norm ( ${||A||}_F = \sqrt{\sum_{i,j} a_{i,j}^2}$ ) was somehow considered unsuitable for numerical analysis applications. I only remember, however, that it was ...
6
votes
1answer
90 views

Is it true that $A \geq B$ implies $\|A\|_2 \geq \|B\|_2$ for $A,B \geq 0$?

All matrices are real and not necessarily symmetric. Denote by $A \geq B$ the condition that $(A-B)$ has eigenvalues with non-negative real parts. Denote by $\| \cdot \|_2$ the $L_2$ matrix norm. Is ...
6
votes
2answers
451 views

equivalence of norms

I would like a little help here: I have two defined norms over $C^{1}([0,1])$ : $\| A(f)\|=|f(0)|+\max_{x\in[0,1]}{|f'(x)|}$ $\| B(f)\|=\int_0^1|f(x)|dx+\max_{x\in[0,1]}{|f'(x)|}$ I already ...
6
votes
2answers
382 views

Cauchy-Schwarz for metrics with arbitrary signatures

When the norm of a vector is always greater than or equal to zero, the Cauchy-Schwarz inequality holds, but what if we look at a metric with an arbitrary signature? Then the inner product of a vector ...
6
votes
3answers
3k views

Why is minimizing the nuclear norm of a matrix a good surrogate for minimizing the rank?

A method called "Robust PCA" solves the matrix decomposition problem $$L^*, S^* = \arg \min_{L, S} \|L\|_* + \|S\|_1 \quad \text{s.t. } L + S = X$$ as a surrogate for the actual problem $$L^*, S^* ...
6
votes
2answers
436 views

Counterexamples of Arzèla Ascoli theorem for non-obeyed criteria

I had an exam on functional analysis some time ago, and one of the questions I couldn't make any sense out was the following: Let $\Omega\subset \mathbb{R}$ and $\{f_n\}$ a sequence of continuous ...
6
votes
1answer
112 views

A metric on $\mathbb{R}^n$ such that $d(\lambda x, \lambda y)=|\lambda| d(x,y)$ which is not induced by a norm

Let $V=\mathbb{R}^n$. Let $d:V \times V\rightarrow \mathbb{R}$ a metric on $\mathbb{R}^n$. Assume that for any $x,y\in V$ and $\lambda \in \mathbb{R}$, we have $d(\lambda x, \lambda y) = ...
6
votes
2answers
777 views

What matrices preserve the $L_1$ norm for positive, unit norm vectors?

It's easy to show that orthogonal/unitary matrices preserve the $L_2$ norm of a vector, but if I want a transformation that preserves the $L_1$ norm, what can I deduce about the matrices that do this? ...
6
votes
1answer
2k views

Trace Norm properties

Let $||A||_1=\operatorname{trace}(\sqrt{A^* A})$. I already proved that for arbitrary unitary matrices $U$ and $V$, $||UAV^*||_1=||A||_1$ and $||A||_1=\sigma_1+\dots+\sigma_k$. Now I would like to ...
6
votes
1answer
182 views

$\exp(\ln(x))=x$ and $\ln(\exp(y))=y$.

Let $(A,1_A,|\cdot{}|)$ be a unital Banach algebra, for instance $A=M_n(\Bbb R)$ or $M_n(\Bbb C)$. What is the union of all open unit balls $B_{\|\cdot{}\|}$ where $\|\cdot{}\|$ ranges over all ...
6
votes
3answers
106 views

What are some uses for other norms on $\mathbb{R}^n$

We all know and love the standard $1,2,$ and $\infty$-norms on $\mathbb{R}^n$. However, I have never seen anyone mention uses for any of the other $k$-norms that I'm defining as ...
6
votes
1answer
307 views

Matrix Norm set

I need help with this problem: Let $\|\cdot\|$ and $\|\cdot\|^{\prime}$ two matrix norms, and consider the relation $$\|\cdot\| \leq \|\cdot\|^{\prime}\ \Leftrightarrow\ \|A\| \leq \|A\|^{\prime},$$ ...