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

1
vote
1answer
22 views

Is $\left\|A^TA(x-y)\right\| = \left\|A^TA\right\|\times \left\|x-y\right\|$ correct? $A \in \mathbb{R}^{n \times n}$

In the derivation of following, I meet a dumb problem: Note: 1. $\left\|\: \cdot \,\right\|$ is the $l_2$ norm. 2. $A \in \mathbb{R}^{n \times n} $ 3. $x,y \in \mathbb{R}^{n}$ ...
1
vote
0answers
13 views

finding Interior Points of a set

In the normed space $(\mathbb{R}^2, ||(x_1,x_2)||:=|x_1|+|x_2|)$ I want to find Interior Points of $$ \{ (x,1/n) ~~\big|~~ x\in \mathbb{R} \text{ and } n\in \mathbb{N} \}. $$ I guess that the ...
0
votes
0answers
26 views

What is the norm for the product of normed spaces?

Suppose $(\Omega, \Sigma ,\lambda)$ is a probability space and $X_i=L^2(\Omega,\Sigma,\lambda ,[0,1])$ with norm $||.||_{L^2}$ for all $i\in I$, $I$ is finite. Is there any natural norm for the ...
1
vote
1answer
19 views

Continuity of multivariable functions

I have a question regarding norms on $\Bbb R^{n}$ and proving the continuity of multivariable functions. Specifically, suppose we have $f: \Bbb R^{2} \to \Bbb R$, for example. To prove $f$ is ...
0
votes
4answers
36 views

Cauchy-Schwarz, how does it work in this example?

Consider $\|\cdot\|_2$ such that $\|x\|_2 = \left(\sum_{i=1}^n |x_i|^2\right)^{1/2}$. Let $A \in \mathbb{R}^{n\times n}, x\in \mathbb{R}^n$, then $$\begin{align} \|Ax\|_2^2 & = \sum_{i=1}^n ...
2
votes
0answers
36 views

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

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

Proof: $|||AB|||^ \frac{1}{2} \leq |||A ^ \frac{1}{2}B ^ \frac{1}{2}||| $?

I am looking for a proof of the following: \begin{equation*} |||AB|||^ \frac{1}{2} \leq |||A ^ \frac{1}{2}B ^ \frac{1}{2}||| \end{equation*} Where A, B are positive, hermitian matrices, and $|||⋅|||$ ...
-2
votes
0answers
27 views

Why does $\|A\|^2_2 \geqslant \|Av^k\|^2_2$ where $\lambda_k$ is the largest eigenvalue of $A^TA$ [on hold]

Could someone explain why: Let $\lambda_k$ be the largest eigenvalue of $A^TA$, then $$\|A\|^2_2 \geqslant \|Av^k\|^2_2$$ ($v^k$ is the eigenvector corresponding to $\lambda_k$) From a ...
1
vote
2answers
24 views

Norm is sup of inner products (proof).

Let $V$ be a vector space with an inner product $\langle.,. \rangle$ and associated norm $|| . ||$ Then: Could I have a proof of this fact?
0
votes
1answer
22 views

On the proof of the continuity of the inner product.

I am having problems with the following proof and I need to fill in some details: I understand that continuity is being proven by the sequence definition but I do not get why (a) follows ...
1
vote
2answers
29 views

Show that properties of norm are satisfied

Show that \begin{align} & \|y\|_M= \max_{a \leq x \leq b} |y(x)| \tag 1 \\[8pt] & \|y\|_1=\int_a^b |y(x)|\, dx \tag 2 \end{align} satify the properties of a norm in $C[a,b]$. That's what I ...
1
vote
2answers
30 views

The function is not continuous

$$C([a,b])=\{ f: [a,b] \to \mathbb{R} \text{ continuous} \}$$ $C([a,b])$ is a linear space. For $f \in C([a,b])$ we define $\|f\|_{\infty}:= \sup_{x \in [a,b]} |f(x)|$ and easily it can be shown ...
0
votes
1answer
34 views

Hilbert space L2 - inner product

I have a problem with one exercise. I have to prove that $L^2$ space is Hilbertian. So I think that the best way is to check out inner product by definition of norm, so: \begin{equation*} ...
0
votes
1answer
40 views

What exactly is the distance of two elements in $C[0,1]$?

If $C[0,1]$ — the set of all continuous functions from $[0,1] \rightarrow \mathbb R$ — is equipped with the metric $||\cdot||_1$ (1-Norm), then what is the distance between ...
0
votes
0answers
27 views

when the spectral radius of a matrix product is equal to the product of spectral radius?

The question is simply as follows, when do we have the following equality? $\rho(AB)=\rho(A)\rho(B)$.
0
votes
1answer
21 views

operator norm of a linear transformation, given by the transformation matrix

Consider $\mathbb{K}^n$, $\mathbb{K}^m$, both with the $||.||_1$-norm, where $\mathbb{K} = \mathbb{R}$ or $\mathbb{C}$. Let $||T|| = inf\{M ≥ 0: ||T(x)|| ≤ M ||x|| \space \forall x \in ...
1
vote
1answer
18 views

How to prove that $N_g\equiv ||\cdot ||_{\infty}$ iff $g^{-1}(\{0\})=\emptyset$?

Let $E=\mathcal{C}[0,1]$, and $g\in E$, define $N_{g}(f)=||fg||_{\infty}$, the I have to prove that $N_g$ is equivalent to $||\cdot||_{\infty}$ iff $g^{-1}(\{0\})=\emptyset$. The $'\Leftarrow'$ ...
0
votes
1answer
24 views

gradient of hadamard L1 norm

What is the gradient of $\lVert B-A\circ X\lVert_1$ with respect to $X$. $\circ$ is the hadamard product. $A,B$ are constants
1
vote
1answer
25 views

Does weak convergence in $W^{1,p}$ imply strong convergence in $L^q$?

Does weak convergence in $W^{1,p}(\Omega)$ imply strong convergence in $L^q(\Omega)$ when $\Omega$ is bounded? If $f_j$ converges weakly to $f$ in $W^{1,p}$, what can we say about the $L^q$ ...
3
votes
1answer
119 views

A name for the property $ \| x \star y \| = \| x \| \| y \| $.

Suppose that $ \star: V \times V \to V $ is some binary operation on a vector space $ V $. Should it hold, is there a name for the following property? $$ \forall x,y \in V: \quad \| x \star y \| = \| ...
-1
votes
1answer
31 views

Prove norm does not come from inner product.

I know I have to show it does not satisfy the parallelogram law but I don't know how to apply it.
0
votes
1answer
55 views

Prove norm doesn't come from inner product.

Please help me prove this. I'm not sure how to apply the parallelogram law to the norm.
0
votes
1answer
33 views

Test for normability of a metric on a Banach space

If d is a metric on a (finite dimensional) Banach Space and there exist norms $\|-\|_1$ and $\|-\|_2$ and constants $C_1,C_2 \in [1,\infty)$ satisfying: \begin{equation} C_1\|x-y\|_1 \leq d(x,y) \leq ...
0
votes
1answer
56 views

Gradient of the elastic net with extra terms

Can anyone tell me the gradient of the below function (w.r.to X) $$ argmin_{X} ~~\frac{\lambda}{2}\lVert X\lVert_2^2 + \lVert X\lVert_1 + tr\bigg(\Delta^T\Big(diag(X)-X\Big)\bigg) + ...
0
votes
3answers
50 views

Prove $||\lambda x_1 + (1-\lambda) x_2 - y|| \leq ||x_1 - y||$

Assume we have have $3$ points $x_1, x_2$ and $y$ and $||x_1-y||=||x_2-y||$. How do we prove that the distance between $y$ and the convex combination of $x_1$ and $x_2$ is smaller than that between ...
2
votes
2answers
20 views

norm of product (matrix$\times$vector)

How can i prove that: If $B=AA^T$ then $x^T Bx=\|A^T x\|^2_2$ and $x^T B^{-1}x=\|A^{-1}x\|^2_2$ were x is a vector and A is a $n\times n$ matrix?
1
vote
1answer
54 views

norms of row matrices

Let $x_1,\ldots,x_m,y_1,\ldots,y_m$ be $k\times k$ sqaure matrices and assume $\|x_j\|\leqslant\|y_j\|$ for all $j=1,\ldots,m$ (the norm in $B(\ell_2^k)$). Now define the block matrices $x,y\in ...
0
votes
0answers
20 views

taking a tricky limit $\lim_{p\rightarrow \infty} \int_{\mathbb R^N} \left( \frac{|\nabla u|}{\|\nabla u\|_p}\right)^{p-2} \cdots $

$$\lim_{p\rightarrow \infty} \int_{\mathbb R^N} \left( \frac{|\nabla u|}{\|\nabla u\|_p}\right)^{p-2} \frac{\nabla u}{\|\nabla u\|_p}\cdot \nabla v dx $$ where $|\cdot|$ is the Euclidean (2) norm and ...
0
votes
4answers
52 views

Difficulty in understanding a step in a definition in the book Walter Rudin

In the book Principles of mathematical analysis by Walter Rudin,He writes: "For $ A\in L(\Bbb R^n,\Bbb R^m)$, define the norm $||A||$ of $A$ to be sup of all numbers $|Ax|$, where $x$ ranges over all ...
0
votes
0answers
7 views

controllable system, matrix exponential norm

suppose we have $(A,B)$ be a controllable pair. Can I find a feedback control gain $K$ such that $A_c=A+BK$ is Hurwitz, which also satisfies that $||e^{A_ct}||\leq a e^{(-\lambda t)}$ and ...
1
vote
1answer
22 views

Subset of the sequence space that's closed and bounded but not compact

Consider the sequences space $l^1 = \{a = (a_n)_{n \in \mathbb{N}_0} \subset \mathbb{C}, \sum_{n = 0}^\infty|a_n|< \infty\}$ with the norm $||a||_1 = \sum_{n = 0}^\infty|a_n|$. I want to show that ...
0
votes
1answer
19 views

Problem About Norm

Show: If $A$ is a symmetric matrix and $\|A\|_F\leq1$, then prove that $I-A$ is a positive semidefinite matrix.
0
votes
0answers
15 views

Operator norm of symmetric Matrix in Hilbert Space with Hermitian Inner Product

Assume we have a postive definite real matrix $P$ and we define an inner product on a finite dimensional hilbert space $\langle x, y \rangle = x^\top P y$ and clearly the induced norm is $|| x || = ...
0
votes
1answer
38 views

conditions for norm of linear bounded operator to satisfy $\lvert T_x (y) \rvert = \lVert T_x \rVert$.

Let $x = (x_n)_{n \in \mathbb N} \in l^\infty$ and let $T_x : l^1 \rightarrow \mathbb F$ be defined by $T_x (y) = \sum_{n=1}^\infty x_ny_n$. What condition on $x$ is needed so that there exists $y \in ...
0
votes
1answer
34 views

Upper bound of Frobenius norm of product of matrices.

I'm trying to prove that $||AB||_F\leq||A||_2||B||_F$. As far as I know it isn't a hard problem but I was stuck. Any ideas?
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 ...
0
votes
1answer
11 views

Triangle Inequality for SPD Matrix Norm

We define a symmetric, positive-definite matrix $A$ to be one such that $A = A^T$ and for $x \neq 0$, $x^TAx > 0$. If we have a norm $\|x\|_A = \sqrt{x^TAx}$, how can we show the triangle ...
-2
votes
1answer
67 views

Let we have the following exercise [closed]

How can I solve the following exercise Let $T:C[0,1]\rightarrow C[0,1]$ be defined by $$Tx(t)=y(t)=\int_0^t x(\tau)d\tau.$$ Find $\mathscr R(T)$ and $T^{-1}:\mathscr R(T)\rightarrow C[0,1]$. Is ...
3
votes
2answers
37 views

What is the range of the operator $T$ I mean I want to determine $R(T)$

Given the normed space $\ell^\infty$ of all bounded sequences of (real or complex) numbers with the norm given by $$||x||:= \sup_{j\in Z^+} |\xi_j|,$$ for each $x:=(\xi_j)_{j=1}^\infty$ in ...
-2
votes
2answers
85 views

I want some help in functional analysis [closed]

I want sone help in functional analysis : $1)$ consider the vector space $X$ of all real -valued functions which are defined on $R$ and have derivatives of all orders everywhere on $R$ define ...
1
vote
3answers
32 views

Topologically equivalent metric

Show that in $\mathbb{R}$ the distance $d'(x,y)=\left|\frac{x}{1+|x|} - \frac{y}{1+|y|} \right|$ is topologically equivalent to the usual metric in $\mathbb{R}$, $d(x,y)=|x-y|$ But ...
0
votes
0answers
9 views

Norms detecting singularities for functions with spikes

For a fixed $0<\alpha<1$ consider a segment $I=[0,1]$ and a subspace $B$ of $L_1(I)$ of functions $\phi$ than can be represented as $$ \phi = \phi_{reg} + \sum_{i=0}^\infty \frac{\phi_k}{ |x - ...
1
vote
2answers
34 views

Continuity of $(a_1,\ldots,a_n) \mapsto \sum_1^n a_j e_j$

Let $e_1,\ldots,e_j$ be a basis for a finite dimensional normed vector space $X$. I wish to show that the map $(a_1,\ldots,a_n) \mapsto \sum_1^n a_j e_j$ is continuous, where $(a_1,\ldots,a_n)$ has ...
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 ...
5
votes
1answer
67 views

Counterexamples to the Matrix norm AM-GM inequality?

I am new here and this my first question, I hope I am being as clear as possible and apologize in advance for any misunderstandings. I am researching the Arithmetic-Geometric Mean (AM-GM) inequality ...
5
votes
3answers
82 views

Equivalence of $\|x\|_1\|x\|_{\infty}$ and $\|x\|_2^2$

Let $x$ be any complex $n$-vector and let $\|\cdot\|_p$ denote the usual $p$-norm. It is easy to show that $\|x\|_2^2\leq\|x\|_1\|x\|_{\infty}$ (Hölder's inequality). What I am rather interested in is ...
0
votes
2answers
29 views

Proving a norm on the space of differentiable functions

I consider the space $C^1[a, b]$ of (complex) functions that are at least once differentiable on $[a, b]$. I want to show that $$||f||_{C^1} := ||f||_\infty + ||f'||_\infty$$ defines a norm on ...
-2
votes
1answer
79 views

Some question about linear operator on normed space [closed]

$1)$ let $X$ and $Y$ be normed space , show that a linear operator $T:X\rightarrow Y$ is bounded if and only if $T$ maps bounded sets in $X$ into bounded sets in $Y$ $2)$show that the operator ...
0
votes
0answers
20 views

Chebyshev polynomials minimize the infinity-norm among all monic polynomials

Consider the monic Chebyshev polynomial $$\hat{C}_n(x) = 2^{1-n}\cos{(n\cos^{-1}{x})}.$$ Show, if $Q_n(x)$ is any other monic polynomial of degree $n$, that $$\left\|Q_n\right\|_\infty \ge ...