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

Continuum theory, point-set topology, spaces with algebraic structure, foundations, dimension theory, local and global properties.

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
4 votes

Closure of $C([0,1]^2)$ via weak*-topology

By the Riesz–Markov theorem, your $C^*$ is the space of all finite signed Borel measures on $Q:=[0,1]^2$ endowed with the total variation norm $\|\cdot\|$, which is the same as your dual norm $\|\cdot …
Iosif Pinelis's user avatar
8 votes

For every sequence of nonempty open sets there is a disjoint sequence of nonempty open sets ...

Apparently, there are no such nice properties. Even $K=[0,1]$ will not be such a compact Hausdorff space. Indeed, consider the countable double-indexed family $(U_{n,k}\colon n\in\Bbb N,k\in\{0,\dots, …
Iosif Pinelis's user avatar
3 votes
Accepted

Hausdorff-Lipschitz continuity of cone correspondence

$\newcommand\P{\mathcal P}\newcommand\X{\mathcal X}$A counterexample is as follows: $n=m=1$, $\X=[-1,1]$, $\P=[0,2]$, $f(x)=\sqrt2-1/\sqrt2+|x|^{3/2}$, $g(x)=1/\sqrt2$, and $h(x)=1=S(x)$ (for all $x\i …
Iosif Pinelis's user avatar
0 votes
Accepted

Simple convergence of convex compact set implies Hausdorff convergence

A counterexample is given by $n=2$, $C=\{(0,0)\}$, and $C_k=\{(t,kt)\colon0\le t\le1\}$ (or one can instead take $C_k=\{(t,t/k)\colon0\le t\le1\}$). Another counterexample, in the same spirit, is give …
Iosif Pinelis's user avatar
4 votes
Accepted

Show convergence result

$\newcommand\de\delta\newcommand\ep\varepsilon$You wrote Could you help me to show that under Ass1 and Ass2 $$d_H(A, A_n)\rightarrow_{a.s.} 0$$ Of course, this is not true in such generality. For in …
Iosif Pinelis's user avatar
4 votes

Two arcs in the complement of a disc must intersect?

$\newcommand{\R}{\mathbb R}$Here is an elementary (albeit somewhat longish) solution, without using the Jordan curve theorem. Let us borrow the inversion idea from Olivier Bégassat, so that the two ar …
Iosif Pinelis's user avatar
4 votes
Accepted

Is a continuous functional on continuous functions the restriction of a continuous functiona...

$\newcommand\R{\mathbb R}$No. E.g., suppose that $n=k=1$ and $$F(f)=\min\Big(1,\int_0^2 |f(x)|\,dx\Big)$$ for $f\in C(\R;\R)$. Then $F$ is continuous and bounded on $C(\R;\R)$. For natural $m$, let $$ …
Iosif Pinelis's user avatar
3 votes
Accepted

Is the space $L^p_{\text{loc}} (\mathbb R^d)$ separable w.r.t. the norm $\|f\|_{\tilde L^p} ...

$\newcommand\Z{\mathbb Z}\newcommand\R{\mathbb R}\newcommand\J{\mathcal J}$No. Consider first the case $d=1$. Let $\J$ denote the set of all subsets of $\Z$. For $J\in\J$, let $$f_J:=\sum_{j\in J}1_{[ …
Iosif Pinelis's user avatar
3 votes
Accepted

Recovering a set from its projections in varying coordinate systems - a projection hull?

$\newcommand{\R}{\mathbb R}\newcommand{\tU}{\tilde U}$Suppose that $U$ is connected. Then all its projections are connected. So, all one-dimensional projections of $U$ will be convex. So, $\tilde U$ w …
Iosif Pinelis's user avatar
1 vote

Closed graph correspondence which never contains the whole support

$\newcommand\M{\mathcal M}\newcommand\F{\mathcal F}\newcommand\si{\sigma}\newcommand\th{\theta}$I think the answer is no. Here is the idea of how to show this: Suppose that such a map $\phi$ exists. I …
Iosif Pinelis's user avatar
7 votes
Accepted

Scott topology: Suprema of sequences are topological limits

$\newcommand\LL{\mathcal L}$Brief answer: The Scott topology is not Hausdorff, and therefore we have to deal here with the set of limits, rather than with the (unique) limit. Here, for the set $\LL_D$ …
Iosif Pinelis's user avatar
5 votes
Accepted

Can Theorem 1.40 in Rudin's Real and Complex Analysis be strengthened when the $\sigma$-alge...

$\newcommand\R{\mathbb R}\newcommand\F{\mathcal F}$A counterexample is as follows. Let $X=(0,\infty)$ and $\tau:=\{\emptyset\}\cup\{(t,\infty)\colon t\in[0,\infty)\}$. Then $\F$ is the usual Borel $\s …
Iosif Pinelis's user avatar
1 vote
Accepted

Show that the set of strictly stationary, mean zero and finite variance stochastic processes...

$\newcommand{\Z}{\mathbb Z}\newcommand{\PP}{\mathcal D}\newcommand{\R}{\mathbb R}$Your function $d$ is not a metric, for two reasons: (i) there may be many processes $(X_t)_{t\in\Z}$ with the same dis …
Iosif Pinelis's user avatar
7 votes
Accepted

$\int_0^1 f(\sin(1/x)) \times g(\cos(1/x)) dx \leq \int_0^1 f(\sin(1/x)) dx \times \int_0^1 ...

$\newcommand\abs[1]{\lvert#1\rvert}$It already suffices that $f$ and $g$ be even and nondecreasing on $[0,1]$ (which of course is the case if $f$ and $g$ are even and convex). Indeed, then the identit …
Iosif Pinelis's user avatar

15 30 50 per page