Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options answers only not deleted user 6101

A Banach space is a complete normed vector space: A vector space equipped with a norm such that every Cauchy sequence converges.

14 votes

What is an isomorphism of Banach spaces?

Strictly speaking, the norm of a Banach space is part of its structure, and two equivalent norms give two different Banach spaces. Since an isomorphism should preserve the whole structure, norm includ …
Pietro Majer's user avatar
  • 60.6k
14 votes
Accepted

Question about Schauder bases in C([0,1]).

I would say, monomials are not a Schauder basis for $C[0,1]$ because functions that admits a representation are analytic functions on the unit disc. Actually, $f(t)=\sum_k a_k t^k$ immediately implie …
Pietro Majer's user avatar
  • 60.6k
11 votes

Smooth Urysohn's lemma on Fréchet spaces

A bump function on a Banach space $X$ is a non-zero function with bounded support. Existence of a bump function of a given smooth regularity has, of course, strong immediate consequences --by translat …
Pietro Majer's user avatar
  • 60.6k
10 votes

Dual space of $\ell^\infty$

Let's recall a simple, elementary, and general fact that hasn't been explicitly mentioned: a dual Banach space is always a splitting subspace in the isometric embedding into its double dual. So $\el …
Pietro Majer's user avatar
  • 60.6k
9 votes
Accepted

pointwise convergence to the identity

Just to chat, an easier counterexample is $X:=L^p(\mathbb{R})$ for $0\le p<1$, a complete metric separable TVS. The identity map can't be approximated by finite rank continuous linear operators, for …
Pietro Majer's user avatar
  • 60.6k
8 votes

Point-wise limit of finite valued functions

I think it is true (even in the more general setting of second countable topological spaces). Let $\{A_n\}_{n\in\mathbb{N}}$ be a countable basis of the topology of $X$. For ${n\in\mathbb{N}}$ let $\ …
Pietro Majer's user avatar
  • 60.6k
8 votes
Accepted

Convolution with semigroup: does this belong to the Sobolev space $W^{1,1}$?

In other words, if $A$ is the infinitesimal generator of $T$, the mild solution of the abstract inhomogeneous Cauchy problem $$\begin{cases}\dot v =A v +f\\v(0)=0\end{cases}$$ needs not to be $W^{1,1 …
Pietro Majer's user avatar
  • 60.6k
7 votes
Accepted

When is a fixed point of f^n a fixed point of f?

Actually I can't see the role of reflexivity for an answer to the question as it is, unless further properties on $f$ are assumed. In general, to start with the obvious case: if $f$ is a contraction …
Pietro Majer's user avatar
  • 60.6k
7 votes

Radon-Nikodým property of $\ell^\infty$

For dual spaces, there is an important characterization: $X^*$ has the Radon-Nikodym property if and only if $X$ is Asplund (its separable subspaces have separable duals). Of course, $\ell_1$ is not …
Pietro Majer's user avatar
  • 60.6k
7 votes
Accepted

Is there a reflexive Banach space whose ball is not the convex hull of its extreme points?

I'd try $X:=\ell_2$ with an equivalent but non strictly convex norm. Let $(e_k)_{k\ge0}$ be the standard Hilbert basis of $\ell_2$. Consider the sets: $A:=\{0\}\cup\{2^{-k}e_k:k\ge 1\}$, $B$, the …
Pietro Majer's user avatar
  • 60.6k
6 votes
Accepted

Understanding reasons for best constants in inequalities

A simple reason, among many others: for instance, you would like to know whether a certain functional is bounded below, because you are looking for a minimizer of it, and you can prove some inequality …
Pietro Majer's user avatar
  • 60.6k
6 votes
Accepted

Is it true that $c_0(X)^* = \ell_1(X^*)$ ?

True. For any $n\in \mathbb{N}$ consider the inclusion to the $n$-th coordinate $j _ n : X\to c _ 0(X)$ which is right inverse to the evaluation at $n$, so that $(j _ n x)(n)= x$, for any $x\in X$. …
Pietro Majer's user avatar
  • 60.6k
6 votes

A criterion for the sum of two closed sets to be closed ?

I'd like to mention the following, even though it is just a reformulation: For $V\subset X $ and $I\subset X$ a closed linear subspace, the sum $V+I$ is closed in $X$ if and only if $\pi(V)$ is close …
Pietro Majer's user avatar
  • 60.6k
5 votes

Predual of a subspace

Recall the canonical isometric isomorphism $ (X/N )^*\sim N^\perp$, for a Banach space $X$, and a closed linear subspace $N$ of $X $. Also, a linear subspace $G$ of $X^*$ is weakly-star closed …
Pietro Majer's user avatar
  • 60.6k
5 votes

Weak convergence in a product space

For $t\in I$ let $p_t:Y^I\to Y$ denote the projection on the $t$-th coordinate of the product, that is the evaluation map $x\mapsto x(t)$, and let $p^\intercal_t:Y^*\to (Y^I)^*$ be its transpose oper …
Pietro Majer's user avatar
  • 60.6k

15 30 50 per page