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 not deleted user 8628

Questions about abstract measure and Lebesgue integral theory. Also concerns such properties as measurability of maps and sets.

17 votes
1 answer
1k views

Does the set of square numbers adhere to Benford's law in every base?

Does the set of squares $S = \{n^2: n\in\omega\}$ adhere to Benford's law for the first digit in every base $b\geq 2$? Precise formulation of what it means for a set $T\subseteq \omega$ to "adhere to …
Dominic van der Zypen's user avatar
9 votes
1 answer
446 views

Min–max reversing bijections $f:\mathbb{N}\to\mathbb{N}$

For any set $X$, let $\newcommand{\N}{\mathbb{N}}[X]^2 = \big\{\{x,y\}:x\neq y \in X\big\}$ and set $[n]^2 = [\{0,\dotsc,n-1\}]^2$ for any positive integer $n$. For $A\subseteq [\N]^2$ we set $$\newco …
Dominic van der Zypen's user avatar
8 votes
2 answers
694 views

Exponential objects in the category of measurable spaces

Let $\text{Meas}$ be the category of measurable spaces with measurable functions as morphisms. Does $\text{Meas}$ have exponential objects?
Dominic van der Zypen's user avatar
8 votes
1 answer
708 views

How "correct" is Knuth's fast addition $(a,b) \mapsto (a \oplus b) \oplus ((a\land b) \ll 1)$?

Donald Knuth suggested a bitwise approximation for addition on the non-negative integers that is very fast on common processors: $(a,b)\mapsto (a\oplus b) \oplus ((a\land b) \ll 1)$, where $a,b$ are g …
Dominic van der Zypen's user avatar
6 votes
2 answers
112 views

Density of Ramsey subsets of $\omega$

For any set $X$ let $[X]^2=\{\{x,y\}:x\neq y \in X\}$. The starting point of this question is the following statement that follows from a more general theorem by Ramsey: If $\pi:[\omega]^2\to\{0,1\}$ …
Dominic van der Zypen's user avatar
5 votes
3 answers
456 views

Arithmetically random bitstreams

Motivation (informal). When trying to generate a random bit-stream, we expect that "half of the" bits are $0$, and the "other half" are $1$. So, how about $010101\ldots$? Well, we would also expect th …
Dominic van der Zypen's user avatar
5 votes
0 answers
463 views

Partitioning $\mathbb{R}^n$ into closed sets

Let $n$ be a positive integer. It is well-known that $\mathbb{R}^n$ cannot be non-trivially partitioned into open sets, since it is connected. Let $\frak P$ be a partition of $\mathbb{R}^n$ into clos …
Dominic van der Zypen's user avatar
5 votes

Is every continuous function measurable?

If $X, Y$ are topological spaces such that for every continuous map $f: X\to Y$ and any $K\subseteq Y$ compact, $f^{-1}(K)$ is a compact of subset of $X$, then every continuous function is measurable. …
Dominic van der Zypen's user avatar
5 votes
3 answers
418 views

Borel coloring of a graph on the set of all functions $f:\mathbb{N}\to\mathbb{N}$

The following question was asked in a comment by Joel David Hamkins in Graph on the set of all functions $f:\mathbb{N}\to\mathbb{N}$. Let $V$ be the set of all functions $f:\mathbb{N}\to\mathbb{N}$. …
Dominic van der Zypen's user avatar
5 votes
1 answer
338 views

Golomb subsets of $\mathbb{N}$

A set $A\subseteq\newcommand{\N}{\mathbb{N}}\N$ is said to be Golomb if whenever $a<b \in A$ and $a'<b' \in A$ with $(b-a) = (b' - a')$, then $a=a'$ and $b=b'$. If $A\subseteq \N$ is Golomb, we let $\ …
Dominic van der Zypen's user avatar
4 votes
1 answer
351 views

Does Szemerédi's theorem hold for sets with positive upper Banach density?

We say that a set of natural numbers $A\subseteq \omega$ has positive upper density if $$\lim\sup_{n\to\infty}\frac{|A\cap n|}{n+1} > 0.$$ Szeméredi's theorem states that every $A\subseteq \omega$ hav …
Dominic van der Zypen's user avatar
4 votes
1 answer
273 views

Supremum of infimum of measure of members of a free ultrafilter

For a set $A\subseteq \omega$ we let the upper density of $A$ be defined as $d^+(A) := \lim\sup_{n\to\infty}\frac{|A\cap(n+1)|}{n+1}$. Let $\text{FrU}(\omega)$ be the collection of free ultrafilters o …
Dominic van der Zypen's user avatar
4 votes
1 answer
217 views

Shrinking and expanding pairs in bijections $\varphi:\mathbb{N}\to\mathbb{N}$

Motivation. If we consider any bijection $\varphi:\newcommand{\N}{\mathbb{N}} \N \to \N$, we say integers $m\neq n$ are shrinking with respect to $\varphi$ if $|m-n|>|\varphi(m) - \varphi(n)|$, and ex …
Dominic van der Zypen's user avatar
3 votes
2 answers
632 views

Lifting a probability measure to the power set

Let $X\neq\emptyset$ be a set and let $\mu:{\cal P}(X)\to [0,1]$ be a probability measure. Is there a probability measure $$\bar{\mu}:{\cal P}({\cal P}(X))\to [0,1]$$ with the following property? …
Dominic van der Zypen's user avatar
3 votes
2 answers
262 views

Probability of picking neighbors in $\{1,\ldots, n\}$

Motivation. Swiss license plates consist of $2$ letters indicating the region, followed by a number, such that the pairing (region, number) is unique by car. In the small town where I live, I saw two …
Dominic van der Zypen's user avatar

15 30 50 per page