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

0
votes
2answers
32 views

Is it true that $\biggl\|I-\frac{vv^T}{v^Tv}\biggr\|=1$?

I am following a proof in the text OPTIMIZATION THEORY AND METHODS a springer series by WENYU SUN and YA-XIANG YUAN. I come across what seems obvious that for a column vector $v$, with dimension ...
0
votes
1answer
22 views

How to prove that the L2 norm is a non-increasing function of time for a 2nd-order PDE?

I am having a test in few days and I saw an interesting question while I was skimming through the book problems. The problem is concerned about initial-boundary value problem of 2nd order PDEs. To ...
3
votes
1answer
21 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 ...
2
votes
1answer
24 views

An inequality using Sobolev norms

Let $\| \cdot \|_{H^s(\mathbb R)}$ be the usual Sobolev norm in $\mathbb R$ and $r>0$. If we have $$ \|f\|_{L^\infty(\mathbb R)} \le \| f\|_{H^k(\mathbb R)} $$ for all $k>r$, then the inequality ...
0
votes
1answer
13 views

Distance of two vectors under L_inf norm

Very simple question: suppose I have two vectors $a = (1,-2)$ and $b = (4,2)$. Under the L_inf norm, would the distance between them be $abs( ||a||_{inf} - ||b||_{inf}) = abs(2 - 4) = 2$? Is this the ...
2
votes
0answers
23 views

Norm of an integral operator

I have an exercise that I need to solve and I can't finish it. Let $k \in \mathcal{C}([0,1] \to \mathbb{R})$. Proove that this operator : $$ \begin{array}{ccccc} T & : & ...
0
votes
0answers
20 views

Can we equip smooth functions ($C^{\infty}[0,1]$) to some complete norm? [duplicate]

Let $C^{\infty}[0,1]$ be the vector space of all real function $f:[0,1]\rightarrow \Bbb R$ s.t for each $n \in \Bbb N$, $f^{(n)}$ exist. Is there a norm $\|.\|$ on $C^{\infty}[0,1]$ such that ...
0
votes
1answer
32 views

The supremum norm is submultiplicative

Is the following proof correct: Let $X$ be compact a compact Hausdorff space and $C(X)$ the continuous functions $f: X \to \mathbb{C}$ on X. We can equip $C(X)$ with the (edit: sorry, semi-)norm ...
0
votes
1answer
62 views

Concepts of isomorphisms of linear spaces with a norm and inner product

If I have a topological space, I say that a homeomorphic map preserves the structure of this space. Thus, in order to preserve topological properties we want to have a continuous bijection with a ...
0
votes
1answer
37 views

What is a good reference for learning about induced norms?

Wikipedia tells me a little about it. Following the wiki-link treasure hunt leads me to topics such as "p-norms on finite dimensional vector spaces". Which makes me want to ask: what's a good ...
0
votes
0answers
19 views

question about “Norm”

i have this space $H=\lbrace u\in AC([0,+\infty), u(0)=u(+\infty)=0, \sqrt{p}u'\in L^2((0,+\infty))\rbrace$ where $p>0$ and $\displaystyle\frac1p\in L^1$ how to see that the quantity: ...
0
votes
1answer
39 views

Find the coefficients $a,b$ so that $\|\vec x\|=a(|x_1|+|x_2|)+b\max(|x_1|,|x_2|)$ is a norm

For which coefficients $a,b$, the expression: $$\|\vec x\|=a(|x_1|+|x_2|)+b\max(|x_1|,|x_2|)$$ is a norm in $\mathbb R^2$? My attempt: I need to verify the properties of the norm: Triangle ...
0
votes
0answers
33 views

Shrinkage operator for matrices

Here http://web.stanford.edu/~boyd/papers/pdf/prox_algs.pdf, on page 188, you can see the derivation of the soft thresholding operator or shrinkage operator for the case of vectors using Moreau ...
0
votes
0answers
13 views

Frobenius norm and Gaussian noise

Why Frobenius norm is considered to a good tool for dealing with Gaussian noise?
2
votes
2answers
64 views

Any two points inside a circle are within a diameter of each other.

In many problems involving the Pigeonhole Principle, we often assume the following lemma: Lemma: The distance between any two points in a circle of radius $r$ is at most $2r$. Intuitively, this ...
1
vote
0answers
27 views

proof about real sequences

Let $V$ be the space of real sequences {${x_{1},x_{2},...}$} so that $\sum_{k=1}^{\infty}x_{k}^{2}$ converges. Let $W\subset V$ be the set of rational sequences with a finite number of terms. ...
0
votes
1answer
26 views

Prove that Frobenius matrix norm is compatible with the vector norm

Show that, the Frobenius matrix norm $||.||_F$ is compatible or consistent with a vector norm $||.||_2$ , that is, $||Ax||_2 \leq ||A||_F ||x||_2, \forall x \in \mathbb{R}^n$. Where $||A||_F = \sqrt{ ...
1
vote
1answer
27 views

geometric interpretation of the norm: $\|\vec x\|={(|x_1|+|x_2|)\over 3}+{2\max(|x_1|,|x_2|)\over 3}$

Let $p:\mathbb R^2 \to \mathbb R$ be a norm so that $$\|\vec x\|={(|x_1|+|x_2|)\over 3}+{2\max(|x_1|,|x_2|)\over 3}$$= $${{\|\vec x\|_1\over 3}}+{2\|\vec x\|_\infty\over 3}$$ The thing is that I need ...
0
votes
1answer
17 views

The meaning of notation $\|x - x^*\|$

I was just wondering what $\|x - x^*\|$ in the following equation means: $$B(\epsilon) = \{x : \|x - x^*\|<\epsilon\} $$ Thanks.
1
vote
0answers
44 views

Dual norm of the matrix L1 norm is infinity norm (and vice versa)

Recall that for a given norm $\|\cdot\|$ on $\mathbb{R}^n$, the dual norm is defined as a function $\|\cdot\|_*: \mathbb{R}^n \rightarrow \mathbb{R}$ with: $\|y\|_* = \max \limits_x \{x^Ty: \|x\|\le1 ...
2
votes
1answer
45 views

Proving result on spectral radius

How do I prove that $$\rho(A)=\inf\limits_{\text{operator norms}}\|A\|,$$ $\rho$ being the spectral radius, $A$ being a complex $n\times n$ matrix and operator norms being induced from vector norms by ...
1
vote
1answer
62 views

Is Frobenius norm induced up to a scalar factor?

I know that the Frobenius norm is not induced since $||I||_F=\sqrt n\neq 1$. But what if we consider the norm $\frac 1 {\sqrt n} ||\cdot ||_F$? Thank you!
1
vote
0answers
22 views

Product of Norm of Vectors

I have a simple question ... Consider two vectors of same length $\mathbf{x}$ and $\mathbf{y}$. This identity holds: $|\mathbf{x}'\mathbf{y}|$ $\leq$ $\|\mathbf{x}\|$ $\|\mathbf{y}\|$ Then is ...
2
votes
1answer
35 views

Why is semi-norm special?

One difference between semi-norm and norm is: "It is possible for ||v|| = 0 for nonzero v, ||.|| being semi-norm" I see some papers, and they use semi-norm directly. Why is semi-norm better than ...
6
votes
3answers
270 views

Dual norm intuition

The dual of a norm $\|\cdot \|$ is defined as: $$\|z\|_* = \sup \{ z^Tx \text{ } | \text{ } \|x\| \le 1\}$$ Could anybody give me an intuition of this concept? I know the definition, I am using it ...
0
votes
2answers
51 views

When does the equality hold for norm equivalence

We know that for a vector $x\in \mathbb{R}^n$, its 1-norm and 2-norm satisfy that $$\frac{1}{n}\|x\|_1\le\|x\|_2\le \|x\|_1,$$ could anyone please give me some hints that on what condition these ...
4
votes
0answers
41 views

Find a relationship between $\hat f$ and $\hat g$, given $g(x)=\int^{x+1}_x f(t)\,dt$, $f\in L^2(\mathbb R)$,

Given $f\in L^2(\mathbb R)$ and $g(x)=\int^{x+1}_x f(t)\,dt$ (a) Relate $\hat f$ and $\hat g$ (b) Prove $g\in H^1(\mathbb R)$ Part A: $$\hat g(k)= \int^{\infty}_{-\infty} \int^{x+1}_{x} ...
0
votes
1answer
59 views

Proving result on matrix norms

How do I prove that, letting, for $A\in\mathbb{C}^{n\times n}$: $$(a)\quad\|A\|_1=\max\limits_{i=1,\cdots,n}\left(\sum\limits_{j=1}^n|a_{ij}|\right),$$ $$(b)\quad\|A\|_2=\rho^{\frac12}(A^HA),$$ with ...
7
votes
4answers
119 views

How to find x so that $\|A x\| = \|A\| \|x\|$ holds

The subbordinance property of matrix-vector multiplication states that $\|A x\| \le \|A\| \|x\|$ where $\|x\|$ is the norm of vector $x$ and $\|A\|$ is the induced norm of matrix $A$. Many textbooks ...
0
votes
1answer
48 views

Model $\min \frac{1}{2} \parallel Ax-B \parallel_2 + \lambda_1 \parallel Cx \parallel_1 + \lambda_2 \parallel Dx \parallel_\infty $ into standard form

I need to solve the following convex optimization problem: $\min \frac{1}{2} \parallel Ax-B \parallel_2 + \lambda_1 \parallel Cx \parallel_1 + \lambda_2 \parallel Dx \parallel_\infty$ s.t $x ...
1
vote
1answer
42 views

How to check if a given piecewise defined function on $\mathbb R^2$ is a norm?

I want to check if the function $\parallel (x,y)\parallel = \left\{ \begin{array}{cc} \sqrt{x^2+y^2} & \mbox{if } xy \geq 0 \\ \max\{\vert x\vert, \vert y\vert\} & \mbox{if } xy < 0 ...
0
votes
1answer
25 views

A problem on norm preserving and angle preserving and their relations.

I want to solve the following problem and finding some difficulties:- I have done the part (a) easily. My problem is in part (b) and (c). In part (b) after calculation I have achieved that ...
6
votes
3answers
406 views

Physical meaning of norm of a matrix

I know norm of a vector is a length of a vector from origin. So what is the motivation behind defining the norm of the matrix? What is the physical meaning of norm of a matrix? Any help is ...
0
votes
1answer
14 views

upper bound on matrix exponential

I need an upper bound for the following term norm(I-e^(Ax)) in which A is an n*n real matrix ,x is a scalar and I is the unit matrix. is there any upper bound that is zero at x=0? if not what is the ...
2
votes
1answer
41 views

Matrix inner product, and operator and trace norm inequality

I have trouble proving the following inequality. Let a matrix $A \in \mathbb{R}^{M \times N}$, and $\sigma_i(A)$ be the i-largest singular value of A. Define the operator norm and the trace norm as ...
1
vote
1answer
67 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 ...
1
vote
1answer
39 views

Show there exists a Cauchy subsequence

Let $X$ be a separable reflexive real Banach space and $\{\psi_n\}$ be a dense sequence in $$\{\psi\in X' : ||\psi||_{X'} \leq 1\}.$$ Consider in $X$ the scalar product defined by $$(x | y)_0 = ...
1
vote
1answer
30 views

Gradient of l2 norm squared

Could someone please provide a proof for the following rule: $$\nabla\|x\|_2^2 = 2x$$ I.E. why is the gradient of the $L_2$ norm square of $x$ equal to $2x$? Thanks
4
votes
1answer
111 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 ...
0
votes
1answer
33 views

Convergence of a Cauchy sequence of matrices

I have a Cauchy sequence of matrices $C_i \in R^{p \times q}$, i.e. $\lim_{n\rightarrow \infty} \| C_{n+1} - C_{n} \| = 0$ for any norm (I just need the property that $\|C_1-C_2\|>\delta ...
1
vote
0answers
43 views

An Orthogonal Projection with Weighted Norm

In the context of solving a convex program via projected gradient descent i am facing the following problem: $$\min_{x\in\mathbb R^2}\lVert x-y\rVert_M^2,\qquad\lVert x\rVert\le1$$ or written ...
0
votes
3answers
29 views

Seminorm proof of a function

I have an example in a book which is not very clear to me : let $E$ vector space made of numerical functions (or complex) $f$ defined on a set $A$. $\forall a \in A, N_a : f \rightarrow |f(a)|$ is a ...
3
votes
1answer
55 views

Are isometries always linear?

Let $E$ be a finite dimensional vector space (over a field of characteristic zero) and $f : E \rightarrow E$ be an isometry fixing 0. Must $f$ be linear in this case ? Note : I am NOT assuming that ...
1
vote
1answer
32 views

Bounding Sobolev Norms *Below*

Firstly, apologies if this is a duplicate question - I've looked, but can't find this question on SE (or elsewhere online); if it is, please let me know and I'll remove it. I am trying to bound the ...
0
votes
1answer
57 views

Norm of a Vector

Suppose $A\inℝ^{n,n}$. We Define $$ \|A\| = \underset{\|x\| = 1}{\sup} \frac {\|Ax\|} {\|x\|}$$ Show it is a norm. Any thoughts?
1
vote
1answer
27 views

Well-Posedness PDE of the Form $\partial_t u = P(\partial_x) u$ for a Polynomial $P$

My question is to determine whether the PDE $\partial_t u = P(\partial_x) u$, with $2\pi$-periodic boundary conditions, for a polynomial $P$, is well-posed; this depends on the polynomial, and my ...
1
vote
2answers
60 views

Is a norm on $R^n$ linear?

I was reading the book Linear Algebra Done Right by Axler. In the chapter on inner product space (Ch.6), he defines the norm of x on $R^n$ space as: $||x|| = \sqrt{x_1^2 + ... + x_n^2}$ and says: ...
2
votes
1answer
43 views

Understanding a statement about equivalent norms ($||\cdot ||_2 \sim||\cdot||_1 $)

I am trying to understand the following statement from an analysis book: Two norms are equivalent ($||\cdot ||_2 \sim||\cdot||_1 $) if they induce equivalent metrics. At first I thought this ...
2
votes
1answer
70 views

Norm of symmetric positive semidefinite matrices

I have been researching a lot trying to find an answer to my question and didn't find any so I would appreciate it if anyone can help. If we have 2 symmetric, positive semi-definite matrices $A$ and ...
2
votes
1answer
37 views

Where does the definition of the $L_0$ norm come from?

Where does the definition of the $L_0$ norm come from? $$\|x\|_0=|S|$$ Where $S=\{x_k:x_k\neq 0\}$