2
votes
1answer
195 views

Measure of the same set in different models of ZF

Let $A$ be a definable subset of $\mathbb{R}$ in $\mathsf{ZF}$, and let $\mathcal{M},\mathcal{N}\models\mathsf{ZF}$ such that $A$ is lebesgue measurable in both models. Is ...
7
votes
2answers
233 views

Cofinality of a $\sigma$-ideal of $\mathbb{R}$

The cofinality of a partially ordered set $\left( P,\leq \right)$, written $cof(P)$, is the smallest cardinality of a subset $T$ of $P$ that is [EDIT: cofinal] in $P$, i.e. for every element $p\in P$ ...
13
votes
0answers
304 views

A question about small sets of reals

In ZFC, does there exist an uncountable set of reals $A$ such that for every closed measure zero set of reals $B$, $ A + B = \{a+b : a \in A, b \in B\} \neq \mathbb{R}$? This question is motivated ...
14
votes
2answers
474 views

Pathological behavior of Borel sets?

Usually in set theory, Borel sets are much more nicely behaved than arbitrary sets of reals. One reason for this is Borel determinacy, which immediately yields measurability, Baireness, and the ...
16
votes
2answers
470 views

Is the notion of fixed point property for topological spaces an absolute notion?

Recall that a topological space $X$ has the fixed point property (FPP) if any continuous function $f: X\to X$ has a fixed point. Is the notion of FPP for topological spaces an absolute notion? More ...
27
votes
2answers
869 views

Continuous functions $f$ with $f(A)$ linearly independent when $A$ is independent

Is there any characterization of continuous functions $f : \Bbb{R}\longrightarrow \Bbb{R}$ such that for any linearly independent set $A$ (over the rationals) $f(A)$ is also linearly independent ?
10
votes
2answers
379 views

Is sigma-additivity of Lebesgue measure deducible from ZF?

Is sigma-additivity (countable additivity) of Lebesgue measure (say on measurable subsets of the real line) deducible from the Zermelo-Fraenkel set theory (without the axiom of choice)? Note 1. ...
16
votes
2answers
505 views

Intersection of compact sets in the unit interval

Let $\mathscr K$ be an uncountable set such that every $K\in\mathscr K$ is a compact subset of $[0,1]$ with positive Lebesgue measure. Does it then follow that there exists an uncountable $\mathscr ...
6
votes
1answer
414 views

Does a nonlinear additive function on R imply a Hamel basis of R?

A function is additive if $f(x+y) = f(x) + f(y)$. Intuitively, it might seem that an additive function from R to R must be linear, specifically of the form $f(x) = kx$. But assuming the axiom of ...
4
votes
1answer
334 views

Must the Minkowski sum of a Borel set and a *closed* ball be Borel?

Let A be a Borel set in R^n. Must then A + B(0,1) be Borel? Here B(0,1) is the closed ball centered at 0 of radius 1. I know that Erdos and Stone gave an example of a compact set (it is Cantor) and a ...
12
votes
1answer
745 views

Is it necessary to use AC to solve this problem ?

Dear All, As a routine application of Zorn's Lemma, one can show that there is a subset $A$ of $\mathbb{R}$ such that $A$ contains no arithmetic progression of length 3 but for any $x\not \in A$, ...
2
votes
3answers
265 views

Construct a fixed-point set operator

How to find an uncountable set $S$, and construct an function $f : 2^S \longrightarrow S$ such that for any $T \subseteq S$, $f \left( T \right) \in T$? for example, let $S =\mathbb{R}$, how can I ...
5
votes
1answer
291 views

Arbitrary small positive lower semi continuous functions

This question is a generalization of the question posed in this page to lower semi continuous functions. so let me describe the Question in the following way. Def: Let $(X,\tau)$ be a Tychonoff ...
4
votes
2answers
550 views

Finite measure on the power set

Let $X$ be an uncountable set, and let $\Omega$ be the power set of $X$, viewed as a $\sigma$-algebra. Does there exist a positive $\sigma$-additive measure of finite total mass on $(X, \Omega)$ such ...
18
votes
4answers
1k views

Is a random subset of the real numbers non-measurable? Is the set of measurable sets measurable?

One might say, "a random subset of $\mathbb{R}$ is not Lebesgue measurable" without really thinking about it. But if we unpack the standard definitions of all those terms (and work in ZFC), it's not ...
5
votes
3answers
964 views

Is a semicontinuous real function Borel measurable?

Let $f(x,u): [0,1]^2 \mapsto \mathbb{R}$ be a continuous function. [Q] Is $g(x) = \inf_{u\in [0,1]} f(x,u)$ always Borel measurable? If not, can one find a counter-example? Note that, for any $c$, ...
4
votes
2answers
293 views

Heights of several interesting posets

Let the height of a poset $P$ be the supremum of ordinals that are order types of all well-ordered subsets of $P$ (with order inherited from $P$). Define several sets of total functions, in each ...
22
votes
2answers
697 views

Codimension of Measurable Sets

I am currently teaching an advanced undergraduate analysis class, and the following question came up. Intuition suggests that "most" subsets of $[0,1]$ are not Lebesgue measurable. However, the ...
13
votes
3answers
1k views

Why is there no Borel function mapping every countable set of reals outside itself?

A choice function maps every set (in its domain) to an element of itself. This question concerns existence of an anti-choice function defined on the family of countable sets of reals. In an answer to ...
53
votes
17answers
5k views

Proofs of the uncountability of the reals.

Recently, I learnt in my analysis class the proof of the uncountability of the reals via the Nested Interval Theorem. At first, I was excited to see a variant proof (as it did not use the diagonal ...
1
vote
0answers
375 views

Is there a Real valued function with image of every open interval the whole real line [duplicate]

Possible Duplicate: Function with range equal to whole reals on every open set Hello, My problem is the following "Is there a Real valued function with image of every open interval the whole ...
15
votes
1answer
1k views

Does Arzelà-Ascoli require choice?

Inspired by a recent Math.SE question entitled Where do we need the axiom of choice in Riemannian geometry?, I was thinking of the Arzelà--Ascoli theorem. Let's state a very simple version: ...
54
votes
5answers
3k views

Does pointwise convergence imply uniform convergence on a large subset?

Suppose $f_n$ is a sequence of real valued functions on $[0,1]$ which converges pointwise to zero. Is there an uncountable subset $A$ of $[0,1]$ so that $f_n$ converges uniformly on $A$? Is there a ...
3
votes
3answers
606 views

Monotone injection of an ordinal into $[0,1]$

This is related to my recent question and would provide a natural positive answer to Question 2. I am sure this must be known to experts. Question: Is there a monotone injection $(\omega_1,<) ...
5
votes
3answers
2k views

Are there sigma-algebras of cardinality $\kappa>2^{\aleph_0}$ with countable cofinality?

A standard homework in measure theory textbooks asks the student to prove that there are not countably infinite $\sigma$-algebras. The only proof that I know is via a contradiction argument which ...
9
votes
2answers
610 views

Partition of R into midpoint convex sets

We say that a subset $X$ of $\mathbb{R}$ is midpoint convex if for any two points $a,b\in X$ the midpoint $\frac{a+b}{2}$ also lies in $X$. My question is: is it possible to partition $\mathbb{R}$ ...
4
votes
0answers
445 views

continuous selection of a multivalued function?

The title is probably a bit too broad. I frequently encountered the following situation: suppose I need to select a solution to a linear equation from a compact set. Can I make this selection ...
60
votes
9answers
15k views

solving f(f(x))=g(x)

This question is of course inspired by the question How to solve f(f(x))=cosx and Joel David Hamkins' answer, which somehow gives a formal trick for solving equations of the form $f(f(x))=g(x)$ on a ...
2
votes
5answers
992 views

Cardinality of Equivalence Classes of Cauchy Sequences

What's the cardinality of a single equivalence class of Cauchy sequences in ℚ? To clarify, I'm not asking for the cardinality of the real numbers, but for the cardinality of the set of Cauchy ...