Intersections of Cantor sets with hyperbolas and continuous images

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Cai, Yi, Chen, Xiu, Wang, Lipeng
Format: Preprint
Published: 2026
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866917225054601216
author Cai, Yi
Chen, Xiu
Wang, Lipeng
author_facet Cai, Yi
Chen, Xiu
Wang, Lipeng
contents Given $λ\in (0,1/2)$, let \begin{equation*} C_λ=\set{(1-λ)\sum_{i=1}^\infty d_iλ^{i-1}:d_i\in\set{0,1}} \end{equation*} be the middle Cantor sets with convex hull $[0, 1]$. We are interested in the set $S_t=\set{(x,y)\in C_λ\times C_λ: xy=t}$, where $t\in[0,1]$. Since the cases where $t=0$ or $t=1$ are trivial, we assume that $t\in(0,1)$ in what follows. We show that there exists a $λ_0=0.4302$ such that for all $λ$ satisfying $λ_0 \le λ< 1/2$, the set $S_t$ has the cardinality of the continuum for every $t \in (0,1)$. Besides, we further investigate the continuous image of $C_λ\times C_λ$, that is, for any given $2\le k\in \nn$, we give a sufficient condition for set $\set{x^ky:x,y\in C_λ}$ to be the interval $[0,1]$. Our observations reveal that the behavior exhibited by the image of the function $f_k(x,y)=x^ky$ is complex and depends on the parameters $k$ and $λ$.
format Preprint
id arxiv_https___arxiv_org_abs_2601_19242
institution arXiv
publishDate 2026
record_format arxiv
spellingShingle Intersections of Cantor sets with hyperbolas and continuous images
Cai, Yi
Chen, Xiu
Wang, Lipeng
Number Theory
Given $λ\in (0,1/2)$, let \begin{equation*} C_λ=\set{(1-λ)\sum_{i=1}^\infty d_iλ^{i-1}:d_i\in\set{0,1}} \end{equation*} be the middle Cantor sets with convex hull $[0, 1]$. We are interested in the set $S_t=\set{(x,y)\in C_λ\times C_λ: xy=t}$, where $t\in[0,1]$. Since the cases where $t=0$ or $t=1$ are trivial, we assume that $t\in(0,1)$ in what follows. We show that there exists a $λ_0=0.4302$ such that for all $λ$ satisfying $λ_0 \le λ< 1/2$, the set $S_t$ has the cardinality of the continuum for every $t \in (0,1)$. Besides, we further investigate the continuous image of $C_λ\times C_λ$, that is, for any given $2\le k\in \nn$, we give a sufficient condition for set $\set{x^ky:x,y\in C_λ}$ to be the interval $[0,1]$. Our observations reveal that the behavior exhibited by the image of the function $f_k(x,y)=x^ky$ is complex and depends on the parameters $k$ and $λ$.
title Intersections of Cantor sets with hyperbolas and continuous images
topic Number Theory
url https://arxiv.org/abs/2601.19242