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
1answer
148 views

A question on norm of error vector

Let $(s_n)_{n \in \mathbb{N}}\in\ell^2(\mathbb{N})$ (i.e. $\displaystyle \sum_{n=0}^{\infty}\vert s_n\vert^2<\infty$). Define vectors $A=[A_1,\ldots,A_M]$ and $B=[B_1,\ldots,B_M]$ with coordinates ...
2
votes
1answer
125 views

Example of a vector norm for which $\|I\|<1$

In order to prove a larger assumption, I need to find a vector norm over $M_n$ such that $\|I\| < 1$. None of the standard $p$-norms, nor the infinity norm work. I know that for matrix norms, ...
2
votes
1answer
380 views

Matrix Norm Identity Derivation

I am having trouble figuring out where something in a book I am reading is coming from. (The book is Matrix Computations by Golub and Van Loan, 3rd edition, p.58.) It will probably be obvious once ...
2
votes
0answers
35 views

How to prove that $\|x+y\|_p<\|x\|_p+\|y\|_p$?

Let $l_p=\{(x_n)\in\mathbb{R}^\mathbb{N}: \sum_{n=0}^\infty |x_n|^p<\infty\}$ and consider the following norm in $l_p$: $$\|x\|_p=\left(\sum_{n=0}^\infty|x_n|^p\right)^{1/p}$$ for ...
2
votes
0answers
31 views

a norm is symmetric if and only if it is unitarily invariant

how can I prove this : A norm on $\mathcal{M}_n(\mathbb{C})$ is symmetric if and only if it is unitarily invariant ? My attempt I know that a symmetric norm is a norm which verifies : $$N(ABC)\leq ...
2
votes
1answer
23 views

Equivalence of sequence spaces

Let $m$ be the space of infinite sequences $(x_i), |x_i| \leq 1$ with norm $\sup_{i>0}|x_i|$. Let $\ell$ be the space of infinite sequences $(x_i), \sum_{i> 0}|x_i| \leq 1$ with norm $\sum_{i ...
2
votes
2answers
42 views

vector space of continuously differentiable functions is complete regarding a specific norm

Consider $C^1[a, b] = \{f: [a, b] \to \mathbb{C}\mid f\text{ continuously differentiable}\}$. Consider the following norm: $$\|f\|_{C^1} = \|f\|_\infty + \|f'\|_\infty$$ Now, it needs to be shown ...
2
votes
1answer
24 views

Prove the set is closed with respect to its norm…

Let $V$ be a normed vector space over R. Let $W$ be a proper closed subspace of $V$. We say $w^*$ is a best approximation in $W$ to $v^* \in V$ if $\|v^*-w^*\| \leq \|v^*-w\|$ for all $w \in W$. ...
2
votes
0answers
31 views

Proving inequality that bounds the sum of norms with the norms of sums (plus additional terms)

I am struggling with showing the following for finite $\delta>0$ and any $g\in\mathcal{G}_1\times...\times\mathcal{G}_k$: ...
2
votes
0answers
23 views

Why doesn't the $L_2$ norm differentiable at $x=0$?

Why doesn't the $L_2$ norm differentiable at $x=0$? Let's define $N(x)$ as the norm function. I know that for every $x\ne 0$: $$\frac{\partial N}{\partial x_i}(x) = \frac{x_i}{\|x\|}$$ What ...
2
votes
0answers
31 views

Equivalence of norms between two Banach spaces

I just learnt open mapping theorem. And I met a statement online asserting that If $X$,$Y$ are Banach space, and $T:X\to Y$ be a continuous bijection, then norms for $X,Y$ are equivalent. Can we ...
2
votes
0answers
62 views

Rank, nuclear norm and Frobenius norm of a matrix.

The nuclear norm, denoted $\|\cdot\|_*$ is a good surrogate for the $rank$ when minimizing problems like $$\label{pb1}\tag{1} \min_X rank(X) : AX = B $$ Here, we're trying to find an matrix X with low ...
2
votes
0answers
35 views

Norm of Fredholm operator in $L^1$

Let $T:L^1([0,1])\rightarrow L^1([0,1])$ be the Fredholm integral operator given by $$ Tf(x)=\int_0^1 k(x,y)f(y)\, dy $$ where $k \in C([0,1]^2)$ is called the kernel of $T$. My problem is to find ...
2
votes
0answers
51 views

Proof for Norms in Vector Spaces

Prove that if a norm $\|x\|$ on a real vector space satisfies the parallelogram law, then the polarization identity defines an inner product and that the norm associated with this inner product is the ...
2
votes
0answers
23 views

Transformations invariant wrt. $L_1$ norm.

$A$ is a real matrix of size $n \times k$, where $k \leq n$. $A$ has independent columns. Characterize the class of matrices $M \in \mathbb{R}^{k \times k}$ such that: $\forall x \in \mathbb{R}^k.\; ...
2
votes
0answers
29 views

How to estimate norms involving $|a-b|$?

I know the title isn't the best one. Here's my problem: Whenever I'm given functionals such as: $$\phi: \mathcal{C}^1([0,1]) \ni f \rightarrow f(\frac{1}{3}) - f'(\frac{2}{3}) \in \mathbb{R}, \ \ ...
2
votes
1answer
49 views

Norm of a linear functional, sup, definite integral

I'm trying to find the norm of this mapping: $$\phi: C^1([0,1]) \ni f \rightarrow \int_0^{1/2} f(t)dt + f'(\frac{2}{3}) \in \mathbb{R}$$ with $||f|| = \sup_{t \in [0,1]}|f(t)| + \sup_{t \in ...
2
votes
0answers
46 views

Reference for an inequality between $|x+y|^p$, $|x|^p$, $|y|^p$, and $|x-y|^p$

I am interested in an inequality for real numbers $x,y$ and $1<p<\infty$ that it should say something like $$ |x+y|^p -|x|^p - |y|^p \leq (1-2^{1-p})|x-y|^p. $$ Is this inequality (or ...
2
votes
0answers
50 views

Norm for a set of vectors

Let V be a normed vector space (real or complex valued) with norm $\|\cdot\|_V$. For any nonempty and bounded subset $A \subseteq V$ one can define $\|A\|$ via $$\|A\|:=\sup\{|x|:x\in A\}$$ I ...
2
votes
1answer
25 views

“max” entry norm inequality?

Suppose $\max_{i,j}(A_{i,j}-B_{i,j})<t$. What can we say about $\max((TA)_{i,j}-(TB)_{i,j})$, where $T$ is a positive semi-definite matrix? I would like to say that ...
2
votes
0answers
103 views

How to prove a matrix norm inequality?

$P$ is a stochastic matrix i.e. square, non-negative, rows sum to one. Let $\Phi$ be a real matrix of size $n \times k$ with independent columns and $k < n$. Let $\Xi$ be the diagonal matrix with a ...
2
votes
0answers
52 views

Defining an unusual norm on $\mathbb{R}^3$

For vectors $\vec v = (v_1,v_2,v_3) \in \mathbb R^3$, does $||\vec v|| = |v_1| + \max\{ |v_2|,|v_3|\}$ define a norm on $\mathbb{R}^3$? I know I need to show positivity, homogeneity and the triangle ...
2
votes
1answer
116 views

a question about symmetric positive definite matrix and norm

If B is $n\times n$ real symmetric positive definite matrix, then $(x,y)=x^TBy$ definites an inner product on $R^n$. How to prove that $||x||=(x^TBx)^{1/2}$ is a norm on $R^n$?
2
votes
0answers
23 views

Finding a norm on $ \mathbb{R}^X $ such that the “natural” embedding of a metric space $ X $ in $ \mathbb{R}^X $ becomes an isometry

This question is related to this one: Every metric space can be isometrically embedded in a Banach space, so that it's a linearly independent set Kuratowski's embedding indeed seems to be the ...
2
votes
0answers
85 views

Computing a “cheap” upper bound on the norm of the solution to a linear system

Consider the linear system $A x = b$, where $A$ is an invertible, $n \times n$, real matrix. I would like to compute a "cheap" upper bound on the (p-)norm of the solution; i.e. $\|x\|_p$. One can, of ...
2
votes
1answer
75 views

Norm on a Geometric Algebra

In the literature, for example "New Foundations for Classical Mechanics" by David Hestenes, the author introduces a function on the Geometric Algebra $$||M||^2=\langle M M^\dagger \rangle_0,$$ where ...
2
votes
0answers
53 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 & : & ...
2
votes
0answers
218 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
170 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 ...
2
votes
1answer
94 views

Bounding the norm of Gaussian random matrix

Suppose $A\in\mathbb R^{n\times m}$ is a random matrix with $n < m$, and each entry $A_{ij}$ follows i.i.d. Gaussian distribution $N(0,1/n)$. I want to know whether we can upper bound the spectral ...
2
votes
1answer
304 views

Proof that frobenius norm is a norm [duplicate]

It's pretty basic and I'm sure I'm missing something dumb here, but I'd like to know why $||A+B||_F \leq ||A||_F+||B||_F$ The way I understand it, ...
2
votes
1answer
59 views

Completely multiplicative matrix norm for certain semigroups of matrices.

I am currently working on some properties of matrix products and their norms for $\mathbb{R}^{n \times n}$ matrices and i was wondering if there exists a completely multiplicative matrix norm, i.e. ...
2
votes
0answers
372 views

Operator norm of the inverse

If I made no mistake, one can calculate the operator norm of the inverse of any given (invertible) operator $A: V\rightarrow V$ via: \begin{align}\|A^{-1}\| & = ...
2
votes
1answer
47 views

Continuous functions. Second norm

Let $f:[a,b]\rightarrow \mathbb{R}^{d}$ be continuous. I need to prove that $\left \| \int_{a}^{b}f(x)dx \right \|_{2}\leq \int_{a}^{b}\left \| f(x)) \right \|_{2}dx$.
2
votes
0answers
36 views

Is this dual-spaced norm based on $L_2$ norm

I am reading the book of Claes Johnson about Numerical Solution of Partial Differential Equations by the Finite Element Method and particularly pages 34 and 98. I wrote these notes to my craft Is ...
2
votes
1answer
63 views

Equality of $L_2$ norm on $[0, \infty)$

Statement: For a continuous function $y(t)$ defined on $[0,\infty)$, if $\int_0^{\infty}\frac{y^2(\tau)}{1+y^2(\tau)}d\tau<\infty$, $\int_0^{\infty}y^2(\tau)<\infty$. The statement is true if ...
2
votes
1answer
83 views

There exists function sequence $\{f_{n}\}$ converges to $0$ such that $\{a_{n}f_{n}\}$ not converges to $0$

Let $X$ be the vector space of all complex functions on the unit interval $[0,1]$, topologized by the family of seminorms $$p_{x}(f) = |f(x)|, \quad (0 \le x \le 1).$$ Show that there exists a ...
2
votes
1answer
91 views

Find norm of a linear functional

I have a normed space: $$l_p = \{ (x_n)_{n = 1}^{\infty}: \sum\limits_{n = 1}^{\infty}|x_n|^{p} < \infty \}$$ With norm: $$||x|| = (\sum\limits_{n = 1}^{\infty} |x_n|^p)^{1/p}$$ where $p = ...
2
votes
0answers
270 views

Using the Sobolev-Nirenberg-Gagliardo inequality in a proof

If $1 \leq p < n$. The Gagliardo-Nirenberg-Sobolev inequality states that there exists a constant C such that $||u||_{L^{p^{*}}(\mathbb{R}^{n})} \leq C||Du||_{L^{p}(\mathbb{R}^{n})}$ for all $u ...
2
votes
0answers
68 views

Asymptotic behavior of $L^2$ norm for increased matrix dimensions

I am playing with matrices which are linear combinations of identity matrix, Pauli spin matrices, $\sigma_x$ and $\sigma_z$ or their tensor products. For example, let the matrix be $H$. So, $H$ could ...
2
votes
0answers
55 views

Differential Operators over the space of Analytic Functions

Let $\mathcal{A}(-a,a)$ be the vector space of functions that are analytic on the interval $(-a,a)$ Is there a common topology to place on this space, if yes what is the topology and is it induced ...
2
votes
1answer
245 views

Prove that two norms are equivalents

Two norms $\|\bullet\|_1$ and $\|\bullet\|_2$ are equivalents iff $\;\exists\;c_1,c_2>0$ such that $c_1\|x\|_1\le \|x\|_2\le c_2\|x\|_1$ We're working in $\mathcal C^1[0,1]$, and I have ...
2
votes
1answer
152 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)$ ...
2
votes
0answers
118 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 ...
2
votes
0answers
61 views

Find a matrix that minimizes the norm of a linear function

Let $S=AA^{T}+XX^{T}-AB^{T}\left(BB^{T}\right)^{-1}BA^{T}$ where $A$ and $B$ are known. What is the best possible $X$ that minimizes $\left\Vert S^{-1}y\right\Vert _{2}$ for any vector $y\in ...
2
votes
0answers
73 views

Proving norm inequality with Schwarz's inequality

I'm stuck on the following problem: Suppose that $\{V_j : j \in \mathbb{Z}\}$ is a multiresolution analysis with scaling function $\phi$, and that $\phi$ is continuous and compactly supported. ...
2
votes
1answer
102 views

Are these two definitions for dual norm equivalent

Suppose there is a $p$-norm $\left\|\cdot\right\|_p$, the dual function at $z$ of it is, $$\sup\left\{ z^{T} x-\left\|x\right\|_p:x\in\mathbb{R}^n\right\}$$ The second is, $$ \sup\left\{ z^{T} x : ...
2
votes
0answers
46 views

Finding an orthornormal basis given a bilinear form

Take $ \langle \cdot,\cdot\rangle$ to be a nondegenerate symmetric bilinear form (which may not be positive definite). Take $\Vert x\Vert = \vert \langle x,x\rangle \vert^{1/2}$. I want to show that ...
2
votes
3answers
388 views

Norm equivalence of a vector norm and its induced matrix norm using compactness argument

I have a theorem in my book on matrix computations that states the following: A vector norm and its induced matrix norm satisfy the inequality: $\|Ax\|\leq \|A\|$$\|x\|$ where A $\in R^{nxn}$ and x ...
2
votes
0answers
96 views

Examples of functions that are Lipschitz w.r.t. Schatten p-norm?

A convex function $f$ is $R$-Lipschitz w.r.t. to a norm $\|\cdot\|$ if for all points $a, b$ we have $|f(a)-f(b)| \leq R\|a-b\|$. For a real symmetric $n\times n$ matrix $A$ with eigenvalues denoted ...