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
1answer
300 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, \|f\...
4
votes
3answers
422 views

Proving two results about the spectral radius

How do I prove these two theorems? Furthermore, can I apply them to infinite-dimensional spaces, such as Banach spaces? Theorem 1. Let $M\in \mathbb{C}_{n\times n}$ be a matrix and $\epsilon >...
4
votes
1answer
302 views

$\|f+g\|_p\leq\|f\|_p+\|g\|_p$ where $\|f\|_p=(\int_{a}^{b}|f(t)|^p dt)^\frac{1}{p}$

Using the fact that $$cd\leq\frac{c^p}{p}+\frac{d^q}{q}$$ if $$\frac{1}{p}+\frac{1}{q}=1$$ and letting $$c=\frac{|f(t)|}{\left(\int_{a}^{b}|f(t)|^p dt\right)^\frac{1}{p}}$$ and $$d=\frac{|g(t)|}{\left(...
4
votes
1answer
31 views

Source/explanation for this matrix inequality

Here it is: $$z^\top M^{-1} M^{-1}z \le \|M^{-1}\| z^\top M^{-1} z.$$ Where $\pmb M$ is positive definite symmetric, $z$ is a vector in $\mathbb{R}^p$ (not necessarily normed!) and $||\pmb M||$ is ...
4
votes
2answers
50 views

Showing two norms on $\mathbb{R}^n$ are dual

I am having trouble showing the following result. If $A$ is a positive definite matrix, then the norms (on $\mathbb{R}^n$) $\|x\|_A:= \sqrt{x^\top A x}$ and $\|y\|_{A^{-1}}:= \sqrt{y^\top A^{-1} y}...
4
votes
1answer
57 views

Weakest condition on $f\colon \Bbb R^2\to \Bbb R$ so that $f(\|x\|_1,\|x\|_2)$ is a norm.

$\newcommand{\norm}[1]{\|#1\|_1}\newcommand{\morm}[1]{\|#1\|_2}\newcommand{\xorm}[1]{\|#1\|_3}$ Let $X$ be a finite dimensional Banach space and $f\colon \Bbb R^2\to \Bbb R$. What is the weakest ...
4
votes
2answers
47 views

How do I find $\|T\|$ when given a matrix $T$?

How do I find the norm $\|T\|$ of T: $\mathbb{R}^3 \rightarrow \mathbb{R}^3$ is defined by $T(x) := Ax$, where $A:= \begin{pmatrix} 0 & 2 & 0 \\ 1 & 0 & 0 \\ 0 & 0 & 3 \end{...
4
votes
2answers
238 views

Minimizing the Frobenius Norm

I would like to minimize the following expression with respect to matrix X: $$\left \| A-BX \right \|_{F}$$ where A and B matrices are given and all the matrices have positive integer elements. Any ...
4
votes
3answers
929 views

Show that the sup-norm is not derived from an inner product

I am trying to show that the norm $$\lVert{\cdot} \rVert _{\infty}=\sup_{t \in R}|x(t)|$$ does not come from an inner product (the norm is defined on all bounded and continuous real valued functions)....
4
votes
1answer
367 views

Inequality of Frobenius norm for skew matrices

Let $A$ be a complex skew-symmetric $n \times n$ matrix, that is, $A^T = -A$. Denote by $\|\cdot\|_F$ the Frobenius norm, that is, $\|B\|_F^2 = \text{trace}(B^*B)$. I would like to prove that $$ \big\|...
4
votes
1answer
2k views

Converting sum of infinity norm and L1 norm to linear programming

So I'm trying to convert this minimization problem, min $\parallel Ax-y \parallel_{\infty}$ + $\parallel x \parallel_{1}$ where $A$ is $m$ by $n$, $y$ is $m$ by $1$ and $x$ is $n$ by $1$. into a ...
4
votes
3answers
1k views

Monotonicity of $\ell_p$ norm

Consider a $n$ dimensional space, it is known (Wikipedia) that for $p>r>0$, we have $$ \|x\|_p\leq\|x\|_r\leq n^{(1/r-1/p)}\|x\|_p. $$ I have two questions about the above inequality. $(\bf 1)...
4
votes
1answer
111 views

How to show that $\left \| AB \right \|_F \leq \min (\left \| A \right \|_F \left \| B \right \|_2 , \left \| A \right \|_2 \left \| B \right \|_F)$?

For any matrices $A \in \mathbb{C}^{m \times k}$ and $B \in \mathbb{C}^{k \times n}$, show that $\left \| AB \right \|_F \leq \min (\left \| A \right \|_F \left \| B \right \|_2 , \left \| A \right \|...
4
votes
1answer
598 views

How to show the unit ball of the dual norm is also polytope?

Assuming the norm's unit ball is a convex polytope. How can one show that the unit ball of the dual's norm is convex polytope and/or polytope ?
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 ...
4
votes
1answer
278 views

$L_1$ projection of sum of convex functions onto polytopes

Suppose I have a function $f(x) : \mathbb R^n \to \mathbb R$ that is the sum of a given strictly convex function $g : \mathbb R \to \mathbb R$ in a single variable, i.e. $f(x) = g(x_1) + g(x_2) + \...
4
votes
1answer
49 views

Applying equivalence of norms on $\mathbb R^n$ .

Let $\|\cdot\|$ be any norm on $\mathbb R^n$. Prove that a sequance on $\mathbb R^n$ converges to an element $x \in \mathbb R^n$ under the $\|\cdot\|_2$ norm if and only if the sequance converges to $...
4
votes
1answer
43 views

Bounding a function of norms on the unit cube

For a vector $v \in [0,1]^n$ and $p > 1$ we denote the p-norm of $v$ as: $||v||_p = (\sum_iv_i^p)^{\frac{1}{p}}$. where $v_i$ are the entries of $v$. Define the following (weird looking) function $...
4
votes
1answer
602 views

Is the $L_\infty$ norm of the $\mathcal{l}_2$ norm of this sequence of functions finite?

I am interested in proving or disproving the following claim and am stuck. We define a series of functions with the following properties. For each $i\in \mathbb{N}$ let $f_i\colon \mathbb{R}^+ \to \...
4
votes
1answer
112 views

Fake proof: Equivalence of norms

Good morning. I'm having a hard time finding what's wrong with the following argument. Let $f$ be any function in $C^{1}([0;1])$ and let $||f||$ and $N(f)$ be two norms defined as follows: $$||f|| = \...
4
votes
1answer
64 views

Compute $\| T \|$ with the norm $\| \cdot \| := \max_{j=1,\ldots,n} (|\cdot_j|)$

Let $A \colon = [\alpha_{ij}]_{m\times n}$ be a given $m \times n$ matrix of real numbers. Let $\mathbb{R}^n$ be the normed space of all ordered $n$-tuples of real numbers with the norm defined as ...
4
votes
1answer
249 views

Inequivalent norms (given by different inner products) on infinite dimensional Hilbert space.

I have this question in reviewing for my exam. Let $H$ be an infinite dimensional Hilbert space. Write down an inner product on $H$ that gives a norm inequivalent with the original norm. Is $H$ ...
4
votes
1answer
44 views

Is this sufficient for continuity?

Assume you have a map $\phi : V \rightarrow \mathbb{C}$, where $V$ is a complex vector space. Now, if we have $\phi(\lambda x) = |\lambda | \phi(x)$ and $\phi(x+y)^2+ \phi(x-y)^2 = 2\phi(x)^2 +2 \phi(...
4
votes
1answer
59 views

Estimate the Cauchy integral for matrix-valued functions

Recently, I became familiar with the concept of the "matrix function via Cauchy integral", i.e., $$f(A):=\frac{1}{2\pi i}\int_\varGamma f(z)(zI-A)^{-1} \mathrm{d}z$$ Furthermore, it can be shown that $...
4
votes
2answers
96 views

let $A$ be an n by n matrix, show that $||A||_{OP} \leq ||A||_{HS} \leq \sqrt{n} ||A||_{OP}$

We are given $A \in M_{n}(\mathbb R)$ and the following norms: $||.||_{e}$ is the standard euclidean norm of $\mathbb R^n$. $||A||_{OP}$ is the operator norm of $A$, meaning $||A||_{OP} = sup_{||v||...
4
votes
1answer
284 views

How to determine a operator norm?

How to solve following: In Hilbert space $W_2^1=\{f:[0,1]\rightarrow \mathbb{C}|f\in AC[0,1], f'\in L^2[0,1]\}$ with scalar product $(f,g)=\int_0^1 f\overline{g}dx+\int_0^1 f'\overline{g'}dx$ is ...
4
votes
2answers
111 views

norm of inverse less than 1

I just wanna ask if what I am doing here make sense: Let $\epsilon$ be arbitrary positive number. Choosing $\epsilon$ and let it approaches 0, I would like to have $||(I-\epsilon A)^{-1}|| < 1$. ...
4
votes
1answer
276 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) ...
4
votes
1answer
237 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
1answer
467 views

Poincaré's lemma with norm in $H_{0}^{1}$

I wonder why $\| u\|_{H_0^1} = \int_{\Omega} |Du|^2$ for u in $H_0^1(\Omega)$, with $\Omega = (-1,1)$? I might be wrong but isn't $\| u\|_{H^1} = \| u\|_{L^2} + \| Du\|_{L^2}$? How come that $\| u\|_{...
4
votes
1answer
200 views

Absolute norms and 1-unconditional sums

Absolute norm Let $X$ and $Y$ be Banach spaces. Let $Z=X\times Y$ a norm $\|\cdot\|_N$ on $Z$ is called absolute if there is a function $N\colon R^2\rightarrow R$ such that $$ \|(x,y)\|_N=N((\|x\|, \|...
4
votes
2answers
782 views

$L^p$ norm of multivariate standard normal random variable

Given $X_i\sim \mathcal{N}(0,1)$ what is the behaviour of $$ ||X||_{l^p}=(\sum_{i=1}^n|X_i|^p )^{1/p}$$ as $n\rightarrow \infty$? For $p=2$ results about $\chi$-distribution tell us that $$\mathbb{P}...
4
votes
1answer
492 views

Prove a basic fact on a linear combination of vectors

Let $x_i (i=1,...,n, n>d)$ be a unit vector in $R^d$. $c_i>0$ is a positive real scalar. How to prove the following fact? Fact: There exist some vectors $x_i$ such that $\sum_{i=1}^n c_i x_i=0$...
4
votes
2answers
33 views

Showing this a norm

I want to show that $$\| x \| = \sum_{n=1}^{\infty} \frac{1}{2^n} \frac{\left| x_n \right|}{1+\left| x_n \right|}$$ is a norm. I'm fine showing positivity and the triangle inequality, to show the ...
4
votes
0answers
92 views

A Matrix Norm Inequality $\|A^{1/2}B^{1/2}(A+B)^{-1/2}\|_F \geq \|A^{1/2}(A+B)^{-1/2}B^{1/2}\|_F$

Let $\|X\|_F:= \sqrt{\text{Tr} \left(XX^\dagger\right) }$ denote the Frobenius norm. Does anyone know how to show the norm inequality: $\left\|A^{\frac12}B^{\frac12}(A+B)^{-\frac12}\right\|_F \geq ...
4
votes
0answers
34 views

Equivalences for a Banach lattice

I'm trying to prove the following equivalences for a Banach lattice $E$: $E$ has an order continuous norm Every monotone order bounded sequence in $E$ is convergent E is an ideal in $E^{**}$...
4
votes
1answer
58 views

Showing that the operator is bounded and find its norm.

I have this operator $T: L^p(0,\infty)\rightarrow L^p(0,\infty)$, $1<p<\infty$ : $(Tf)(x)=1/x\int_0^xf(t)dt$. I am supposed to show that it is bounded and fint its norm. I had an idea that ...
4
votes
0answers
85 views

Differentiation operator on smooth function with compact support

Suppose $f$ is $C^\infty$ with compact support. Let $T_n$ be the operator which sends $f$ to its $n$-th derivative. Is $||T_nf||_\infty$ bounded? It seems like I should use Stone-Weierstrass, but ...
4
votes
0answers
324 views

norm of differential operator on $P^n[0,1]$

Consider the space $P^n[0,1]$ of polynomials of degree $\leq n$ on $[0,1]$, equipped with the sup norm. Now, this is a finite dimensional space, so all linear operators have to be continuous, hence ...
4
votes
0answers
122 views

Proving norm equivalence in $W^{1-1/p,p}(\Omega)$

Define for $p\in [1,\infty)$ and $\Omega=(0,1)^N\subset\mathbb{R}^N$ $$W^{1-1/p,p}(\Omega)=\left\{u\in L^p(\Omega): \ \int_\Omega\int_\Omega\frac{|u(x)-u(y)|^p}{|x-y|^{N-1+p}}dxdy<\infty\right\}$$ ...
4
votes
2answers
385 views

Effect of doubly stochastic matrix on vector norm

Let $D$ be a $N \times N$ doubly stochastic matrix, $x$ be a $N$ dimensional vector. What is the relation between $\Vert Dx \Vert_2$ and $\Vert x \Vert_2$? In addition if $\Vert x \Vert_2=1$, what ...
3
votes
4answers
109 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
4answers
895 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
3answers
655 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.
3
votes
3answers
104 views

Proving that $X$ is a Banach space iff convergence of $\sum\|x_n\|$ implies convergence of $\sum x_n$

The following is an Exercise of Conway's Functional Analysis. Prove that $X$ is a $\,Banach$ space iff whenever $\{x_n\}$ is a sequence in $X$, such that $\sum \| x_n \| < \infty$, then $\sum x_n$...
3
votes
3answers
2k 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
3answers
61 views

What does $\mathbb{R}^\mathbb{N}$ actually mean?

We all know what $\mathbb{R}^n$ means. But I came across this statement about $\mathbb{R}^\mathbb{N}$ in a note that says $\mathbb{R}^\mathbb{N}$ is a vector space under pointwise operations has no ...
3
votes
2answers
521 views

Examples of infinite dimensional normed vector spaces

In my notes on functional analysis it mentions that $C([0,1]),\ell^p$ and, $\ell^\infty$ are normed vector spaces, and gives some examples of norms that we can define on them. However, it then simply ...
3
votes
3answers
68 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
1answer
91 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$ ...