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
0answers
20 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
53 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
33 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
22 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
24 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
99 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
51 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
114 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
80 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
70 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
198 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
155 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
91 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
284 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
352 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
0answers
895 views

Natural matrix norm of an inverse matrix

Let $\left\|\cdot\right\| : \text{GL}(n,\mathbb{R})\to\mathbb{R}_{\ge 0}$ denote the natural matrix norm, i.e. $$\left\|A\right\|:=\max_{x\ne ...
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
260 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
44 views

whether the function p(x)=||x|| + |||x||| defines a norm where ||.|| and |||.||| are two different norms [closed]

whether the function p(x)=||x|| + |||x||| defines a norm or not, where ||.|| and |||.||| are two different norms. i have a clue to check for the axioms of the norms. but tel me how to start?
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
242 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
60 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
100 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 ...
2
votes
0answers
185 views

Step functions dense in Integrable functions with respect to $L_2$

Let $I$ be a bounded interval. Prove that $\{\text{step functions }I \to C\}$ is dense in $\{\text{integrable functions }I \to C\}$ (Riemann Integrable) with respect to $\|.\|_2$ ($L_2$ norm)
2
votes
1answer
154 views

How to represent and handle eigenvalue constraint in optimization

For example consider the problem $\min_X f(X)$ s.t. $\lambda_i(X+A)=\lambda_i(B)$ for $i \in {1,...,N}$ where $A$ and $B$ are full rank N by N matrix, $\lambda_i(X)$ is the i-th eigenvalue of $X$ ...
2
votes
0answers
795 views

Equivalence of norms is a equivalence relation

Two norms $||-||_1 $, $||-||_2$are equivalent if: for two constants $a,b$ and $x$ from $V$ a vector space over a field it holds that : $$a||x||_1\leqslant ||x||_2\leqslant b||x||_1.$$ This is a ...
2
votes
1answer
200 views

Equivalence of two norms

Define two norms as following: $$ \left\Vert f\right\Vert _{1}={ \max_{0\leq x\leq1}\left|f\left(x\right)\right|} , \quad\text{ and }\quad \left\Vert f\right\Vert ...
2
votes
1answer
633 views

Prove unit ball of $L^p(\mu)$ is strictly convex, when $1<p<\infty$

When $1<p<\infty$, $||f||_p=1$,$||g||_p=1$,$f\ne g$,then $\frac{1}{2} ||f+g||_p<1$. I use parallelogram law $||f+g||^2+||f-g||^2=||f||^2+||g||^2=4\\$ Since $f\ne g$, $||f-g||^2>0$ ...
2
votes
0answers
84 views

Showing inner product comes from a norm defined using Polarization Identity [duplicate]

Possible Duplicate: Norms Induced by Inner Products and the Parallelogram Law Trying to prove if an norm satisfies the Parallelogram Law then a norm arises from an inner product. Let ...
2
votes
0answers
398 views

Bound on inverse operator

Define $X = {C^{2, \alpha}}(U \times [0,T])$ and $Y = {C^{0, \alpha}}(U \times [0,T])$ where $U$ is some real interval. Let $F:X \to Y$ be a map. Let $DF(g):X \to Y$ be a bounded linear operator for ...