Questions tagged [normed-spaces]

A vector space $E$, generally over the field $\mathbb R$ or $\mathbb C$ with a map $\lVert \cdot\rVert\colon E\to \mathbb R_+$ satisfying some conditions.

A vector space $E$, generally over the field $\mathbb R$ or $\mathbb C$ with a map $\lVert \cdot\rVert\colon E\to\mathbb R_+$ is a normed space if the three conditions are fulfilled:

  1. $\lVert x\rVert =0\Rightarrow x=0$,
  2. For all $x\in E$ and for all $\lambda\in\mathbb R$ (or $\mathbb C$), $\lVert\lambda x\rVert=|\lambda |\lVert x\rVert$,
  3. For all $x,y\in E$, $\lVert x+y\rVert\leq\lVert x\rVert+\lVert y\rVert$.

For instance, in $\mathbb{R}^n$ each of the following functions is a norm:

  1. $\displaystyle\bigl\lVert(x_1,x_2,\ldots,x_n)\rVert_2=\sqrt{x_1^2+x_2^2+\cdots+x_n^2}$;
  2. $\displaystyle\bigl\lVert(x_1,x_2,\ldots,x_n)\rVert_1=|x_1|+|x_2|+\cdots+|x_n|$;
  3. $\displaystyle\bigl\lVert(x_1,x_2,\ldots,x_n)\rVert_\infty=\max${$|x_1|,|x_2|,\ldots,|x_n|$}.
10203 questions
48
votes
2 answers

Proof that every finite dimensional normed vector space is complete

Can you read my proof and tell me if it's correct? Thanks. Let $V$ be a vector space over a complete topological field say $\mathbb R$ (or $\mathbb C$) with $\dim(V) = n$, base $e_i$ and norm $\|\cdot\|$. Let $v_k$ be a Cauchy sequence w.r.t.…
24
votes
1 answer

How are norms different from absolute values?

Hopefully without getting too complicated, how is a norm different from an absolute value? In context, I am trying to understand relative stability of an algorithim: Using the inequality $\frac{|(x_0)- \tilde{f}(\epsilon, x_0)|}{|f(x_0)|} \leq…
ghshtalt
  • 2,753
22
votes
3 answers

Understanding weighted inner product and weighted norms

I am reading this book where at page 27 following definitions about weighted inner product and weighted norms are given. Let $M$ and $N$ be Hermitian positive definite matrices of order $m$ and $n$ respectively. The weighted inner products in…
Srijan
  • 12,518
  • 10
  • 73
  • 115
14
votes
2 answers

Why is the 2 norm "special"?

Out of all the vector norms, the $2$ norm, or the Euclidean norm, seems to be "special". Primarily, I say this because we use the 2 norm as a means of determining the distance from one point to another. But what I don't understand is, why do we use…
14
votes
2 answers

Is the norm on a Hilbert space always finite?

If $H$ is a Hilbert space and $x \in H$ then does it follow that $||x|| < \infty$?
jack
  • 1,359
12
votes
3 answers

Any two norms on finite dimensional space are equivalent

Any two norms on a finite dimensional linear space are equivalent. Suppose not, and that $||\cdot||$ is a norm such that for any other norm $||\cdot||'$ and any constant $C$, $C||x||'<||x||$ for all $x$. Define $||\cdot||''=\sum |x_i|\cdot||e_i||$…
11
votes
2 answers

Frobenius norm is not induced

My textbook says: Frobenius norm defined on $\mathbb{R}^{m,n}$ by a formula: $$\|A\|_F=\sqrt{\sum_{i=1}^n\sum_{j=1}^m|a_{i,j}|^2}$$ when $n>1, \ m>1$ is not induced by any vector's $p$-norm. But there is no proof. I searched over the Internet…
xan
  • 2,053
10
votes
2 answers

From norm to scalar product

In the Eculidean Space, one can automatically define a norm if a specific scalar product is given. On the contrary, it's not always true. A p-norm is a scalar product if and only if p=2. My question is what condition do we need in order to move…
Yuan
  • 553
9
votes
1 answer

Are functions in Lp space always bounded?

I know that functions in $L^2$ space have finite norms by definition, but are they also bounded "almost everywhere" ? So say for instance the following functions norm is finite but it is not bounded. $$ f(x) = \frac{1}{(x-\frac{1}{2})^2} ~~ ; ~~~…
9
votes
2 answers

Frobenius Norm Triangle Inequality

How can I go about proving the triangle inequality holds for the Frobenius norm? I worked through $\|A+B\|_F \le \|A\|_F + \|B\|_F$ and was not able to make it work =/.
Incognito
  • 435
9
votes
3 answers

Does $\|\cdot\|_2:C_\mathbb R([0,1],\mathbb C)\to\mathbb R:f\mapsto\sqrt{\int_0^1|f(t)|^2dt}$ come from any inner product?

I'm trying to show $\|\cdot\|_2$ is a norm on the $\mathbb C$-vector space $C([0,1],\mathbb C)$ where $$\|\cdot\|_2:C([0,1],\mathbb C)\to\mathbb R:f\mapsto\sqrt{\int_0^1|f(t)|^2dt}$$ I've stuck in course of showing triangle inequality. I've to…
Sriti Mallick
  • 6,137
  • 3
  • 30
  • 64
8
votes
1 answer

Can a vector space be reconstructed from its norm?

Let $(V,+,\cdot,\|.\|)$ be a normed vector space. Can we reconstruct addition $+$ of vectors and scalar multiplication $\cdot$ if we are given only the underlying set $V$ and the norm $\|\cdot\|\colon V\to\Bbb R$? Clearly, we can find $0\in V$ as it…
8
votes
2 answers

What is the reason norm properties are defined the way they are?

Suppose we have a complex vector space $V$. A norm is a function $f : V \rightarrow \mathbb{R}$ which satisfies (i) $f(x) \ge 0$ for all $x \in V$ (Positivity - Non-Negativity) (ii) $f(x + y) \le f(x) + f(y)$ for all $x, y \in V$ (Subadditivity -…
Amzoti
  • 56,093
7
votes
0 answers

Matrix Norms Inequality Proof

How do I prove this inequality / equivalence about matrix p-norms? It appears on the wikipedia and mathworld.wolfram pages on matrix norms without proof. $\|A\|^2_2 \leq \|A\|_1 \|A\|_\infty$ Maybe a proof of this would look a lot like a proof of…
Neal Lawton
  • 622
  • 7
  • 11
7
votes
1 answer

why is $\ell_0$ a pseudo-norm?

Let $\mathbf{x}$ be a vector in $\mathbb{R}^n$. We define the $\ell_0$ pseudo-norm by:$$\|\mathbf{x}\|_0=\#\left\{i : \mathbf{x}_i\neq0\right\}$$ Why $\|\cdot\|_0$ is not properly a norm?
no_name
  • 445
  • 1
  • 5
  • 10
1
2 3
23 24