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

47
votes
3answers
7k 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}$ ...
18
votes
2answers
3k 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 ...
16
votes
4answers
451 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 ...
14
votes
4answers
359 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
481 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]$. ...
11
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 ...
11
votes
1answer
689 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 ...
10
votes
3answers
890 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
2k 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 ...
9
votes
2answers
944 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
2answers
275 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
3k 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
2answers
213 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
601 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 ...
8
votes
2answers
183 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
89 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
196 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
299 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 ...
7
votes
1answer
301 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 ...
7
votes
2answers
271 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
2answers
104 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: ...
7
votes
1answer
528 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
224 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
199 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 ...
6
votes
2answers
3k 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 ...
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
2answers
319 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
1answer
678 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 ...
6
votes
2answers
6k 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 ...
6
votes
2answers
279 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
1k 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
495 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
279 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},$$ ...
6
votes
1answer
315 views

Calculating the norm of an element in a field extension.

Given a number field $\mathbb{Q}[\beta]$, where the minimal polynomial of $\beta$ in $\mathbb[Z][x]$ has degree $n$, I would like to calculate the norm of the general element ...
6
votes
1answer
468 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 ...
6
votes
3answers
99 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
0answers
74 views

Proof that $\|(a,b)\| \leq \|(c,d)\|$ if $0 \leq a \leq c$ and $0 \leq b \leq d$ [duplicate]

Possible Duplicate: Is norm non-decreasing in each variable? Let $\| \cdot \|$ be any norm on $\mathbb{R}^{2}$. Let $0 \leq a \leq c$ and $0 \leq b \leq d$. Show that $\|(a,b)\| \leq ...
5
votes
2answers
154 views

Existence of norm for C*-Algebra

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

Is $f(x) = |\arctan(x)|$ a norm on $\mathbb{R}$?

Is $f(x) = |\arctan(x)|$ a norm on $\mathbb{R}$? Im checking if the properties of a norm holds for $f(x) = |\arctan(x)|$. $1. \ f(x) \ge 0 \Leftrightarrow |\arctan(x)| \ge 0 \\ 2. \ f(x)=0 ...
5
votes
3answers
169 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 ...
5
votes
2answers
239 views

What is the reason norm properties are defined the way they are?

Suppose we have a complex vector space $V$. A norm is a function $f : V \rightarrow \mathbb{R}$ which satisfies (i) $f(x) \ge 0$ for all $x \in V$ (Positivity - Non-Negativity) (ii) $f(x + y) \le ...
5
votes
2answers
131 views

Calculate $\left\Vert \begin{bmatrix}1 & 2\\ 2 & 4 \end{bmatrix} \right\Vert$

With $$\left\Vert A \right\Vert=\max_{\mathbf{x}\ne 0}\frac{\left\Vert A\mathbf{x}\right\Vert }{\left\Vert \mathbf{x}\right\Vert }$$ and $$A=\begin{bmatrix}1 & 2\\ 2 & 4 \end{bmatrix} $$ ...
5
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 ...
5
votes
1answer
240 views

p-adic norms and products

I came across the following problems about p-adic norms: Problem. Show that $$\prod_{p} |x|_p = \frac{1}{|x|}$$ where the product is taken over all primes $p = 2,3,5, \dots$ and $x \in ...
5
votes
2answers
287 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 ...
5
votes
1answer
2k 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 ...
5
votes
1answer
95 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) = ...
5
votes
1answer
118 views

a conjecture on norms and convex functions over polytopes

Suppose one has a convex, bounded polytope P $\subset R^n$ and a strictly convex function $f$ defined everywhere on $R^n$. $f$ has a unique minimum; and suppose this minimum occurs somewhere strictly ...
5
votes
2answers
223 views

Why is the 2 norm “special”? [duplicate]

Out of all the vector norms, the $2$ norm, or the Euclidean norm, seems to be "special". Primarily, I say this because we use the 2 norm as a means of determining the distance from one point to ...
5
votes
1answer
257 views

Norm in a dual space

If $f \in X^*$, with $X^*$ the dual space consisting of all linear bounded functionals on a linear normed space $X$. With the norm defined as $||f||_{X^{*}} = \sup_{||x|| \leqslant 1} |f(x)|$. Why ...