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

7
votes
0answers
364 views

Monotone matrix norms

[Ciarlet 2.2-10] Let $\mathscr{S}_n$ be the set of symmetric matrices and $\mathscr{S}_n^+$ the subset of non-negative definite symmetric matrices. A matrix norm $\|\cdot\|$ to be monotone if ...
6
votes
0answers
137 views

renorm a Banach space to make an operator have spectral radius equal to norm

Let $X$ be an infinite-dimensional complex Banach space equipped with the norm $\lVert\cdot\rVert$, and let $T\in\mathcal{L}(X)$ a bounded linear operator on $X$. Let $r(T)$ denote the spectral ...
5
votes
0answers
27 views

Finding a norm making a subspace dense

Suppose $V$ is a (real or complex) vector space and $W$ is a subspace of $V$. Under what conditions is there a norm on $V$ making $W$ a dense subspace of $V$? That $V$ and $W$ have the same ...
4
votes
0answers
60 views

Differentiation operator on smooth function with compact support

Suppose $f$ is $C^\infty$ with compact support. Let $T_n$ be the operator which sends $f$ to its $n$-th derivative. Is $||T_nf||_\infty$ bounded? It seems like I should use Stone-Weierstrass, but ...
4
votes
0answers
54 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} ...
4
votes
0answers
130 views

norm of differential operator on $P^n[0,1]$

Consider the space $P^n[0,1]$ of polynomials of degree $\leq n$ on $[0,1]$, equipped with the sup norm. Now, this is a finite dimensional space, so all linear operators have to be continuous, hence ...
4
votes
0answers
123 views

What are norms used for?

These two questions are quite similar to this one, so I apologise if this irritates anyone. Also, I suspect that a lot can be said in the answer, so I am really just looking for some main points ...
3
votes
0answers
76 views

Do these limits commute?

Given a sequence of functions $f_{n,m}:\mathbb{R}^{n} \to \mathbb{R}$, suppose that $$\displaystyle lim_{m} f_{n,m}(x)$$ exists almost everywhere (for any fixed n) and also suppose that ...
3
votes
0answers
44 views

Norms on $\mathbb{Q}$

So with respect to the metric $d(x,y)=|x-y|$ induced by the standard absolute value, the real numbers can be constructed as a completion of $\mathbb{Q}$. With respect to the metric $d_p(x,y)=|x-y|_p$ ...
3
votes
0answers
143 views

Two norms $\|\cdot\|_a$ and $\|\cdot\|_b$ on $X$, and a function $f:X\to Y$ Fréchet differentiable with one of the norms but not with the other one?

There is a theorem that if $f : (X,\|\cdot\|_{X1}) \to (Y,\|\cdot\|_{Y1}) $ is Fréchet differentiable, then replacing the norms with some equivalent norms $\|\cdot\|_{X2}$ and $\|\cdot\|_{Y2}$ ...
3
votes
0answers
104 views

Proving norm equivalence in $W^{1-1/p,p}(\Omega)$

Define for $p\in [1,\infty)$ and $\Omega=(0,1)^N\subset\mathbb{R}^N$ $$W^{1-1/p,p}(\Omega)=\left\{u\in L^p(\Omega): \ \int_\Omega\int_\Omega\frac{|u(x)-u(y)|^p}{|x-y|^{N-1+p}}dxdy<\infty\right\}$$ ...
3
votes
0answers
198 views

Prove this equality in a Hilbert Space $H$ with Riesz's Representation Theorem.

For $x \in H$, prove that $\sup_{\|z\| = 1} \langle x , z \rangle= \| x \|$ Here is a quick one. If someone could improve this it would be great Proof By Cauchy Schwarz, $\langle x,z \rangle ...
3
votes
0answers
188 views

The norm of an operator

Let $\rho(x)$ be a weight function in a unit sphere, such that \begin{equation} \begin{array}{l} \displaystyle 1. \rho(x)\ge 0,\int_{\mathbb{R}^n}\rho(x)=1\\ \displaystyle 2. \rho(x)\in ...
3
votes
0answers
85 views

Exercise from textbook about norm

The below diagram included a relevant page and the question 4 of the exercise which i am not sure how to do. Any hint or solution are welcome Attempts: a) I have done it b) i have tried to show ...
3
votes
0answers
93 views

Is $\rho(f) := \mu(|f| \geq \epsilon), \epsilon >0$ some kind of generalized norm?

Let $\rho(f) := \mu(|f| \geq \epsilon)$ where $\epsilon >0$ is a constant and $\mu$ is a measure and $f$ is a measurable function. Then $f\equiv 0 \rightarrow \rho(f) = 0$ when $|a| \neq 0$, ...
3
votes
0answers
111 views

Confusion about matrix norms

Reading the wiki article I get confused about matrix norms. My question, is it true that $$\lVert Mx \rVert \leq C(\sup_{ij}{M_{ij}}) \lVert x \rVert$$ where $M$ is a matrix and $x$ is a vector and ...
3
votes
0answers
252 views

Minimizing maximum absolute column sum norm of the residual between a matrix and its $k$-rank approximation

Let $X \in \mathbb{R}^{m\times n}$ be a matrix with rank $r$. How can we find the optimal $\tilde{X} \in \mathbb{R}^{m\times n}$ whose rank is $k$ where $k\leq r$ and the reconstruction error in ...
2
votes
0answers
19 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
0answers
45 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
44 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
0answers
64 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
50 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
0answers
21 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
68 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
0answers
40 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
565 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
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
0answers
211 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
64 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
0answers
109 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
68 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
0answers
85 views

Are these two definitions for dual norm equivalent

Suppose there is a p norm, also is a function $\left\|x\right\|_p$, the dual function at $z$ of it is, $$\sup\limits_x\left\{ z^{T} x-\left\|x\right\|_p\right\}$$ The second is, $$ \sup\limits_x ...
2
votes
0answers
45 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
0answers
91 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
174 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
0answers
722 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
0answers
378 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 ...
2
votes
0answers
108 views

Quick question: finite extensions and norms

[Edit: "Suppose K is a field complete with respect to a discrete valuation, with valuation ring $\mathcal{O}$."] I'm trying to solve the following problem: let $L/K$ be a finite extension of fields, ...
1
vote
0answers
34 views

Compute the Frobenius norm

I'm trying to compute the Frobenius norm of $L^{-1}$ where $$L^{-1}= I + N + N^2 + ... + N^{n-1}$$ and $N$ is strictly lower triangular. Can anyone suggest some way to do this?
1
vote
0answers
12 views

Saturation of the Babenko–Beckner inequality

The Babenko-Beckner inequality $|| \mathcal F f ||_q \geq C(q,p)||f||_p$ is a well-established theorem. It relates the $q$-Norm of a Fourier transform $\mathcal F f$ of a function $f$ to its ...
1
vote
0answers
16 views

Dual norm of induced norm on matrices

Given a norm on a (finite dimensional) vector space $V$, we can define the induced norm on linear maps from $V \rightarrow V$, by $\|M\|_{I(V)} = \sup\limits_{\|x\|=1}\|Mx\|$. It is also true that ...
1
vote
0answers
45 views

Max - min problem of a quotient of norms

For the $2\times2$ matrix $\begin{bmatrix}4&0\\-3&-5\end{bmatrix}$ Part 1 Find nonzero vectors $u$ and $w$ that maximize and minimize respectively the quotient $||Av|| / ||v||$. Part 2 ...
1
vote
0answers
24 views

How nuclear norm is convex whereas weighted nuclaer norm is not?

In (http://nuit-blanche.blogspot.in/2014/05/wnnm-weighted-nuclear-norm-minimization.html), it is stated that nuclear norm of a matrix $\mathbf{X}$, given as $||\mathbf{X}||_{*}=\sum_{i} ...
1
vote
0answers
31 views

Greatest norm for the exponential of a polytopic matrix

im new to the forum and I have a question that Im working quite for a while now. I would like to prove that the greatest norm when considering the exponential ...
1
vote
0answers
53 views

Matrix norm induced by a vector norm.

All matrices are real. $A$ is a matrix of size $n \times k$ with $k < n$ and has independent columns. The function $v(x) = \|Ax\|_1$ is a norm. What is the matrix norm induced by $v$? Is it of ...
1
vote
0answers
13 views

Estimate bounds on Minkowski distance from point to a segment in Lp space

Assumptions Let $L_p(x,y)=(\sum_i|x_i - y_i|^p)^{1/p}$ (Minkowski metric), $a,b$ be arbitrary $n$-dimensional points, $c$ be a point that satisfies $L_p(a,b) = L_p(a,c) + L_p(c,b)$, i.e., a point ...
1
vote
0answers
33 views

Generalized Form of Fano's Inequality

The Wikipedia article on Fano's Inequality presents a generalization as follows: Let $\mathbf{F}$ be a class of probability densities with a subclass of $r+1$ densities denoted $f_{\theta^{(i)}}$ ...