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

2
votes
2answers
78 views

Generalizing norms for modules

An normed space is defined as a vector space V plus a norm operation over $V$. Is it meaningful to generalize this notion to modules, where one is dealing with rings instead of fields? What I'm ...
1
vote
1answer
121 views

How to show Zygmund space is Hölder space?

The motivation of this question is to show that Zygmund space is Hölder space, in certain cases. For simplicity, take $s\in (0,1)$, I want to show $$\|f\| = \|f\|_\infty + \sup_{x,y\in ...
3
votes
1answer
103 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 ...
0
votes
1answer
105 views

Showing a norm preserving isomorphism of vector spaces

Lets define $l^1$ as the complex vector space of all absolutely summable sequences of complex numbers and and $x_0$ consists of all the sequences in $l^\infty$ (all bounded sequences) that eventually ...
0
votes
1answer
189 views

Showing triangle inequality for a norm

I want to determine whether the following is a norm or not: \begin{equation} ...
1
vote
1answer
227 views

Proving the triangle inequality for the L-2 norm $||x||_2 = \sqrt{x_1^2+x_2^2\ldots+x_n^2}$

I want to prove the triangle inequality for the l2-norm $||x||_2$: $$||x||_2 = \sqrt{x_1^2+x_2^2+\ldots+x_n^2}$$ $$\begin{align} \sqrt {\sum\limits_{i = 1}^n {{{\left( {{x_i} + {y_i}} \right)}^2}} ...
1
vote
1answer
259 views

Convexity of the squared Frobenius norm of a matrix

I was reading this paper where the define an optimization problem as where K and L are kernel matrices and $\pi$ is the permutation matrix. They have explained that the function is convex because ...
1
vote
2answers
399 views

Property of Subordinate Matrix Norm: $\|AB\| \leq \|A\|\|B\|$

I do not understand why the following property for Matrix subordinate norms holds: \begin{equation} \|AB\| \leq \|A\|\|B\| \end{equation} Please explain clearly as I know that it should be shown by ...
0
votes
1answer
752 views

How to describe minimization of L1 norm error using linear programming?

Given a set of $n$ pair points $(x_1, y_1), ..., (x_n, y_n)$ in the plane, I need to find a line $ax + by = c$ that fits the points of the L1 norm error points as closely as possible. I need a linear ...
5
votes
2answers
297 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 ...
2
votes
1answer
229 views

Property for Norms of Matrices

I am having trouble with the following problem: Show that the vector norm $||x||_1$ gives the subordinate matrix norm: \begin{equation} ||A||_1 = \max_{1\leq j\leq n}\sum_{i=1}^n|a_{ij}| ...
0
votes
2answers
182 views

Variation of reverse triangle inequality

I know from the reverse triangle inequality that for $x,y \in \mathbb{R}^n$ the following holds: $ \vert x \vert - \vert y \vert \leq \vert x -y \vert $ but does also this one hold? $ \vert x ...
3
votes
1answer
65 views

Showing that the zero vector has norm zero

I need to show that this is a property of a norm. I know this is supposed to be straightforward but I am somehow not seeing it. The property is $$\lVert 0\rVert = 0$$ I was trying to use the fact ...
2
votes
1answer
92 views

Derive $\frac1n \|x\|_p^p \leq \|x\| \leq n^{p/2}\|x\|_p^p$ from Holder's inequality?

Given a vector $x = (x_1, \dotsc, x_n)\in \mathbb{C}^n$, I wanted to compare $|x_1|^p + \dotsb + |x_n|^p$ to $\|x\|^p$. I discovered that if $m=\max_i|x_i|$, we have $$m^p \leq \|x\|^p \leq ...
1
vote
0answers
70 views

Distance of a point from a subspace vs. diameter

Let X = $(\Bbb R^N, \|\cdot\|)$ be a Banach space. Let $x_0 \in S^{N-1} = \{x \in \Bbb R^N : \sqrt{x_1^2+...+x_n^2}=1\}$. Denote $B^N_2 = \{x \in \Bbb R^N : \sqrt{x_1^2+...+x_N^2} \le 1 \}$. Define ...
0
votes
1answer
54 views

Matrix expansion does not decrease norms

Given a block matrix $A = \left[ {\begin{array}{*{20}{c}} {{A_{11}}}&{{A_{12}}}\\ {{A_{12}}}&{{A_{22}}} \end{array}} \right]$, where $A \in {R^{N \times N}}$, it is true that the euclidean ...
0
votes
1answer
38 views

Why does a Norm Form have rational coefficients?

[From Wolfgang Schmidt's "Diophantine Approximation and Diophantine Equations"] "Let $K$ be a number field with $[K:\mathbb{Q}] = d$ and $L(X)$ be a linear form, say $L(X) = L(x_1,\dots,x_n) = ...
2
votes
1answer
2k views

How to prove triangle inequality for $p$-norm?

Well, I've been studying metric spaces and to make the cartesian product of metric spaces a metric space I've heard of the $p$-norm defined in $\mathbb{R}^n$. So if $\mathcal{M}=\{M_i : i\in I_n\}$ is ...
1
vote
2answers
210 views

norms and sparsity

Could anyone please elaborate on why $L^2$ norm moves toward the outliers compared to $L^1$ norm. I mean, what property/quantity in the mathematical expression of the norms makes it perform such way. ...
2
votes
1answer
136 views

Norm of Hilbert's operator $H f(x)= \int_0^{\infty} \frac{f(y)}{x+y}\, dy$ [duplicate]

Hilbert's operator $$H f(x)= \int_0^{\infty} \frac{f(y)}{x+y}\, dy \quad\text{ for all } f \in {L}^2(0,+\infty) \text{ and } x \in(0,+\infty),$$ is regular integral operator on $L^2(0,+\infty)$ ...
1
vote
1answer
224 views

Norm of integral operator

Consider the operator $T(f(t)) = \int_0^t f(s)ds$, where $t \in [0,1]$, and $f(t) \in C[0,1]$. To prove $$\|T^n\| = \frac{1}{n!}$$ Thanks for suggestions.
1
vote
2answers
393 views

Proving that $\|A\|_{\infty}$ the largest row sum of absolute value of matrix $A$

I am studying matrix norms. I have read that $\|A\|_{\infty}$ is the largest row sum of absolute value and $\|A\|_{1}$ is the highest column sum of absolute values of the matrix $A$. However, I am ...
1
vote
3answers
120 views

Why is $\frac{x}{\| x \|}$ a unit vector? [duplicate]

Let $x$ be a vector in $\mathbb{R}^n$. Why is $\frac{x}{\| x \|}$ a unit vector, for $x\neq 0$? If I try to simplify it, I get the following: $\frac{x}{\sqrt{x \cdot x}}$, and I'm not sure how to ...
0
votes
2answers
80 views

Mysterious Matrix Norm

Given a matrix $M$, does anyone know the name and the definition of the following norm? $$ \|M\|_* $$ Thanks in advance, Francesco.
1
vote
2answers
277 views

What is magnitude of sum of two vector?

I know that magnitude of $\bf X$ is defined as: $$||\bf X||=\sqrt {(\bf {X\cdot X})}$$ Now if I define $\bf X$ as the sum of two vector like this $\bf X=\bf X_1+\bf X_2$ then what will be the ...
2
votes
1answer
78 views

Calculating the norm of $S\otimes T$ for bounded linear $S,T$.

Let $X,Y,W,Z$ be Banach Spaces. Let $X\otimes_{\pi}Y$ denote the tensor product endowed with the projective norm. If I have $S\in B(X,Z)$, $T\in B(Y,W)$, it is straightforward to show that $S\otimes ...
0
votes
1answer
58 views

SVM - Min square norm

All Support Vector Machine litterature mentions that optimal hyperplane is found as: max 1/∥x∥ (st. constraints) which translates directly to: min ∥x∥ or equivalently min $ ∥x∥^2 $. Here ...
2
votes
1answer
496 views

Why do we need semi-norms on Sobolev-spaces?

I have been studying Sobolev spaces and easy PDEs on those spaces for a while now and keep wondering about the norms on these spaces. We obviously have the usual norm $\|\cdot\|_{W^{k,p}}$, but some ...
1
vote
2answers
661 views

show operator norm submultiplicative

We had in our lecture on numerical analysis the following: Let $\mathrm{Lin}(X,Y)$ be the set of all linear maps $X\rightarrow Y$. Let $A\in\mathrm{Lin}(\mathbb R^l,\mathbb R^n)$ and ...
1
vote
0answers
27 views

discrete version of $L_p$

Why is $(\sum_{i=1}^{N-1}e^{-px_i/\epsilon}\bar{h}_i)^{1/p}=O(N^{-1/p})$,as $N$ approaches 0, where $\bar{h}_i=(h_{i+1}+h_i)/2$, $h_i=x_i-x_{i-1}$? The integral version is much easier to calculate.
0
votes
0answers
43 views

Natural invariant norm on the space of polynomials

What is the " Natural" invariant norm on the space of polynomials in a complex variable $z$? And can anyone give me an idea as to how it is deduced?
3
votes
2answers
96 views

When does $\|x+y\|=\|x\|+\|y\|?$

Let $(V_\mathbb R,\langle,\rangle)$ be an inner product space. I'm trying to see for $x,y\in V$ when does $\|x+y\|=\|x\|+\|y\|?$ Let $\|x+y\|=\|x\|+\|y\|$ Squaring both sides, $\langle ...
1
vote
1answer
129 views

Is the bound between the matrix 2-norm and the max-norm tight?

It is well known that $\|A\|_2\leq\sqrt{mn}\|A\|_{\max}$ for an $m\times n$ matrix. Is this bound tight? i.e which matrix $B$ satisfies $\|B\|_2=\sqrt{mn}\|B\|_{\max}$ (note the equality)? And is ...
3
votes
1answer
145 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 ...
2
votes
0answers
105 views

Operators from $L^{\infty}$ to $L^{\infty}$, below bound of the norm

If $T(f)(x)=\int K(x,y)f(y)dy$, where $K(x,y)$ is locally integrable, is bounded on $L^{\infty}$, how can we show that $\|\int|K(\cdot,y)|dy\|_{L^{\infty}}\le \|T\|_{L^{\infty}\rightarrow ...
1
vote
1answer
220 views

Bounded operator inverse, norm and spectrum

I need help with an operator, I am not very good at functional analysis and need to find some properties of following operator: $X=C[(0,1)], A \in B(X); A[f(t)]=f(t^2)$ 1. I need to show that an ...
0
votes
1answer
187 views

norm induced by inner product and triangle inequality

Let $\langle\cdot,\cdot\rangle$ be a scalar product on a space $X$, and let $\lVert \cdot\rVert$ denote the norm induced by this scalar product. I need to show that for $x,y\in X$, $\lVert ...
4
votes
1answer
147 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}$$ ...
8
votes
1answer
91 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}\| ...
3
votes
1answer
257 views

Finding operator norm

I have to solve the following problem: Find a norm of operator $$A:L^2[-\pi,\pi]\rightarrow L^2[-\pi,\pi]$$ given with $$Af(x)=\int_{-\pi}^{\pi} \cos^2{\left(\frac{x-t}{2}\right)}f(t) \,dt.$$ I ...
5
votes
3answers
197 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 ...
1
vote
1answer
326 views

Zero “norm” properties

I have seen the claim that the l0-norm ($\|X\|_0$ = support(X)) is a pseudo-norm because it does not satisfy all properties of a norm. I thought it to be triangle inequality, but am not able to show ...
4
votes
3answers
760 views

equivalent norms in Banach spaces of infinite dimension

Suppose $ X $ is a Banach space with respect to two different norms, $ \|\cdot\|_1 \mathrm{ e } \|\cdot\|_2 $. Suppose there is a constant $ K > 0 $ such that $$ \forall x \in X, \|x\|_1 \leq ...
1
vote
1answer
96 views

Prove that: $\|f\|$ is constant in $G$.

Suppose $G$ is a connected open set of $E$ and $f \in \mathcal{H}(G,F)= \{f: G \to F$, $f$ $\text{is holomorphic mapping} \}$. Suppose there is a points $a \in G$, such that $\|f(x)\| \le \|f(a)\|$, ...
4
votes
2answers
701 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 ...
4
votes
2answers
404 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
vote
3answers
1k views

Examples of metric spaces which are not normed linear spaces?

Give an example of a metric space which is not a normed linear space. Justify your example.
1
vote
2answers
66 views

Complex analysis 2: $f \in \mathcal{H}(U,F)$

I have a problem: Suppose $U$ is an open set in $E$ and $f \in \mathcal{H}(U,F)$. Prove that: $1/.$ If $U=E$ then $r_bf(x)=\infty, \forall x \in U$; $2/.$ If $U \ne E$ then $r_bf(x)< \infty, ...
0
votes
0answers
37 views

Formulas involving the square of a norm

Why does $$\|x-y+\alpha z\|^2=\|x-y\|^2+2\alpha\langle x-y,z\rangle+\alpha^2 \|z\|^2$$ but $$\|x-z+\theta z-\theta y\|^2=\|x-z\|^2+2\theta\langle x-z,z-y\rangle +\theta^2 \|z-y\|^2?$$ Why is there ...
2
votes
1answer
405 views

Difference between convergence in norm, point-wise and uniform convergence

I know both definitions but I was wondering what are the relations between them. My question is if someone could explain intuitively the differences between these types of convergence. Specifically, ...