Is there a colouring of $\mathbb{R}^2$ with $2$ colours, such that the just single-coloured paths are constant ones? (Note: I've got this problem from another one.)
2026-02-22 19:50:26.1771789826
Coloring $\mathbb{R}^2$ and single-colored paths
106 Views Asked by user120269 https://math.techqa.club/user/user120269/detail At
1
There are 1 best solutions below
Related Questions in CONTINUITY
- Continuity, preimage of an open set of $\mathbb R^2$
- Define in which points function is continuous
- Continuity of composite functions.
- How are these definitions of continuous relations equivalent?
- Show that f(x) = 2a + 3b is continuous where a and b are constants
- continuous surjective function from $n$-sphere to unit interval
- Two Applications of Schwarz Inequality
- Show that $f$ with $f(\overline{x})=0$ is continuous for every $\overline{x}\in[0,1]$.
- Prove $f(x,y)$ is continuous or not continuous.
- proving continuity claims
Related Questions in SET-PARTITION
- Existence of a denumerble partition.
- Given N sets of partitions, find a partition such that it satisfies a criterion
- Given a decreasing family of sets and partitions with a refinement condition, is there a monotonous choice function from the partitions?
- Partition of an $n$-element set such that the smallest component has at least $k$ elements?
- Number of equivalence relations on a set with $kn$ elements with the condition that each equivalence class has n elements
- Is there a similar notion of cycle type commonly in use for finite partitions, where instead of cycle sizes one counts the block sizes?
- Is it possible to construct two subsequences of a sequence X with specific properties such that the two subsequence sums are the same?
- Coloring $\mathbb{R}^2$ and single-colored paths
- Canonical name for the partition that a partition of a set induces on its subsets
- Arzela-Ascoli argument on a partition
Trending Questions
- Induction on the number of equations
- How to convince a math teacher of this simple and obvious fact?
- Find $E[XY|Y+Z=1 ]$
- Refuting the Anti-Cantor Cranks
- What are imaginary numbers?
- Determine the adjoint of $\tilde Q(x)$ for $\tilde Q(x)u:=(Qu)(x)$ where $Q:U→L^2(Ω,ℝ^d$ is a Hilbert-Schmidt operator and $U$ is a Hilbert space
- Why does this innovative method of subtraction from a third grader always work?
- How do we know that the number $1$ is not equal to the number $-1$?
- What are the Implications of having VΩ as a model for a theory?
- Defining a Galois Field based on primitive element versus polynomial?
- Can't find the relationship between two columns of numbers. Please Help
- Is computer science a branch of mathematics?
- Is there a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?
- Identification of a quadrilateral as a trapezoid, rectangle, or square
- Generator of inertia group in function field extension
Popular # Hahtags
second-order-logic
numerical-methods
puzzle
logic
probability
number-theory
winding-number
real-analysis
integration
calculus
complex-analysis
sequences-and-series
proof-writing
set-theory
functions
homotopy-theory
elementary-number-theory
ordinary-differential-equations
circles
derivatives
game-theory
definite-integrals
elementary-set-theory
limits
multivariable-calculus
geometry
algebraic-number-theory
proof-verification
partial-derivative
algebra-precalculus
Popular Questions
- What is the integral of 1/x?
- How many squares actually ARE in this picture? Is this a trick question with no right answer?
- Is a matrix multiplied with its transpose something special?
- What is the difference between independent and mutually exclusive events?
- Visually stunning math concepts which are easy to explain
- taylor series of $\ln(1+x)$?
- How to tell if a set of vectors spans a space?
- Calculus question taking derivative to find horizontal tangent line
- How to determine if a function is one-to-one?
- Determine if vectors are linearly independent
- What does it mean to have a determinant equal to zero?
- Is this Batman equation for real?
- How to find perpendicular vector to another vector?
- How to find mean and median from histogram
- How many sides does a circle have?
Yes, this is possible using the axiom of choice. The key observation is that the image of any nonconstant path is a closed subset of $\mathbb{R}^2$ of cardinality $\mathfrak{c}$, and there are only $\mathfrak{c}$ such closed subsets. You can then construct a coloring by transfinite induction so that each such set has points of both colors.
In detail, let $(X_\alpha)_{\alpha<\mathfrak{c}}$ be an enumeration of all the closed subsets of $\mathbb{R}^2$ of cardinality $\mathfrak{c}$. We define sequences $(r_\alpha)_{\alpha<\mathfrak{c}}$ and $(b_\alpha)_{\alpha<\mathfrak{c}}$ by induction. Having defined $r_\beta$ and $b_\beta$ for all $\beta<\alpha$, define $r_\alpha$ and $b_\alpha$ to be two distinct points of $X_\alpha$ which are not equal to $r_\beta$ or $b_\beta$ for any $\beta<\alpha$. This is possible since we have chosen fewer than $\mathfrak{c}$ points so far, and $X_\alpha$ has cardinality $\mathfrak{c}$.
We thus obtain two disjoint sets $R=\{r_\alpha\}_{\alpha<\mathfrak{c}}$ and $B=\{b_\alpha\}_{\alpha<\mathfrak{c}}$ which each intersect every $X_\alpha$. Color all the points in $R$ red, and all the points in $B$ blue, and all the points that are in neither $R$ nor $B$ however you want. Then neither the red points nor the blue points contain any $X_\alpha$, and thus neither contains the image of a nonconstant path.
[This answer is adapted from my answer to Infinite 'hex': is a win always achievable?. This construction (known as "Bernstein sets") has many variants and is useful as counterexamples to many questions of this sort.]