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 36721

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

14 votes
Accepted

Proof of Pinelis (1992) - Banach space inequalities

As written in my paper [1], the inequality $$P(f^*>r) \le 2\exp\big(-r^2/2(p-1)\big) $$ in Theorem 3 in [1] for martingales in $\mathcal{X}=L^p$ can be compared with the inequality $$ P(f^*>r) \le …
Iosif Pinelis's user avatar
9 votes

Continuum-distanced complete, ultrametric space

This is impossible, because for any complete normed space $X$ and any nonincreasing sequence $(B_n)$ of nonempty closed balls in $X$ we have $\bigcap_n B_n\ne\emptyset$. Indeed, take any nonincreasi …
Iosif Pinelis's user avatar
7 votes
Accepted

Basic properties of expectation in non-separable Banach spaces

$\newcommand{\E}{\operatorname{\mathsf{E}}}$ You do not need the separability of $B$ to define $\E F$ for a random vector $F\colon\Omega\to B$; however, you need to assume that $F$ is strongly measura …
Iosif Pinelis's user avatar
6 votes
Accepted

Is there a version of dominated convergence theorem for local $L^p$ spaces?

A counterexample is given by $f_n=1_{(n,\infty)}$, $g=1$, and $f=0$. Then all the conditions on $f_n,g,f$ hold, but $\|f_n-f\|_{\tilde L^p} \not\to0$.
Iosif Pinelis's user avatar
5 votes
Accepted

Distance between convex hulls in a bounded closed convex set

$\newcommand\la\lambda$The answer is no. E.g., suppose that $X=\ell^\infty$, $z_1=e_1$, $z_2=-e_1+e_2$, and $z_k=e_2/2+e_k/k$ for $k\ge3$, where $(e_1,e_2,\dots)$ is the standard basis of $\ell^\infty …
Iosif Pinelis's user avatar
4 votes
Accepted

Dual norm of a subspace of $\ell_\infty^3$

$\newcommand{\C}{\mathbb C}\newcommand{\R}{\mathbb R}\newcommand{\si}{\sigma}\newcommand{\al}{\alpha}\newcommand{\be}{\beta}$This is to detail and correct the answer by Onur Oktay, which is based on a …
Iosif Pinelis's user avatar
4 votes
Accepted

LF or LB space that happens to be finite dimensional

The expression \begin{equation} \tilde W_m:=\bigcup_{n=1}^\infty T_n(V_m) \end{equation} is undefined in general for $m\ge2$, because $T_n$ is defined (and is invertible) only on $V_n$ and hence $ …
Iosif Pinelis's user avatar
4 votes
Accepted

The real and the imaginary part of a vector

$\newcommand{\R}{\mathbb R}\newcommand{\ep}{\varepsilon}\newcommand{\C}{\mathbb C}$No, in general the map $F_r$ \begin{equation*} \sum_1^n w_j b_j\mapsto \sum_1^n \Re(w_j) b_j \tag{10}\label{10} \ …
Iosif Pinelis's user avatar
4 votes
Accepted

Differentiation of a norm

First of all, instead of $L^{\infty}(0,\infty;L^{\infty}(0,1))$, you should write $L^{\infty}([0,\infty);L^{\infty}(0,1))$ (or maybe $L^{\infty}((0,\infty);L^{\infty}(0,1))$, depending of what you wan …
Iosif Pinelis's user avatar
4 votes

Taylor expansion theorem for Gateaux differentiable functions

(There should be only one question in one post.) Anyhow, concerning your first question: There is nothing here really to study, as the Gateaux derivative at a given point in a given direction is just …
Iosif Pinelis's user avatar
3 votes
Accepted

Gaussian integral $\int_X \|x\|_X^2 \mu(dx)$ in Banach space

There is no explicit expression for $\int_X \|x\|^2 \mu(dx)$ in general, even if $X=\mathbb R^d$ with $d\in\{2,3,\dots\}$ and $\mu$ is the standard normal distribution on $\mathbb R^d$. Indeed, any no …
Iosif Pinelis's user avatar
3 votes

Conditional expectation of random vectors

$\newcommand{\E}{\mathsf{E}}$ $\newcommand{\P}{\mathsf{P}}$ The affirmative answer to this question is provided by Scalora, Theorem 2.1, page 354, which can be stated as follows, using the setting and …
Iosif Pinelis's user avatar
3 votes

Dual norm of a subspace of $\ell_\infty^3$

This is a problem of real algebraic geometry. So, in principle, the dual norm can be computed purely algorithmically; however, this calculation can take too much time. In Mathematica, this algorithm i …
Iosif Pinelis's user avatar
2 votes

The geometry of $\mathbb{R}^n$

The answer is no in general. E.g., let $X=\mathbb R$ with the standard norm and $Y=\mathbb R^2$ with the norm given by the formula $\|y\|=|y_1|\vee|y_2-y_1|$. Let $S$ and $T$ be defined by the formula …
Iosif Pinelis's user avatar
2 votes
Accepted

Optimal estimate in trace norm

$\newcommand{\R}{\mathbb{R}} \newcommand{\ep}{\epsilon}$ Without loss of generality (wlog), the space is the two dimensional space spanned by $x,y$. So, wlog the space is $\R^2$, with $x=[1\ 0]^T$ an …
Iosif Pinelis's user avatar

15 30 50 per page