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
34 views

Trouble finishing a (direct) proof that $\ell^2(A)$ is a complete metric space

Let $A$ be any non-empty set. We can define summations of non-negative numbers over this index set by using a supremum of summations over finite subsets of $A$. That is, $$\sum\limits_{\alpha \in A} ...
-1
votes
1answer
43 views

norm of integral operator in $C([0,1])$

If we define on $C([0,1])$ the operator $$ Tf(x) = \int_{0}^{1} K(t,s) f(s) ds$$ where $K$ is a continous function on two variables. I want to show that: $1)$ $||T|| = \displaystyle\max_{t} ...
1
vote
0answers
32 views

Weak sequential compactness in a reflexive space

Let $\{X, \| \cdot \|\}$ be a normed space, $B$ is the unit ball of $X$. If $\{X, \| \cdot \|\}$ is reflexive, then is $B$ weakly sequentially compact? If it's not true, are there any counterexamples ...
1
vote
1answer
38 views

$X$ complete normed space $\implies\mathrm B(X,Y)$ complete normed space?

$\newcommand{\N}{\mathbf N}\renewcommand{\leq}{\leqslant}\renewcommand{\geq}{\geqslant} \newcommand{\eps}{\varepsilon}$I was looking through the functional analysis notes of TWK (on his webpage ...
1
vote
0answers
18 views

Terminology: Contraction *of* normed spaces? *Between* normed spaces? *On* normed spaces?

I have a terminological question. Suppose $X$ and $Y$ are normed spaces, and let $f$ be a contraction $X \to Y$. Which of the following expressions is correct? $f$ is a contraction of normed spaces. ...
1
vote
0answers
25 views

Finding the norm of a linear operation.

I am reading A course in real analysis by John McDonald, on page 530, it says "it is easy to show $|||J|||=1$" where $J$ is the linear operation $J:C([0,1])\rightarrow C([0,1])$, defined by $J(f)(x) = ...
1
vote
0answers
29 views

Does this topology on the dual have a name

Let $X$ be a topological vector space. Let $X^\ast$ denote its continuous dual. It is possible to endow $X^\ast$ with the weak star topology: Def.1: If $e_x: X^\ast \to \mathbb C$ is the map $\varphi ...
0
votes
1answer
30 views

The dual of subspace of a normed space is a quotient of dual: $X' / U^\perp \cong U'$

I wanted to show that $X' / U^\perp \cong U'$, for $U$ being a closed subspace of the Banach space $X$. Therefore I looked at $l: X' / U^\perp \cong U' , x' + U^\perp=[x'] \mapsto x'|_U$. It is ...
0
votes
0answers
80 views

Strongly convex and Frechet differentiable function in reflexive Banach space

We first recall two definitions about strong convexity and Frechet differentiability in normed space. Let $(X, \|.\|)$ be a normed space and $f:X\rightarrow\mathbb{R}$ be a function. (a) $f$ is said ...
0
votes
0answers
29 views

Is this map continuous?

Let $C^1([0,1])$ denote the space of continuously differentiable functions on the interval $[0,1]$ with the supremum norm induced from $C([0,1])$. Is the following map continuous? $M_1:(C^1([0,1]), ...
1
vote
1answer
33 views

Which of the following sets are open (or closed)?

a.) $A:= \{(x_n)_{n\in \mathbb{N}} : x_n \in [0,1] \hspace{2mm}\text{for all}\hspace{2mm} n\in\mathbb{N}\}$ in $(l^\infty, \|\cdot\|_{\infty})$ and b.) $B:= \{f\in C([0,1]) : |f(t)-t|<1 ...
3
votes
0answers
45 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
69 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
55 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
0answers
39 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 ...
12
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
114 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
34 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
27 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
55 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
25 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
21 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
53 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, \ ...
1
vote
1answer
21 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
53 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
44 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
58 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
25 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
24 views

Largest? smallest cross norm? Simple question about cross norms on tensor products of Banach spaces.

This is a very simple dumb question, I'm completely new to this topic, I was reading wikipedia's entry on "Topological tensor product" and there's one thing I'm confused about. Let $A$ and $B$ be ...
1
vote
0answers
47 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
19 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
31 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
33 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
30 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
26 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 ...
0
votes
2answers
35 views

norm of canonical projection = 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
47 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
25 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 ...
4
votes
1answer
43 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
43 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?
1
vote
0answers
44 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
30 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
104 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
44 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.
1
vote
1answer
36 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
181 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
30 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
72 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
74 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. ...