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
209 views

Operator Norm of a Matrix composed of Standard Basis and Fourier Basis

Let $\mathbf{A}_n$ be an $n\times 2n$ matrix (where $n=2^k$) composed of Fourier basis and standard basis; that is, $$\mathbf{A}_n = \begin{bmatrix}\mathbf{I}_n & \mathbf{F}_n\end{bmatrix}$$ ...
4
votes
5answers
85 views

Norm of vector in $\mathbb{R}^3$ with multiple

If we have a vector in $\mathbb{R}^3$ (or any Euclidian space I suppose), say $v = (-3,-6,-9)$, then: May I always "factor" out a constant from a vector, as in this example like $(-3,-6,-9) = ...
4
votes
1answer
299 views

Finding the norm of the operators

How do I find the norm of the following operator i.e. how to find $\lVert T_z\rVert$ and $\lVert l\rVert$? 1) Let $z\in \ell^\infty$ and $T_z\colon \ell^p\to\ell^p$ with $$(T_zx)(n)=z(n)\cdot ...
4
votes
1answer
66 views

An identity involving matrix norm and vector norm in relation to a density matrix in physics

This question is self-contained. For those who are interested, it arises from my study of the paper: K Lendi (1987), Evolution matrix in a coherence vector formulation for quantum Markovian master ...
4
votes
1answer
183 views

Taylor series approximation of function under norm

I am reading this paper. At page number $4$, term $||Au - f||^{2}$ is approximated by taylor series approximation around $u^{k}$. The resulting approximations are $$\|Au - f\|^{2} \approx ...
4
votes
1answer
85 views

How can I prove that $f$ is inner product function

We know the polarization identity in inner product space : $$\langle x,y\rangle= \frac{1}{4} (\|x+y\|^2-\|x-y\|^2) + \frac{i}{4} (\|x+iy\|^2-\|x-iy\|^2) $$ But the question is if we have ...
4
votes
3answers
136 views

Can one find a stronger norm on a Banach space?

Given a Banach space $V$ of infinite dimension with norm $\|\cdot\|_1$, is that possible to find a norm $\|\cdot\|_2$ on $V$ such that the topology induced by $\|\cdot\|_2$ is strictly stronger than ...
4
votes
2answers
118 views

What is the upper bound for this 2-norm

Let $\mathbf{x}$ be the solution to the following problem $$\displaystyle\min_{\mathbf{x}} \|\mathbf{y+Ax}\|_\infty \quad{} \text{subject to} \quad{} \|\mathbf{x}\|_2^2\leq \alpha\|\mathbf{y}\|_2^2$$ ...
4
votes
2answers
56 views

$\left\{x\in H: 2\leq \|x\|\leq 5\right\}$ is compact?

In a Hilbert space $H$ of dimention infinite, $A=\left\{x\in H:2\leq \|x\|\leq 5\right\}$ is compact? (totally bounded and complete) Thanks in advance.
4
votes
1answer
417 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
1answer
306 views

Metric induced by a norm - what conditions should this metric meet?

$(I)$ I've been browsing some problems concerning metrics not induced by norms, and I've found a comment that said that such a metric should be a concave monotone function. Here is the post I'm ...
4
votes
1answer
89 views

Simple question about matrices

My question is simple : If one replaces some of the entries of a matrix by 0, does he obtain necessarily a matrix with a lower norm? I have to precise that the norm I use is the maximum of the ...
4
votes
1answer
82 views

Is it true that bounded metric can never be induced by norm.

Let $(X, d)$ be a metric space where, $d$ is metric on $X$. We know that metric space $X$ is called bounded if there exists some number $r$, such that $d(x,y) ≤ r$ for all $x$and $y$ in $X$. I want ...
4
votes
1answer
102 views

Square matrix $\|Ax-Ay\|\le \|x-y\|$

Could you give me an example of a square matrix $A\in \mathcal{M}_{2 \times 2}$ or $\mathcal{M}_{3 \times 3}$ for which we have $\|Ax-Ay\|\le \|x-y\|$, $ \ \ x, y \in \{0, e_1, . . . , e_n\}, \ \ e_1, ...
4
votes
2answers
73 views

Approximation of matrix in 2-norm

The question is the following: Given a matrix $A$ with rank $k$, we are looking for a matrix $B$ of rank $j$, where $j<k$ such that $\|A-B\|_2$ is minimal. My idea was to choose, if $A=P ...
4
votes
1answer
341 views

Linear isometry between $c_0$ and $c$

The following question is an exercise and so I'm just looking for advices and not for answers if it's possible. I have the following sets in $l^\infty$ $$c_0 := \{x_n \in l^\infty: \lim x_n = 0\} ...
4
votes
1answer
283 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, ...
4
votes
1answer
1k views

Proof that every normed vector space is a topological vector space

The topology induced by the norm of a normed vector space is such that the space is a topological vector space. Can you tell me if my proof is correct? Of course we have to show that addition and ...
4
votes
3answers
402 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
296 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 ...
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
36 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} ...
4
votes
1answer
56 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
44 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 ...
4
votes
2answers
174 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
1answer
255 views

Reproducing Kernel Hilbert Space (RKHS) constructed by the summation of positive-definite kernels.

Let $k_1,\ldots,k_p$ be positive definite kernels defined on $\mathcal{X}\times\mathcal{X}$, where $\mathcal{X}$ is a non-empty set. $k_i$ is the reproducing kernel of the Reproducing Kernel Hilbert ...
4
votes
1answer
1k 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 ...
4
votes
1answer
107 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
564 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
274 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
419 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
105 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
56 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
209 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 ...
4
votes
1answer
51 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
631 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 ...
4
votes
2answers
94 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} = ...
4
votes
1answer
280 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
98 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
264 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
203 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
441 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 $\| ...
4
votes
1answer
182 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
640 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 ...
4
votes
1answer
478 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 ...
4
votes
1answer
35 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
108 views

Minimizing the Frobenius norm of a matrix involving the Hadamard product, $\|X(A\odot Y)-S\|_F$

Let $S\in\mathbb{R}^{L\times N}$ and $A\in\mathbb{R}^{M\times N}$ be known and arbitrary. I'd like to solve the following system: \begin{align} \min_{X\in\mathbb{R}^{L\times M},Y\in\mathbb{R}^{M\times ...