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 4312

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

3 votes

An elementary question on subspaces

Not always. Say, both subspaces may be dense, but have trivial intersection. This situation is generic: you may choose two countable dense subsets $A,B$ in a separable Banach space so that their union …
Fedor Petrov's user avatar
0 votes

Basis for L_infty(R)

It exists for any linear space (Banach structure is not essential here), is called Hamel base. No explicit construction (without use of Axiom of Choice) exists (and, I guess, it may proved in a sense …
Fedor Petrov's user avatar
11 votes
Accepted

Embedding the $\ 2^n+1$-point metric 1-space

Indeed no. If it exists, for each of our points $p_i$ consider the set $A_i$ homothetic to their convex hull with center $p_i$ and coefficient bit less than $1 /2$. By volume argument some two such se …
Fedor Petrov's user avatar
3 votes

Regarding orthogonality in Banach space

Consider the plane generated by $x$ and $y$. Now draw a tangent line to the sphere $\{z:\|z\|=\|x\|\}$ at point $x$. It has the form $\{x+tw|t\in \mathbb{R} \} $, and $w$ may be chosen of the form $\a …
Fedor Petrov's user avatar
4 votes
Accepted

Finite-dimensional subspaces of $c_{0}$

For non-zero sequence $x=(x_1, x_2, \ldots)$ denote $L(x)=\min\{i:x_i\ne 0\}$ (leader of $x$). By Gauss elimination, $M$ contains a basis $(p_1, \ldots, p_d) $ with distinct leaders $m_1<m_2<\ldots<m_ …
Fedor Petrov's user avatar
3 votes
Accepted

Separable subspaces in dual spaces

Yes. Take a countable dense subset $A$ in $Y$. For each element $a\in A$ take a countable sequence $x_n$ in a unit ball of $X$ such that $a(x_n)$ tends to $\|a\|$. Let $Z$ be a closed span of all thes …
Fedor Petrov's user avatar
5 votes
Accepted

$l^1$ versus $l^2$

Is it true? $l^1$ is a sum of finite-dimensional $l_n^1$ over $n=1,2,\dots$. In summands you have almost spherical sections of large dimensions by Dvoretzky theorem, this allows to change norm a bit s …
Fedor Petrov's user avatar
8 votes
Accepted

If $K$ is a countable compact metric space is the set of extreme point of $Ba(C(K))$ countable?

It is true (if you mean real spaces, for complex spaces it is obviously false). Note that if a function $f$ is extremal, it takes only values $\pm 1$. Indeed, if $|f(a)|<1$, then choose a small ball $ …
Fedor Petrov's user avatar
6 votes

Explicit description of the closure of a given set

The closure is the set of uniformly continuous bounded functions. At first, each function $f$ in the closure is bounded, as you note, and it is uniformly continuous: If $\|f-f_n\|<\delta/3$ and $|f_n( …
Fedor Petrov's user avatar
3 votes
Accepted

Compact restrictions of the inclusion of $J:L_\infty(0,1)\to L_1(0,1)$

Take the functions which are constant on the intervals $[1/(n+1),1/n)$ for all positive integers $n$.
Fedor Petrov's user avatar
3 votes
Accepted

Vectors concentrated on one coordinate

Take $X=l^1$ and $Y$ the subspace of sequences with zero sum, $e_k$ standard. Then any $x\in Y$ with $\|x\|=1$ satisfies $|e_k(x)|\leqslant 1/2$ for all $k$.
Fedor Petrov's user avatar
3 votes
Accepted

$C[0,1]$ is Banach-space isomorphic to $c_0(C[0,1])$

There is a useful simple Lemma. If $X\sim X\oplus X$, $Y\sim Y\oplus Y$, and each of $X,Y$ is isomorphic to a complemented subspace of another, then $X\sim Y$. Proof. We have $X\sim Y\oplus A$, then …
Fedor Petrov's user avatar
2 votes
Accepted

An inequality in product space $V$

It follows from the 1-dimensional case which you say is true: project everything to a randomly chosen line, apply 1d case and integrate.
Fedor Petrov's user avatar
10 votes

Non-separable Banach space

Let $\varphi$ be a continuous function supported on $[0,1]$. Then continuum many combinations $\sum c_k \varphi(x+k)$, $c_k\in \{0,1\}$ are separated in our space.
Fedor Petrov's user avatar
9 votes
Accepted

Contact points for John's ellipsoid

Looks true. A necessary and sufficient condition for these points (let $E$ be a standard ball) is that the identity operator $I$ is a non-negative linear combination of projectors $P_i$ on lines throu …
Fedor Petrov's user avatar

15 30 50 per page