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

3
votes
0answers
52 views

What extra assumption makes this transformation affine?

Let a vector space $V$ be given. Let $f:V\to V$ have the property that for all $x,y,a\in V$, $$ f(x+a)-f(y+a) = f(x) - f(y) \tag{$\star$} $$ Q1. I'd like to know how weak one can make additional ...
0
votes
1answer
76 views

Separability of a normed space

The following is an Exercise 12, page 75 of conway's Functional Analysis. Let $\oplus_\infty X_i = \{x\in \sqcap X_i: ||x||=\sup||x(i)||<\infty\} $ where each $X_i$ is a normed space for $i\in I$. ...
3
votes
1answer
101 views

Show that a normed Vector space is complete, need smart help.

I want to show that a normed vector space is complete. I know that if you can show that every Cauchy sequence converges, then it is complete. But in a normed vector space, completeness is equivavlent ...
0
votes
1answer
68 views

Homework excercise, completeness in Vector-spaces, is it correct?, long, but can it be simplified?

I have a very difficult excercise. I see now that it became too much text for someone to might go through it, if you can please help me, but don't want to read all, can you please then only answer my ...
13
votes
5answers
1k 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}$, ...
6
votes
2answers
161 views

Question about Normed vector space.

Here is the definition of a normed vector space my book uses: And here is a remark I do not understand: I do not understand that a sequence can converge to a vector in one norm, and not the ...
1
vote
1answer
40 views

What norm on $\mathbb C (z)$

There are several different ways to define a norm on the space of polynomials $\mathbb C [z]$. For example, $\|p\| = \sup_{|z|\le 1}|p(z)|$ defines a norm. If $\mathbb C (z)$ denotes the field of ...
0
votes
0answers
88 views

Completeness is not preserved under homeomorphism

I am trying to give a counterexample which will make it clear that homeomorphism does not preserve completeness. I have an easy one in mind ($(0,1)$ and $\mathbb{R}$) but I have just thought that ...
0
votes
2answers
29 views

Does one of these conditions for norms follow from the other?

The two conditions are: For all unit vectors $\mathbf{x}$ and $\mathbf{y}\hspace{-0.02 in}$, $\:$ if $\; \left|\left|\hspace{.03 in}\mathbf{x}\hspace{-0.05 in}+\hspace{-0.04 ...
2
votes
2answers
71 views

What's wrong in this reasoning of $l_\infty$ separability?

While solving a problem, related to functional analysis, I've accidentally got a "proof" of $l_\infty$ being separable, tried to find a fault in it (as the result isn't true), but didn't succeed in ...
2
votes
0answers
35 views

Normalizing multiple different features from unknown distributions

I'm doing some "exploratory" data analysis over a large set of classes/proteins, with a few hundred different features (I.E. Continuous variables) extracted from the data. The features are calculated ...
2
votes
1answer
48 views

Continuous functional that separate points

This is an exercise from Royden's Real Analysis. Let $X$ be a normed linear space and $W$ a subspace of $X^*$ that separate points. For any topological space $Z$, show that a mapping $f:Z\to X$ ...
1
vote
1answer
64 views

Show that $\lim_{p \to \infty}||x||_p=||x||_M$ [duplicate]

Let $$||x||_p=\left( \displaystyle \sum_{i=1}^n|x_i|^p\right)^{\frac{1}{p}}$$ and $$||x||_M=\max\{|x_1|,|x_2|,...,|x_n|\},$$ norms in $\mathbb{R}^n$. Show that $$\lim_{p \to \infty}||x||_p=||x||_M, \ ...
3
votes
1answer
118 views

Show that $L^1\subsetneq (L^\infty)^*$ [duplicate]

How does one show that $L^1\subsetneq (L^\infty)^*$? I am having trouble in this. Any help would be appreciated.
1
vote
1answer
25 views

why a lemma shows well-definedness of linear transformations

The following lemma can be used to show that some linear transformations are well-defined. I don't quite see that. I mean, if a linear transformation $T$ is well-defined, then if $x=y$ then ...
0
votes
1answer
58 views

Banach space problem

I came across the following problem: For an open set $U$ in $\mathbb{R^n}$ we define the set of all k-times continuously differentiable functions $f:U\rightarrow \mathbb{R}$ for which $D^\alpha f$ ...
0
votes
1answer
92 views

Covering of closed unit ball with closed balls.

Notations and definitions Let $E$ be a finite dimensional vector space with norm $||\;||$. Let $B$ denote the closed unit ball in $E$ and $B_r[a]$ the closed ball centered at $a$ with radius $r$. ...
1
vote
2answers
69 views

What does this theorem mean?

Let $(V,\|\cdot\|)$ be a finite-dimensional normed space. Define $\|T\|_\mathrm{op}=\sup\{\|T(x)\|:\|x\|≦1\}$, for all linear operators on $V$ Define $\Omega$ to be the set of all invertible linear ...
1
vote
0answers
27 views

A System of Matrix Equations

I am looking for the solutions to the following system of matrix equations: (1) $AA^{*} - A^{*}A = C^{*}C - BB^{*}$ (2) $DD^{*} - D^{*}D = B^{*}B - CC^{*}$ (3) $AC^{*} - C^{*}D = A^{*}B - ...
0
votes
0answers
48 views

Largest/smallest cross-norm: A simple question about cross-norms on tensor products of Banach spaces.

This is a very simple dumb question as I’m completely new to the topic. I was reading Wikipedia’s entry on “Topological Tensor Products”, and there’s one thing I’m confused about. Let $ A $ and $ B $ ...
1
vote
0answers
95 views

The Hilbert space $\mathcal{H}_\eta$ and unitary correspondence with $L^2[a,b]$

The question I have is related to a problem in Stein and Shakarchi's Real Analysis, Chapter 4. The problem Let $\eta(t)$ be a fixed strictly positive continuous function $[a,b]$. Define ...
0
votes
0answers
27 views

What's an application of that the set of invertible linear operators is open?

Let $V$ be a finite-dimensional normed space. Let $\Omega$ be the set of all invertible linear operators on $V$. Then, $\Omega$ is open in $(\mathscr{L}(V),||\cdot||_{op})$ and $f:\Omega\rightarrow ...
1
vote
1answer
39 views

Prove scalar product in a normed vector space is an open mapping.

I have the feeling this is a really obvious question, but I'm having trouble with it, here it goes: Let $(X, ||\,||)$ be a normed vector space over $K$, prove that $\odot:K\setminus\{0\}\times X ...
0
votes
1answer
39 views

What is *the domain* of the definition of the operator norm.

My definition: Let $(V,||\cdot||),(W,||\cdot||)$ be normed spaces over $\mathbb{F}$. Let $T:V\rightarrow W$ be a continuous linear transformation. Then $||T||_{op}\triangleq ...
0
votes
2answers
38 views

How do i prove that continuous linear transformation between normed spaces is bounded?

Let $(V,||\cdot||_V),(W,||\cdot||_W)$ be normed spaces over $\mathbb{C}$. Let $T:V\rightarrow W$ be a linear transformation. Assume $T$ is continuous. Then, how do i prove that $\exists c>0$ ...
1
vote
0answers
45 views

Understanding the right assumption about Gateaux derivative in Banach spaces

It is a general fact that the notion of Gateaux derivative is not uniform over the mathematical community i.e. someone requires it to be linear and continue other not and require this additional ...
1
vote
2answers
61 views

Showing that the norm of the canonical projection $X\to X/M$ is $1$

How do I show that given $M$ a closed subspace of a normed space $X$, and let $\pi$ be the canonical projection of X onto $X/M$. Prove that $\|\pi\| = 1$. I figure I could use Riesz' lemma and set ...
1
vote
2answers
62 views

a functional analysis question

$X$ is a banach space and $f$ a non zero linear functional. I'm trying to show $null(f)$ not dense in X $\implies f$ continuous. I've tried a few approaches but I think the following seems the most ...
0
votes
0answers
27 views

Is the set, $\{f\in Y: \left\|f\right\|_{Y} \leq C \ \text{and} \ \left\|(|f|)\right\|_{X}\leq C \}$, closed in $(Y, ||\cdot||_{Y})$?

Put, $X= \text{The space of "nice" complex valued functions on } \mathbb R; \text{that is}, f:\mathbb R \to \mathbb C;$ so that $X$ is Banach space with respect to the norm ...
5
votes
1answer
80 views

Duality mappings on finite-dimensional spaces

I have a few questions regarding some concepts in a book "nonlinear partial differential equations by Roubicek" I am studying. The following is from the text. "Let $V$ be a separable, reflexive ...
1
vote
1answer
55 views

Are $C^0[a,b]$ and $C^0[0,1]$ isometrically isomorphic?

Consider $C^0[a,b]$ and $C^0[0,1]$, each equipped with the $L^1$-Norm. Are these (out of curiosity) isometrically isomorphic?
2
votes
0answers
433 views

Natural matrix norm of an inverse matrix

Let $\left\|\cdot\right\| : \text{GL}(n,\mathbb{R})\to\mathbb{R}_{\ge 0}$ denote the natural matrix norm, i.e. $$\left\|A\right\|:=\max_{x\ne ...
1
vote
1answer
85 views

Inequality for norm of linear combination of linearly independent vectors

I'm trying to find a proof for the following: Let {$u_{1},...,u_{n}$} be a linearly independent set of a normed space $X$. Then, there is a constant $c>0$ such that for every set of scalars ...
2
votes
2answers
126 views

How does one prove $\left\lVert\sum\limits_{n=1}^{\infty}f_n\right\rVert\le \sum\limits_{n=1}^{\infty}\lVert f_n\rVert$?

Can the triangle inequality for norms works for infinite some as well? Hope that someone can give some hints to prove it or give a counterexample. Thanks!
0
votes
0answers
65 views

Triangle Inequality for matrix norm

$A$ and $B$ are square matrices, show that $σ_{max}(B) ≥ |σ_{min} (A+B) - σ_{min} (A)|$ I know that the induced 2-norm of of $B$ is $σ_{max}(B)$ but I don't know how to proceed with RHS.
2
votes
1answer
41 views

Cardinality of maximal subsets with some property

Let $X$ be a normed space. Is it true that all maximal (with respect to "$\subset$") subsets $D\subset X$ with the following property: $$ \|x-y\| \geq1 \textrm{ for } x\neq y, x,y\in D, $$ are of the ...
3
votes
1answer
191 views

Normed Vectors Spaces

Let $(E,\| \cdot \|_E)$ and $(F,\| \cdot \|_F)$ be two normed vector spaces over $\mathbb{C}$ and let $u: E\rightarrow F$ be a linear map. (a). Prove that the following conditions are equivalent: i. ...
1
vote
1answer
38 views

Clarifying the PDE notation C^1([0,T], X).

In studying nonlinear hyperbolic PDE, I've come across the following spaces: $C([0,T],H^s(\mathbb{R}^n))$. $C^1([0,T], H^s(\mathbb{R}^n))$. $L^p([0,T],H^s(\mathbb{R}^n))$. I presume that $(1)$ ...
3
votes
1answer
93 views

Are $L_p$ spaces of functions with separable support separable?

Let $X$ be a separable space. Is $L_p$$(X, \mu, V)$ a separable space? Here, $(V, |\cdot|_V)$ is a normed space. And a norm of $L_p(X, \mu, V)$ is: $$ \|f\|=\left(\int_X \big(\vert f\rvert_V\big)^p ...
2
votes
2answers
80 views

Can anyone explain this isometry to me? $T: (\mathbb R^n,\|\cdot\|_1)^*\to (\mathbb R^n,\|\cdot\|_{\infty})$, $ T(x)(y) = \sum_{i=1}^n x_i y_i$

Can anyone explain this isometry to me? $$T: (\mathbb R^n,\|\cdot\|_1)^*\to (\mathbb R^n,\|\cdot\|_{\infty}),\qquad T(x)(y) = \sum_{i=1}^n x_i y_i$$ I don't get what the domain and image of $T$ are. ...
1
vote
1answer
59 views

Hausdorff metric and convex hull

Let $X$ be a normed linear space and $A, B \in P(X)$. We define $\overline{co}(A) =$ the closure of the convex hull of $A$. Let $h$ denote the usual Hausdorff metric. We need to show that: $$h( ...
1
vote
0answers
96 views

Show that the normed space $(l^1, ||.||_1)$ is complete.

I am thinking to start off by saying that $\{x_n\}$ is Cauchy in $l_1$, so for every $\epsilon>0$, there exists an $N$ such that $\sum^\infty_{k=1}\mid x^n_k - x^m_k\mid <\epsilon^2$ for $n$, ...
0
votes
1answer
36 views

Convergence of a sequence in polynomials vector space

Let $N\in\mathbb{N}$ be a natural number and let $\alpha_0,\alpha_1,...,\alpha_N$ be real numbers such that $\alpha_i\neq\alpha_j \forall i\neq j$ We define in $X$ (the vector space of polynomials ...
0
votes
1answer
39 views

Inequality on Hilbert spaces in order to prove the nonexpansivity of a mapping.

I have an application $T\colon H\to H$ (where $H$ is a Hilbert space) such that $$(Tx-Ty,x-y)\leq \|x-y\|^2,\forall x,y\in H$$ where $(\cdot,\cdot)$ is the inner product of $H$ and $\|\cdot\|$ its ...
1
vote
1answer
65 views

question about norms and convex set

Suppose $\overline{B}(0;1) = \{ x \in X : ||x|| \leq 1 \}$ is the closed unit ball on a vector space $X$. MY question is: is the following true? If $\overline{B}(0,1) $ is not convex, then $|| \cdot ...
0
votes
3answers
61 views

Norm of vectors inequality

I tried proving this with triangular inequality but i was not right can any one help me with this
0
votes
2answers
135 views

Density of $C^{1}_{0}(\mathbb R)$ in $L^{\infty}(\mathbb R)$

I am looking for a counterexample to $C^{1}_{0}(\mathbb R)$ ( $C^1$ functions with compact support) is dense in $L^{\infty}(\mathbb R)$? Is there some easy counterexample showing that this latter is ...
2
votes
1answer
38 views

Norm of vector with respect to operator

Define $L$ is a linear operator maps from $E^n$ to $\mathbb{R}$, its norm is defined as $||L||_{op}=\sup\limits_{||x||=1}L(x)$, where $||\cdot||$ is any norm on $E^n$. How to show that ...
0
votes
0answers
39 views

Prove line segments are always geodesics in a normed vector space

The length of a path $\gamma: [0,1] \rightarrow \mathbb{V}$ in some normed vector space $\mathbb{V}$ is defined by $$l(\gamma):=sup \sum_{i=1}^n ||\gamma(t_i)-\gamma(t_{i-1})||$$ where the supremum ...
2
votes
5answers
219 views

The distance between two sets inside euclidean space

Let $A,B \subseteq \mathbb{R}^d$ be non-empty sets. Define their distance to be $$ d(A,B) = \inf \{ \|x-y\| : x \in A, \; \; y \in B \} $$ For any $A,B$, I want to prove that $d(A,B) = d( ...