Showing 1–4 of 4 results for author: Hyde, J T

Sierpiński rank of the Symmetric inverse semigroup

Authors: James T. Hyde, Yann Péresse

Abstract: We show that every countable set of partial bijections from an infinite set to itself can be obtained as a composition of just two such partial bijections. This strengthens a result by Higgins, Howie, Mitchell and Ruškuc stating that every such countable set of partial bijections may be obtained as the composition of two partial bijections and their inverses. We show that every countable set of partial bijections from an infinite set to itself can be obtained as a composition of just two such partial bijections. This strengthens a result by Higgins, Howie, Mitchell and Ruškuc stating that every such countable set of partial bijections may be obtained as the composition of two partial bijections and their inverses. △ Less

Submitted 27 November, 2012; originally announced November 2012.

Dimension and measure for generic continuous images

Authors: Richárd Balka, Ábel Farkas, Jonathan M. Fraser, James T. Hyde

Abstract: We consider the Banach space consisting of continuous functions from an arbitrary uncountable compact metric space, $X$, into $\mathbb{R}^n$. The key question is `what is the generic dimension of $f(X)$?' and we consider two different approaches to answering it: Baire category and prevalence. In the Baire category setting we prove that typically the packing and upper box dimensions are as large as… ▽ More We consider the Banach space consisting of continuous functions from an arbitrary uncountable compact metric space, $X$, into $\mathbb{R}^n$. The key question is `what is the generic dimension of $f(X)$?' and we consider two different approaches to answering it: Baire category and prevalence. In the Baire category setting we prove that typically the packing and upper box dimensions are as large as possible, $n$, but find that the behaviour of the Hausdorff, lower box and topological dimensions is considerably more subtle. In fact, they are typically equal to the minimum of $n$ and the topological dimension of $X$. We also study the typical Hausdorff and packing measures of $f(X)$ and, in particular, give necessary and sufficient conditions for them to be zero, positive and finite, or infinite. It is interesting to compare the Baire category results with results in the prevalence setting. As such we also discuss a result of Dougherty on the prevalent topological dimension of $f(X)$ and give some simple applications concerning the prevalent dimensions of graphs of real-valued continuous functions on compact metric spaces, allowing us to extend a recent result of Bayart and Heurteaux. △ Less

Submitted 7 June, 2019; v1 submitted 14 September, 2012; originally announced September 2012.

Comments: 14 pages

MSC Class: 28A80; 28A78; 54E52; 54C05

Journal ref: Ann. Acad. Sci. Fenn. Math., 38, (2013), 389-404

A note on the 1-prevalence of continuous images with full Hausdorff dimension

Authors: Jonathan M. Fraser, James T. Hyde

Abstract: We consider the Banach space consisting of real-valued continuous functions on an arbitrary compact metric space. It is known that for a prevalent (in the sense of Hunt, Sauer and Yorke) set of functions the Hausdorff dimension of the image is as large as possible, namely 1. We extend this result by showing that `prevalent' can be replaced by `1-prevalent', i.e. it is possible to \emph{witness} th… ▽ More We consider the Banach space consisting of real-valued continuous functions on an arbitrary compact metric space. It is known that for a prevalent (in the sense of Hunt, Sauer and Yorke) set of functions the Hausdorff dimension of the image is as large as possible, namely 1. We extend this result by showing that `prevalent' can be replaced by `1-prevalent', i.e. it is possible to \emph{witness} this prevalence using a measure supported on a one dimensional subspace. Such one dimensional measures are called \emph{probes} and their existence indicates that the structure and nature of the prevalence is simpler than if a more complicated `infinite dimensional' witnessing measure has to be used. △ Less

Submitted 27 January, 2014; v1 submitted 2 March, 2012; originally announced March 2012.

Comments: 8 pages

MSC Class: 28A80; 28A78

Journal ref: J. Math. Anal. App., 421, (2015), 1713-1720

The Hausdorff dimension of graphs of prevalent continuous functions

Authors: Jonathan M. Fraser, James T. Hyde

Abstract: We prove that the Hausdorff dimension of the graph of a prevalent continuous function is 2. We also indicate how our results can be extended to the space of continuous functions on $[0,1]^d$ for $d \in \mathbb{N}$ and use this to obtain results on the `horizon problem' for fractal surfaces. We begin with a survey of previous results on the dimension of a generic continuous function. We prove that the Hausdorff dimension of the graph of a prevalent continuous function is 2. We also indicate how our results can be extended to the space of continuous functions on $[0,1]^d$ for $d \in \mathbb{N}$ and use this to obtain results on the `horizon problem' for fractal surfaces. We begin with a survey of previous results on the dimension of a generic continuous function. △ Less

Submitted 12 April, 2011; originally announced April 2011.

MSC Class: 28A80; 28A78

Journal ref: Real Analysis Exchange, 37, (2011/2012), 333-352