# Bx Examples Repository

# Title: continuousNotHolderContinuous

## Version: 0.1

## Type: Precise

## Overview

Designed to illustrate that Hölder continuity does not share a "bad" property of ordinary continuity, viz., being trivially satisfied in most model spaces of interest.

## Models

Our model spaces are subsets of real space with the standard metric.

Let $M \subseteq \mathbb R^2$ be the origin, which we label $C_M$, together with the unit circle centred on the origin, parameterised by $\theta$ running over the half-open interval $(0, 1]$.

Let $N \subseteq \mathbb R$ be $\{0\} \cup [1,+\infty)$.

## Consistency

We say that the origin $C_M$ is consistent only with $0$, while the point on the unit circle at parameter $\theta$ is consistent only with $1/\theta$.

## Consistency Restoration

This example is boring from the point of view of consistency restoration, as consistency is a bijective relation here so there is no choice about how to restore consistency, if we wish to be correct and hippocratic.

## Properties

Correct and hippocratic. All the properties that follow from that and the bijectiveness of the consistency relation, e.g., strongly undoable.

Continuous, but not Hölder continuous, see discussion.

## Discussion

A drawback of continuity as a property of bx is that it is trivially satisfied at any isolated point: we just pick $\delta$ small enough that there is no other point that close to the source and then the continuity condition holds vacuously. This is not true of Hölder continuity, leading to speculation that the latter might be a more useful property of bx, where model spaces are typically discrete.

Although $\overrightarrow{R}$ is continuous at every $(m,n)$, it is not $(C,\alpha)$-Hölder continuous at $(C_M, n)$ for *any* $n\in N$ because, while the distance between $C_M$ and any other $m'$ is 1, the distance between $\overrightarrow{R}(C_M, n) = 0$ and $\overrightarrow{R}(m',n)$ can be made arbitrarily large by judicious choice of $m'$.

## References

This is Example 4.8 from

@inproceedings{cheney15:bx,

author = {James Cheney and Jeremy Gibbons and James McKinna and Perdita Stevens},

title = {Towards a Principle of Least Surprise for Bidirectional Transformations},

booktitle = {Proceedings of {Bx} 2015},

year = 2015,

ee = {http://ceur-ws.org/Vol-1396/p66-cheney.pdf},

publisher = {CEUR-WS.org},

series = {CEUR Workshop Proceedings},

volume = 1396

}

## Author(s)

Perdita Stevens