Tagged Questions

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.

2k views

11k views

Difference between metric and norm made concrete: The case of Euclid

This is a follow-up question on this one. The answers to my questions made things a lot clearer to me (Thank you for that!), yet there is some point that still bothers me. This time I am making ...
7k views

Not every metric is induced from a norm

I have studied that every normed space $(V, \lVert\cdot \lVert)$ is a metric space with respect to distance function $d(u,v) = \lVert u - v \rVert$, $u,v \in V$. My question is whether every metric ...
2k views

Why are every structures I study based on Real number?

I've been studying basic concepts of inner product vector space, normed vector space and metric space. And all the inner products, norms and metrics are defined to be real-valued functions in my ...
6k views

Let $X$ be an infinite dimensional Banach space. Prove that every Hamel basis of X is uncountable.

Let $X$ be an infinite dimensional Banach space. Prove that every basis of $X$ is uncountable. Can anyone help how can I solve the above problem?
1k views

How to develop an intuitive feel for spaces

I'm a physicist who's currently delving deeper into what I would call more 'hardcore' maths (e.g. FEM and control theory). Every now and then, I come across various spaces, such as vector spaces, ...
314 views

Is it possible to characterize completeness of a normed vector space by convergence of Neumann series?

If $X$ is a normed vector space and if for each bounded operator $T \in B(X)$ with $\| T\| < 1$, the operator ${\rm id} - T$ is boundedly invertible, does it follow that $X$ is complete? Context: ...
8k views

Why is $L^{\infty}$ not separable?

$l^p (1≤p<{\infty})$ and $L^p (1≤p<∞)$ are separable spaces. What on earth has changed when the value of $p$ turns from a finite number to ${\infty}$? Our teacher gave us some hints that ...
553 views

688 views

If two norms are equivalent on a dense subspace of a normed space, are they equivalent?

Given a vector space $V$ equipped with two norms $|\cdot|$ and $||\cdot||$ which are equivalent on a subspace $W$ which is $||\cdot||$-dense in $V$, are the two norms necessarily equivalent? The ...
4k views

750 views

Multiplicative norm on $\mathbb{R}[X]$.

How to prove that : there is no function $N\colon \mathbb{R}[X] \rightarrow \mathbb{R}$, such that : $N$ is a norm of $\mathbb{R}$-vector space and $N(PQ)=N(P)N(Q)$ for all $P,Q \in \mathbb{R}[X]$. ...
1k views

Open Mapping Theorem: counterexample

The Open Mapping Theorem says that a linear continuous surjection between Banach spaces is an open mapping. I am writing some lecture notes on the Open Mapping Theorem. I guess it would be nice to ...
2k views

Does every $\mathbb{R},\mathbb{C}$ vector space have a norm?

Is there a canonical way to define on any vector space over $\mathbb{K}=\mathbb{R},\mathbb{C}$ a norm ? (Or, if there isn't, can someone give me an example of a vector space over $\mathbb{K}$ that is ...
2k views

Why is one proof for Cauchy-Schwarz inequality easy, but directly it is hard?

Let's say you are in $\mathbb{R}^n$ and you define the norm as $||x||=\sqrt{x_1^2+x_2^2...+x_n^2}$. This we recognize as the usual norm from the inner product: $||x|| = \sqrt{\langle x, x \rangle}$, ...
520 views

Finite dimensional subspace of $C([0,1])$

Let linear $S$ be a subspace of $C([0,1])$, i.e., the continuous real-valued functions on $[0,1]$. Assume that there exists $c>0$, such that $\|\,f\|_\infty\leq c \|\,f\|_2$, for all $f\in S$. ...
6k views

Is a norm a continuous function?

Is a norm on a set a continuous function with respect to the topology induced by the norm? Is a topology on the set that can make the norm continuous (i.e. the topology that is compatible with the ...
314 views

Passing from induction to $\infty$

Somehow, the operation of passing to the limit after I have shown that something is true by induction for each natural number $n$ troubles me each time. I know there are instances where one cannot ...
2k views

461 views

Non-Banach, completely metrizable normed vector space

Does there exist a normed vector space $(X,\|\cdot\|)$ over $\mathbb R$ or $\mathbb C$ such that the metric induced by the norm $(x,y)\mapsto\|x-y\|$ is not complete; but there exists some other ...
482 views

Can the sum of two measurable functions be non-measurable if they are valued in a general normed space instead of $\mathbb{R}$?

It's well known that the sum of measurable functions is measurable, if they are real or complex valued. However, the proofs I've seen heavily rely on the usage of the countable set of rational numbers....
2k views

An example of a norm which can't be generated by an inner product

I realize that every inner product defined on a vector space can give rise to a norm on that space. The converse, apparently is not true. I'd like an example of a norm which no inner product can ...
152 views

2k views

Examples of compact sets that are infinite dimensional and not bounded

In an infinite dimensional Banach space, does a compact subset have to be finite dimensional? I know it cannot contain any infinite dimensional balls, if this mean it has to be finite dimensional, ...
261 views

104 views

I've found a very nice problem and I don't know how to go about solving it. Let $(E, || \cdot ||)$ be an inner product space, $x_1, ..., x_n \in E$. Prove that if for $i \neq j$ we have $||... 0answers 110 views Point set where each point has unity distance to all other points ($L_1$metric) I want to construct a point set where each point has the same (w.l.o.g., unit) distance to all other points in the$L_1$metric. Example: The points$\left(\frac{1}{2},0\right)$,$\left(-\frac{1}{2},0\...
I should know the answer to this (and I did some time ago, but have forgotten): If the normed linear spaces $X$ and $Y$ are isometric (there is a bijective map from $X$ to $Y$ that preserves distances)...