BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Source author record

Tamás Keleti

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record
math.CAmath.LOmath.MG

Catalog footprint

Research overview

8works
3topics
4close collaborators

Actions

Is this your work?

Log in to claim
Open graphBrowse papers

Published work

8 publications

preprint2014arXiv

Decomposing the real line into Borel sets closed under addition

We consider decompositions of the real line into pairwise disjoint Borel pieces so that each piece is closed under addition. How many pieces can there be? We prove among others that the number of pieces is either at most 3 or uncountable, and we show that it is undecidable in ZFCZFC and even in the theory ZFC+c=ω2ZFC + \mathfrak{c} = ω_2 if the number of pieces can be uncountable but less than the continuum. We also investigate various versions: what happens if we drop the Borelness requirement, if we replace addition by multiplication, if the pieces are subgroups, if we partition (0,∞)(0,\infty), and so on.

Open access
preprint2012arXiv

Hausdorff dimension and non-degenerate families of projections

We study parametrized families of orthogonal projections for which the dimension of the parameter space is strictly less than that of the Grassmann manifold. We answer the natural question of how much the Hausdorff dimension may decrease by verifying the best possible lower bound for the dimension of almost all projections of a finite measure. We also show that a similar result is valid for smooth families of maps from nn-dimensional Euclidean space to mm-dimensional one.

Open access
preprint2012arXiv

Hausdorff dimension of metric spaces and Lipschitz maps onto cubes

We prove that a compact metric space (or more generally an analytic subset of a complete separable metric space) of Hausdorff dimension bigger than kk can be always mapped onto a kk-dimensional cube by a Lipschitz map. We also show that this does not hold for arbitrary separable metric spaces. As an application we essentially answer a question of Urbański by showing that the transfinite Hausdorff dimension (introduced by him) of an analytic subset AA of a complete separable metric space is the integer part of dim⁡HA\dim_H A if dim⁡HA\dim_H A is finite but not an integer, dim⁡HA\dim_H A or dim⁡HA−1\dim_H A-1 if dim⁡HA\dim_H A is an integer and at least ω0ω_0 if dim⁡HA=∞\dim_H A=\infty.

Open access
preprint2012arXiv

How large dimension guarantees a given angle?

We study the following two problems: (1) Given n≥2n\ge 2 and $\al$, how large Hausdorff dimension can a compact set $A\su\Rn$ have if AA does not contain three points that form an angle $\al$? (2) Given $\al$ and $\de$, how large Hausdorff dimension can a %compact subset AA of a Euclidean space have if AA does not contain three points that form an angle in the $\de$-neighborhood of $\al$? An interesting phenomenon is that different angles show different behaviour in the above problems. Apart from the clearly special extreme angles 0 and 180∘180^\circ, the angles 60∘,90∘60^\circ,90^\circ and 120∘120^\circ also play special role in problem (2): the maximal dimension is smaller for these special angles than for the other angles. In problem (1) the angle 90∘90^\circ seems to behave differently from other angles.

Open access
preprint2012arXiv

Reconstructing geometric objects from the measures of their intersections with test sets

Let us say that an element of a given family $\A$ of subsets of Rd\R^d can be reconstructed using nn test sets if there exist T1,...,Tn⊂RdT_1,...,T_n \subset \R^d such that whenever $A,B\in \A$ and the Lebesgue measures of A∩TiA \cap T_i and B∩TiB \cap T_i agree for each i=1,...,ni=1,...,n then A=BA=B. Our goal will be to find the least such nn. We prove that if $\A$ consists of the translates of a fixed reasonably nice subset of Rd\R^d then this minimum is n=dn=d. In order to obtain this result we reconstruct a translate of a fixed function using dd test sets as well, and also prove that under rather mild conditions the measure function $f_{K,θ} (r) = \la^{d-1} (K \cap \{x \in \RR^d : <x,θ> = r\})$ of the sections of KK is absolutely continuous for almost every direction θθ. These proofs are based on techniques of harmonic analysis. We also show that if $\A$ consists of the magnified copies rE+trE+t (r≥1,t∈Rd)(r\ge 1, t\in\R^d) of a fixed reasonably nice set E⊂RdE\subset \R^d, where d≥2d\ge 2, then d+1d+1 test sets reconstruct an element of $\A$. This fails in R\R: we prove that an interval, and even an interval of length at least 1 cannot be reconstructed using 2 test sets. Finally, using randomly constructed test sets, we prove that an element of a reasonably nice kk-dimensional family of geometric objects can be reconstructed using 2k+12k+1 test sets. A example from algebraic topology shows that 2k+12k+1 is sharp in general.

Open access
preprint2011arXiv

Borel sets which are null or non-σσ-finite for every translation invariant measure

We show that the set of Liouville numbers is either null or non-σσ-finite with respect to every translation invariant Borel measure on $\RR$, in particular, with respect to every Hausdorff measure $\iH^g$ with gauge function gg. This answers a question of D. Mauldin. We also show that some other simply defined Borel sets like non-normal or some Besicovitch-Eggleston numbers, as well as all Borel subgroups of $\RR$ that are not FσF_σ possess the above property. We prove that, apart from some trivial cases, the Borel class, Hausdorff or packing dimension of a Borel set with no such measure on it can be arbitrary.

Open access
preprint2011arXiv

Is Lebesgue measure the only σσ-finite invariant Borel measure?

R.D.Mauldin asked if every translation invariant σσ-finite Borel measure on $\RR^d$ is a constant multiple of Lebesgue measure. The aim of this paper is to show that the answer is "yes and no", since surprisingly the answer depends on what we mean by Borel measure and by constant. We present Mauldin's proof of what he called a folklore result, stating that if the measure is only defined for Borel sets then the answer is affirmative. Then we show that if the measure is defined on a σσ-algebra \emph{containing} the Borel sets then the answer is negative. However, if we allow the multiplicative constant to be infinity, then the answer is affirmative in this case as well. Moreover, our construction also shows that an isometry invariant σσ-finite Borel measure (in the wider sense) on $\RR^d$ can be non-σσ-finite when we restrict it to the Borel sets.

Open access

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.