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

2
votes
2answers
1k views

Prove that $X'$ is a Banach space

I'm taking a new course on functional analysis and meet with the following problem. If $X$ is a normed space (not necessarily complete), then prove that $X'$ is a Banach space. Definition: When the ...
9
votes
1answer
2k views

Let $X$ be an infinite dimensional Banach space. Prove that every 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?
5
votes
2answers
338 views

If $ x_n \to x $ then $ z_n = \frac{x_1 + \dots +x_n}{n} \to x $

I have this problem I'm working on. Hints are much appreciated (I don't want complete proof): In a normed vector space, if $ x_n \longrightarrow x $ then $ z_n = \frac{x_1 + \dots +x_n}{n} ...
13
votes
1answer
680 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 ...
49
votes
2answers
1k 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 ...
9
votes
2answers
3k 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 ...
4
votes
1answer
898 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 ...
2
votes
2answers
1k views

How to prove that if a normed space has Schauder basis, then it is separable? What about the converse?

Can we take as a dense subset the collection of all the linear combinations of the vectors of the Schauder basis using the rationals as scalars (or the complex numbers with rational real and imaginary ...
2
votes
1answer
379 views

The vector space formed on C[0,1] and the norm $(\int_{0}^{1}|f(t)|^2 dt)^{1/2} $

How does one show that $(C[0,1], ||.||_{2})$ where $||.||_2=(\int_{0}^{1}|f(t)|^2dt)^{1/2}$ and $C[0,1]$ is the space of all continous function which are mapped from $[0,1]\rightarrow \mathbb{R}$, is ...
1
vote
1answer
176 views

Prove that the closed unit ball of $L^2[a,b]$ is closed in $L^1[a,b]$

Prove that the closed unit ball of $L^2[a,b]$ is closed in $L^1[a,b]$. My friends and I have literally been pouring over this problem for days now without success. We've been using Hölder's ...
19
votes
2answers
4k 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 ...
9
votes
3answers
468 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?
6
votes
2answers
3k 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 ...
3
votes
1answer
833 views

Show that the norm of the multiplication operator $M_f$ on $L^2[0,1]$ is $\|f\|_\infty$

I'm having some (hopefully small) issues computing the norm of an operator. Firstly, the problem, For $f\in L^\infty[0,1]$, define $M_f: L^2[0,1]\to L^2[0,1]$ by $M_f(g)(x) = f(x)g(x)$. Show that ...
11
votes
2answers
547 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
3k views

Why are $l^{\infty}$ and $L^{\infty}$ non separable spaces?

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

Interior of a Subspace

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 ...
5
votes
1answer
662 views

Equivalence of reflexive and weakly compact

In a normed space $X$ is there an equivalence between these two proposition? $1)$ $X$ is reflexive; $2)$ $B$, the unit ball of $X$, is weakly compact.
38
votes
1answer
980 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 ...
4
votes
2answers
398 views

Is the boundary of the unit sphere in every normed vector space compact?

I wanted to ask whether the boundary of the unit sphere in every normed vector space is compact? I know that this is true for simple examples, but how is it in general?
2
votes
1answer
155 views

If the dual spaces are isometrically isomorphic are the spaces isomorphic?

Let $X$, $Y$ be Banach spaces such that the duals $X^\ast$ and $Y^\ast$ are isometrically isomorphic. Are $X$ and $Y$ necessarily isomorphic? The answer to the question whether $X$ and $Y$ are ...
2
votes
1answer
253 views

continuous projections to finite dimensional subspaces of normed spaces

If $X$ is a normed space and $Y$ is a finite dimensional subspace, then there exists a continuous linear projection $P$ from $X$ to $Y$. Our teacher gave us the instruction to use the following fact: ...
2
votes
3answers
749 views

Cauchy-Schwarz Inequality

In Luenberger book Cauchy-Schwarz Inequality is defined like this: For all $x,y$ in an inner product space $|(x|y)| \le \|x\|\|y\|$. Equality holds if and only if $x = \lambda y$ or $y = \theta$. ...
1
vote
1answer
68 views

Proving that $AB-BA=cI$ for nontrivial $c \in \mathbb{C}$

I have a homework question I can`t solve: Let $X$ be a normed linear space, $A,B \in B(X)$. Show that there exists no nontrivial $c \in \mathbb{C} $ such that $AB-BA=cI$. Thanks alot already guys! I ...
0
votes
1answer
84 views

Trouble in proving that $\|x\|_p = \max|x_j|$

We define p-norm in this way: $\|x\|_p = \{\sum ^N_j_=_1|x_j|^p\}^ {1\over p}$ We know that It change to $\|x\|_p = \max|x_j| $ when $ p \to \infty $ How can I prove this ?
6
votes
1answer
968 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 ...
4
votes
1answer
244 views

Shortest path on unit sphere under $\|\cdot\|_\infty$

Let $X$ be $\mathbb{R}^3$ with the sup norm $\|\cdot\|_{\infty}$. Let $Y=\{x\in X: \|x\|_{\infty}=1\}$. For $x,y\in Y$ define $d(x,y)$ to be the arc length of shortest paths on $Y$ joining $x,y$. (It ...
4
votes
1answer
243 views

Non-completeness of the space of bounded linear operators

If $X$ and $Y$ are normed spaces I know that the space $B(X,Y)$ of bounded linear functions from $X$ to $Y$, is complete if $Y$ is complete. Is there an example of a pair of normed spaces $X,Y$ s.t. ...
3
votes
1answer
347 views

If $X^\ast $ is separable $\Longrightarrow$ $S_{X^\ast}$ is also separable

Let $X$ be a Banach space such that $X$* (Dual space of $X$) is separable How can we prove that $S_{X^\ast}$ (Unit sphere of $X$*) is also separable Any hints would be appreciated.
0
votes
1answer
94 views

normed vector space real analysis

Prove that $\lVert x\rVert = \left(\sum_{k\in\mathbb{N}} \lvert x_k\rvert^p\right)^{1/p}$ is not norm for $\ell^p = \{x = (x_k)_{k\in \mathbb{N}} : \sum_{k\in\mathbb{N}} \lvert x_k\rvert^p < ...
9
votes
2answers
720 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)|$ ...
14
votes
1answer
514 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]$. ...
5
votes
1answer
339 views

Dual to the dual norm is the original norm (?)

I have the following questions about dual norms : How do you prove that the dual of the dual norm is in fact the original norm? This is what I have so far: If I have $\|y\|_* $ as the norm dual of ...
11
votes
2answers
921 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 ...
2
votes
0answers
65 views

Distance from a point to a plane in normed spaces

How can we calculate the distance from a point to a plane in normed spaces ? where we are not inner product, for example: Calculate the distance in $(C[0,1],||\cdot||)$ endowed with the supremum norm ...
2
votes
1answer
355 views

Banach spaces and their unit sphere

Let $X$ be a normed vector space. Show that if a subsequence of a Cauchy sequence converges, then the whole sequence converges. Use the part 1 to show that $S = \{x\in X : \|x\| = 1\}$ is complete ...
6
votes
1answer
172 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 ...
4
votes
3answers
774 views

equivalent norms in Banach spaces of infinite dimension

Suppose $ X $ is a Banach space with respect to two different norms, $ \|\cdot\|_1 \mathrm{ e } \|\cdot\|_2 $. Suppose there is a constant $ K > 0 $ such that $$ \forall x \in X, \|x\|_1 \leq ...
3
votes
1answer
149 views

Equality in Young's inequality for convolution

I am trying to understand how sharp Young's inequality for convolution is. The inequality says $||f \ast g||_r \leq ||f||_p ||g||_q$ where as $1/p+1/q = 1+1/r$. Actually, there are a couple of papers ...
3
votes
2answers
68 views

If $\mu(X)=1$, then $\lim_{p\rightarrow 0}\|f\|_p=\exp\left(\int_X\ln(|f|)d\mu\right)$

I am trying to prove the following result: Let $(X,\mu)$ be a measure space of measure 1 and $f$ a complex-valued function on $X$ such that there exists $r>0$ satisfying $\|f\|_r<\infty$. ...
2
votes
1answer
318 views

partial derivatives continuous $\implies$ differentiability in Euclidean space

I am given this theorem: If $f \in C^1(A,\mathbb R^m)$, i.e. every partial derivative of $f$ is continuous on $A$, and $A$ is open in $\mathbb R^n$, then $f$ is differentiable on $A$. Is the ...
1
vote
2answers
143 views

Proof of non-strictly convexity of $l_1$ and $l_{\infty}$

Given the Banach space $l_p = \left\{f\in R^n : \|f\| \leq \infty\right\}$ for $1\leq p \leq \infty$, we define the following norms $\|f\|_p = \left(\displaystyle\sum_{j=0}^{\infty} ...
1
vote
2answers
185 views

Hilbert dual space (inequality and reflexivity)

Let $V \subset H$ where $H$ is Hilbert space. Let $T:H^* \to V^*$ be the canonical map that restricts the domain of a functional in $H$ so that it's a functional in $V$. How do I show that $$\lVert ...
0
votes
1answer
164 views

Differentiable function in the normed space $\,\mathcal{C}[0,1]$

Let $E=\mathcal{C}[0,1]$ with norm $\|\cdot\|_\infty$. Let $f:E\rightarrow E$ defined by $f(x)(t)=\sqrt{|x(t)|}$. For which functions $x$ is differentiable?
12
votes
5answers
287 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 ...
5
votes
1answer
59 views

Equivalent continuation of a metric

Hello fellow mathematicians, I am confronted with the following, supposedly not too difficult, problem: Let $(E,f_1)$ be a normed space and $F \subset E$ a linear subspace. Let $f_2$ be a norm on E ...
5
votes
1answer
278 views

Distance between a point and closed set in finite dimensional space

Let $X$ be a linear normed space. I need to prove that $X$ is finite dimensional normed space if and only if for every non empty closed set $C$ contained in $X$ and for every $x$ in $X$ the distance ...
5
votes
2answers
376 views

Is there a lower-bound version of the triangle inequality for more than two terms?

The triangle inequality $|x+y|\leq|x|+|y|$ can be generalized by induction to $$|x_1+\ldots+ x_n|\leq|x_1|+\ldots+|x_n|.$$ Can we generalize the version $|x+y|\geq||x|-|y||$ to $n$ terms too? I need ...
4
votes
3answers
370 views

Simple application of Stone-Weierstrass

I was looking for a simple application of the Stone-Weierstrass theorem. First I thought that if $X$ is any compact measure space then Stone-Weierstrass implies that $C_c(X)$ is dense in $L^p$. But ...