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

3
votes
1answer
37 views

Spectral Norm of $2\times 2$ symmetric matrix

Consider a $2\times 2$ symmetric matrix, in this case, is there some closed formula for its spectral norm ? By spectral norm I mean the induced 2-norm, there is a definition here. Thanks.
3
votes
2answers
113 views

Question about sup norm

Let $x \in \mathbb{R}^n$. Define $|x| = \max\{ |x_1|,...,|x_n|\} $. I want to show that this is a norm on $R^n$. This is my reasoning. First, notice $$ |x| = \max\{ |x_i| \} \geq |x_i| \; \forall i ...
3
votes
1answer
293 views

Prove that the given distance function is a norm

Let the vector space $X=K^3$. For $x=(\alpha_{1}, \alpha_{2}, \alpha_{3}) \in X$, we define $||x||= [(|\alpha_{1}|^2+|\alpha_{2}|^3)^\frac{3}{2} + |\alpha_{3}|^3]^\frac{1}{3}$ Proof that $||·||$ is ...
3
votes
1answer
156 views

Strange mistake in this proof about normed separable vector spaces.

I am supposed to prove that an infinite-dimensionale separable normed space $X$ constains a countable subset $Y$ that is linearly independent and dense. There are three hints given: First, prove ...
3
votes
2answers
240 views

Norm of random vector plus constant

Suppose that $w$ is a multivariate standard normal vector and $c$ a real vector of the same size. I know that for positive x $$P(||w+c||^2\geq x)\ \geq \ P(||w||^2\geq x)$$ but I cannot prove it. We ...
3
votes
1answer
54 views

what is the limit of $l_p$ at p=0?

The p-norm is defined as: $$ \ \|x\|_p=\left(|x_1|^p+|x_2|^p+\dotsb+|x_n|^p\right)^{\frac{1}{p}} $$ When $p<1$, this is no longer a "norm" because it violates the triangle inequality (- it is ...
3
votes
1answer
276 views

Norm of a linear transformation

Let $T:\mathbb R^2\to \mathbb R^2$ be given by the matrix $\begin{pmatrix}a&b\\ c& d\end{pmatrix}$. Let $u:=a^2+b^2+c^2+d^2+2(ad-bc)$ and $v:=a^2+b^2+c^2+d^2-2(ad-bc)$. I need to show that ...
3
votes
2answers
190 views

Can the $0$-norm represent determinism?

In Scott Aaronson's Quantum Computing since Democritus, he presents classical probability theory as based on the $1$-norm, and QM as based on the $2$-norm. Call $\{v_1,\ldots,v_N\}$ a unit vector ...
3
votes
1answer
52 views

Do the pth powers of $p$-norms define the same partial ordering on the set of all probability distributions for all $p>1$?

Consider the $p$-th power of the Schatten $p$-norm $||q||_p$ of a probability distribution $q$ , ie, the function $\sum_j q_j^p$, where $\sum_j q_j = 1$ and $q_j \geq 0$. For fixed $q$ and $p>1$ ...
3
votes
1answer
130 views

Is this a matrix norm?

In wikipedia, the operator norm of a matrix is given by (assume: real, $n$-dimensional) $$ ||A||= \max \left\{ \frac{|Ax|}{|x|}:x \in \mathbb{R}^n, x\neq 0 \right\}$$ (I'm not sure why it is not a ...
3
votes
1answer
158 views

Operator norm and spectrum

Let $L$ be a bounded linear operator on a Hilbert space. Without assuming finite dimensions, can we express the operator norm of $L$ in terms of the spectrum of the positive operator $L^{\dagger}L$? ...
3
votes
1answer
380 views

Matrix norm inequality implying eigenvector norm inequality

For a matrix $A$ let $\|A\|$ be the norm given by $\|A\|=\sup_{v \neq 0}\frac{\|Av\|}{\|v\|}$ where $\|v\|$ is the Euclidian norm on the vector $v$. Suppose we have matrices $M$ and $S$ with leading ...
3
votes
2answers
2k views

Gradient of squared Frobenius norm

I'd like to find the gradient of $\frac{1}{2} \big \| X A^T \big \|_F^2$ with respect to $X_{ij}$. Going by the chain rule in the Matrix Cookbook (eqn 126), it's something like $\partial \, ...
3
votes
1answer
141 views

Bizarre formula for arc length

I'm reading a book on computer science/math and I found this formula for arc lengths that I've not been able to decipher: $$\left|\int_p^q\left\| {df(x)\over dx} \right\| dx\right|$$ where $\lVert ...
3
votes
1answer
487 views

Is this a norm? (triangle inequality for weighted maximum norm)

I've been trying to prove that the following is a norm, but wasn't successful. I also cannot find a counterexample. So help is greatly appreciated. Let $x \in \mathbb{R}^N, \ w_i \in \mathbb{R}_+,\ ...
3
votes
1answer
907 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 ...
3
votes
2answers
131 views

How to prove that a unitary matrix with other conditions is diagonal?

Let $A$ be an $n$ by $n$ complex matrix. The singular value decomposition of $A$ gives: $A=U\Sigma V^*$, where $U$ and $V$ are unitary matrices, and $\Sigma$ is a diagonal matrix that contains the ...
3
votes
2answers
276 views

What is the norm of the operator $\phi: L^3[-2,2] \to \mathbb{C}$ defined by $ \phi(f)=\int_{0}^{1}e^xf(x-1)dx$?

I'm trying to figure out the norm $\|\phi\|$ of the functional $\phi: L^3[-2,2] \to \mathbb{C}$ defined by $$ \phi(f)=\int_{0}^{1}e^xf(x-1)\mathsf dx$$ but am struggling. I can't figure out how to ...
3
votes
1answer
18 views

orthogonality-like in vector normed space

Given a normed real vector space $V$, and a vector $x\ne 0$, there exists a vector $y\ne 0$ such that $\|x+y\|=\|x-y\|$? I know that it exists if the norm is induced by a scalar product (in ...
3
votes
1answer
25 views

Proving $||x||_{\infty}$ is a norm on $\mathbb{C}^n$

I'm trying to show that given $x,y \in \mathbb{C}^n$, the following holds $$ ||x + y||_{\infty} \leq ||x||_{\infty} + ||y||_{\infty} $$ Assume $x = a + ib, y = c + id, a,b,c,d \in \mathbb{R}$. $$ ...
3
votes
1answer
40 views

$x \in \mathbb R^d$, $B$(closed)$ \subseteq \mathbb R^d$. Where $\mathbb R^d$ is an inner product space. Proof help [duplicate]

$x \in \mathbb R^d$, $B$(closed)$ \subseteq \mathbb R^d$. Where $\mathbb R^d$ is an inner product space. Show that there exists a point $b_0 \in B$ such that $d(x,B) = \|x - b_0\|$ My attempt: ...
3
votes
1answer
91 views

Relation between Frobenius norm and eigenvalues

I'm considering a stochastic multivariate process, the stability of which implies that all eigenvalues $\lambda_i$, $i = \overline{1,n}$ of a certain square real-valued matrix $A$ lie within the ...
3
votes
1answer
44 views

involution on $\mathbb F_p((t))$

Recently I learned here interesting facts about $\mathbb F_p((t))$, the field of the formal Laurent series with coefficients in $\mathbb F_p$. I looked up quite a few papers on local fields but I ...
3
votes
1answer
46 views

Is it true that $\|\text{diag($\pi$)} P\|_2 \leq 1$ for $P$ stochastic and $\pi P = \pi$.

$\| \cdot \|_2 $ is the matrix norm induced by $L_2$. $P$ is any given real square $n \times n$ non-negative matrix with rows summing to one, i.e. $P1 = 1$, where $1$ is the vector of ones. There is ...
3
votes
1answer
73 views

Operator norm and Hilbert Schmidt norm

I'm looking for a proof of \begin{equation} ||T||\leq ||T||_{HS}, \end{equation} for which it is sufficient to show \begin{equation} ||Tx|| \leq ||x|| \cdot ||T||_{HS} \forall x\in H, x\not=0 ...
3
votes
1answer
42 views

Is the norm of the average $\le$ the norm of the max?

Given $\pmb X \in \mathcal{R}^p$, denote the elements of $\pmb X$ as $\pmb x_i$ for $i= 1, \dots, n$. Denote the $t(\pmb X)$ as the average of $\pmb X$ \begin{equation} \pmb t(\pmb X) = \frac 1 n ...
3
votes
1answer
68 views

Is taking the Euclidean norm of multiple Euclidean norms equivalent to taking the Frobenius norm?

I'm just a programmer venturing into the world of norms (is that even a thing?) here, and am wondering if two formulas are equivalent. Please forgive my ignorance! Suppose we have a $10\times3$ ...
3
votes
2answers
73 views

Asymptotics of Gelfand's formula

In the following paper, it is stated that for for any matrix norm, $n \in \mathbb{N}$ and $A \in \mathbb{C}^{d \times d}$, the following holds: $\rho(A) \ge \gamma^{(1+\ln n)/n}\|A^{n}\|^{1/n}$ for ...
3
votes
1answer
703 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 ...
3
votes
1answer
318 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 ...
3
votes
1answer
347 views

Finding matrix norm equivalence constants

I've been given the following: "Find the best positive constants $\alpha$ and $\beta$ such that $\alpha\left\|A\right\|_2\leq\left\|A\right\|_1\leq\beta\left\|A\right\|_2$ for all ...
3
votes
1answer
118 views

What norm makes $C^\infty[a,b]$ a complete space?

I have been searching for some common norms used on vector spaces of functions but I am not having any luck finding what the most common norm is to use on $C^\infty[a,b]$ More specifically I would ...
3
votes
2answers
183 views

Geometric Mean limit of $\ell_p$ norm of sums

My analysis professor introduced the $\ell_p$ norm to our class as: \begin{align} \| x \|_p = \left(\frac{1}{n}\sum_{j=1}^{n} |x_j|^p\right)^{1/p}. \end{align} We are asked to prove the following: ...
3
votes
1answer
105 views

Show if $\|\cdot\|$ is a norm then $\|f(\cdot)\|$ is a norm where $f$ is linear and invertible

I want to show that if $\|\cdot\|$ is a norm then $\|f(\cdot)\|$ is a norm where $f$ is a linear and invertible function. First I need to show if $x\neq0$ then $\|f(x)\|>0$. Since $f$ is ...
3
votes
1answer
491 views

why is $\ell_0$ a pseudo-norm?

Let $\mathbf{x}$ be a vector in $\mathbb{R}^n$. We define the $\ell_0$ pseudo-norm by:$$\|\mathbf{x}\|_0=\#\left\{i : \mathbf{x}_i\neq0\right\}$$ Why $\|\cdot\|_0$ is not properly a norm?
3
votes
1answer
60 views

Need help to simplify an equation

I am computing an error estimate where at the end I got the following term $\|X_{k} - G\|\leq (q^{2^{k+2}} + q^{2^{k+3}}+ q^{2^{k+4}}....)q^{-3}\|Y_{0}\| + q^{2^{k+1}}.q^{-2}\|X_0\|$ , where $X_k$ ...
3
votes
2answers
104 views

About the convexity of Ky Fan's norm

As we know, the Ky Fan norm is convex, and so is the Ky Fan k-norm. My question is, does this imply that the difference between them is a non-convex function, since it results from "difference between ...
3
votes
1answer
516 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 ?
3
votes
2answers
300 views

Matrix proof using norms

I have a linear algebra question I need help with. Let $A$ be an $m\times m$ matrix with $\|A\|_2 < 1$ where $\|A\|_2$ is the $2$-norm of $A$. Show that $I - A$ is invertible where $I$ is the ...
3
votes
1answer
559 views

Proof of a norm

Prove that: $ \|\cdot\|_1:\mathbb{R}^n \rightarrow \mathbb{R};\vec{x} \mapsto \sum_{j=1}^n |x_j| $ is a norm defined on the vector space $\mathbb{R}^n$. 1) Zero vector: $\sum_{j=1}^n |x_j| = |x|_1 ...
3
votes
1answer
500 views

Minimize distance between 2 functions

Just so you know, this is a homework question, and I basically need help with the steps to solve this problem. I understand what it's asking; however, my attempts haven't worked out, and I'm probably ...
3
votes
1answer
177 views

DE solution's uniqueness and convexity

I am lost and don't know how to prove the following: If $M$ is a positive definite symmetric square matrix and if $\overrightarrow {v}(t)$ is a solution of: $$\overrightarrow {v'}(t) = ...
3
votes
2answers
39 views

What is the range of the operator $T$ I mean I want to determine $R(T)$

Given the normed space $\ell^\infty$ of all bounded sequences of (real or complex) numbers with the norm given by $$||x||:= \sup_{j\in Z^+} |\xi_j|,$$ for each $x:=(\xi_j)_{j=1}^\infty$ in ...
3
votes
1answer
147 views

Counterexamples to the Matrix norm AM-GM inequality?

I am new here and this my first question, I hope I am being as clear as possible and apologize in advance for any misunderstandings. I am researching the Arithmetic-Geometric Mean (AM-GM) inequality ...
3
votes
1answer
63 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 ...
3
votes
1answer
87 views

Prove that the norm in an inner product space is $ \ge 0$

Macdonald Linear and Geometric Algebra defines an Inner Product Space in the following way (pg 57): "An inner product space is a vector space with a product called an inner product. The inner product ...
3
votes
1answer
18 views

Norm of a functional given by difference of values

How to calculate the norm of such functional? $$\phi : \mathcal{C} ([0,1]) \ni f \rightarrow 3 f (\frac{1}{2}) - 5 f (\frac{2}{3}) \in \mathbb{K} (= \mathbb{R}, \mathbb{C})$$ If we equip ...
3
votes
1answer
40 views

Norm of an operator and eigenvalues

I have $K\colon L^2(0,T) \to L^2(0,T)$ a Hilbert-Schmidt integral operator (and so $K$ is linear, bounded, compact and self-adjoint) and I have obtained its eigenvalues and eigenvectors. From them, I ...
3
votes
1answer
136 views

$L^1$ norm of convolution

Let $f_{\lambda} = \frac{\lambda}{2}e^{-\lambda |x|}$. Prove that $||f_{\lambda} \ast g - g || \to 0$, when $\lambda \to \infty$, where $g \in L^1$
3
votes
3answers
372 views

Derivative of a matrix: Outer product chain rule

I ran into a seemingly simple matrix calculus question that I can't seem to find the solution to. Suppose I have the following matrices: $X_{(t \times n)}, V_{(n \times m)}$, and $\Phi_{(t\times m)} ...