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
355 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 ...
5
votes
0answers
128 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 ...
4
votes
0answers
59 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
53 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
123 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
117 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
18 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 ...
3
votes
0answers
71 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
140 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
101 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
196 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
185 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
76 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 that ...
3
votes
0answers
92 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
110 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
248 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
33 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
52 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
49 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
20 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
57 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
38 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
412 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
35 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
203 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
62 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
54 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
107 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
59 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
65 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
83 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
44 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
90 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
160 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
701 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
371 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
25 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
41 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
11 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
23 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)}}$ ...
1
vote
0answers
37 views

Find a family of linear inequalities for which the unit ball is a solution set

Find a family of linear inequalities for which the unit ball $A = \{x \in \mathbb R^n \ | \ \|x\|_2 \le 1\}$ is a solution set Would it just be $x_1^2 + ... + x_n^2 \le 1$?
1
vote
0answers
31 views

Equality condition for convolution's $L^p$ norm.

Suppose that $1< p< \infty$, $f\in L^1(R)$, and $g\in L^p(R)$ and that $\|f*g\|_p=\|f\|_1\|g\|_p$. Show that then either $f=0$ a.e or $g=0$ a.e I have solved for $g=0$ a.e. if $||f||_1>0$ ...
1
vote
0answers
51 views

Norm of a mapping which is a linear combination of other mappings

Let $(X, d)$ be a metric space, $(E, || \cdot ||)$ a Banach space, $(AE(X), || \cdot ||)$ - as described below. $AE_0(X) = \{ u : X \rightarrow \mathbb{R} \ : \ u^{-1} (\mathbb{R} \setminus \{0 \}) \ ...
1
vote
0answers
25 views

perturbation of trace norm

The definition of trace norm is the summation of singularities of that matrix. I need to calculate the trace norm of matrix with the form $$A = I + r$$ where the ...
1
vote
0answers
25 views

Prove $ \left \| \left [ G \: \: \: \: I \right ] \right \|^{2}_{\infty }\leqslant \left \| G\right \|^{2}_{\infty } +1 $

Consider the Strickly proper transfer function of G(s) and impulse response G(t), by assuming the input signal u(t) having the bounded $\left \| \right \|_{1}$ , How can one prove the following ...
1
vote
0answers
91 views

Show linearity of this map

We have the following maps on a complex vector space $V$ $\phi : V \rightarrow \mathbb{C}$ and $g : V^2 \rightarrow \mathbb{C}$ where $\lambda \in \mathbb{C} , x,y,w \in V$. $\phi $ satisfies that ...
1
vote
0answers
25 views

Is there a single matrix norm such that for all stochastic $P$, $\| P \| = 1$?

By a stochastic matrix I mean a square real non-negative matrix with rows summing to one. Denote the set of all such matrices $\mathcal{S}$. By matrix norm I mean a norm in the vector space of ...
1
vote
0answers
29 views

Finding norm of functional coefficents in $C[a,b]$

Let $\{x_n\}$ denote Schauder’s basis for $C[a, b]$ and let $\{h_n\}$ be the associated sequence of coefficient functionals. Compute $||h_n||$. In young's book, a schauder basis for $C[a,b]$ ...