Search Results
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 |
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 …
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 …
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 …
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$.
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 …
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 …
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 $ …
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}
\ …
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 …
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 …
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 …
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 …
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 …
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 …
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 …