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

6
votes
3answers
245 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 ...
6
votes
1answer
2k 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 ...
6
votes
1answer
2k 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
103 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
519 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
545 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
132 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
1answer
69 views

Missing a necessary power in this proof - please help.

This question is somewhat related to Gradient Estimate - Question about Inequality vs. Equality sign in one part. That question was related to part (c) of a problem I am working on, and this question ...
6
votes
1answer
36 views

Integral with absolute value of the derivative

I'm trying to estimate this integral $\int_0^1 t |p'(t)|dt$ using this value $\int_0^1 |p(t)|dt$; here $p $ is a real polynomial. This means, I am looking for an $M>0$ such that $$\int_0^1 |t ...
6
votes
1answer
196 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
112 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
2answers
510 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 ...
6
votes
1answer
319 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
616 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
48 views

Finding a norm making a subspace dense

Suppose $V$ is a (real or complex) vector space and $W$ is a subspace of $V$. Under what conditions is there a norm on $V$ making $W$ a dense subspace of $V$? That $V$ and $W$ have the same ...
6
votes
0answers
76 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
4answers
283 views

Why are we defining the norms on certain vector spaces the way they are?

What's the intuition behind defining $\|x\|_{\infty} = \max_{1 \le i \le n}\{|x_i|\}$ on the space of ordered $n$-tuples of complex numbers? I'm asking because I've been asked to find a norm on the ...
5
votes
2answers
241 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
2answers
2k 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 ...
5
votes
3answers
1k views

Norm and square of the ideal $(2,1+\sqrt{-5})$ in the ring of integers

Let $I=(2,1+\sqrt{-5})$ be an ideal of the ring of integers of $\mathbb Q(\sqrt{-5})$. What is its norm $N(I)$? And is $I^2$ principal? My notes say: $1$, $\sqrt{-5}$ is a $\mathbb Z$-basis ...
5
votes
2answers
154 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
48 views

Is there a nowhere differentiable norm on $\Bbb R^n$?

Is there a nowhere differentiable norm on $\Bbb R^n$? The non differentiable norms that I know (e.g. the one norm $\|\cdot\|_1$ and the infinity norm $\|\cdot\|_{\infty}$) are non differentiable ...
5
votes
2answers
151 views

Are there norms on $\Bbb{C}^m$ and $\Bbb{C}^n$ so that the norm $\Vert\cdot\Vert$ is a subordinate norm?

Denote $$\Vert A\Vert=\sum_{1\le j,k\le m}\vert A_{j,k}\vert$$ is cleary a norm over $M_{m,n}(\Bbb{C})$ but not a subordinate norm by taking the identity matrix $I$. So my question is: Can we make ...
5
votes
1answer
937 views

Norm of integral operator in $L^1$

What is the norm of the operator $$ T\colon L^1[0,1] \to L^1[0,1]: f\mapsto \left(t\mapsto \int_0^t f(s)ds\right) $$ ?
5
votes
1answer
182 views

Taking a tricky limit $\lim_{p\to\infty}\int_{\Bbb R^N}\left(\frac{\left\lvert\nabla u\right\rvert}{\left\|\nabla u\right\|_p}\right)^{p-2}\cdots$

$$ \lim_{p\rightarrow \infty} \int_{\mathbb R^N} \left( \frac{\left\lvert \nabla u \right\rvert}{\left\| \nabla u \right\|_p} \right)^{p-2} \frac{\nabla u}{\left\| \nabla u \right\|_p}\cdot \nabla ...
5
votes
3answers
92 views

Equivalence of $\|x\|_1\|x\|_{\infty}$ and $\|x\|_2^2$

Let $x$ be any complex $n$-vector and let $\|\cdot\|_p$ denote the usual $p$-norm. It is easy to show that $\|x\|_2^2\leq\|x\|_1\|x\|_{\infty}$ (Hölder's inequality). What I am rather interested in is ...
5
votes
3answers
140 views

Norm of a linear map is not attained

Prove that the norm of the linear functional $$\phi: l^1 \ni \{x_n \} \rightarrow \sum_{n=1} ^{\infty} (1 - \frac{1}{n} )x_n \in \mathbb{K}$$ equals one but there doesn't exist a sequence $ \{x_n \} ...
5
votes
2answers
1k 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? ...
5
votes
1answer
1k 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 ...
5
votes
1answer
322 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
69 views

What is the implication that $\| \cdot \|_2$ and $\| \cdot \|_\infty$ are equivalent norms on $\mathbb{R^2}$

Given $\mathbb{X}$ = $\mathbb{R^2}$, consider $\| \cdot \|_2$ and $\| \cdot \|_\infty$ We can show that $\| x \|_\infty \leq \| x \|_2 \leq \sqrt2 \| x \|_\infty$ Hence $\| \cdot \|_2$ and $\| ...
5
votes
2answers
47 views

Proving an inequality involving norms of real functions.

If $ f : [a,b] \subset \mathbb{R} \rightarrow \mathbb{R} $ is continuous and differentiable in $(a,b)$, then one can define a norm for such functions as $$ \|f\| = |f(a)| + \max_{x \in (a,b)} |f ...
5
votes
1answer
147 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
82 views

Minkowski type inequality in Banach algebras

Under which circumstances it is true that $\|(A+B)^n\|^{1/n}\le \|A^n\|^{1/n}+\|B^n\|^{1/n}$ for elements $A$ and $B$ in a Banach algebra and a natural number $n$?
5
votes
1answer
138 views

Is Frobenius norm induced by 2 vector norms?

Let in the space $V$ defined norm $ ||\cdot||_V $ and in the space $W$ defined norm $ ||\cdot||_W $ Then consider operator norm induced by 2 vector norms $ ||\cdot||_V $ and $ ||\cdot||_W $ $ ||A|| ...
5
votes
1answer
85 views

Is there a useful relationship between pointwise and $L^2$ distance?

It would be really convenient to get a bound on the point-wise closeness of functions by knowing their $L^2$ distance. Clearly, if two functions are close in the $L^2$ sense, you cannot get a general ...
5
votes
2answers
561 views

Equivalence of Frobenius norm and trace norm

According to [1], [2] and other related publications, the following holds for any matrix $X$: $$\| ...
5
votes
2answers
80 views

Given a matrix $A$ such that $||A||<1$, prove that $I-A$ is invertible

Note: This is a question seen in class while discussing metric spaces and norms, so my recollection might not be 100% accurate. I saw a proof in class, but I wanted to know if there was a different ...
5
votes
1answer
193 views

Generalization of $\frac{a + b}{c + d} \leq \text{max}(\frac{a}{c}, \frac{b}{d})$

I'm looking for a matrix version of the basic inequality for the ratio of two sums of positive numbers: $$\frac{a + b}{c + d} \leq \max\left\{\frac{a}{c}, \frac{b}{d}\right\}.$$ Specifically, I have ...
5
votes
1answer
601 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 ...
5
votes
1answer
538 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 ...
5
votes
1answer
431 views

triangle inequality for a certain norm

Let $d$ be a metric on a (say real) vector space $E$, with the property $$d(x,x+cy)=|c|d(x,x+y)$$ for all $x,y\in E$ and scalars $c$. I am trying to prove that $x\mapsto d(x,0)$ defines a norm. The ...
5
votes
1answer
42 views

Does it matter if you use big $L$ or little $l$ when talking about $L$-norms?

I was reading a post on Quora regarding the application of "$l_1$", "$l_2$" norms for convex linear programming when I became very confused at which $L$-norm the posters are actually referring to. I ...
5
votes
1answer
43 views

Is there any interesting relationship between a Hermitian matrix and its corresponding entrywise absolute?

In general, a Hermitian matrix can have complex off-diagonal terms. Given any Hermitian matrix $[A]_{n,m}$, I can construct another matrix $[\vert A\vert ]_{n,m} =\vert A_{n,m} \vert$. I would like to ...
5
votes
1answer
50 views

Understanding a part of a proof involving Hilbert-Schmidt norm

I came across a proof I do not seem to understand fully, a screenshot is provided below. my concerns are the following: Why does the fact that $||T||_2 = ||UT||_2$ for every unitary U, allow us ...
5
votes
1answer
64 views

A question concerning the Schwartz space

Denote the Schwartz space by $\mathcal S(\mathbb{R})$. I want to show that $\forall n,k \in \mathbb{N} \cup \{0\}$, $\|\cdot\|^{(n,k)} : \mathcal S(\mathbb{R}) \rightarrow [0, \infty)$ defined by ...
5
votes
2answers
140 views

For what $X$ do we have $\|XA\|_{1} \leq 1$ for a given $\|A\|_{1} \leq 1$.

All matrices are real. By $\| \cdot \|_1$ I mean a matrix norm induced by the vector norm $L_1$, i.e. the max of the column sums of absolute values. The matrix $A$ is given and we have $\|A\|_{1} ...
5
votes
1answer
62 views

Equivalent continuation of a metric

Hello fellow mathematicians, I am confronted with the following, supposedly not too difficult, problem: Let $(E,f_1)$ be a normed space and $F \subset E$ a linear subspace. Let $f_2$ be a norm on E ...
5
votes
1answer
316 views

Proving an alternative norm on Sobolev space is equivalent to usual norm

I have this exercice and my problel is only in item 4, and i will desespere. Let $f \in L^2(\mathbb{R}^n).$ 1- Why the equation $\Delta u - u = \dfrac{\partial f}{\partial x_i}$ admits a unique ...
5
votes
1answer
558 views

Using Lax Milgram to find a weak solution in an intersection of Sobolev spaces

I am trying to prove the existence of a weak solution of the problem: $$ -\Delta^2 u = f \in L^2(U)\\ \\ u|_{\partial U}=\Delta u|_{\partial U} = 0 $$ on the bounded open set $U\subset\mathbb{R}^n$ ...