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.

11 votes

Ideal characterization of almost convergence

Such an ideal does not exist. Indeed, suppose the contrary, and let $I$ be such an ideal. The sequence $(x_n)=(1,0,1,0,\dots)$ is almost convergent, and therefore $I$-convergent, to $1/2$. So, $$\m …
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
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
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
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
4 votes
Accepted

Explicit examples of (probability) measures on $\prod \mathbb{R}$

$\newcommand\R{\mathbb R}$ Let $T$ be any countable nonempty set. Let $B$ be the Borel $\sigma$-algebra over $\R^T$ generated by the Tikhonov product topology on $\R^T$. Take any $t_0\in T$. For each …
Iosif Pinelis's user avatar
4 votes
Accepted

Basis for space of continuous, surjective monotone functions on $\mathbb{R}$

$\newcommand\R{\mathbb R}$$\newcommand\LBV{\mathrm{LBV}}$As was noted in comments, the set of all monotone functions (or your version of it, $\mathrm{CM}^+(\R)$) is not a linear space. An appropriate …
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
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

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

Is every regular Borel outer measure topologically additive?

Yes, any regular Borel outer measure $m$ is topologically additive. Indeed, take any $S,T \subseteq X$ such that $S\subseteq U$ and $T\subseteq V$ for some disjoint open subsets $U$ and $V$ of $X$. Ta …
Iosif Pinelis's user avatar
3 votes

Can functions be differentiable on sets with empty interiors?

You can parametrize such sets and then consider the differentiability with respect to the parameters. The differentiability property will be invariant with respect to diffeomorphisms: if two parametri …
Iosif Pinelis's user avatar
3 votes
Accepted

Density of $C(X,\operatorname{co}\{\delta_y\}_{y \in Y})$ in $C(X,\mathcal{P}(Y))$

$\newcommand{\ep}{\varepsilon} \newcommand{\de}{\delta} \newcommand{\B}{\mathcal B} \newcommand{\K}{\mathcal K} \newcommand{\NN}{\mathcal N} \newcommand{\PP}{\mathcal P} \newcommand{\supp}{\operatorna …
Iosif Pinelis's user avatar

15 30 50 per page