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.

learn more… | top users | synonyms

53
votes
3answers
2k views

Explicit norm on $\mathcal{C}^0(\mathbb{R},\mathbb{R})$

Do you know an explicit norm on $\mathcal{C}^0(\mathbb{R},\mathbb{R})$? Using the axiom of choice, every vector space admits a norm but have you an explicit formula on ...
39
votes
1answer
1k views

Banach Spaces - How can $B,B',B'', B''', B'''',B''''',\ldots$ behave?

(ZFC) Let $ \big\langle B,+,\cdot, \:\: \|\cdot\| \:\: \big\rangle $ be a Banach space. Define $ \mathbf{B} \; = \;\big\langle B,+,\cdot, \:\: \|\cdot\| \:\: \big\rangle $. Define $\: \mathbf{B}_0 ...
36
votes
2answers
10k 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 ...
33
votes
5answers
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 ...
25
votes
3answers
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 ...
21
votes
4answers
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, ...
20
votes
2answers
7k 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 ...
19
votes
1answer
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?
18
votes
4answers
549 views

For which $L^p$ is $\pi=3.2$?

This is a silly question that came to mind after watching numberphile video on How Pi was nearly changed to 3.2. For which $p\in(1,+\infty)$ is the ratio of the perimeter of the $L^p$ disc in $\Bbb ...
16
votes
2answers
7k views

“Every linear mapping on a finite dimensional space is continuous”

From Wiki Every linear function on a finite-dimensional space is continuous. I was wondering what the domain and codomain of such linear function are? Are they any two topological vector ...
16
votes
1answer
2k views

Semi-Norms and the Definition of the Weak Topology

When I was searching for the definition of the weak topology, I found two different definitions. One defines the weak topology in terms of a family of semi-norms, while the other defines it in terms ...
16
votes
1answer
11k views

Relations between p norms

The p-norm is given by $||x||_{p} = (\sum_{n=1}^{\infty }|x_{n}|^{p})^{1/p}$. For $0 < p < q$, it can be shown that $||x||_{p} \geq ||x||_{q}$ (1, 2). It appears that in $R^{n}$ a number of ...
16
votes
1answer
5k views

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 ...
15
votes
4answers
665 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 ...
14
votes
3answers
1k views

Intersection between orthogonal complement of a subspace and a set

Consider the normed vector space $E=\mathbb{R}^n$. Define $ P=\{x \in \mathbb{R}^n: x_i \geq 0, \forall i \}$. Let $M$ be a subspace such that $M \cap P = \{0\}$. I want to see that $M^\perp \cap ...
14
votes
1answer
733 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]$. ...
14
votes
1answer
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 ...
13
votes
3answers
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 ...
13
votes
5answers
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}$, ...
13
votes
2answers
500 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 ...
12
votes
3answers
4k views

Every proper subspace of a normed vector space has empty interior

There is a conjecture: "The only subspace of a normed vector space $V$ that has a non-empty interior, is $V$ itself." (here, the topology is the obvious set of all open sets generated by the metric ...
12
votes
2answers
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 ...
12
votes
5answers
312 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 ...
12
votes
2answers
2k views

$T$ is continuous if and only if $\ker T$ is closed

Let $X,Y$ be normed linear spaces. Let $T: X\to Y$ be linear. If $X$ is finite dimensional, show that $T$ is continuous. If $Y$ is finite dimensional, show that $T$ is continuous if and only if $\ker ...
12
votes
1answer
192 views

In a real normed linear space if $||x||=||y||$ implies $\lim_{n \to \infty} ||x+ny||-||nx+y||=0$ , then the norm comes from an inner-product space?

$(V,\|\cdot|)$ be a real normed linear space such that $\|x\|=\|y\|$ implies $\lim\limits_{n\to\infty} \|x+ny\|-\|nx+y\|=0$, then is it true that the norm comes from an inner-product space ?
12
votes
0answers
143 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? ...
11
votes
2answers
992 views

How to show that $\mathbb R^n$ with the $1$-norm is not isometric to $\mathbb R^n$ with the infinity norm for $n>2$?

Could you please give me a hint to prove that $\mathbb{R}^n$ with the 1-norm $\lvert x\rvert_1=\lvert x_1\rvert+\cdots+\lvert x_n\rvert$ is not isometric to $\mathbb{R}^n$ with the infinity-norm ...
11
votes
2answers
458 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 ...
10
votes
1answer
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 ...
10
votes
2answers
448 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 ...
10
votes
2answers
149 views

Regarding linear independence on a normed-linear space given a condition

Let $(X,\|\cdot\|)$ be a normed linear space and $x_{1}, x_{2}, \ldots, x_{n}$ be $n$ linearly independent vectors in $X$. Show that there exists $\epsilon > 0$ such that if $y_{1}, y_{2}, ...
10
votes
1answer
407 views

Proof that multiplying by the scalar 1 does not change the vector in a normed vector space.

I'm beginning a self-study of functional analysis, and I seem to have come to a halt trying to solve the first problem in the first problem set, and was wondering if someone could give me a pointer. ...
10
votes
2answers
189 views

Exists a uniformly convex norm on Banach space satisfying certain condition?

Let $E$ be a Banach space with norm $\|\cdot\|$. Assume that there exists on $E$ an equivalent norm, denoted by $|\cdot|$, that is uniformly convex. Given any $k > 1$, does there exist a uniformly ...
10
votes
1answer
547 views

Isomorphisms between Normed Spaces

Between two normed (linear) spaces there are several notions of isomorphisms: Linear isomorphisms: linear bijective maps Topological isomorphisms: linear homeomorphisms (due to the linearity these ...
9
votes
2answers
260 views

If $V \times W$ with the product norm is complete, must $V$ and $W$ be complete?

Let $V,W$ be two normed vector spaces (over a field $K$). Then their product $V \times W$ with the norm $\|(x,y)\| = \|x\|_V + \|y\|_W$ is a normed space. Using this norm it's easy to show that if ...
9
votes
3answers
614 views

Is there an easy example of a vector space which can not be endowed with the structure of a Banach space

Let $V$ be a real vector space. Is there always a norm on $V$ such that $V$ is complete with respect to this norm? If not, is there an easy counterexample?
9
votes
2answers
129 views

Isometry group of a norm is always contained in some Isometry group of an inner product?

$\newcommand{\<}{\langle} \newcommand{\>}{\rangle} $Let $||\cdot||$ be a norm on a finite dimensional real vector space $V$. Does there always exist some inner product $\<,\>$ on $V$ such ...
9
votes
1answer
136 views

Inner product space over $\mathbb{R}$

Definition of the problem I have to prove the following statement: Let $\left(E,\left\langle \cdot,\cdot\right\rangle \right)$ be an inner product space over $\mathbb{R}$. prove that for all $x,y\in ...
9
votes
1answer
104 views

Inner product space, points cannot be placed inside a ball of a given radius

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 ...
9
votes
1answer
2k views

Proof of separability of $L^p$ spaces

The following is a proof in Brezis book. It shows the separability of $L^{p}$ spaces: I have a few questions regarding the proof: It says 'it is easy to construct a function $f_{2} \in ...
9
votes
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)$, ...
8
votes
2answers
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, ...
8
votes
1answer
2k views

Are isometric normed linear spaces isomorphic?

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 ...
8
votes
2answers
1k views

Domain of an operator in functional analysis

I used to think that if we say $f$ is a function from a set $X$ to $Y$ then this implied that $f$ was defined on all of $X$. Because the definition of function is that it's a set $\{(x,y) \mid \text{ ...
8
votes
6answers
732 views

Can a norm take infinite value? For example, $\|\cdot \|_1$?

A definition for norm from Wikipedia says Given a vector space $V$ over a subfield $F$ of the complex numbers, a norm on $V$ is a function $p: V → \mathbb{R}$ with the following properties: ...
8
votes
2answers
200 views

Two terms that I want to understand: weakest topology and jointly continuous (in the following context).

I was reading an article online, please help me to understand the following lines (in bold letters). - Topological structure: If (V, ‖·‖) is a normed vector space, the norm ‖·‖ induces a metric and ...
8
votes
3answers
223 views

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 ...
8
votes
1answer
2k views

Subspaces of separable normed spaces

Let $X$ be a separable normed space. Is it true that every subspace is separable? If it was Hilbert space I would take the dense set and then their projections. It sounds trivial but I cannot prove ...
8
votes
2answers
2k views

$C[0,1]$ is complete w.r.t. which norm(s)

$C[0,1]$ is complete w.r.t. which norm(s) $\displaystyle\|f\|_\infty=\sup_{t\in[0,1]}|f(t)|$ $\displaystyle\|f\|_1=\int_0^1|f(t)| \, dt$ $\displaystyle\|f\|_\infty^{0,1}=\|f\|_\infty+|f(0)|+|f(1)|$ ...
8
votes
1answer
280 views

A commutator identity for bounded linear maps and the identity operator of a non-zero normed space is never a commutator

Let $ \mathcal{X} $ be a normed linear space and $ S,T: \mathcal{X} \to \mathcal{X} $ be linear operators such that $ S \circ T- T \circ S=1 $. Show that $ S \circ T^{n+1}- T^{n+1} \circ S=(n+1)T^n ...